第12回目资料.pptVIP

言語プロセッサ 第１２日目 平成19年1月9日 意味解析 名前の宣言と使用との対応付け 例： int x, y; float z; x = z * y; 整数型 = 浮動小数点型　＊　整数型 意味解析 例： int x, y; float z; x = z * y; 整数型 = 浮動小数点型　＊　整数型 整数型 = 浮動小数点型＊浮動小数点型 整数型 = 浮動小数点型 整数型 = 整数型 変数等の宣言された情報を参照する必要がある。 ＝＞　記号表を用意しよう！ ?名前 (spell) ?型 (int, float, …, struct char *, etc.) ?記憶域 (static, auto, …) ?その他 (const, etc.) 変数の場合（例） 型 大きさ（バイト数） 有効範囲 通常変数/仮引数 宣言の有無（暗黙宣言が許されている言語） 実行時に割り当てられるアドレス　など 関数名?手続き名（例） 仮引数の個数および引数の型 戻り値の型（関数の場合） 有効範囲 コードの先頭番地（entry point） 定数名（例） 型 定数の内部表現 アドレス 型名（例） 型の種別(int, float, array, structure, etc.) 型の種別ごとの情報（arrayならば、添字の範囲、要素の型など） 記号表に対する操作 登録 参照 更新 削除 ＝＞表探索問題(Table Search Problem) 記号表の操作は 速くなければならない ＝＞どうすればいいのか？＝＞　これ以降の議論は、 　　「データ構造とアルゴリズム」や 　　「計算可能性と計算量」など 　　の授業でやること。 探索アルゴリズム 線形探索法（改良版には番兵法） ２分法 ハッシュ法（ハッシング法） ２分最適木法 B木法 etc.自分で作るときには、まず「線形探索」でOK。その後、hashing法にしてみよう。 中間言語 原始プログラムの構文解析結果は、「解析木」である。 実際には、解析木とは異なる内部表現を使うことも多い。＝＞これを「中間言語」と呼ぶ。 中間言語とは コンパイラは、原始プログラムを目的プログラムに変換する途中段階で、中間的なプログラムを作る場合がある。これを「中間コード」あるいは、中間言語プログラムといい、これを記述する言語を「中間言語」という。 中間言語 構文木 後置記法（Polish notation） 三つ組 四つ組 １．構文木 ２．後置記法 前置記法(prefix notation) 中置記法(infix notation) 後置記法(postfix notation) ２．後置記法 前置記法(prefix notation) + X Y 中置記法(infix notation) X + Y 後置記法(postfix notation) X Y + 後置記法の長短 長所： 括弧が不要 コード生成がし易い スタックを利用すると、インタープリタが容易に実現可能 短所： 四つ組（後述）と比べ表現に融通性欠如 そのため、最適化に不向き 3.三つ組 形式： 番号　（演算子，被演算子１，被演算子２） 例： ７．（＋，X，１５）（意味）　⑦　←　X＋１５ 例 A = 10 * B ー C / D = １．（＊，１００，B） ２．（ / ，C，D） ３．（ー，①，②） ４．（＝，③，A） ４．四つ組 形式： （演算子，被演算子１，被演算子２，結果の変数） 例： （＋，X，１５，ｔ）（意味）　ｔ ← X+15 例 A = 10 * B ー C / D = １．（＊，１００，B，ｔ１） ２．（ / ，C，D，ｔ２） ３．（ー，ｔ１，ｔ２，A） 例２：X=(A+B-C)/(A+B) （まずは自分でやってみよう） 例２：X=(A+B-C)/(A+B) （＋，A，B，ｔ１） （ー，ｔ１，C，ｔ２） （＋，A，B，ｔ３） （ / ，ｔ２，ｔ３，X） 例２：X=(A+B-C)/(A+B) （＋，A，B，ｔ１） （ー，ｔ１，C，ｔ２） （＋，A，B，ｔ３） （ / ，ｔ２，ｔ３，X） 例２：X=(A+B-C)/(A+B) （＋，A，B，ｔ１） （ー，ｔ１，C，ｔ２） （ / ，ｔ２，ｔ１，X） （最適化された!） 練習問題 式 X + y * ( z – w ) を 構文木 後置記法 三つ組　の列 四つ組　の列 　として表せ。 コードの最適化 コンパイル過程において、生成するコードを改良することを「コード最適化」という。では、「改良」とはどうすること？ 最適化の