As-if Rule Definition

noun

A rule by which compilers are allowed to apply any optimizing transformation to a program provided that it makes no change to the observable behavior of the program.

Wiktionary