A load static of an initialized static final field can be converted to its value, as long as it is …

runtime/vm/object.h

 // 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_OBJECT_H_
 #define VM_OBJECT_H_
 
 #include "include/dart_api.h"
 #include "platform/assert.h"
 #include "platform/utils.h"
@@ skipping 316 matching lines @@
   }
   static const Bool& bool_false() {
     ASSERT(bool_false_ != NULL);
     return *bool_false_;
   }
   static const LanguageError& snapshot_writer_error() {
     ASSERT(snapshot_writer_error_ != NULL);
     return *snapshot_writer_error_;
   }
 
+  // Compiler's constant propagation constants.
+  static const Instance& unknown_constant() {
+    ASSERT(unknown_constant_ != NULL);
+    return *unknown_constant_;
+  }
+  static const Instance& non_constant() {
+    ASSERT(non_constant_ != NULL);
+    return *non_constant_;
+  }

[siva, 2013/05/10 20:13:35]

Can you move this new block to just below transition_sentinel() so that they are
in the same order as the declaration below.

[srdjan, 2013/05/10 21:03:04]

Done.

+
   static RawClass* class_class() { return class_class_; }
   static RawClass* null_class() { return null_class_; }
   static RawClass* dynamic_class() { return dynamic_class_; }
   static RawClass* void_class() { return void_class_; }
   static RawClass* unresolved_class_class() { return unresolved_class_class_; }
   static RawClass* type_arguments_class() { return type_arguments_class_; }
   static RawClass* instantiated_type_arguments_class() {
       return instantiated_type_arguments_class_;
   }
   static RawClass* patch_class_class() { return patch_class_class_; }
@@ skipping 169 matching lines @@
   static RawClass* api_error_class_;  // Class of ApiError.
   static RawClass* language_error_class_;  // Class of LanguageError.
   static RawClass* unhandled_exception_class_;  // Class of UnhandledException.
   static RawClass* unwind_error_class_;  // Class of UnwindError.
 
   // The static values below are read-only handle pointers for singleton
   // objects that are shared between the different isolates.
   static Array* empty_array_;
   static Instance* sentinel_;
   static Instance* transition_sentinel_;
+  static Instance* unknown_constant_;
+  static Instance* non_constant_;
   static Bool* bool_true_;
   static Bool* bool_false_;
   static LanguageError* snapshot_writer_error_;
 
   friend void ClassTable::Register(const Class& cls);
   friend void RawObject::Validate(Isolate* isolate) const;
   friend class Closure;
   friend class SnapshotReader;
   friend class OneByteString;
   friend class TwoByteString;
@@ skipping 5202 matching lines @@
 
 
 RawObject* MegamorphicCache::GetTargetFunction(const Array& array,
                                                intptr_t index) {
   return array.At((index * kEntryLength) + kTargetFunctionIndex);
 }
 
 }  // namespace dart
 
 #endif  // VM_OBJECT_H_