https://github.com/krzysz00 approved this pull request. On further consideration and the realization that I was thinking of `ext(trunc(x)) => x` folding in some of my comments, this is fine, approved https://github.com/llvm/llvm-project/pull/128096