dart::compiler::ffi::NativeType Class Reference

#include <native_type.h>

Inheritance diagram for dart::compiler::ffi::NativeType:

Public Member Functions
virtual bool	IsPrimitive () const
const NativePrimitiveType &	AsPrimitive () const
virtual bool	IsArray () const
const NativeArrayType &	AsArray () const
virtual bool	IsCompound () const
const NativeCompoundType &	AsCompound () const
virtual bool	IsStruct () const
const NativeStructType &	AsStruct () const
virtual bool	IsInt () const
virtual bool	IsFloat () const
virtual bool	IsVoid () const
virtual bool	IsSigned () const
virtual intptr_t	SizeInBytes () const =0
virtual intptr_t	AlignmentInBytesStack (bool is_vararg=false) const =0
virtual intptr_t	AlignmentInBytesField () const =0
virtual bool	ContainsOnlyFloats (Range range) const =0
virtual bool	ContainsUnalignedMembers (intptr_t offset=0) const =0
virtual bool	IsExpressibleAsRepresentation () const
virtual Representation	AsRepresentation () const
Representation	AsRepresentationOverApprox (Zone *zone_) const
virtual bool	Equals (const NativeType &other) const
virtual NativeType &	Split (Zone *zone, intptr_t index) const
const NativeType &	WidenTo4Bytes (Zone *zone) const
const NativeType &	WidenTo8Bytes (Zone *zone) const
const NativeType &	Extend (Zone *zone, ExtensionStrategy extension) const
virtual void	PrintTo (BaseTextBuffer *f, bool multi_line=false, bool verbose=true) const
const char *	ToCString (Zone *zone, bool multi_line=false, bool verbose=true) const
const char *	ToCString () const
virtual intptr_t	NumPrimitiveMembersRecursive () const =0
virtual const NativePrimitiveType &	FirstPrimitiveMember () const =0
virtual intptr_t	PrimitivePairMembers (const NativePrimitiveType **first, const NativePrimitiveType **second, intptr_t offset_in_members=0) const =0
virtual	~NativeType ()
Public Member Functions inherited from dart::ZoneAllocated
	ZoneAllocated ()
void *	operator new (size_t size)
void *	operator new (size_t size, Zone *zone)
void	operator delete (void *pointer)

Static Public Member Functions
static const NativeType *	FromAbstractType (Zone *zone, const AbstractType &type, const char **error)
static const NativeType &	FromTypedDataClassId (Zone *zone, classid_t class_id)
static NativePrimitiveType &	FromRepresentation (Zone *zone, Representation rep)

Protected Member Functions
	NativeType ()

Detailed Description

Definition at line 66 of file native_type.h.

Constructor & Destructor Documentation

~NativeType()

virtual dart::compiler::ffi::NativeType::~NativeType ( )

inlinevirtual

Definition at line 173 of file native_type.h.

{}

NativeType()

dart::compiler::ffi::NativeType::NativeType ( )

inlineprotected

Definition at line 176 of file native_type.h.

{}

Member Function Documentation

AlignmentInBytesField()

virtual intptr_t dart::compiler::ffi::NativeType::AlignmentInBytesField ( ) const

pure virtual

Implemented in dart::compiler::ffi::NativePrimitiveType, dart::compiler::ffi::NativeArrayType, and dart::compiler::ffi::NativeCompoundType.

AlignmentInBytesStack()

virtual intptr_t dart::compiler::ffi::NativeType::AlignmentInBytesStack ( bool  is_vararg = false ) const

pure virtual

Implemented in dart::compiler::ffi::NativePrimitiveType, dart::compiler::ffi::NativeArrayType, dart::compiler::ffi::NativeCompoundType, and dart::compiler::ffi::NativeStructType.

AsArray()

const NativeArrayType & dart::compiler::ffi::NativeType::AsArray

(

)

const

Definition at line 51 of file native_type.cc.

                                                 {
  ASSERT(IsArray());
  return static_cast<const NativeArrayType&>(*this);
}

AsCompound()

const NativeCompoundType & dart::compiler::ffi::NativeType::AsCompound

(

)

const

Definition at line 56 of file native_type.cc.

                                                       {
  ASSERT(IsCompound());
  return static_cast<const NativeCompoundType&>(*this);
}

AsPrimitive()

