hangingman
commented
3 years ago ref https://github.com/hangingman/gosk/blob/master/spec.md
参考
用語
- 字句解析(=scanner.ll)
- 構文解析(=parser.yy)
- 抽象構文木(AST)
仕様
字句解析
- Lexerで使用するtokenについてはgoskの方で書いたものが参考になる
構文解析
- BNF構文で書く、構文解析(=parser.yy)の方で使う
- 最終的なBNF構文 PR #36 より
<プログラム>::=<文>*
<文>::=<ラベル>|<変数宣言>|<コンフィグ>|<ニーモニック>
<ラベル>::=<識別子> ":"
<変数宣言>::=<変数名> "EQU" <式>
<コンフィグ>::="[" <コンフィグ命令> <文字列リテラル> "]"
<コンフィグ命令>::="BITS" | "INSTRSET" | "OPTIMIZE" | "FORMAT" | "PADDING" | "PADSET" | "OPTION" | "SECTION" | "ABSOLUTE" | "FILE"
<コンフィグ引数>::= <文字列リテラル>
<ニーモニック>::=<オペコード> { <式> "," } * {<式>}
<式>::=<要素> <比較演算子> <要素>
| <要素> '+' <要素>
| <要素> '-' <要素>
| <要素> '*' <要素>
| <要素> '/' <要素>
| <要素> '%' <要素>
| <要素>
<要素>::= <数字リテラル>
| <16進数リテラル>
| <識別子>
| <文字列リテラル>
<比較演算子>::='=='|'!='|'>'|'<'|'>='|'<='
<文字列リテラル>::="\"" <文字>* "\"
<数字リテラル>::=<数字>+
<16進数リテラル>::="0x" {<数字>|a-z|A-Z}* -{0,1}${0,1}
<文字>::=a|b|...|z|A|B|...|Z|_|
<識別子>::=[a-zA-Z][a-zA-Z_0-9$]*
<数字>::=[0-9]抽象構文木
- 構文解析の結果を抽象構文木として生成したい、以下方針
解析ツリーを構築する方法の例として、次の式の文法を考慮してください。
pgm -> stmt* stmt -> id = exp | print id exp -> exp + exp | exp - exp | exp * exp | exp / exp | ( exp ) | - exp | id | number非終端はPGM、STMT、およびEXPであるため、これら3つの非終在的な非終在のための抽象クラスが必要です。
- 終端記号と非終端記号 終端記号は、生成規則の右辺のみに現れ、左辺には現れない。よって、生成規則によってそれ以上は変換されない（これが“終端”と呼ばれる理由である）。
bisonはC++のコードを出力できるらしい Re: What are the benefits to migrate from Bison++ to Bison
リファクタリング
33 editorconfig でコードのフォーマットを固定
34 ログが多すぎるので少なくする
開発環境準備
35 bison/flexをCIで動かせるようにする対応
実装
36 lexer/parserを仮に設定し字句解析と構文解析
37 BNFCで生成したソースを使う
38 アドレス指定の際の「exp:exp」のようなテキストを読めるようにする
マイグレーション
残り、flexをc++インターフェースで使うかどうかというところとopennaskの実装をbnfcの生成コードで置き換えていくという作業がある
[x] flexをc++インターフェースで使うかどうか検討して実装
[x] opennaskの実装をbnfcの生成コードで置き換え
40
41
43
44
45
47
48
49
50
54
55
57
69
70
メモリーリークも解決した( #51 )ので、2022年は暇を見つけて上記の続きをやる
メモリーアドレッシング・モード
実装にけっこう悩んでいたが、評価時に単純に左から順に連結していけばいいかも
ディスプレイスメントでどういうパターンがあるのかがわかりずらい
たぶん以下のパターンしかない？
osaskプロジェクトだと
REG[REG+X]ぐらいしかパターンはなさそう 下記のようなパターンがあるっぽい https://web.archive.org/web/20230616085837/https://faculty.kfupm.edu.sa/COE/aimane/assembly/pagegen-64.aspx.htm➔ 上記部分は最終的にEBNFを書き換えて攻略した #73 で継続して実施