You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
|
# IR实验阶段一
|
|
|
|
|
|
本实验由黄庄湫、吴毓辰助教设计
|
|
|
|
|
|
|
|
|
|
|
|
## 0 前言
|
|
|
|
|
|
本次实验的目的是让大家熟悉阶段三所需相关知识:
|
|
|
|
|
|
LLVM IR
|
|
|
|
|
|
|
|
|
|
|
|
## 1 任务描述
|
|
|
|
|
|
[了解LLVM IR](#llvm-ir介绍)
|
|
|
|
|
|
[通过clang生成的.ll，了解LLVM IR与c代码的对应关系](#例子-利用clang生成的ll)
|
|
|
|
|
|
[根据c程序手写.ll文件实现相同功能](#你需要做-手动编写ll)
|
|
|
|
|
|
|
|
|
|
|
|
## 2 实验内容
|
|
|
|
|
|
### 2.1 LLVM IR介绍
|
|
|
|
|
|
根据[维基百科](https://zh.wikipedia.org/zh-cn/LLVM)的介绍，LLVM是一个自由软件项目，它是一种编译器基础设施，以C++写成，包含一系列模块化的编译器组件和工具链，用来开发编译器前端和后端。IR的全称是Intermediate Representation，即中间表示。LLVM IR是一种类似于汇编的底层语言。
|
|
|
|
|
|
LLVM IR的具体指令可以参考[Reference Manual](http://llvm.org/docs/LangRef.html)。但是你会发现其内容庞杂。虽然助教认为，高效地查阅官方文档及手册是非常必要的一项技能，但是由于其手册过于复杂，因此助教筛选了后续实验中将要用到的子集，总结为了[精简的IR Reference手册](./SysYIR.md)。
|
|
|
|
|
|
作为一开始的参考，你可以先阅读其中`IR Features`和`IR Format`两节，后续有需要再反复参考。
|
|
|
|
|
|
|
|
|
|
|
|
### 2.2 例子: 利用clang生成的.ll
|
|
|
|
|
|
阅读`SysYF_Student/SysYF_Task1/ta_demo/go_upstairs.c`
|
|
|
|
|
|
在对应文件夹内输入`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`执行结果的正确性。
|
|
|
|
|
|
|
|
|
|
|
|
### 2.3 你需要做: 手动编写.ll
|
|
|
|
|
|
助教在`SysYF_Student/SysYF_Task1/student_sy/`内提供了四个简单的sy程序：assign_test.sy，func_test.sy，if_test.sy，while_test.sy
|
|
|
|
|
|
你需要在`SysYF_Student/SysYF_Task1/student_ll/`内手工完成自己的assign_test.ll，func_test.ll，if_test.ll，while_test.ll文件，以实现与上述C程序相同的逻辑功能。你需要添加必要的注释，`.ll`文件的注释是以`;`开头的
|
|
|
|
|
|
必要的情况下，你可以参考`clang -S -emit-llvm`的输出，但是你提交的结果必须避免同此输出一字不差
|
|
|
|
|
|
注：`.sy`文件是我们定义的语言文件，`clang`无法直接识别
|
|
|
|
|
|
|
|
|
|
|
|
### 2.4 运行.ll文件
|
|
|
|
|
|
- `lli`会运行`*.ll`文件
|
|
|
|
|
|
- `$?`的内容是上一条命令所返回的结果，而`echo $?`可以将其输出到终端中
|