const NativePrimitiveType & dart::compiler::ffi::NativeType::AsPrimitive

(

)

const

Definition at line 46 of file native_type.cc.

                                                         {
  ASSERT(IsPrimitive());
  return static_cast<const NativePrimitiveType&>(*this);
}

AsRepresentation()

virtual Representation dart::compiler::ffi::NativeType::AsRepresentation ( ) const

inlinevirtual

Reimplemented in dart::compiler::ffi::NativePrimitiveType.

Definition at line 121 of file native_type.h.

{ UNREACHABLE_THIS(); }

AsRepresentationOverApprox()

Representation dart::compiler::ffi::NativeType::AsRepresentationOverApprox

(

Zone *

zone_

)

const

Definition at line 1076 of file native_type.cc.

                                                                       {
  if (IsPrimitive()) {
    switch (AsPrimitive().representation()) {
      case kInt24:
        return kUnboxedInt32;
      case kUint24:
        return kUnboxedUint32;
      case kInt40:
      case kUint40:
      case kInt48:
      case kUint48:
      case kInt56:
      case kUint56:
        return kUnboxedInt64;
      default:
        break;
    }
  }
  const auto& widened = WidenTo4Bytes(zone_);
  return widened.AsRepresentation();
}

AsStruct()

const NativeStructType & dart::compiler::ffi::NativeType::AsStruct

(

)

const

Definition at line 61 of file native_type.cc.

                                                   {
  ASSERT(IsStruct());
  return static_cast<const NativeStructType&>(*this);
}

ContainsOnlyFloats()

virtual bool dart::compiler::ffi::NativeType::ContainsOnlyFloats ( Range  range ) const

pure virtual

Implemented in dart::compiler::ffi::NativePrimitiveType, dart::compiler::ffi::NativeArrayType, dart::compiler::ffi::NativeStructType, dart::compiler::ffi::NativeUnionType, and dart::compiler::ffi::NativeCompoundType.

ContainsUnalignedMembers()

virtual bool dart::compiler::ffi::NativeType::ContainsUnalignedMembers ( intptr_t  offset = 0 ) const

pure virtual

Implemented in dart::compiler::ffi::NativePrimitiveType, dart::compiler::ffi::NativeArrayType, dart::compiler::ffi::NativeStructType, dart::compiler::ffi::NativeUnionType, and dart::compiler::ffi::NativeCompoundType.

Equals()

virtual bool dart::compiler::ffi::NativeType::Equals ( const NativeType &  other ) const

inlinevirtual

Reimplemented in dart::compiler::ffi::NativePrimitiveType, dart::compiler::ffi::NativeArrayType, and dart::compiler::ffi::NativeCompoundType.

Definition at line 127 of file native_type.h.

{ UNREACHABLE_THIS(); }

Extend()

const NativeType & dart::compiler::ffi::NativeType::Extend ( Zone *  zone, ExtensionStrategy  extension  ) const

inline

Definition at line 140 of file native_type.h.

                                                                          {
    switch (extension) {
      case kNotExtended:
        return *this;
      case kExtendedTo4:
        return WidenTo4Bytes(zone);
      case kExtendedTo8:
        return WidenTo8Bytes(zone);
      default:
        UNREACHABLE();
    }
  }

FirstPrimitiveMember()

virtual const NativePrimitiveType & dart::compiler::ffi::NativeType::FirstPrimitiveMember ( ) const

pure virtual

Implemented in dart::compiler::ffi::NativePrimitiveType, dart::compiler::ffi::NativeArrayType, and dart::compiler::ffi::NativeCompoundType.

FromAbstractType()

const NativeType * dart::compiler::ffi::NativeType::FromAbstractType ( Zone *  zone, const AbstractType &  type, const char **  error  )

static

