言語処理系（９）

言語処理系（９） 金子敬一

６　構文主導型翻訳 ６．１　構文主導型翻訳方式６．２　構文主導型翻訳系の実現６．３　中間コード６．４　後置記法６．５　解析木と構文木６．６　３番地コード，４つ組および３つ組６．７　代入文の翻訳６．８　論理式６．９　制御の流れを変える文

６．８　論理式 • 論理式の翻訳方法基本的には次の２つ • trueを1，falseを0などと数値的に符号化 • 制御の流れを用いる goto L if A goto L if A relop B goto L

６．８　論理式 • 数値による表現 A or B and C T1 := B and C T2 := A or T

６．８　論理式 • 数値による表現 A < B or C (1) if A < B goto (4) (2) T1 := 0 (3) goto (5) (4) T1 := 1 (5) T2 := T1 or C

６．８　論理式 • 数値による表現 E → E(1)orE(2) {T := N( ); E.P := T; GEN(T := E(1).P or E(2).P)} E → id(1) relop id(2) {T := N( ); E.P := T; GEN(if id(1).P relop id(2).P gotoNQ+3); GEN(T := 0); GEN(goto NQ+2); GEN(T := 1);}

６．８　論理式 • 制御の流れによる論理式の表現 A < B or C (1) if A < B goto (4) (2) T1 := 0 (3) goto (5) (4) T1 := 1 (5) T2 := T1 or C T2 := C T2 := 1

６．８　論理式 • 制御の流れによる論理式の表現 if E then S(1) else S(2) Eに対するコード S(1)に対するコード TRUE: S(2)に対するコード FALSE:

６．８　論理式 • 制御の流れによる論理式の表現 while E do S Eに対するコード Sに対するコード TRUE: FALSE:

６．８　論理式 • 制御の流れによる論理式の表現分岐点の生成時には分岐先は未定後埋め MAKELIST(i): アドレスiのみからなるリストを生成 MERGE(p1, p2): アドレスリストp1とp2を併合したリストを返す BACKPATCH(p, i): アドレスリストpが指定する４つ組の分岐先がiとなるように更新

６．８　論理式 • 制御の流れによる論理式の表現翻訳属性 E.T: Eが真のときの未定の分岐先を持つ４つ組のアドレスリスト E.F: Eが偽のときの未定の分岐先を持つ４つ組のアドレスリスト

６．８　論理式 • 制御の流れによる論理式の表現 (1) E→E(1)orME(2) {BACKPATCH(E(1).F, M.Q); E.T := MERGE(E(1).T, E(2).T); E.F := E(2).F} (2) E→E(1)andME(2) {BACKPATCH(E(1).T, M.Q); E.T := E(2).T; E.F := MERGE(E(1).F, E(2).F)}

６．８　論理式 • 制御の流れによる論理式の表現 (3) E→notE(1) {E.T := E(1).F; E.F := E(1).T} (4) E→(E(1)) {E.T := E(1).T; E.F := E(1).E}

６．８　論理式 • 制御の流れによる論理式の表現 (5) E→id {E.T := MAKELIST(NQ); E.F := MAKELIST(NQ + 1); GEN(if id.P goto _); GEN(goto _)}

６．８　論理式 • 制御の流れによる論理式の表現 (6) E→id(1) relop id(2) {E.T := MAKELIST(NQ); E.F := MAKELIST(NQ + 1); GEN(ifid(1).Prelopid(2).Pgoto_); GEN(goto _)} (7) M→e {M.Q := NQ}

E E M E E E M ６．８　論理式 • 制御の流れによる論理式の表現 100: if P < Q goto _ 101: goto _ 102: if R < S goto _ 103: goto _ 104: if T < U goto _ 105: goto _ 102 104 T={100,104} F={103,105} T={104} F={103,105} T={100} F={101} T={102} F={103} Q=102 T={104} F={105} Q=104 < and R S e < T U e < or P Q

６．８　論理式 • 混合型の式算術式⊂論理式ならば論理式を数値として扱ったほうが便利；論理式を制御の流れとして表現する方法も利用可能

ちょっと休憩（雑談）

写真（プラハ）

写真（マドリッド）

写真（トレド）

写真（プラハ土産）

写真（マドリッド土産）

休憩おわり

６．９　制御の流れを変える文 • 無条件飛越し goto文の翻訳後方分岐：ラベルの検索，３番地文生成前方分岐：ラベルの登録，３番地文生成，ラベルに番地を登録

言語処理系（９）

言語処理系（９）

Presentation Transcript