Add a getter interceptor to the new interceptor scheme. Also cleanup the "this" that turns into a r…

sdk/lib/_internal/compiler/implementation/ssa/builder.dart

 // Copyright (c) 2012, 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.
 
 part of ssa;
 
 class Interceptors {
   Compiler compiler;
   Interceptors(Compiler this.compiler);
 
@@ skipping 32 matching lines @@
     if (identical(name, '++')) return const SourceString('add');
     if (identical(name, '--')) return const SourceString('sub');
     compiler.unimplemented('Unknown operator', node: op);
   }
 
   Element getStaticInterceptor(Selector selector) {
     // Check if we have an interceptor method implemented with
     // interceptor classes.
     JavaScriptBackend backend = compiler.backend;
     if (backend.shouldInterceptSelector(selector)) {
-      backend.addInterceptedSelector(selector);
       return backend.getInterceptorMethod;
     }
 
     // Fall back to the old interceptor mechanism.
     String name = selector.name.slowToString();
     if (selector.isGetter()) {
       // TODO(lrn): If there is no get-interceptor, but there is a
       // method-interceptor, we should generate a get-interceptor automatically.
       String mangledName = "get\$$name";
       return compiler.findInterceptor(new SourceString(mangledName));
@@ skipping 338 matching lines @@
     enterScope(node, element);
 
     // If the freeVariableMapping is not empty, then this function was a
     // nested closure that captures variables. Redirect the captured
     // variables to fields in the closure.
     closureData.freeVariableMapping.forEach((Element from, Element to) {
       redirectElement(from, to);
     });
     if (closureData.isClosure()) {
       // Inside closure redirect references to itself to [:this:].
-      HInstruction thisInstruction = new HThis(closureData.thisElement);
-      builder.graph.entry.addAtEntry(thisInstruction);
-      updateLocal(closureData.closureElement, thisInstruction);
+      builder.thisInstruction = new HThis(closureData.thisElement);
+      builder.graph.entry.addAtEntry(builder.thisInstruction);
+      updateLocal(closureData.closureElement, builder.thisInstruction);
     } else if (element.isInstanceMember()
                || element.isGenerativeConstructor()) {
       // Once closures have been mapped to classes their instance members might
       // not have any thisElement if the closure was created inside a static
       // context.
       ClassElement cls = element.getEnclosingClass();
       DartType type = cls.computeType(builder.compiler);
-      HInstruction thisInstruction = new HThis(closureData.thisElement,
-                                               new HBoundedType.nonNull(type));
-      thisInstruction.sourceElement = closureData.thisElement;
-      builder.graph.entry.addAtEntry(thisInstruction);
-      directLocals[closureData.thisElement] = thisInstruction;
+      builder.thisInstruction = new HThis(closureData.thisElement,
+                                          new HBoundedType.nonNull(type));
+      builder.graph.entry.addAtEntry(builder.thisInstruction);
+      directLocals[closureData.thisElement] = builder.thisInstruction;
+    }
+
+    if (builder.backend.isInterceptorClass(element.getEnclosingClass())) {
+      Element parameter = new Element(
+          const SourceString('receiver'), ElementKind.VARIABLE, element);
+      HParameterValue value = new HParameterValue(parameter);
+      builder.graph.entry.addAfter(
+          directLocals[closureData.thisElement], value);
+      directLocals[closureData.thisElement] = value;
     }
   }
 
   bool hasValueForDirectLocal(Element element) {
     assert(element != null);
     assert(isAccessedDirectly(element));
     return directLocals[element] != null;
   }
 
   /**
@@ skipping 448 matching lines @@
   final SsaBuilderTask builder;
   final JavaScriptBackend backend;
   final Interceptors interceptors;
   final WorkItem work;
   final ConstantSystem constantSystem;
   bool methodInterceptionEnabled;
   HGraph graph;
   LocalsHandler localsHandler;
   HInstruction rethrowableException;
   Map<Element, HInstruction> parameters;
+  HInstruction thisInstruction;
   final RuntimeTypeInformation rti;
   HParameterValue lastAddedParameter;
 
   Map<TargetElement, JumpHandler> jumpTargets;
 
   /**
    * Variables stored in the current activation. These variables are
    * being updated in try/catch blocks, and should be
    * accessed indirectly through [HLocalGet] and [HLocalSet].
    */
@@ skipping 1370 matching lines @@
     assert(Elements.isInstanceSend(send, elements));
     // TODO(kasperl): This is a convoluted way of checking if we're
     // generating code for a compound assignment. If we are, we need
     // to get the selector from the mapping for the AST selector node.
     Selector selector = (send.asSendSet() == null)
         ? elements.getSelector(send)
         : elements.getSelector(send.selector);
     assert(selector.isGetter());
     SourceString getterName = selector.name;
     Element interceptor = null;
-    if (elements[send] == null && methodInterceptionEnabled) {
+    if (methodInterceptionEnabled) {
       interceptor = interceptors.getStaticInterceptor(selector);
     }
     bool hasGetter = compiler.world.hasAnyUserDefinedGetter(selector);
-    if (interceptor != null) {
-      if (interceptor == backend.getInterceptorMethod) {
-        // If we're using an interceptor class, emit a call to the
-        // interceptor method and then the actual dynamic call on the
-        // interceptor object.
+    if (interceptor == backend.getInterceptorMethod && interceptor != null) {

[floitsch, 2012/11/13 18:12:24]

remove "&& interceptor != null".

[ngeoffray, 2012/11/14 08:44:58]

No, I want to make sure we don't have to have getInterceptor (for eg unit
tests). Long term, I think I'll just change getStaticInterceptor into
"isIntercepted".

+      // If we're using an interceptor class, emit a call to the
+      // interceptor method and then the actual dynamic call on the
+      // interceptor object.
+      HInstruction instruction;
+      if (backend.isInterceptorClass(currentElement.getEnclosingClass())) {

[floitsch, 2012/11/13 18:12:24]

don't you need to verify that the receiver is of the same class as 'this' ?

[ngeoffray, 2012/11/14 08:44:58]

Yes, very good catch. I need to check that the receiver is the extra parameter.

+        instruction = thisInstruction;
+      } else {
         HStatic target = new HStatic(interceptor);
         add(target);
-        HInstruction instruction =
-            new HInvokeStatic(<HInstruction>[target, receiver]);
+        instruction = new HInvokeStatic(<HInstruction>[target, receiver]);
         add(instruction);
-        instruction = new HInvokeDynamicGetter(
-            selector, null, instruction, !hasGetter);
-        // Add the receiver as an argument to the getter call on the
-        // interceptor.
-        instruction.inputs.add(receiver);
-        pushWithPosition(instruction, send);
-      } else {
-        // Use the old, deprecated interceptor mechanism.
-        HStatic target = new HStatic(interceptor);
-        add(target);
-        List<HInstruction> inputs = <HInstruction>[target, receiver];
-        pushWithPosition(new HInvokeInterceptor(selector, inputs, !hasGetter),
-                         send);
       }
+      instruction = new HInvokeDynamicGetter(
+          selector, null, instruction, !hasGetter);
+      // Add the receiver as an argument to the getter call on the
+      // interceptor.
+      instruction.inputs.add(receiver);
+      pushWithPosition(instruction, send);
+    } else if (elements[send] == null && interceptor != null) {
+      // Use the old, deprecated interceptor mechanism.
+      HStatic target = new HStatic(interceptor);
+      add(target);
+      List<HInstruction> inputs = <HInstruction>[target, receiver];
+      pushWithPosition(new HInvokeInterceptor(selector, inputs, !hasGetter),
+                       send);
     } else {

[floitsch, 2012/11/13 18:12:24]

Eventually (once there is no old deprecated interceptor anymore), I would prefer
to inverse the order of the test:
if (interceptor == null) {
  ...
} else {
  assert(interceptor == backend.getInterceptorMethod);
  ...
}

       pushWithPosition(
           new HInvokeDynamicGetter(selector, null, receiver, !hasGetter), send);
     }
   }
 
   void generateGetter(Send send, Element element) {
     if (Elements.isStaticOrTopLevelField(element)) {
       Constant value;
       if (element.isField() && !element.isAssignable()) {
         // A static final or const. Get its constant value and inline it if
@@ skipping 31 matching lines @@
     }
   }
 
   void generateInstanceSetterWithCompiledReceiver(Send send,
                                                   HInstruction receiver,
                                                   HInstruction value) {
     assert(Elements.isInstanceSend(send, elements));
     Selector selector = elements.getSelector(send);
     assert(selector.isSetter());
     SourceString setterName = selector.name;
-    Element staticInterceptor = null;
-    if (elements[send] == null && methodInterceptionEnabled) {
-      staticInterceptor = interceptors.getStaticInterceptor(selector);
+    Element interceptor = null;
+    if (methodInterceptionEnabled) {
+      interceptor = interceptors.getStaticInterceptor(selector);
     }
     bool hasSetter = compiler.world.hasAnyUserDefinedSetter(selector);
-    if (staticInterceptor != null) {
-      HStatic target = new HStatic(staticInterceptor);
+    if (interceptor != null && interceptor == backend.getInterceptorMethod) {

[floitsch, 2012/11/13 18:12:24]

ditto. remove "interceptor != null".

+      compiler.internalError(
+          'Unimplemented intercepted setter call with interceptor classes');
+    } else if (interceptor != null && elements[send] == null) {
+      HStatic target = new HStatic(interceptor);
       add(target);
       List<HInstruction> inputs = <HInstruction>[target, receiver, value];
       addWithPosition(new HInvokeInterceptor(selector, inputs), send);
     } else {
       addWithPosition(
           new HInvokeDynamicSetter(selector, null, receiver, value, !hasSetter),
           send);
     }
     stack.add(value);
   }
@@ skipping 244 matching lines @@
     } else if (node.selector.asOperator() != null) {
       SourceString name = node.selector.asIdentifier().source;
       isNotEquals = identical(name.stringValue, '!=');
       dartMethodName = Elements.constructOperatorName(
           name, node.argumentsNode is Prefix);
     } else {
       dartMethodName = node.selector.asIdentifier().source;
     }
 
     Element interceptor = null;
-    if (methodInterceptionEnabled && elements[node] == null) {
+    if (methodInterceptionEnabled) {
       interceptor = interceptors.getStaticInterceptor(selector);
     }
+
     if (interceptor != null) {
-      // TODO(ngeoffray): The receiver never being null is currently the
-      // case, but should be updated once we start implementing more of
-      // the interceptors class.
-      assert(node.receiver != null);
       if (interceptor == backend.getInterceptorMethod) {
-        HStatic target = new HStatic(interceptor);
-        add(target);
-        visit(node.receiver);
-        HInstruction receiver = pop();
-        HInstruction instruction =
-            new HInvokeStatic(<HInstruction>[target, receiver]);
-        add(instruction);
-        inputs.add(instruction);
-        inputs.add(receiver);
+        if (backend.isInterceptorClass(currentElement.getEnclosingClass())) {
+          inputs.add(thisInstruction);

[floitsch, 2012/11/13 18:12:24]

ditto:
- don't you need to verify that the node's receiver is the same type as this.
Also visiting the receiver might have a side-effect.

[ngeoffray, 2012/11/14 08:44:58]

In this situation there is no receiver.

+          inputs.add(localsHandler.readThis());
+        } else {
+          HStatic target = new HStatic(interceptor);
+          add(target);
+          visit(node.receiver);
+          HInstruction receiver = pop();
+          HInstruction instruction =
+              new HInvokeStatic(<HInstruction>[target, receiver]);
+          add(instruction);
+          inputs.add(instruction);
+          inputs.add(receiver);
+        }
         addDynamicSendArgumentsToList(node, inputs);
         // The first entry in the inputs list is the interceptor. The
         // second is the receiver, and the others are the arguments.
-        instruction = new HInvokeDynamicMethod(selector, inputs);
+        HInstruction instruction = new HInvokeDynamicMethod(selector, inputs);
         pushWithPosition(instruction, node);
-      } else {
+        return;
+      } else if (elements[node] == null) {
         HStatic target = new HStatic(interceptor);
         add(target);
         inputs.add(target);
         visit(node.receiver);
         inputs.add(pop());
         addGenericSendArgumentsToList(node.arguments, inputs);
         pushWithPosition(new HInvokeInterceptor(selector, inputs), node);
+        return;
       }
-      return;
     }
 
     Element element = elements[node];
     if (element != null && compiler.world.hasNoOverridingMember(element)) {
       if (tryInlineMethod(element, selector, node.arguments)) {
         return;
       }
     }
 
     if (node.receiver == null) {
@@ skipping 2131 matching lines @@
           new HSubGraphBlockInformation(elseBranch.graph));
 
     HBasicBlock conditionStartBlock = conditionBranch.block;
     conditionStartBlock.setBlockFlow(info, joinBlock);
     SubGraph conditionGraph = conditionBranch.graph;
     HIf branch = conditionGraph.end.last;
     assert(branch is HIf);
     branch.blockInformation = conditionStartBlock.blockFlow;
   }
 }