CoTinker wrote: Sorry, I misunderstand it. But maybe we should change the comment says ` symbol op, a symbol-user op`, beacuse symbol op except function-like and symbol-user op except call-like are received by this function. https://github.com/llvm/llvm-project/pull/117501