gcc-8.3/gcc/tips__tree の履歴(No.3)

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• gcc-8.3/gcc/tips__tree へ行く。
  • 1 (2020-05-13 (水) 12:48:19)
  • 2 (2020-05-13 (水) 13:00:54)
  • 3 (2021-03-09 (火) 20:06:55)
  • 4 (2021-03-22 (月) 23:52:57)

参照元†

• gcc-8.3/gcc/tips__debug

説明†

FIXME: なにをするもの？

GIMPLE は GCC 内部では gimple と tree というデータ型で表現されているようだ。

• gcc-8.3/gcc/gimple

• gcc-8.3/gcc/tree
  • tree は tree_node のポインタ
  • gcc-8.3/gcc/tree_node(gen)

gimple のおおざっぱな見方†

• gimple をダンプする関数
  • gcc-8.3/gcc/print_gimple_stmt()

gimple *stmt;

print_gimple_stmt (stdout, stmt, 2);
GCC のバージョンによっては、もう一つ 0 を渡す必要があるかも。

tree のおおざっぱな見方†

tree val があったとする。

種類を見る

• val->base.code をみると、SSA_NAME のような tree_code 型の定数が入っている。 コード上で扱う際は TREE_CODE() マクロで取る。
  • gcc-8.3/gcc/tree_code
  • gcc-8.3/gcc/TREE_CODE()
• tree_node は色んな型の union だが、どの型も必ず先頭に tree_base 型相当のメンバを持っているので、 base.code にアクセスしても大丈夫なはず。相変わらず GCC はむちゃくちゃな作りだ。
  • gcc-8.3/gcc/tree_base

適した型でダンプ

• code が SSA_NAME だとしたら、tree_ssa_name 型の ssa_name を見れば良い。code と名前がほぼ一致しているから、わかるはず。