[PATCH] D150976: [LangRef] Document the de facto meaning of convergent

[Jay Foad via Phabricator via llvm-commits]

foad added inline comments.


================
Comment at: llvm/docs/LangRef.rst:1749
 ``convergent``
-    In some parallel execution models, there exist operations that cannot be
-    made control-dependent on any additional values.  We call such operations
-    ``convergent``, and mark them with this attribute.
+    In some parallel execution models, there exist operations that implicitly
+    depend on the set of values upon which they are control-dependent.  We call
----------------
I found it hard to word this. Suggestions welcome!


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D150976