http://cr.openjdk.java.net/~roland/8200477/webrev.00/ Superword only allows reduction to have Phi uses but with loop strip mining, there's a safepoint use as well. In any case, the check for only Phi uses seems too strict to me. So I replaced it with a check for only uses out of loop. Roland.