Check for a passed-in type argument vector in the prolog of generic functions.

runtime/vm/intrinsifier.cc

 // 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 for intrinsifying functions.
 
 #include "vm/assembler.h"
 #include "vm/compiler.h"
 #include "vm/cpu.h"
 #include "vm/flags.h"
 #include "vm/flow_graph.h"
@@ skipping 14 matching lines @@
 DEFINE_FLAG(bool, trace_intrinsifier, false, "Trace intrinsifier");
 DECLARE_FLAG(bool, code_comments);
 DECLARE_FLAG(bool, print_flow_graph);
 DECLARE_FLAG(bool, print_flow_graph_optimized);
 
 bool Intrinsifier::CanIntrinsify(const Function& function) {
   if (FLAG_trace_intrinsifier) {
     THR_Print("CanIntrinsify %s ->", function.ToQualifiedCString());
   }
   if (!FLAG_intrinsify) return false;
+  // TODO(regis): Do we need to explicitly filter generic functions here?

[rmacnak, 2017/06/20 17:20:46]

Only if there are errors we don't detect at link time.

[regis, 2017/06/21 04:39:04]

I updated, but kept the TODO here for now.

   if (function.IsClosureFunction()) {
     if (FLAG_trace_intrinsifier) {
       THR_Print("No, closure function.\n");
     }
     return false;
   }
   // Can occur because of compile-all flag.
   if (function.is_external()) {
     if (FLAG_trace_intrinsifier) {
       THR_Print("No, external function.\n");
@@ skipping 1128 matching lines @@
 }
 
 
 void Intrinsifier::RegExp_ExecuteMatchSticky(Assembler* assembler) {
   IntrinsifyRegExpExecuteMatch(assembler, /*sticky=*/true);
 }
 #endif  // !defined(TARGET_ARCH_DBC)
 
 
 }  // namespace dart