SIL is an SSA-form IR with high-level semantic information designed to implement the Swift programming language. SIL accommodates the following use cases: A set of guaranteed high-level optimizations that provide a predictable baseline for runtime and diagnostic behavior. Diagnostic dataflow analysis passes that enforce Swift language requirements, such as definitive initialization of variables an