[PATCH] D68994: [RFC] Redefine `convergent` in terms of dynamic instances

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

nhaehnle updated this revision to Diff 227086.
nhaehnle added a comment.
Herald added a subscriber: jfb.

- add some more expository text and examples
- handle the case of speculatable+convergent


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D68994

Files:
  llvm/docs/DynamicInstances.rst
  llvm/docs/LangRef.rst
  llvm/docs/Reference.rst
  llvm/include/llvm/IR/Intrinsics.td
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/lib/Transforms/Scalar/LoopUnrollPass.cpp
  llvm/lib/Transforms/Utils/SimplifyCFG.cpp
  llvm/test/Transforms/JumpThreading/basic.ll
  llvm/test/Transforms/SimplifyCFG/attr-convergent.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D68994.227086.patch
Type: text/x-patch
Size: 28784 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191030/aaf16a28/attachment-0001.bin>