An Extensible Veried Validator For Simple Optimizations in LLVM
Compiler validation via equivalence modulo inputs