dart::MethodRecognizer Class Reference

#include <method_recognizer.h>

Inheritance diagram for dart::MethodRecognizer:

Public Types
enum	Kind { kUnknown , kNumRecognizedMethods }

Static Public Member Functions
static intptr_t	NumArgsCheckedForStaticCall (const Function &function)
static intptr_t	ResultCidFromPragma (const Object &function_or_field)
static bool	HasNonNullableResultTypeFromPragma (const Object &function_or_field)
static intptr_t	MethodKindToReceiverCid (Kind kind)
static const char *	KindToCString (Kind kind)
static const char *	KindToFunctionNameCString (Kind kind)
static bool	IsMarkedAsRecognized (const Function &function, const char *kind=nullptr)
static void	InitializeState ()

Detailed Description

Definition at line 25 of file method_recognizer.h.

Member Enumeration Documentation

Kind

enum dart::MethodRecognizer::Kind

Enumerator
kUnknown
kNumRecognizedMethods

Definition at line 27 of file method_recognizer.h.

            {
    kUnknown,
#define DEFINE_ENUM_LIST(class_name, function_name, enum_name, fp) k##enum_name,
    RECOGNIZED_LIST(DEFINE_ENUM_LIST)
#undef DEFINE_ENUM_LIST
        kNumRecognizedMethods
  };

Member Function Documentation

HasNonNullableResultTypeFromPragma()

bool dart::MethodRecognizer::HasNonNullableResultTypeFromPragma ( const Object &  function_or_field )

static

Definition at line 80 of file method_recognizer.cc.

                                     {
  auto T = Thread::Current();
  auto Z = T->zone();
  auto& option = Object::Handle(Z);
  if (Library::FindPragma(T, /*only_core=*/true, function_or_field,
                          Symbols::vm_non_nullable_result_type(),
                          /*multiple=*/false, &option)) {
    return true;
  }
 
  // If nothing said otherwise, the return type is nullable.
  return false;
}

InitializeState()

void dart::MethodRecognizer::InitializeState ( )

static

