[PATCH] D104504: RFC: Update token semantics with default convergent attribute

[Sameer Sahasrabuddhe via Phabricator via llvm-commits]

sameerds created this revision.
Herald added a subscriber: jdoerfert.
sameerds requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

This RFC has two parts:

LangRef:

  Define the "convergent" property in LLVM IR and introduce the
  "noconvergent" attribute. This is independent of convergence
  control intrinsics and tokens.  This part is intended to be
  submitted first and replaces D69498 (IR: Invert convergent
  attribute handling)

ConvergentOperations:

  Updates the semantics of convergence control intrinsics and tokens
  to account for the new default convergent property. This part is
  intended to be merged into D85603 (IR: Add convergence control
  operand bundle and intrinsics)


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D104504

Files:
  llvm/docs/ConvergentOperations.rst
  llvm/docs/LangRef.rst

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D104504.352902.patch
Type: text/x-patch
Size: 20949 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210618/a0d4bf62/attachment.bin>