[llvm] [FuncAttrs] Relax norecurse attribute inference (PR #139943)

[Usha Gupta via llvm-commits]

usha1830 wrote:

@nikic Thank you for taking the time to review again.
>We usually do inference on SCCs, but I feel like it might make sense to infer norecurse on RefSCC. Would a trivial RefSCC (single element without self-edge) be norecurse without any further analysis?

I am exploring this possibility. However, I think we would still need the indirect call (which are the potential edges in the RefSCC) to be resolved before we could confidently infer norecurse attribute.  And we will still need more checks on the callees  for external calls/libcalls etc.
 It might possibly speed up the inference though, if the indirect call target information is available.

https://github.com/llvm/llvm-project/pull/139943