> Looks fine to me; let me know if you want me to make the changes to the > x86-codgen. The (b) case will be a little tricky, because you have to > build your own if statements in assembly. I was planning on expressing the stuff in RSSA, in the limit check pass (along with -gc-check).