This repository features an LLVM optimization pass for inter-procedural, context-insensitive, and flow-sensitive constant propagation that analyses and substitutes constant values across function ...