| Index: src/types-inl.h
|
| diff --git a/src/types-inl.h b/src/types-inl.h
|
| index cdefbece296da9dbb9895fb9f660d1871d0ff215..941fda797c880e4d66fd37a4f0abcf1093b8fdf2 100644
|
| --- a/src/types-inl.h
|
| +++ b/src/types-inl.h
|
| @@ -14,32 +14,92 @@ namespace v8 {
|
| namespace internal {
|
|
|
| // static
|
| +ZoneTypeConfig::Tagged* ZoneTypeConfig::tagged_create(
|
| + Tag tag, int size, Zone* zone) {
|
| + Tagged* tagged = new(zone) Tagged(size + 1, zone);
|
| + tagged->Add(reinterpret_cast<void*>(tag), zone);
|
| + tagged->AddBlock(NULL, size, zone);
|
| + return tagged;
|
| +}
|
| +
|
| +
|
| +// static
|
| +void ZoneTypeConfig::tagged_shrink(Tagged* tagged, int size) {
|
| + tagged->Rewind(size + 1);
|
| +}
|
| +
|
| +
|
| +// static
|
| +ZoneTypeConfig::Tag ZoneTypeConfig::tagged_tag(Tagged* tagged) {
|
| + return static_cast<Tag>(reinterpret_cast<intptr_t>(tagged->at(0)));
|
| +}
|
| +
|
| +
|
| +// static
|
| +template<class T>
|
| +T ZoneTypeConfig::tagged_get(Tagged* tagged, int i) {
|
| + return reinterpret_cast<T>(tagged->at(i + 1));
|
| +}
|
| +
|
| +
|
| +// static
|
| +template<class T>
|
| +void ZoneTypeConfig::tagged_set(Tagged* tagged, int i, T value) {
|
| + tagged->at(i + 1) = reinterpret_cast<void*>(value);
|
| +}
|
| +
|
| +
|
| +// static
|
| +int ZoneTypeConfig::tagged_length(Tagged* tagged) {
|
| + return tagged->length() - 1;
|
| +}
|
| +
|
| +
|
| +// static
|
| Type* ZoneTypeConfig::handle(Type* type) {
|
| return type;
|
| }
|
|
|
|
|
| // static
|
| +bool ZoneTypeConfig::is(Type* type, Tag tag) {
|
| + return is_tagged(type) && tagged_tag(as_tagged(type)) == tag;
|
| +}
|
| +
|
| +
|
| +// static
|
| bool ZoneTypeConfig::is_bitset(Type* type) {
|
| return reinterpret_cast<intptr_t>(type) & 1;
|
| }
|
|
|
|
|
| // static
|
| -bool ZoneTypeConfig::is_struct(Type* type) {
|
| +bool ZoneTypeConfig::is_tagged(Type* type) {
|
| return !is_bitset(type);
|
| }
|
|
|
|
|
| // static
|
| bool ZoneTypeConfig::is_class(Type* type) {
|
| - return is_struct(type) && struct_tag(as_struct(type)) == Type::kClassTag;
|
| + return is(type, kClassTag);
|
| }
|
|
|
|
|
| // static
|
| bool ZoneTypeConfig::is_constant(Type* type) {
|
| - return is_struct(type) && struct_tag(as_struct(type)) == Type::kConstantTag;
|
| + return is(type, kConstantTag);
|
| +}
|
| +
|
| +
|
| +// static
|
| +bool ZoneTypeConfig::is_union(Type* type) {
|
| + return is(type, kUnionTag);
|
| +}
|
| +
|
| +
|
| +// static
|
| +bool ZoneTypeConfig::tagged_is_union(Tagged* tagged) {
|
| + return is(from_tagged(tagged), kUnionTag);
|
| }
|
|
|
|
|
| @@ -51,24 +111,37 @@ int ZoneTypeConfig::as_bitset(Type* type) {
|
|
|
|
|
| // static
|
| -ZoneTypeConfig::Struct* ZoneTypeConfig::as_struct(Type* type) {
|
| - ASSERT(is_struct(type));
|
| - return reinterpret_cast<Struct*>(type);
|
| +ZoneTypeConfig::Tagged* ZoneTypeConfig::as_tagged(Type* type) {
|
| + ASSERT(is_tagged(type));
|
| + return reinterpret_cast<Tagged*>(type);
|
| }
|
|
|
|
|
| // static
|
| i::Handle<i::Map> ZoneTypeConfig::as_class(Type* type) {
|
| ASSERT(is_class(type));
|
| - return i::Handle<i::Map>(static_cast<i::Map**>(as_struct(type)->args[1]));
|
| + return i::Handle<i::Map>(tagged_get<i::Map**>(as_tagged(type), 1));
|
| }
|
|
|
|
|
| // static
|
| i::Handle<i::Object> ZoneTypeConfig::as_constant(Type* type) {
|
| ASSERT(is_constant(type));
|
| - return i::Handle<i::Object>(
|
| - static_cast<i::Object**>(as_struct(type)->args[1]));
|
| + return i::Handle<i::Object>(tagged_get<i::Object**>(as_tagged(type), 1));
|
| +}
|
| +
|
| +
|
| +// static
|
| +ZoneTypeConfig::Unioned* ZoneTypeConfig::as_union(Type* type) {
|
| + ASSERT(is_union(type));
|
| + return tagged_as_union(as_tagged(type));
|
| +}
|
| +
|
| +
|
| +// static
|
| +ZoneTypeConfig::Unioned* ZoneTypeConfig::tagged_as_union(Tagged* tagged) {
|
| + ASSERT(tagged_is_union(tagged));
|
| + return reinterpret_cast<Unioned*>(tagged);
|
| }
|
|
|
|
|
| @@ -85,79 +158,80 @@ ZoneTypeConfig::Type* ZoneTypeConfig::from_bitset(int bitset, Zone* Zone) {
|
|
|
|
|
| // static
|
| -ZoneTypeConfig::Type* ZoneTypeConfig::from_struct(Struct* structured) {
|
| - return reinterpret_cast<Type*>(structured);
|
| +ZoneTypeConfig::Type* ZoneTypeConfig::from_tagged(Tagged* tagged) {
|
| + return reinterpret_cast<Type*>(tagged);
|
| }
|
|
|
|
|
| // static
|
| ZoneTypeConfig::Type* ZoneTypeConfig::from_class(
|
| i::Handle<i::Map> map, int lub, Zone* zone) {
|
| - Struct* structured = struct_create(Type::kClassTag, 2, zone);
|
| - structured->args[0] = from_bitset(lub);
|
| - structured->args[1] = map.location();
|
| - return from_struct(structured);
|
| + Tagged* tagged = tagged_create(kClassTag, 2, zone);
|
| + tagged_set(tagged, 0, lub);
|
| + tagged_set(tagged, 1, map.location());
|
| + return from_tagged(tagged);
|
| }
|
|
|
|
|
| // static
|
| ZoneTypeConfig::Type* ZoneTypeConfig::from_constant(
|
| i::Handle<i::Object> value, int lub, Zone* zone) {
|
| - Struct* structured = struct_create(Type::kConstantTag, 2, zone);
|
| - structured->args[0] = from_bitset(lub);
|
| - structured->args[1] = value.location();
|
| - return from_struct(structured);
|
| + Tagged* tagged = tagged_create(kConstantTag, 2, zone);
|
| + tagged_set(tagged, 0, lub);
|
| + tagged_set(tagged, 1, value.location());
|
| + return from_tagged(tagged);
|
| }
|
|
|
|
|
| // static
|
| -ZoneTypeConfig::Struct* ZoneTypeConfig::struct_create(
|
| - int tag, int length, Zone* zone) {
|
| - Struct* structured = reinterpret_cast<Struct*>(
|
| - zone->New(sizeof(Struct) + sizeof(void*) * (length - 1))); // NOLINT
|
| - structured->tag = tag;
|
| - structured->length = length;
|
| - return structured;
|
| +ZoneTypeConfig::Type* ZoneTypeConfig::from_union(Unioned* unioned) {
|
| + return from_tagged(tagged_from_union(unioned));
|
| }
|
|
|
|
|
| // static
|
| -void ZoneTypeConfig::struct_shrink(Struct* structured, int length) {
|
| - ASSERT(0 <= length && length <= structured->length);
|
| - structured->length = length;
|
| +ZoneTypeConfig::Tagged* ZoneTypeConfig::tagged_from_union(Unioned* unioned) {
|
| + return reinterpret_cast<Tagged*>(unioned);
|
| }
|
|
|
|
|
| // static
|
| -int ZoneTypeConfig::struct_tag(Struct* structured) {
|
| - return structured->tag;
|
| +ZoneTypeConfig::Unioned* ZoneTypeConfig::union_create(int size, Zone* zone) {
|
| + return tagged_as_union(tagged_create(kUnionTag, size, zone));
|
| }
|
|
|
|
|
| // static
|
| -Type* ZoneTypeConfig::struct_get(Struct* structured, int i) {
|
| - ASSERT(0 <= i && i < structured->length);
|
| - return static_cast<Type*>(structured->args[i]);
|
| +void ZoneTypeConfig::union_shrink(Unioned* unioned, int size) {
|
| + tagged_shrink(tagged_from_union(unioned), size);
|
| }
|
|
|
|
|
| // static
|
| -void ZoneTypeConfig::struct_set(Struct* structured, int i, Type* type) {
|
| - ASSERT(0 <= i && i < structured->length);
|
| - structured->args[i] = type;
|
| +ZoneTypeConfig::Type* ZoneTypeConfig::union_get(Unioned* unioned, int i) {
|
| + Type* type = tagged_get<Type*>(tagged_from_union(unioned), i);
|
| + ASSERT(!is_union(type));
|
| + return type;
|
| }
|
|
|
|
|
| // static
|
| -int ZoneTypeConfig::struct_length(Struct* structured) {
|
| - return structured->length;
|
| +void ZoneTypeConfig::union_set(Unioned* unioned, int i, Type* type) {
|
| + ASSERT(!is_union(type));
|
| + tagged_set(tagged_from_union(unioned), i, type);
|
| +}
|
| +
|
| +
|
| +// static
|
| +int ZoneTypeConfig::union_length(Unioned* unioned) {
|
| + return tagged_length(tagged_from_union(unioned));
|
| }
|
|
|
|
|
| // static
|
| int ZoneTypeConfig::lub_bitset(Type* type) {
|
| ASSERT(is_class(type) || is_constant(type));
|
| - return as_bitset(struct_get(as_struct(type), 0));
|
| + return static_cast<int>(tagged_get<intptr_t>(as_tagged(type), 0));
|
| }
|
|
|
| // -------------------------------------------------------------------------- //
|
| @@ -187,7 +261,7 @@ bool HeapTypeConfig::is_constant(Type* type) {
|
|
|
|
|
| // static
|
| -bool HeapTypeConfig::is_struct(Type* type) {
|
| +bool HeapTypeConfig::is_union(Type* type) {
|
| return type->IsFixedArray();
|
| }
|
|
|
| @@ -212,8 +286,8 @@ i::Handle<i::Object> HeapTypeConfig::as_constant(Type* type) {
|
|
|
|
|
| // static
|
| -i::Handle<HeapTypeConfig::Struct> HeapTypeConfig::as_struct(Type* type) {
|
| - return i::handle(Struct::cast(type));
|
| +i::Handle<HeapTypeConfig::Unioned> HeapTypeConfig::as_union(Type* type) {
|
| + return i::handle(i::FixedArray::cast(type));
|
| }
|
|
|
|
|
| @@ -246,51 +320,45 @@ i::Handle<HeapTypeConfig::Type> HeapTypeConfig::from_constant(
|
|
|
|
|
| // static
|
| -i::Handle<HeapTypeConfig::Type> HeapTypeConfig::from_struct(
|
| - i::Handle<Struct> structured) {
|
| - return i::Handle<Type>::cast(i::Handle<Object>::cast(structured));
|
| -}
|
| -
|
| -
|
| -// static
|
| -i::Handle<HeapTypeConfig::Struct> HeapTypeConfig::struct_create(
|
| - int tag, int length, Isolate* isolate) {
|
| - i::Handle<Struct> structured = isolate->factory()->NewFixedArray(length + 1);
|
| - structured->set(0, i::Smi::FromInt(tag));
|
| - return structured;
|
| +i::Handle<HeapTypeConfig::Type> HeapTypeConfig::from_union(
|
| + i::Handle<Unioned> unioned) {
|
| + return i::Handle<Type>::cast(i::Handle<Object>::cast(unioned));
|
| }
|
|
|
|
|
| // static
|
| -void HeapTypeConfig::struct_shrink(i::Handle<Struct> structured, int length) {
|
| - structured->Shrink(length + 1);
|
| +i::Handle<HeapTypeConfig::Unioned> HeapTypeConfig::union_create(
|
| + int size, Isolate* isolate) {
|
| + return isolate->factory()->NewFixedArray(size);
|
| }
|
|
|
|
|
| // static
|
| -int HeapTypeConfig::struct_tag(i::Handle<Struct> structured) {
|
| - return static_cast<i::Smi*>(structured->get(0))->value();
|
| +void HeapTypeConfig::union_shrink(i::Handle<Unioned> unioned, int size) {
|
| + unioned->Shrink(size);
|
| }
|
|
|
|
|
| // static
|
| -i::Handle<HeapTypeConfig::Type> HeapTypeConfig::struct_get(
|
| - i::Handle<Struct> structured, int i) {
|
| - Type* type = static_cast<Type*>(structured->get(i + 1));
|
| - return i::handle(type, structured->GetIsolate());
|
| +i::Handle<HeapTypeConfig::Type> HeapTypeConfig::union_get(
|
| + i::Handle<Unioned> unioned, int i) {
|
| + Type* type = static_cast<Type*>(unioned->get(i));
|
| + ASSERT(!is_union(type));
|
| + return i::handle(type, unioned->GetIsolate());
|
| }
|
|
|
|
|
| // static
|
| -void HeapTypeConfig::struct_set(
|
| - i::Handle<Struct> structured, int i, i::Handle<Type> type) {
|
| - structured->set(i + 1, *type);
|
| +void HeapTypeConfig::union_set(
|
| + i::Handle<Unioned> unioned, int i, i::Handle<Type> type) {
|
| + ASSERT(!is_union(*type));
|
| + unioned->set(i, *type);
|
| }
|
|
|
|
|
| // static
|
| -int HeapTypeConfig::struct_length(i::Handle<Struct> structured) {
|
| - return structured->length() - 1;
|
| +int HeapTypeConfig::union_length(i::Handle<Unioned> unioned) {
|
| + return unioned->length();
|
| }
|
|
|
|
|
|
|