[llvm-branch-commits] [llvm] 5b34806 - [InstCombine] add test for zext-of-icmps; NFC

[Tom Stellard via llvm-branch-commits]

Author: Sanjay Patel
Date: 2021-03-30T14:28:11-07:00
New Revision: 5b3480610383ba281ef0c7918a6c097058a408d4

URL: https://github.com/llvm/llvm-project/commit/5b3480610383ba281ef0c7918a6c097058a408d4
DIFF: https://github.com/llvm/llvm-project/commit/5b3480610383ba281ef0c7918a6c097058a408d4.diff

LOG: [InstCombine] add test for zext-of-icmps; NFC

PR49475 shows an infinite loop outcome, but this
tries to show the root cause with a minimal test.

(cherry picked from commit 579b8fc2e97c489308f97b01d13d894c03c0a16c)

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/zext-or-icmp.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/zext-or-icmp.ll b/llvm/test/Transforms/InstCombine/zext-or-icmp.ll
index a77aa7ac7ebd8..54ae0858aa67e 100644
--- a/llvm/test/Transforms/InstCombine/zext-or-icmp.ll
+++ b/llvm/test/Transforms/InstCombine/zext-or-icmp.ll
@@ -106,3 +106,23 @@ block2:
   %conv2 = zext i1 %cmp1 to i32
   ret i32 %conv2
 }
+
+; FIXME: This should not end with more instructions than it started from.
+
+define i32 @PR49475(i32 %x, i16 %y) {
+; CHECK-LABEL: @PR49475(
+; CHECK-NEXT:    [[M:%.*]] = and i16 [[Y:%.*]], 1
+; CHECK-NEXT:    [[B1:%.*]] = icmp eq i32 [[X:%.*]], 0
+; CHECK-NEXT:    [[B11:%.*]] = zext i1 [[B1]] to i32
+; CHECK-NEXT:    [[TMP1:%.*]] = xor i16 [[M]], 1
+; CHECK-NEXT:    [[TMP2:%.*]] = zext i16 [[TMP1]] to i32
+; CHECK-NEXT:    [[Z3:%.*]] = or i32 [[B11]], [[TMP2]]
+; CHECK-NEXT:    ret i32 [[Z3]]
+;
+  %m = and i16 %y, 1
+  %b1 = icmp eq i32 %x, 0
+  %b2 = icmp eq i16 %m, 0
+  %t1 = or i1 %b1, %b2
+  %z = zext i1 %t1 to i32
+  ret i32 %z
+}