Runtime support for evaluation of static field initializer expressions

runtime/vm/object.cc

 // 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.
 
 #include "vm/object.h"
 
 #include "include/dart_api.h"
 #include "platform/assert.h"
 #include "vm/assembler.h"
 #include "vm/cpu.h"
@@ skipping 2763 matching lines @@
   orig_list = fields();
   orig_len = orig_list.Length();
   patch_list = patch.fields();
   patch_len = patch_list.Length();
 
   Field& field = Field::Handle();
   Field& orig_field = Field::Handle();
   new_list = Array::New(patch_len + orig_len);
   for (intptr_t i = 0; i < patch_len; i++) {
     field ^= patch_list.At(i);
-    field.set_owner(*this);
+    field.set_owner(patch_class);
     member_name = field.name();
     // TODO(iposva): Verify non-public fields only.
 
     // Verify no duplicate additions.
     orig_field ^= LookupField(member_name);
     if (!orig_field.IsNull()) {
       *error = LanguageError::NewFormatted(
           *error,  // No previous error.
           Script::Handle(patch.script()),
           field.token_pos(),
@@ skipping 2405 matching lines @@
 
 
 void Function::set_saved_args_desc(const Array& value) const {
   ASSERT(kind() == RawFunction::kNoSuchMethodDispatcher ||
          kind() == RawFunction::kInvokeFieldDispatcher);
   ASSERT(raw_ptr()->data_ == Object::null());
   set_data(value);
 }
 
 
-RawField* Function::saved_static_field() const {
-  ASSERT(kind() == RawFunction::kStaticInitializer);
-  const Object& obj = Object::Handle(raw_ptr()->data_);
-  ASSERT(obj.IsField());
-  return Field::Cast(obj).raw();
-}
-
-
-void Function::set_saved_static_field(const Field& value) const {
-  ASSERT(kind() == RawFunction::kStaticInitializer);
-  ASSERT(raw_ptr()->data_ == Object::null());
-  set_data(value);
-}
-
-
 RawFunction* Function::parent_function() const {
   if (IsClosureFunction()) {
     const Object& obj = Object::Handle(raw_ptr()->data_);
     ASSERT(!obj.IsNull());
     return ClosureData::Cast(obj).parent_function();
   }
   return Function::null();
 }
 
 
 void Function::set_parent_function(const Function& value) const {
   if (IsClosureFunction()) {
     const Object& obj = Object::Handle(raw_ptr()->data_);
     ASSERT(!obj.IsNull());
     ClosureData::Cast(obj).set_parent_function(value);
     return;
   }
   UNREACHABLE();
 }
 
 
 RawFunction* Function::implicit_closure_function() const {
   if (IsClosureFunction() ||
       IsSignatureFunction() ||
-      IsStaticInitializerFunction() ||
       IsFactory()) {
     return Function::null();
   }
   const Object& obj = Object::Handle(raw_ptr()->data_);
   ASSERT(obj.IsNull() || obj.IsScript() || obj.IsFunction());
   return (obj.IsNull() || obj.IsScript()) ? Function::null()
                                           : Function::Cast(obj).raw();
 }
 
 
@@ skipping 73 matching lines @@
       break;
     case RawFunction::kImplicitGetter:
       return "kImplicitGetter";
       break;
     case RawFunction::kImplicitSetter:
       return "kImplicitSetter";
       break;
     case RawFunction::kImplicitStaticFinalGetter:
       return "kImplicitStaticFinalGetter";
       break;
-    case RawFunction::kStaticInitializer:
-      return "kStaticInitializer";
-      break;
     case RawFunction::kMethodExtractor:
       return "kMethodExtractor";
       break;
     case RawFunction::kNoSuchMethodDispatcher:
       return "kNoSuchMethodDispatcher";
       break;
     case RawFunction::kInvokeFieldDispatcher:
       return "kInvokeFieldDispatcher";
       break;
     default:
@@ skipping 1325 matching lines @@
                 ToFullyQualifiedCString(),
                 fp,
                 SourceFingerprint());
       return false;
     }
   }
   return true;
 }
 
 
