[PATCH] D17012: Update document about convergent attribute.

[Mehdi AMINI via llvm-commits]

joker.eph added inline comments.

================
Comment at: docs/LangRef.rst:1248
@@ +1247,3 @@
+    additional values.  We call these operations (e.g. the
+    ``llvm.cuda.syncthreads`` intrinsic) ``intrinsically convergent``.
+
----------------
I've never read "intrinsically convergent" before, what does "intrinsically" adds here?

================
Comment at: docs/LangRef.rst:1251
@@ +1250,3 @@
+    The ``convergent`` attribute indicates that the caller may rely on
+    convergent behavior within of the callee.  Unless it can be proved that the
+    callee does not transitively invoke an intrinsically convergent operation,
----------------
I don't understand why the "caller" is the one relying on convergent behavior from the callee, I think it is the opposite and the "callee" is relying on convergent behavior of the call site.


http://reviews.llvm.org/D17012