diff options
| author | Gleb Popov <6yearold@gmail.com> | 2019-03-31 13:20:07 +0400 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-04-02 13:06:52 +0100 |
| commit | e0d530a61ba458d68bbb086b2b6df675dea5a6dd (patch) | |
| tree | c5d474674b98410a22bbd530a29b3848e2a3aaa8 /lib | |
| parent | dc9a1cc700e00e56aee30ac433db4f2ed8519d43 (diff) | |
| download | klee-e0d530a61ba458d68bbb086b2b6df675dea5a6dd.tar.gz | |
Add FreeBSD OS triple in RaiseAsm
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Module/RaiseAsm.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Module/RaiseAsm.cpp b/lib/Module/RaiseAsm.cpp index 5d86bfd1..51d9b020 100644 --- a/lib/Module/RaiseAsm.cpp +++ b/lib/Module/RaiseAsm.cpp @@ -60,7 +60,8 @@ bool RaiseAsmPass::runOnInstruction(Module &M, Instruction *I) { if (triple.getArch() == llvm::Triple::x86_64 && (triple.getOS() == llvm::Triple::Linux || - triple.getOS() == llvm::Triple::Darwin)) { + triple.getOS() == llvm::Triple::Darwin || + triple.getOS() == llvm::Triple::FreeBSD)) { if (ia->getAsmString() == "" && ia->hasSideEffects()) { IRBuilder<> Builder(I); |