Embedded: specialized witness tables, part2: support remaining cases of class existentials #76874
Commits on Oct 4, 2024
-
-
GenericSpecialization: change how new specialized witness tables are …
…added to MandatoryPerformanceOptimization's worklist Do it by passing a closure instead of returning the new witness table. This allows to add more than one new witness table to the worklist
-
embedded: Support class existentials with inherited protocols
For example: ``` protocol Base: AnyObject {} protocol Derived: Base {} class C: Derived {} let e: Derived = C() ``` -
-
SwiftCompilerSources: add `Type.subst(with substitutionMap: Substitut…
…ionMap) -> Type` API
-
SILCloner: fix creating a wrong type for cloned witness_method instru…
…ctions The type needs to be mapped.
-
SIL: support specialized witness_method instructions
In Embedded Swift, witness method lookup is done from specialized witness tables. For this to work, the type of witness_method must be specialized as well. Otherwise the method call would be done with wrong parameter conventions (indirect instead of direct).
-
IRGen: support associated-type and associated-conformance witness tab…
…le entries Associated-type entries are simply skipped. Associated-conformance entries point to the specialized conformance witness tables.
-
MandatoryPerformanceOptimizations: specialize witness_method instruct…
…ions In Embedded Swift, witness method lookup is done from specialized witness tables. For this to work, the type of witness_method must be specialized as well. Otherwise the method call would be done with wrong parameter conventions (indirect instead of direct).
-
MandatoryPerformanceOptimizations: handle all kind of witness-table e…
…ntries when specializing witness-tables Support associated-type and associated-conformance entries. This enable existentials with associated types.
-
-
Embedded: support existentials with inherited conformances
That means: derived classes where the base conforms to a protocol
