[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>
wrote:

> 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. :-)

Aldy


More information about the Gcc-patches mailing list