Erik Eckstein 783f90b76c LICM: handle memory dependency for store sinking correctly ...

Prevent sinking of stores if there are instructions other than `load` which may read from memory.
This kind of memory dependencies were ignored.
Fixes SIL verifier crashes or - in worst case - miscompiles.

rdar://150205299

2025-04-29 17:46:56 +02:00

..

ArrayOpt.h

COWArrayOpt: handle load_borrow

2024-12-11 12:32:32 +01:00

ArrayPropertyOpt.cpp

Optimizer: rename BorrowArgumentsUpdater -> GuaranteedPhiUpdater

2024-11-12 09:26:59 +01:00

BoundsCheckOpts.cpp

Add support for bounds check optimization of Span and InlineArray

2025-02-28 17:11:52 -08:00

CMakeLists.txt

[NFC] Reorganize and rename ArrayBoundsCheckOpts.cpp

2025-02-28 09:50:58 -08:00

COWArrayOpt.cpp

Support mark_dependence_addr in SIL passes.

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

ForEachLoopUnroll.cpp

Support mark_dependence_addr in SIL passes.

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

LICM.cpp

LICM: handle memory dependency for store sinking correctly

2025-04-29 17:46:56 +02:00

LoopRotate.cpp

SILOptimizer: Disable invalid passes in C++-only compiler

2025-04-21 12:46:01 -07:00

LoopUnroll.cpp

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

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