Implement substitution for type variables.

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.
  */
 class InterceptedElement extends ElementX {
   final HType ssaType;
   InterceptedElement(this.ssaType, Element enclosing)
       : super(const SourceString('receiver'),
               ElementKind.PARAMETER,
               enclosing);
 
   DartType computeType(Compiler compiler) => ssaType.computeType(compiler);
 }
 
+

[kasperl, 2013/01/29 15:02:34]

wat

[karlklose, 2013/01/30 12:01:19]

Exactly. Removed.

 class SsaBuilderTask extends CompilerTask {
   final CodeEmitterTask emitter;
   // Loop tracking information.
   final Set<FunctionElement> functionsCalledInLoop;
   final Map<SourceString, Selector> selectorsCalledInLoop;
   final JavaScriptBackend backend;
 
   String get name => 'SSA builder';
 
   SsaBuilderTask(JavaScriptBackend backend)
@@ skipping 2510 matching lines @@
     } else {
       assert(type.element.isClass());
       List<HInstruction> arguments = <HInstruction>[];
       InterfaceType interface = type;
       for (DartType argument in interface.typeArguments) {
         List<HInstruction> inputs = <HInstruction>[];
         String template = rti.getTypeRepresentation(argument, (variable) {
           HInstruction runtimeType = getTypeArgument(variable);
           add(runtimeType);
           inputs.add(runtimeType);
+          return '#';

[kasperl, 2013/01/29 15:02:34]

wat? This isn't a List<HInstruction>.

[karlklose, 2013/01/30 12:01:19]

This return belongs to the closure given to getTypeRepresentation.

The value is used to represent the type variable in the string that
getTypeRepresentation computes.

         });
         HInstruction representation = createForeignArray(template, inputs);
         add(representation);
         arguments.add(representation);
       }
       return arguments;
     }
   }
 
   visitOperatorSend(node) {
@@ skipping 33 matching lines @@
         // TODO(karlklose): remove this check when the backend can deal with
         // checks of the form [:o is T:] where [:T:] is a type variable.
         stack.add(graph.addConstantBool(true, constantSystem));
         return;
       }
 
       HInstruction instruction;
       if (type.element.isTypeVariable() ||
           RuntimeTypeInformation.hasTypeArguments(type)) {
         HInstruction typeInfo = getRuntimeTypeInfo(expression);
-        // TODO(karlklose): make isSubtype a HInstruction to enable
-        // optimizations?
-        Element helper = compiler.findHelper(const SourceString('isSubtype'));
-        HInstruction isSubtype = new HStatic(helper);
-        add(isSubtype);
-        // Build a list of representations for the type arguments.
+        Element helper =
+            compiler.findHelper(const SourceString('checkArguments'));
+        HInstruction helperCall = new HStatic(helper);
+        add(helperCall);
         List<HInstruction> representations =
             buildTypeArgumentRepresentations(type);
-        // For each type argument, build a call to isSubtype, with the type
-        // argument as first and the representation of the tested type as
-        // second argument.
-        List<HInstruction> checks = <HInstruction>[];
-        int index = 0;
-        representations.forEach((HInstruction representation) {
-          HInstruction position = graph.addConstantInt(index, constantSystem);
-          // Get the index'th type argument from the runtime type information.
-          HInstruction typeArgument =
-              createForeign('#[#]', 'Object', [typeInfo, position]);
-          add(typeArgument);
-          // Create the call to isSubtype.
-          List<HInstruction> inputs =
-              <HInstruction>[isSubtype, typeArgument, representation];
-          HInstruction call = new HInvokeStatic(inputs);
-          add(call);
-          checks.add(call);
-          index++;
-        });
-        instruction = new HIs(type, <HInstruction>[expression]..addAll(checks));
+        String substitution = backend.namer.substitutionName(type.element);
+        HInstruction fieldGet =
+            createForeign('#.$substitution', 'Object', [expression]);

[kasperl, 2013/01/29 15:02:34]

Should the namer know about $substitution?

[karlklose, 2013/01/30 12:01:19]

It does, this is interpolating the name that we got from the namer in l.2613
into the template for the foreign instruction.

+        HInstruction representationList = new HLiteralList(representations);
+        add(fieldGet);
+        add(representationList);
+        List<HInstruction> inputs = <HInstruction>[helperCall,
+                                                   fieldGet,
+                                                   typeInfo,
+                                                   representationList];
+        HInstruction check = new HInvokeStatic(inputs);
+        add(check);
+        instruction = new HIs(type, <HInstruction>[expression, check]);
       } else {
         instruction = new HIs(type, <HInstruction>[expression]);
       }
       if (isNot) {
         add(instruction);
         instruction = new HNot(instruction);
       }
       push(instruction);
     } else if (const SourceString("as") == op.source) {
       visit(node.receiver);
@@ skipping 355 matching lines @@
     } else if (name == const SourceString('DART_CLOSURE_TO_JS')) {
       handleForeignDartClosureToJs(node, 'DART_CLOSURE_TO_JS');
     } else if (name == const SourceString('RAW_DART_FUNCTION_REF')) {
       handleForeignRawFunctionRef(node, 'RAW_DART_FUNCTION_REF');
     } else if (name == const SourceString('JS_SET_CURRENT_ISOLATE')) {
       handleForeignSetCurrentIsolate(node);
     } else if (name == const SourceString('JS_CREATE_ISOLATE')) {
       handleForeignCreateIsolate(node);
     } else if (name == const SourceString('JS_OPERATOR_IS_PREFIX')) {
       stack.add(addConstantString(node, backend.namer.operatorIsPrefix()));
+    } else if (name == const SourceString('JS_OPERATOR_AS_PREFIX')) {
+      stack.add(addConstantString(node, backend.namer.operatorAsPrefix()));
     } else {
       throw "Unknown foreign: ${selector}";
     }
   }
 
   generateSuperNoSuchMethodSend(Send node) {
     Selector selector = elements.getSelector(node);
     SourceString name = selector.name;
 
     ClassElement cls = work.element.getEnclosingClass();
@@ skipping 98 matching lines @@
    */
   HInstruction analyzeTypeArgument(DartType argument, Node currentNode) {
     assert(invariant(currentNode,
                      !compiler.enableTypeAssertions || !argument.isMalformed,
                      message: '$argument is malformed in checked mode'));
     if (argument == compiler.types.dynamicType || argument.isMalformed) {
       // Represent [dynamic] as [null].
       return graph.addConstantNull(constantSystem);
     }
 
-    // These variables are shared between invocations of the helper.
-    HInstruction typeInfo;
+    // The inputs are shared between invocations of the helper.
     List<HInstruction> inputs = <HInstruction>[];
 
     /**
      * Helper to create an instruction that gets the value of a type variable.
      */
-    void addTypeVariableReference(TypeVariableType type) {
+    String addTypeVariableReference(TypeVariableType type) {
       Element member = work.element;
       if (member.enclosingElement.isClosure()) {
         ClosureClassElement closureClass = member.enclosingElement;
         member = closureClass.methodElement;
         member = member.getOutermostEnclosingMemberOrTopLevel();
       }
       if (member.isFactoryConstructor()) {
-        // The type variable is stored in a parameter of the factory.
+        // The type variable is stored in a parameter of the method.
         inputs.add(localsHandler.readLocal(type.element));
-      } else if (member.isInstanceMember()
-                 || member.isGenerativeConstructor()) {
+      } else if (member.isInstanceMember() ||
+          member.isGenerativeConstructor()) {
         // The type variable is stored in [this].
-        if (typeInfo == null) {
-          pushInvokeHelper1(backend.getGetRuntimeTypeInfo(),
-                            localsHandler.readThis());
-          typeInfo = pop();
-        }
         int index = RuntimeTypeInformation.getTypeVariableIndex(type);
-        HInstruction foreign = createForeign('#[$index]', 'String',
-                                             <HInstruction>[typeInfo]);
-        add(foreign);
-        inputs.add(foreign);
+        pushInvokeHelper2(backend.getGetRuntimeTypeArgument(),
+                          localsHandler.readThis(),
+                          graph.addConstantInt(index, constantSystem));
+        inputs.add(pop());
       } else {
         // TODO(ngeoffray): Match the VM behavior and throw an
         // exception at runtime.
         compiler.cancel('Unimplemented unresolved type variable',
                         node: currentNode);
       }
+      return '#';
     }
 
     String template = rti.getTypeRepresentation(argument,
                                                 addTypeVariableReference);
     HInstruction result = createForeign(template, 'String', inputs);
     add(result);
     return result;
   }
 
   void handleListConstructor(InterfaceType type,
                              Node currentNode,
                              HInstruction newObject) {
     if (!compiler.world.needsRti(type.element)) return;
-    List<HInstruction> inputs = <HInstruction>[];
     if (!type.isRaw) {
+      List<HInstruction> inputs = <HInstruction>[];
       type.typeArguments.forEach((DartType argument) {
         inputs.add(analyzeTypeArgument(argument, currentNode));
       });
+      callSetRuntimeTypeInfo(type.element, inputs, newObject);
     }
-    callSetRuntimeTypeInfo(type.element, inputs, newObject);
   }
 
   void callSetRuntimeTypeInfo(ClassElement element,
                               List<HInstruction> rtiInputs,
                               HInstruction newObject) {
     if (!compiler.world.needsRti(element) || element.typeVariables.isEmpty) {
       return;
     }
 
     HInstruction typeInfo = new HLiteralList(rtiInputs);
@@ skipping 1759 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;
   }
 }