LLVM语言参考手册 之 摘要

LLVM语言参考手册之摘要

  本文档是 LLVM 汇编语言的参考手册。LLVM 是基于静态单赋值 (SSA) 的表示形式，提供了类型安全性、低级别操作、灵活性以及能够清晰地表示“所有”高级语言的能力。它是LLVM编译策略中所有阶段所使用的通用代码表示。


注1： 什么是静态单赋值 (SSA) ？
静态单赋值 (SSA) 是一种中间代码表示技术，它在编译器中被广泛使用。在 SSA 中，每个变量都只被赋值一次。这使得 SSA 表示形式具有很多优点，包括：

• 变量的值是固定的：在 SSA 中，每个变量都只能被赋值一次，因此每个变量的值都是固定的。这大大简化了程序分析和转换，例如常量折叠和死代码消除等操作。

  %1 = add i32 1,%2
  %3 = mul i32 %1 ,%2

• 可以快速进行指针分析和数据流分析：由于每个变量只被赋值一次，因此可以更轻松地进行指针分析和数据流分析。这些分析可以用于优化和改进程序。

• 易于进行优化转换：由于 SSA 中的变量只被赋值一次，所以可以更容易地执行优化转换，例如代码提升、循环不变式代码外提和循环展开等。

• 异常处理能力强：在 LLVM 中，SSA 可以很好地支持异常处理。由于 SSA 格式是静态的，每个变量的值是固定的，因此可以更轻松地进行调试和定位错误。