SysYF_LLVM_IR/report/report.md

# PW6 实验报告

PB21000117 陈应豪 
PB21111663 李璐豪
## 问题回答

### task1

- `while`语句块的布局特点是将循环体、循环条件和循环结束语块分成三个bb块。
  - cond_bb是条件。如果为真就跳转到true_bb，否则跳转到false_bb
  - true_bb是循环体。每次结束后跳到cond_bb
  - false_bb是循环结束语块
- `Func`语块是一个单独的语句块。在调用函数的时候使用call的方法来调用函数，然后把变量传入到函数中

### task2

 请给出`SysYFIR.md`中提到的两种getelementptr用法的区别, 并解释原因:

  - `%2 = getelementptr [10 x i32], [10 x i32]* %1, i32 0, i32 %0` 
  - `%2 = getelementptr i32, i32* %1, i32 %0`

区别：第一种先说明了数组的类型和数组指针，然后再根据偏移类型和偏移值算出地址；第二种方式是用普通的指针而非数组指针做基址加偏移。

原因是数据结构不同

### task3

使用scope处理函数，能很好的约定变量的作用域，不容易引起变量的越界

## 实验设计

在task1的时候，学习SysYF的语法，并编写等效的ll文件

在task2的时候，学习能够生成SysYF的IR文法，使之能生成等效的ll文件

在task3的时候，利用实验框架，通过类比上一关的IR认罚的编写，利用已经生成的AST树为不同的模块编写对应的IR语法

- 在task1的时候，学习SysYF的语法，并编写等效的ll文件

- 在task2的时候，学习能够生成SysYF的IR文法，使之能生成等效的ll文件

- 在task3的时候，利用实验框架，通过类比上一关的IR认罚的编写，利用已经生成的AST树为不同的模块编写对应的IR语法
  - 参考助教给出的代码框架，我们把实验分成了变量定义、初始化和赋值；函数和算数调用和求值两个部分进行分工

## 实验难点及解决方案

在函数外表达式的计算中，由于全局变量无法使用bb模块内的build相关函数，需要根据变量名，单独取出值并计算

Const数组不会在函数外进行再赋值的操作

- 全局变量在初始化时，如果用到其他全局变量进行赋初值，无法使用builder->create_load()

- 获取全局数组中元素的值比较麻烦

  - 因此。如果scope.in_global()，那不论访问什么变量，我们都传值（因为赋初值在初始化中完成了，和lval中的传值不冲突。同时，在没有进入任何bb的情况下赋值语句是不能出现的）

  

## 实验总结

利用PW5学到的AST以及访问者模式，我们编写了能够生成IR的实验框架，对AST和IR的理解更加深刻

## 实验反馈

配置文件不够齐全

## 组间交流