llvm IR 语法小例子

 

LLVM IR 语法

2018.12.24

注：去年写的，原来是有图的，不知道何时竟然图都没了，翻了好久才找到这些图。

以下图程序为例：

在klee运行之后，每个文件夹中都会有一个assembly.ll这是llvm IR的中间语言代码。Klee中的指令执行，都是根据这个来实现的。下图为IR代码：

首先对于e这个函数：

i32 表示该类型所占位数。（bit），align对齐。

这里面创建了两个局部变量%2，%3（@全局变量），具体干什么的下面分析。

<