[clang] [llvm] [IR] Mark convergence intrins as has-side-effect (PR #134844)

Sameer Sahasrabuddhe via cfe-commits cfe-commits at lists.llvm.org
Wed Apr 9 03:35:34 PDT 2025


ssahasra wrote:

>From the spec for convergence control tokens:
https://llvm.org/docs/ConvergentOperations.html#inferring-non-convergence

> An optimizer may remove the convergent attribute on a function if it can prove that the function does not contain a call to `llvm.experimental.convergence.entry`, or any uncontrolled convergent operations.

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


More information about the cfe-commits mailing list