https://github.com/fhahn commented: 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 https://github.com/llvm/llvm-project/pull/162091