| Index: pkg/compiler/lib/src/ssa/ssa.dart
|
| diff --git a/pkg/compiler/lib/src/ssa/ssa.dart b/pkg/compiler/lib/src/ssa/ssa.dart
|
| index 947ea6ef29c496b9aea228e38f2e4384c925c49b..bf8ffa55bf2416e643c7d7e1e842f8188d0ca7a1 100644
|
| --- a/pkg/compiler/lib/src/ssa/ssa.dart
|
| +++ b/pkg/compiler/lib/src/ssa/ssa.dart
|
| @@ -4,13 +4,16 @@
|
|
|
| library ssa;
|
|
|
| -import '../common/codegen.dart' show CodegenWorkItem;
|
| +import '../common/codegen.dart' show CodegenWorkItem, CodegenRegistry;
|
| import '../common/tasks.dart' show CompilerTask, Measurer;
|
| +import '../constants/values.dart';
|
| import '../elements/elements.dart' show MethodElement;
|
| -import '../elements/entities.dart' show MemberEntity;
|
| +import '../elements/entities.dart' show FieldEntity, MemberEntity;
|
| import '../io/source_information.dart';
|
| import '../js/js.dart' as js;
|
| import '../js_backend/backend.dart' show JavaScriptBackend, FunctionCompiler;
|
| +import '../universe/call_structure.dart';
|
| +import '../universe/use.dart';
|
| import '../world.dart' show ClosedWorld;
|
|
|
| import 'codegen.dart';
|
| @@ -80,3 +83,44 @@ class SsaBuilderTask extends CompilerTask {
|
| return _builder.build(work, closedWorld);
|
| }
|
| }
|
| +
|
| +abstract class SsaBuilderFieldMixin {
|
| + ConstantValue getFieldInitialConstantValue(FieldEntity field);
|
| +
|
| + /// Handle field initializer of [element]. Returns `true` if no code
|
| + /// is needed for the field.
|
| + ///
|
| + /// If [element] is a field with a constant initializer, the value is
|
| + /// registered with the world impact. Otherwise the cyclic-throw helper is
|
| + /// registered for the lazy value computation.
|
| + ///
|
| + /// If the field is constant, no code is needed for the field and the method
|
| + /// returns `true`.
|
| + bool handleConstantField(
|
| + MemberEntity element, CodegenRegistry registry, ClosedWorld closedWorld) {
|
| + if (element.isField) {
|
| + ConstantValue initialValue = getFieldInitialConstantValue(element);
|
| + if (initialValue != null) {
|
| + registry.worldImpact
|
| + .registerConstantUse(new ConstantUse.init(initialValue));
|
| + // We don't need to generate code for static or top-level
|
| + // variables. For instance variables, we may need to generate
|
| + // the checked setter.
|
| + if (element.isStatic || element.isTopLevel) {
|
| + /// No code is created for this field: All references inline the
|
| + /// constant value.
|
| + return true;
|
| + }
|
| + } else {
|
| + // If the constant-handler was not able to produce a result we have to
|
| + // go through the builder (below) to generate the lazy initializer for
|
| + // the static variable.
|
| + // We also need to register the use of the cyclic-error helper.
|
| + registry.worldImpact.registerStaticUse(new StaticUse.staticInvoke(
|
| + closedWorld.commonElements.cyclicThrowHelper,
|
| + CallStructure.ONE_ARG));
|
| + }
|
| + }
|
| + return false;
|
| + }
|
| +}
|
|
|