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

[Vladimir Kozlov]

Roland,

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,
Vladimir

On 4/9/13 2:57 AM, Roland Westrelin wrote:
> http://cr.openjdk.java.net/~roland/8011706/webrev.00/
>
> Loop invariant code motion moves loop invariant loads (from a field or an array) to the dominator of the loop header. If the dominator is not a direct predecessor of the loop header then some stores to the same field/array may happen between the dominator and the loop header and a load may be moved before a store to the same field/array.
>
> Roland.
>