Skip to content

Latest commit

 

History

History
66 lines (46 loc) · 3.86 KB

2_Flow.md

File metadata and controls

66 lines (46 loc) · 3.86 KB
Raw

2.2 全体の処理の流れ

2.2.1 データに着目したコンパイラの処理の流れ

以下の各データは、ソースコードを除き、 int_calc_compiler/src/lib/tp_compiler/tp_compiler.h の記号表(TP_SYMBOL_TABLE 構造体)に格納されます。 トークン列の各要素には、ソースコード上の行と桁が記録されます。

  1. ソースコード(UTF-8)
  2. トークン列
  3. 構文木
  4. 中間言語(WebAssembly バイナリ表現)
  5. x64 フラット・バイナリ・ファイル(flat binary file)

2.2.2 実際のコンパイラの処理の流れ

  1. int_calc_compiler/src/main.c：main 関数 で、 コンパイラ本体(静的ライブラリ)の tp_compiler 関数を呼び出し

  2. int_calc_compiler/src/lib/tp_compiler/tp_compiler.c：tp_compiler 関数 が compiler_main 関数を呼び出し

  3. compiler_main 関数で、コンパイラの初期化処理 init_symbol_table 関数を呼び出し

2.2.2.1 ソースコードをコンパイルする通常の処理の流れ

  1. 字句解析(トークン列を出力)： int_calc_compiler/src/lib/tp_compiler/tp_make_token.c：tp_make_token 関数

  2. 構文解析(再帰降下構文解析。構文木を出力)： int_calc_compiler/src/lib/tp_compiler/tp_make_parse_tree.c ：tp_make_parse_tree 関数

  3. 意味解析(未定義の変数の参照や、重複する変数の定義をチェックする)： int_calc_compiler/src/lib/tp_compiler/tp_semantic_analysis.c ：tp_semantic_analysis 関数

  4. 中間コード生成(WebAssembly バイナリ表現を出力)： int_calc_compiler/src/lib/tp_compiler/tp_make_wasm.c ：tp_make_wasm 関数

  5. コード生成(アセンブラを利用せず、機械語を直接出力)： int_calc_compiler/src/lib/tp_compiler/tp_make_x64_code.c ：tp_make_x64_code 関数

2.2.2.2 ソースコードをコンパイルせず、コンパイラに内蔵されたテスト用の WebAssembly 生成処理から処理を開始する場合

  1. 中間コード生成： int_calc_compiler/src/lib/tp_compiler/tp_make_wasm.c：tp_make_wasm 関数

  2. コード生成： int_calc_compiler/src/lib/tp_compiler/tp_make_x64_code.c：tp_make_x64_code 関数

2.2.3 その他のソースコード・ファイルについて