16 机器描述

机器描述包括两个部分：指令模式文件（.md file）和宏定义C头文件。

目标机器的 .md 文件包含了目标机器支持的（或者最起码值得告诉编译器的）每条指令的模式。还可能包含注释。分号使得一行的剩余部分为注释，引号标注的字符串中的分号除外。

关于C头文件的信息，参见下一章。

• Overview: 如何使用机器描述。
• Patterns: 如何写指令模式。
• Example: 一个 define_insn 模式的例子说明。
• RTL Template: RTL模板定义了什么样的insn与一个模式匹配。
• Output Template: 输出模板说明了如何从这样一个insn来生成汇编代码。
• Output Statement: 更一般的情况, 编写C代码来输出汇编代码。
• Predicates: 控制一个insn可以使用什么类型的操作数。
• Constraints: 对操作数的选择进行微调。
• Standard Names: 代码生成时使用的模式名字。
• Pattern Ordering: 不同模式顺序所产生的作用。
• Dependent Patterns: 拥有一个指令模式，可能还会需要另一个。
• Jump Patterns: 针对跳转insn的指令模式的特殊考虑。
• Looping Patterns: 如何为特定的循环insn定义模式。
• Insn Canonicalizations: 指令的规范化。
• Expander Definitions: 为一个标准操作生成一个RTL insn序列。
• Insn Splitting: 拆分指令为多条指令。
• Including Patterns: 在机器描述中包含模式。
• Peephole Definitions: 定义机器特定的窥孔优化。
• Insn Attributes: 为生成的insn指定属性值。
• Conditional Execution: 为预测（predication）生成 define_insn 模式。
• Constant Definitions: 定义可以用在md文件中的符号常量。
• Iterators: 使用迭代器从模板中生成模式。