LINE DEVELOPER DAY 2017 C-1

2. Inside of Swift
Yuka Ezura, Dev-3 Center

3. Swift5new!

4. Swift5
Proposal
Swift-evolution に PR 出す
Core チームからフィードバック
“実装と共に”公式レビュー

5. 大航海時代の幕開け

6. 地図が欲しい！

7. Swift を使う

8. Swift の内部への入り口

9. • Swift プロジェクトの構成のイメージを掴む
• どの部分を変更するのか推測できる
Goal

10. - 環境構築
- 構成のイメージ
- イメージを固める
Agenda

11. 環境構築

12. Swift と関連プロジェクトのソースコード
準備
Build tools (CMake, Ninja)
Disk space (>20GB)
Xcode (指定されているバージョン; 最新)

13. git clone git@github.com:apple/swift.git
./swift/utils/update-checkout --clone-with-ssh
コマンド
brew install cmake ninja
xcode-select -s [Xcode へのパス]
公式ドキュメント: https://github.com/apple/swift#getting-started
mkdir swift-source
cd swift-source

14. 結果

15. swift/utils/build-script -x --skip-build
+α
Xcode プロジェクト作成
• build/Xcode-DebugAssert/swift-macosx-
x86_64/Swift.xcodeproj が作成される
• 利点
• 補完・宣言部の表示
• マクロで作成されたコードを即時に評価

16. swift/utils/build-script -R
ビルド
• Options
• -R: Release build
• -d: Debug build
• -t: Run test
• -h: ヘルプ
• …

17. swift-source
/build
/Ninja-ReleaseAssert
/swift-macosx-x86_64
/bin
/swift
結果

18. 動作確認
./build/Ninja-ReleaseAssert/swift-macosx-
x86_64/bin/swift

19. 構成のイメージ

20. コード解析の流れ
コード
字句
解析
構文
解析
意味
解析
Text Token
抽象構文木
(型情報 未解決)
抽象構文木
(型情報 解決済)

21. コード解析の流れ
SIL
Optimizer
LLVM
IR 生成
SIL
生成
LLVM
Swift 中間言語
= Swift の情報存在
制約検査
最適化
…
LLVM IR

22. 途中経過出力コマンド例
swift -frontend -dump-parse [file name]
構文
解析
意味
解析
SIL
Gen
SIL
Opt
swift -frontend -dump-ast [file name]
swift -frontend -emit-silgen [file name]
swift -frontend -emit-sil [file name]

23. プロジェクト

24. 構成
swift-source
/stdlib —- 標準ライブラリ (.swift, .gyb)
/lib —- コンパイラのソース群
/Parse —- 構文解析
/Sema —- 意味解析
/…

25. 標準ライブラリ
.swift.gyb
.swift .swift

26. gyb (コード生成ツール)
% for Self in [
% 'Range',
% 'ClosedRange',
% ]:
extension ${Self} /* 中略 */ {
/* 中略 */
}
% end

27. gyb (コード生成ツール)
% for Self in [
% 'Range',
% 'ClosedRange',
% ]:
extension ${Self} /* 中略 */ {
/* 中略 */
}
% end

28. gyb (コード生成ツール)
extension Range /* 中略 */ {
/* 中略 */
}
extension ClosedRange /* 中略 */ {
/* 中略 */
}

29. 構成
swift-source
/stdlib —- 標準ライブラリ (.swift, .gyb)
/lib —- コンパイラのソース群
/Parse —- 構文解析
/Sema —- 意味解析
/…

30. コード解析の流れ
コード
字句
解析
構文
解析
意味
解析
lib/Parse lib/Parse lib/Sema
lib/AST

31. コード解析の流れ
SIL
Optimizer
LLVM
IR 生成
SIL
生成
LLVM
lib/SILGen lib/
SILOptimizer
lib/IRGen
Raw SIL
加工済み SIL
LLVM IR

32. おまけ

33. Replace typealias keyword with associatedtype
for associated type declarations
(proposal: SE0011)
https://github.com/apple/swift-evolution/blob/master/proposals/0011-replace-typealias-associated.md

34. https://github.com/apple/swift-evolution/blob/master/proposals/0011-replace-typealias-associated.md
protocol P {
associatedtype T
}
Before
After
protocol P {
typealias T
}

35. コード解析の流れ
コード
字句
解析
構文
解析
意味
解析
lib/Parse lib/Parse lib/Sema

36. 答え合わせ
https://github.com/apple/swift/pull/964/files

37. 単純な変更
答え合わせ: https://github.com/ezura/swift-sample/commit/8e639f9e285f04c63ed9b307054d2246df459b2a
struct 🐻 {
var moon: Any
}
brown 🐻 {
conny moon: Wow
}
Before
After

38. コード解析の流れ
コード
字句
解析
構文
解析
意味
解析
Text Token lib/Parse

39. • 環境構築やビルド等、必要なスクリプトは準備済み
• 流れが整理されていて、眺めやすい
Conclusion

40. Thank you

41. References
- apple/swift
https://github.com/apple/swift
- apple/swift README
https://github.com/apple/swift/blob/master/README.
md
- Swift Programming Language Evolution
https://github.com/apple/swift-evolution#development-
major-version--swift-50
- Swift Contributing
https://swift.org/contributing/
- Compiler and Standard Library
https://swift.org/compiler-stdlib/#compiler-architecture
- gyb.py
https://github.com/apple/swift/blob/master/utils/gyb.py
- Swiftコンパイラ開発環境構築
http://qiita.com/rintaro/items/2047a9b88d9249459d9a
- Swift コンパイラのアーキテクチャ
http://qiita.com/rintaro/items/3ad640e3938207218c20
- Swiftコンパイラの構造と基盤テクニック
http://qiita.com/demmy/items/f08a65298d2f2caf1360
- Swiftのコンパイラを改造して独自構文を追加する
http://qiita.com/koher/items/aea1b44d0aef43b0059c
- How to Read the Swift Standard Library Source
https://oleb.net/blog/2016/10/swift-stdlib-source/
- Swift Intermediate Language (SIL)
https://github.com/apple/swift/blob/master/docs/SIL.rs
t
- StandardLibraryProgrammersManual.md (書き途中)
https://github.com/apple/swift/blob/27b044ec19d9cb9
2e3d49d678f5249b9031ff99d/docs/StandardLibraryPr
ogrammersManual.md