VM-codegen: Add IL instruction to check if a Smi is in a constant range

runtime/vm/intermediate_language_dbc.cc

 // Copyright (c) 2016, 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_DBC.
 #if defined(TARGET_ARCH_DBC)
 
 #include "vm/intermediate_language.h"
 
 #include "vm/cpu.h"
@@ skipping 464 matching lines @@
     if (labels.fall_through != labels.true_label) {
       // The preceeding Jump instruction will be skipped if the test succeeds.
       // If we aren't falling through to the true case, then we have to do
       // a Jump to it here.
       __ Jump(labels.true_label);
     }
   }
 }
 
 
+Condition SmiRangeComparisonInstr::GetNextInstructionCondition(
+    FlowGraphCompiler* compiler,
+    BranchLabels labels) {
+  return is_negated_ ? NEXT_IS_TRUE : NEXT_IS_FALSE;
+}
+
+
+Condition SmiRangeComparisonInstr::EmitComparisonCode(
+    FlowGraphCompiler* compiler,
+    BranchLabels labels) {
+  __ CheckClassIdRange(locs()->in(0).reg(),
+                       compiler->ToEmbeddableCid(from_, this));
+  __ Nop(__ AddConstant(Smi::Handle(Smi::New(to_ - from_))));
+  return is_negated_ ? NEXT_IS_TRUE : NEXT_IS_FALSE;
+}
+
+
+DEFINE_MAKE_LOCATION_SUMMARY(SmiRangeComparison, 1)
+
+
 Condition StrictCompareInstr::GetNextInstructionCondition(
     FlowGraphCompiler* compiler,
     BranchLabels labels) {
   return (labels.fall_through == labels.false_label) ? NEXT_IS_TRUE
                                                      : NEXT_IS_FALSE;
 }
 
 
 Condition StrictCompareInstr::EmitComparisonCode(FlowGraphCompiler* compiler,
                                                  BranchLabels labels) {
@@ skipping 1568 matching lines @@
   }
   __ IfULe(length, index);
   compiler->EmitDeopt(deopt_id(), ICData::kDeoptCheckArrayBound,
                       (generalized_ ? ICData::kGeneralized : 0) |
                           (licm_hoisted_ ? ICData::kHoisted : 0));
 }
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_DBC