https://github.com/joker-eph approved this pull request. LG, but not sure about the tests: in general we should test the minimum amount of things and it's not clear to me whether these CHECKs do? https://github.com/llvm/llvm-project/pull/139422