Lines Matching defs:varx
554 difference of values of VARX + OFFX and VARY + OFFY, computed in TYPE,
558 refine_bounds_using_guard (tree type, tree varx, mpz_t offx,
627 /* We are only interested in comparisons of expressions based on VARX and
631 if (operand_equal_p (varx, varc1, 0))
638 if (!operand_equal_p (varx, varc0, 0)
647 std::swap (varx, vary);
656 (VARX + OFFX) cmp (VARY + OFFY) + (OFFX - OFFY + OFFC1 - OFFC0).
663 -- VARX + OFFX underflows and VARX + OFFC0 does not, or
664 VARX + OFFC0 overflows, but VARX + OFFX does not.
677 x_ok = (integer_zerop (varx)
727 tree varx, vary;
746 split_to_var_and_offset (x, &varx, offx);
749 if (!integer_zerop (varx)
750 && operand_equal_p (varx, vary, 0))
752 /* Special case VARX == VARY -- we just need to compare the
765 determine_value_range (loop, type, varx, offx, minx, maxx);
777 if (integer_zerop (varx) && integer_zerop (vary))
801 refine_bounds_using_guard (type, varx, offx, vary, offy,