Loop Predication
Loop Predication is an optimization in C2. The general idea is to insert a predicate on the entry path to a loop,
and raise a uncommon trap if the check of the condition fails. The condition checks are promoted from inside the
loop body, and thus the checks inside the loop could be eliminated. Currently, loop predication optimization has
been applied to remove array range check, null checks and array checks in loops.
Loop Predication for Array Range Check Elimination
Use loop predicate to remove array range checks in a loop.
Example:
original loop
for (int i=init, i<limit; i+=stride) {
...
if( scale*i + offset < a.length)
else raising_uncommon_trap();
...
}
after loop predication
if( scale*imax < a.length) {
for (int i=init, i<limit; i+=stride)
} else raising_uncommon_trap();