回填拉链翻译举例精选.ppt

* 设程序结构定义如下： P S S if E then S S if E then S else S S while E do S S begin L end S A L L;S L S 布尔表达式 E 及赋值语句 A定义见书上 为能及时地回填有关四元式串的转移地址，改写文法如下： P S C if E then S CS1 Tp CSelse S TP S2 W while Wd W E do S Wd S3 S begin L end S A LS L; L LSS1 自底向上语法制导翻译方案实现过程分析（关于控制结构的翻译） 翻译中使用回填-拉链技术 翻译 while(ab) do if (cd) then x=y+z 步骤1： 移进while ， 并按如下产生式归约 W while{W.codebegin=nextstat;} 四元式表内容如下： nextstat 100 W.codebegin 句型变为 W (ab) do if (cd) then x=y+z 步骤2： 对于句型 W (ab) do if (cd) then x=y+z 移进(ab) 并按如下产生式归约 E i1 relop i2 { E.true= nextstat; E.false= nextstat+1; E.codebegin= nextstat; gen( if ab goto _ ); gen(goto _ ); } E (E1) { E.true= E1 .true ; E.false= E1 . false ; E.codebegin= E1 . codebegin ; } 四元式表内容如下： E.true 100 if ab goto _ W.codebegin E.false 101 goto _ 句型变为 W E do if (cd) then x=y+z 步骤 3： 对于句型 W E do if (cd) then x=y+z 移进do 并按如下产生式归约 W d W E do { backpatch(E.true, nextstat); W d .chain=E.false; W d . codebegin= W. codebegin; } 四元式表内容如下： 100 if ab goto 102 W d .codebegin W d .chain 101 goto _ nextstat 102 句型变为 W d if (cd) then x=y+z 步骤4： 对于句型 W d if (cd) then x=y+z 移进if (cd), 并按如下产生式归约 E i1 relop i2 { E.true= nextstat; E.false= nextstat+1; E.codebegin= nextstat; gen( if ab goto _ ); gen(goto _ ); } E