Introduce @llvm.experimental.deoptimize
authorSanjoy Das <sanjoy@playingwithpointers.com>
Fri, 11 Mar 2016 19:08:34 +0000 (19:08 +0000)
committerSanjoy Das <sanjoy@playingwithpointers.com>
Fri, 11 Mar 2016 19:08:34 +0000 (19:08 +0000)
commitb51325dbdb10f0b4ab2b9c5ec4a979dffc246794
tree5ee98ad08e88068ab4ad4151d67d74bb2ddea6ea
parentebce18b6fc00b21826d1077399976d2447798ba7
Introduce @llvm.experimental.deoptimize

Summary:
This intrinsic, together with deoptimization operand bundles, allow
frontends to express transfer of control and frame-local state from
one (typically more specialized, hence faster) version of a function
into another (typically more generic, hence slower) version.

In languages with a fully integrated managed runtime this intrinsic can
be used to implement "uncommon trap" like functionality.  In unmanaged
languages like C and C++, this intrinsic can be used to represent the
slow paths of specialized functions.

Note: this change does not address how `@llvm.experimental_deoptimize`
is lowered.  That will be done in a later change.

Reviewers: chandlerc, rnk, atrick, reames

Subscribers: llvm-commits, kmod, mjacob, maksfb, mcrosier, JosephTremoulet

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

llvm-svn: 263281
llvm/docs/LangRef.rst
llvm/include/llvm/ADT/STLExtras.h
llvm/include/llvm/IR/BasicBlock.h
llvm/include/llvm/IR/CallSite.h
llvm/include/llvm/IR/Intrinsics.td
llvm/lib/IR/BasicBlock.cpp
llvm/lib/IR/Verifier.cpp
llvm/lib/Transforms/Utils/InlineFunction.cpp
llvm/test/Transforms/Inline/deoptimize-intrinsic.ll [new file with mode: 0644]
llvm/test/Verifier/deoptimize-intrinsic.ll [new file with mode: 0644]