Implement JS_INTERCEPTOR_CONSTANT

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 3166 matching lines @@
           argument, MessageKind.GENERIC,
           {'text': 'Error: Expected a literal string.'});
     }
     stack.add(
         addConstantString(
             argument,
             backend.namer.getNameForJsGetName(
                 argument, string.dartString.slowToString())));
   }
 
+  void handleJsInterceptorConstant(Send node) {
+    void bad(Node node) {
+      compiler.reportError(node,

[ahe, 2013/10/29 15:23:07]

You can use reportFatalError to abort immediately. But it is fine to use
reportError as well. This way the compiler can diagnose more errors.

+          MessageKind.WRONG_ARGUMENT_FOR_JS_INTERCEPTOR_CONSTANT);

[ahe, 2013/10/29 15:23:07]

I'd just use MessageKind.GENERIC for this. Users should never see this message.

+      stack.add(graph.addConstantNull(compiler));
+    }
+    if (node.arguments.isEmpty || !node.arguments.tail.isEmpty) {
+      return bad(node.arguments);
+    }
+    Node argument = node.arguments.head;
+    // argument must be a TypeConstant.
+    visit(argument);
+    HInstruction argumentInstruction = pop();
+    if (argumentInstruction is! HConstant) {
+      return bad(argument);
+    }
+    Constant argumentConstant = argumentInstruction.constant;
+    if (argumentConstant is! TypeConstant) {
+      return bad(argument);
+    }
+
+    Constant constant =
+        new InterceptorConstant(argumentConstant.representedType);
+    HInstruction instruction = graph.addConstant(constant, compiler);
+    stack.add(instruction);
+  }
+
   void handleForeignJsCallInIsolate(Send node) {
     Link<Node> link = node.arguments;
     if (!compiler.hasIsolateSupport()) {
       // If the isolate library is not used, we just invoke the
       // closure.
       visit(link.tail.head);
       Selector selector = new Selector.callClosure(0);
       push(new HInvokeClosure(selector, <HInstruction>[pop()]));
     } else {
       // Call a helper method from the isolate library.
@@ skipping 147 matching lines @@
     } else if (name == 'JS_IS_INDEXABLE_FIELD_NAME') {
       Element element = compiler.findHelper(
           'JavaScriptIndexingBehavior');
       stack.add(addConstantString(node, backend.namer.operatorIs(element)));
     } else if (name == 'JS_CURRENT_ISOLATE') {
       handleForeignJsCurrentIsolate(node);
     } else if (name == 'JS_GET_NAME') {
       handleForeignJsGetName(node);
     } else if (name == 'JS_EFFECT') {
       stack.add(graph.addConstantNull(compiler));
+    } else if (name == 'JS_INTERCEPTOR_CONSTANT') {
+      handleJsInterceptorConstant(node);
     } else {
       throw "Unknown foreign: ${selector}";
     }
   }
 
   generateSuperNoSuchMethodSend(Send node,
                                 Selector selector,
                                 List<HInstruction> arguments) {
     String name = selector.name;
 
@@ skipping 2224 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;
   }
 }