http://cr.openjdk.java.net/~roland/8148786/webrev.00/ During CCP, a change in the type of one of the input the counted loop exit’s CmpI should cause the type of the loop’s Phi to be recomputed. Otherwise, the loop’s Phi may end up with an incorrect type. Roland.