I think I'm following, but I'm not sure I completely understand. From the GP:
> Without lifting, every time through the loop it has to check that a is an array and (i >= 0 && i < a.length).
It sounds like these checks are being performed once. Does that mean that instead of it checking in the loop, it's checked prior to and outside of the loop body? Otherwise, I'm not sure how the value of (i < a.length) wouldn't change as the loop is performed multiple times, as the increment expression is called after every loop.
> Without lifting, every time through the loop it has to check that a is an array and (i >= 0 && i < a.length).
It sounds like these checks are being performed once. Does that mean that instead of it checking in the loop, it's checked prior to and outside of the loop body? Otherwise, I'm not sure how the value of (i < a.length) wouldn't change as the loop is performed multiple times, as the increment expression is called after every loop.
Thanks for your help!