cps-ir: Add support for intercepted calls.

pkg/compiler/lib/src/js_backend/codegen/unsugar.dart

 library dart2js.unsugar_cps;
 
 import '../../cps_ir/cps_ir_nodes.dart';
 
 // TODO(karlklose): share the [ParentVisitor].
 import '../../cps_ir/optimizers.dart';
 import '../../constants/expressions.dart';
 import '../../constants/values.dart';
+import '../../elements/elements.dart' show ClassElement;
+import '../../js_backend/codegen/glue.dart';
 
 /// Rewrites the initial CPS IR to make Dart semantics explicit and inserts
 /// special nodes that respect JavaScript behavior.
 ///
 /// Performs the following rewrites:
 ///  - rewrite [IsTrue] in a [Branch] to do boolean conversion.
 class UnsugarVisitor extends RecursiveVisitor {
-  const UnsugarVisitor();
+  Glue _glue;
+
+  UnsugarVisitor(this._glue);
 
   void rewrite(FunctionDefinition function) {
     // Set all parent pointers.
     new ParentVisitor().visit(function);
     visit(function);
   }
 
   @override
   visit(Node node) {
     Node result = node.accept(this);
     return result != null ? result : node;
   }
 
   Constant get trueConstant {
     return new Constant(
         new PrimitiveConstantExpression(
             new TrueConstantValue()));
   }
 
+  processInvokeMethod(InvokeMethod node) {
+    if (!_glue.isInterceptedSelector(node.selector)) return;
+    Set<ClassElement> interceptedClasses =
+        _glue.getInterceptedClassesOn(node.selector);
+    _glue.registerSpecializedGetInterceptor(interceptedClasses);
+    InteriorNode parent = node.parent;
+    Primitive receiver = node.receiver.definition;
+    Primitive intercepted = new Interceptor(receiver, interceptedClasses);
+    LetPrim newNode = new LetPrim(intercepted,
+        new InvokeMethod(intercepted,
+            node.selector,
+            node.continuation.definition,
+            node.arguments.map(
+                (Reference<Primitive> r) => r.definition).toList()));

[sigurdm, 2014/12/16 11:44:55]

It would be nicer if you could just pass the arguments here. Maybe we should
change the contructor, or add another constructor to InvokeMethod.

[sigurdm, 2014/12/16 11:44:56]

I would add the extra argument here instead of at the tree generation.
This would allow for optimizations to work on the explicit structure.

[karlklose, 2014/12/16 12:04:03]

Done.

[karlklose, 2014/12/16 12:04:03]

Done.

+    node.continuation.unlink();
+    node.receiver.unlink();
+    parent.body = newNode;
+  }
+
   processBranch(Branch node) {
     // TODO(karlklose): implement the checked mode part of boolean conversion.
     InteriorNode parent = node.parent;
     IsTrue condition = node.condition;
     Primitive t = trueConstant;
     Primitive i = new Identical(condition.value.definition, t);
     LetPrim newNode = new LetPrim(t,
         new LetPrim(i,
             new Branch(new IsTrue(i),
                 node.trueContinuation.definition,
                 node.falseContinuation.definition)));
     condition.value.unlink();
     node.trueContinuation.unlink();
     node.falseContinuation.unlink();
     parent.body = newNode;
   }
 }