diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2014-01-21 05:41:25 -0800 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2014-01-21 05:41:25 -0800 |
| commit | e49c1e1958e863195b01d99c92194289b4034bbb (patch) | |
| tree | ee305c933ea7b653f769fe209601ca963938e16d /test/Feature/IntrinsicTrap.ll | |
| parent | f626bdb1905c4d56fdcca04cd6ee84acb7597431 (diff) | |
| parent | ebc387f1181ca39cd72fe8ef27a535cd0c674bcf (diff) | |
| download | klee-e49c1e1958e863195b01d99c92194289b4034bbb.tar.gz | |
Merge pull request #92 from delcypher/fix_llvm-lit
Move testing infrastructure to llvm-lit and completly remove all DejaGNU support
Diffstat (limited to 'test/Feature/IntrinsicTrap.ll')
| -rw-r--r-- | test/Feature/IntrinsicTrap.ll | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/test/Feature/IntrinsicTrap.ll b/test/Feature/IntrinsicTrap.ll index 5af46225..13b93e4d 100644 --- a/test/Feature/IntrinsicTrap.ll +++ b/test/Feature/IntrinsicTrap.ll @@ -1,8 +1,6 @@ ; RUN: llvm-as %s -f -o %t1.bc ; RUN: %klee -disable-opt %t1.bc -; RUN: grep abort() klee-last/assembly.ll | wc -l | grep -q 2 -; RUN: echo "llvm.trap()" > %t2.ll -; RUN: grep llvm.trap() klee-last/assembly.ll %t2.ll | wc -l | grep -q 1 +; RUN: FileCheck %s --input-file=%T/klee-last/assembly.ll target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-f128:128:128-n8:16:32:64" target triple = "x86_64-unknown-linux-gnu" @@ -15,6 +13,8 @@ entry: br i1 %c, label %btrue, label %bfalse btrue: + ; CHECK-NOT: call void @llvm.trap() + ; CHECK: call void @abort() call void @llvm.trap() noreturn nounwind unreachable @@ -25,4 +25,6 @@ return: ret i32 0 } +; CHECK-NOT: call void @llvm.trap() +; CHECK: declare void @abort() declare void @llvm.trap() noreturn nounwind |