14:52:17beachBut if a variable is needed frequently in a loop, it is likely to stay in the register it was first allocated to. And if it is cheap to occasionally get it wrong, then I am not going to complicate things by taking that possibility into account.
14:53:17beachOK, so I am simplifying the description in the specification.
15:08:32beachThere! Now the description is sufficiently small that there is some hope to get the implementation right.
15:57:26heisigI agree, it is save to assume that MOV instructions are dirt cheap.
15:58:17heisigIf I understood correctly, the most recent AMD CPUs will even attempt to place the topmost stack entries in virtual registers.