Tweak this test. We can analyze what happens and show that we still do the

right thing, instead of merely being unable to analyze and the transform
doesn't occur.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127149 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/InstCombine/icmp.ll b/test/Transforms/InstCombine/icmp.ll
index bf0107adf06e7d657c66f8f6d5cc084dc200f968..a1626835a5489e3e59d28e64f482787b27cbc26d 100644 (file)
--- a/test/Transforms/InstCombine/icmp.ll
+++ b/test/Transforms/InstCombine/icmp.ll
@@ -488,8 +488,8 @@ define i1 @test50(i16 %X, i32 %Y) {
 
 ; CHECK: @test51
 ; CHECK: ret i1 %C
-define i1 @test51(i16 %X, i32 %Y) {
-  %A = sext i16 %X to i32
+define i1 @test51(i32 %X, i32 %Y) {
+  %A = and i32 %X, 2147483648
   %B = srem i32 %A, %Y
   %C = icmp sgt i32 %B, -1
   ret i1 %C