From 1dffdb8af4efa42341dcb8d7fda6523ab2619d97 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Sat, 9 Feb 2019 20:06:11 +0000 Subject: [PATCH] [x86] add another test for setcc miscompile (PR40657); NFC git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@353625 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/CodeGen/X86/setcc-combine.ll | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/test/CodeGen/X86/setcc-combine.ll b/test/CodeGen/X86/setcc-combine.ll index ed3dfcdd7b1..8c3e3226b2e 100644 --- a/test/CodeGen/X86/setcc-combine.ll +++ b/test/CodeGen/X86/setcc-combine.ll @@ -283,6 +283,25 @@ define i64 @PR40657(i8 %var2, i8 %var9) { ret i64 %res.cast } +; FIXME: This should not get folded to 0. + +define i64 @PR40657_commute(i8 %var7, i8 %var8, i8 %var9) { +; CHECK-LABEL: PR40657_commute: +; CHECK: # %bb.0: +; CHECK-NEXT: xorl %eax, %eax +; CHECK-NEXT: retq + %var4 = trunc i8 %var9 to i1 + %var5 = trunc i8 %var8 to i1 + %var6 = trunc i8 %var7 to i1 + %var3 = sub nsw nuw i1 %var5, %var6 + %var0 = sub nuw i1 %var4, %var3 + %var2 = sub i1 %var3, %var0 + %var1 = icmp ne i1 %var0, %var2 + %res = sub nsw nuw i1 %var0, %var1 + %res.cast = zext i1 %res to i64 + ret i64 %res.cast +} + define i64 @sub_to_shift_to_add(i32 %x, i32 %y, i64 %s1, i64 %s2) { ; CHECK-LABEL: sub_to_shift_to_add: ; CHECK: # %bb.0: -- 2.50.1