https://github.com/adam-smnk approved this pull request. Pattern is conservative and sound. I see no loss of information and the resulting IR is strictly simpler. LGTM https://github.com/llvm/llvm-project/pull/213190