vegorov@google.com
2565ca222f
AllocationSinking pass discovers non-escaping allocations that have no input uses other than uses in the stores into its own fields. Every environment use of such allocation is replaced by a state snapshot (MaterializeObject instruction) that describes the state of each initialized field in the object. State snapshots are computed through an additional round of load-forwarding. Once snapshots are computed allocations are removed from the graph. MaterializeObject instructions are not compiled into native code but produce deoptimization instructions instead that describe how object should be materialized at deoptimization. Deoptimization instructions now follow the following format: [mat obj #1]...[mat obj #N][ret addr][... mat arguments ...][... real frames ...] - the prefix describes each object to materialize on deopt via kMaterializeObject instruction; - actual values that are needed for materialization are emited as a part of bottom-most stack frame. This is done to simplify implementation: they need to be discoverable by a GC during materialization phase. At the end of deoptimization they will be removed from the stack; - normal stack slots can refer to materialized objects via kMaterializedObjectRef instruction. Additionally this change contains fixes in load-forwarding that are needed to guarantee that all artificial LoadField instructions inserted during AllocationSinking are correctly replaced with actual values. Limitations of the current implementation: - can't eliminate allocations that flow into phis but otherwise don't actually escape; - can't sink allocations out of loops; - allocation with type arguments are not handled. R=regis@google.com, srdjan@google.com, zra@google.com Review URL: https://codereview.chromium.org//14935005 git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@22485 260f80e4-7a28-3924-810f-c04153c831b5
106 lines
4.6 KiB
C++
106 lines
4.6 KiB
C++
// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file
|
|
// for details. All rights reserved. Use of this source code is governed by a
|
|
// BSD-style license that can be found in the LICENSE file.
|
|
|
|
#ifndef VM_CODE_GENERATOR_H_
|
|
#define VM_CODE_GENERATOR_H_
|
|
|
|
#include "vm/globals.h"
|
|
#include "vm/runtime_entry.h"
|
|
|
|
namespace dart {
|
|
|
|
class Array;
|
|
template <typename T> class GrowableArray;
|
|
class ICData;
|
|
class Instance;
|
|
|
|
// Declaration of runtime entries called from stub or generated code.
|
|
DECLARE_RUNTIME_ENTRY(AllocateArray);
|
|
DECLARE_RUNTIME_ENTRY(AllocateClosure);
|
|
DECLARE_RUNTIME_ENTRY(AllocateImplicitInstanceClosure);
|
|
DECLARE_RUNTIME_ENTRY(AllocateImplicitStaticClosure);
|
|
DECLARE_RUNTIME_ENTRY(AllocateContext);
|
|
DECLARE_RUNTIME_ENTRY(AllocateObject);
|
|
DECLARE_RUNTIME_ENTRY(AllocateObjectWithBoundsCheck);
|
|
DECLARE_RUNTIME_ENTRY(ArgumentDefinitionTest);
|
|
DECLARE_RUNTIME_ENTRY(BreakpointStaticHandler);
|
|
DECLARE_RUNTIME_ENTRY(BreakpointReturnHandler);
|
|
DECLARE_RUNTIME_ENTRY(BreakpointDynamicHandler);
|
|
DECLARE_RUNTIME_ENTRY(CloneContext);
|
|
DECLARE_RUNTIME_ENTRY(Deoptimize);
|
|
DECLARE_RUNTIME_ENTRY(FixCallersTarget);
|
|
DECLARE_RUNTIME_ENTRY(InlineCacheMissHandlerOneArg);
|
|
DECLARE_RUNTIME_ENTRY(InlineCacheMissHandlerTwoArgs);
|
|
DECLARE_RUNTIME_ENTRY(InlineCacheMissHandlerThreeArgs);
|
|
DECLARE_RUNTIME_ENTRY(InstanceFunctionLookup);
|
|
DECLARE_RUNTIME_ENTRY(Instanceof);
|
|
DECLARE_RUNTIME_ENTRY(InstantiateTypeArguments);
|
|
DECLARE_RUNTIME_ENTRY(InvokeNoSuchMethodFunction);
|
|
DECLARE_RUNTIME_ENTRY(MegamorphicCacheMissHandler);
|
|
DECLARE_RUNTIME_ENTRY(OptimizeInvokedFunction);
|
|
DECLARE_RUNTIME_ENTRY(TraceICCall);
|
|
DECLARE_RUNTIME_ENTRY(PatchStaticCall);
|
|
DECLARE_RUNTIME_ENTRY(InvokeNonClosure);
|
|
DECLARE_RUNTIME_ENTRY(ReThrow);
|
|
DECLARE_RUNTIME_ENTRY(StackOverflow);
|
|
DECLARE_RUNTIME_ENTRY(Throw);
|
|
DECLARE_RUNTIME_ENTRY(TraceFunctionEntry);
|
|
DECLARE_RUNTIME_ENTRY(TraceFunctionExit);
|
|
DECLARE_RUNTIME_ENTRY(DeoptimizeMaterialize);
|
|
DECLARE_RUNTIME_ENTRY(UpdateICDataTwoArgs);
|
|
DECLARE_RUNTIME_ENTRY(UpdateFieldCid);
|
|
|
|
|
|
#define DEOPT_REASONS(V) \
|
|
V(Unknown) \
|
|
V(InstanceGetter) \
|
|
V(PolymorphicInstanceCallTestFail) \
|
|
V(InstanceCallNoICData) \
|
|
V(IntegerToDouble) \
|
|
V(BinarySmiOp) \
|
|
V(BinaryMintOp) \
|
|
V(ShiftMintOp) \
|
|
V(BinaryDoubleOp) \
|
|
V(InstanceSetter) \
|
|
V(Equality) \
|
|
V(RelationalOp) \
|
|
V(EqualityClassCheck) \
|
|
V(NoTypeFeedback) \
|
|
V(UnaryOp) \
|
|
V(UnboxInteger) \
|
|
V(CheckClass) \
|
|
V(CheckSmi) \
|
|
V(CheckArrayBound) \
|
|
V(AtCall) \
|
|
V(DoubleToSmi) \
|
|
V(Int32Load) \
|
|
V(Uint32Load) \
|
|
V(GuardField) \
|
|
V(NumReasons) \
|
|
|
|
enum DeoptReasonId {
|
|
#define DEFINE_ENUM_LIST(name) kDeopt##name,
|
|
DEOPT_REASONS(DEFINE_ENUM_LIST)
|
|
#undef DEFINE_ENUM_LIST
|
|
};
|
|
|
|
|
|
const char* DeoptReasonToText(intptr_t deopt_id);
|
|
|
|
|
|
RawCode* ResolveCompileInstanceCallTarget(
|
|
const Instance& receiver,
|
|
const ICData& ic_data,
|
|
const Array& arguments_descriptor);
|
|
|
|
void DeoptimizeAt(const Code& optimized_code, uword pc);
|
|
void DeoptimizeAll();
|
|
void DeoptimizeIfOwner(const GrowableArray<intptr_t>& classes);
|
|
|
|
double DartModulo(double a, double b);
|
|
|
|
} // namespace dart
|
|
|
|
#endif // VM_CODE_GENERATOR_H_
|