From 5b3480610383ba281ef0c7918a6c097058a408d4 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Fri, 12 Mar 2021 14:15:27 -0500 Subject: [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) --- llvm/test/Transforms/InstCombine/zext-or-icmp.ll | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/llvm/test/Transforms/InstCombine/zext-or-icmp.ll b/llvm/test/Transforms/InstCombine/zext-or-icmp.ll index a77aa7a..54ae085 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 +} -- cgit v1.1