ALIVE has found and verified peephole optimisations in LLVM that can apply in more cases than currently implemented: https://lists.llvm.org/pipermail/llvm-dev/2017-March/111000.html