https://github.com/RKSimon approved this pull request. Should we be doing this in InstCombine as well? It already does this for `logic(ext(x),ext(y)) -> ext(logic(x,y))` patterns https://github.com/llvm/llvm-project/pull/108959