diff options
| author | Craig Topper <craig.topper@intel.com> | 2018-02-13 16:25:27 +0000 | 
|---|---|---|
| committer | Craig Topper <craig.topper@intel.com> | 2018-02-13 16:25:27 +0000 | 
| commit | f73ff612cabc043d481b6fdd3b5e7cd92d5f0706 (patch) | |
| tree | c9a91bae5a10b7be95f802c281b1edd1fe7ab07f /llvm/lib/CodeGen | |
| parent | 036789a7e871ae898ee6dc317cf8e70b86d54ef2 (diff) | |
| download | bcm5719-llvm-f73ff612cabc043d481b6fdd3b5e7cd92d5f0706.tar.gz bcm5719-llvm-f73ff612cabc043d481b6fdd3b5e7cd92d5f0706.zip | |
[DAGCombiner] Add one use check to fold (not (and x, y)) -> (or (not x), (not y))
Summary:
If the and has an additional use we shouldn't invert it. That creates an additional instruction.
While there add a one use check to the transform above that looked similar.
Reviewers: spatel, RKSimon
Reviewed By: RKSimon
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D43225
llvm-svn: 325019
Diffstat (limited to 'llvm/lib/CodeGen')
| -rw-r--r-- | llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp | 4 | 
1 files changed, 2 insertions, 2 deletions
| diff --git a/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp b/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp index 1c32a92ddad..ac981d0457e 100644 --- a/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp +++ b/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp @@ -5398,7 +5398,7 @@ SDValue DAGCombiner::visitXOR(SDNode *N) {    }    // fold (not (or x, y)) -> (and (not x), (not y)) iff x or y are setcc -  if (isOneConstant(N1) && VT == MVT::i1 && +  if (isOneConstant(N1) && VT == MVT::i1 && N0.hasOneUse() &&        (N0.getOpcode() == ISD::OR || N0.getOpcode() == ISD::AND)) {      SDValue LHS = N0.getOperand(0), RHS = N0.getOperand(1);      if (isOneUseSetCC(RHS) || isOneUseSetCC(LHS)) { @@ -5410,7 +5410,7 @@ SDValue DAGCombiner::visitXOR(SDNode *N) {      }    }    // fold (not (or x, y)) -> (and (not x), (not y)) iff x or y are constants -  if (isAllOnesConstant(N1) && +  if (isAllOnesConstant(N1) && N0.hasOneUse() &&        (N0.getOpcode() == ISD::OR || N0.getOpcode() == ISD::AND)) {      SDValue LHS = N0.getOperand(0), RHS = N0.getOperand(1);      if (isa<ConstantSDNode>(RHS) || isa<ConstantSDNode>(LHS)) { | 

