> The general principle that I would like to apply is to express as many > of the limit check optimizations as we can in RSSA/MACHINE, before the > codegens. Using that principle ... Sounds good.