Home | History | Annotate | Download | only in gcc

Lines Matching defs:vr1

713 				      const value_range *vr1)
733 || !range_includes_zero_p (vr1))
736 || (range_int_cst_p (vr1)
737 && !tree_int_cst_sign_bit (vr1->max ()))))
739 else if (vr0->zero_p () && vr1->zero_p ())
757 value_range vr0 = *vr0_, vr1 = *vr1_;
776 if (vr1.kind () == VR_ANTI_RANGE
777 && ranges_from_anti_range (&vr1, &vrtem0, &vrtem1))
791 value_range_kind vr0_kind = vr0.kind (), vr1_kind = vr1.kind ();
793 tree vr1_min = vr1.min (), vr1_max = vr1.max ();
805 if (vr1.varying_p ())
963 const value_range *vr0, const value_range *vr1 = NULL)
965 if (vr0->undefined_p () && (!vr1 || vr1->undefined_p ()))
995 value_range vr1 = drop_undefines_to_varying (vr1_, expr_type);
999 &vr0, &vr1);
1005 &vr0, &vr1);
1010 vr1.normalize_symbolics ();
1011 return op->fold_range (*vr, expr_type, vr0, vr1);
1071 value_range vr1 (*vr1_);
1074 if (vr1.undefined_p ())
1075 vr1.set_varying (expr_type);
1077 vr1.normalize_addresses ();
1078 op->fold_range (*vr, expr_type, vr0, vr1);