wangpc-pp wrote: > If there is a risk of overflow, is it correct to match `(ext (op a, b))` to `(wop a, b)`? Yes, you are right. This transformation is not correct. https://github.com/llvm/llvm-project/pull/137508