[llvm] [IPO] Prevent removal of some convergent attr (PR #134863)

[Sameer Sahasrabuddhe via llvm-commits]

Nathan =?utf-8?q?Gauër?= <brioche at google.com>,
Nathan =?utf-8?q?Gauër?= <brioche at google.com>,
Nathan =?utf-8?q?Gauër?= <brioche at google.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/134863 at github.com>


================
@@ -1864,6 +1864,23 @@ static bool InstrBreaksNonConvergent(Instruction &I,
          !SCCNodes.contains(CB->getCalledFunction());
 }
 
+static bool FunctionRequiresConvergence(const Function *F) {
----------------
ssahasra wrote:

This is identical to `FunctionCalledWithConvergenceToken`. Can we move the definition to a common place, say `Function::hasConvergentCalls()`?

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