A Counter Machine with only one register would be an abstraction that doesn't need register annotation. It's turing complete with only two instructions. Chachi

A Counter Machine with only one register would be an abstraction that doesn't need register annotation. It's turing complete with only two instructions. Chaching is not a transparent implementation detail of the processor, i.e. compilers and assembler programmers do take caching into account, as far as I can tell from reading HN. Register utilization is a concern as well. Register renaming is probably just a implementation detail, I wouldn't really know.