Skip to content

Commit e19cdc2

Browse files
Update docs/DifferentiableProgrammingImplementation.md
Co-authored-by: Saleem Abdulrasool <[email protected]>
1 parent ca370fa commit e19cdc2

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/DifferentiableProgrammingImplementation.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -127,7 +127,7 @@ The Swift compiler translates Swift source code into executable machine code. Be
127127
Here is a description of the main phases in compilation:[](https://www.swift.org/swift-compiler/)
128128
- **Parsing**: The parser takes Swift source code and generates an abstract syntax tree (AST) without type information. Warnings and errors are produced for grammatical problems in source code.
129129
- **Type checking**: The type checker takes the parsed AST and transforms it into a fully type-checked form, performing type inference. Warnings and errors are produced for semantic problems in source code.
130-
- **SIL generation**: The Swift Intermediate Language (SIL) is a high-level intermediate language for Swift suitable for analysis and optimization. The SIL generation phase lowers the type-checked AST into raw SIL.
130+
- **SIL generation**: The Swift Intermediate Language (SIL) is a high-level intermediate language for Swift suitable for analysis and optimization. The SIL generation phase lowers the type-checked AST into ["raw" SIL](SIL.rst#silgen).
131131
- **SIL mandatory passes**: The SIL mandatory passes perform analyses that diagnose user errors and lower to "canonical" SIL, including data flow diagnostics and mandatory inlining.
132132
- **SIL optimizations passes**: The SIL optimization passes perform additional high-level optimizations to SIL.
133133
- **LLVM IR generation**: IR generation lowers SIL to LLVM IR. LLVM performs further optimizations and generates machine code.

0 commit comments

Comments
 (0)