简单C编译器.ppt

简单C编译器 声明 这里所讨论的相关技术仅针对简单C编译器而言，实际的C编译器要比这复杂得多。 语法图 (1) 基于语法图进行编译 (2) 有哪些语言成份，见语法图 一个简单的例子 //main函数 int main(){ int a = 300,b = a -200; printf(a,b); } SetBx 1 0 0 Jmp 0 0 2 Init 4 300 0 //单元4存放临时变量300 Mov 3 4 0 //变量a在单元3 Init 5 200 0 //单元5存放临时变量200, 单元4分给b Sub 3 5 5 //单元3减去单元5，结果存在单元5 Mov 4 5 0 //把单元5的内容复制到单元4 Out 3 0 0 Out 4 0 0 Ret 0 0 0 词法分析 //符号表表项 typedef struct { int type; //类型FUN 或VAR int address; //地址全局为非正 局部为正 char lexeme[MaxIdLen+1]; //词素，变量名或函数名 int paramCount; //函数的参数个数 }SymbolEntry; //符号表 struct SymbolTable{ SymbolEntry * entries; //各表项 int index; //符号表当前表尾的下标，表中第0项不用 }; 符号表 static SymbolEntry globalEntries[MaxGSize+1]; static SymbolEntry localEntries[MaxLSize+1]; SymbolTable globalTable = {globalEntries,0}; //全局符号表 SymbolTable localTable = {localEntries,0}; //局部符号表 全局符号表存放全局变量、函数名的相关信息 局部符号表在分析函数时，存放局部变量的相关信息，暂不支持在程序块中定义的局部变量。 分析完一个函数后，要分析下一个时，只要先把局部符号表清空即可。 所以系统只要一个全局符号表和一个局部符号表。编译函数时，如果在局部符号表查不到某个标志符的定义，则可在全局符号表里查找。 语法分析 根据语法图进行自上而下的分析 分析方法： （1） 语法图的方框部分调用一个对应的函数来处理 （2） 语法图中的圆形部分和椭圆部分则代表一个语法分析的终结符 语法分析 例: 由语法图进行“参数声明”的翻译 int paramDeclare(){ if(token == INT){ int count = 1; processOneDeclare(); //识别一个声明 int ident while(token == COMMA){ getToken(); processOneDeclare(); count ++; } return count; } } 语法分析 static void processOneDeclare(){ if(token == INT){ getToken(); if(token == ID){ int index = lookup(localTable,VAR,id); if(index == 0) index = enter(localTable,VAR,id); else syntaxError(reclared paramname.); getToken(); } else{ syntaxError(paramname missed.); } } } 中间代码的格式 采用四元式 //四元式 typedef struct { int optr; //运算符 int arg1; //左操作数 int arg2; //右操作数 int result; //存放结果 }Instruction; //有些指令并未完全使用上述4个域 虚拟机的引入： 假设有一台机器，它的机器指令正好是我们定义的四元式，即这台机器能识别我们的四元式。 中间代码的格式 例1 Mov 11 7 0 把内存7号单元的内容传送到11号单元 最后一个（结果）操作数在此指令中无意义 虚拟机(virtualMachine.cpp)对此中间代码的解释 case InsMov: arg1 = getAddress(cs[pc].arg1); arg2 = getAddress(cs[pc].arg2); ds[arg1]