Mark phi as producing a smi value if it is dominated by SmiChecks over its operands.

runtime/vm/intermediate_language.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_INTERMEDIATE_LANGUAGE_H_
 #define VM_INTERMEDIATE_LANGUAGE_H_
 
 #include "vm/allocation.h"
 #include "vm/ast.h"
 #include "vm/growable_array.h"
@@ skipping 44 matching lines @@
   static const char* KindToCString(Kind kind);
 };
 
 
 class Value : public ZoneAllocated {
  public:
   explicit Value(Definition* definition)
       : definition_(definition),
         next_use_(NULL),
         instruction_(NULL),
-        use_index_(-1) { }
+        use_index_(-1),
+        reaching_cid_(kIllegalCid) { }
 
   Definition* definition() const { return definition_; }
   void set_definition(Definition* definition) { definition_ = definition; }
 
   Value* next_use() const { return next_use_; }
   void set_next_use(Value* next) { next_use_ = next; }
 
   Instruction* instruction() const { return instruction_; }
   void set_instruction(Instruction* instruction) { instruction_ = instruction; }
 
@@ skipping 24 matching lines @@
   // Reminder: The type of the constant null is the bottom type, which is more
   // specific than any type.
   bool CompileTypeIsMoreSpecificThan(const AbstractType& dst_type) const;
 
   // Compile time constants, Bool, Smi and Nulls do not need to update
   // the store buffer.
   bool NeedsStoreBuffer() const;
 
   bool Equals(Value* other) const;
 
+  void set_reaching_cid(intptr_t cid) { reaching_cid_ = cid; }
+  intptr_t reaching_cid() const { return reaching_cid_; }
+
  private:
   Definition* definition_;
   Value* next_use_;
   Instruction* instruction_;
   intptr_t use_index_;
 
+  intptr_t reaching_cid_;
+
   DISALLOW_COPY_AND_ASSIGN(Value);
 };
 
 
 enum Representation {
   kTagged, kUnboxedDouble
 };
 
 
 // An embedded container with N elements of type T.  Used (with partial
@@ skipping 3333 matching lines @@
   ForwardInstructionIterator* current_iterator_;
 
  private:
   DISALLOW_COPY_AND_ASSIGN(FlowGraphVisitor);
 };
 
 
 }  // namespace dart
 
 #endif  // VM_INTERMEDIATE_LANGUAGE_H_