'abce' - removes array bounds checks that are proved to be redundant.
Array-bounds check elimination pass analyzes method code and removes redundant checks of array bounds. Normally, these checks identify situations when a program tries to access an element beyond the array bounds, and throw ArrayIndexOutOfBoundsException. The JIT compiler inserts such checks before every access to an array element and some of these checks are redundant.
header file: http://svn.apache.org/viewvc/harmony/enhanced/drlvm/trunk/vm/jitrino/src/optimizer/abce.h
implementation file: http://svn.apache.org/viewvc/harmony/enhanced/drlvm/trunk/vm/jitrino/src/optimizer/abce.cpp