LoopPredication

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();