liusy58 wrote: I think we could first accept condition (1) to identify indirect tail calls, especially if there are concerns related to condition (2). https://github.com/llvm/llvm-project/pull/123305