编译器两大原则：

• The compiler must preserve the meaning of the input program
• The compiler must discernibly improve the input program.