Overview Of Swiftc

Transcript

1. 0WFSWJFX
   PG
   4XJGUD !FM@NFUBM@
2. 8IZ
   $PNQJMFS w MFBSO
   IJHI
   UFDIOJDBM
   TLJMMT
   
   w NPSF
   VOEFSTUBOE
   4XJGU
   UZQF
   TZTUFN
   
   w GVO
   
4. SIL SILGen Parse Sema AST IRGen IR LLVM *.o Swift 4XJGU
   $PNQJMFS https://llvm.org/devmtg/2015-10/slides/GroffLattner-SILHighLevelIR.pdf
5. 1BSTF SIL SILGen Parse Sema AST IRGen IR LLVM *.o Swift
6. 1BSTF (source_file "1.swift" (top_level_code_decl range=[1.swift:1:1 - line:1:9] (brace_stmt implicit range=[1.swift:1:1 - line:1:9] (pattern_binding_decl range=[1.swift:1:1 - line:1:9] (pattern_named 'a') (integer_literal_expr type='<null>' value=1 builtin_initializer=**NULL** initializer=**NULL**)) )) (var_decl range=[1.swift:1:5 - line:1:5] "a" type='<null type>' let readImpl=stored immutable)) swiftc -dump-parse 1.swift 1.swift let a = 1
7. 4FNB SIL SILGen Parse Sema AST IRGen IR LLVM *.o Swift
8. 4FNB (source_file "1.swift" (top_level_code_decl range=[1.swift:1:1 - line:1:9] (brace_stmt implicit range=[1.swift:1:1 - line:1:9] (pattern_binding_decl range=[1.swift:1:1 - line:1:9] (pattern_named type='Int' 'a') (integer_literal_expr type='Int' location=1.swift:1:9 range=[1.swift:1:9 - line:1:9] value=1 builtin_initializer=Swift.(file).Int.init(_builtinIntegerLiteral:) initializer=**NULL**)) )) (var_decl range=[1.swift:1:5 - line:1:5] "a" type='Int' interface type='Int' access=internal let readImpl=stored immutable)) swiftc -dump-ast 1.swift 1.swift let a = 1
9. 4*-(FO SIL SILGen Parse Sema AST IRGen IR LLVM *.o Swift
10. SIL SILGen Parse Sema AST IRGen IR LLVM *.o Swift 4*-(FO 4*-(FO 4*-0QUJNJ[FS SBX
    4*- DBOPOJDBM
    4*-
11. SIL SILGen Parse Sema AST IRGen IR LLVM *.o Swift 4*-(FO 4*-(FO 4*-0QUJNJ[FS SBX
    4*- DBOPOJDBM
    4*-
12. sil_stage raw import Builtin import Swift import SwiftShims @_hasStorage @_hasInitialValue let a: Int { get } // a sil_global hidden [let] @$s4main1aSivp : $Int // main sil [ossa] @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 { bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>): alloc_global @$s4main1aSivp // id: %2 %3 = global_addr @$s4main1aSivp : $*Int // user: %8 %4 = integer_literal $Builtin.IntLiteral, 1 // user: %7 %5 = metatype $@thin Int.Type // user: %7 // function_ref Int.init(_builtinIntegerLiteral:) %6 = function_ref @$sSi22_builtinIntegerLiteralSiBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int // user: %7 %7 = apply %6(%4, %5) : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int // user: %8 store %7 to [trivial] %3 : $*Int // id: %8 %9 = integer_literal $Builtin.Int32, 0 // user: %10 %10 = struct $Int32 (%9 : $Builtin.Int32) // user: %11 return %10 : $Int32 // id: %11 } // end sil function 'main' // Int.init(_builtinIntegerLiteral:) sil [transparent] [serialized] @$sSi22_builtinIntegerLiteralSiBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int 4*-(FO swiftc -emit-silgen 1.swift 1.swift let a = 1
13. sil_stage raw import Builtin import Swift import SwiftShims @_hasStorage @_hasInitialValue let a: Int { get } // a sil_global hidden [let] @$s4main1aSivp : $Int // main sil [ossa] @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 { bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>): alloc_global @$s4main1aSivp // id: %2 %3 = global_addr @$s4main1aSivp : $*Int // user: %8 %4 = integer_literal $Builtin.IntLiteral, 1 // user: %7 %5 = metatype $@thin Int.Type // user: %7 // function_ref Int.init(_builtinIntegerLiteral:) %6 = function_ref @$sSi22_builtinIntegerLiteralSiBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int // user: %7 %7 = apply %6(%4, %5) : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int // user: %8 store %7 to [trivial] %3 : $*Int // id: %8 %9 = integer_literal $Builtin.Int32, 0 // user: %10 %10 = struct $Int32 (%9 : $Builtin.Int32) // user: %11 return %10 : $Int32 // id: %11 } // end sil function 'main' // Int.init(_builtinIntegerLiteral:) sil [transparent] [serialized] @$sSi22_builtinIntegerLiteralSiBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int 4*-(FO
14. SIL SILGen Parse Sema AST IRGen IR LLVM *.o Swift 4*-0QUJNJ[FS 4*-(FO 4*-0QUJNJ[FS SBX
    4*- DBOPOJDBM
    4*-
15. 4*-0QUJNJ[FS sil_stage canonical import Builtin import Swift import SwiftShims @_hasStorage @_hasInitialValue let a: Int { get } // a sil_global hidden [let] @$s4main1aSivp : $Int // main sil @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 { bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>): alloc_global @$s4main1aSivp // id: %2 %3 = global_addr @$s4main1aSivp : $*Int // user: %6 %4 = integer_literal $Builtin.Int64, 1 // user: %5 %5 = struct $Int (%4 : $Builtin.Int64) // user: %6 store %5 to %3 : $*Int // id: %6 %7 = integer_literal $Builtin.Int32, 0 // user: %8 %8 = struct $Int32 (%7 : $Builtin.Int32) // user: %9 return %8 : $Int32 // id: %9 } // end sil function 'main' // Int.init(_builtinIntegerLiteral:) sil public_external [transparent] [serialized] @$sSi22_builtinIntegerLiteralSiBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int { // %0 // user: %2 bb0(%0 : $Builtin.IntLiteral, %1 : $@thin Int.Type): %2 = builtin "s_to_s_checked_trunc_IntLiteral_Int64"(%0 : $Builtin.IntLiteral) : $(Builtin.Int64, Builtin.Int1) // user: %3 %3 = tuple_extract %2 : $(Builtin.Int64, Builtin.Int1), 0 // user: %4 %4 = struct $Int (%3 : $Builtin.Int64) // user: %5 return %4 : $Int // id: %5 } // end sil function '$sSi22_builtinIntegerLiteralSiBI_tcfC' swiftc -emit-sil 1.swift 1.swift let a = 1
16. 4*-0QUJNJ[FS sil_stage canonical import Builtin import Swift import SwiftShims @_hasStorage @_hasInitialValue let a: Int { get } // a sil_global hidden [let] @$s4main1aSivp : $Int // main sil @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 { bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>): alloc_global @$s4main1aSivp // id: %2 %3 = global_addr @$s4main1aSivp : $*Int // user: %6 %4 = integer_literal $Builtin.Int64, 1 // user: %5 %5 = struct $Int (%4 : $Builtin.Int64) // user: %6 store %5 to %3 : $*Int // id: %6 %7 = integer_literal $Builtin.Int32, 0 // user: %8 %8 = struct $Int32 (%7 : $Builtin.Int32) // user: %9 return %8 : $Int32 // id: %9 } // end sil function 'main' // Int.init(_builtinIntegerLiteral:) sil public_external [transparent] [serialized] @$sSi22_builtinIntegerLiteralSiBI_tcfC : $@convention(method) (Builtin.IntLiteral, @thin Int.Type) -> Int { // %0 // user: %2 bb0(%0 : $Builtin.IntLiteral, %1 : $@thin Int.Type): %2 = builtin "s_to_s_checked_trunc_IntLiteral_Int64"(%0 : $Builtin.IntLiteral) : $(Builtin.Int64, Builtin.Int1) // user: %3 %3 = tuple_extract %2 : $(Builtin.Int64, Builtin.Int1), 0 // user: %4 %4 = struct $Int (%3 : $Builtin.Int64) // user: %5 return %4 : $Int // id: %5 } // end sil function '$sSi22_builtinIntegerLiteralSiBI_tcfC'
17. 4*-0QUJNJ[FS swiftc -O —emit-sil 1.swift 1.swift let a = 1 sil_stage canonical import Builtin import Swift import SwiftShims @_hasStorage @_hasInitialValue let a: Int { get } // a sil_global hidden [let] @$s4main1aSivp : $Int // main sil @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 { bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>): alloc_global @$s4main1aSivp // id: %2 %3 = global_addr @$s4main1aSivp : $*Int // user: %6 %4 = integer_literal $Builtin.Int64, 1 // user: %5 %5 = struct $Int (%4 : $Builtin.Int64) // user: %6 store %5 to %3 : $*Int // id: %6 %7 = integer_literal $Builtin.Int32, 0 // user: %8 %8 = struct $Int32 (%7 : $Builtin.Int32) // user: %9 return %8 : $Int32 // id: %9 } // end sil function 'main'
18. 4*-0QUJNJ[FS sil_stage canonical import Builtin import Swift import SwiftShims @_hasStorage @_hasInitialValue let a: Int { get } // a sil_global hidden [let] @$s4main1aSivp : $Int // main sil @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 { bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>): alloc_global @$s4main1aSivp // id: %2 %3 = global_addr @$s4main1aSivp : $*Int // user: %6 %4 = integer_literal $Builtin.Int64, 1 // user: %5 %5 = struct $Int (%4 : $Builtin.Int64) // user: %6 store %5 to %3 : $*Int // id: %6 %7 = integer_literal $Builtin.Int32, 0 // user: %8 %8 = struct $Int32 (%7 : $Builtin.Int32) // user: %9 return %8 : $Int32 // id: %9 } // end sil function 'main'
19. *3(FO SIL SILGen Parse Sema AST IRGen IR LLVM *.o Swift
20. *3(FO swiftc -emit-ir 1.swift 1.swift let a = 1 ; ModuleID = '-' source_filename = "-" target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-apple-macosx10.14.0" %TSi = type <{ i64 }> @"$s4main1aSivp" = hidden global %TSi zeroinitializer, align 8 @"_swift_FORCE_LOAD_$_swiftCompatibility50_$_main" = weak_odr hidden constant void ()* @"_swift_FORCE_LOAD_$_swiftCompatibility50" @"_swift_FORCE_LOAD_$_swiftCompatibilityDynamicReplacements_$_main" = weak_odr hidden constant void ()* @"_swift_FORCE_LOAD_$_swiftCompatibilityDynamicReplacements" @__swift_reflection_version = linkonce_odr hidden constant i16 3 @llvm.used = appending global [3 x i8*] [i8* bitcast (void ()** @"_swift_FORCE_LOAD_$_swiftCompatibility50_$_main" to i8*), i8* bitcast (void ()** @"_swift_FORCE_LOAD_$_swiftCompatibilityDynamicReplacements_$_main" to i8*), i8* bitcast (i16* @__swift_reflection_version to i8*)], section "llvm.metadata", align 8 define i32 @main(i32, i8**) #0 { entry: %2 = bitcast i8** %1 to i8* store i64 1, i64* getelementptr inbounds (%TSi, %TSi* @"$s4main1aSivp", i32 0, i32 0), align 8 ret i32 0 } declare extern_weak void @"_swift_FORCE_LOAD_$_swiftCompatibility50"() declare extern_weak void @"_swift_FORCE_LOAD_$_swiftCompatibilityDynamicReplacements"() attributes #0 = { "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "target-cpu"="penryn" "target-features"="+cx16,+fxsr,+mmx,+sahf,+sse,+sse2,+sse3,+sse4.1,+ssse3,+x87" } !llvm.module.flags = !{!0, !1, !2, !3, !4, !5, !6, !7, !8} !swift.module.flags = !{!9} !llvm.linker.options = !{!10, !11, !12, !13, !14} !llvm.asan.globals = !{!15} !0 = !{i32 2, !"SDK Version", [2 x i32] [i32 10, i32 15]} !1 = !{i32 1, !"Objective-C Version", i32 2} !2 = !{i32 1, !"Objective-C Image Info Version", i32 0} !3 = !{i32 1, !"Objective-C Image Info Section", !"__DATA,__objc_imageinfo,regular,no_dead_strip"} !4 = !{i32 4, !"Objective-C Garbage Collection", i32 83953408} !5 = !{i32 1, !"Objective-C Class Properties", i32 64} !6 = !{i32 1, !"wchar_size", i32 4} !7 = !{i32 7, !"PIC Level", i32 2} !8 = !{i32 1, !"Swift Version", i32 7} !9 = !{!"standard-library", i1 false} !10 = !{!"-lswiftSwiftOnoneSupport"} !11 = !{!"-lswiftCore"} !12 = !{!"-lobjc"} !13 = !{!"-lswiftCompatibility50"} !14 = !{!"-lswiftCompatibilityDynamicReplacements"} !15 = !{[3 x i8*]* @llvm.used, null, null, i1 false, i1 true}
21. *3(FO ; ModuleID = '-' source_filename = "-" target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-apple-macosx10.14.0" %TSi = type <{ i64 }> @"$s4main1aSivp" = hidden global %TSi zeroinitializer, align 8 @"_swift_FORCE_LOAD_$_swiftCompatibility50_$_main" = weak_odr hidden constant void ()* @"_swift_FORCE_LOAD_$_swiftCompatibility50" @"_swift_FORCE_LOAD_$_swiftCompatibilityDynamicReplacements_$_main" = weak_odr hidden constant void ()* @"_swift_FORCE_LOAD_$_swiftCompatibilityDynamicReplacements" @__swift_reflection_version = linkonce_odr hidden constant i16 3 @llvm.used = appending global [3 x i8*] [i8* bitcast (void ()** @"_swift_FORCE_LOAD_$_swiftCompatibility50_$_main" to i8*), i8* bitcast (void ()** @"_swift_FORCE_LOAD_$_swiftCompatibilityDynamicReplacements_$_main" to i8*), i8* bitcast (i16* @__swift_reflection_version to i8*)], section "llvm.metadata", align 8 define i32 @main(i32, i8**) #0 { entry: %2 = bitcast i8** %1 to i8* store i64 1, i64* getelementptr inbounds (%TSi, %TSi* @"$s4main1aSivp", i32 0, i32 0), align 8 ret i32 0 } declare extern_weak void @"_swift_FORCE_LOAD_$_swiftCompatibility50"() declare extern_weak void @"_swift_FORCE_LOAD_$_swiftCompatibilityDynamicReplacements"() attributes #0 = { "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "target-cpu"="penryn" "target-features"="+cx16,+fxsr,+mmx,+sahf,+sse, +sse2,+sse3,+sse4.1,+ssse3,+x87" } !llvm.module.flags = !{!0, !1, !2, !3, !4, !5, !6, !7, !8} !swift.module.flags = !{!9} !llvm.linker.options = !{!10, !11, !12, !13, !14} !llvm.asan.globals = !{!15} !0 = !{i32 2, !"SDK Version", [2 x i32] [i32 10, i32 15]} !1 = !{i32 1, !"Objective-C Version", i32 2} !2 = !{i32 1, !"Objective-C Image Info Version", i32 0} !3 = !{i32 1, !"Objective-C Image Info Section", !"__DATA,__objc_imageinfo,regular,no_dead_strip"} !4 = !{i32 4, !"Objective-C Garbage Collection", i32 83953408} !5 = !{i32 1, !"Objective-C Class Properties", i32 64} !6 = !{i32 1, !"wchar_size", i32 4} !7 = !{i32 7, !"PIC Level", i32 2} !8 = !{i32 1, !"Swift Version", i32 7} !9 = !{!"standard-library", i1 false} !10 = !{!"-lswiftSwiftOnoneSupport"} !11 = !{!"-lswiftCore"} !12 = !{!"-lobjc"} !13 = !{!"-lswiftCompatibility50"} !14 = !{!"-lswiftCompatibilityDynamicReplacements"} !15 = !{[3 x i8*]* @llvm.used, null, null, i1 false, i1 true}
22. --7. SIL SILGen Parse Sema AST IRGen IR LLVM *.o Swift