Lines Matching defs:difference
2141 tree conflicts_a, conflicts_b, difference;
2174 difference = chrec_fold_minus
2177 if (evolution_function_is_constant_p (difference))
2178 SUB_DISTANCE (subscript) = difference;
2357 tree difference;
2365 difference = chrec_fold_minus (integer_type_node, chrec_a, chrec_b);
2367 switch (TREE_CODE (difference))
2370 if (integer_zerop (difference))
2372 /* The difference is equal to zero: the accessed index
2393 fprintf (dump_file, "ziv test failed: difference is non-integer.\n");
2438 tree difference;
2442 difference = chrec_fold_minus
2445 if (!chrec_is_positive (initial_condition (difference), &value0))
2480 if (tree_fold_divides_p (CHREC_RIGHT (chrec_b), difference))
2489 difference),
2512 /* When the step does not divide the difference, there are
2560 if (tree_fold_divides_p (CHREC_RIGHT (chrec_b), difference))
2567 integer_type_node, difference,
2589 /* When the step does not divide the difference, there
3314 tree difference;
3321 difference = chrec_fold_minus (integer_type_node, chrec_a, chrec_b);
3333 else if (evolution_function_is_constant_p (difference)
3336 && chrec_steps_divide_constant_p (chrec_a, difference, ÷_p)
3342 The difference is 1, and the evolution steps are equal to 2,