On Thu, 2020-06-18 at 13:24 +0200, Aldy Hernandez wrote:
> Howdy.
>
> This moves all the simplification code from vr_values into a separate
> class (simplify_using_ranges). In doing so, we get rid of a bunch of
> dependencies on the internals of vr_values. The goal is to (a) remove
> unnecessary interdependendcies (b) be able to use this engine with any
> range infrastructure, as all it needs is a method to get the range for
> an SSA name (get_value_range).
>
> I also removed as many dependencies on value_range_equiv as possible,
> preferring value_range. A few value_range_equiv uses remain, but for
> cases where equivalences are actually used (folding conditionals, etc).
>
> The plan is to use it like this:
>
> simplify_using_ranges simplifier (vr_values_thinggie);
> simplifier.simplify (gsi);
>
> OK?
OK
jeff
>
