You are still paying for the register allocator. That is not a trivial abstraction; it is wildly complex and carefully tuned, and there is ongoing research on

You are still paying for the register allocator. That is not a trivial abstraction; it is wildly complex and carefully tuned, and there is ongoing research on how to do it better.