Lines Matching defs:InvariantOp

2561   Value *VariantOp, *InvariantOp;
2563       !match(VariantLHS, m_NSWAdd(m_Value(VariantOp), m_Value(InvariantOp))))
2566       !match(VariantLHS, m_NUWAdd(m_Value(VariantOp), m_Value(InvariantOp))))
2570   // "VariantOp + InvariantOp". If it is possible, then we can reassociate.
2572     std::swap(VariantOp, InvariantOp);
2573   if (L.isLoopInvariant(VariantOp) || !L.isLoopInvariant(InvariantOp))
2582   if (IsSigned && computeOverflowForSignedSub(InvariantRHS, InvariantOp, SQ) !=
2586       computeOverflowForUnsignedSub(InvariantRHS, InvariantOp, SQ) !=
2593       Builder.CreateSub(InvariantRHS, InvariantOp, "invariant.op",
2616   Value *VariantOp, *InvariantOp;
2618       !match(VariantLHS, m_NSWSub(m_Value(VariantOp), m_Value(InvariantOp))))
2621       !match(VariantLHS, m_NUWSub(m_Value(VariantOp), m_Value(InvariantOp))))
2626   // "VariantOp + InvariantOp". If it is possible, then we can reassociate. If
2629     std::swap(VariantOp, InvariantOp);
2633   if (L.isLoopInvariant(VariantOp) || !L.isLoopInvariant(InvariantOp))
2645     if (computeOverflowForSignedSub(InvariantOp, InvariantRHS, SQ) !=
2650     if (computeOverflowForUnsignedSub(InvariantOp, InvariantRHS, SQ) !=
2655     if (computeOverflowForSignedAdd(InvariantOp, InvariantRHS, SQ) !=
2660     if (computeOverflowForUnsignedAdd(InvariantOp, InvariantRHS, SQ) !=
2669           ? Builder.CreateSub(InvariantOp, InvariantRHS, "invariant.op",
2671           : Builder.CreateAdd(InvariantOp, InvariantRHS, "invariant.op",
2733   Value *InvariantOp = I.getOperand(1);
2735     std::swap(VariantOp, InvariantOp);
2736   if (L.isLoopInvariant(VariantOp) || !L.isLoopInvariant(InvariantOp))
2738   Value *Factor = InvariantOp;