static-analysis-and-compilers
static-analysis-and-compilers copied to clipboard
optimizations
https://gcc.gnu.org/wiki/summit2010?action=AttachFile&do=get&target=jambor.pdf
This 50 years old paper covers most of the techniques that a compiler should implement: Inline, Unroll (& Vectorize), CSE, DCE, Code Motion, Constant Fold, Peephole. These achieve the majority of the performance needs.