Re: Dominators question

2021-12-14 Thread Jeff Law via Gcc-patches
On 12/14/2021 12:51 PM, Andrew MacLeod via Gcc-patches wrote: On 12/3/21 11:46, Richard Biener wrote: On December 3, 2021 3:15:25 PM GMT+01:00, Andrew MacLeod wrote: When something like the loop unswitching code adds elements to the CFGs, does this invalidate the dominators? or are they up

Re: Dominators question

2021-12-14 Thread Andrew MacLeod via Gcc-patches
On 12/3/21 11:46, Richard Biener wrote: On December 3, 2021 3:15:25 PM GMT+01:00, Andrew MacLeod wrote: When something like the loop unswitching code adds elements to the CFGs, does this invalidate the dominators? or are they updated?  or is it in an in between state. Im curious because a) th

Re: Dominators question

2021-12-03 Thread Richard Biener via Gcc-patches
On December 3, 2021 3:15:25 PM GMT+01:00, Andrew MacLeod wrote: >When something like the loop unswitching code adds elements to the CFGs, >does this invalidate the dominators? or are they updated?  or is it in >an in between state. > >Im curious because a) the relation code uses it under the co