Swiftコンパイラ超入門+async関数の仕組み

2025/1/17 わいわいswiftc

Transcript

1. 2025/01/17 Θ͍Θ͍swiftc shiz SwiftίϯύΠϥ௒ೖ໳ asyncؔ਺ͷ࢓૊Έ +
2. ࣗݾ঺հ •shiz(ͣ͠) X: @stzn3 GitHub: @stzn •෱Ԭࡏॅ iOSΤϯδχΞ ຊͷࣥච 4XJGUݴޠΨΠυͷ຋༁
3. ৽ץग़͠·͢ •λΠτϧ: ετϦʔτίʔμʔ •2025೥2݄຤ൃച༧ఆ •ݱ৔(ετϦʔτ)Ͱੜ͖ൈͨ͘Ίͷ஌ࣝ΍ٕज़ ͕٧·͍ͬͯΔ https://amzn.asia/d/dfD9BxU
4. ຊ೔ͷ಺༰ •SwiftίϯύΠϥ௒ೖ໳ •Swift asyncؔ਺ͷ2ͭͷಛ௃(֓ཁ) •Swift asyncؔ਺ͷ2ͭͷಛ௃(ৄࡉ)
5. ࢖༻ͨ͠swiftlang/swiftͷtag •swift-DEVELOPMENT-SNAPSHOT-2024-12-22-a •Swift6.2
6. ຊ೔ͷ಺༰ •SwiftίϯύΠϥ௒ೖ໳ •Swift asyncؔ਺ͷ2ͭͷಛ௃(֓ཁ) •Swift asyncؔ਺ͷ2ͭͷಛ௃(ৄࡉ)
7. ίϯύΠϥͱ͸ʁ
8. ίϯύΠϥ •ϓϩάϥϛϯάݴޠͰॻ͔ΕͨίʔυΛɺʮί ϯϐϡʔλ͕࣮ࡍʹ࣮ߦͰ͖Δܗʯʹม׵͢Δ ϓϩάϥϜ
9. ίϯύΠϥ͕ߦ͏ओͳॲཧ •ࣈ۟ղੳ: ιʔείʔυΛτʔΫϯʹ෼ղ͠ɺߏจతʹղੳ͠΍͘͢͢Δ •ߏจղੳ: τʔΫϯΛجʹߏจنଇΛνΣοΫ͠ɺߏ଄ΛղੳɻASTΛੜ੒ •ҙຯղੳ: ม਺ͷܕ΍είʔϓΛ֬ೝ͠ɺҙຯతʹਖ਼͍͔͠νΣοΫ •IRੜ੒: ίϯύΠϥ͕࠷దԽ͠΍͘͢ΔͨΊͷίʔυΛੜ੒ •࠷దԽ: ੑೳΛ޲্ͤ͞ΔͨΊʹɺIRΛΑΓૣ͘(খ͘͞)ม׵͢Δ •ίʔυੜ੒: ػցޠΛੜ੒͠ɺCPU͕࣮ߦՄೳͳܗࣜʹม׵ 💡 ίϯύΠϥʹΑͬͯ͸ߦ͏͜ͱ͸มΘΔ
10. ίϯύΠϥ͕ߦ͏ओͳॲཧ • ࣈ۟ղੳ: ιʔείʔυΛτʔΫϯʹ෼ղ͠ɺߏจతʹղੳ͠΍͘͢͢Δ • ߏจղੳ: τʔΫϯΛجʹߏจنଇΛνΣοΫ͠ɺߏ଄ΛղੳɻASTΛੜ ੒ • ҙຯղੳ: ม਺ͷܕ΍είʔϓΛ֬ೝ͠ɺҙຯతʹਖ਼͍͔͠νΣοΫ •IRੜ੒: ίϯύΠϥ͕࠷దԽ͠΍͘͢ΔͨΊͷίʔυΛੜ੒ • ࠷దԽ: ੑೳΛ޲্ͤ͞ΔͨΊʹɺIRΛΑΓૣ͘(খ͘͞)ม׵͢Δ • ίʔυੜ੒: ػցޠΛੜ੒͠ɺCPU͕࣮ߦՄೳͳܗࣜʹม׵ 💡 ίϯύΠϥʹΑͬͯ͸ߦ͏͜ͱ͸มΘΔ
11. ίϯύΠϥ͕ߦ͏ओͳॲཧ •ࣈ۟ղੳ: ιʔείʔυΛτʔΫϯʹ෼ղ͠ɺίʔυΛߏจతʹղੳ͠΍͘͢ •ߏจղੳ: τʔΫϯΛجʹߏจنଇΛνΣοΫ͠ɺϓϩάϥϜͷߏ଄ΛղੳɻASTΛੜ੒ •ҙຯղੳ: ม਺ͷܕ΍είʔϓΛ֬ೝ͠ɺϓϩάϥϜ͕ҙຯతʹਖ਼͍͔͠νΣοΫ •IRੜ੒: ίϯύΠϥ͕࠷దԽ͠΍͘͢ΔͨΊͷίʔυΛੜ੒ •࠷దԽ: ੑೳΛ޲্ͤ͞ΔͨΊʹɺෆཁͳܭࢉͷ࡟আ΍ޮ཰ͷྑ͍ΞϧΰϦζϜ΁ม׵ •ίʔυੜ੒: ػցޠΛੜ੒͠ɺCPU͕࣮ߦՄೳͳܗࣜʹม׵ •ίʔυϦϯΫ: ιʔεϑΝΠϧ΍ϥΠϒϥϦΛ݁߹͠ɺ࠷ऴతͳ࣮ߦՄೳϑΝΠϧΛੜ੒ 💡 શͯΛඞͣߦ͏ͱ͍͏Θ͚Ͱ͸ͳ͍
12. IRͱ͸ʁ •Intermediate Representation /தؒදݱ •ϓϩάϥϛϯάݴޠͷίʔυΛػցޠʹม׵͢ ΔաఔͰੜ੒͢Δதؒతͳίʔυ
13. IRͱ͸ʁ • Intermediate Representation /தؒදݱ • ϓϩάϥϛϯάݴޠͷίʔυΛػցޠʹม׵͢ΔաఔͰੜ੒͢Δ தؒతͳίʔυ •ͳͥඞཁʁ • ߏ଄͕γϯϓϧͰίʔυΛ࠷దԽ͠΍͍͢ • ৭ʑͳλʔήοτͷίʔυΛੜ੒(e.g. Apple SiliconͷMacOS༻) • ίϯύΠϥϓϩηεͷ෼཭ʹΑΔ࠶ར༻ੑͱ։ൃޮ཰޲্
14. Swi f ίϯύΠϥ͸ʁ
15. SwiftίϯύΠϥͷओͳॲཧ 1. Parse(ࣈ۟ɾߏจղੳ) 2. Sema(ҙຯղੳ) 3. SILGen(IRੜ੒) 4.SILOptimizer(࠷దԽ) 5. IRGen(IRੜ੒) 6.LLVM(࠷దԽɺίʔυੜ੒) https://qiita.com/rintaro/items/3ad640e3938207218c20 ❶ ❷ ❸ ❹ ❺ ❻
16. SwiftίϯύΠϥʹ͍ͭͯ஌Γ͚ͨΕ͹ https://qiita.com/rintaro/items/3ad640e3938207218c20
17. ͍͔ͭ͘ิ଍
18. SwiftίϯύΠϥͷओͳύΠϓϥΠϯ 1. Parse(ࣈ۟ɾߏจղੳ) 2. Sema(ҙຯղੳ) 3.SILGen(IRੜ੒) 4.SILOptimizer(࠷దԽ) 5.IRGen(IRੜ੒) 6.LLVM(࠷దԽɺίʔυੜ੒) https://qiita.com/rintaro/items/3ad640e3938207218c20 💡࣮ࡍ͸ASTͳͲ΋ͬͱଟ͘ͷIRΛੜ੒͍ͯ͠Δ
19. SILGen •SILΛੜ੒͢Δ •SIL: Swift Intermediate Language •Swiftͷݴޠߏ଄Λ൓өͨ͠IR •ܕνΣοΫ΍Swiftಛ༗ͷ࠷దԽΛߦ͏ ϓν৘ใ: ࠷ۙSILʹ͍ͭͯͷυΩϡϝϯτ͕੔ཧ͞Εͨ
20. IRGen •LLVM IRΛੜ੒͢Δ •࠷ऴతͳػցޠΛੜ੒͢ΔաఔͰ࠷దԽ͠΍ ͘͢͢ΔͨΊʹੜ੒͞ΕΔLLVM༻ͷIR
21. LLVMʁ
22. SwiftίϯύΠϥͷओͳύΠϓϥΠϯ 1. Parse(ࣈ۟ɾߏจղੳ) 2. Sema(ҙຯղੳ) 3. SILGen(IRੜ੒) 4.SILOptimizer(࠷దԽ) 5. IRGen(IRੜ੒) 6.LLVM(࠷దԽɺίʔυੜ੒) https://qiita.com/rintaro/items/3ad640e3938207218c20
23. LLVM •SwiftͰ͸ͳ͍ •ίϯύΠϥͷόοΫΤϯυͱݺ͹ΕΔ෦෼ •LLVM IR͔Β͞·͟·ͳλʔήοτͷػցޠΛੜ੒ •λʔήοτʹԠͨ͡࠷దԽΛͯ͘͠ΕΔ •൚༻తʹ࢖ΘΕ͍ͯΔ(C++ɺRustɺAdobe…)
24. LLVMʹ͍ͭͯ஌Γ͚ͨΕ͹ 💡ͪΐͬͱݹ͍৘ใ΋͋Δ
25. LLVM IR •࠷ऴతͳػցޠΛੜ੒͢ΔաఔͰ࠷దԽ͠΍͢ ͘͢ΔͨΊʹੜ੒͞ΕΔLLVM༻ͷIR
26. SILͱLLVM IR Swift SIL LLVM IR
27. SILͱLLVM IR Swift SIL LLVM IR string integer Array i64 i32 ptr
28. ຊ೔ͷ಺༰ •SwiftίϯύΠϥ௒ೖ໳ •Swift asyncؔ਺ͷ2ͭͷಛ௃(֓ཁ) •Swift asyncؔ਺ͷ2ͭͷಛ௃(ৄࡉ)
29. ຊ೔ͷ಺༰ •SwiftίϯύΠϥ௒ೖ໳ •Swift asyncؔ਺ͷ2ͭͷಛ௃(֓ཁ) •Swift asyncؔ਺ͷ2ͭͷಛ௃(ৄࡉ)
30. SwiftͷύϑΥʔϚϯεৄࡉ Swift asyncؔ਺ͷ2ͭͷಛ௃
31. ಛผͳελοΫʹϩʔΧϧঢ়ଶΛอ࣋ தஅϙΠϯτ(await)Ͱෳ਺ͷؔ਺ʹ෼ׂ Swift asyncؔ਺ͷ2ͭͷಛ௃ SwiftͷύϑΥʔϚϯεৄࡉ
32. Swift asyncؔ਺ͷ2ͭͷಛ௃ •ಛผͳελοΫʹϩʔΧϧঢ়ଶΛอ࣋ •தஅϙΠϯτ(await)Ͱෳ਺ͷؔ਺ʹ෼ׂ
33. Swift asyncؔ਺ͷ2ͭͷಛ௃ •ಛผͳελοΫʹϩʔΧϧঢ়ଶΛอ࣋ •தஅϙΠϯτ(await)Ͱෳ਺ͷؔ਺ʹ෼ׂ
34. ελοΫϝϞϦ ಉظ(sync)ؔ਺ͷ࢓૊Έ ελοΫϝϞϦ্ͷ ίʔϧελοΫ(※) ίʔϧελοΫ func1 func2 func3 εϨου ※ ؔ਺ͷݺͼग़͠΍໭ΓΛ ؅ཧ͢ΔελοΫ(σʔλߏ଄)
35. ิ଍: ελοΫ(σʔλߏ଄) ελοΫ ཁૉ LIFO(Last-In, First-OutʗޙೖΕઌग़͠)ͷಛੑΛ࣋ͭσʔλߏ଄ ཁૉ ελοΫ ཁૉ ཁૉ ޙೖΕ(Last-In) ઌग़͠(First-Out)
36. ิ଍: ελοΫ(σʔλߏ଄) ελοΫ ཁૉ LIFO(Last-In, First-OutʗޙೖΕઌग़͠)ͷಛੑΛ࣋ͭσʔλߏ଄ ཁૉ ελοΫ ཁૉ ཁૉ ޙೖΕ(Last-In) ઌग़͠(First-Out) ⚠ώʔϓϝϞϦͰ΋ελοΫ(σʔλߏ଄)͸࢖༻Մೳ
37. ίʔϧελοΫ func1 func2 func3 εϨου ελοΫϑϨʔϜ Ҿ਺ ϩʔΧϧม਺ ؔ਺ͷ໭ΓΞυϨε ݺͼग़͠ݩ΁ͷࢀর
38. εϨου ಉظ(sync)ؔ਺ syncݺͼग़͠ syncऴྃ ίʔϧελοΫ func1 func2 sync ίʔϧελοΫ func1 func2 εϨου sync ऴΘͬͨΒ ফ͑Δ
39. asyncؔ਺Ͱߟ͑ͯΈΔ
40. ݺͼग़࣌͠͸ಉ͡ asyncݺͼग़͠ ίʔϧελοΫ func1 func2 εϨου async
41. ίʔϧελοΫ func1 func2 εϨου async தஅ࣌ʹऔΓग़͢ඞཁ͕͋Δ asyncݺͼग़͠ await ίʔϧελοΫ func1 func2 εϨου async async ফ͑Δ… ଴͍ͬͯΔؒʹ ଞͷॲཧΛ͍ͤͨ͞
42. ίʔϧελοΫ func1 func2 εϨου async ࠶։࣌ʹ·ͨඞཁ asyncݺͼग़͠ ίʔϧελοΫ func1 func2 εϨου async ίʔϧελοΫ func1 func2 func3 εϨου ࠶։࣌ async Ͳ͏͠Α͏… await ⚠ಉ͡εϨουͱ ͸ݶΒͳ͍
43. ͦ͜Ͱ
44. ಛผͳελοΫʹ ϩʔΧϧঢ়ଶΛอ࣋ 💡͜͜Ͱݴ͏ελοΫ͸σʔλߏ଄ͷ࿩
45. async ώʔϓϝϞϦ ελοΫϝϞϦ Ұ෦ΛผͷελοΫʹୀආ εϨου func1 func2 async ίʔϧελοΫ ελοΫ ώʔϓϝϞϦ্ͷ ελοΫ
46. ࠶։ޙʹඞཁͳ৘ใͷΈ async ελοΫ ίʔϧελοΫ async a b
47. async ελοΫ ίʔϧελοΫ async asyncϑϨʔϜ தஅ(await)લ·Ͱ͔͠ ࢖Θͳ͍৘ใ ࠶։ޙʹ΋ඞཁͳ৘ใ
48. ελοΫϝϞϦ ࠶։࣌ʹίʔϧελοΫʹ໭͢ ελοΫ εϨου ⚠ผεϨου ͷՄೳੑ͋Γ ώʔϓϝϞϦ func4 func5 async ίʔϧελοΫ
49. Task Task͕ඇಉظॲཧΛ؅ཧ
50. Task TaskAllocatorͰϝϞϦ؅ཧ TaskAllocator
51. ώʔϓϝϞϦ ৘ใΛ֨ೲ͢ΔϝϞϦΛ֬อ Task TaskAllocator ϝϞϦྖҬ 💡Taskͷ࡞੒࣌ʹߦ͍ͬͯΔ Task TaskAllocator ϝϞϦྖҬ
52. ώʔϓϝϞϦ Task TaskAllocator ϝϞϦྖҬ Task TaskAllocator ϝϞϦྖҬ async ඞཁʹԠͯ͡ϝϞϦׂΓ౰ͯ
53. ώʔϓϝϞϦ Task TaskAllocator ϝϞϦྖҬ async ϝϞϦྖҬ ଍Γͳ͚Ε͹௥Ճ
54. ώʔϓϝϞϦ Task TaskAllocator ϝϞϦྖҬ async ϝϞϦྖҬ ଍Γͳ͚Ε͹௥Ճ Stack discipline + Bump pointer allocation Slab ࿈ଓͨ͠ϝϞϦྖҬ ޮ཰తʹϝϞϦΛׂΓ౰ͯΔͨΊͷ࢓૊Έ StackAllocatorͷ࣮૷(TaskAllocator͸typealiasΈ͍ͨͳ΋ͷ)
55. ώʔϓϝϞϦ Task ޮ཰Խͷ޻෉ TaskAllocator ϝϞϦྖҬ async StackAllocatorͷ࣮૷(TaskAllocator͸typealiasΈ͍ͨͳ΋ͷ) Slab ࿈ଓͨ͠ϝϞϦྖҬ Stack discipline + Bump pointer allocation ޮ཰తʹϝϞϦΛׂΓ౰ͯΔͨΊͷ࢓૊Έ
56. Swift asyncؔ਺ͷ2ͭͷಛ௃ •ಛผͳελοΫʹϩʔΧϧঢ়ଶΛอ࣋ •தஅϙΠϯτ(await)Ͱෳ਺ͷؔ਺ʹ෼ׂ
57. Swift asyncؔ਺ͷ2ͭͷಛ௃ •ಛผͳελοΫʹϩʔΧϧঢ়ଶΛอ࣋ •தஅϙΠϯτ(await)Ͱෳ਺ͷؔ਺ʹ෼ׂ
58. ؔ਺Λ෼ׂʁʁʁ Ͳ͏͍͏͜ͱʁ
59. awaitͰؔ਺Λ෼ׂͤ͞Δ 💡ͦΕͧΕΛ෦෼ؔ਺ͱݺͿ hoge1 hoge2
60. ิ଍: rampؔ਺&resumeؔ਺ •rampؔ਺: ࠷ॳͷawait·Ͱ࣮ߦ •resumeؔ਺: awaitҎ߱ͷॲཧΛ࣮ߦ
61. hoge1 hoge2 resumeؔ਺͸await͝ͱʹ࡞੒ hoge3
62. hoge1 ࠶։࣌ʹawaitҎ߱ͷॲཧΛݺͼग़͢ await hoge2 https://github.com/swiftlang/swift/blob/main/docs/SIL/Types.md#async-functions asyncϑϨʔϜ ࠶։ޙͷॲཧ
63. hoge1 ࠶։࣌ʹawaitҎ߱ͷॲཧΛݺͼग़͢ await hoge2 https://github.com/swiftlang/swift/blob/main/docs/SIL/Types.md#async-functions asyncϑϨʔϜ ࠶։ޙͷॲཧ 💡͜ͷதஅͯ͠࠶։͢Δ࢓૊ΈΛ ContinuationͱݺͿ 💡ίʔϧελοΫ্Ͱ Ͳ͔͜Β࣮ߦ͢Ε͹Α͍͔ͷ৘ใ
64. ͞Βʹ2ͭͷಛ௃ •຤ඌ࠶ؼ(tail call) •AsyncContext
65. ͞Βʹ2ͭͷಛ௃ •຤ඌ࠶ؼ(tail call) •AsyncContext
66. hoge1 await await hoge2 asyncϑϨʔϜ ࠶։ޙͷॲཧ ؔ਺ϙΠϯλ ௚઀ΞυϨεΛ౉͢
67. hoge1 ॲཧ͕ऴΘͬͨΒݺͼग़͢ await await hoge2 asyncϑϨʔϜ ࠶։ޙͷॲཧ 💡຤ඌ࠶ؼ(tail call)ͱ͍͏ख๏Λ࢖͍ͬͯΔ ؔ਺ϙΠϯλ ݺͼग़͠
68. hoge1 ຤ඌ࠶ؼ(tail call) await await hoge2 asyncϑϨʔϜ ࠶։ޙͷॲཧ 💡ελοΫΛ࢖Θͳͯ͘ࡁΉ(ϝϞϦ࠷దԽ) ؔ਺ϙΠϯλ ݺͼग़͠
69. ͞Βʹ2ͭͷಛ௃ •຤ඌ࠶ؼ(tail call) •AsyncContext
70. Task Taskશମͷ৘ใ asyncϑϨʔϜ asyncϑϨʔϜ asyncϑϨʔϜ 1ͭͷඇಉظؔ਺ͷ৘ใ AsyncContext
71. hoge1 await hoge2 asyncϑϨʔϜ ࠶։ޙͷॲཧ AsyncContext ϙΠϯλ AsyncContextͷϙΠϯλΛ࣋ͪճΔ ϙΠϯλܦ༝Ͱ ඞཁͳ৘ใΛऔಘ AsyncContext ϙΠϯλ AsyncContext ϙΠϯλ
72. ؔ਺෼ׂ͸ Ͳ͜ͰߦͬͯΔͷ͔ʁ
73. ؔ਺෼ׂ͸LLVM͕ߦ͍ͬͯΔ 1. Parse(ࣈ۟ɾߏจղੳ) 2. Sema(ҙຯղੳ) 3. SILGen(IRੜ੒) 4. SILOptimizer(࠷దԽ) 5. IRGen(IRੜ੒) 6.LLVM(࠷దԽɺίʔυੜ੒) https://qiita.com/rintaro/items/3ad640e3938207218c20 ͜͜
74. Async lowering https://llvm.org/docs/Coroutines.html#async-lowering
75. ݩʑSwi f ͷͨΊʹ ௥Ճ࣮ͨ͠૷
76. Swi f ༻ͷ࣮૷͸ͳͥඞཁͩͬͨʁ •ΦʔόʔϔουΛ࠷খݶʹ཈͑ΔͨΊ • ෆཁͳॲཧͷলུ എܠ: ݩʑ͸C++ʹద࣮ͨ͠૷ & SwiftͰͷ࢖ΘΕํ͕ҟͳΔ(ྫ: forϧʔϓ) • Swiftଆʹ͓͚Δߴ౓ͳ࠷దԽΛॏࢹ • Swiftಠࣗͷݺͼग़͠ن໿ʹରԠ • কདྷతͳݴޠػೳͷ֦ுʹରԠ • ݺͼग़͠ଆʹΑΔॊೈͳϝϞϦ؅ཧ(Task͕࢘ྩౝ)
77. Coroutine Representations and ABIs in LLVM
78. ⚠ Returned-Continuation Lowering → Async Lowering LLVMͷϓϩϙʔβϧ
79. ຊ೔ͷ಺༰ •SwiftίϯύΠϥ௒ೖ໳ •Swift asyncؔ਺ͷ2ͭͷಛ௃(֓ཁ) •Swift asyncؔ਺ͷ2ͭͷಛ௃(ৄࡉ)
80. ຊ೔ͷ಺༰ •SwiftίϯύΠϥ௒ೖ໳ •Swift asyncؔ਺ͷ2ͭͷಛ௃(֓ཁ) •Swift asyncؔ਺ͷ2ͭͷಛ௃(ৄࡉ)
81. ͍͍ͩͨLLVMͷ࿩
82. LLVM IR௒ೖ໳
83. Module LLVM IRͷߏ଄ Function BasicBlock(BB) Instruction ϓϩάϥϜશମΛ؅ཧ͢Δίϯςφ 1ͭͷϓϩάϥϜɻ͍ΘΏΔؔ਺ ॱ൪ʹ࣮ߦ͢Δ໋ྩͷϦετ Ϛγϯ΁ͷ࣮ࡍͷ໋ྩ
84. Function Function Module ͜ΜͳΠϝʔδ if … else BasicBlock Instruction Instruction … BasicBlock Instruction Instruction … if … else BasicBlock Instruction Instruction … BasicBlock Instruction Instruction …
85. Swift asyncؔ਺ͷ2ͭͷಛ௃ •ಛผͳελοΫʹϩʔΧϧঢ়ଶΛอ࣋ •தஅϙΠϯτ(await)Ͱෳ਺ͷؔ਺ʹ෼ׂ
86. ࠶։ޙʹඞཁͳ৘ใͷΈอ࣋ ώʔϓϝϞϦ ελοΫ async value
87. Ͳ͏΍ͬͯඞཁ͔Ͳ͏͔Λ ൑அ͍ͯ͠Δʁ
88. •͢΂ͯͷ஋ʢม਺ɺఆ਺ɺؔ਺ɺ໋ྩͳͲʣͷ ڞ௨ͷ਌Ϋϥε •͜ͷ஋Λ࢖༻͍ͯ͠ΔଞͷValueͷϦετ (UseList)Λอ࣋ = def-use chain Value Ϋϥε https://llvm.org/doxygen/classllvm_1_1Value.html LLVM
89. •2ͭͷ BasicBlock A ͱ B ͕༩͑ΒΕͨ৔߹ʹɺA ͔Β B ΁ͷύε͕தஅϙΠϯτ(await)Λ௨ա͢ Δ͔Ͳ͏͔ΛνΣοΫ(தஅInstructionؚ͕·Ε͍ͯΔ͔Ͳ͏ ͔) SuspendCrossingInfoΫϥε https://github.com/swiftlang/llvm-project/blob/next/llvm/include/llvm/Transforms/Coroutines/SuspendCrossingInfo.h LLVM
90. BasicBlock Value ԿΛ͍ͯ͠Δʁ UseList BasicBlock Value BasicBlock Value BasicBlock Value … LLVM SuspendCrossingInfo ؔ਺෼ׂޙʹ ͕BasicBlockΛൺֱ ௒͍͑ͯΔʁ
91. ͜ΕͰෆཁͳϝϞϦΛ ࢖Θͳͯ͘ࡁΉ
92. …͸͚ͣͩͲ
93. όά͕͋ΔΒ͍͠ https://github.com/swiftlang/swift/issues/72289
94. ṖͷasyncϑϨʔϜ… Կ΋தஅϙΠϯτΛ௒͑ͳ͍ asyncϑϨʔϜ͕࡞ΒΕ͍ͯΔ ͷʹ https://github.com/swiftlang/swift/issues/72289
95. ݪҼߟ࡯ 💡Spillsʹ஋ؚ͕·Ε͍ͯΔͱ ϝϞϦΛ֬อ͠ͳΕ͹ͳΒͳ͍ swift_task_alloc(※)͕ݺ͹Ε͍ͯΔ͜ͱ͕ݪҼʁ ※ AsyncContextʹಈతͳαΠζ͕ඞཁͳ৔߹ʹݺ͹ΕΔ https://github.com/swiftlang/swift/issues/72289
96. ݪҼߟ࡯ asyncؔ਺͸શ෦͜ΕΛ ݺͿΑ͏ʹͳ͍ͬͯΔ = AsyncContextͷsize͕ staticʹܾ·Βͳ͍ https://github.com/swiftlang/swift/blob/main/lib/IRGen/GenCall.cpp#L166 https://github.com/swiftlang/swift/issues/72289
97. •͜ͷೝࣝͰ߹͍ͬͯΔͷ͔ʁ •Ͳ͏ղܾ͢Δ͔ʁ •தஅϙΠϯτΛ௒͑ͳ͍৔߹͸staticͳ AsyncContextSizeΛ౉͢ʁ(Ͳ͏൑ఆ͢Δʁ) •LLVMଆͰswift_task_allocΛফ͢ʁ Μʙ… https://github.com/swiftlang/swift/issues/72289
98. ͦΕ͸͓͖ͯ͞
99. Swift asyncؔ਺ͷ2ͭͷಛ௃ •ಛผͳελοΫʹϩʔΧϧঢ়ଶΛอ࣋ •தஅϙΠϯτ(await)Ͱෳ਺ͷؔ਺ʹ෼ׂ
100. LLVMʹ͓͚Δίʔυͷ࠷దԽ ม׵લ LLVM IR ม׵ޙ LLVM IR
101. ෳ਺ͷPassʹΑΔ࠷దԽ ม׵લ LLVM IR Pass Pass ม׵ޙ LLVM IR … ղੳ/ ࠷దԽ
102. ؔ਺෼ׂ΋ͦͷ1ͭ ม׵લ LLVM IR Pass Pass ม׵ޙ LLVM IR … ؔ ਺ ෼ ׂ
103. Coroutine Transformation Passes •CoroEarly •CoroSplit •CoroAnnotationElide •CoroElide •CoroCleanup https://llvm.org/docs/Coroutines.html#coroutine-transformation-passes LLVM 💡LLVMͰඇಉظॲཧ(ͳͲ)Λ ѻ͏࢓૊ΈΛCoroutineͱݺͿ
104. ؔ਺෼ׂ͸CoroSplitͰߦ͏ •CoroEarly •CoroSplit •CoroAnnotationElide •CoroElide •CoroCleanup https://llvm.org/docs/Coroutines.html#coroutine-transformation-passes LLVM
105. BasicBlockΛ෼ׂ Function BasicBlock … தஅInstruction … BasicBlock … BasicBlock தஅInstruction … ✂ https://github.com/swiftlang/llvm-project/blob/next/llvm/lib/Transforms/Coroutines/CoroSplit.cpp
106. ຊ೔ͷ಺༰ •SwiftίϯύΠϥ௒ೖ໳ •Swift asyncؔ਺ͷ2ͭͷಛ௃(֓ཁ) •Swift asyncؔ਺ͷ2ͭͷಛ௃(ৄࡉ)
107. ৭ʑ࿩͠·͕ͨ͠
108. ࣗ෼Ͱ৮ͬͯΈΔͷ͕Ұ൪ʂ
109. https://zenn.dev/omochimetaru/articles/8a7f35c5e23a24
110. σόοάํ๏ https://github.com/swiftlang/swift/blob/main/docs/DebuggingTheCompiler.md
111. •C++Θ͔Βͳͯ͘΋࠷ॳ͸େৎ෉ •σόοάͯ͠ॲཧͷྲྀΕΛ͔ͭΉ(ೖΓޱΛݟ͚ͭΔ) •සग़ϫʔυͱུޠʹ׳ΕΔ •castʹ࿭Θ͞Εͳ͍ SwiftίϯύΠϥʹڵຯΛ࣋ͬͨํ΁
112. ݸਓతʹࢥ͍ͬͯΔ͜ͱ •SwiftશવΘ͔ΒΜʂָ͍͠ʂ •Swiftʹߩݙֶͯ͠Ϳʂ •ࠔͬͨΒॿ͚͍ͯͩ͘͞🙏
113. • Swift ίϯύΠϥͷΞʔΩςΫνϟ • SwiftίϯύΠϥ։ൃೖ໳ • ͖ͭͶ͞ΜͰ΋Θ͔ΔLLVM ~ίϯύΠϥΛࣗ࡞͢ΔͨΊͷΨΠυϒοΫ~ • SwiftͷύϑΥʔϚϯεৄࡉ • Swiftฒߦॲཧ: ෣୆ཪ • SwiftϦϙδτϦ • LLVMϦϙδτϦ(Apple͕ϑΥʔΫ͍ͯ͠Δόʔδϣϯ) • Async lowering • ෆཁͳasyncϑϨʔϜ͕࡞੒͞Εͯ͠·͏ͱ͍͏issue ࢀߟࢿྉ
114. ͋Γ͕ͱ͏͍͟͝·ͨ͠ʂ