[PATCH] D68994: [RFC] Redefine `convergent` in terms of dynamic instances

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added a comment.

Are you planning on adding codegen support in a separate patch?

None of these tests use llvm.convergence.point.

Can you also add tests for unroll with a convergent operation in the presence of the new intrinsics?



================
Comment at: llvm/docs/DynamicInstances.rst:229
+
+  void @llvm.convergence.point(token %anchor) convergent readnone
+
----------------
I don't fully understand what the 'point' of this one is. What is the point of ensuring nonreconvergence? Which real example does this correspond to?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D68994/new/

https://reviews.llvm.org/D68994