Refactor types in ssa nodes.

lib/compiler/implementation/ssa/tracer.dart

 // Copyright (c) 2011, 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('tracer');
 
 #import('dart:io');
 #import('ssa.dart');
 #import('../leg.dart');
 
@@ skipping 154 matching lines @@
 
   String temporaryId(HInstruction instruction) {
     String prefix;
     HType type = instruction.propagatedType;
     if (type.isNonPrimitive()) {
       prefix = 'U';
     } else {
       switch (type) {
         case HType.MUTABLE_ARRAY: prefix = 'm'; break;
         case HType.READABLE_ARRAY: prefix = 'a'; break;
+        case HType.EXTENDABLE_ARRAY: prefix = 'e'; break;
         case HType.BOOLEAN: prefix = 'b'; break;
         case HType.INTEGER: prefix = 'i'; break;
         case HType.DOUBLE: prefix = 'd'; break;
         case HType.NUMBER: prefix = 'n'; break;
         case HType.STRING: prefix = 's'; break;
         case HType.UNKNOWN: prefix = 'v'; break;
         case HType.CONFLICTING: prefix = 'c'; break;
-        case HType.STRING_OR_ARRAY: prefix = 'r'; break;
+        case HType.INDEXABLE_PRIMITIVE: prefix = 'r'; break;
         default: unreachable();
       }
     }
     return "$prefix${instruction.id}";
   }
 
   String visitBoolify(HBoolify node) {
     return "Boolify: ${temporaryId(node.inputs[0])}";
   }
 
@@ skipping 210 matching lines @@
       finallyBlock = 'none';
     }
     return "Try: $tryBlock, Catch: $catchBlocks, Finally: $finallyBlock";
   }
 
   String visitTypeGuard(HTypeGuard node) {
     String type;
     switch (node.guardedType) {
       case HType.MUTABLE_ARRAY: type = "mutable_array"; break;
       case HType.READABLE_ARRAY: type = "readable_array"; break;
+      case HType.EXTENDABLE_ARRAY: type = "extendable_array"; break;
       case HType.BOOLEAN: type = "bool"; break;
       case HType.INTEGER: type = "integer"; break;
       case HType.DOUBLE: type = "double"; break;
       case HType.NUMBER: type = "number"; break;
       case HType.STRING: type = "string"; break;
-      case HType.STRING_OR_ARRAY: type = "string_or_array"; break;
+      case HType.INDEXABLE_PRIMITIVE: type = "string_or_array"; break;
       case HType.UNKNOWN: type = 'unknown'; break;
       default: unreachable();
     }
     StringBuffer envBuffer = new StringBuffer();
     List<HInstruction> inputs = node.inputs;
     // The last input is the guarded expression.
     for (int i = 0; i < inputs.length - 1; i++) {
       envBuffer.add(" ${temporaryId(inputs[i])}");
     }
     String on = node.isOn ? "on" : "off";
     String id = temporaryId(node.guarded);
     return "TypeGuard($on): $id is $type env: $envBuffer";
   }
 
   String visitIs(HIs node) {
     String type = node.typeName.toString();
     return "TypeTest: ${temporaryId(node.expression)} is $type";
   }
 }