Dataflow Analyses and Compiler Optimizations that Use Them, for Free – Embedded in Academia

This post discusses the importance of dataflow analyses in compiler optimizations and proposes methods to automate the creation and use of such analyses. It also suggests implementing missing dataflow analyses, such as congruences, in LLVM.