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/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