> > 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). Fine by me -- like I said, it's grungy building if-statements in assembly.