Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Program Diagnostic in SILOptimizer

Program Diagnostic in SILOptimizer

at swift zoomin'
でた資料 SILの公式ドキュメント: https://github.com/apple/swift/blob/master/docs/SIL.rst
でた資料 SILOptimizer 入門: https://qiita.com/freddi_/items/d2c2b2db223dc4a50494

Avatar for freddi(Yuki Aki)

freddi(Yuki Aki)

March 21, 2020
Tweet

More Decks by freddi(Yuki Aki)

Other Decks in Technology

Transcript

  1. SIL

  2. SIL

  3. Diagnostic in SILOptimizer SIL in the Swift Compiler - A

    series of Guaranteed Optimization Passes and Diagnostic Passes are run over the raw SIL both to perform optimizations and to emit language-specific diagnostics. These are always run, even at -Onone, and produce canonical SIL. - The SILGen module generates raw SIL from an AST.
  4. Diagnostic in SILOptimizer SIL in the Swift Compiler - A

    series of Guaranteed Optimization Passes and Diagnostic Passes are run over the raw SIL both to perform optimizations and to emit language-specific diagnostics. These are always run, even at -Onone, and produce canonical SIL. - The SILGen module generates raw SIL from an AST.
  5. ਍அ͸ԿΛ͍ͯ͠Δͷ͔ ݴޠ࢓༷ʹ߹ͬͨϓϩάϥϜͷνΣοΫΛߦ͏ - ਺஋Ϧςϥϧม׵࣌ͷΦʔόʔϑϩʔͷνΣοΫ etc … - ౸ୡ͠ͳ͍ॲཧ͕͋Δͱ͖ͷܯࠂ If all

    diagnostic passes succeed, the final result is the canonical SIL for the program. ʢ༁ʣ΋͠ɺ͢΂ͯͷ਍அ͕੒ޭͨ͠৔߹ɺcanonical SIL͕ੜ੒͞Ε·͢
  6. Thank you! Twitter: @_ _ _ freddi _ _ _

    HAKATA.swift will hold meetup on Twitter! Qiita SILOptimizer : https://bit.ly/3a9ro7u