LLVM后端跳转指令范围限制与brtarget相关技术咨询

1. brtarget及其字段的含义 #

brtargetXXX是LLVM后端中自定义的分支目标操作数类型，专门用来处理带范围限制的PC相对分支跳转，每个字段的作用如下：

• Operand<OtherVT>：声明该操作数属于OtherVT类型，因为分支目标不是常规的整数、浮点等数据类型，归类为“其他操作数”
• EncoderMethod = "getBranch16TargetOpValue"：指定汇编编码阶段调用的C++方法，核心作用是将LLVM IR中的基本块（BB）转换为当前指令的PC相对偏移值，同时负责检查偏移是否符合指令的范围限制
• OperandType = "OPERAND_PCREL"：标记该操作数是PC相对寻址类型，LLVM框架会自动识别这一点，在计算偏移时基于当前指令的地址进行计算
• DecoderMethod = "DecodeBranch16Target"：指定反汇编阶段调用的C++方法，负责将二进制指令中的偏移字段转换为对应的目标内存地址

2. 这是添加跳转范围限制的正确方式吗？ #

这是LLVM后端处理带范围限制分支指令的标准做法，但你编译报错是因为只在.td文件中定义了操作数类型，遗漏了对应的C++代码实现，需要补全以下步骤：

• 实现EncoderMethod指定的getBranch16TargetOpValue方法：在你的后端XXXInstrInfo.cpp文件中编写该方法，逻辑包括计算当前指令到目标基本块的偏移量，检查偏移是否在[-128,127]范围内，如果超出则触发LLVM的分支扩展逻辑（比如自动替换为长跳转指令，前提是你的后端支持长分支指令）
• 实现DecoderMethod指定的DecodeBranch16Target方法：在XXXMCTargetDesc.cpp文件中实现该方法，负责将二进制中的8位偏移字段（符号扩展）转换为PC相对的目标地址
• 确保指令定义的合法性：在分支指令类中，isBranch、isTerminator等属性要正确设置，LLVM才能正确识别这是分支终止指令
• 可选：在后端的TargetLowering实现中，配置分支指令的最大偏移范围，帮助LLVM在指令选择阶段优先选择合适的分支指令（短分支或长分支）

示例代码片段（仅供参考） #

// 在XXXInstrInfo.cpp中实现Encoder方法
unsigned XXXInstrInfo::getBranch16TargetOpValue(const MachineInstr &MI, unsigned OpNo,
                                               const MCRegisterInfo *MRI) const {
  const MachineBasicBlock *MBB = MI.getOperand(OpNo).getMBB();
  const MachineBasicBlock *CurrentMBB = MI.getParent();
  int64_t Offset = MBB->getSymbolDiff(CurrentMBB, MI);
  // 检查偏移是否在[-128, 127]范围内
  if (Offset < -128 || Offset > 127) {
    report_fatal_error("Branch offset out of range for brtarget16");
  }
  return (unsigned)Offset;
}

// 在XXXMCTargetDesc.cpp中实现Decoder方法
static DecodeStatus DecodeBranch16Target(MCInst &Inst, unsigned Imm,
                                        uint64_t Address, const void *Decoder) {
  // 符号扩展8位偏移到64位
  int64_t Offset = SignExtend64<8>(Imm);
  Inst.addOperand(MCOperand::createImm(Offset));
  return DecodeStatus::Success;
}

内容的提问来源于stack exchange，提问作者xiaoroubao