Start propagating non-primitive types in the backend, and fold instructions that know about the typ…

lib/compiler/implementation/ssa/types.dart

Index: lib/compiler/implementation/ssa/types.dart
===================================================================
--- lib/compiler/implementation/ssa/types.dart	(revision 6686)
+++ lib/compiler/implementation/ssa/types.dart	(working copy)
@@ -127,6 +127,9 @@
     HType desiredType = computeDesiredType(instruction);
     // If the desired type is conflicting just return the computed type.
     if (desiredType.isConflicting()) return newType;
+    // TODO(ngeoffray): Allow speculative optimizations on
+    // non-primitive types?

[floitsch, 2012/04/18 19:18:48]

Why not. But that would require adding a isNonPrimitive check. So for now I
think this is better.

+    if (desiredType.isNonPrimitive()) return newType;
     return newType.combine(desiredType);
   }
 }