RFR: Backport JDK-8215265: C2: range check elimination may allow illegal out of bound access

[Roman Kennke]

This is a backport of the original jdk12 fix:

https://bugs.openjdk.java.net/browse/JDK-8215265

Which has been backported to 11 already:
http://hg.openjdk.java.net/jdk-updates/jdk11u-dev/rev/2815d9d11969

Webrev:
http://cr.openjdk.java.net/~rkennke/JDK-8215265/webrev.00/

The only differs is relatively minor details: paths adjusted, new
AddINode() -> new (C) AddINode().

Testing: new testcase fails without fix, passes with fix. No tier1
regressions.

Can I please get a review?

Thanks,
Roman