reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
184 return getNoWrapFlags(FlagNSW) != FlagAnyWrap; 339 if (Flags & (FlagNUW | FlagNSW)) 383 setNoWrapFlags((NoWrapFlags)(FlagNUW | FlagNSW));lib/Analysis/LoopAccessAnalysis.cpp
983 return OpAR->getLoop() == L && OpAR->getNoWrapFlags(SCEV::FlagNSW);
lib/Analysis/ScalarEvolution.cpp275 !AR->getNoWrapFlags((NoWrapFlags)(FlagNUW | FlagNSW))) 1397 static const SCEV::NoWrapFlags WrapType = SCEV::FlagNSW; 1835 (SCEV::NoWrapFlags)(SCEV::FlagNSW | SCEV::FlagNUW), 1889 (SCEV::NoWrapFlags)(SCEV::FlagNSW | SCEV::FlagNUW), 2002 return getAddExpr(Ops, SCEV::FlagNSW, Depth + 1); 2022 (SCEV::NoWrapFlags)(SCEV::FlagNSW | SCEV::FlagNUW), 2048 getSignExtendExpr(Step, Ty, Depth + 1), L, SCEV::FlagNSW); 2089 const_cast<SCEVAddRecExpr *>(AR)->setNoWrapFlags(SCEV::FlagNSW); 2148 const_cast<SCEVAddRecExpr *>(AR)->setNoWrapFlags(SCEV::FlagNSW); 2167 (SCEV::NoWrapFlags)(SCEV::FlagNSW | SCEV::FlagNUW), 2173 const_cast<SCEVAddRecExpr *>(AR)->setNoWrapFlags(SCEV::FlagNSW); 2349 int SignOrUnsignMask = SCEV::FlagNUW | SCEV::FlagNSW; 2358 if (SignOrUnsignWrap == SCEV::FlagNSW && all_of(Ops, IsKnownNonNegative)) 2382 if (!(SignOrUnsignWrap & SCEV::FlagNSW)) { 2386 Flags = ScalarEvolution::setFlags(Flags, SCEV::FlagNSW); 2409 assert(!(Flags & ~(SCEV::FlagNUW | SCEV::FlagNSW)) && 2910 assert(Flags == maskFlags(Flags, SCEV::FlagNUW | SCEV::FlagNSW) && 3497 SCEV::NoWrapFlags Wrap = GEP->isInBounds() ? SCEV::FlagNSW 4016 if (maskFlags(Flags, SCEV::FlagNSW) == SCEV::FlagNSW) { 4016 if (maskFlags(Flags, SCEV::FlagNSW) == SCEV::FlagNSW) { 4027 AddFlags = SCEV::FlagNSW; 4038 auto NegFlags = RHSIsNotMinSigned ? SCEV::FlagNSW : SCEV::FlagAnyWrap; 4449 Result = ScalarEvolution::setFlags(Result, SCEV::FlagNSW); 4986 Flags = setFlags(Flags, SCEV::FlagNSW); 5084 Flags = setFlags(Flags, SCEV::FlagNSW); 5975 Flags = ScalarEvolution::setFlags(Flags, SCEV::FlagNSW); 6466 return getMinusSCEV(V1, V2, SCEV::FlagNSW); 9030 SCEV::FlagNSW); 9035 SCEV::FlagNSW); 9043 SCEV::FlagNSW); 9048 SCEV::FlagNSW); 9382 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && C.isNonNegative()) 9386 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && 9396 if (MatchBinaryAddToConst(RHS, LHS, C, SCEV::FlagNSW) && 9401 if (MatchBinaryAddToConst(LHS, RHS, C, SCEV::FlagNSW) && C.isNegative()) 10168 SCEV::FlagNSW : SCEV::FlagNUW; 10603 IV->getNoWrapFlags(IsSigned ? SCEV::FlagNSW : SCEV::FlagNUW); 10743 IV->getNoWrapFlags(IsSigned ? SCEV::FlagNSW : SCEV::FlagNUW); 12285 if (ScalarEvolution::setFlags(ScevFlags, SCEV::FlagNSW) == ScevFlags) 12307 if (ScalarEvolution::setFlags(StaticFlags, SCEV::FlagNSW) == StaticFlags)lib/Analysis/ScalarEvolutionExpander.cpp
193 if (I->hasNoSignedWrap() != (Flags & SCEV::FlagNSW)) 232 if (Flags & SCEV::FlagNSW) 841 NWFlags = ScalarEvolution::clearFlags(NWFlags, SCEV::FlagNSW);lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp
815 if (AR->getNoWrapFlags(SCEV::FlagNSW)) 837 return AR->getNoWrapFlags(SCEV::FlagNSW) != SCEV::FlagAnyWrap; 1644 SCEV::FlagNSW);tools/polly/lib/Support/SCEVAffinator.cpp
134 if (IgnoreIntegerWrapping || (getNoWrapFlags(Expr) & SCEV::FlagNSW)) 174 if (AddRec->getNoWrapFlags() & SCEV::FlagNSW) 185 if (NAry->getNoWrapFlags() & SCEV::FlagNSW)