Codegen support for the argument definition test.

lib/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.
 
 class Interceptors {
   Compiler compiler;
   Interceptors(Compiler this.compiler);
 
   SourceString mapOperatorToMethodName(Operator op) {
     String name = op.source.stringValue;
@@ skipping 794 matching lines @@
   HGraph graph;
   LocalsHandler localsHandler;
   HInstruction rethrowableException;
   Map<Element, HParameterValue> parameters;
 
   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 HFieldGet and HFieldSet.
+   * accessed indirectly through [HLocalGet] and [HLocalSet].
    */
   Map<Element, HLocalValue> activationVariables;
 
   // We build the Ssa graph by simulating a stack machine.
   List<HInstruction> stack;
 
   // The current block to add instructions to. Might be null, if we are
   // visiting dead code.
   HBasicBlock current;
   // The most recently opened block. Has the same value as [current] while
@@ skipping 393 matching lines @@
       // these selectors. Maybe the resolver can do more of the work
       // for us here?
       LibraryElement library = body.getLibrary();
       Selector selector = new Selector.call(name, library, arity);
       add(new HInvokeDynamicMethod(selector, bodyCallInputs));
     }
     close(new HReturn(newObject)).addSuccessor(graph.exit);
     return closeFunction();
   }
 
+  void addParameterCheckInstruction(Element element) {
+    // This is the code we emit for a parameter that is being checked
+    // on whether it was given at value at the call site:
+    //
+    // foo([a = 42) {
+    //   if (?a) print('parameter passed $a');
+    // }
+    //
+    // foo([a = 42]) {
+    //   var t1 = a === sentinel;
+    //   if (t1) a = 42;
+    //   if (!t1) print('parameter passed ' + a);
+    // }
+
+    // Fetch the original default value of [element];
+    ConstantHandler handler = compiler.constantHandler;
+    Constant constant = handler.compileVariable(element);
+    HConstant defaultValue = constant == null
+        ? graph.addConstantNull()
+        : graph.addConstant(constant);
+
+    // Emit the equality check with the sentinel.
+    HConstant sentinel = graph.addConstant(SentinelConstant.SENTINEL);
+    Element equalsHelper = interceptors.getTripleEqualsInterceptor();
+    HInstruction target = new HStatic(equalsHelper);
+    add(target);
+    HInstruction operand = parameters[element];
+    HInstruction check = new HIdentity(target, sentinel, operand);
+    add(check);
+
+    // If the check succeeds, we must update the parameter with the
+    // default value.
+    handleIf(element.parseNode(compiler),
+             () => stack.add(check),
+             () => localsHandler.updateLocal(element, defaultValue),
+             null);
+
+    // Create the instruction that parameter checks will use.
+    check = new HNot(check);
+    add(check);
+
+    ClosureClassMap closureData = localsHandler.closureData;
+    Element checkResultElement = closureData.parametersWithSentinel[element];
+    localsHandler.updateLocal(checkResultElement, check);
+  }
+
   void openFunction(FunctionElement functionElement,
                     FunctionExpression node) {
     HBasicBlock block = graph.addNewBlock();
     open(graph.entry);
 
     localsHandler.startFunction(functionElement, node);
     close(new HGoto()).addSuccessor(block);
 
     open(block);
 
+    FunctionSignature params = functionElement.computeSignature(compiler);
+    params.forEachParameter((Element element) {
+      if (elements.isParameterChecked(element)) {
+        addParameterCheckInstruction(element);
+      }
+    });
+
     // Put the type checks in the first successor of the entry,
     // because that is where the type guards will also be inserted.
     // This way we ensure that a type guard will dominate the type
     // check.
-    FunctionSignature params = functionElement.computeSignature(compiler);
     params.forEachParameter((Element element) {
       HInstruction newParameter = potentiallyCheckType(
           localsHandler.directLocals[element], element);
       localsHandler.directLocals[element] = newParameter;
     });
 
     // Add the type parameters of the class as parameters of this
     // method.
     if (functionElement.isFactoryConstructor()
         || functionElement.isGenerativeConstructor()) {
@@ skipping 517 matching lines @@
 
 
   void visitLogicalNot(Send node) {
     assert(node.argumentsNode is Prefix);
     visit(node.receiver);
     HNot not = new HNot(popBoolified());
     pushWithPosition(not, node);
   }
 
   void visitUnary(Send node, Operator op) {
-    String value = op.source.stringValue;
-    if (value === '?') {
-      // TODO(ahe): Implement argument definition test.
-      stack.add(graph.addConstantBool(true));
+    if (node.isParameterCheck) {
+      Element element = elements[node.receiver];
+      Node function = element.enclosingElement.parseNode(compiler);
+      ClosureClassMap parameterClosureData =
+          compiler.closureToClassMapper.getMappingForNestedFunction(function);
+      Element fieldCheck =
+          parameterClosureData.parametersWithSentinel[element];
+      stack.add(localsHandler.readLocal(fieldCheck));
       return;
     }
     assert(node.argumentsNode is Prefix);
     visit(node.receiver);
     assert(op.token.kind !== PLUS_TOKEN);
     HInstruction operand = pop();
 
     HInstruction target =
         new HStatic(interceptors.getPrefixOperatorInterceptor(op));
     add(target);
     HInvokeUnary result;
+    String value = op.source.stringValue;
     switch (value) {
       case "-": result = new HNegate(target, operand); break;
       case "~": result = new HBitNot(target, operand); break;
       default:
         compiler.internalError('Unexpected unary operator: $value.', node: op);
         break;
     }
     // See if we can constant-fold right away. This avoids rewrites later on.
     if (operand is HConstant) {
       HConstant constant = operand;
@@ skipping 352 matching lines @@
    */
   bool addStaticSendArgumentsToList(Selector selector,
                                     Link<Node> arguments,
                                     FunctionElement element,
                                     List<HInstruction> list) {
     HInstruction compileArgument(Node argument) {
       visit(argument);
       return pop();
     }
 
-    HInstruction compileConstant(Element constantElement) {
-      Constant constant = compiler.compileVariable(constantElement);
+    HInstruction compileConstant(Element parameter) {
+      Constant constant;
+      TreeElements calleeElements =
+          compiler.enqueuer.resolution.getCachedElements(element);
+      if (calleeElements.isParameterChecked(parameter)) {
+        constant = SentinelConstant.SENTINEL;
+      } else {
+        constant = compiler.compileVariable(parameter);
+      }
       return graph.addConstant(constant);
     }
 
     return selector.addArgumentsToList(arguments,
                                        list,
                                        element,
                                        compileArgument,
                                        compileConstant,
                                        compiler);
   }
@@ skipping 1482 matching lines @@
   }
 
   void visitFunctionExpression(Node node) {
     tooDifficult = true;
   }
 
   void visitFunctionDeclaration(Node node) {
     tooDifficult = true;
   }
 
-  void visitSend(Node node) {
+  void visitSend(Send node) {
+    if (node.isParameterCheck) {
+      tooDifficult = true;
+      return;
+    }
     node.visitChildren(this);
   }
 
   visitLoop(Node node) {
     node.visitChildren(this);
     if (seenReturn) tooDifficult = true;
   }
 
   void visitReturn(Node node) {
     if (seenReturn || node.getBeginToken().stringValue === 'native') {
@@ skipping 250 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;
   }
 }