Step toward eliminating increment nodes, starting with increment local. Fix a bug in evaluating sid…

runtime/vm/opt_code_generator_ia32.cc

 // Copyright (c) 2011, 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/globals.h"  // Needed here to get TARGET_ARCH_IA32.
 #if defined(TARGET_ARCH_IA32)
 
 #include "vm/opt_code_generator.h"
 
 #include "vm/assembler_macros.h"
@@ skipping 1337 matching lines @@
                                node->left(),
                                node->id(),
                                node->token_index(),
                                number_of_arguments,
                                no_optional_argument_names);
   HandleResult(node, EAX);
   return;
 }
 
 
-// Optimized for Smi only.
-void OptimizingCodeGenerator::VisitIncrOpLocalNode(IncrOpLocalNode* node) {
-  if (FLAG_enable_type_checks) {
-    const AbstractType& local_type = node->local().type();
-    if (!local_type.IsNumberInterface() && !local_type.IsIntInterface()) {
-      // Local does not accept a Smi (only Smi's interfaces are public).
-      classes_for_locals_->SetLocalType(node->local(), Class::ZoneHandle());
-      CodeGenerator::VisitIncrOpLocalNode(node);
-      return;
-    }
-  }
-  const ICData& ic_data = node->ICDataAtId(node->id());
-  if (ic_data.NumberOfChecks() == 0) {
-    DeoptimizationBlob* deopt_blob =
-        AddDeoptimizationBlob(node, kDeoptNoTypeFeedback);
-    __ jmp(deopt_blob->label());
-    return;
-  }
-  const char* kOptMessage = "Inlines IncrOpLocal";
-  ASSERT((node->kind() == Token::kINCR) || (node->kind() == Token::kDECR));
-  if (!AtIdNodeHasClassAt(node, node->id(), smi_class_, 0)) {
-    classes_for_locals_->SetLocalType(node->local(), Class::ZoneHandle());
-    TraceNotOpt(node, kOptMessage);
-    CodeGenerator::VisitIncrOpLocalNode(node);
-    return;
-  }
-  TraceOpt(node, kOptMessage);
-
-  GenerateLoadVariable(EAX, node->local());
-  if (!node->prefix() && IsResultNeeded(node)) {
-    // Preserve as result.
-    __ movl(ECX, EAX);
-  }
-  const int int_value = (node->kind() == Token::kINCR) ? 1 : -1;
-  const Immediate smi_value =
-      Immediate(reinterpret_cast<int32_t>(Smi::New(int_value)));
-  DeoptimizationBlob* deopt_blob = AddDeoptimizationBlob(node, kDeoptIncrLocal);
-  __ testl(EAX, Immediate(kSmiTagMask));
-  __ j(NOT_ZERO, deopt_blob->label());
-  __ addl(EAX, smi_value);
-  __ j(OVERFLOW, deopt_blob->label());
-  GenerateStoreVariable(node->local(), EAX, EDX);
-  if (IsResultNeeded(node)) {
-    if (node->info() != NULL) {
-      node->info()->set_is_class(&smi_class_);
-    }
-    if (node->prefix()) {
-      __ pushl(EAX);
-    } else {
-      __ pushl(ECX);
-    }
-  }
-  classes_for_locals_->SetLocalType(node->local(), smi_class_);
-}
-
-
 // Debugging helper method, used in assert only.
 static bool HaveSameClassesInICData(const ICData& a, const ICData& b) {
   if (a.NumberOfChecks() != b.NumberOfChecks()) {
     return false;
   }
   if (a.NumberOfChecks() == 0) {
     return true;
   }
   if (a.num_args_tested() != b.num_args_tested()) {
     return false;
@@ skipping 1667 matching lines @@
     }
   }
   // TODO(srdjan): Implement unary kSUB (negate) Mint.
   CodeGenerator::VisitUnaryOpNode(node);
 }
 
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_IA32