rewriting available regs analysis II