qq_35607159的博客

原创 Compiler实现（一）

一、IR语言设计变量@代表全局，%代表局部，%x.address代表取某变量的内存地址。为了方便，最开始生成的IR文件假设变量最开始存放在无限的寄存器中，且一个变量对应一个寄存器， 后续可经过SSA优化。另外所有的函数用全局变量表示，毕竟C语言不支持嵌套定义。不同变量的存取处理：- 局部变量：SSA化。当然也可以load-and-store，只不过效率低而已。- 全局变量：load-and-store，也就是每次用前用后存取。这么做是因为要避免数据不一致。有可能其他程序也会用这个文件中全局变量，