LLVM概览

声明，本文是为了提升自己阅读英语文档的能力，部分使用机械翻译，有错请指出．

LLVM是基于静态单赋值（SSA）的表示，它提供了类型安全、低级操作、灵活性以及干净地表示“所有”高级语言的能力。它是在LLVM编译策略的所有阶段中使用的通用代码表示。

LLVM的代码分为三种格式:

1.an in-memory compiler IR(编译器内码)　

2.as an on-disk bitcode representation(硬盘中的字节码表示，为了在实时编译时快速加载)

3.人类语言形式,方便供人阅读．

这允许LLVM提供有效的编译器转换和分析的强大的中间表示，同时提供调试和可视化转换的自然方法。三种不同形式的LLVM都是等价的。该文件描述了人类可读的表示和符号。

LLVM表示的目的是轻量级和低层次，同时表现性、类型化和可扩展性。它的目标是成为某种“通用IR”，其级别足够低，高层次的思想可以清晰地映射到它（类似于微处理器是“通用IR”，允许许多源语言映射到它们）。通过提供类型信息，LLVM可以用作优化的目标：例如，通过指针分析，可以证明，C自动变量从来不在当前函数之外被访问，允许它被提升为简单的SSA值而不是内存位置。