artagnon wrote: > I don't think updating the tests makes sense, if they now fail due to a verifier failure. There should be no verifier failures for valid input Nothing fails, and just some additional remarks are emitted? https://github.com/llvm/llvm-project/pull/162091