diff options
Diffstat (limited to 'llvm/docs/LangRef.rst')
| -rw-r--r-- | llvm/docs/LangRef.rst | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst index bc4df058646..a2eedfac952 100644 --- a/llvm/docs/LangRef.rst +++ b/llvm/docs/LangRef.rst @@ -1219,10 +1219,8 @@ example: ``convergent`` This attribute indicates that the callee is dependent on a convergent thread execution pattern under certain parallel execution models. - Transformations that are execution model agnostic may only move or - tranform this call if the final location is control equivalent to its - original position in the program, where control equivalence is defined as - A dominates B and B post-dominates A, or vice versa. + Transformations that are execution model agnostic may not make the execution + of a convergent operation control dependent on any additional values. ``inlinehint`` This attribute indicates that the source code contained a hint that inlining this function is desirable (such as the "inline" keyword in |
