diff options
| author | Felix Rath <felix.rath@comsys.rwth-aachen.de> | 2019-05-24 15:44:06 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-05-28 16:59:14 +0100 |
| commit | abf654288c2f7f0ee6e1dd3e34b70c1aabe82ea7 (patch) | |
| tree | 8f9227364fa0d3bf7792f8eebb0ea57835c2db02 /lib/Module | |
| parent | 0cf14d6d70b939ad29a9da42b33a4a5d4697b947 (diff) | |
| download | klee-abf654288c2f7f0ee6e1dd3e34b70c1aabe82ea7.tar.gz | |
Implement handling of the llvm.fabs intrinsic
Diffstat (limited to 'lib/Module')
| -rw-r--r-- | lib/Module/IntrinsicCleaner.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index dde97036..e2ed3f39 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -59,6 +59,7 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) { switch (ii->getIntrinsicID()) { case Intrinsic::vastart: case Intrinsic::vaend: + case Intrinsic::fabs: break; // Lower vacopy so that object resolution etc is handled by |