LLVM后端添加反汇编支持的核心是补全MC层的Instruction Decoder并注册到MCTargetDesc；若未实现，llvm-mc -disassemble会因无法将字节流解析为MCInst而报“invalid instruction encoding”或输出ud2/0x00000000，因其解码路径与汇编器完全独立，且Decoder需严格处理编码变体、扩展约束、位域提取和opcode设置，否则反汇编结果不可靠。
LLVM后端添加反汇编支持，核心不是“写一个反汇编函数”，而是补全MC层的Instruction Decoder实现，并注册到对应Target的MCTargetDesc中。没做这一步，llvm-objdump -d或llvm-mc -disassemble会直接报错“invalid instruction encoding”或静默跳过。
为什么llvm-mc -disassemble不认你的新指令
常见现象是：你已成功让后端生成新指令的机器码（MachineInstr → MCInst → binary），但用llvm-mc -disassemble反汇编时，输出全是0x00000000或ud2，甚至直接崩溃。这是因为LLVM MC的反汇编路径依赖Instruction Decoder——它需要把原始字节流解析成MCInst对象，而这个过程和汇编路径（Assembly Parser → MCInst）完全独立，必须单独实现。
- Decoder不实现，
MCInst就构造不出来，后续所有反汇编输出（包括llvm-objdump、lldb反汇编视图）都失效 - Decoder的输入是raw bytes + address + subtarget info，输出是
MCInst+ 消费字节数；不能复用汇编器的MCTargetAsmParser - Decoder必须处理所有合法编码变体，包括压缩指令、带扩展立即数的变种，否则遇到边界case就失败
getDecodeStatus和decodeInstruction必须成对实现
每个Target的MC层需在lib/Target/<target>/MCTargetDesc/<target>Disassembler.cpp</target></target>中提供两个关键函数：
-
static DecodeStatus getDecodeStatus(uint64_t insn, uint64_t addr, const MCSubtargetInfo &STI)：快速预检，判断该32/16-bit字节序列是否可能是本Target的有效指令（比如检查opcode字段范围、reserved位是否为0）。返回MCDisassembler::Fail会直接跳过解码，不进decodeInstruction -
bool decodeInstruction(llvm::MCInst &Inst, llvm::uint64_t insn, llvm::uint64_t addr, const llvm::MCSubtargetInfo &STI, llvm::raw_ostream &cStream) const override：真正解析逻辑。需手动提取bit field（用fieldFromInstruction等工具函数），调用Inst.addOperand填入MCOperand，并设置Inst.setOpcode - 注意：
decodeInstruction里不能抛异常，出错必须返回false；错误信息只能通过cStream输出调试用，用户不可见
RISC-V自定义指令的Decoder容易漏掉Zicond等扩展约束
以RISC-V为例，如果你新增了条件跳转类指令（如cbeqz），仅按基础ISA解码是不够的：
- 必须在
decodeInstruction中检查STI.getFeatureBits()[RISCV::FeatureZicond]，未启用时应返回false，否则llvm-mc -mattr=-zicond下会错误解码 - 立即数字段的符号扩展逻辑要和汇编器严格一致（比如
imm_i是12-bit有符，imm_b是13-bit左移1位），否则llvm-objdump显示的立即数值与真实执行值不符 - Decoder里无法访问
SelectionDAG或MachineInstr，所有语义判断（如寄存器约束、非法组合）必须在bit level完成，否则反汇编结果不可靠
验证时别只信llvm-mc -disassemble，要交叉比对llvm-objdump
最终效果必须同时满足三个工具的一致性：
-
llvm-mc -arch=riscv64 -disassemble -mattr=+zicond input.o：确认Decoder能跑通 -
llvm-objdump -d -mattr=+zicond input.o：确认MCStreamer能正确将MCInst格式化为可读汇编（涉及TargetAsmPrinter） -
llvm-readobj --section-data .text input.o：确认原始字节与Decoder输入完全一致，排除链接器重定位干扰
最容易被忽略的是：Decoder成功返回true，但MCInst::getOpcode()设错了（比如用了RISCV::ADD而非你自定义的RISCV::CBEQZ），此时llvm-objdump会fallback到unknown并打印乱码——这种错误不会报错，只能靠比对原始字节和预期指令编码来发现。
