Support runtime check of function types.

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 1609 matching lines @@
         HParameterValue param = addParameter(typeVariable.element);
         localsHandler.directLocals[typeVariable.element] = param;
       });
     }
   }
 
   HInstruction potentiallyCheckType(
       HInstruction original, DartType type,
       { int kind: HTypeConversion.CHECKED_MODE_CHECK }) {
     if (!compiler.enableTypeAssertions) return original;
+    type = type.unalias(compiler);
     HInstruction other = original.convertType(compiler, type, kind);
     if (other != original) add(other);
+    compiler.enqueuer.codegen.registerIsCheck(type, work.resolutionTree);
     return other;
   }
 
   HGraph closeFunction() {
     // TODO(kasperl): Make this goto an implicit return.
     if (!isAborted()) close(new HGoto()).addSuccessor(graph.exit);
     graph.finalize();
     return graph;
   }
 
@@ skipping 582 matching lines @@
         Element capturedLocal = nestedClosureData.capturedFieldMapping[member];
         assert(capturedLocal != null);
         capturedVariables.add(localsHandler.readLocal(capturedLocal));
       }
     });
 
     HType type = new HType.nonNullExact(
         compiler.functionClass.computeType(compiler),
         compiler);
     push(new HForeignNew(closureClassElement, type, capturedVariables));
+
+    Element methodElement = nestedClosureData.closureElement;
+    if (compiler.backend.methodNeedsRti(methodElement)) {
+      compiler.backend.registerGenericClosure(
+          methodElement, compiler.enqueuer.codegen, work.resolutionTree);
+    }
   }
 
   visitFunctionDeclaration(FunctionDeclaration node) {
     visit(node.function);
     localsHandler.updateLocal(elements[node], pop());
   }
 
   visitIdentifier(Identifier node) {
     if (node.isThis()) {
       stack.add(localsHandler.readThis());
@@ skipping 358 matching lines @@
           inputs.add(runtimeType);
         }));
       }
       String template = '[${templates.join(', ')}]';
       HInstruction representation =
         createForeign(template, HType.READABLE_ARRAY, inputs);
       return representation;
     }
   }
 
-  visitOperatorSend(node) {
+  visitOperatorSend(Send node) {
     Operator op = node.selector;
     if (const SourceString("[]") == op.source) {
       visitDynamicSend(node);
     } else if (const SourceString("&&") == op.source ||
                const SourceString("||") == op.source) {
       visitLogicalAndOr(node, op);
     } else if (const SourceString("!") == op.source) {
       visitLogicalNot(node);
     } else if (node.argumentsNode is Prefix) {
       visitUnary(node, op);
@@ skipping 24 matching lines @@
     HInstruction expression = pop();
     TypeAnnotation typeAnnotation = argument.asTypeAnnotation();
     bool isNot = false;
     // TODO(ngeoffray): Duplicating pattern in resolver. We should
     // add a new kind of node.
     if (typeAnnotation == null) {
       typeAnnotation = argument.asSend().receiver;
       isNot = true;
     }
     DartType type = elements.getType(typeAnnotation);
+    type = type.unalias(compiler);
     if (type.isMalformed) {
       String reasons = Types.fetchReasonsFromMalformedType(type);
       if (compiler.enableTypeAssertions) {
         generateMalformedSubtypeError(node, expression, type, reasons);
       } else {
         generateRuntimeError(node, '$type is malformed: $reasons');
       }
       return;
     }
 
     HInstruction instruction;
-    if (type.kind == TypeKind.TYPE_VARIABLE) {
+    if (type.kind == TypeKind.FUNCTION) {
+      Element checkFunctionSubtype = backend.getCheckFunctionSubtype();
+      HInstruction isFuncSubtypeCall = new HStatic(checkFunctionSubtype);
+      add(isFuncSubtypeCall);
+
+      HInstruction signatureName = graph.addConstantString(
+          new DartString.literal(backend.namer.getFunctionTypeName(type)),
+          node, constantSystem);
+
+      HInstruction context;
+      HInstruction contextName;
+      if (type.containsTypeVariables) {
+        context = localsHandler.readThis();
+
+        ClassElement contextClass = Types.getClassContext(type);
+        contextName = graph.addConstantString(
+            new DartString.literal(backend.namer.getName(contextClass)),
+            node, constantSystem);
+      } else {
+        context = graph.addConstantNull(constantSystem);
+        contextName = graph.addConstantNull(constantSystem);
+      }
+
+      List<HInstruction> inputs = <HInstruction>[isFuncSubtypeCall,
+                                                 expression,
+                                                 signatureName,
+                                                 context,
+                                                 contextName];
+      HInstruction call = new HInvokeStatic(inputs, HType.UNKNOWN);
+      add(call);
+      instruction = new HIs(type, <HInstruction>[expression, call],
+          HIs.COMPOUND_CHECK);
+    } else if (type.kind == TypeKind.TYPE_VARIABLE) {
       HInstruction runtimeType = addTypeVariableReference(type);
       Element helper = backend.getGetObjectIsSubtype();
       HInstruction helperCall = new HStatic(helper);
       add(helperCall);
       List<HInstruction> inputs = <HInstruction>[helperCall, expression,
                                                  runtimeType];
       HInstruction call = new HInvokeStatic(inputs, HType.BOOLEAN);
       add(call);
       instruction = new HIs(type, <HInstruction>[expression, call],
                             HIs.VARIABLE_CHECK);
@@ skipping 355 matching lines @@
     } 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 if (name == const SourceString('JS_SIGNATURE_NAME')) {
+      stack.add(addConstantString(node, backend.namer.operatorSignature()));
+    } else if (name == const SourceString('JS_FUNCTION_TYPE_TAG')) {
+      stack.add(addConstantString(node, backend.namer.functionTypeTag()));
+    } else if (name == const SourceString('JS_FUNCTION_TYPE_VOID_RETURN_TAG')) {
+      stack.add(addConstantString(node,
+                                  backend.namer.functionTypeVoidReturnTag()));
+    } else if (name == const SourceString('JS_FUNCTION_TYPE_RETURN_TYPE_TAG')) {
+      stack.add(addConstantString(node,
+                                  backend.namer.functionTypeReturnTypeTag()));
+    } else if (name ==
+               const SourceString('JS_FUNCTION_TYPE_REQUIRED_PARAMETERS_TAG')) {
+      stack.add(addConstantString(node,
+          backend.namer.functionTypeRequiredParametersTag()));
+    } else if (name ==
+               const SourceString('JS_FUNCTION_TYPE_OPTIONAL_PARAMETERS_TAG')) {
+      stack.add(addConstantString(node,
+          backend.namer.functionTypeOptionalParametersTag()));
+    } else if (name ==
+               const SourceString('JS_FUNCTION_TYPE_NAMED_PARAMETERS_TAG')) {
+      stack.add(addConstantString(node,
+          backend.namer.functionTypeNamedParametersTag()));
     } else if (name == const SourceString('JS_DART_OBJECT_CONSTRUCTOR')) {
       handleForeignDartObjectJsConstructorFunction(node);
     } else {
       throw "Unknown foreign: ${selector}";
     }
   }
 
   generateSuperNoSuchMethodSend(Send node,
                                 Selector selector,
                                 List<HInstruction> arguments) {
@@ skipping 2056 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;
   }
 }