Lines Matching defs:Assume

691   /// adds a run-time to check for it to \p RtCheck. If \p Assume is true,
699                             unsigned ASId, bool ShouldCheckStride, bool Assume);
813 /// If \p Assume, try harder to prove that we can compute the bounds of \p Ptr
816                                 const SCEV *PtrScev, Loop *L, bool Assume) {
823   if (!AR && Assume)
1072                                           bool Assume) {
1080     if (!hasComputableBounds(PSE, Ptr, PtrExpr, TheLoop, Assume))
1092         if (!Assume || !isa<SCEVAddRecExpr>(Expr))
1220                                   ShouldCheckWrap, /*Assume=*/true)) {
1444         // Assume constant for other the operand so that the AddRec can be
1461                    bool Assume, bool ShouldCheckWrap) {
1475   if (Assume && !AR)
1543   if (Assume) {
2148   // E.g. Assume one char is 1 byte in memory and one int is 4 bytes.
2199   // E.g. Assume one char is 1 byte in memory and one int is 4 bytes.