diff --git a/lib/Target/X86/X86ISelLowering.cpp b/lib/Target/X86/X86ISelLowering.cpp index b8fc7e66125..2060dbf312f 100644 --- a/lib/Target/X86/X86ISelLowering.cpp +++ b/lib/Target/X86/X86ISelLowering.cpp @@ -10015,6 +10015,14 @@ bool X86TargetLowering::isTypeDesirableForOp(unsigned Opc, EVT VT) const { } } +static bool MayFoldLoad(SDValue Op) { + return Op.hasOneUse() && ISD::isNormalLoad(Op.getNode()); +} + +static bool MayFoldIntoStore(SDValue Op) { + return Op.hasOneUse() && ISD::isNormalStore(*Op.getNode()->use_begin()); +} + /// IsDesirableToPromoteOp - This method query the target whether it is /// beneficial for dag combiner to promote the specified node. If true, it /// should return the desired promotion type by reference. @@ -10051,8 +10059,7 @@ bool X86TargetLowering::IsDesirableToPromoteOp(SDValue Op, EVT &PVT) const { case ISD::SRL: { SDValue N0 = Op.getOperand(0); // Look out for (store (shl (load), x)). - if (isa(N0) && N0.hasOneUse() && - Op.hasOneUse() && Op.getNode()->use_begin()->getOpcode() == ISD::STORE) + if (MayFoldLoad(N0) && MayFoldIntoStore(Op)) return false; Promote = true; break; @@ -10067,12 +10074,12 @@ bool X86TargetLowering::IsDesirableToPromoteOp(SDValue Op, EVT &PVT) const { case ISD::SUB: { SDValue N0 = Op.getOperand(0); SDValue N1 = Op.getOperand(1); - if (!Commute && isa(N1)) + if (!Commute && MayFoldLoad(N1)) return false; // Avoid disabling potential load folding opportunities. - if ((isa(N0) && N0.hasOneUse()) && !isa(N1)) + if (MayFoldLoad(N0) && (!isa(N1) || MayFoldIntoStore(Op))) return false; - if ((isa(N1) && N1.hasOneUse()) && !isa(N0)) + if (MayFoldLoad(N1) && (!isa(N0) || MayFoldIntoStore(Op))) return false; Promote = true; }