[PATCH] D14551: Introduce deoptimization operand bundles

[Sanjoy Das via llvm-commits]

sanjoy created this revision.
sanjoy added reviewers: reames, majnemer, chandlerc, dexonsmith.
sanjoy added a subscriber: llvm-commits.

This change introduces the notion of "deoptimization" operand bundles.
LLVM can recognize and optimize these in more precise ways than it can a
generic "unknown" operand bundles.

The current form of this special recognition / optimization is an enum
entry in LLVMContext, a LangRef blurb and a verifier rule.  Over time we
will teach LLVM to do more aggressive optimization around deoptimization
operand bundles, exploiting known facts about kinds of state
deoptimization operand bundles are allowed to track.

http://reviews.llvm.org/D14551

Files:
  docs/LangRef.rst
  include/llvm/IR/LLVMContext.h
  lib/IR/LLVMContextImpl.cpp
  lib/IR/Verifier.cpp
  test/Verifier/operand-bundles.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D14551.39847.patch
Type: text/x-patch
Size: 3694 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151110/899d68e1/attachment.bin>