The execution order of instructions can be changed only if the program behavior is not affected. Independent consecutive instructions (without any dependencies between them) can thus be interchanged.

• 仅当程序行为不被影响时才能改变指令的执行顺序。独立的连续指令(它们之并无任何依赖)可以被相互交换。