Lines Matching refs:FlagNSW
162 if (AR->getNoWrapFlags(FlagNSW))
165 !AR->getNoWrapFlags((NoWrapFlags)(FlagNUW | FlagNSW)))
1096 if (PreAR && PreAR->getNoWrapFlags(SCEV::FlagNSW))
1108 const_cast<SCEVAddRecExpr *>(PreAR)->setNoWrapFlags(SCEV::FlagNSW);
1198 if (AR->getNoWrapFlags(SCEV::FlagNSW))
1201 L, SCEV::FlagNSW);
1233 const_cast<SCEVAddRecExpr *>(AR)->setNoWrapFlags(SCEV::FlagNSW);
1249 const_cast<SCEVAddRecExpr *>(AR)->setNoWrapFlags(SCEV::FlagNSW);
1269 const_cast<SCEVAddRecExpr *>(AR)->setNoWrapFlags(SCEV::FlagNSW);
1448 assert(!(Flags & ~(SCEV::FlagNUW | SCEV::FlagNSW)) &&
1459 // If FlagNSW is true and all the operands are non-negative, infer FlagNUW.
1461 int SignOrUnsignMask = SCEV::FlagNUW | SCEV::FlagNSW;
1851 assert(Flags == maskFlags(Flags, SCEV::FlagNUW | SCEV::FlagNSW) &&
1862 // If FlagNSW is true and all the operands are non-negative, infer FlagNUW.
1864 int SignOrUnsignMask = SCEV::FlagNUW | SCEV::FlagNSW;
2269 // If FlagNSW is true and all the operands are non-negative, infer FlagNUW.
2271 int SignOrUnsignMask = SCEV::FlagNUW | SCEV::FlagNSW;
3046 Flags = setFlags(Flags, SCEV::FlagNSW);
3158 isInBounds ? SCEV::FlagNSW :
3171 isInBounds ? SCEV::FlagNSW : SCEV::FlagAnyWrap);
3475 if (AddRec->getNoWrapFlags(SCEV::FlagNSW)) {
3604 setFlags(Flags, SCEV::FlagNSW);
5622 SCEV::FlagNSW);
5627 SCEV::FlagNSW);
5635 SCEV::FlagNSW);
5640 SCEV::FlagNSW);
6092 bool NoWrap = isSigned ? AddRec->getNoWrapFlags(SCEV::FlagNSW) :
