maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[X86] Add one use check to '0-x == y --> x+y == 0' in EmitCmp. 

I failed to copy it when I moved this in
b62de210cf
This commit is contained in:
Craig Topper 2020-02-17 14:49:17 -08:00
parent fcae62167e
commit 3f4490d384
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
llvm/lib/Target/X86/X86ISelLowering.cpp
View File

@ -21212,7 +21212,7 @@ static SDValue EmitCmp(SDValue Op0, SDValue Op1, unsigned X86CC,
// 0-x == y --> x+y == 0 // 0-x == y --> x+y == 0
// 0-x != y --> x+y != 0 // 0-x != y --> x+y != 0
if (Op0.getOpcode() == ISD::SUB && isNullConstant(Op0.getOperand(0)) && if (Op0.getOpcode() == ISD::SUB && isNullConstant(Op0.getOperand(0)) &&
(X86CC == X86::COND_E || X86CC == X86::COND_NE)) { Op0.hasOneUse() && (X86CC == X86::COND_E || X86CC == X86::COND_NE)) {
SDVTList VTs = DAG.getVTList(CmpVT, MVT::i32); SDVTList VTs = DAG.getVTList(CmpVT, MVT::i32);
SDValue Add = DAG.getNode(X86ISD::ADD, dl, VTs, Op0.getOperand(1), Op1); SDValue Add = DAG.getNode(X86ISD::ADD, dl, VTs, Op0.getOperand(1), Op1);
return Add.getValue(1); return Add.getValue(1);
@ -21221,7 +21221,7 @@ static SDValue EmitCmp(SDValue Op0, SDValue Op1, unsigned X86CC,
// x == 0-y --> x+y == 0 // x == 0-y --> x+y == 0
// x != 0-y --> x+y != 0 // x != 0-y --> x+y != 0
if (Op1.getOpcode() == ISD::SUB && isNullConstant(Op1.getOperand(0)) && if (Op1.getOpcode() == ISD::SUB && isNullConstant(Op1.getOperand(0)) &&
(X86CC == X86::COND_E || X86CC == X86::COND_NE)) { Op1.hasOneUse() && (X86CC == X86::COND_E || X86CC == X86::COND_NE)) {
SDVTList VTs = DAG.getVTList(CmpVT, MVT::i32); SDVTList VTs = DAG.getVTList(CmpVT, MVT::i32);
SDValue Add = DAG.getNode(X86ISD::ADD, dl, VTs, Op0, Op1.getOperand(1)); SDValue Add = DAG.getNode(X86ISD::ADD, dl, VTs, Op0, Op1.getOperand(1));
return Add.getValue(1); return Add.getValue(1);