cpsir: insert guard and force specialization for [] and []=

pkg/compiler/lib/src/cps_ir/builtin_operator.dart

 // Copyright (c) 2015, 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.
 library builtin_operator;
 // This is shared by the CPS and Tree IRs.
 // Both cps_ir_nodes and tree_ir_nodes import and re-export this file.
 
 /// An operator supported natively in the CPS and Tree IRs using the
 /// `ApplyBuiltinOperator` instructions.
 ///
 /// These operators are pure in the sense that they cannot throw, diverge,
 /// have observable side-effects, return new objects, nor depend on any
 /// mutable state.
 ///
 /// Most operators place restrictions on the values that may be given as
 /// argument; their behaviour is unspecified if those requirements are violated.
 ///
 /// In all cases, the word "null" refers to the Dart null object, corresponding
 /// to both JS null and JS undefined.
 ///
-/// Some operators, notably [IsFloor] and [IsNumberAndFloor], take "repeated"
+/// Some operators, notably [IsFloor] and [IsInteger], take "repeated"
 /// arguments to reflect the number of times the given value is referenced
 /// by the generated code. The tree IR needs to know the number of references
 /// to safely propagate assignments.
 enum BuiltinOperator {
   /// The numeric binary operators must take two numbers as argument.
   /// The bitwise operators coerce the result to an unsigned integer, but
   /// otherwise these all behave like the corresponding JS operator.
   NumAdd,
   NumSubtract,
   NumMultiply,
@@ skipping 94 matching lines @@
   /// The argument must be repeated 2 times.
   ///
   /// Compiles to `Math.floor(x) === x`
   IsFloor,
 
   /// Returns true if the argument is an integer.
   ///
   /// The argument must be repeated 3 times.
   ///
   /// Compiles to `typeof x === 'number' && Math.floor(x) === x`
-  IsNumberAndFloor,
+  IsInteger,
+
+  /// Returns true if the argument is not an integer.
+  ///
+  /// The argument must be repeated 3 times.
+  ///
+  /// Compiles to `typeof x !== 'number' || Math.floor(x) !== x`
+  IsNotInteger,
 
   /// Returns true if the argument is a fixed length Array.
   ///
   /// Uses one argument.
   ///
   /// Precondition: Argument is a JavaScript Array.
   IsFixedLengthJSArray,
 
   // TODO(sra): Remove this and replace with IsFalsy(IsFixedLengthJSArray(x)).
   IsExtendableJSArray,
@@ skipping 42 matching lines @@
     case BuiltinOperator.NumSubtract:
     case BuiltinOperator.NumMultiply:
     case BuiltinOperator.NumDivide:
     case BuiltinOperator.NumRemainder:
     case BuiltinOperator.StringConcatenate:
       return true;
     default:
       return false;
   }
 }