diff options
| -rw-r--r-- | llvm/lib/Target/X86/X86ISelLowering.cpp | 6 | ||||
| -rw-r--r-- | llvm/test/CodeGen/X86/pr32588.ll | 27 |
2 files changed, 31 insertions, 2 deletions
diff --git a/llvm/lib/Target/X86/X86ISelLowering.cpp b/llvm/lib/Target/X86/X86ISelLowering.cpp index a830dce109b..5c8a95963c3 100644 --- a/llvm/lib/Target/X86/X86ISelLowering.cpp +++ b/llvm/lib/Target/X86/X86ISelLowering.cpp @@ -34606,15 +34606,17 @@ static SDValue combineAddOrSubToADCOrSBB(SDNode *N, SelectionDAG &DAG) { SDValue NewCmp = DAG.getNode(X86ISD::CMP, DL, MVT::i32, Z, DAG.getConstant(1, DL, Z.getValueType())); + SDVTList VTs = DAG.getVTList(N->getValueType(0), MVT::i32); + // X - (Z != 0) --> sub X, (zext(setne Z, 0)) --> adc X, -1, (cmp Z, 1) // X + (Z != 0) --> add X, (zext(setne Z, 0)) --> sbb X, -1, (cmp Z, 1) if (CC == X86::COND_NE) - return DAG.getNode(IsSub ? X86ISD::ADC : X86ISD::SBB, DL, VT, X, + return DAG.getNode(IsSub ? X86ISD::ADC : X86ISD::SBB, DL, VTs, X, DAG.getConstant(-1ULL, DL, VT), NewCmp); // X - (Z == 0) --> sub X, (zext(sete Z, 0)) --> sbb X, 0, (cmp Z, 1) // X + (Z == 0) --> add X, (zext(sete Z, 0)) --> adc X, 0, (cmp Z, 1) - return DAG.getNode(IsSub ? X86ISD::SBB : X86ISD::ADC, DL, VT, X, + return DAG.getNode(IsSub ? X86ISD::SBB : X86ISD::ADC, DL, VTs, X, DAG.getConstant(0, DL, VT), NewCmp); } diff --git a/llvm/test/CodeGen/X86/pr32588.ll b/llvm/test/CodeGen/X86/pr32588.ll new file mode 100644 index 00000000000..eee1d651c3e --- /dev/null +++ b/llvm/test/CodeGen/X86/pr32588.ll @@ -0,0 +1,27 @@ +; RUN: llc < %s -mcpu=generic -mtriple=x86_64-linux | FileCheck %s + +@c = external local_unnamed_addr global i32, align 4 +@b = external local_unnamed_addr global i32, align 4 +@d = external local_unnamed_addr global i32, align 4 + +; CHECK: cmpl $1, c(%rip) +; CHECK-NEXT: sbbl %eax, %eax +; CHECK-NEXT: andl $1, %eax +; CHECK-NEXT: movl %eax, d(%rip) +; CHECK-NEXT: retq + +define void @fn1() { +entry: + %0 = load i32, i32* @c, align 4 + %tobool1 = icmp eq i32 %0, 0 + %xor = zext i1 %tobool1 to i32 + %1 = load i32, i32* @b, align 4 + %tobool2 = icmp ne i32 %1, 0 + %tobool4 = icmp ne i32 undef, 0 + %2 = and i1 %tobool4, %tobool2 + %sub = sext i1 %2 to i32 + %div = sdiv i32 %sub, 2 + %add = add nsw i32 %div, %xor + store i32 %add, i32* @d, align 4 + ret void +} |
