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
Andrew Trick
195ca7ceae
Improve LifetimeDependence.Scope for mutable trivial variables.
...
Recognize dependence on the address of a trivial 'var' as an "access" dependence
instead of an "unknown" dependence. This allows the mark_dependence to be
resolved as "[nonescaping]".
2025-01-07 22:21:15 -08:00
Andrew Trick
d0f58b7b0c
Fix unit tests after enabling trivial lifetime dependence.
...
A trivial value that is marked dependent on the access scope of another trivial
variable is escaping of its use is outside the access scope.
2024-12-18 17:04:43 -08:00
Andrew Trick
cd66b87ce4
Add unsafeAddress SIL tests.
2024-12-17 09:53:25 -08:00
