[VM DBC compiler and simulator] Support reified generic functions.

runtime/vm/flow_graph_compiler_dbc.cc

Index: runtime/vm/flow_graph_compiler_dbc.cc
diff --git a/runtime/vm/flow_graph_compiler_dbc.cc b/runtime/vm/flow_graph_compiler_dbc.cc
index 06114b23b921b91dfffa90f1522e8b4ec8c13dd0..075fbcb8d86021a7cafc6653899a1b8bd734678c 100644
--- a/runtime/vm/flow_graph_compiler_dbc.cc
+++ b/runtime/vm/flow_graph_compiler_dbc.cc
@@ -406,9 +406,12 @@ void FlowGraphCompiler::EmitFrameEntry() {
   // Check for a passed type argument vector if the function is generic.
   if (FLAG_reify_generic_functions && function.IsGeneric() &&
       !flow_graph().IsCompiledForOsr()) {
-    __ Comment("Check passed-in type args");
-    UNIMPLEMENTED();  // TODO(regis): Not yet supported.
+    __ CheckFunctionTypeArgs(function.NumTypeParameters(),
+                             -parsed_function().first_stack_local_index() - 1);
   }
+
+  // TODO(regis): Verify that no vector is passed if not generic, unless already
+  // checked during resolution.
 }
 
 void FlowGraphCompiler::CompileGraph() {