> Actually, it turned out not to be that good a decision. The generated code is far less compact than x86
That isn't true with x86-64. I've measured the average instruction size of x86-64 in the wild and it ends up being almost exactly 4 bytes. REX prefixes add up fast.