diff options
| author | Mateusz Naściszewski <matin1111@wp.pl> | 2019-09-14 16:53:39 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-09-20 15:39:59 +0100 |
| commit | 6b2c98ba795a1edf81647482ae9f2560397f56bb (patch) | |
| tree | 7d7ca7f3eae4f0e714086d9b0eeb8be28575886e /test/Feature/IntrinsicTrap.ll | |
| parent | 9891fe3d4a81e011a1f323725b36c260e100044c (diff) | |
| download | klee-6b2c98ba795a1edf81647482ae9f2560397f56bb.tar.gz | |
Move intrinsics tests to the proper directory
Diffstat (limited to 'test/Feature/IntrinsicTrap.ll')
| -rw-r--r-- | test/Feature/IntrinsicTrap.ll | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/test/Feature/IntrinsicTrap.ll b/test/Feature/IntrinsicTrap.ll deleted file mode 100644 index c88a328a..00000000 --- a/test/Feature/IntrinsicTrap.ll +++ /dev/null @@ -1,31 +0,0 @@ -; RUN: llvm-as %s -f -o %t1.bc -; RUN: rm -rf %t.klee-out -; RUN: %klee --output-dir=%t.klee-out --optimize=false %t1.bc -; RUN: FileCheck %s --input-file=%t.klee-out/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" - -define i32 @main() nounwind { -entry: - %a = add i32 1, 2 - %b = add i32 %a, 3 - %c = icmp ne i32 %b, 6 - 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 - -bfalse: - br label %return - -return: - ret i32 0 -} - -; CHECK-NOT: call void @llvm.trap() -; CHECK: declare void @abort() -declare void @llvm.trap() noreturn nounwind |