[16] RFR(M): 8249607: C2: assert(!had_error) failed: bad dominance

[Roland Westrelin]

> In the testcase, a LoadSNode is cloned in 
> PhaseIdealLoop::split_if_with_blocks_post() for each use such that they 
> can float out of a loop. To ensure that these loads cannot float back 
> into the loop, we pin them by setting their control input [1]. In the 
> testcase, all 3 new clones are pinned to a loop exit node that is part 
> of an outer strip mined loop (see [2]).

Do I understand this right, that all 3 clones are pinned with the same
control? So they common and only of them is kept?

Roland.