Fix returning from async functions.

runtime/vm/flow_graph_builder.cc

Index: runtime/vm/flow_graph_builder.cc
diff --git a/runtime/vm/flow_graph_builder.cc b/runtime/vm/flow_graph_builder.cc
index cacb2fbcd6e4f3219a4957661a06779bae7b6256..278329adfc1160a6de74d6f546e19bb5f8e3bd15 100644
--- a/runtime/vm/flow_graph_builder.cc
+++ b/runtime/vm/flow_graph_builder.cc
@@ -1046,6 +1046,41 @@ void EffectGraphVisitor::VisitReturnNode(ReturnNode* node) {
     UnchainContexts(current_context_level);
   }
 
+  // Async functions contain two types of return statements:
+  // 1) Returns that should complete the completer once all finally blocks have
+  //    been inlined (call: :async_completer.complete(return_value)). These
+  //    returns end up returning null in the end.
+  // 2) "Continuation" returns that should not complete the completer.
+  //
+  // We distinguish those types by whether a scope() has been set or not.

[hausner, 2014/08/12 20:51:26]

Is it possible to have a return without a sequence node? As soon as you insert a
ReturnNode into a SequenceNode, it will have a scope...

[Michael Lippautz (Google), 2014/08/12 21:13:57]

True. I added a flag for this that is always true for now. Once we add the
"continuation" returns this flag will differentiate those kinds of returns. 

+  //
+  if (function.is_async_closure() && node->scope() != NULL) {
+    // Temporary store the computed return value.
+    Do(BuildStoreExprTemp(return_value));
+
+    LocalVariable* rcv_var = node->scope()->LookupVariable(
+        Symbols::AsyncCompleter(), false);
+    ASSERT(rcv_var != NULL && rcv_var->is_captured());
+    Value* rcv_value = Bind(BuildLoadLocal(*rcv_var));
+    Value* returned_value = Bind(BuildLoadExprTemp());
+    ZoneGrowableArray<PushArgumentInstr*>* arguments =
+        new(I) ZoneGrowableArray<PushArgumentInstr*>(2);
+    arguments->Add(PushArgument(rcv_value));
+    arguments->Add(PushArgument(returned_value));
+    InstanceCallInstr* call = new(I) InstanceCallInstr(
+        Scanner::kNoSourcePos,
+        Symbols::CompleterComplete(),
+        Token::kILLEGAL,
+        arguments,
+        Object::null_array(),
+        1,
+        owner()->ic_data_array());
+    Do(call);
+
+    // Rebind the return value for the actual return call to be null.
+    return_value = BuildNullValue();
+  }
+
   AddReturnExit(node->token_pos(), return_value);
 }