-RawFunction* Function::NewStaticInitializer(const Field& field) {
-  ASSERT(field.is_static());
-  const String& field_name = String::Handle(field.name());
-  const String& init_name =
-      String::Handle(Symbols::New(String::Handle(
-          String::Concat(Symbols::InitPrefix(), field_name))));
-  const Function& init_function = Function::ZoneHandle(
-      Function::New(init_name,
-                    RawFunction::kStaticInitializer,
-                    true,  // static
-                    false,  // !const
-                    false,  // !abstract
-                    false,  // !external
-                    false,  // !native
-                    Class::Handle(field.owner()),
-                    field.token_pos()));
-  init_function.set_result_type(AbstractType::Handle(field.type()));
-  // Static initializer functions are generated by the VM and are therfore
-  // hidden from the user. Since they are only executed once, we avoid
-  // optimizing and inlining them. After the field is initialized, the
-  // optimizing compiler can eliminate the call to the static initializer
-  // via constant folding.
-  init_function.set_is_visible(false);
-  init_function.SetIsOptimizable(false);
-  init_function.set_is_inlinable(false);
-  init_function.set_saved_static_field(field);
-  return init_function.raw();
-}
-
-
 const char* Function::ToCString() const {
   const char* static_str = is_static() ? " static" : "";
   const char* abstract_str = is_abstract() ? " abstract" : "";
   const char* kind_str = NULL;
   const char* const_str = is_const() ? " const" : "";
   switch (kind()) {
     case RawFunction::kRegularFunction:
     case RawFunction::kClosureFunction:
     case RawFunction::kGetterFunction:
     case RawFunction::kSetterFunction:
       kind_str = "";
       break;
     case RawFunction::kSignatureFunction:
       kind_str = " signature";
       break;
     case RawFunction::kConstructor:
       kind_str = is_static() ? " factory" : " constructor";
       break;
     case RawFunction::kImplicitGetter:
       kind_str = " getter";
       break;
     case RawFunction::kImplicitSetter:
       kind_str = " setter";
       break;
-    case RawFunction::kStaticInitializer:
-      kind_str = " static-initializer";
-      break;
     case RawFunction::kImplicitStaticFinalGetter:
       kind_str = " static-final-getter";
       break;
     case RawFunction::kMethodExtractor:
       kind_str = " method-extractor";
       break;
     case RawFunction::kNoSuchMethodDispatcher:
       kind_str = " no-such-method-dispatcher";
       break;
     case RawFunction::kInvokeFieldDispatcher:
@@ skipping 515 matching lines @@
 }
 
 
 bool Field::IsUninitialized() const {
   const Instance& value = Instance::Handle(raw_ptr()->value_);
   ASSERT(value.raw() != Object::transition_sentinel().raw());
   return value.raw() == Object::sentinel().raw();
 }
 
 
+void Field::EvaluateInitializer() const {
+  ASSERT(is_static());
+  if (value() == Object::sentinel().raw()) {
+    set_value(Object::transition_sentinel());
+    Object& value = Object::Handle(Compiler::EvaluateStaticInitializer(*this));
+    if (value.IsError()) {
+      set_value(Object::null_instance());
+      Exceptions::PropagateError(Error::Cast(value));
+      UNREACHABLE();
+    }
+    ASSERT(value.IsNull() || value.IsInstance());
+    set_value(value.IsNull() ? Instance::null_instance()
+                             : Instance::Cast(value));
+    return;
+  } else if (value() == Object::transition_sentinel().raw()) {
+    set_value(Object::null_instance());
+    const Array& ctor_args = Array::Handle(Array::New(1));
+    const String& field_name = String::Handle(name());
+    ctor_args.SetAt(0, field_name);
+    Exceptions::ThrowByType(Exceptions::kCyclicInitializationError, ctor_args);
+    UNREACHABLE();
+    return;
+  }
+  UNREACHABLE();
+}
+
+
 static intptr_t GetListLength(const Object& value) {
   if (value.IsTypedData()) {
     const TypedData& list = TypedData::Cast(value);
     return list.Length();
   } else if (value.IsArray()) {
     const Array& list = Array::Cast(value);
     return list.Length();
   } else if (value.IsGrowableObjectArray()) {
     // List length is variable.
     return Field::kNoFixedLength;
@@ skipping 12190 matching lines @@
   return tag_label.ToCString();
 }
 
 
 void UserTag::PrintJSONImpl(JSONStream* stream, bool ref) const {
   Instance::PrintJSONImpl(stream, ref);
 }
 
 
 }  // namespace dart