commit a80fed7e581517d69f46815644585bdcedcdf726
author David Majnemer <david.majnemer@gmail.com> Tue Jul 09 22:01:22 2013 +0000
committer David Majnemer <david.majnemer@gmail.com> Tue Jul 09 22:01:22 2013 +0000
tree 855fa938610a6df3d1c90f596672735a942dab0e
parent 1014fcfd9984b6d56e93e7d387061243e7f32a35

InstSimplify: X >> X -> 0

llvm-svn: 185973

llvm/test/Transforms/InstCombine/div-shift.ll

diff --git a/llvm/test/Transforms/InstCombine/div-shift.ll b/llvm/test/Transforms/InstCombine/div-shift.ll
index 46d0f9a..3350f19 100644
--- a/llvm/test/Transforms/InstCombine/div-shift.ll
+++ b/llvm/test/Transforms/InstCombine/div-shift.ll
@@ -54,9 +54,9 @@
 ; CHECK: t5
 ; CHECK-NOT: udiv
 ; CHECK-NEXT: [[SEL1:%.*]] = select i1 %x, i32 5, i32 6
-; CHECK-NEXT: [[SEL2:%.*]] = select i1 %y, i32 [[SEL1]], i32 %V
-; CHECK-NEXT: [[LSHR:%.*]] = lshr i32 %V, [[SEL2]]
-; CHECK-NEXT: ret i32 [[LSHR]]
+; CHECK-NEXT: [[LSHR:%.*]] = lshr i32 %V, [[SEL1]]
+; CHECK-NEXT: [[SEL2:%.*]] = select i1 %y, i32 [[LSHR]], i32 0
+; CHECK-NEXT: ret i32 [[SEL2]]
   %1 = shl i32 1, %V
   %2 = select i1 %x, i32 32, i32 64
   %3 = select i1 %y, i32 %2, i32 %1

llvm/test/Transforms/InstSimplify/compare.ll

diff --git a/llvm/test/Transforms/InstSimplify/compare.ll b/llvm/test/Transforms/InstSimplify/compare.ll
index b764c76..82d5602 100644
--- a/llvm/test/Transforms/InstSimplify/compare.ll
+++ b/llvm/test/Transforms/InstSimplify/compare.ll
@@ -357,6 +357,14 @@
 ; CHECK: ret i1 false
 }
 
+define i1 @lshr3(i32 %x) {
+; CHECK: @lshr3
+  %s = lshr i32 %x, %x
+  %c = icmp eq i32 %s, 0
+  ret i1 %c
+; CHECK: ret i1 true
+}
+
 define i1 @ashr1(i32 %x) {
 ; CHECK: @ashr1
   %s = ashr i32 -1, %x
@@ -373,6 +381,14 @@
 ; CHECK: ret i1 false
 }
 
+define i1 @ashr3(i32 %x) {
+; CHECK: @ashr3
+  %s = ashr i32 %x, %x
+  %c = icmp eq i32 %s, 0
+  ret i1 %c
+; CHECK: ret i1 true
+}
+
 define i1 @select1(i1 %cond) {
 ; CHECK: @select1
   %s = select i1 %cond, i32 1, i32 0