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

[Matt Arsenault via cfe-commits]

arsenm wrote:

Thinking we should remove the IR verification requirement. It's more of a lint type check and violations would be UB 

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