Yeah, this kind of thing is nice. Alive had been used for years (almost a decade actually) by people to verify LLVM instcombine transforms. Alive2 (https://gi

Yeah, this kind of thing is nice. Alive had been used for years (almost a decade actually) by people to verify LLVM instcombine transforms. Alive2 (https://github.com/AliveToolkit/alive2 https://github.com/AliveToolkit/alive2) makes it easier to do the same with most optimization passes.