《编译技术》课程设计文档讲述.docxVIP

PAGE  PAGE 42 《编译技术》课程设计文 档 一．需求说明 1．文法说明 扩充C0文法 ＜加法运算符＞::=+|- ＜乘法运算符＞::=*|/ ＜关系运算符＞::=|=||=|!=|== ＜字母＞::=＿|a|．．．|z|A|．．．|Z ＜数字＞::=０|＜非零数字＞ ＜非零数字＞::=１|．．．|９ ＜字符＞::=＜加法运算符＞|＜乘法运算符＞|＜字母＞|＜数字＞ ＜字符串＞::={＜合法字符＞} //字符串中可以出现所有合法的可打印字符集中的字符 ＜程序＞::=[＜常量说明部分＞][＜变量说明部分＞]{＜有返回值函数定义部分＞|＜无返回值函数定义部分＞}＜主函数＞ ＜常量说明部分＞::=const＜常量定义＞;{ const＜常量定义＞;} ＜常量定义＞::=int＜标识符＞=＜整数＞{,＜标识符＞=＜整数＞}| float＜标识符＞=＜实数＞{,＜标识符＞=＜实数＞}| char＜标识符＞=＜字符＞{,＜标识符＞=＜字符＞} ＜整数＞::=[＋|－]＜非零数字＞{＜数字＞}|０ ＜小数部分＞::=＜数字＞{＜数字＞}|＜空＞ ＜实数＞::=[＋|－]整数.[＜小数部分＞] ＜标识符＞::=＜字母＞{＜字母＞|＜数字＞} ＜声明头部＞::=int＜标识符＞ |float ＜标识符＞|char＜标识符＞ ＜变量说明部分＞::=＜变量定义＞;{＜变量定义＞;} ＜变量定义＞::=＜类型标识符＞＜标识符＞{,＜标识符＞} ＜常量＞::=＜整数＞| ＜实数＞|＜字符＞ ＜类型标识符＞::=int | float | char ＜有返回值函数定义部分＞::=＜声明头部＞(＜参数表＞) {＜复合语句＞} //此处将＜参数＞变为＜参数表＞ ＜无返回值函数定义部分＞::=void＜标识符＞(＜参数表＞){＜复合语句＞} //此处将＜参数＞变为＜参数表＞ ＜复合语句＞::=[＜常量说明部分＞][＜变量说明部分＞]＜语句列＞ ＜参数表＞::=＜类型标识符＞＜标识符＞{,＜类型标识符＞＜标识符＞}| ＜空＞ ＜主函数＞::=void main(){＜复合语句＞} ＜表达式＞::=[＋|－]＜项＞{＜加法运算符＞＜项＞} ＜项＞::=＜因子＞{＜乘法运算符＞＜因子＞} ＜因子＞::=＜标识符＞|(＜表达式＞)|＜整数＞|＜有返回值函数调用语句＞|＜实数＞|＜字符＞ ＜语句＞::=＜条件语句＞|＜循环语句＞| {＜语句列＞}|＜有返回值函数调用语句＞; |＜无返回值函数调用语句＞;|＜赋值语句＞;|＜读语句＞;|＜写语句＞;|＜空＞|＜情况语句＞|＜返回语句＞; ＜赋值语句＞::=＜标识符＞=＜表达式＞ ＜条件语句＞::=if (＜条件＞)＜语句＞ ＜条件＞::=＜表达式＞＜关系运算符＞＜表达式＞|＜表达式＞ //表达式为0条件为假，否则为真 ＜循环语句＞::=while (＜条件＞)＜语句＞ ＜情况语句＞::=switch (＜表达式＞) {＜情况表＞＜缺省＞ } ＜情况表＞::=＜情况子语句＞{＜情况子语句＞} ＜情况子语句＞::=case＜常量＞：＜语句＞ ＜缺省＞::=default : ＜语句＞|＜空＞ ＜有返回值函数调用语句＞::=＜标识符＞(＜值参数表＞) ＜无返回值函数调用语句＞::=＜标识符＞(＜值参数表＞) ＜值参数表＞::=＜表达式＞{,＜表达式＞}|＜空＞ ＜语句列＞::=＜语句＞{＜语句＞} ＜读语句＞::=scanf (＜标识符＞{,＜标识符＞}) ＜写语句＞::=printf ( ＜字符串＞,＜表达式＞ )|printf (＜字符串＞ )|printf (＜表达式＞) ＜返回语句＞::=return[(＜表达式＞)] 扩充点 支持“//注释”：行注释，从//到行末所有字符串都不记 支持“/**/注释”： 块注释，/**/内字符串皆忽略2．语法图 3．中间代码说明(四元式） define名常量值描述FOUR_ADD0+FOUR_SUB1-FOUR_MUL2*FOUR_DIV3/FOUR_JG4大于跳转FOUR_JGE5大于等于跳转FOUR_JL6小于跳转FOUR_JLE7小于等于跳转FOUR_JMP8跳转FOUR_CALLVOID9调用无返回值函数FOUR_CALLFUNC10调用有返回值函数FOUR_VOIDBEG(FOUR_BEGIN*100)无返回值函数开始FOUR_FUNCBEG(FOUR_BEGIN*10)有返回值函数开始FOUR_VOIDEND(FOUR_END*100)无返回值函数结束FOUR_FUNCEND(FOUR_END*10)有返回值函数