> As for a codegen fix/hack, I could see what happens when I treat stack > slots like pseudo-regs; the real issue is that I don't have liveness info > on stack slots; the implicit assumption is that a write to memory on the > stack has to occur before we change blocks. And the other issue with this is that I would need to do translations across Push statements that change the stack top.