[clang] [llvm] [IR] Mark convergence intrins as has-side-effect (PR #134844)
ssahasra wrote: Thanks for the example! I think #133684 is a correct incremental step forward, but maybe just going the whole way bottom-up is better. It is also correct to remove the verifier check. It's not a well-formedness error or even a semantic error to pass a convergence control token
