实验三语义分析报告-.doc.doc

编译原理实验报告 实验名称：分析调试语义分析程序 实验类型：验证型 指导教师： 专业班级： 姓 名： 学 号： 实验地点： 实验成绩： 日期： 2016 年 6 月 3 日 实验三 分析调试语义分析程序 一、实验目的 通过分析调试TEST语言的语义分析和中间代码生成程序，加深对语法制导翻译掌握将语法分析所识别的语法范畴变换为中间代码的语义翻译方法。<if_stat>→if (<expr>)@BRF↑label1<statement>@BR↑label2 @SETlabel↓label1| if (<expr>) @BRF↑label1<statement >@BR↑label2 @SETlabel↓label1else < statement > @SETlabel↓label2 其中动作符号的含义如下 @BRF↑label1 ：输出 BRF label1； @BR↑label2：输出 BR label2； @SETlabel↓label1：设置标号label1； @SETlabel↓label2：设置标号label2； ③<while_stat>→while@SETlabel↑label1(<expression>) @BRF↑label2 <statement >@BR↓label1 @SETlabel↓label2 其中动作符号的含义如下 @SETlabel↑label1：设置标号label1； @BRF↑label2 ：输出 BRF label2； @BR↓label1：输出 BR label1； @SETlabel↓label2：设置标号label2； ④<for_stat>→for (<expression>@POP;@SETlabel↑label1< expression >@BRF↑label2@BR↑label3;@SETlabel↑label4 < expression >@POP@BR↓label1) @SETlabel↓label3 < statement >@BR↓label4@SETlabel↓label2 其中动作符号的含义如下 @SETlabel↓label1：设置标号label1； @BRF↑label2 ：输出 BRF label2； @BR↑label3：输出 BR label3； @SETlabel↓label4：设置标号label4； @BR↑label1：输出 BR label1； @SETlabel↓label3：设置标号label3； @BR↑label4：输出 BR label4； @SETlabel↓label2：设置标号label2； ⑤ <write_stat>→write <expression>@OUT; 其中动作符号的含义如下 @ OUT：输出 OUT ⑥ <read_stat>→read ID↑n LOOK↓n↑d @IN@STO↓d@POP; 其中动作符号的含义如下 @LOOK↓n↑d:查符号表n，给出变量地址d； 没有，变量没定义； @IN：输出IN； @STO↓d：输出指令代码STO d； @POP：将栈顶元素出栈 ⑦<expression>→ID↑n@LOOK↓n↑d@ASSIGN=<bool_expr>@STO↓d@POP |<bool_expr> 其中动作符号的含义如下 @LOOK↓n↑d:查符号表n，给出变量地址d； 没有，变量没定义； @ASSIGN：记住当前文件位置； @STO↓d：输出指令代码STO d； ⑧ <bool_expr>→<additive_expr> |< additive_expr >><additive_expr>@GT |< additive_expr ><<additive_expr>@LES |< additive_expr >>=<additive_expr >@GE |< additive_expr ><=< additive_expr >@LE |< additive_expr >==< additive_expr >@EQ |< additive_expr >!=< additive_expr >@NOTEQ 其中动作符号的含义如下 @GT：次栈顶与栈顶作大于比较； @LES：次栈顶与栈顶作小于比较； @GE：次栈顶与栈顶作大于等于比较； @LE：次栈顶与栈顶作小于等于比较； @EQ：次栈顶与栈顶作等于比较； @NOTEQ：次栈顶与栈顶作不等于比较； B→+<term>B@