diff options
author | James Molloy <james.molloy@arm.com> | 2016-01-14 15:49:32 +0000 |
---|---|---|
committer | James Molloy <james.molloy@arm.com> | 2016-01-14 15:49:32 +0000 |
commit | c5eded5c1e9fe3f4e1daced1bf8cf158ed90b288 (patch) | |
tree | 4730069e23f50853c7a756e9e31bf315c3ad95ef /llvm/test/Analysis/ValueTracking | |
parent | e09c44b6ff45c35cb12874230128d752bdaaa923 (diff) | |
download | bcm5719-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.ll | 62 |
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 |