tesla::FnCalleeInstrumenter Class Reference

Detailed Description

Instruments function calls in the callee context.

Definition at line 57 of file Callee.h.

#include "Callee.h"

Inheritance diagram for tesla::FnCalleeInstrumenter:

Collaboration diagram for tesla::FnCalleeInstrumenter:

Public Member Functions
	FnCalleeInstrumenter (const Manifest &M, bool SuppressDI)
	~FnCalleeInstrumenter ()
const char *	getPassName () const
virtual bool	runOnModule (llvm::Module &M)
Public Member Functions inherited from tesla::Instrumenter
	Instrumenter (const Manifest &M, bool SuppressDI)
virtual	~Instrumenter ()

Static Public Attributes
static char	ID = 0

Additional Inherited Members
Protected Attributes inherited from tesla::Instrumenter
const Manifest &	M
	TESLA manifest that describes automata. More...
const bool	SuppressDebugInstr
	Don't produce debug instrumentation (e.g., printf() statements). More...

Constructor & Destructor Documentation

tesla::FnCalleeInstrumenter::FnCalleeInstrumenter ( const Manifest &  M, bool  SuppressDI  )

inline

Definition at line 60 of file Callee.h.

    : Instrumenter(M, SuppressDI), ModulePass(ID) {}

tesla::FnCalleeInstrumenter::~FnCalleeInstrumenter

(

)

Definition at line 57 of file Callee.cpp.

                                            {
  google::protobuf::ShutdownProtobufLibrary();
}

Member Function Documentation

const char* tesla::FnCalleeInstrumenter::getPassName ( ) const

inline

Definition at line 64 of file Callee.h.

                                  {
    return "TESLA function instrumenter (callee-side)";
  }

bool tesla::FnCalleeInstrumenter::runOnModule ( llvm::Module &  M )

virtual

Definition at line 61 of file Callee.cpp.

References tesla::FnTransition::FnEvent().

                                                  {
  bool ModifiedIR = false;

  for (auto i : M.RootAutomata()) {
    auto& A = *M.FindAutomaton(i->identifier());
    for (auto EquivClass : A) {
      assert(!EquivClass.empty());

      auto *Head = dyn_cast<FnTransition>(*EquivClass.begin());
      if (!Head)
        continue;

      auto& FnEvent = Head->FnEvent();
      if (FnEvent.context() != FunctionEvent::Callee)
        continue;

      Function *Target = Mod.getFunction(FnEvent.function().name());

      // Only handle functions that are defined in this module.
      if (!Target || Target->empty())
        continue;

      GetOrCreateInstr(Mod, Target, FnEvent.direction())
        ->AppendInstrumentation(A, FnEvent, EquivClass);

      ModifiedIR = true;
    }
  }

  return ModifiedIR;
}

Here is the call graph for this function:

Member Data Documentation

char tesla::FnCalleeInstrumenter::ID = 0

static

Definition at line 59 of file Callee.h.

---

The documentation for this class was generated from the following files:

• tesla/instrumenter/Callee.h
• tesla/instrumenter/Callee.cpp