On Fri, Nov 12, 2021, 20:50 Richard Biener <richard.guent...@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