Finding bugs in LLVM IR optimisers: programmatically generate small (loop free, no control flow) functions, run your favourite middle end passes, and verify the output is equivalent!
https://blog.regehr.org/archives/1510
(Uses Alive to verify and 4000 CPUs of compute.)