Introduce deoptimization operand bundles
authorSanjoy Das <sanjoy@playingwithpointers.com>
Wed, 11 Nov 2015 21:38:02 +0000 (21:38 +0000)
committerSanjoy Das <sanjoy@playingwithpointers.com>
Wed, 11 Nov 2015 21:38:02 +0000 (21:38 +0000)
Summary:
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.

Reviewers: reames, majnemer, chandlerc, dexonsmith

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D14551

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@252806 91177308-0d34-0410-b5e6-96231b3b80d8


No differences found