Emit deoptimization information at static calls (preparation for full deoptimization). …

Emit deoptimization information at stati calls (preparation for full deoptimization). Currently we use Deoptimization stubs to maintain the deoptimization info, do not emit stubs though for static calls.
Any instruction  that calls out of Dart code and into other Dart code or C++ may deoptimize.
Committed: https://code.google.com/p/dart/source/detail?r=11467

[srdjan, 2012-08-28 06:51:51]

Note that this is only a part of the necessary changes to be able to deoptimize
all frames at any runtime (non-leaf) or native call. The rest will follow as I
add the deoptimization trampoline and patch the code.

[Florian Schneider, 2012-08-28 16:00:57]

Lgtm as a first step. 

I have a question about the deoptimization environment associated with the
calls: How do we find the right environment for lazy deoptimization? 

Right now, the environment is the state _before_ the instruction. But when
deoptimizing at a call, we go to the place _after_ the call.

https://chromiumcodereview.appspot.com/10880079/diff/8003/runtime/vm/flow_gra...
File runtime/vm/flow_graph_compiler.cc (right):

https://chromiumcodereview.appspot.com/10880079/diff/8003/runtime/vm/flow_gra...
runtime/vm/flow_graph_compiler.cc:242: AddDeoptStub(deopt_id, -1, kDeoptAtCall);
Maybe kNoTryIndex instead of -1.

Can you also eliminate passing the try_index in other call sites of
AddDeoptStub?

[srdjan, 2012-08-28 17:08:25]

Thanks for the review. In a next CL I will prepare the environment to exclude
the arguments.

https://chromiumcodereview.appspot.com/10880079/diff/8003/runtime/vm/flow_gra...
File runtime/vm/flow_graph_compiler.cc (right):

https://chromiumcodereview.appspot.com/10880079/diff/8003/runtime/vm/flow_gra...
runtime/vm/flow_graph_compiler.cc:242: AddDeoptStub(deopt_id, -1, kDeoptAtCall);
On 2012/08/28 16:00:57, Florian Schneider wrote:
> Maybe kNoTryIndex instead of -1.
> 
> Can you also eliminate passing the try_index in other call sites of
> AddDeoptStub?

Using kNoTryIndex, will eliminate try_index from AddDeoptStub in a next CL.