Compiler dataflow, is at its core, lattice operations. If you read papers from the 70's, you will find it's very direct about it. For this specific optimizatio

Compiler dataflow, is at its core, lattice operations. If you read papers from the 70's, you will find it's very direct about it. For this specific optimization, you want https://github.com/gcc-mirror/gcc/blob/master/gcc/tree-ssa-ccp.c https://github.com/gcc-mirror/gcc/blob/master/gcc/tree-ssa-c...