RFR(M): 8073480: C2 should optimize explicit range checks
roland.westrelin at oracle.com
Thu Mar 12 17:34:02 UTC 2015
Here is a new webrev for this:
I took Vladimir’s comments into account (added test for null inputs in several places, strengthen the test to make sure a middle guard is a null check, renamed functions) and added code that look for a ConvI2L between the range check and a memory access that follows and annotate that ConvI2L with a tighter type so the movslq that Paul spotted are removed from the final code.
More information about the hotspot-compiler-dev