Implement SmiToInt and DoubleToInt.

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 21 matching lines @@
 
 #define RECOGNIZED_LIST(V)                                                     \
   V(_ObjectArray, get:length, ObjectArrayLength)                               \
   V(_ImmutableArray, get:length, ImmutableArrayLength)                         \
   V(_GrowableObjectArray, get:length, GrowableArrayLength)                     \
   V(_GrowableObjectArray, get:capacity, GrowableArrayCapacity)                 \
   V(_StringBase, get:length, StringBaseLength)                                 \
   V(_StringBase, isEmpty, StringBaseIsEmpty)                                   \
   V(_IntegerImplementation, toDouble, IntegerToDouble)                         \
   V(_Double, toDouble, DoubleToDouble)                                         \
+  V(_Double, toInt, DoubleToInteger)                                           \
+  V(_IntegerImplementation, toInt, IntegerToInteger)                           \
   V(::, sqrt, MathSqrt)                                                        \
 
 // Class that recognizes the name and owner of a function and returns the
 // corresponding enum. See RECOGNIZED_LIST above for list of recognizable
 // functions.
 class MethodRecognizer : public AllStatic {
  public:
   enum Kind {
     kUnknown,
 #define DEFINE_ENUM_LIST(class_name, function_name, enum_name) k##enum_name,
@@ skipping 189 matching lines @@
   M(ExtractConstructorInstantiator)                                            \
   M(AllocateContext)                                                           \
   M(ChainContext)                                                              \
   M(CloneContext)                                                              \
   M(CatchEntry)                                                                \
   M(BinarySmiOp)                                                               \
   M(UnarySmiOp)                                                                \
   M(CheckStackOverflow)                                                        \
   M(DoubleToDouble)                                                            \
   M(SmiToDouble)                                                               \
+  M(IntegerToInteger)                                                          \
+  M(DoubleToInteger)                                                           \
   M(CheckClass)                                                                \
   M(CheckSmi)                                                                  \
   M(Constant)                                                                  \
   M(CheckEitherNonSmi)                                                         \
   M(BinaryDoubleOp)                                                            \
   M(MathSqrt)                                                                  \
   M(UnboxDouble)                                                               \
   M(BoxDouble)                                                                 \
   M(UnboxInteger)                                                              \
   M(BoxInteger)                                                                \
@@ skipping 3600 matching lines @@
 
   virtual intptr_t ResultCid() const { return kDoubleCid; }
 
  private:
   InstanceCallInstr* instance_call_;
 
   DISALLOW_COPY_AND_ASSIGN(SmiToDoubleInstr);
 };
 
 
+class IntegerToIntegerInstr : public TemplateDefinition<1> {
+ public:
+  IntegerToIntegerInstr(Value* value,
+                        InstanceCallInstr* instance_call,
+                        intptr_t result_cid)
+      : instance_call_(instance_call), result_cid_(result_cid) {
+    ASSERT(value != NULL);
+    inputs_[0] = value;
+  }
+
+  Value* value() const { return inputs_[0]; }
+
+  InstanceCallInstr* instance_call() const { return instance_call_; }
+
+  DECLARE_INSTRUCTION(IntegerToInteger)
+  virtual RawAbstractType* CompileType() const;
+
+  virtual bool CanDeoptimize() const { return false; }
+
+  virtual bool HasSideEffect() const { return false; }
+
+  virtual intptr_t ResultCid() const { return result_cid_; }
+
+ private:
+  InstanceCallInstr* instance_call_;
+  const intptr_t result_cid_;
+
+  DISALLOW_COPY_AND_ASSIGN(IntegerToIntegerInstr);
+};
+
+
+class DoubleToIntegerInstr : public TemplateDefinition<0> {
+ public:
+  explicit DoubleToIntegerInstr(InstanceCallInstr* instance_call)
+      : instance_call_(instance_call) { }
+
+  InstanceCallInstr* instance_call() const { return instance_call_; }
+
+  DECLARE_INSTRUCTION(DoubleToInteger)
+  virtual RawAbstractType* CompileType() const;
+
+  virtual intptr_t ArgumentCount() const { return 1; }
+
+  virtual bool CanDeoptimize() const { return true; }
+
+  virtual bool HasSideEffect() const { return false; }
+
+  // Result could be any of the int types.
+  virtual intptr_t ResultCid() const { return kDynamicCid; }
+
+ private:
+  InstanceCallInstr* instance_call_;
+
+  DISALLOW_COPY_AND_ASSIGN(DoubleToIntegerInstr);
+};
+
+
 class CheckClassInstr : public TemplateInstruction<1> {
  public:
   CheckClassInstr(Value* value,
                   intptr_t deopt_id,
                   const ICData& unary_checks)
       : unary_checks_(unary_checks) {
     ASSERT(value != NULL);
     inputs_[0] = value;
     deopt_id_ = deopt_id;
   }
@@ skipping 303 matching lines @@
   ForwardInstructionIterator* current_iterator_;
 
  private:
   DISALLOW_COPY_AND_ASSIGN(FlowGraphVisitor);
 };
 
 
 }  // namespace dart
 
 #endif  // VM_INTERMEDIATE_LANGUAGE_H_