[13] 8224539: C2 compilation fails during ArrayCopyNode optimizations with assert(i < _max) failed: oob: i=1, _max=1

[Tobias Hartmann]

Hi,

please review the following patch:
https://bugs.openjdk.java.net/browse/JDK-8224539
http://cr.openjdk.java.net/~thartmann/8224539/webrev.00/

The fix for JDK-8212243 [1] changed the implementation of the ArrayCopyNode optimizations to access
the src/dst adr nodes to get the base:
http://hg.openjdk.java.net/jdk/jdk/rev/e3d79743f57d#l10.10
http://hg.openjdk.java.net/jdk/jdk/rev/e3d79743f57d#l10.23

Now it can happen that either one is top if the array size is known and the offset is out of bounds.
For example, with incremental inlining we might not know the constant array size once the
ArrayCopyNode is created but only once we execute ideal transformations (see regression test). The
ArrayCopyNode will eventually be removed because the range checks fail but control is still valid at
the time when we hit the assert.

Tested with regression test and relevant tiers (running).

Thanks,
Tobias

[1] https://bugs.openjdk.java.net/browse/JDK-8212243