This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] tree-ssa-dom.c: Use VEC(vrp_element_p,heap) instead ofVARRAY.
Hi Jeff,
> > Well, we can probably feed DOM similar information using
> > SSA_NAME_VALUE_RANGE.
> Actually, I doubt we would even need to do that.
>
> All DOM's VRP code does is record simple ranges and use them to either
> eliminate conditionals or simplify conditionals. I would expect the
> VRP code to already perform these transformations. ie, I don't see
> any reason why we should keep the DOM VRP code (of course we'd need
> to verify that it's become useless, but I'm pretty sure it has).
Oh, so you don't use DOM's VRP for jump threading purposes? If that's
the case, the code is probably useless. After VRP is run, most of the
conditional jumps that can be folded into unconditional ones should be
folded.
Kazu Hirata