Lines Matching defs:NSW

368                                    bool NSW, bool NUW,
376   if (KnownOut.isUnknown() && !NSW && !NUW)
380   KnownOut = KnownBits::computeForAddSub(Add, NSW, NUW, Known2, KnownOut);
383 static void computeKnownBitsMul(const Value *Op0, const Value *Op1, bool NSW,
393   if (NSW) {
1207     bool NSW = Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(I));
1209     computeKnownBitsMul(I->getOperand(0), I->getOperand(1), NSW, NUW,
1377     bool NSW = Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(I));
1378     auto KF = [NUW, NSW](const KnownBits &KnownVal, const KnownBits &KnownAmt,
1380       return KnownBits::shl(KnownVal, KnownAmt, NUW, NSW, ShAmtNonZero);
1415     bool NSW = Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(I));
1417     computeKnownBitsAddSub(false, I->getOperand(0), I->getOperand(1), NSW, NUW,
1422     bool NSW = Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(I));
1424     computeKnownBitsAddSub(true, I->getOperand(0), I->getOperand(1), NSW, NUW,
2101               true, II->getArgOperand(0), II->getArgOperand(1), /*NSW=*/false,
2107               false, II->getArgOperand(0), II->getArgOperand(1), /*NSW=*/false,
2799                          Value *Y, bool NSW, bool NUW) {
2840   return KnownBits::add(XKnown, YKnown, NSW, NUW).isNonZero();
2861                          Value *Y, bool NSW, bool NUW) {
2864   if (NSW || NUW)
3247                             /*NSW=*/false,
3255                             /*NSW=*/false, /*NUW=*/false);
3299                             /*NSW=*/true, /* NUW=*/false);
10032     // If the negation part of the abs (in RHS) has the NSW flag,