Lines Matching refs:OverflowingBinaryOperator
1233 bool NSW = Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(I)); in computeKnownBitsFromOperator()
1234 bool NUW = Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(I)); in computeKnownBitsFromOperator()
1402 bool NUW = Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(I)); in computeKnownBitsFromOperator()
1403 bool NSW = Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(I)); in computeKnownBitsFromOperator()
1441 bool NSW = Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(I)); in computeKnownBitsFromOperator()
1442 bool NUW = Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(I)); in computeKnownBitsFromOperator()
1448 bool NSW = Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(I)); in computeKnownBitsFromOperator()
1449 bool NUW = Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(I)); in computeKnownBitsFromOperator()
1647 auto *OverflowOp = dyn_cast<OverflowingBinaryOperator>(BO); in computeKnownBitsFromOperator()
2514 const OverflowingBinaryOperator *VOBO = cast<OverflowingBinaryOperator>(V); in isKnownToBeAPowerOfTwo()
3063 const OverflowingBinaryOperator *BO = cast<OverflowingBinaryOperator>(I); in isKnownNonZeroFromOperator()
3124 auto *BO = cast<OverflowingBinaryOperator>(I); in isKnownNonZeroFromOperator()
3130 const OverflowingBinaryOperator *BO = cast<OverflowingBinaryOperator>(I); in isKnownNonZeroFromOperator()
3584 auto *OBO1 = cast<OverflowingBinaryOperator>(Op1); in getInvertibleOperands()
3585 auto *OBO2 = cast<OverflowingBinaryOperator>(Op2); in getInvertibleOperands()
3600 auto *OBO1 = cast<OverflowingBinaryOperator>(Op1); in getInvertibleOperands()
3601 auto *OBO2 = cast<OverflowingBinaryOperator>(Op2); in getInvertibleOperands()
3696 if (auto *OBO = dyn_cast<OverflowingBinaryOperator>(V2)) { in isNonEqualMul()
3711 if (auto *OBO = dyn_cast<OverflowingBinaryOperator>(V2)) { in isNonEqualShl()
9188 cast<OverflowingBinaryOperator>(RHS)->hasNoUnsignedWrap()) in isTruePredicate()