summaryrefslogtreecommitdiffstats
path: root/llvm/test/Analysis/ValueTracking
diff options
context:
space:
mode:
authorJames Molloy <james.molloy@arm.com>2016-01-14 15:49:32 +0000
committerJames Molloy <james.molloy@arm.com>2016-01-14 15:49:32 +0000
commitc5eded5c1e9fe3f4e1daced1bf8cf158ed90b288 (patch)
tree4730069e23f50853c7a756e9e31bf315c3ad95ef /llvm/test/Analysis/ValueTracking
parente09c44b6ff45c35cb12874230128d752bdaaa923 (diff)
downloadbcm5719-llvm-c5eded5c1e9fe3f4e1daced1bf8cf158ed90b288.tar.gz
bcm5719-llvm-c5eded5c1e9fe3f4e1daced1bf8cf158ed90b288.zip
Revert "[ValueTracking] Understand more select patterns in ComputeKnownBits"
This reverts commit r257769. Backing this out because of stage2 failures. llvm-svn: 257773
Diffstat (limited to 'llvm/test/Analysis/ValueTracking')
-rw-r--r--llvm/test/Analysis/ValueTracking/select-maxbits.ll62
1 files changed, 0 insertions, 62 deletions
diff --git a/llvm/test/Analysis/ValueTracking/select-maxbits.ll b/llvm/test/Analysis/ValueTracking/select-maxbits.ll
deleted file mode 100644
index 4b121745048..00000000000
--- a/llvm/test/Analysis/ValueTracking/select-maxbits.ll
+++ /dev/null
@@ -1,62 +0,0 @@
-; RUN: opt -S -instsimplify < %s | FileCheck %s
-
-; CHECK-LABEL: @one
-define i32 @one(i32 %a) {
-; CHECK: ret i32 0
- %b = icmp ugt i32 %a, 5
- %c = select i1 %b, i32 2, i32 %a
- %d = lshr i32 %c, 24
- ret i32 %d
-}
-
-; CHECK-LABEL: @two
-define i32 @two(i32 %a) {
-; CHECK: ret i32 0
- %x = add nsw i32 %a, 4
- %b = icmp ugt i32 %x, 5
- %c = select i1 %b, i32 2, i32 %a
- %d = lshr i32 %c, 24
- ret i32 %d
-}
-
-; CHECK-LABEL: @two_no_nsw
-define i32 @two_no_nsw(i32 %a) {
-; CHECK: ret i32 %d
- %x = add i32 %a, 4
- %b = icmp ugt i32 %x, 5
- %c = select i1 %b, i32 2, i32 %a
- %d = lshr i32 %c, 24
- ret i32 %d
-}
-
-; CHECK-LABEL: @three
-define i32 @three(i32 %a) {
-; CHECK: ret i32 0
- %x = add nsw i32 %a, -4
- %b = icmp ugt i32 %a, 5
- %c = select i1 %b, i32 2, i32 %x
- %d = lshr i32 %c, 24
- ret i32 %d
-}
-
-; CHECK-LABEL: @four
-define i32 @four(i32 %a) {
-; CHECK: ret i32 0
- %x = add nsw i32 %a, 42
- %y = add nsw i32 %a, 64
- %b = icmp ugt i32 %y, 5
- %c = select i1 %b, i32 2, i32 %x
- %d = lshr i32 %c, 24
- ret i32 %d
-}
-
-; CHECK-LABEL: @four_swapped
-define i32 @four_swapped(i32 %a) {
-; CHECK: ret i32 %d
- %x = add nsw i32 %a, 42
- %y = add nsw i32 %a, 64
- %b = icmp ugt i32 %x, 5
- %c = select i1 %b, i32 2, i32 %y
- %d = lshr i32 %c, 24
- ret i32 %d
-} \ No newline at end of file
OpenPOWER on IntegriCloud