Also interesting: the faulty optimization apparently had an alive2 (LLVM's formal verification tool for their optimization passes) proof attached to it, but due to a typo in an assertion it didn't actually prove anything. A nice example of one of the pitfalls of formal verification. https://github.com/llvm/llvm-project/issues/217376#issuecomment-5348043980