#include <Passes.h>
Public Member Functions | |
| RaiseAsmPass () | |
| virtual bool | runOnModule (llvm::Module &M) |
Private Member Functions | |
| llvm::Function * | getIntrinsic (llvm::Module &M, unsigned IID, const llvm::Type **Tys, unsigned NumTys) |
| llvm::Function * | getIntrinsic (llvm::Module &M, unsigned IID, const llvm::Type *Ty0) |
| bool | runOnInstruction (llvm::Module &M, llvm::Instruction *I) |
Static Private Attributes | |
| static char | ID = 0 |
Definition at line 31 of file Passes.h.
| llvm::Function* klee::RaiseAsmPass::getIntrinsic | ( | llvm::Module & | M, | |
| unsigned | IID, | |||
| const llvm::Type * | Ty0 | |||
| ) | [inline, private] |
Definition at line 38 of file Passes.h.
References getIntrinsic().

| llvm::Function* klee::RaiseAsmPass::getIntrinsic | ( | llvm::Module & | M, | |
| unsigned | IID, | |||
| const llvm::Type ** | Tys, | |||
| unsigned | NumTys | |||
| ) | [private] |
| bool klee::RaiseAsmPass::runOnInstruction | ( | llvm::Module & | M, | |
| llvm::Instruction * | I | |||
| ) | [private] |
| virtual bool klee::RaiseAsmPass::runOnModule | ( | llvm::Module & | M | ) | [virtual] |
char RaiseAsmPass::ID = 0 [static, private] |
1.5.8