tesla::AssertionSiteInstrumenter Class Reference

Detailed Description

Converts calls to TESLA pseudo-assertions into instrumentation sites.

Definition at line 51 of file Assertion.h.

#include "Assertion.h"

Inheritance diagram for tesla::AssertionSiteInstrumenter:

Collaboration diagram for tesla::AssertionSiteInstrumenter:

Public Member Functions
	AssertionSiteInstrumenter (const Manifest &M, bool SuppressDI)
virtual	~AssertionSiteInstrumenter ()
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::AssertionSiteInstrumenter::AssertionSiteInstrumenter ( const Manifest &  M, bool  SuppressDI  )

inline

Definition at line 54 of file Assertion.h.

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

tesla::AssertionSiteInstrumenter::~AssertionSiteInstrumenter ( )

virtual

Definition at line 62 of file Assertion.cpp.

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

Member Function Documentation

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

inline

Definition at line 58 of file Assertion.h.

                                  {
    return "TESLA assertion site instrumenter";
  }

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

virtual

Definition at line 66 of file Assertion.cpp.

References tesla::INLINE_ASSERTION.

                                                     {
  // If this module doesn't declare any assertions, just carry on.
  AssertFn = M.getFunction(INLINE_ASSERTION);
  if (!AssertFn)
    return false;

  // Find all calls to TESLA assertion pseudo-function (before we modify IR).
  set<CallInst*> AssertCalls;
  for (auto I = AssertFn->use_begin(); I != AssertFn->use_end(); ++I)
    AssertCalls.insert(cast<CallInst>(*I));

  return ConvertAssertions(AssertCalls, M);
}

Member Data Documentation

char tesla::AssertionSiteInstrumenter::ID = 0

static

Definition at line 53 of file Assertion.h.

---

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

• tesla/instrumenter/Assertion.h
• tesla/instrumenter/Assertion.cpp