本文上接:为CPU0体系结构创建LLVM后端(1)
LLVM的目标描述文件:.td
“混合和匹配”方法允许目标作者选择对其体系结构有意义的内容,并允许跨不同目标重用大量代码。这带来了另一个挑战:每个共享组件都需要能够以通用的方式推断出目标特定的属性。例如,共享寄存器分配器需要知道每个目标的寄存器文件,以及指令与其寄存器操作数之间存在的约束。LLVM对此的解决方案是为每个目标提供一个目标描述,使用tblgen工具处理的声明性领域特定语言(一组.td文件)。x86目标的(简化)构建过程如下图所示。
td文件支持的不同子系统允许目标作者构建目标的不同部分。例如,x86后端定义了一个寄存器类,它包含所有名为“GR32”的32位寄存器(在.td文件中,目标特定的定义都是大写的),如下所示:
td文件中使用的语言是目标(硬件)描述语言,它允许llvm后端编译器工程师定义llvm IR的转换及其cpu的机器指令。在前端,编译器开发工具为编译器开发提供了“解析器生成器”;在后端,它们为开发提供“机器码生成器”,如下图所示。