[PATCH] D85603: IR: Add convergence control operand bundle and intrinsics

[Nicolai Hähnle via Phabricator via llvm-commits]

nhaehnle updated this revision to Diff 286816.
nhaehnle added a comment.

- tighten the static rules about cycles: there was a gap in the exact phrasing if two loop heart intrinsics in a cycle use _different_ convergence tokens
- add verifier checks and corresponding tests for the static rules


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D85603

Files:
  llvm/docs/ConvergentOperations.rst
  llvm/docs/LangRef.rst
  llvm/docs/Reference.rst
  llvm/include/llvm/IR/Intrinsics.td
  llvm/include/llvm/IR/LLVMContext.h
  llvm/lib/IR/LLVMContext.cpp
  llvm/lib/IR/Verifier.cpp
  llvm/test/Bitcode/operand-bundles-bc-analyzer.ll
  llvm/test/Verifier/convergencectrl-invalid.ll
  llvm/test/Verifier/convergencectrl-valid.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D85603.286816.patch
Type: text/x-patch
Size: 73019 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200820/ab2fa4f6/attachment.bin>