Lines Matching refs:vr1

894 				      const value_range *vr1)  in extract_range_from_pointer_plus_expr()  argument
914 || !range_includes_zero_p (vr1)) in extract_range_from_pointer_plus_expr()
917 || (range_int_cst_p (vr1) in extract_range_from_pointer_plus_expr()
918 && !tree_int_cst_sign_bit (vr1->max ())))) in extract_range_from_pointer_plus_expr()
920 else if (vr0->zero_p () && vr1->zero_p ()) in extract_range_from_pointer_plus_expr()
938 value_range vr0 = *vr0_, vr1 = *vr1_; in extract_range_from_plus_minus_expr() local
957 if (vr1.kind () == VR_ANTI_RANGE in extract_range_from_plus_minus_expr()
958 && ranges_from_anti_range (&vr1, &vrtem0, &vrtem1)) in extract_range_from_plus_minus_expr()
972 value_range_kind vr0_kind = vr0.kind (), vr1_kind = vr1.kind (); in extract_range_from_plus_minus_expr()
974 tree vr1_min = vr1.min (), vr1_max = vr1.max (); in extract_range_from_plus_minus_expr()
986 if (vr1.varying_p ()) in extract_range_from_plus_minus_expr()
1144 const value_range *vr0, const value_range *vr1 = NULL)
1146 if (vr0->undefined_p () && (!vr1 || vr1->undefined_p ()))
1170 const value_range *vr0, const value_range *vr1) in range_fold_binary_symbolics_p() argument
1172 if (vr0->symbolic_p () || vr1->symbolic_p ()) in range_fold_binary_symbolics_p()
1176 extract_range_from_plus_minus_expr (vr, code, expr_type, vr0, vr1); in range_fold_binary_symbolics_p()
1181 extract_range_from_pointer_plus_expr (vr, code, expr_type, vr0, vr1); in range_fold_binary_symbolics_p()
1185 value_range vr0_cst (*vr0), vr1_cst (*vr1); in range_fold_binary_symbolics_p()
1245 value_range vr1 = drop_undefines_to_varying (vr1_, expr_type); in range_fold_binary_expr() local
1246 if (range_fold_binary_symbolics_p (vr, code, expr_type, &vr0, &vr1)) in range_fold_binary_expr()
1250 vr1.normalize_addresses (); in range_fold_binary_expr()
1251 op->fold_range (*vr, expr_type, vr0, vr1); in range_fold_binary_expr()
5373 value_range vr0, vr1; in determine_value_range_1() local
5375 determine_value_range_1 (&vr1, TREE_OPERAND (expr, 1)); in determine_value_range_1()
5377 &vr0, &vr1); in determine_value_range_1()