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

Nathan Gauër via cfe-commits cfe-commits at lists.llvm.org
Wed Apr 9 04:14:17 PDT 2025


Keenuts wrote:

miss-typed enter, sent the comment above too early.

There are multiple ways to solve this issue:
 - fix the FunctionAttr to run DCE again once the `convergent` attribute is removed to make sure those invalid cases don't happen.
 - fix the FunctionAttr to not remove `convergent` if the function is used in a convergent call (the linked PR)
 - fix DCE to now remove convergence intrinsics, thus preventing FunctionAttr to wrongly remove the convergence attribute because the presence on such intrinsic is a sign the function needs it.

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


More information about the cfe-commits mailing list