Home | History | Annotate | Download | only in gcc

Lines Matching defs:vr

42 #include "vr-values.h"
85   value_range_equiv vr;
88   /* Discover VR when condition is true.  */
89   extract_range_for_var_from_comparison_expr (name, code, op, limit, &vr);
90   /* If we found any usable VR, set the VR to ssa_name and create a
91      PUSH old value in the stack with the old VR.  */
92   if (!vr.undefined_p () && !vr.varying_p ())
94       if (old_vr->equal_p (vr, /*ignore_equivs=*/true))
97       new_vr->move (&vr);
103 /* For LHS record VR in the SSA info.  */
105 evrp_range_analyzer::set_ssa_range_info (tree lhs, value_range_equiv *vr)
112       if (!vr->varying_p () && vr->constant_p ())
113 	set_range_info (lhs, vr->kind (),
114 			wi::to_wide (vr->min ()),
115 			wi::to_wide (vr->max ()));
118 	   && range_includes_zero_p (vr) == 0)
174 	  /* Entering a new scope.  Try to see if we can find a VR
189 	      value_range_equiv *vr
194 	      if (vr)
195 		vrs.safe_push (std::make_pair (asserts[i].name, vr));
307       value_range_equiv vr;
308       extract_range_from_stmt (stmt, &taken_edge, &output, &vr);
326 	      update_value_range (output, &vr);
328 		set_ssa_range_info (output, &vr);
333 		 use VR as that's a stack object.  We have to allocate
338 	      new_vr->set (vr.min (), vr.max (), NULL, vr.kind ());
339 	      vr.equiv_clear ();
381 		  /* Add VR when (T COMP_CODE value) condition is
389 	  /* Add VR when (OP COMP_CODE value) condition is true.  */
420 /* Push the Value Range of VAR to the stack and update it with new VR.  */
423 evrp_range_analyzer::push_value_range (tree var, value_range_equiv *vr)
430       dump_value_range (dump_file, vr);
433   value_range_equiv *old_vr = swap_vr_value (var, vr);
444   value_range_equiv *vr = e.second;
450       dump_value_range (dump_file, vr);
455   value_range_equiv *popped_vr = swap_vr_value (var, vr);