* 自顺应 IR 模块：可以或许顺应分歧编译器方针和法式特征的 IR 模块。能够暗示各类编程言语和方针平台。* 面向范畴特定言语（DSL）的 IR 模块：开辟针对特定 DSL 的定* 开辟了晚期模块化编译器，如FORTRAN 编译器和PL/I 编译器。2. формальная верификация ： 使 用 формальнойLLVM IR 是一种通用 IR，