将IF编译成机器码所使用的即时编译（JIT）技术。它的型别系统包含基本型别（整数或是浮点数）及五个复合型别（指标、数组、向量、结构及函数），在LLVM具体语言的型别建制可以以结合基本型别来表示，举例来说，C++所使用的class可以被表示为结构、函式及函数指针的阵列所组成。LLVM JIT编译器可以最佳化在执行时期时程式所不需要的静态分支，这在一些部份求值（Partial Evaluation）的案例中相当有效，即当程式有许多选项，而在特定环境下其中多数可被判断为是不需要。这个特色被使用在Mac OS