Definition at line 178 of file method_recognizer.cc.

                                       {
  GrowableArray<Library*> libs(3);
  Libraries(&libs);
  Function& func = Function::Handle();
  bool fingerprints_match = true;
 
  for (intptr_t i = 1; i < MethodRecognizer::kNumRecognizedMethods; i++) {
    const MethodRecognizer::Kind kind = static_cast<MethodRecognizer::Kind>(i);
    func = Library::GetFunction(libs, recognized_methods[i].class_name,
                                recognized_methods[i].function_name);
    if (!func.IsNull()) {
      fingerprints_match =
          func.CheckSourceFingerprint(recognized_methods[i].fp) &&
          fingerprints_match;
      func.set_recognized_kind(kind);
      switch (kind) {
#define RECOGNIZE_METHOD(class_name, function_name, enum_name, fp)             \
  case MethodRecognizer::k##enum_name:                                         \
    func.reset_unboxed_parameters_and_return();                                \
    break;
        ALL_INTRINSICS_LIST(RECOGNIZE_METHOD)
#undef RECOGNIZE_METHOD
        default:
          break;
      }
    } else if (!FLAG_precompiled_mode) {
      fingerprints_match = false;
      OS::PrintErr("Missing %s::%s\n", recognized_methods[i].class_name,
                   recognized_methods[i].function_name);
    }
  }
 
#define SET_FUNCTION_BIT(class_name, function_name, dest, fp, setter, value)   \
  func = Library::GetFunction(libs, #class_name, #function_name);              \
  if (!func.IsNull()) {                                                        \
    fingerprints_match =                                                       \
        func.CheckSourceFingerprint(fp) && fingerprints_match;                 \
    func.setter(value);                                                        \
  } else if (!FLAG_precompiled_mode) {                                         \
    OS::PrintErr("Missing %s::%s\n", #class_name, #function_name);             \
    fingerprints_match = false;                                                \
  }
 
#define SET_IS_POLYMORPHIC_TARGET(class_name, function_name, dest, fp)         \
  SET_FUNCTION_BIT(class_name, function_name, dest, fp,                        \
                   set_is_polymorphic_target, true)
 
  POLYMORPHIC_TARGET_LIST(SET_IS_POLYMORPHIC_TARGET);
 
#undef SET_RECOGNIZED_KIND
#undef SET_IS_POLYMORPHIC_TARGET
#undef SET_FUNCTION_BIT
 
  if (!fingerprints_match) {
    // Private names are mangled. Mangling depends on Library::private_key_.
    // If registering a new bootstrap library, add at the end.
    FATAL(
        "FP mismatch while recognizing methods. If the behavior of "
        "these functions has changed, then changes are also needed in "
        "the VM's compiler. Otherwise the fingerprint can simply be "
        "updated in recognized_methods_list.h\n");
  }
}

IsMarkedAsRecognized()

bool dart::MethodRecognizer::IsMarkedAsRecognized ( const Function &  function, const char *  kind = nullptr  )

static

Definition at line 158 of file method_recognizer.cc.

                                                              {
  const Function* functionp =
      function.IsDynamicInvocationForwarder()
          ? &Function::Handle(function.ForwardingTarget())
          : &function;
  Object& options = Object::Handle();
  bool is_recognized = Library::FindPragma(
      Thread::Current(), /*only_core=*/true, *functionp,
      Symbols::vm_recognized(), /*multiple=*/false, &options);
  if (!is_recognized) return false;
  if (kind == nullptr) return true;
 
  ASSERT(options.IsString());
  ASSERT(String::Cast(options).Equals("asm-intrinsic") ||
         String::Cast(options).Equals("graph-intrinsic") ||
         String::Cast(options).Equals("other"));
  return String::Cast(options).Equals(kind);
}

KindToCString()

const char * dart::MethodRecognizer::KindToCString ( Kind  kind )

static

Definition at line 145 of file method_recognizer.cc.

                                                     {
  if (kind >= kUnknown && kind < kNumRecognizedMethods)
    return recognized_methods[kind].enum_name;
  return "?";
}

KindToFunctionNameCString()

const char * dart::MethodRecognizer::KindToFunctionNameCString ( Kind  kind )

static

Definition at line 151 of file method_recognizer.cc.

                                                                 {
  if (kind >= kUnknown && kind < kNumRecognizedMethods)
    return recognized_methods[kind].function_name;
  return "?";
}

MethodKindToReceiverCid()

intptr_t dart::MethodRecognizer::MethodKindToReceiverCid ( Kind  kind )

static

Definition at line 95 of file method_recognizer.cc.

                                                            {
  switch (kind) {
    case kObjectArrayGetIndexed:
    case kObjectArraySetIndexed:
    case kObjectArraySetIndexedUnchecked:
      return kArrayCid;
 
    case kGrowableArrayGetIndexed:
    case kGrowableArraySetIndexed:
    case kGrowableArraySetIndexedUnchecked:
      return kGrowableObjectArrayCid;
 
#define TYPED_DATA_GET_SET_INDEXED_CASES(clazz)                                \
  case k##clazz##ArrayGetIndexed:                                              \
  case k##clazz##ArraySetIndexed:                                              \
    return kTypedData##clazz##ArrayCid;                                        \
  case kExternal##clazz##ArrayGetIndexed:                                      \
    return kExternalTypedData##clazz##ArrayCid;                                \
  case k##clazz##ArrayViewGetIndexed:                                          \
    return kTypedData##clazz##ArrayViewCid;
 
      DART_CLASS_LIST_TYPED_DATA(TYPED_DATA_GET_SET_INDEXED_CASES);
#undef TYPED_DATA_GET_SET_INDEXED_CASES
 
    case kExternalUint8ArraySetIndexed:
      return kExternalTypedDataUint8ArrayCid;
 
    case kExternalUint8ClampedArraySetIndexed:
      return kExternalTypedDataUint8ClampedArrayCid;
 
    default:
      break;
  }
  UNREACHABLE();
  return kIllegalCid;
}

NumArgsCheckedForStaticCall()

intptr_t dart::MethodRecognizer::NumArgsCheckedForStaticCall ( const Function &  function )

static

Definition at line 14 of file method_recognizer.cc.

                              {
  switch (function.recognized_kind()) {
    case MethodRecognizer::kDoubleFromInteger:
    case MethodRecognizer::kMathMin:
    case MethodRecognizer::kMathMax:
      return 2;
    default:
      return 0;
  }
}

ResultCidFromPragma()

intptr_t dart::MethodRecognizer::ResultCidFromPragma ( const Object &  function_or_field )

static

Definition at line 26 of file method_recognizer.cc.

                                     {
  auto T = Thread::Current();
  auto Z = T->zone();
  auto& option = Object::Handle(Z);
  if (Library::FindPragma(T, /*only_core=*/true, function_or_field,
                          Symbols::vm_exact_result_type(),
                          /*multiple=*/false, &option)) {
    if (option.IsType()) {
      return Type::Cast(option).type_class_id();
    } else if (option.IsString()) {
      auto& str = String::Cast(option);
      // 'str' should match the pattern '([^#]+)#([^#\?]+)' where group 1
      // is the library URI and group 2 is the class name.
      bool parse_failure = false;
      intptr_t library_end = -1;
      for (intptr_t i = 0; i < str.Length(); ++i) {
        if (str.CharAt(i) == '#') {
          if (library_end != -1) {
            parse_failure = true;
            break;
          } else {
            library_end = i;
          }
        }
      }
      if (!parse_failure && library_end > 0) {
        auto& tmp =
            String::Handle(String::SubString(str, 0, library_end, Heap::kOld));
        const auto& library = Library::Handle(Library::LookupLibrary(T, tmp));
        if (!library.IsNull()) {
          tmp = String::SubString(str, library_end + 1,
                                  str.Length() - library_end - 1, Heap::kOld);
          const auto& klass =
              Class::Handle(library.LookupClassAllowPrivate(tmp));
          if (!klass.IsNull()) {
            return klass.id();
          }
        }
      }
    } else if (option.IsArray()) {
      const Array& array = Array::Cast(option);
      if (array.Length() > 0) {
        const Object& type = Object::Handle(Array::Cast(option).At(0));
        if (type.IsType()) {
          return Type::Cast(type).type_class_id();
        }
      }
    }
  }
 
  return kDynamicCid;
}

---

The documentation for this class was generated from the following files:

• third_party/dart-lang/sdk/runtime/vm/compiler/method_recognizer.h
• third_party/dart-lang/sdk/runtime/vm/compiler/method_recognizer.cc