Patent attributes
Techniques relate to automated compiler operation verification. In response to performing an optimization to a compiler configured to execute on a processor of a computer system, a determination is made of whether a fingerprint is present in software that is currently executing on the processor of the computer system. The software is compiled by the compiler, and the fingerprint comprises a representation of a sequence of behavior that occurs on the processor while the software is executing. The fingerprint is configured to correspond to the optimization of the compiler. In response to determining that the fingerprint is not present in the software currently executing on the processor, a determination is made that optimization to the compiler has not occurred. In response to determining that the fingerprint is present in the software executing on the processor, a verification is made that the optimization of the compiler has occurred.