Searched defs:tsys (Results 1 – 3 of 3) sorted by relevance
| /arkcompiler/runtime_core/static_core/verification/type/ |
| D | type_type.cpp | 198 [[maybe_unused]] bool InvariantHolds(Type tp, TypeSystem const *tsys) in InvariantHolds()
422 static Span<Type> CopySpanToTypeSystem(Span<Type> span, TypeSystem *tsys) in CopySpanToTypeSystem()
430 Type Type::Intersection(Span<Type> span, TypeSystem *tsys) in Intersection()
437 Type Type::Union(Span<Type> span, TypeSystem *tsys) in Union()
443 static bool IsClassSubtypeOfType(Class const *lhsClass, Type rhs, TypeSystem *tsys) in IsClassSubtypeOfType()
463 bool IsSubtypeImpl(Type lhs, Type rhs, TypeSystem *tsys) in IsSubtypeImpl()
590 static Span<Type const> ToIntersectionSpan(Type const *tp, TypeSystem const *tsys) in ToIntersectionSpan()
601 static Span<Type const> ToUnionSpan(Type const *tp, TypeSystem const *tsys) in ToUnionSpan()
612 Type Type::IntersectSpans(Span<Type const> lhs, Span<Type const> rhs, TypeSystem *tsys) in IntersectSpans()
647 Type TpIntersection(Type lhs, Type rhs, TypeSystem *tsys) in TpIntersection()
[all …]
|
| /arkcompiler/runtime_core/static_core/verification/absint/ |
| D | reg_context.h | 48 bool UnionWith(RegContext const *rhs, TypeSystem *tsys) in UnionWith()
198 PandaString DumpRegs(TypeSystem const *tsys) const in DumpRegs()
225 inline RegContext RcUnion(RegContext const *lhs, RegContext const *rhs, TypeSystem *tsys) in RcUnion()
|
| /arkcompiler/runtime_core/static_core/verification/value/ |
| D | abstract_typed_value.h | 91 PandaString ToString(TypeSystem const *tsys) const in ToString()
114 …tTypedValue AtvJoin(AbstractTypedValue const *lhs, AbstractTypedValue const *rhs, TypeSystem *tsys) in AtvJoin()
|