The mask and test is going to be pretty big (I-cache wise). I think that the real moral is that we have to be able to eliminate overflow checks automatically. I think that in array subscripts this shouldn't be too hard. Either way, the optimization should go in for word arithmetic just so we have it.