Definition at line 549 of file native_type.cc.

                                                                   {
  const classid_t class_id = type.type_class_id();
  if (IsFfiPredefinedClassId(class_id)) {
    return &NativeType::FromTypedDataClassId(zone, class_id);
  }
 
  // User-defined structs, unions, or Abi-specific integers.
  const auto& cls = Class::Handle(zone, type.type_class());
  const auto& superClass = Class::Handle(zone, cls.SuperClass());
  const bool is_struct = String::Handle(zone, superClass.UserVisibleName())
                             .Equals(Symbols::Struct());
  const bool is_union = String::Handle(zone, superClass.UserVisibleName())
                            .Equals(Symbols::Union());
  const bool is_abi_specific_int =
      String::Handle(zone, superClass.UserVisibleName())
          .Equals(Symbols::AbiSpecificInteger());
  RELEASE_ASSERT(is_struct || is_union || is_abi_specific_int);
 
  auto& pragmas = Object::Handle(zone);
  String& pragma_name = String::Handle(zone);
  if (is_struct || is_union) {
    pragma_name = Symbols::vm_ffi_struct_fields().ptr();
  } else {
    ASSERT(is_abi_specific_int);
    pragma_name = Symbols::vm_ffi_abi_specific_mapping().ptr();
  }
  Library::FindPragma(dart::Thread::Current(), /*only_core=*/false, cls,
                      pragma_name, /*multiple=*/true, &pragmas);
  ASSERT(!pragmas.IsNull());
  ASSERT(pragmas.IsGrowableObjectArray());
  const auto& pragmas_array = GrowableObjectArray::Cast(pragmas);
  auto& pragma = Instance::Handle(zone);
  auto& clazz = Class::Handle(zone);
  auto& library = Library::Handle(zone);
  String& class_symbol = String::Handle(zone);
  if (is_struct || is_union) {
    class_symbol = Symbols::FfiStructLayout().ptr();
  } else {
    ASSERT(is_abi_specific_int);
    class_symbol = Symbols::FfiAbiSpecificMapping().ptr();
  }
  for (intptr_t i = 0; i < pragmas_array.Length(); i++) {
    pragma ^= pragmas_array.At(i);
    clazz ^= pragma.clazz();
    library ^= clazz.library();
    if (String::Handle(zone, clazz.UserVisibleName()).Equals(class_symbol) &&
        String::Handle(zone, library.url()).Equals(Symbols::DartFfi())) {
      break;
    }
  }
 
  if (is_struct || is_union) {
    return CompoundFromPragma(zone, pragma, is_struct, error);
  }
  ASSERT(is_abi_specific_int);
  return AbiSpecificFromPragma(zone, pragma, cls, error);
}

FromRepresentation()

NativePrimitiveType & dart::compiler::ffi::NativeType::FromRepresentation ( Zone *  zone, Representation  rep  )

static

Definition at line 632 of file native_type.cc.

                                                                        {
  return *new (zone) NativePrimitiveType(fundamental_rep(rep));
}

FromTypedDataClassId()

const NativeType & dart::compiler::ffi::NativeType::FromTypedDataClassId ( Zone *  zone, classid_t  class_id  )

static

Definition at line 435 of file native_type.cc.

                                                                       {
  ASSERT(IsFfiPredefinedClassId(class_id));
  const auto fundamental_rep = TypeRepresentation(class_id);
  return *new (zone) NativePrimitiveType(fundamental_rep);
}

IsArray()

virtual bool dart::compiler::ffi::NativeType::IsArray ( ) const

inlinevirtual

Reimplemented in dart::compiler::ffi::NativeArrayType.

Definition at line 82 of file native_type.h.

{ return false; }

IsCompound()

virtual bool dart::compiler::ffi::NativeType::IsCompound ( ) const

inlinevirtual

Reimplemented in dart::compiler::ffi::NativeCompoundType.

Definition at line 84 of file native_type.h.

{ return false; }

IsExpressibleAsRepresentation()

virtual bool dart::compiler::ffi::NativeType::IsExpressibleAsRepresentation ( ) const

inlinevirtual

Reimplemented in dart::compiler::ffi::NativePrimitiveType.

Definition at line 118 of file native_type.h.

{ return false; }

IsFloat()

virtual bool dart::compiler::ffi::NativeType::IsFloat ( ) const

inlinevirtual

Reimplemented in dart::compiler::ffi::NativePrimitiveType.

Definition at line 90 of file native_type.h.

{ return false; }

IsInt()

virtual bool dart::compiler::ffi::NativeType::IsInt ( ) const

inlinevirtual

Reimplemented in dart::compiler::ffi::NativePrimitiveType.

Definition at line 89 of file native_type.h.

{ return false; }

IsPrimitive()

virtual bool dart::compiler::ffi::NativeType::IsPrimitive ( ) const

inlinevirtual

Reimplemented in dart::compiler::ffi::NativePrimitiveType.

