Swift: implement type pruning for dataflow#14592

Closed

rdmarsh2 wants to merge 21 commits intogithub:mainfrom

rdmarsh2:rdmarsh2/swift/dataflow-type-pruning

Commits on Dec 13, 2023

Swift: WIP dataflow type pruning
Robert Marsh
committed
Swift: Type pruning WIP
Robert Marsh
committed
Swift: add getType to DataFlow::Node
Robert Marsh
committed
Swift: fix Function.getResultType for generics
Robert Marsh
committed
Swift: fix parameter types in dataflow pruning
Robert Marsh
committed
Undo accidental removal of cached annotations
Robert Marsh
committed
Swift: model function types with a "top" type for performance
Robert Marsh
committed
Swift: introduce `getDataFlowType`
Robert Marsh
committed
Swift: account for generic types in type pruning
Robert Marsh
committed
Swift: fix dictionary iterator flow with type pruning
Robert Marsh
committed
Swift: docs for `AnyType`
Robert Marsh
committed
Swift: strip labels from tuples in type pruning
Robert Marsh
committed
Swift: fix a join order issue in compatibleTypes
Robert Marsh
committed
Swift: uncomment accidentally commented-out lines
Robert Marsh
committed
Swift: autoformat
Robert Marsh
committed
Swift: try to improve performance in compatibleTypes
Robert Marsh
committed
Swift: more CompatibleTypes performance improvements
Robert Marsh
committed
Swift: Fix type pruning performance.

geoffw0
authored and
Robert Marsh
committed

Commits on Dec 22, 2023

Merge branch 'main' into rdmarsh2/swift/dataflow-type-pruning
Robert Marsh
committed
Swift: fix missing type for keypath entry nodes
Robert Marsh
committed
Swift: switch to using preupdate node types for postupdate nodes
Robert Marsh
committed