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

[Usha Gupta via llvm-commits]

================
@@ -2071,24 +2073,50 @@ static void addNoRecurseAttrs(const SCCNodeSet &SCCNodes,
   if (!F || !F->hasExactDefinition() || F->doesNotRecurse())
     return;
 
-  // If all of the calls in F are identifiable and are to norecurse functions, F
-  // is norecurse. This check also detects self-recursion as F is not currently
-  // marked norecurse, so any called from F to F will not be marked norecurse.
-  for (auto &BB : *F)
-    for (auto &I : BB.instructionsWithoutDebug())
+  if (F->hasAddressTaken())
----------------
usha1830 wrote:

updated code to move this check inside the loop.

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