summaryrefslogtreecommitdiffstats
path: root/llvm/test/Transforms/InstCombine/minmax-fold.ll
diff options
context:
space:
mode:
authorJames Molloy <james.molloy@arm.com>2015-05-15 17:45:09 +0000
committerJames Molloy <james.molloy@arm.com>2015-05-15 17:45:09 +0000
commit1675b4a57f21b01e5b78f2ba95fb37945acff831 (patch)
treef4261e4659c4cb941e9a11c7a5e3cdd4011d1dd9 /llvm/test/Transforms/InstCombine/minmax-fold.ll
parent7307cd57c550cbf4f2b7e01317a72c7f9ad52c9e (diff)
downloadbcm5719-llvm-1675b4a57f21b01e5b78f2ba95fb37945acff831.tar.gz
bcm5719-llvm-1675b4a57f21b01e5b78f2ba95fb37945acff831.zip
Revert "Canonicalize min/max expressions correctly."
This reverts r237453 - it was causing timeouts on some bots. Reverting while I investigate (it's probably InstCombine fighting itself...) llvm-svn: 237458
Diffstat (limited to 'llvm/test/Transforms/InstCombine/minmax-fold.ll')
-rw-r--r--llvm/test/Transforms/InstCombine/minmax-fold.ll73
1 files changed, 0 insertions, 73 deletions
diff --git a/llvm/test/Transforms/InstCombine/minmax-fold.ll b/llvm/test/Transforms/InstCombine/minmax-fold.ll
deleted file mode 100644
index f50370713ff..00000000000
--- a/llvm/test/Transforms/InstCombine/minmax-fold.ll
+++ /dev/null
@@ -1,73 +0,0 @@
-; RUN: opt -S -instcombine < %s | FileCheck %s
-
-; CHECK-LABEL: @t1
-; CHECK-NEXT: icmp
-; CHECK-NEXT: select
-; CHECK-NEXT: sext
-define i64 @t1(i32 %a) {
- ; This is the canonical form for a type-changing min/max.
- %1 = icmp slt i32 %a, 5
- %2 = select i1 %1, i32 %a, i32 5
- %3 = sext i32 %2 to i64
- ret i64 %3
-}
-
-; CHECK-LABEL: @t2
-; CHECK-NEXT: icmp
-; CHECK-NEXT: select
-; CHECK-NEXT: sext
-define i64 @t2(i32 %a) {
- ; Check this is converted into canonical form, as above.
- %1 = icmp slt i32 %a, 5
- %2 = sext i32 %a to i64
- %3 = select i1 %1, i64 %2, i64 5
- ret i64 %3
-}
-
-; CHECK-LABEL: @t3
-; CHECK-NEXT: icmp
-; CHECK-NEXT: select
-; CHECK-NEXT: zext
-define i64 @t3(i32 %a) {
- ; Same as @t2, with flipped operands and zext instead of sext.
- %1 = icmp ult i32 %a, 5
- %2 = zext i32 %a to i64
- %3 = select i1 %1, i64 5, i64 %2
- ret i64 %3
-}
-
-; CHECK-LABEL: @t4
-; CHECK-NEXT: icmp
-; CHECK-NEXT: select
-; CHECK-NEXT: trunc
-define i32 @t4(i64 %a) {
- ; Same again, with trunc.
- %1 = icmp slt i64 %a, 5
- %2 = trunc i64 %a to i32
- %3 = select i1 %1, i32 %2, i32 5
- ret i32 %3
-}
-
-; CHECK-LABEL: @t5
-; CHECK-NEXT: icmp
-; CHECK-NEXT: zext
-; CHECK-NEXT: select
-define i64 @t5(i32 %a) {
- ; Same as @t3, but with mismatched signedness between icmp and zext.
- ; InstCombine should leave this alone.
- %1 = icmp slt i32 %a, 5
- %2 = zext i32 %a to i64
- %3 = select i1 %1, i64 5, i64 %2
- ret i64 %3
-}
-
-; CHECK-LABEL: @t6
-; CHECK-NEXT: icmp
-; CHECK-NEXT: select
-; CHECK-NEXT: sitofp
-define float @t6(i32 %a) {
- %1 = icmp slt i32 %a, 0
- %2 = select i1 %1, i32 %a, i32 0
- %3 = sitofp i32 %2 to float
- ret float %3
-}
OpenPOWER on IntegriCloud