goldsteinn wrote: > The IR diff LGTM. And there is no extra space for us to generalize this pattern (e.g., add->sub, eq -> ne) :) What do you mean there is no extra space for us the generalize? https://github.com/llvm/llvm-project/pull/93840