6 Commits

Author	SHA1	Message	Date
Erik Eckstein	12d9311b15	SILCombine: run builtin simplification as part of SILCombine ... That means: make `BuiltinInst` conform to `SILCombineSimplifiable`, but still also run the legacy builtin simplification in SILCombine	2025-07-18 07:43:51 +02:00
Meghana Gupta	e317a603fc	Add simplification for end_cow_mutation_addr ... We insert end_cow_mutation_addr for lifetime dependent values dependent on mutable addresses. end_cow_mutation_addr can be simplified to end_cow_mutation after other optimizations like inlining, specialization etc This PR adds an instruction simplification to transform end_cow_mutation_addr to end_cow_mutation. This can enable array optimizations which look for end_cow_mutation.	2025-07-14 13:46:13 -07:00
Erik Eckstein	85228f2c75	Optimizer: do mark_dependence simplification at Onone ... * re-implement the SILCombine peephole as a Swift instruction simplification * run this simplification also in the OnoneSimplification pass	2025-05-23 18:53:57 +02:00
Erik Eckstein	bc4310b0eb	Optimizer: simplify unchecked_addr_cast for vectors ... Reimplement the simplification in swift and add a new transformation: ``` %1 = unchecked_addr_cast %0 : $*Builtin.FixedArray<N, Element> to $*Element ``` -> ``` %1 = vector_base_addr %0 : $*Builtin.FixedArray<N, Element> ```	2025-05-12 19:25:12 +02:00
Erik Eckstein	199eb1d6e7	Optimizer: remove redundant copy_block instructions ... Removes a `copy_block` if its only uses, beside ownership instructions, are callees of function calls ``` %2 = copy_block %0 %3 = begin_borrow [lexical] %2 %4 = apply %3() : $@convention(block) @noescape () -> () end_borrow %3 destroy_value %2 ``` -> ``` %4 = apply %0() : $@convention(block) @noescape () -> () ``` rdar://118521396	2025-04-15 11:02:39 +02:00
Erik Eckstein	62ea5b1c81	PassManager: cleanup Passes.def ... * move the "SILCombine passes" into a separate file `Simplifications.def` which lives in the SILCombiner directory * group passes by kind * rename PASS -> LEGACY_PASS and add a comment to make clear that new passes should be implemented in Swift NFC	2025-03-18 18:34:52 +01:00