言語理論とコンパイラ

第九回: yacc 系ツールの演習

2009 年 6 月 12 日

http://www.sw.it.aoyama.ac.jp/2009/Compiler/lecture9.html

Martin J. Dürst

© 2005-9 Martin J. Dürst 青山学院大学

bison とは

• yacc: yet another compiler compiler
• Unix の普及とともに広がった
• compiler compiler: コンパイラを作るコンパイラ
• yet another: もう一つ、できた当時に compiler compiler が流行りで、他に名前が浮かんで来なかった
• bison: yacc の gnu 版

flex と bison の使い方の概要

• bison でトークンの種類を記述:
  例: %token NUM PLUS ASTERISK ...
• bison で属性値の型の定義
  例: #define YYSTYPE int
• flex でそれぞれのトークン用のルールを定義、トークンを返す
• bison で文法規則を定義
• bison で文法の属性の規則を定義
• コンパイルとテスト (全項目と合わせて行った方がよい)

make の活用

• flex, bison, gcc などを忘れず使うのが難しい
• make コマンドは makefile の指定に従い、必要最小限の処理を実行
• 必要に応じて、make コマンドを cygwin で追加
• makefile の書き方 (→はタブの意味):
  target: input1 input2 input3 ...
→target 作成命令
• make だけ打つと makefile 内の最初の target が作られる
• タブかスペースに要注意

演習例: 簡単な電卓

スタートのためのファイル: makefile, calc.y, calc.lex

bison の仕組みとデバッグ

• bison -v で作った機械の明細のファイルを作成 (例: calc.output)
• #define YYDEBUG 1 でデバッグを ON

開発のコツ

• テストの入力ファイルを用意
• テストの正解ファイルを用意
• 自動的にプログラムを実行、diff コマンドで比較
• diff から出力がなかったらテスト成功
• テストファースト: テストを追加して、失敗を確認してから実装

calc 用テストファイル: test.in, test.check

宿題

提出: 再来週の木曜日 (6 月 26日) 19 時 00 分、O 棟 529 号室の前

簡単なプログラム言語をflex と bison で実現して、.lex と .y のファイルを印刷して提出

• データ型は整数のみ
• 変数の識別子は一文字 (A-Za-z), 宣言なし、初期値 0
• 多くの C の演算子を実現する
• 演算子の優先度、結合規則を文法で定義する (%left, %right など使わないこと)
• 文は ; で区切る。制御文 (if 等)、関数 は無し
• @ (式) で「式」の結果を改行付きで印刷
• # から行末まではコメント