diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2016-08-04 15:43:11 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-08-10 21:22:06 +0200 |
| commit | 95a39e0fe58c7b95588da97b3478eafba9920281 (patch) | |
| tree | e473ca52e739805533b11b11820c251d0672bbb8 /lib/Module/Passes.h | |
| parent | 66b3470f4d01df50bc77d9f96e3c526e8e4cbf91 (diff) | |
| download | klee-95a39e0fe58c7b95588da97b3478eafba9920281.tar.gz | |
Extended support for assembler raising
Improved support for assembler handling. Providing additional triple information to raise assembler for supported architectures only. Implemented support for raising full assembly memory fence. Added initial support for memory fences in Executor.
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, |