https://github.com/MacDue approved this pull request. A few minor comments, but this looks great to me 👍 It's not costed, but I think this makes a lot of sense as a general canonicalization/simplification. https://github.com/llvm/llvm-project/pull/211022