IR 代码中 符号代码( label )沿用不变
int 调用 T_Const(int i )
Tree 模块：
1. patchList：真值/假值 回填表
这里是 patchList 的生成， 至于具体怎么回填后面才会讲
struct patchList_ {Temp_label *head; patchList tail};// 生成 stm
stm = T_Cjump(T_ge, unEx(left), unEx(right), NULL, NULL);or
stm = T_Cjump(T_eq, callEq, T_Const(1), NULL, NULL);// 通过 stm 生成 真/假值 回填表
patchList tlist;
patchList rList;
tlist = PatchList(&stm->u.CJUMP.true, NULL);
flist = PatchList(&stm->u.CJUMP.false, NULL);// 最后通过 stm, 真/假值 回填表 生成 Tr_Exp
Tr_Exp e = Tr_Cx(tlist, flist, stm);
Frame 模块：
1. 片段相关的代码
都在 Frame 模块中, translate 调用 Frame 模块获取
struct F_frag ;
struct F_fragList ;F_frag F_StringFrag(Temp_label, string); // 字符串片段
F_frag F_ProcFrag(T_stm, F_frame); // 流程片段: 栈帧+函数体static F_frag* extendFragList(); // 扫描到新的元素，扩容并返回全局片段表
F_fragList F_getFragList(void); // 获取全局片段表*2. static F_frag extendFragList(); **
扫描到新的元素，扩容并返回全局片段表
// 重置全局片段表, 返回 head
static F_frag* extendFragList(){// 创建指针变量if (fragList == NULL){fragList = (F_fragList*) checked_malloc(sizeof(F_fragList*));}// 指针变量赋值为一个 fragList 对象*fragList = (F_fragList) checked_malloc(sizeof (struct F_fragList_));if (fragList_head == NULL){fragList_head = *fragList;}// 把全局片段表的 head 拿出来返回，然后全局片段片更新为 NULLF_frag *curf = &((*fragList)->head);// 除了 head 外剩于的片段表设为 NULLfragList = &((*fragList)->tail);*fragList = NULL;return curf;
}
3. 字符串片段
void F_String(Temp_label label, string str){// 先获取当前片段F_frag *currentFrag = extendFragList();// 再更新片段*currentFrag = F_StringFrag(label, str);
}
4. F_Exp(F_access acc, T_exp framePtr);
在栈帧 framePtr 中 找到 access 对应的地址： frame 地址 + offset 地址
// 生成 access 的*访问地址*
T_exp F_Exp(F_access acc, T_exp framePtr){// 判断目标 access 在栈帧中 / 寄存器中if (acc->kind == inFrame){// 地址 = 栈帧地址 + offset(位移)return T_Mem(T_Binop(T_plus, framePtr, T_Const(acc->u.offset)));}else{// 寄存器return T_Temp(acc->u.reg);}
}
Translate 模块
1. 沿静态链往上找变量
Tr_exp Tr_simpleVar(Tr_access acc, Tr_level level){debug("Tr_simpleVar");T_exp texp;F_access access = acc->access;// 判断当前 level 是否和 变量访问的level (acc->level) 一致，一致就直接用， 不一致就沿着***静态连*** 找if (level != acc->level){// 沿着静态链往上找对应的 leveltexp = F_Exp(F_staticLink(), T_Temp(F_FP()));level = level->parent;while (level != acc->level){// 静态链是一个指向其**外部函数**栈帧的指针链// ... todo ...texp = F_Exp(F_staticLink(),texp);// level 没有找到，再往上找父levellevel = level->parent;}texp = F_Exp(acc->access,texp);}else{texp = F_Exp(acc->access, T_Temp(F_FP()))}}
