Erik Eckstein 62786b01e2 Optimizer: add the mandatory destroy hoisting pass ...

It hoists `destroy_value` instructions for non-lexical values.

```
  %1 = some_ownedValue
  ...
  last_use(%1)
  ... // other instructions
  destroy_value %1
```
->
```
  %1 = some_ownedValue
  ...
  last_use(%1)
  destroy_value %1    // <- moved after the last use
  ... // other instructions
```

In contrast to non-mandatory optimization passes, this is the only pass which hoists destroys over deinit-barriers.
This ensures consistent behavior in -Onone and optimized builds.

2025-11-06 21:00:44 +01:00

..

CMakeLists.txt

…

Passes.cpp

Adopt ABORT throughout the compiler

2025-05-19 20:55:01 +01:00

PassManager.cpp

Optimizer: remove the now unused NonTransparentFunctionOwnershipModelEliminator pass

2025-09-26 08:01:09 +02:00

PassPipeline.cpp

Optimizer: add the mandatory destroy hoisting pass

2025-11-06 21:00:44 +01:00

PrettyStackTrace.cpp

…

SILOptimizerRequests.cpp

Evaluator: Cache circular evaluation to avoid redundant diagnostics

2024-02-09 16:02:24 -08:00