伪指令在LLVM后端中并非通过.td文件定义，而是由TargetLowering::LowerOperation或Select中的自定义lowering逻辑生成MachineInstr节点，并经ExpandPostRAPseudos pass处理，最终由AsmPrinter输出汇编行（如.align 4），其本质是目标特定的不可调度、不参与寄存器分配的操作，职责归属lowering与emit阶段而非指令集描述层。
伪指令在 LLVM 后端里不是“定义”出来的，而是“不定义”的
LLVM 后端本身不提供类似汇编器中 .data、.align、.extern 这类“伪指令（pseudo-instruction）”的独立定义机制。你看到的所谓“伪指令”，绝大多数是 目标特定的 MachineInstr 节点，在指令选择后被后端 pass 展开成真实指令序列或数据片段，而不是在 .td 文件里用 def 声明一个新指令。
典型误区是试图在 RISCVInstrInfo.td 里写 def ALIGN : PseudoInst<...></...> —— 这不会生效，因为 LLVM 不支持原生伪指令定义。真正起作用的是：TargetLowering::LowerOperation 或 SelectionDAGISel::Select 中对特定 ISD:: 节点（如 ISD::ALIGN、ISD::GLOBAL_ADDRESS）的自定义 lowering 逻辑，以及后续 MIR 阶段的 ExpandPostRAPseudos pass。
如何让一条“伪操作”最终生成汇编行（比如 .align 4）
关键不在 .td，而在 lowering + emit 阶段。以 .align 4 为例，它通常源自 IR 中的 addrspacecast 对齐要求或 GlobalVariable 的 align 属性，最终走通路径是：
-
GlobalVariable的Alignment属性 → 在AsmPrinter中触发EmitAlignment调用 -
MachineInstr中出现ALIGN操作码（由 target lowering 插入）→ExpandPostRAPseudospass 将其转为MCInst或直接跳过，交由AsmPrinter输出.align行 - 如果你需要自定义语义（如
.my_pseudo .word 0x1234），必须在AsmPrinter::EmitInstruction中拦截对应MachineInstr，手动调用OutStreamer->emitInt32(0x1234)等底层 API
示例：RISC-V 后端中，RVISD::PseudoTAIL 是个常见伪节点，它不对应任何硬件指令，而是在 RISCVInstructionSelector::select 中被识别并展开为 tail + jalr 序列；它的“定义”只是 enum RISCVISD { ... PseudoTAIL, ... }，没有 .td 条目。
为什么不能像真实指令一样用 .td 定义伪指令
因为 .td 文件描述的是可编码、可调度、可寄存器分配的机器指令，而伪指令往往：
- 不占用指令槽（如
.section、.bss） - 不参与寄存器分配（如
.extern只是符号声明） - 不进入调度器（如
.align只影响后续布局） - 参数不是寄存器或立即数，而是字符串字面量或类型信息（如
.quad 0xdeadbeef）
这些特性与 Instruction class 的设计前提冲突。LLVM 把这类行为划归到 AsmPrinter、MCStreamer 和 lowering 函数职责内，而非指令集描述层。
最容易踩的坑：混淆 pseudo-op 和 pseudo-instruction
很多人以为 la（load address）是伪指令，其实它是 RISC-V 后端中一个真实定义在 RISCVInstrInfo.td 里的 def LA 指令，有 OutOperandList 和 Pattern，会被 SelectionDAG 匹配并生成多条真实指令（auipc + addi）。它叫 “pseudo” 只是因为汇编器层面看起来像单条指令，但 LLVM 后端视其为可调度、可优化的复合指令。
真正的伪操作（pseudo-op）如 .option push、.rept，LLVM 根本不处理 —— 它们由 MCStreamer 直接透传给汇编器（llvm-mc 或 GNU as）。你如果在 .ll 里写 call void @llvm.riscv.option.push()，那是行不通的；必须用 asm inline 或自定义 MCAsmParser 扩展。
复杂点在于：同一术语在不同上下文含义不同。RISC-V spec 说 “la is a pseudo-instruction”，LLVM 说 “it’s a real instruction with pattern matching”，而 GNU as 说 “it’s a directive we expand before encoding”。别被名字带偏，盯住它在哪个阶段、由谁、以什么方式展开。
