Erik Eckstein 18063707b5 Optimizer: enable complete OSSA lifetimes throughout the pass pipeline ...

This new OSSA invariant simplifies many optimizations because they don't have to take care of the corner case of incomplete lifetimes in dead-end blocks.

The implementation basically consists of these changes:
* add the lifetime completion utility
* add a flag in SILFunction which tells optimization that they need to run the lifetime completion utility
* let all optimizations complete lifetimes if necessary
* enable the ownership verifier to check complete lifetimes

2026-01-22 17:41:48 +01:00

42 KiB

Raw Permalink Blame History

View Raw