Definition at line 80 of file native_type.h.

{ return false; }

IsSigned()

virtual bool dart::compiler::ffi::NativeType::IsSigned ( ) const

inlinevirtual

Reimplemented in dart::compiler::ffi::NativePrimitiveType.

Definition at line 93 of file native_type.h.

{ return false; }

IsStruct()

virtual bool dart::compiler::ffi::NativeType::IsStruct ( ) const

inlinevirtual

Reimplemented in dart::compiler::ffi::NativeStructType.

Definition at line 86 of file native_type.h.

{ return false; }

IsVoid()

virtual bool dart::compiler::ffi::NativeType::IsVoid ( ) const

inlinevirtual

Reimplemented in dart::compiler::ffi::NativePrimitiveType.

Definition at line 91 of file native_type.h.

{ return false; }

NumPrimitiveMembersRecursive()

virtual intptr_t dart::compiler::ffi::NativeType::NumPrimitiveMembersRecursive ( ) const

pure virtual

Implemented in dart::compiler::ffi::NativePrimitiveType, dart::compiler::ffi::NativeArrayType, dart::compiler::ffi::NativeStructType, dart::compiler::ffi::NativeUnionType, and dart::compiler::ffi::NativeCompoundType.

PrimitivePairMembers()

virtual intptr_t dart::compiler::ffi::NativeType::PrimitivePairMembers ( const NativePrimitiveType **  first, const NativePrimitiveType **  second, intptr_t  offset_in_members = 0  ) const

pure virtual

Implemented in dart::compiler::ffi::NativePrimitiveType, dart::compiler::ffi::NativeArrayType, and dart::compiler::ffi::NativeCompoundType.

PrintTo()

void dart::compiler::ffi::NativeType::PrintTo ( BaseTextBuffer *  f, bool  multi_line = false, bool  verbose = true  ) const

virtual

Reimplemented in dart::compiler::ffi::NativePrimitiveType, dart::compiler::ffi::NativeArrayType, and dart::compiler::ffi::NativeCompoundType.

Definition at line 715 of file native_type.cc.

                                             {
  f->AddString("I");
}

SizeInBytes()

virtual intptr_t dart::compiler::ffi::NativeType::SizeInBytes ( ) const

pure virtual

Implemented in dart::compiler::ffi::NativePrimitiveType, dart::compiler::ffi::NativeArrayType, and dart::compiler::ffi::NativeCompoundType.

Split()

virtual NativeType & dart::compiler::ffi::NativeType::Split ( Zone *  zone, intptr_t  index  ) const

inlinevirtual

Reimplemented in dart::compiler::ffi::NativePrimitiveType.

Definition at line 130 of file native_type.h.

                                                              {
    UNREACHABLE_THIS();
  }

ToCString() [1/2]

const char * dart::compiler::ffi::NativeType::ToCString

(

)

const

Definition at line 663 of file native_type.cc.

                                        {
  return ToCString(Thread::Current()->zone());
}

ToCString() [2/2]

const char * dart::compiler::ffi::NativeType::ToCString	(	Zone *	zone,
		bool	multi_line = false,
		bool	verbose = true
	)		const

Definition at line 654 of file native_type.cc.

                                                      {
  ZoneTextBuffer textBuffer(zone);
  PrintTo(&textBuffer, multi_line, verbose);
  return textBuffer.buffer();
}

WidenTo4Bytes()

const NativeType & dart::compiler::ffi::NativeType::WidenTo4Bytes

(

Zone *

zone

)

const

Definition at line 1099 of file native_type.cc.

                                                            {
  if (IsInt() && SizeInBytes() <= 2) {
    if (IsSigned()) {
      return *new (zone) NativePrimitiveType(kInt32);
    } else {
      return *new (zone) NativePrimitiveType(kUint32);
    }
  }
  return *this;
}

WidenTo8Bytes()

const NativeType & dart::compiler::ffi::NativeType::WidenTo8Bytes

(

Zone *

zone

)

const

Definition at line 1110 of file native_type.cc.

                                                            {
  if (IsInt() && SizeInBytes() <= 4) {
    if (IsSigned()) {
      return *new (zone) NativePrimitiveType(kInt64);
    } else {
      return *new (zone) NativePrimitiveType(kUint64);
    }
  }
  return *this;
}

---

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

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