klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::IntrinsicCleanerPass Class Reference

#include <Passes.h>

Inherits ModulePass.

Public Member Functions

 IntrinsicCleanerPass (const llvm::TargetData &TD, bool LI=true)
 
 ~IntrinsicCleanerPass ()
 
virtual bool runOnModule (llvm::Module &M)
 

Private Member Functions

bool runOnBasicBlock (llvm::BasicBlock &b, llvm::Module &M)
 

Private Attributes

const llvm::TargetData & TargetData
 
llvm::IntrinsicLowering * IL
 
bool LowerIntrinsics
 

Static Private Attributes

static char ID
 

Detailed Description

Definition at line 69 of file Passes.h.

Constructor & Destructor Documentation

klee::IntrinsicCleanerPass::IntrinsicCleanerPass ( const llvm::TargetData &  TD,
bool  LI = true 
)
inline

Definition at line 82 of file Passes.h.

klee::IntrinsicCleanerPass::~IntrinsicCleanerPass ( )
inline

Definition at line 95 of file Passes.h.

References IL.

Member Function Documentation

bool klee::IntrinsicCleanerPass::runOnBasicBlock ( llvm::BasicBlock &  b,
llvm::Module &  M 
)
private

Definition at line 67 of file IntrinsicCleaner.cpp.

bool klee::IntrinsicCleanerPass::runOnModule ( llvm::Module &  M)
virtual

Definition at line 57 of file IntrinsicCleaner.cpp.

Member Data Documentation

char klee::IntrinsicCleanerPass::ID
staticprivate

Definition at line 70 of file Passes.h.

llvm::IntrinsicLowering* klee::IntrinsicCleanerPass::IL
private

Definition at line 76 of file Passes.h.

Referenced by ~IntrinsicCleanerPass().

bool klee::IntrinsicCleanerPass::LowerIntrinsics
private

Definition at line 77 of file Passes.h.

const llvm::TargetData& klee::IntrinsicCleanerPass::TargetData
private

Definition at line 72 of file Passes.h.


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