PING On Thu, Jun 18, 2020, 13:24 Aldy Hernandez <al...@redhat.com> 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? > > Aldy > >
