华中科技大学编译原理实验四攻略｜完整版
文章目录
写在最前
刚刚看到有答案，那散了散了，这个是我写实验报告用来参考的东西，具体怎么写你们直接看答案吧。
这个实验，我从最初不知道代码仓库在哪、强行提交，到最后往头歌命令行里熟练地make和lli，收获确实是很多的。
看耗时，就知道我也只是个不聪明的、没经验的通关者。将经验分享出来，只是希望大家稍微少走一点弯路，减少一些在凌晨被头歌破防的可能。
Quick Start
使用头歌命令行调试
打开头歌，打开命令行，进入代码仓库。
cd /data/workspace/myshixun/llvmexp3
然后不要思考，直接make。
make
生成./minic文件，它是一个可执行的文件，用来生成中间代码。
中间代码：类似于
br i1 %shandian7, label %then8, label %ifcont10这种东西。
在代码仓库下有测试样例，以第3关为例，对应task1case。
用minic编译一个样例，并将中间代码存储至tokens.txt：
./minic ./task1case/0.in > tokens.txt
编译任何一个样例，得到中间代码。
如果报错，就看报错。
如果生成中间代码成功了，cat tokens.txt看一下输出(你在cpp里写的std::cout也会在这个txt里)
如果这是一个正确的中间代码，而且它需要编译运行，并接收一定的输入，请这样：
echo "你要给程序输入的值(就是stdin)" > tmp
lli tokens.txt < tmp
第1关
主要是根据c语言翻译，有两个地方对我造成了困扰：
- task2中我一开始将putchar写进了判断体中，导致状态不够用，不得不移出。
- task2中涉及标号label。不像asm，llvm的标号上面不能没有跳转语句直接顺序执行，它必须添加br label %8跳转。
第2关
官方对于IF-ELSE等基本块的操作，跟着官方来很好做。。
以下是难点：
- getchar是无参数函数，而builder->CreateCall需要接受1到3个参数，直接传递空vector行不通。
正解：builder->CreateCall(callgetfunc); - task2中if-then-else涉及3个基本块，样例中是if-then，只涉及两个模块。而且并不好理解。
正解：根据官网的IF-THEN-ELSE写，它解析得很好。MyFirstLanguageFrontend/LangImpl05.html#lexer-extensions-for-if-then-else。 - 一些个人遇到的问题：在进入第三个基本块我没有
f->getBasicBlockList().push_back(MergeBB);，因为我以为到结尾了可以直接顺序执行下去，犯了和关卡1相似的错误。没有写这一句时，报错会一直提示then:错误，导致我一直没定位到真正的错误位置。
第3关
1. astnode.cpp需要修改的函数
正好十个。
温馨提示：将main.cpp中的p->parser();注释掉，再编译运行样例，能看到每个样例完整的语法树。
请务必面向样例编程啊！！！！！！！！！！！
温馨提示2：请不要按照本攻略把代码一整个写完再去调试，建议边写边调试。
NIdentifier确实蛮麻烦的，提前剧透一下：
写第三题的时候可以乱来，写第五题就得考虑作用域了。
2. astnode.h需要修改的函数
写第五关的时候发现，VarDec::codegen返回值设为AllocaInst *才行。
3. 一个分析过程
4. 举几个典型的例子
4.1. 各种List
直到第五题才能发现的错误：注意一个特殊的，NDec::codegen，根据Dec: VarDec | VarDec ASSIGNOP Exp，它的Exp是要用来给VarDec的alloca赋值的，不要只是单纯地解析它然后就不管了喔。
4.2 错误判断
++ 错误类型 1：变量在使用时未经定义。
思路就是调用的时候找找curNamedValues里有没有。(摘自NAssignment::codegen函数)
++ 错误类型 2：函数在调用时未经定义。
思路就是调用的时候找找theModule里有没有。(摘自NMethodCall::codegen函数)
++ 错误类型 3：变量出现重复定义。
思路就是声明的时候找找curNamedValues里有没有。(摘自NExtDefFunDec::codegen函数)
4.3 难点
- 咋声明变量？(答：抄NExtDefFunDec::codegen的arg声明)
- 我怎么知道一个函数里需要解析哪些参数、哪些参数是需要被特殊处理的？(答：看上面的分析，对照parser.y和astnode.h)
- 咋把分析结果存到变量里面？(答：实验二里做过，不记得的话，函数声明如是：
builder->CreateStore(Value, alloca);) - 咋分析加？(答：实验二有提示。不记得的话，函数声明如是：
builder->CreateAdd(left, right, "add");) - abort怎么炸了，返回之后就提示我
core dump？
答：请检查是不是把nullptr输入到一个函数中了，举个简单的例子(摘自NAssignment::codegen函数)：
再检查是否未初始化指针就直接用了，举个retValue没初始化就返回的例子：
Value* retValue; if(false) retValue=nullptr; return retValue; - module找不到，它什么意思？(答：字面意思，找不到就找不到。执行fundec成功了就能找到main)
- 新加的type变量从哪里来？它是一个继承属性。它怎样继承？(答：请参考函数定义的部分，即ExtDefFunc::codegen，继承给了funcodegen。剧透一个函数
NDef)
4.4 调试经验
在头歌修改代码后，命令行可能没有同步。此时先点击提交，命令行就会同步了。在命令行用make编译，编译成功后，这样调试：
./minic ./task1case/1.in
就有输出。
如果你对它的解析过程完全不了解，可以这样：
- 修改
main.cpp，取消p->parse();的注释，输出整棵语法树。 - 然后对照parser.y看分析到哪一步挂掉了，为了精准定位是在哪个函数挂掉的，你可以在函数的首部和尾部加一点
std::cout<<"test";用来判断。
第4关
有了第3关的基础，第四关明显简单了许多。
1. astnode.cpp需要修改的函数
只有四个，非常快乐。
注：由于第3关的时候，我顺手把NFloat::codegen之类的全部写好了，所以这里没有特意标注。
好像有同学找不到Float的取值函数，如下：
2. 难点
2.1 一些函数
出现了很多老师没给样例的函数。
如CreateSub、getType()方法、getReturnType()
参考classllvm_1_1IRBuilderBase.html找到CreateSub函数，
参考classllvm_1_1Function.html得知getReturnType()，
参考classllvm_1_1Value.html得知Value有自己的getType()函数。
我是如何查找的？【经验分享】
例如，我想获得auto *类型的变量retValue的type。
- 很自然地写出了
retValue.type的代码，然后报错，说retValue是个指针，建议用->来访问它的成员。 - 于是订正为
retValue->type，再次报错，说class llvm::Value *没有type成员。 - 那么
llvm::Value有什么呢？搜索llvm::Value，跳转官网，找到getType()函数。 - 订正为
retValue->getType()，成功。
2.2 NArgs如何解析
引言：
- 明显，NArgs对应多个参数，但是它的codegen()只返回一个Value*，这不合适啊！
- 难道参考List函数的解析方式，修改NArgs::codegen()，依次展开？不行啊，每个返回值都要用，依次展开没办法返回回去啊！
正解：参考NFunDec::funcodegen中对NVarList的解析即可。
std::vector<Type *> argsTypes;
std::vector<std::string> argNames;
for (NVarList *item = arguments; item; item = item->nVarList) {
auto tmp = item->nParamDec.getType();
argNames.push_back(tmp.first);
argsTypes.push_back(tmp.second);
}
注意，exp解析得到的Value*的类型，直接用getType就可以取到了，很好写，不要想太复杂了。
3. 错误判断
++ 错误类型 4：函数出现重复定义（即同样的函数名被多次定义）。
这个老师写好了。在NFunDec::funcodegen里。
++ 错误类型 5：赋值号两边的表达式类型不匹配。
++ 错误类型 6：赋值号左边出现一个只有右值的表达式。
++ 错误类型 7：return 语句的返回类型与函数定义的返回类型不匹配。
++ 销误类型 8：函数调用时实参与形参的数目或类型不匹配。
没什么好说的叭，能写出第三题没理由写不出错误判断。
第5关
1. astnode.cpp需要修改的函数
主要是因为我前面偷懒偷得比较多，所以改动也很多。
2. astnode.h需要修改的函数
这个地方真的是，我没太动脑，返回值设错了一通乱解析。
3. 分析思路
首先看样例：
这个题没有涉及任何错误判断，需要完成的是算术运算+-*/和逻辑符号||，以及三个结构：if/ifelse/while。
3.1 if-else结构
其中ifelse结构直接参考实验2的，对应的是NIfElseStmt::codegen，应该没什么好说的吧。写了这个之后样例1就都过了。
样例1：
int read(){
int a=0;
a = getchar();
return a - 48;
}
int main(){
int m,n;
int i=48;
m = read();
n = read();
if(m == n ){
putchar(i);
}else{
i = i + 1;
putchar(i);
}
i = i + 1;
putchar(i);
return 0;
}
3.2 变量的作用域问题
看样例3：
int read(){
int a=0;
a = getchar();
return a - 48;
}
int main(){
int m,n;
int i=48;
m = read();
n = read();
if(m == n ){
int i = 1;
i = i + 48;
putchar(i);
}else{
i = i + 2;
putchar(i);
}
i = i + 1;
putchar(i);
return 0;
}
因为一些因素，我没有用样例分析，而是用了更复杂的深层结构，分析以及伪代码如下。
3.3 或运算||的解析
提示：用基本块。多看看生成的中间代码和预期的区别。
贴一下报错，这个报错是因为while循环过多栈炸了，可能是因为条件判断写得有问题，心态稳住。