- Move length getter and setter interceptors to the new interceptor scheme.

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;
 
 /**
  * A special element for the extra parameter taken by intercepted
  * methods. We need to override [Element.computeType] because our
  * optimizers may look at its declared type.
@@ skipping 2425 matching lines @@
     bool hasGetter = compiler.world.hasAnyUserDefinedGetter(selector);
     if (interceptor == backend.getInterceptorMethod && interceptor != null) {
       // 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())
           && send.receiver == null) {
         instruction = thisInstruction;
       } else {
-        HStatic target = new HStatic(interceptor);
-        add(target);
-        instruction = new HInvokeStatic(<HInstruction>[target, receiver]);
-        add(instruction);
+        pushInvokeInterceptor(interceptor, receiver);
+        instruction = pop();
       }
       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 {
       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()) {
@@ skipping 35 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 interceptor = getInterceptor(send, selector);
     bool hasSetter = compiler.world.hasAnyUserDefinedSetter(selector);
     if (interceptor != null && interceptor == backend.getInterceptorMethod) {
-      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);
+      // If we're using an interceptor class, emit a call to the
+      // interceptor method and then the actual dynamic call on the

[ahe, 2012/11/23 06:51:23]

interceptor method -> "getInterceptor" method

[ngeoffray, 2012/11/23 12:01:17]

Done.

+      // interceptor object.
+      HInstruction instruction;
+      if (backend.isInterceptorClass(currentElement.getEnclosingClass())

[ahe, 2012/11/23 06:51:23]

Shouldn't this be part of pushInvokeInterceptor?

[ngeoffray, 2012/11/23 12:01:17]

Done.

+          && send.receiver == null) {
+        instruction = thisInstruction;
+      } else {
+        pushInvokeInterceptor(interceptor, receiver);
+        instruction = pop();
+      }
+      instruction = new HInvokeDynamicSetter(
+          selector, null, instruction, receiver, !hasSetter);
+      // Add the value as an argument to the setter call on the
+      // interceptor.
+      instruction.inputs.add(value);
+      addWithPosition(instruction, send);
     } else {
       addWithPosition(
           new HInvokeDynamicSetter(selector, null, receiver, value, !hasSetter),
           send);
     }
     stack.add(value);
   }
 
   void generateSetter(SendSet send, Element element, HInstruction value) {
     if (Elements.isStaticOrTopLevelField(element)) {
@@ skipping 23 matching lines @@
       HInstruction checked = potentiallyCheckType(
           value, element.computeType(compiler));
       if (!identical(checked, value)) {
         pop();
         stack.add(checked);
       }
       localsHandler.updateLocal(element, checked);
     }
   }
 
+  void pushInvokeInterceptor(Element element, HInstruction receiver) {
+    HInstruction interceptor = new HStatic(element);
+    add(interceptor);
+    List<HInstruction> inputs = <HInstruction>[interceptor, receiver];
+    HInstruction result = new HInvokeStatic(inputs);
+    result.isSideEffectFree = true;
+    push(result);
+  }
+
   void pushInvokeHelper0(Element helper) {
     HInstruction reference = new HStatic(helper);
     add(reference);
     List<HInstruction> inputs = <HInstruction>[reference];
     HInstruction result = new HInvokeStatic(inputs);
     push(result);
   }
 
   void pushInvokeHelper1(Element helper, HInstruction a0) {
     HInstruction reference = new HStatic(helper);
@@ skipping 206 matching lines @@
 
     Element interceptor = getInterceptor(node, selector);
 
     if (interceptor != null) {
       if (interceptor == backend.getInterceptorMethod) {
         if (backend.isInterceptorClass(currentElement.getEnclosingClass())
             && node.receiver == null) {
           inputs.add(thisInstruction);
           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);
+          pushInvokeInterceptor(interceptor, receiver);

[ahe, 2012/11/23 06:51:23]

Why don't you need to reuse this here?  Is it because an implicit this send
would end in a different visit method?

[ngeoffray, 2012/11/23 12:01:17]

Not sure I understand. The handling of an implicit this send is done line 2802.

+          inputs.add(pop());
           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.
         HInstruction instruction = new HInvokeDynamicMethod(selector, inputs);
         pushWithPosition(instruction, node);
         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;
       }
     }
 
     Element element = elements[node];
     if (element != null && compiler.world.hasNoOverridingMember(element)) {
       if (tryInlineMethod(element, selector, node.arguments)) {
         return;
       }
     }
 
@@ skipping 1034 matching lines @@
 
     // The iterator is shared between initializer, condition and body.
     HInstruction iterator;
     void buildInitializer() {
       SourceString iteratorName = const SourceString("iterator");
       Selector selector =
           new Selector.call(iteratorName, work.element.getLibrary(), 0);
       Element element = interceptors.getStaticInterceptor(selector);
       visit(node.expression);
       HInstruction receiver = pop();
-      pushInvokeHelper1(element, receiver);
-      HInstruction interceptor = pop();
-      iterator = new HInvokeDynamicMethod(
-          selector, <HInstruction>[interceptor, receiver]);
+      if (element == null) {

[ahe, 2012/11/23 06:51:23]

When can this happen?

[ngeoffray, 2012/11/23 12:01:17]

In unit tests.

+        iterator = new HInvokeDynamicMethod(selector, <HInstruction>[receiver]);
+      } else {
+        pushInvokeInterceptor(element, receiver);
+        HInvokeStatic interceptor = pop();
+        iterator = new HInvokeDynamicMethod(
+            selector, <HInstruction>[interceptor, receiver]);
+      }
       add(iterator);
     }
     HInstruction buildCondition() {
       SourceString name = const SourceString('hasNext');
       Selector selector = new Selector.getter(name, work.element.getLibrary());
       if (interceptors.getStaticInterceptor(selector) != null) {
         compiler.internalError("hasNext getter must not be intercepted",
                                node: node);
       }
       bool hasGetter = compiler.world.hasAnyUserDefinedGetter(selector);
@@ skipping 1068 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;
   }
 }