klee::IntrinsicCleanerPass Class Reference

#include <Passes.h>

List of all members.

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)
Private Attributes
llvm::IntrinsicLowering *	IL
bool	LowerIntrinsics
Static Private Attributes
static char	ID

---

Detailed Description

Definition at line 54 of file Passes.h.

---

Constructor & Destructor Documentation

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

Definition at line 61 of file Passes.h.

klee::IntrinsicCleanerPass::~IntrinsicCleanerPass

(

)

[inline]

Definition at line 66 of file Passes.h.

References IL.

---

Member Function Documentation

bool klee::IntrinsicCleanerPass::runOnBasicBlock

(

llvm::BasicBlock &

b

)

[private]

virtual bool klee::IntrinsicCleanerPass::runOnModule

(

llvm::Module &

M

)

[virtual]

---

Member Data Documentation

char klee::IntrinsicCleanerPass::ID [static, private]

Definition at line 55 of file Passes.h.

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

Definition at line 56 of file Passes.h.

Referenced by ~IntrinsicCleanerPass().

bool klee::IntrinsicCleanerPass::LowerIntrinsics [private]

Definition at line 57 of file Passes.h.

---

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

• lib/Module/Passes.h
• lib/Module/IntrinsicCleaner.cpp