mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00

Files

Daniil Kovalev 5528cf1cc4 [AutoDiff] Run AutoDiff closure spec pass for all VJPs (#81548 )

Previously, AutoDiff closure specialization pass was triggered only on
VJPs containing single basic block. However, the pass logic allows
running on arbitrary VJPs. This PR enables the pass for all VJPs
unconditionally. So, if the pullback corresponding to multiple-BB VJP
accepts some closures directly as arguments, these closures might become
specialized by the pass. Closures passed via payload of branch tracing
enum are not specialized - this is subject for future changes.

The PR contains several commits.
1. The thing named "call site" in the code is partial_apply of pullback
corresponding to the VJP. This might appear only once, so we drop
support for multiple "call sites".
2. Enhance existing SILOptimizer tests for the pass.
3. Add validation-tests for single basic block case.
4. The change itself - delete check against single basic block.
5. Add validation-tests for multiple basic block case.
6. Add SILOptimizer tests for multiple basic block case.

2025-07-07 13:00:14 +00:00

compiler_crashers

[AutoDiff] Support curry thunks differentiation in fragile funcs (#77615 )

2025-02-17 14:43:50 -08:00

compiler_crashers_fixed

[AutoDiff] Correct propagate adjoints for array literal values (#81676 )

2025-05-22 03:03:28 -07:00

IRGen

[test] Match nocapture to succeed both on main and rebranch

2025-05-08 23:52:43 +01:00

ModuleInterface

ModuleInterface: Introduce the %target-swift-emit-module-interface and %target-swift-typecheck-module-from-interface lit substitutions and adopt them in some tests that involve emitting a swiftinterface. The substitutions specify the additional flags -swift-version 5 -enable-library-evolution. There are a few motivations for adding these substitutions: