Here is a new webrev. It implements your suggestion: http://cr.openjdk.java.net/~roland/valhalla/arraycopy-lworld/webrev.01/ test63() is commented out for now because a bug in the type system causes an incorrect execution with non flattened arrays. Roland.