commit 14936e01e2199842e0a6ef3a85a60e32c14685ea
author Sanjay Patel <spatel@rotateright.com> Sat Jul 04 10:08:44 2020 -0400
committer Sanjay Patel <spatel@rotateright.com> Sat Jul 04 11:06:30 2020 -0400
tree 05f0a4b6314fb1bca1420c667e1175795e601c8d
parent 56a8a5c9fe24d6d8809313633a4a5786d4fd29c6

[InstCombine] add test for miscompile (PR46561); NFC

llvm/test/Transforms/InstCombine/icmp-mul-zext.ll

diff --git a/llvm/test/Transforms/InstCombine/icmp-mul-zext.ll b/llvm/test/Transforms/InstCombine/icmp-mul-zext.ll
index 6b8cfd4..407c0ee 100644
--- a/llvm/test/Transforms/InstCombine/icmp-mul-zext.ll
+++ b/llvm/test/Transforms/InstCombine/icmp-mul-zext.ll
@@ -120,3 +120,33 @@
 ret2:
   ret i16 %trunc_unnecessary              ; crash visiting this use after corrupting iterator
 }
+
+; FIXME: This miscompiles because of broken pattern matching.
+
+define i1 @PR46561(i1 %a, i1 %x, i1 %y, i8 %z) {
+; CHECK-LABEL: @PR46561(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br i1 [[A:%.*]], label [[COND_TRUE:%.*]], label [[END:%.*]]
+; CHECK:       cond.true:
+; CHECK-NEXT:    br label [[END]]
+; CHECK:       end:
+; CHECK-NEXT:    [[P:%.*]] = phi i1 [ true, [[COND_TRUE]] ], [ false, [[ENTRY:%.*]] ]
+; CHECK-NEXT:    ret i1 [[P]]
+;
+entry:
+  br i1 %a, label %cond.true, label %end
+
+cond.true:
+  %tz = trunc i8 %z to i1
+  %zx = zext i1 %x to i32
+  %zy = zext i1 %y to i32
+  %zz = zext i1 %tz to i32
+  %mul = mul i32 %zx, %zy
+  %cond = xor i32 %mul, %zz
+  br label %end
+
+end:
+  %p = phi i32 [ %cond, %cond.true ], [ -1, %entry ]
+  %r = icmp eq i32 %p, 0
+  ret i1 %r
+}