Lines Matching defs:right
301 /* left\right unknown lt_zero le_zero gt_zero ge_zero ne_zero eq_zero */
503 /* left\right unknown lt_zero le_zero gt_zero ge_zero ne_zero eq_zero */
529 * | a * a # Left source == right source
549 /* left\right unknown lt_zero le_zero gt_zero ge_zero ne_zero eq_zero */
588 const struct ssa_result_range right =
591 r.is_integral = left.is_integral && right.is_integral;
605 r.is_a_number = left.is_a_number && right.is_a_number;
606 r.is_finite = left.is_finite && right.is_finite;
608 r.range = union_ranges(left.range, right.range);
650 const struct ssa_result_range right =
653 r.is_integral = left.is_integral && right.is_integral;
654 r.range = fadd_table[left.range][right.range];
660 r.is_a_number = left.is_a_number && right.is_a_number &&
661 (left.is_finite || right.is_finite);
692 const struct ssa_result_range right =
695 r.is_integral = left.is_integral && right.is_integral;
702 r.is_finite = left.is_finite && right.is_finite;
705 r.is_a_number = left.is_a_number || right.is_a_number;
745 /* left\right unknown lt_zero le_zero gt_zero ge_zero ne_zero eq_zero */
760 r.range = table[left.range][right.range];
767 r.range = union_ranges(r.range, right.range);
769 if (!right.is_a_number)
778 const struct ssa_result_range right =
781 r.is_integral = left.is_integral && right.is_integral;
788 r.is_finite = left.is_finite && right.is_finite;
791 r.is_a_number = left.is_a_number || right.is_a_number;
831 /* left\right unknown lt_zero le_zero gt_zero ge_zero ne_zero eq_zero */
846 r.range = table[left.range][right.range];
853 r.range = union_ranges(r.range, right.range);
855 if (!right.is_a_number)
865 const struct ssa_result_range right =
868 r.is_integral = left.is_integral && right.is_integral;
880 r.range = fmul_table[left.range][right.range];
887 r.is_a_number = (left.is_a_number && right.is_a_number) &&
888 ((left.is_finite && right.is_finite) ||
889 (!is_not_zero(left.range) && right.is_finite) ||
890 (left.is_finite && !is_not_zero(right.range)));
893 r.is_a_number = left.is_a_number && right.is_a_number;
1117 * We could do better if the right operand is a constant, integral
1121 /* left\right unknown lt_zero le_zero gt_zero ge_zero ne_zero eq_zero */
1133 const struct ssa_result_range right =
1139 r.is_integral = left.is_integral && right.is_integral &&
1140 is_not_negative(right.range);
1141 r.range = table[left.range][right.range];