Lines Matching refs:OverflowingBinaryOperator
967 bool NSW = Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(I)); in computeKnownBitsFromOperator()
1091 bool NUW = Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(I)); in computeKnownBitsFromOperator()
1092 bool NSW = Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(I)); in computeKnownBitsFromOperator()
1128 bool NSW = Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(I)); in computeKnownBitsFromOperator()
1134 bool NSW = Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(I)); in computeKnownBitsFromOperator()
1315 auto *OverflowOp = dyn_cast<OverflowingBinaryOperator>(BO); in computeKnownBitsFromOperator()
2002 const OverflowingBinaryOperator *VOBO = cast<OverflowingBinaryOperator>(V); in isKnownToBeAPowerOfTwo()
2477 const OverflowingBinaryOperator *BO = cast<OverflowingBinaryOperator>(I); in isKnownNonZeroFromOperator()
2539 auto *BO = cast<OverflowingBinaryOperator>(I); in isKnownNonZeroFromOperator()
2550 const OverflowingBinaryOperator *BO = cast<OverflowingBinaryOperator>(I); in isKnownNonZeroFromOperator()
2895 auto *OBO1 = cast<OverflowingBinaryOperator>(Op1); in getInvertibleOperands()
2896 auto *OBO2 = cast<OverflowingBinaryOperator>(Op2); in getInvertibleOperands()
2911 auto *OBO1 = cast<OverflowingBinaryOperator>(Op1); in getInvertibleOperands()
2912 auto *OBO2 = cast<OverflowingBinaryOperator>(Op2); in getInvertibleOperands()
2992 if (auto *OBO = dyn_cast<OverflowingBinaryOperator>(V2)) { in isNonEqualMul()
3005 if (auto *OBO = dyn_cast<OverflowingBinaryOperator>(V2)) { in isNonEqualShl()
8179 cast<OverflowingBinaryOperator>(RHS)->hasNoUnsignedWrap()) in isTruePredicate()