Lines Matching defs:Assume

674   /// adds a run-time to check for it to \p RtCheck. If \p Assume is true,
682                             unsigned ASId, bool ShouldCheckStride, bool Assume);
797 /// If \p Assume, try harder to prove that we can compute the bounds of \p Ptr
800                                 const SCEV *PtrScev, Loop *L, bool Assume) {
807   if (!AR && Assume)
819                      Type *AccessTy, Loop *L, bool Assume) {
824   return getPtrStride(PSE, AccessTy, Ptr, L, Strides, Assume).has_value() ||
1053                                           bool Assume) {
1061     if (!hasComputableBounds(PSE, Ptr, PtrExpr, TheLoop, Assume))
1071       if (!isNoWrap(PSE, StridesMap, Ptr, AccessTy, TheLoop, Assume))
1197                                   ShouldCheckWrap, /*Assume=*/true)) {
1421         // Assume constant for other the operand so that the AddRec can be
1438                    bool Assume, bool ShouldCheckWrap) {
1452   if (Assume && !AR)
1521   if (Assume) {
2151   // E.g. Assume one char is 1 byte in memory and one int is 4 bytes.
2202   // E.g. Assume one char is 1 byte in memory and one int is 4 bytes.