Michael Gottesman fd34e8ede6 [flow-isolation] Rename verifyIsolation -> emitDiagnostics ...

The method name `verifyIsolation` implied a precondition-style check,
but the function actually emits user-facing diagnostics for isolation
violations found by the dataflow solver. Rename it to `emitDiagnostics`
to better reflect its purpose.

2026-02-22 18:59:22 -08:00

..

Analysis

CallerAnalysis: disable some failing asserts

2026-02-20 18:28:13 +01:00

ARC

Introduce return_borrow instruction

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

Differentiation

Optimizer: enable complete OSSA lifetimes throughout the pass pipeline

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

FunctionSignatureTransforms

ExistentialSpecializer: complete lifetimes in the generated thunk if needed

2026-02-06 15:44:52 +01:00

IPO

CrossModuleOptimization: correctly serialize value-type deinits

2026-02-19 09:59:07 +01:00

LoopTransforms

LoopUnroll: avoid iterating over an llvm::DenseMap

2026-02-05 13:32:11 +01:00

Mandatory

[flow-isolation] Rename verifyIsolation -> emitDiagnostics

2026-02-22 18:59:22 -08:00

PassManager

PassManager: clear list of inserted phis when creating an SSAUpdater in swift

2026-02-20 18:28:12 +01:00

SemanticARC

SemanticARCOpts: add ImplicitActorToOpaqueIsolationCast to the list of forwarding instructions

2026-02-20 18:28:13 +01:00

SILCombiner

SILCombine: don't sink mark_dependence

2026-02-17 17:06:04 +01:00

Transforms

DestroyAddrHoisting: don't hoist destroy_addr if the operand address is an unchecked_addr_cast

2026-02-20 18:28:12 +01:00

UtilityPasses

SIL: Introduce instructions for forming and dereferencing Builtin.Borrow.

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

Utils

Another fix for the OSSA RAUW utility for unowned phis

2026-02-05 15:01:11 -08:00

CMakeLists.txt

…

SILOptimizer.cpp

…