I really like compiler tools that give concrete lists of the optimisations they do. Binaryen is a great example of this: https://github.com/WebAssembly/binaryen#binaryen-optimizations