即每个变量只能被赋值一次。这有助于简化变量之间的依赖分析。LLVM允许静态编译代码，或者通过实时编译（JIT）机制将中间表示转换为机器码（类似Java）。LLVM支援与语言无关的指令集架构及类型系统。每个在静态单赋值形式（SSA）的指令集代表着，每个变数（被称为具有型别的暂存器）仅被赋值一次，这简化了变数间相依性的分析。LLVM允许程式码被静态的编译，包含在传统的GCC系统底下，或是类似JAVA等后期编译才将IF编译成机器码所使用的即时编译（JIT）技术。它的型别系统包含基本型别（整数或是浮点数）及五个