Lines Matching refs:FlagNUW
170 if (AR->getNoWrapFlags(FlagNUW))
175 !AR->getNoWrapFlags((NoWrapFlags)(FlagNUW | FlagNSW)))
204 if (NAry->getNoWrapFlags(FlagNUW))
953 if (AR->getNoWrapFlags(SCEV::FlagNUW))
991 const_cast<SCEVAddRecExpr *>(AR)->setNoWrapFlags(SCEV::FlagNUW);
1026 const_cast<SCEVAddRecExpr *>(AR)->setNoWrapFlags(SCEV::FlagNUW);
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;
2805 assert(!maskFlags(Flags, SCEV::FlagNUW) && "subtraction does not have NUW");
3101 Flags = setFlags(Flags, SCEV::FlagNUW);
3389 if (AddRec->getNoWrapFlags(SCEV::FlagNUW))
5924 SCEV::FlagNUW);
5929 SCEV::FlagNUW);
5937 SCEV::FlagNUW);
5942 SCEV::FlagNUW);
6402 (SCEV::NoWrapFlags)(((isSigned ? SCEV::FlagNSW : SCEV::FlagNUW))
