Improve bce so that more bounds checks can be eliminated.
For pattern like "int array = new int[size+1]", we record this range
This can eliminate more bounds checks.
Also simplify overflow/underflow handling and make it more solid.
Enhance instruction simplifier such that if array is a result of
NewArray with a constant size, replace array.length with that constant.
Plan to move all bce gtests to checker in another change.
6 files changed