diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-09-20 15:00:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-20 15:00:35 +0100 |
| commit | 1823ab801b50e781c18cff67cb8cda0d7859519e (patch) | |
| tree | 5a4aca500f4631b05622081bb3abeac8f2fe94fb /lib/Module/Passes.h | |
| parent | 1bfdbc61f2e14d8b0f2b5ca45ca8266c363cbfc5 (diff) | |
| parent | 95a39e0fe58c7b95588da97b3478eafba9920281 (diff) | |
| download | klee-1823ab801b50e781c18cff67cb8cda0d7859519e.tar.gz | |
Merge pull request #443 from MartinNowack/feat_assembler_raising
Extended support for assembler raising
Diffstat (limited to 'lib/Module/Passes.h')
| -rw-r--r-- | lib/Module/Passes.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/Module/Passes.h b/lib/Module/Passes.h index accb64d0..4f1a1453 100644 --- a/lib/Module/Passes.h +++ b/lib/Module/Passes.h @@ -21,8 +21,9 @@ #include "llvm/Instructions.h" #include "llvm/Module.h" #endif -#include "llvm/Pass.h" +#include "llvm/ADT/Triple.h" #include "llvm/CodeGen/IntrinsicLowering.h" +#include "llvm/Pass.h" namespace llvm { class Function; @@ -46,6 +47,8 @@ class RaiseAsmPass : public llvm::ModulePass { const llvm::TargetLowering *TLI; + llvm::Triple triple; + llvm::Function *getIntrinsic(llvm::Module &M, unsigned IID, LLVM_TYPE_Q llvm::Type **Tys, |