On Wed, Apr 6, 2011 at 8:37 PM, Steven Bosscher <stevenb....@gmail.com> wrote: > On Wed, Apr 6, 2011 at 8:15 PM, Jeff Law <l...@redhat.com> wrote: > >>> AFAIU the patch doesn't change behavior for the GIMPLE CFG. It only affects >>> RTL. >> But the elimination of the PHI results in creating RTL that is inserted >> on a CFG edge. > > Yes, but gimple_expand_cfg() calls find_many_sub_basic_blocks(), and > that should be enough, no?? > > /me goes back to trying to understand this code :-)
Could you please add an explanation to the PR about how that PHI results in a loop on an edge? My fantasy is not big enough to visualize any case where that can happen! Ciao! Steven
