bjacob wrote: Thinking more about it, I think the confusing part here may be that `OpToFuncCallLowering` is *unnecessarily* a conversion pattern, right? I think I'll do another iteration to try to make it just a plain rewrite pattern. https://github.com/llvm/llvm-project/pull/128203