https://github.com/sjoerdmeijer approved this pull request. LGTM too. This definitely does not belong in the simplification pipeline, the optimisation pipeline is the right home for this. https://github.com/llvm/llvm-project/pull/145071