LLVM IR 理解

LLVM IR 理解
LLVM IR表示
LLVM IR有三个不同的形式：
内存中编译中间语言（IR）
保存在硬盘上的 bitcode（.bc 文件，适合快速被一个 JIT 编译器加载）
一个可读性的汇编语言表示（.ll 文件）。
LLVM为高效编译转换和分析，提供一个强大的中间表示。LLVM 的三种不同的形式都是等价的。以下是三种表示的转化方式。

LLVM 语言在轻量、底层、同时富有表现力，类型化，易于扩展。LLVM IR 语言目标是成为一种"通用中间语言"，通过足够低层次，使高级语言可以清晰的映射。通过提供类型信息，LLVM IR 语言可作为优化的目标：
例如，通过指针分析，可以证明，一个 C 自动变量，从不当前函数之外访问，允许被提升到一个简单的 SSA 值，而不是一个堆变量。
LLVM接口构建IR代码
LLVM提供很多API，用于操作IR。使用这些接口，直接在内存中生成IR，直接运行，输出结果。（开发一种新的编程语言，完成词法语法解析后，利用LLVM 接口生成有效的中间代码，很快编译到目标平台上。）
LLVM IR 结构：

llvm是编译器后端，前端词语法分析，要生成机器代码。首先定义一个虚拟机，生成字节代码，将代码转化成对应系统结构。编译过程中，加入了流程控制，让开发者介入。
开发一种新的编程语言，在词法，语法解析完成后，生成中间代码，然后优化，最后编译成目标机器码。llvm 中间代码，效率高，可读性好。按照语法规则，利用llvm操作IR接口，生成等价的IR。如何编译成目标代码呢？llvm不仅仅是虚拟机，实现了模块化的优化策略和多种后端，后面都交给llvm。
总之：开发一种新编程语言，需要完成词法和语法解析，根据接口，生成可用的IR。
LLVM IR编译归纳图

LLVM IR 理解相关推荐

LLVM IR 语法
译者序目前几乎没有关于LLVM IR(中间语言)的中文资料,因此本人在看英文手册的同时尝试翻译.限于水平和时间,本文只翻译了一小部分英文手册,如果发现理解有冲突之处,请以原文为准. ...
简单了解LLVM IR基本语法
可以转载,请注明出处! 以下内容是参照官方文档,对一些代码样例做出的解释,想要彻底掌握IR的语法规则,还是需要仔细熟读IR的官方文档.这里只是对IR的入门介绍,等上道之后,建议再去看官方文档,因为工作 ...
LLVM每日谈之四十五 LLVM IR TUTORIAL
今年的LLVM欧洲开发者会议上,在Tutorials环节,Vince Bridgers (Intel Corporation), Felipe de Azevedo Piovezan (Intel C ...
LLVM IR入门指南(4)——类型系统
我们知道,汇编语言是弱类型的,我们操作汇编语言的时候,实际上考虑的是一些二进制串.但是,LLVM IR却是强类型的,在LLVM IR中所有变量都必须有类型.这是因为,我们在使用高级语言编程的时候,往往 ...
LLVM IR学习记录（1） GetElementPtr指令
GetElementPtr指令是一条指针计算语句,本身并不进行任何数据的访问或修改,只进行指针的计算.使用语法如下: <result> = getelementptr <ty> ...
使用clang将C/C++代码编译成LLVM的中间代码(LLVM ir bitcode)，并反汇编LLVM bitcode
test.c文件内容如下: #include<stdio.h> int main(void){printf("hello world!\n");return 0; } ...
手写token解析器、语法解析器、LLVM IR生成器（GO语言）
最近开始尝试用go写点东西,正好在看LLVM的资料,就写了点相关的内容 - 前端解析器+中间代码生成(本地代码的汇编.执行则靠LLVM工具链完成) https://github.com/daibinh ...
【从零开始学深度学习编译器】十五，MLIR Toy Tutorials学习笔记之Lowering到LLVM IR
0x0. 前言在上一节中,我们将Toy Dialect的部分Operation Lowering到Affine Dialect,MemRef Dialect和Standard Dialect,而to ...
Address of Label and Indirect Branches in LLVM IR
Sunday, January 3, 2010 Address of Label and Indirect Branches in LLVM IR The GCC Compiler supports ...

LLVM IR 理解

LLVM IR 理解相关推荐

最新文章

热门文章