Lines Matching refs:FlagNSW
172 if (AR->getNoWrapFlags(FlagNSW))
175 !AR->getNoWrapFlags((NoWrapFlags)(FlagNUW | FlagNSW)))
206 if (NAry->getNoWrapFlags(FlagNSW))
1118 if (PreAR && PreAR->getNoWrapFlags(SCEV::FlagNSW))
1130 const_cast<SCEVAddRecExpr *>(PreAR)->setNoWrapFlags(SCEV::FlagNSW);
1219 if (AR->getNoWrapFlags(SCEV::FlagNSW))
1222 L, SCEV::FlagNSW);
1257 const_cast<SCEVAddRecExpr *>(AR)->setNoWrapFlags(SCEV::FlagNSW);
1271 const_cast<SCEVAddRecExpr *>(AR)->setNoWrapFlags(SCEV::FlagNSW);
1291 const_cast<SCEVAddRecExpr *>(AR)->setNoWrapFlags(SCEV::FlagNSW);
1463 assert(!(Flags & ~(SCEV::FlagNUW | SCEV::FlagNSW)) &&
1474 // If FlagNSW is true and all the operands are non-negative, infer FlagNUW.
1476 int SignOrUnsignMask = SCEV::FlagNUW | SCEV::FlagNSW;
1866 assert(Flags == maskFlags(Flags, SCEV::FlagNUW | SCEV::FlagNSW) &&
1877 // If FlagNSW is true and all the operands are non-negative, infer FlagNUW.
1879 int SignOrUnsignMask = SCEV::FlagNUW | SCEV::FlagNSW;
2288 // If FlagNSW is true and all the operands are non-negative, infer FlagNUW.
2290 int SignOrUnsignMask = SCEV::FlagNUW | SCEV::FlagNSW;
3103 Flags = setFlags(Flags, SCEV::FlagNSW);
3215 isInBounds ? SCEV::FlagNSW :
3228 isInBounds ? SCEV::FlagNSW : SCEV::FlagAnyWrap);
3530 if (AddRec->getNoWrapFlags(SCEV::FlagNSW)) {
5898 SCEV::FlagNSW);
5903 SCEV::FlagNSW);
5911 SCEV::FlagNSW);
5916 SCEV::FlagNSW);
6402 (SCEV::NoWrapFlags)(((isSigned ? SCEV::FlagNSW : SCEV::FlagNUW))
