4 Commits

Author	SHA1	Message	Date
Erik Eckstein	cd7c533d42	Optimizer: add SingleValueInstruction.replace(with:) and use it throughout the optimizer ... It replaces all uses and then erases the instruction.	2024-12-19 20:53:45 +01:00
Erik Eckstein	3e35df0983	Simplification: run begin_borrow simplification in SILCombine	2024-12-11 12:32:34 +01:00
Erik Eckstein	12626e39d5	Simplification: remove begin_borrow if the borrowed value is a thin_to_thick_function ... `thin_to_thick_function` has "none" ownership and is compatible with guaranteed values. Therefore the `begin_borrow` is not needed.	2024-12-11 12:32:33 +01:00
Erik Eckstein	6b38f2aab4	Optimizer: simplify load_borrow ... * Remove dead `load_borrow` instructions (replaces the old peephole optimization in SILCombine) * If the `load_borrow` is followed by a `copy_value`, combine both into a `load [copy]`	2024-12-11 12:32:33 +01:00