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

pkg/compiler/lib/src/tree_ir/optimization/logical_rewriter.dart

 // Copyright (c) 2014, 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 tree_ir.optimization.logical_rewriter;
 
 import '../tree_ir_nodes.dart';
 import 'optimization.dart' show Pass;
 import '../../constants/values.dart' as values;
 
@@ skipping 336 matching lines @@
       case BuiltinOperator.LooseEq:
       case BuiltinOperator.LooseNeq:
       case BuiltinOperator.NumLt:
       case BuiltinOperator.NumLe:
       case BuiltinOperator.NumGt:
       case BuiltinOperator.NumGe:
       case BuiltinOperator.IsNumber:
       case BuiltinOperator.IsNotNumber:
       case BuiltinOperator.IsFloor:
       case BuiltinOperator.IsNumberAndFloor:
+      case BuiltinOperator.IsNotInteger:
       case BuiltinOperator.Identical:
         return true;
       default:
         return false;
     }
   }
 
   bool isBooleanValuedTypeOperator(TypeOperator e) {
     return e.isTypeTest;
   }
 
   BuiltinOperator negateBuiltin(BuiltinOperator operator) {
     switch (operator) {
       case BuiltinOperator.StrictEq: return BuiltinOperator.StrictNeq;
       case BuiltinOperator.StrictNeq: return BuiltinOperator.StrictEq;
       case BuiltinOperator.LooseEq: return BuiltinOperator.LooseNeq;
       case BuiltinOperator.LooseNeq: return BuiltinOperator.LooseEq;
       case BuiltinOperator.IsNumber: return BuiltinOperator.IsNotNumber;
       case BuiltinOperator.IsNotNumber: return BuiltinOperator.IsNumber;
+      case BuiltinOperator.IsNumberAndFloor:
+          return BuiltinOperator.IsNotInteger;
+      case BuiltinOperator.IsNotInteger:
+          return BuiltinOperator.IsNumberAndFloor;
 
       // Because of NaN, these do not have a negated form.
       case BuiltinOperator.NumLt:
       case BuiltinOperator.NumLe:
       case BuiltinOperator.NumGt:
       case BuiltinOperator.NumGe:
         return null;
 
       default:
         return null;
@@ skipping 163 matching lines @@
     } else if (e1 is Assign) {
       return e2 is VariableUse && e1.variable == e2.variable;
     }
     return false;
   }
 
   void destroyVariableUse(VariableUse node) {
     --node.variable.readCount;
   }
 }