New bigint implementation in the vm.

runtime/vm/flow_graph_optimizer.cc

 // Copyright (c) 2013, 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/flow_graph_optimizer.h"
 
 #include "vm/bit_vector.h"
 #include "vm/cha.h"
 #include "vm/cpu.h"
 #include "vm/dart_entry.h"
@@ skipping 8232 matching lines @@
 }
 
 
 void ConstantPropagator::HandleBinaryOp(Definition* instr,
                                         Token::Kind op_kind,
                                         const Value& left_val,
                                         const Value& right_val) {
   const Object& left = left_val.definition()->constant_value();
   const Object& right = right_val.definition()->constant_value();
   if (IsNonConstant(left) || IsNonConstant(right)) {
-    // TODO(srdjan): Add arithemtic simplifications, e.g, add with 0.
+    // TODO(srdjan): Add arithmetic simplifications, e.g, add with 0.
     SetValue(instr, non_constant_);
   } else if (IsConstant(left) && IsConstant(right)) {
     if (left.IsInteger() && right.IsInteger()) {
       const Integer& left_int = Integer::Cast(left);
       const Integer& right_int = Integer::Cast(right);
       switch (op_kind) {
         case Token::kTRUNCDIV:
         case Token::kMOD:
           // Check right value for zero.
           if (right_int.AsInt64Value() == 0) {
             SetValue(instr, non_constant_);
             break;
           }
           // Fall through.
         case Token::kADD:
         case Token::kSUB:
         case Token::kMUL: {
           Instance& result = Integer::ZoneHandle(I,
               left_int.ArithmeticOp(op_kind, right_int));
+          if (result.IsNull()) {
+            // TODO(regis): A bigint operation is required. Invoke dart?
+            // Punt for now.
+            SetValue(instr, non_constant_);
+            break;
+          }
           result = result.CheckAndCanonicalize(NULL);
           ASSERT(!result.IsNull());
           SetValue(instr, result);
           break;
         }
         case Token::kSHL:
         case Token::kSHR:
           if (left.IsSmi() && right.IsSmi()) {
             Instance& result = Integer::ZoneHandle(I,
                 Smi::Cast(left_int).ShiftOp(op_kind, Smi::Cast(right_int)));
+            if (result.IsNull()) {
+              // TODO(regis): A bigint operation is required. Invoke dart?
+              // Punt for now.
+              SetValue(instr, non_constant_);
+              break;
+            }
             result = result.CheckAndCanonicalize(NULL);
             ASSERT(!result.IsNull());
             SetValue(instr, result);
           } else {
             SetValue(instr, non_constant_);
           }
           break;
         case Token::kBIT_AND:
         case Token::kBIT_OR:
         case Token::kBIT_XOR: {
@@ skipping 1747 matching lines @@
 
   // Insert materializations at environment uses.
   for (intptr_t i = 0; i < exits_collector_.exits().length(); i++) {
     CreateMaterializationAt(
         exits_collector_.exits()[i], alloc, alloc->cls(), *slots);
   }
 }
 
 
 }  // namespace dart