Go back and read Wulf. The point of optimizing compilers is to constrain the languages that they compile, both as to definition and as to usage. You do not start with a language and say, how shall we write the most-optimizing compiler for this language? You start with the optimizations and ask, what things, if we let the language do them, will subvert our optimizations?