Understanding How Optimizing Compilers Track Instruction Effects in Intermediate Representations

Optimizing compilers like to keep track of each IR instruction’s effects. An instruction’s effects vary wildly from having no effects at all, to writing a specific variable, to completely unknown…