Owen Voorhees 43d958b0a6 Merge pull request #90678 from meg-gupta/reducibleloopver ...

Add optional verification for irreducible loops

2026-07-16 17:14:04 -07:00

..

CMakeLists.txt

[sil-verifier] Extract the flow sensitive verifier into its own file.

2025-12-02 12:45:23 -08:00

DebugInfoVerifier.cpp

Introduce return_borrow instruction

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

FlowSensitiveVerifier.cpp

Don't delay stack deallocation of non-nested allocations

2026-04-02 19:30:57 -04:00

FlowSensitiveVerifier.h

[sil-verifier] Extract the flow sensitive verifier into its own file.

2025-12-02 12:45:23 -08:00

GuaranteedPhiVerifier.cpp

SIL: remove InstructionIndices and use SILInstruction::isBeforeInBlock instead

2026-06-14 21:55:32 +02:00

GuaranteedPhiVerifierPrivate.h

SIL: remove InstructionIndices and use SILInstruction::isBeforeInBlock instead

2026-06-14 21:55:32 +02:00

LinearLifetimeChecker.cpp

SIL: remove InstructionIndices and use SILInstruction::isBeforeInBlock instead

2026-06-14 21:55:32 +02:00

LinearLifetimeCheckerPrivate.h

SIL: print the whole function if the ownership verifier encounters an error

2026-05-12 08:22:14 +02:00

MemoryLifetimeVerifier.cpp

MemoryLifetimeVerifier: relax the requirement for inject_enum_addr

2026-07-15 11:19:23 +02:00

SILOwnershipVerifier.cpp

SIL/Optimizer: remove DeadEndBlocks analysis from ownership utilities

2026-06-30 13:54:39 +02:00

SILVerifier.cpp

Revert "[DebugInfo] Re-enable type chain verifier"

2026-07-16 10:57:00 +01:00