RFR(S): 8011706: specjvm2008 test xml.transform gets array bound exception with c1

[Roland Westrelin]

> Changes are good but could you explain how you got "dominator is not a direct predecessor"? In C2 only irreducible loops have several entry points and could have such situation. Is it the same for this case in C1? Just curious.


Thanks for the review.
The test case in the webrev is an example. The loop header has 3 predecessors (both branches of the if + the backbranch). The dominator of the loop header is the block that ends with the if. So loop invariant code motion moves the load of the array field before the if.

Roland.