nikic wrote: > Might as well do it for bitcode too? That wouldn't impact LTO scenarios, I think: in LTO, the IR is directly loaded by lld/the LTO plugin. Yeah, good point. I've extended this to verify bitcode too, and checked that it doesn't affect LTO. https://github.com/llvm/llvm-project/pull/134396