[COMMITTED] path solver: Solve PHI imports first for ranges.

Aldy Hernandez aldyh@redhat.com
Fri Nov 12 20:03:00 GMT 2021

On Fri, Nov 12, 2021, 20:50 Richard Biener <richard.guenther@gmail.com>

> On November 12, 2021 8:46:25 PM GMT+01:00, Aldy Hernandez via Gcc-patches <
> gcc-patches@gcc.gnu.org> wrote:
> >PHIs must be resolved first while solving ranges in a block,
> >regardless of where they appear in the import bitmap.  We went through
> >a similar exercise for the relational code, but missed these.
> Must not all stmts be resolved in program order (for optimality at least)?

The recursion takes care of that. Dependencies get taken care of before the
definitions that need them. I've yet to see a case where we get it wrong,
even in the presence of loops and interdependencies. Well....except in the
phis cause we should've done them first. :-)


More information about the Gcc-patches mailing list