Erik Eckstein 3774c3b6fd MandatoryDestroyHoisting: ignore type-dependent operands when computing the liverange of a value ...

Type-dependent operands can appear outside the liverange of a value and therefore must be ignored.
This bug caused MandatoryDestroyHoisting to insert wrong destroys.

Fixes a SIL verification error and/or a mis-compile
rdar://170510052

2026-02-27 12:05:57 +01:00

..

Analysis

SIL: Handle dereference_borrow returns in SILGenCleanup.

2026-01-23 08:02:09 -08:00

DataStructures

Optimizer: convert the FunctionUsesDumper pass to a test

2025-12-15 10:01:41 +01:00

FunctionPasses

MandatoryDestroyHoisting: ignore type-dependent operands when computing the liverange of a value

2026-02-27 12:05:57 +01:00

InstructionSimplification

Revert "Improve bounds checking of local span's with known count"

2026-02-20 00:40:33 -08:00

ModulePasses

EmbeddedSwiftDiagnostics: ignore destroy_value with a dead_end flag

2026-02-24 14:26:10 +01:00

PassManager

Simplify the identity for dereference borrows

2026-01-27 11:04:25 -08:00

Utilities

LifetimeDependenceUtils: add support for mutable captures

2026-02-20 09:12:38 -08:00

CMakeLists.txt

Optimizer: convert the UpdateBorrowedFromPass pass to a test

2025-12-15 10:01:51 +01:00