9、4100：ifa＜bgotol03101：t：=0102：gotol04。103:t:=1104：圖7.11關(guān)于布爾表達式的數(shù)值表示法的翻譯模式E→E1orE2｛E.place:=newtemp;emit(E.place':='E1.place'orE2.place)}E→E1andE2｛E.place:=newtemp;emit(E.place':='E1.place'andE2.place)}5（接上頁）E→notE1｛E.place:=newtemp;emit(E.place':=''not'
10、E1.place)}E→id1relopid2{E.place:=newtemp;emit('if'id1.placerelop.opid2.place'goto'nextstat+3);emit(E.place':=''0');emit('goto'nextstat+2);emit(E.place':=''1')}E→ture｛E.place:=newtemp;emit(E.place':=''1')}E→false｛E.place:=newtemp;emit(E.place':=''0')}67
11、.4.3控制流語句文法：S→ifEthenS1
12、ifEthenS1elseS2
13、whileEdoS1E.codeS1.codeE.true:...E.false:(a)if-thentoE.truetoE.false代碼結(jié)構(gòu)：7E.codeS1.codeE.true:S2.codeE.false:gotoS.next...S.next:toE.truetoE.false(b)if-then-elseE.codeS1.codeE.true:E.false:gotoS.begin...S.begin:t
14、oE.falsetoE.true(c)while-do8語法制導(dǎo)定義：產(chǎn)生式語義規(guī)則S→ifEthenS1E.true:=newlabel;E.false:=S.next;S1.next:=S.nextS.code:=E.code
15、
16、gen(E.true’:’)
17、
18、S1.code9產(chǎn)生式語義規(guī)則S→ifEthenS1elseS2E.true:=newlabel;E.false:=newlabel;S1.next:=S.next;S2.next:=S.next;S.code:=E.code
19、
20、gen(
21、E.true’:’)
22、
23、S1.codegen(‘goto’S.next)
24、
25、gen(E.false’:’)
26、
27、S2.code(接上頁）10產(chǎn)生式語義規(guī)則S→whileEdoS1S.begin:=newlabel;E.true:=newlabel;E.false:=S.next;S1.next:=S.begin;S.code:=gen(S.begin’:’‖E.code‖gen(E.true’:’)‖S1.code‖gen(‘goto’S.begin)(接上頁）117.4.4控制流語句中的布爾表達式的
28、翻譯基本思想:假定E形如a＜d,則將生成如下的E的代碼：ifa＜bgotoE.true表7.5語法制導(dǎo)定義gotoE.false產(chǎn)生式語義規(guī)則E→E1orE2E1.true:=E.true;E1.false:=newlabel;E2.true:=E.true;E2.false:=E.falseE.code:=E1.code
29、
30、gen(E1.false’:’)
31、
32、E2.code12產(chǎn)生式語義規(guī)則E→E1andE2E1.true:=newlabel;E1.false:=E
