Surely this would be the compiler's job to emit the right instructions. I mean, they can do things that make it easier or harder, but satisfying a language spe

Surely this would be the compiler's job to emit the right instructions. I mean, they can do things that make it easier or harder, but satisfying a language spec isn't what they do (unless you want to count an ISA as a language spec, which it kind of is).