The problem is, devirt hasn't happened yet when we compute the frame size, so we *can't* know if bank 0 registers are used yet.
Also, I've had problems recomputing the frame size after reload. If the frame size changes for *any* reason between reload and prologue, you get corrupt code, as the elimination offset from AP to SP changes. That's why I avoid recomputing it.
