|
|
|
|
|
[TOC]
|
|
|
|
|
|
|
|
|
|
|
|
---
|
|
|
|
|
|
|
|
|
|
|
|
### 任务描述
|
|
|
|
|
|
**本关任务**：熟悉LLVM IR，并根据给出的4个SysYF程序(文件扩展名为sy)手写相应的LLVM IR的ll文件，以实现相同功能。
|
|
|
|
|
|
|
|
|
|
|
|
### 相关知识
|
|
|
|
|
|
#### LLVM IR介绍
|
|
|
|
|
|
[LLVM](https://llvm.org/)是一个开源的编译器基础设施，用C++语言编写，包含一系列模块化的编译器组件和工具链，用来支持编译器前端和后端的开发。IR的全称是Intermediate Representation，即中间表示。LLVM IR是一种类型化的三地址中间表示，是类似于汇编的底层语言。
|
|
|
|
|
|
LLVM IR的具体指令可以参考[Reference Manual](http://llvm.org/docs/LangRef.html)。但是你会发现其内容庞杂，为便于你尽快了解本实训项目需要涉及的LLVM IR指令子集，请查看本实训提供的**精简的IR Reference手册**`doc/SysYFIR.md`。
|
|
|
|
|
|
作为一开始的参考，你可以先阅读其中的`IR Features`和`IR Format`两节，后续有需要再反复参考。
|
|
|
|
|
|
|
|
|
|
|
|
#### 样例学习
|
|
|
|
|
|
<details>
|
|
|
|
|
|
<summary> go_upstairs.c（点击展开） </summary>
|
|
|
|
|
|
|
|
|
|
|
|
```c
|
|
|
|
|
|
int num[2] = {4, 8};
|
|
|
|
|
|
int x[1];
|
|
|
|
|
|
int n;
|
|
|
|
|
|
int tmp = 1;
|
|
|
|
|
|
|
|
|
|
|
|
int climbStairs(int n) {
|
|
|
|
|
|
if(n < 4)
|
|
|
|
|
|
return n;
|
|
|
|
|
|
int dp[10];
|
|
|
|
|
|
dp[0] = 0;
|
|
|
|
|
|
dp[1] = 1;
|
|
|
|
|
|
dp[2] = 2;
|
|
|
|
|
|
int i;
|
|
|
|
|
|
i = 3;
|
|
|
|
|
|
while(i<n+1){
|
|
|
|
|
|
dp[i] = dp[i-1] + dp[i-2];
|
|
|
|
|
|
i = i + 1;
|
|
|
|
|
|
}
|
|
|
|
|
|
return dp[n];
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
int main(){
|
|
|
|
|
|
int res;
|
|
|
|
|
|
n=num[0];
|
|
|
|
|
|
x[0] = num[tmp];
|
|
|
|
|
|
res = climbStairs(n + tmp);
|
|
|
|
|
|
return res - x[0];
|
|
|
|
|
|
}
|
|
|
|
|
|
```
|
|
|
|
|
|
</details>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- 阅读`Student/task1/demo/go_upstairs.c`。
|
|
|
|
|
|
- 进入`Student/task1/demo`文件夹，输入命令
|
|
|
|
|
|
|
|
|
|
|
|
```clang -S -emit-llvm go_upstairs.c```
|
|
|
|
|
|
你可以得到对应的`go_upstairs.ll`。
|
|
|
|
|
|
你需要结合`go_upstairs.c`阅读`go_upstairs.ll`，理解其中每条LLVM IR指令与C代码的对应情况。
|
|
|
|
|
|
- 通过执行命令
|
|
|
|
|
|
```lli go_upstairs.ll; echo $?```
|
|
|
|
|
|
你可以测试`go_upstairs.ll`执行结果的正确性。
|
|
|
|
|
|
|
|
|
|
|
|
### 本关具体任务
|
|
|
|
|
|
1. 在`Student/task1/student_sy/`内提供了四个简单的SysYF 程序：`assign_test.sy`，`func_test.sy`，`if_test.sy`，`while_test.sy`。
|
|
|
|
|
|
你需要在`Student/task1/ll/`目录下手工编写`assign_hand.ll`，`func_hand.ll`，`if_hand.ll`，`while_hand.ll`文件，以实现与上述 SysYF 程序相同的逻辑功能。
|
|
|
|
|
|
你需要在`ll`文件内添加必要的注释，`ll`文件的注释是以`;`开头的。
|
|
|
|
|
|
必要的情况下，你可以参考`clang -S -emit-llvm`的输出，但是你提交的结果必须避免同此输出一字不差。
|
|
|
|
|
|
2. 在`report.md`内回答[思考题](#思考题)
|
|
|
|
|
|
|
|
|
|
|
|
### 运行说明
|
|
|
|
|
|
- 你需要使用 `clang --version` 和 `lli --version` 检查本机的Clang和LLVM版本
|
|
|
|
|
|
- 你可以使用 `which lli` 来查找 `lli` 命令的位置
|
|
|
|
|
|
- 利用LLVM的命令 `lli`，可以执行`*.ll`文件；如果版本过低，可能会遇到`error: expected top-level entity`等问题
|
|
|
|
|
|
- 你也可以使用 `clang go_upstairs.ll -o go_upstairs` 来生成可执行文件
|
|
|
|
|
|
- `$?`的内容是上一条命令所返回的结果，而`echo $?`可以将其输出到终端中
|
|
|
|
|
|
- 使用`clang`时，注意扩展名为`sy`的文件是SysYF语言的程序文件，`clang`是无法直接识别的，你可以将`sy`文件复制为`c`文件来用`clang`编译
|
|
|
|
|
|
|
|
|
|
|
|
### 思考题
|
|
|
|
|
|
请在`report/report.md`中详细回答下述思考题：
|
|
|
|
|
|
1-1 请给出while语句对应的LLVM IR的代码布局特点，重点解释其中涉及的几个`br`指令的含义（包含各个参数的含义）
|
|
|
|
|
|
1-2 请简述函数调用语句对应的LLVM IR的代码特点
|
