can_prove         180 src/Bounds.cpp                 if (can_prove(test)) {
can_prove         239 src/Bounds.cpp                     if (!can_prove(no_overflow)) {
can_prove         246 src/Bounds.cpp                     if (!can_prove(no_overflow)) {
can_prove         278 src/Bounds.cpp                     if (!can_prove(no_overflow)) {
can_prove         285 src/Bounds.cpp                     if (!can_prove(no_overflow)) {
can_prove         295 src/Bounds.cpp                 !can_prove(b.max <= a.min)) {
can_prove         351 src/Bounds.cpp                 if (!can_prove(test1 && test2 && test3 && test4)) {
can_prove         372 src/Bounds.cpp         } else if (can_prove(b.min == b.max)) {
can_prove         951 src/Bounds.cpp     return !can_prove(simplify(!overlap));
can_prove         206 src/Generator.cpp             if (can_prove(newval == oldval)) {
can_prove        1574 src/HexagonOptimize.cpp                 if (can_prove(index_span < 256)) {
can_prove         247 src/Monotonic.cpp         bool true_value_ge_false_value = can_prove(op->true_value >= op->false_value);
can_prove         248 src/Monotonic.cpp         bool true_value_le_false_value = can_prove(op->true_value <= op->false_value);
can_prove         681 src/PartitionLoops.cpp         if (can_prove(epilogue_val <= prologue_val)) {
can_prove         347 src/Prefetch.cpp                 if (can_prove(max_byte_size < stride_bytes) || can_prove(max_byte_size < -stride_bytes)) {
can_prove          37 src/RemoveTrivialForLoops.cpp         } else if (can_prove(for_loop->extent <= 1)) {
can_prove        4277 src/Simplify.cpp                     if (can_prove(extent_0 * stride_0 == stride_1)) {
can_prove          34 src/Simplify.h EXPORT bool can_prove(Expr e);
can_prove          39 src/SimplifySpecializations.cpp                 can_prove(!fact || e)) {
can_prove          45 src/SimplifySpecializations.cpp                 can_prove(!fact || !e)) {
can_prove         216 src/SlidingWindow.cpp             if (can_prove(min_required >= prev_max_plus_one) ||
can_prove         217 src/SlidingWindow.cpp                 can_prove(max_required <= prev_min_minus_one)) {
can_prove         785 src/Solve.cpp                   can_prove(intersection.min <= intersection.max))) {
can_prove        1170 src/Solve.cpp              if (can_prove(i.min == i.max)) {
can_prove        1334 src/Solve.cpp          can_prove(s.result.min > s.result.max)) {
can_prove        1348 src/Solve.cpp          can_prove(s.result.min > s.result.max)) {
can_prove         220 src/StorageFolding.cpp                     if (can_prove(max < next_min)) {
can_prove         200 src/TrimNoOps.cpp                         can_prove(loop.i.min == loop.i.max) &&
can_prove         208 src/TrimNoOps.cpp                        can_prove(loop.i.min >= loop.i.max) &&