diff options
| author | Lukas Zaoral <lzaoral@redhat.com> | 2021-05-27 21:20:58 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-09-10 15:14:56 +0100 |
| commit | 96aa751760b4efc3424a82b573057008bc639c3b (patch) | |
| tree | 312ec435f64030f04d0876d68239f034c8e61c09 /test | |
| parent | f61db845d73d07261950dbd37cf7935bcac6acb7 (diff) | |
| download | klee-96aa751760b4efc3424a82b573057008bc639c3b.tar.gz | |
llvm12: Implement llvm.{s,u}{max,min} intrinsics
The vector variants are not implemented at the moment. See: https://reviews.llvm.org/D84125 Co-authored-by: Lukas Zaoral <lzaoral@redhat.com> Co-authored-by: Martin Nowack <m.nowack@imperial.ac.uk>
Diffstat (limited to 'test')
| -rw-r--r-- | test/Intrinsics/MinMax.ll | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/test/Intrinsics/MinMax.ll b/test/Intrinsics/MinMax.ll new file mode 100644 index 00000000..c2dc66f5 --- /dev/null +++ b/test/Intrinsics/MinMax.ll @@ -0,0 +1,36 @@ +; REQUIRES: geq-llvm-12.0 +; RUN: rm -rf %t.klee-out +; RUN: %klee -exit-on-error --output-dir=%t.klee-out --optimize=false %s +define dso_local i32 @main() local_unnamed_addr { + smax: + %0 = call i32 @llvm.smax.i32(i32 -10, i32 10) + %cmp = icmp ne i32 %0, 10 + br i1 %cmp, label %abort.block, label %smin + + smin: + %1 = call i32 @llvm.smin.i32(i32 -10, i32 10) + %cmp1 = icmp ne i32 %1, -10 + br i1 %cmp1, label %abort.block, label %umax + + umax: + %2 = call i32 @llvm.umax.i32(i32 10, i32 20) + %cmp2 = icmp ne i32 %2, 20 + br i1 %cmp2, label %abort.block, label %umin + + umin: + %3 = call i32 @llvm.umin.i32(i32 10, i32 5) + %cmp3 = icmp ne i32 %3, 5 + br i1 %cmp3, label %abort.block, label %exit.block + + exit.block: + ret i32 0 + + abort.block: + call void @abort() + unreachable +} +declare void @abort() noreturn nounwind +declare i32 @llvm.smax.i32(i32, i32) +declare i32 @llvm.smin.i32(i32, i32) +declare i32 @llvm.umax.i32(i32, i32) +declare i32 @llvm.umin.i32(i32, i32) |