架构及类型系统。每个在静态单赋值形式（SSA）的指令集代表着，每个变数（被称为具有型别的暂存器）仅被赋值一次，这简化了变数间相依性的分析。LLVM允许程式码被静态的编译，包含在传统的GCC系统底下，或是类似JAVA等后期编译才将IF编译成机器码所使用的即时编译（JIT）技术。它的型别系统包含基本型别（整数或是浮点数）及五个复合型别（指标、数组、向量、结构及函数），在LLVM具体语言的型别建制可以以结合基本型别来表示，举例来说，C++所使用的class可以被表示为结构、函式及函数指针的阵列所组成。LLVM