VM: Fix a couple of issues in the AOT optimizer, add fast path smi multiply.

runtime/vm/intermediate_language_x64.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/globals.h"  // Needed here to get TARGET_ARCH_X64.
 #if defined(TARGET_ARCH_X64)
 
 #include "vm/intermediate_language.h"
 
 #include "vm/compiler.h"
@@ skipping 2811 matching lines @@
   summary->set_in(0, Location::RequiresRegister());
   summary->set_in(1, Location::RequiresRegister());
   switch (op_kind()) {
     case Token::kEQ:
     case Token::kLT:
     case Token::kLTE:
     case Token::kGT:
     case Token::kGTE:
     case Token::kADD:
     case Token::kSUB:
+    case Token::kMUL:
       summary->set_out(0, Location::RequiresRegister());
       break;
     case Token::kBIT_OR:
     case Token::kBIT_AND:
     case Token::kBIT_XOR:
       summary->set_out(0, Location::SameAsFirstInput());
       break;
     default:
       UNIMPLEMENTED();
   }
@@ skipping 17 matching lines @@
     case Token::kADD:
       __ movq(result, left);
       __ addq(result, right);
       __ j(OVERFLOW, slow_path->entry_label());
       break;
     case Token::kSUB:
       __ movq(result, left);
       __ subq(result, right);
       __ j(OVERFLOW, slow_path->entry_label());
       break;
+    case Token::kMUL:
+      __ movq(result, left);
+      __ SmiUntag(result);
+      __ imulq(result, right);
+      __ j(OVERFLOW, slow_path->entry_label());
+      break;
     case Token::kBIT_OR:
       ASSERT(left == result);
       __ orq(result, right);
       break;
     case Token::kBIT_AND:
       ASSERT(left == result);
       __ andq(result, right);
       break;
     case Token::kBIT_XOR:
       ASSERT(left == result);
@@ skipping 3628 matching lines @@
   __ Drop(1);
   __ popq(result);
 }
 
 
 }  // namespace dart
 
 #undef __
 
 #endif  // defined TARGET_ARCH_X64