Erik Eckstein 0ff2caea12 SimplifyInstructions: don't remove empty access scopes ...

Empty access scopes can be a result of e.g. redundant-load-elimination.
It's still important to keep those access scopes to detect access violations.
Even if the load is physically not done anymore, in case of a conflicting access a propagated load is still wrong and must be detected.

rdar://164571252

2025-11-24 14:05:15 +01:00

..

AccessStorageAnalysis.cpp

AccessEnforcement: Fix analysis to include mayReleases as potentially

2025-02-07 15:10:13 -08:00

AccessSummaryAnalysis.cpp

SIL: replace the is_escaping_closure instruction with destroy_not_escaped_closure

2025-01-24 19:23:27 +01:00

AliasAnalysis.cpp

AliasAnalysis: a complete overhaul of alias- and memory-behavior analysis

2024-07-29 17:33:46 +02:00

Analysis.cpp

Add #include "swift/Basic/Assertions.h" to a lot of source files

2024-06-05 19:37:30 -07:00

ARCAnalysis.cpp

IntrinsicInfo: Adjust call to llvm::Intrinsic::getAttributes after LLVM change

2025-06-25 14:54:15 +01:00

ArraySemantic.cpp

Optimizer: support the new array literal initialization pattern in the ForEachLoopUnroll pass

2025-10-10 14:20:58 +02:00

BasicCalleeAnalysis.cpp

BasicCalleeAnalysis: don't crash if the bca argument to isDeinitBarrier is null

2025-01-28 09:15:47 +01:00

CallerAnalysis.cpp

Add #include "swift/Basic/Assertions.h" to a lot of source files

2024-06-05 19:37:30 -07:00

ClassHierarchyAnalysis.cpp

SILOptimizer: Compute ClassHierarchyAnalysis cache lazily.

2023-08-31 10:58:56 -07:00

ClosureScope.cpp

Add #include "swift/Basic/Assertions.h" to a lot of source files

2024-06-05 19:37:30 -07:00

CMakeLists.txt

[SILOptimizer] Turn "is self-recursive" check into analysis

2025-03-24 00:25:13 -07:00

ColdBlockInfo.cpp

Introduce return_borrow instruction

2025-10-23 05:18:59 -07:00

DeadEndBlocksAnalysis.cpp

Add #include "swift/Basic/Assertions.h" to a lot of source files

2024-06-05 19:37:30 -07:00

DestructorAnalysis.cpp

[NFC] TypeLowering: add CustomDeinit.

2025-11-11 17:29:45 -08:00

DifferentiableActivityAnalysis.cpp

autodiff: support the new array literal initialization pattern

2025-10-10 14:20:36 +02:00

EpilogueARCAnalysis.cpp

…

FunctionOrder.cpp

Add #include "swift/Basic/Assertions.h" to a lot of source files

2024-06-05 19:37:30 -07:00

IsSelfRecursiveAnalysis.cpp

[SILOptimizer] Turn "is self-recursive" check into analysis

2025-03-24 00:25:13 -07:00

IVAnalysis.cpp

Add #include "swift/Basic/Assertions.h" to a lot of source files

2024-06-05 19:37:30 -07:00

LoopAnalysis.cpp

Add #include "swift/Basic/Assertions.h" to a lot of source files

2024-06-05 19:37:30 -07:00

LoopRegionAnalysis.cpp

Address llvm::PointerUnion::{is,get} deprecations

2025-07-29 18:37:48 +01:00

NonLocalAccessBlockAnalysis.cpp

…

PassManagerVerifierAnalysis.cpp

Add #include "swift/Basic/Assertions.h" to a lot of source files

2024-06-05 19:37:30 -07:00

ProtocolConformanceAnalysis.cpp

SILOptimizer: Compute ProtocolConformanceAnalysis cache lazily.

2023-08-31 10:58:56 -07:00

RCIdentityAnalysis.cpp

RCIdentityAnalysis: don't let a non-copyable value be the RC root of a copyable value

2024-11-05 12:05:34 +01:00

Reachability.cpp

Add #include "swift/Basic/Assertions.h" to a lot of source files

2024-06-05 19:37:30 -07:00

RegionAnalysis.cpp

[rbi] When translating a Store, make sure to require src even if the value being stored is Sendable

2025-11-05 13:01:03 -08:00

SimplifyInstruction.cpp

SimplifyInstructions: don't remove empty access scopes

2025-11-24 14:05:15 +01:00

ValueTracking.cpp

Migrate llvm::Optional to std::optional

2024-02-21 11:20:06 -08:00