「低レイヤを知りたい人のためのCコンパイラ作成入門」読書会(7)メモ

[furandon-pig]

• 「低レイヤを知りたい人のためのCコンパイラ作成入門」読書会(7)のメモです。
• 5/23(土) 13:00-16:00 開催予定です。
• 「ステップ15: 関数の定義に対応する」から読み進めます。

[furandon-pig]

キーワード

• ABI(Application Binary Interface)
• 関数呼び出し規約(function calling cenvention)

メモ

• 関数呼び出しを実装しているコミット
  • Support function definition up to 6 parameters
  • Support zero-arity function definition
• Pythonのデフォルト引数に関する話
  • https://twitter.com/teramonagi/status/1263464328826621952
• System V Application Binary InterfaceAMD64 Architecture Processor SupplementDraft Version 0.99.7(pdf)
• Programming Languages C(ISO/IEC 9899:201x)(pdf)
• Is MIPS Dead? Lawsuit, Bankruptcy, Maintainers Leaving and More…(2020/04/22)
• IT基礎技術勉強会(旧:IT初心者勉強会)
• 呼出規約(Windows)

呼出規約	説明
cdecl	WindowsAPIではこれが一般的。呼出元でスタックを調整する方式。
stdcall	呼び出された関数側でスタックを調整する方式。
fastcall	引数をスタックに積まず、レジスタで渡す方式。

• インポート ライブラリ ツール： IMPLIB.EXE
  • SDLライブラリ形式の変換(2006/06/08)
• 言語弁護士
• Compute the integer absolute value (abs) without branching
• オーバーフローが引き起こした面白いバグの話(2017/11/17)
• Pentium FDIV バグ(Wikipedia)
• ペンシルロケット(Wikipedia)
• CoQ(Wikipedia)
• 【デブサミ2020】セッションレポート：13-F-6 「厳密な共通言語」としての形式手法(2020/02/13)
• Isabelle による並列処理を行う自動証明システムの構築 Emacs Lisp, PostgreSQL を用いて(pdf)
• NetBSDのabs(3)の実装
• ゆるバグ2

[guignol]

#01: Tensor Comprehensions, Rust Belt ML 向け JIT Compiler と Rust の安全性証明のはなし。 https://misreading.chat/2018/03/26/episode-01-tensor-comprehensions-rust-belt/

[guignol]

https://www.geeksforgeeks.org/compute-the-integer-absolute-value-abs-without-branching/

[furandon-pig]

次回

• 次回は 6/20(土)
• ポインタと文字列リテラルから。