Andrew Trick 759d109a74 Fix LifetimeDependenceScopeFixup: read access can depend on 'inout' ...

Allow a dependency on a local [read] access scope to be transfered to the
caller's [modify] access.

Fixes rdar://149560133 (Invalid lifetime dependence error when
trying to return Span from an inout argument)

(cherry picked from commit 33fbe11bf8)

2025-04-22 12:33:01 -07:00

..

Analysis

Support mark_dependence_addr in SIL passes.

2025-03-25 23:02:45 -07:00

DataStructures

Add InstructionRange.overlapsWithPath() utility.

2025-04-16 23:23:54 -07:00

FunctionPasses

Fix LifetimeDependenceScopeFixup: read access can depend on 'inout'

2025-04-22 12:33:01 -07:00

InstructionSimplification

Guard the copy_block optimization with an experimental feature flag CopyBlockOptimization

2025-04-16 14:33:27 +02:00

ModulePasses

[Compile Time Values] Rewrite the 'Diagnose Unknown Compile Time Values' diagnostic pass in Swift

2025-03-28 10:30:07 -07:00

PassManager

Optimizer: remove redundant copy_block instructions

2025-04-16 14:33:26 +02:00

TestPasses

SIL: Add mark_dependence_addr

2025-03-25 23:02:42 -07:00

Utilities

LifetimeDependenceScopeFixup: handle returning dependent Optional

2025-04-21 22:57:06 -07:00

CMakeLists.txt

SwiftCompilerSources: introduce the AST module

2024-10-02 07:10:29 +02:00