[throwaway092834]

"Except that we don't see CPUs being astonishingly creative in coming up with reasons why they shouldn't have to follow a clear, unambiguous program instruction."

That's the compiler's job ;-)

[adestefan]

We still don't know what Intel's microcode actually does...