| /third_party/node/deps/v8/src/wasm/ |
| D | wasm-subtyping.h | 21 ValueType subtype, ValueType supertype, const WasmModule* sub_module,
60 V8_INLINE bool IsSubtypeOf(ValueType subtype, ValueType supertype, in IsSubtypeOf() argument
63 if (subtype == supertype && sub_module == super_module) return true; in IsSubtypeOf()
64 return IsSubtypeOfImpl(subtype, supertype, sub_module, super_module); in IsSubtypeOf()
68 V8_INLINE bool IsSubtypeOf(ValueType subtype, ValueType supertype, in IsSubtypeOf() argument
71 if (V8_LIKELY(subtype == supertype)) return true; in IsSubtypeOf()
72 return IsSubtypeOfImpl(subtype, supertype, module, module); in IsSubtypeOf()
78 HeapType::Representation supertype, in IsHeapSubtypeOf() argument
81 ValueType::Ref(supertype, kNonNullable), module); in IsHeapSubtypeOf()
|
| D | wasm-module.h | 353 TypeDefinition(const FunctionSig* sig, uint32_t supertype) in TypeDefinition()
354 : function_sig(sig), supertype(supertype), kind(kFunction) {} in TypeDefinition()
355 TypeDefinition(const StructType* type, uint32_t supertype) in TypeDefinition()
356 : struct_type(type), supertype(supertype), kind(kStruct) {} in TypeDefinition()
357 TypeDefinition(const ArrayType* type, uint32_t supertype) in TypeDefinition()
358 : array_type(type), supertype(supertype), kind(kArray) {} in TypeDefinition()
360 : function_sig(nullptr), supertype(kNoSuperType), kind(kFunction) {} in TypeDefinition()
369 if (supertype != other.supertype || kind != other.kind) {
386 uint32_t supertype; member
452 void add_signature(const FunctionSig* sig, uint32_t supertype) { in add_signature()
[all …]
|
| D | wasm-subtyping.cc | 126 ValueType subtype, ValueType supertype, const WasmModule* sub_module, in IsSubtypeOfImpl() argument
128 DCHECK(subtype != supertype || sub_module != super_module); in IsSubtypeOfImpl()
140 return subtype == supertype; in IsSubtypeOfImpl()
142 return supertype.kind() == kRtt && in IsSubtypeOfImpl()
143 EquivalentIndices(subtype.ref_index(), supertype.ref_index(), in IsSubtypeOfImpl()
153 ? supertype.is_nullable() in IsSubtypeOfImpl()
154 : supertype.is_object_reference(); in IsSubtypeOfImpl()
157 DCHECK(supertype.is_object_reference()); in IsSubtypeOfImpl()
162 HeapType super_heap = supertype.heap_type(); in IsSubtypeOfImpl()
219 uint32_t explicit_super = sub_module->supertype(sub_index); in IsSubtypeOfImpl()
[all …]
|
| D | canonical-types.cc | 49 ? canonical_type.type_def.supertype + first_canonical_index in AddRecursiveGroup()
50 : canonical_type.type_def.supertype; in AddRecursiveGroup()
98 if (type.supertype < recursive_group_start) { in CanonicalizeTypeDef()
100 module->isorecursive_canonical_type_ids[type.supertype]; in CanonicalizeTypeDef()
101 } else if (type.supertype != kNoSuperType) { in CanonicalizeTypeDef()
102 canonical_supertype = type.supertype - recursive_group_start; in CanonicalizeTypeDef()
|
| D | wasm-module-builder.cc | 308 uint32_t supertype) { in ForceAddSignature() argument
311 types_.emplace_back(sig, supertype); in ForceAddSignature()
316 uint32_t supertype) { in AddSignature() argument
319 return ForceAddSignature(sig, supertype); in AddSignature()
331 uint32_t supertype) { in AddStructType() argument
333 types_.emplace_back(type, supertype); in AddStructType()
337 uint32_t WasmModuleBuilder::AddArrayType(ArrayType* type, uint32_t supertype) { in AddArrayType() argument
339 types_.emplace_back(type, supertype); in AddArrayType()
616 if (type.supertype != kNoSuperType) { in WriteTo()
619 buffer->write_u32v(type.supertype); in WriteTo()
|
| D | wasm-module-builder.h | 338 uint32_t supertype = kNoSuperType);
341 uint32_t supertype = kNoSuperType);
343 uint32_t AddStructType(StructType* type, uint32_t supertype = kNoSuperType);
344 uint32_t AddArrayType(ArrayType* type, uint32_t supertype = kNoSuperType);
|
| D | module-decoder.cc | 586 bool check_supertype(uint32_t supertype) { in check_supertype() argument
587 if (V8_UNLIKELY(supertype >= module_->types.size())) { in check_supertype()
589 module_->types.size(), supertype); in check_supertype()
661 uint32_t supertype = in consume_subtype_definition() local
663 if (!check_supertype(supertype)) return {}; in consume_subtype_definition()
665 type.supertype = supertype; in consume_subtype_definition()
753 uint32_t explicit_super = module_->supertype(i); in DecodeTypeSection()
|
| /third_party/typescript/tests/baselines/reference/ |
| D | conditionalOperatorWithIdenticalBCT.types | 28 //Cond ? Expr1 : Expr2, Expr1 is supertype
106 //Cond ? Expr1 : Expr2, Expr2 is supertype
184 //Result = Cond ? Expr1 : Expr2, Result is supertype
|
| D | conditionalOperatorWithIdenticalBCT.symbols | 31 //Cond ? Expr1 : Expr2, Expr1 is supertype
78 //Cond ? Expr1 : Expr2, Expr2 is supertype
125 //Result = Cond ? Expr1 : Expr2, Result is supertype
|
| D | apparentTypeSupertype.types | 3 // S is a subtype of a type T, and T is a supertype of S, if one of the following is true, where S'…
|
| D | bestCommonTypeWithContextualTyping.types | 21 // All of these should pass. Neither type is a supertype of the other, but the RHS should
|
| D | apparentTypeSupertype.symbols | 3 // S is a subtype of a type T, and T is a supertype of S, if one of the following is true, where S'…
|
| D | apparentTypeSubtyping.types | 3 // S is a subtype of a type T, and T is a supertype of S, if one of the following is true, where S'…
|
| D | functionImplementations.errors.txt | 77 // in the function body that is a supertype of each of the others,
79 …ime error occurs if no return statement expression has a type that is a supertype of each of the o…
|
| D | apparentTypeSupertype.errors.txt | 9 …// S is a subtype of a type T, and T is a supertype of S, if one of the following is true, where S…
|
| D | genericCallWithObjectTypeArgsAndConstraints3.errors.txt | 22 …var r1 = f({ x: new Derived(), y: new Derived2() }); // error because neither is supertype of the …
|
| D | bestCommonTypeWithContextualTyping.symbols | 26 // All of these should pass. Neither type is a supertype of the other, but the RHS should
|
| D | apparentTypeSubtyping.errors.txt | 8 …// S is a subtype of a type T, and T is a supertype of S, if one of the following is true, where S…
|
| D | apparentTypeSubtyping.symbols | 3 // S is a subtype of a type T, and T is a supertype of S, if one of the following is true, where S'…
|
| D | subtypingWithObjectMembersOptionality.types | 13 // S is a subtype of a type T, and T is a supertype of S, if one of the following is true, where S'…
|
| D | functionImplementations.types | 179 // in the function body that is a supertype of each of the others,
181 // A compile - time error occurs if no return statement expression has a type that is a supertype o…
|
| /third_party/typescript/tests/issues_cookbook_tests/pages/cookbook/ |
| D | 5.18.ets | 51 // D is derived from B, which explicitly set subtype/supertype relations.
|
| /third_party/openssl/doc/man7/ |
| D | x509.pod | 30 Finally, there's the supertype X509_INFO, which can contain a CRL, a
|
| /third_party/node/deps/v8/src/torque/ |
| D | instructions.cc | 30 void ExpectSubtype(const Type* subtype, const Type* supertype) { in ExpectSubtype() argument
31 if (!subtype->IsSubtypeOf(supertype)) { in ExpectSubtype()
32 ReportError("type ", *subtype, " is not a subtype of ", *supertype); in ExpectSubtype()
|
| D | types.cc | 90 bool Type::IsSubtypeOf(const Type* supertype) const { in IsSubtypeOf()
91 if (supertype->IsTopType()) return true; in IsSubtypeOf()
93 if (const UnionType* union_type = UnionType::DynamicCast(supertype)) { in IsSubtypeOf()
98 if (subtype == supertype) return true; in IsSubtypeOf()
|