License: CC BY-NC-SA 4.0
lv 8.1
你可以把全局范围内所有的函数 (包括之后章节中会出现的全局变量) 都放在同一个作用域内, 即全局作用域.
于是我加入了 Koopa_val_global_func.
class Koopa_val_global_func : public Koopa_val_base {
private:
FuncDefAST const * func;
public:
bool is_void() const { return func->func_typ->is_void; }
Koopa_val_global_func(FuncDefAST const * func) { this->func = func; }
std::string get_str() const override { return "@" + func->ident; }
Koopa_value_type val_type() const override { return KOOPA_VALUE_TYPE_GLOBAL_FUNCTION; }
};
某人把
FuncDefParam:
BType IDENT {
auto ast = new FuncDefParamsAST();
ast->params.push_back({cast_ast<BTypeAST>($1), *$2});
$$ = ast;
}
;
写成了
FuncDefParam:
BType IDENT {
auto ast = new FuncDefParamsAST();
ast->params.push_back({cast_ast<BTypeAST>($1), *$2});
$$ = $1;
}
;
然后 debug 了大半天，是谁我不说。
某人又把函数参数忘放进符号表了。
然后是生成汇编。
重写了原来的 Asm_val 类（原来只有堆栈值/立即值的分类，现在加了寄存器值，来获取参数）。
判断函数调用其他函数是否有其他参数时先 dfs 一次，错误方式：
int get_function_max_call_param(const koopa_raw_value_t &val) {
if(val->ty->tag != KOOPA_RTT_FUNCTION) {
return -1;
}
return val->ty->data.function.params.len;
}
正确方式：
int get_function_max_call_param(const koopa_raw_value_t &val) {
if(val->kind.tag != KOOPA_RVT_CALL) {
return -1;
}
return val->kind.data.call.args.len;
}
写完 lv 8.1 后突发奇想想写个递归。
int main(){ return main(); }
报错了，怎么会逝呢？
然后修好了。
lv 8.2
在生成 Koopa IR 时无脑加几行：
decl @getint(): i32
decl @getch(): i32
decl @getarray(*i32): i32
decl @putint(i32)
decl @putch(i32)
decl @putarray(i32, *i32)
decl @starttime()
decl @stoptime()
但这样还不够，
根据 SysY 的规定, SysY 库函数可以不加声明就直接使用, 所以你可能需要预先在全局符号表中添加和库函数相关的符号定义, 以防无法正确处理相关内容.
把之前 Koopa_val_global_func 改了改。顺利通过。
lv 8.3
遇到了 reduce/reduce conflict.
折腾过程
发现有人遇到过同样的问题，链接在这。
问了 AI 但没得到什么有用的信息，参考了 github 上 BerkinChen/pku-compiler 但仍然报错。
翻阅 Bison 文档。发现可以让 Bison 生成示例。
然后 google 了一通并找到了 StackOverflow 的帖子。
报错原理
考虑以下输出 int foo，编译器在读入 foo 时就要判断前面的 int 属于哪种规则。
它不知道完整的内容是 int foo; 还是 int foo(){}，因此有多种规约 int 的方式，就出错了。
原来的语法规则是 FuncType IDENT '(' ')' // ... 和 BType IDENT ';'，Bison 读到 IDENT 时不知道之前的 INT 该给 FuncType 还是 BType。
解决方案
将 FuncType 和 BType 统一为一种类型就行了。
注意，你不能定义一个 void 类型的变量（这也是 FuncType 和 BType 间最大的差异），因此在 cpp 部分要加特判。
生成完汇编开测，发现 WA 4/12.
进入函数时：
-
上层符号表加入函数名
-
新建一层符号表
-
本层符号表加入函数参数
发现生成汇编时会在调用完 void 函数后试图获取返回值。本来想着再建个符号表，但实际上只要看 kind.data.call.callee->ty->data.function.ret->tag != KOOPA_RTT_UNIT。