[AMDGPU] Implement AMDGPUMCInstrAnalysis

[scott.linder]

Summary

Implement MCInstrAnalysis for AMDGPU. Implement evaluateBranch to get <symbol+offset> notation in llvm-objdump when the symbolizer fails. I believe the remaining default implementations are OK, if pessimistic, but we can implement them as-needed.

[arsenm]

lib/Target/AMDGPU/MCTargetDesc/AMDGPUMCTargetDesc.cpp

122

Needs a comment for why this is 18

test/MC/AMDGPU/branch-comment.s

10

This should be printed as signed?

16

Can you include some cases where it can't figure out an associated symbol?

16

Also could use some stressing the maximum branch distances. There's some macro trick one of the other tests uses to produce a lot of nops for this

[scott.linder]

test/MC/AMDGPU/branch-comment.s

10

I went back to make this change, but I'm not really certain why we choose to represent the branch immediate the way we currently do.

It seems like we reinterpret the bytes of a signed int16 as a signed int64 without a sign-extension when creating the MCOperand immediate. It seems confusing to me, and leads to some awkward casts in places. Would sign-extending and adding checks for isInt<16>(Imm) in places be a better approach, or is there something I'm missing?

Alternatively should we just make the asm parser/printer aware of this so we see "-1"? Should we also support the old way? It seems like there must be assembly kernels out there with the old "notation" for negative immediates.

[arsenm]

test/MC/AMDGPU/branch-comment.s

10

These should probably be consistently extended

[scott.linder]

Address feedback. Sign-extend all s_branch immediates and change the assembler syntax to represent these as true negative numbers.

One remaining question I have is about "overflow" in the calculation of the target; for example the test for the smallest simm16 on a branch at a low PC results in the offset <keep_symbol+0xfffffffffffe0018>but I don't know if the hardware is defined to behave this way. I will try to experiment, but I'm unsure how to know definitively.

[arsenm]

test/MC/AMDGPU/branch-comment-fail.s

4

This error message is bad. Why doesn't it say something about out of range?

[scott.linder]

test/MC/AMDGPU/branch-comment.s

16

I added tests for the boundaries when assembling an immediate, and tests for failure due to the immediate being out of range, but the test you mention (test/MC/AMDGPU/branch-comment-fail.s) already handles the symbolic case, so I don't think there is anything to add.

[scott.linder]

Improved error message.

[scott.linder]

Does anyone have an opinion on returning negative branch targets (e.g. <keep_symbol+0xfffffffffffe0018>)? I don't know how this would ever come up in hardware anyway, or what the hardware would do, but it doesn't seem very helpful in the disassembly.

[arsenm]

In D58400#1405973, @scott.linder wrote:

Does anyone have an opinion on returning negative branch targets (e.g. <keep_symbol+0xfffffffffffe0018>)? I don't know how this would ever come up in hardware anyway, or what the hardware would do, but it doesn't seem very helpful in the disassembly.

The hardware doesn't know about the symbol? Do you mean for overflow?

[scott.linder]

In D58400#1407115, @arsenm wrote:

In D58400#1405973, @scott.linder wrote:

Does anyone have an opinion on returning negative branch targets (e.g. <keep_symbol+0xfffffffffffe0018>)? I don't know how this would ever come up in hardware anyway, or what the hardware would do, but it doesn't seem very helpful in the disassembly.

The hardware doesn't know about the symbol? Do you mean for overflow?

Right, I just mean that the notation of an offset from a symbol kind of breaks down with the overflow, and that the "overflow" doesn't represent an overflow in the hardware anyway. At best <keep_symbol+0xfffffffffffe0018> is just an odd way to represent a negative offset. I think it makes more sense to just return nothing from evaulateBranch if the result would be negative?

[scott.linder]

After digging a bit more into how we parse/print operands for sopp_br I think there are some more fundamental decisions to make beyond just "do we support signed integers", so I want to avoid changing anything in this patch. I will revisit how we treat them in the future and make any breaking changes all at once, rather than spreading them out.

[arsenm]

I'm not sure how the question is whether signed integers are supported. The instruction does treat the offset as signed

[scott.linder]

In D58400#1412667, @arsenm wrote:

I'm not sure how the question is whether signed integers are supported. The instruction does treat the offset as signed

I mean during parsing/printing. We don't support parsing s_branch -1, nor we don't support printing it.

[arsenm]

LGTM

lib/Target/AMDGPU/AsmParser/AMDGPUAsmParser.cpp

 }
 
 //===----------------------------------------------------------------------===//
 // sopp branch targets
 //===----------------------------------------------------------------------===//
 
 OperandMatchResultTy
 AMDGPUAsmParser::parseSOppBrTarget(OperandVector &Operands) {
-  SMLoc S = Parser.getTok().getLoc();
+  bool Minus = false;
+  if (getLexer().getKind() == AsmToken::Minus) {
+    if (!getLexer().peekTok().is(AsmToken::Integer))
+      return MatchOperand_ParseFail;
+    Minus = true;
+    Parser.Lex();
+  }
 
+  SMLoc S = Parser.getTok().getLoc();
   switch (getLexer().getKind()) {
     default: return MatchOperand_ParseFail;
     case AsmToken::Integer: {
       int64_t Imm;
       if (getParser().parseAbsoluteExpression(Imm))
         return MatchOperand_ParseFail;
+      if (Minus)
+        Imm *= -1;
+      if (!isInt<16>(Imm))
+        return MatchOperand_ParseFail;
       Operands.push_back(AMDGPUOperand::CreateImm(this, Imm, S));
       return MatchOperand_Success;
     }
 
     case AsmToken::Identifier:
       Operands.push_back(AMDGPUOperand::CreateExpr(this,
           MCSymbolRefExpr::create(getContext().getOrCreateSymbol(
                                   Parser.getTok().getString()), getContext()), S));

lib/Target/AMDGPU/Disassembler/AMDGPUDisassembler.cpp

static int insertNamedMCOperand(MCInst &MI, const MCOperand &Op,
   }
   return OpIdx;
 }
 
 static DecodeStatus decodeSoppBrTarget(MCInst &Inst, unsigned Imm,
                                        uint64_t Addr, const void *Decoder) {
   auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder);
 
+  // Our branches take a simm16, but we need two extra bits to account for the
+  // factor of 4.
   APInt SignedOffset(18, Imm * 4, true);
   int64_t Offset = (SignedOffset.sext(64) + 4 + Addr).getSExtValue();
 
   if (DAsm->tryAddingSymbolicOperand(Inst, Offset, Addr, true, 2, 2))
     return MCDisassembler::Success;
-  return addOperand(Inst, MCOperand::createImm(Imm));
+  return addOperand(Inst, MCOperand::createImm(SignExtend64<16>(Imm)));
 }
 
 #define DECODE_OPERAND(StaticDecoderName, DecoderName) \
 static DecodeStatus StaticDecoderName(MCInst &Inst, \
                                        unsigned Imm, \
                                        uint64_t /*Addr*/, \
                                        const void *Decoder) { \
   auto DAsm = static_cast<const AMDGPUDisassembler*>(Decoder); \

lib/Target/AMDGPU/InstPrinter/AMDGPUInstPrinter.h

private:
   void printNegHi(const MCInst *MI, unsigned OpNo,
                   const MCSubtargetInfo &STI, raw_ostream &O);
   void printInterpSlot(const MCInst *MI, unsigned OpNo,
                        const MCSubtargetInfo &STI, raw_ostream &O);
   void printInterpAttr(const MCInst *MI, unsigned OpNo,
                        const MCSubtargetInfo &STI, raw_ostream &O);
   void printInterpAttrChan(const MCInst *MI, unsigned OpNo,
                            const MCSubtargetInfo &STI, raw_ostream &O);
+  void printSoppBrTarget(const MCInst *MI, unsigned OpNo,
+                         const MCSubtargetInfo &STI, raw_ostream &O);
 
   void printVGPRIndexMode(const MCInst *MI, unsigned OpNo,
                           const MCSubtargetInfo &STI, raw_ostream &O);
   void printMemOperand(const MCInst *MI, unsigned OpNo,
                        const MCSubtargetInfo &STI, raw_ostream &O);
 
 
   template <unsigned N>

lib/Target/AMDGPU/InstPrinter/AMDGPUInstPrinter.cpp

 void AMDGPUInstPrinter::printMemOperand(const MCInst *MI, unsigned OpNo,
                                         const MCSubtargetInfo &STI,
                                         raw_ostream &O) {
   printOperand(MI, OpNo, STI, O);
   O  << ", ";
   printOperand(MI, OpNo + 1, STI, O);
 }
 
+void AMDGPUInstPrinter::printSoppBrTarget(const MCInst *MI, unsigned OpNo,
+                                          const MCSubtargetInfo &STI,
+                                          raw_ostream &O) {
+  const MCOperand &Op = MI->getOperand(OpNo);
+  if (Op.isImm()) {
+    int64_t Val = Op.getImm();
+    assert(isInt<16>(Val) && "branch immediate must be simm16");
+    O << formatDec(Val);
+  } else {
+    printOperand(MI, OpNo, STI, O);
+  }
+}
+
 void AMDGPUInstPrinter::printIfSet(const MCInst *MI, unsigned OpNo,
                                    raw_ostream &O, StringRef Asm,
                                    StringRef Default) {
   const MCOperand &Op = MI->getOperand(OpNo);
   assert(Op.isImm());
   if (Op.getImm() == 1) {
     O << Asm;
   } else {

lib/Target/AMDGPU/MCTargetDesc/AMDGPUMCTargetDesc.cpp

 #include "AMDGPUELFStreamer.h"
 #include "AMDGPUMCAsmInfo.h"
 #include "AMDGPUTargetStreamer.h"
 #include "InstPrinter/AMDGPUInstPrinter.h"
 #include "SIDefines.h"
 #include "llvm/MC/MCAsmBackend.h"
 #include "llvm/MC/MCCodeEmitter.h"
 #include "llvm/MC/MCContext.h"
+#include "llvm/MC/MCInstrAnalysis.h"
 #include "llvm/MC/MCInstrInfo.h"
 #include "llvm/MC/MCObjectWriter.h"
 #include "llvm/MC/MCRegisterInfo.h"
 #include "llvm/MC/MCStreamer.h"
 #include "llvm/MC/MCSubtargetInfo.h"
 #include "llvm/MC/MachineLocation.h"
 #include "llvm/Support/ErrorHandling.h"
 #include "llvm/Support/TargetRegistry.h"
static MCStreamer *createMCStreamer(const Triple &T, MCContext &Context,
                                     std::unique_ptr<MCAsmBackend> &&MAB,
                                     std::unique_ptr<MCObjectWriter> &&OW,
                                     std::unique_ptr<MCCodeEmitter> &&Emitter,
                                     bool RelaxAll) {
   return createAMDGPUELFStreamer(T, Context, std::move(MAB), std::move(OW),
                                  std::move(Emitter), RelaxAll);
 }
 
+namespace {
+
+class AMDGPUMCInstrAnalysis : public MCInstrAnalysis {
+public:
+  explicit AMDGPUMCInstrAnalysis(const MCInstrInfo *Info)
+      : MCInstrAnalysis(Info) {}
+
+  bool evaluateBranch(const MCInst &Inst, uint64_t Addr, uint64_t Size,
+                      uint64_t &Target) const override {
+    if (Inst.getNumOperands() == 0 || !Inst.getOperand(0).isImm() ||
+        Info->get(Inst.getOpcode()).OpInfo[0].OperandType !=
+            MCOI::OPERAND_PCREL)
+      return false;
+
+    int64_t Imm = Inst.getOperand(0).getImm();
+    // Our branches take a simm16, but we need two extra bits to account for
+    // the factor of 4.
+    APInt SignedOffset(18, Imm * 4, true);
+    Target = (SignedOffset.sext(64) + Addr + Size).getZExtValue();
+    return true;
+  }
+};
+
+} // end anonymous namespace
+
+static MCInstrAnalysis *createAMDGPUMCInstrAnalysis(const MCInstrInfo *Info) {
+  return new AMDGPUMCInstrAnalysis(Info);
+}
+
 extern "C" void LLVMInitializeAMDGPUTargetMC() {
 
   TargetRegistry::RegisterMCInstrInfo(getTheGCNTarget(), createAMDGPUMCInstrInfo);
   TargetRegistry::RegisterMCInstrInfo(getTheAMDGPUTarget(), createR600MCInstrInfo);
   for (Target *T : {&getTheAMDGPUTarget(), &getTheGCNTarget()}) {
     RegisterMCAsmInfo<AMDGPUMCAsmInfo> X(*T);
 
     TargetRegistry::RegisterMCRegInfo(*T, createAMDGPUMCRegisterInfo);
     TargetRegistry::RegisterMCSubtargetInfo(*T, createAMDGPUMCSubtargetInfo);
     TargetRegistry::RegisterMCInstPrinter(*T, createAMDGPUMCInstPrinter);
+    TargetRegistry::RegisterMCInstrAnalysis(*T, createAMDGPUMCInstrAnalysis);
     TargetRegistry::RegisterMCAsmBackend(*T, createAMDGPUAsmBackend);
     TargetRegistry::RegisterELFStreamer(*T, createMCStreamer);
   }
 
   // R600 specific registration
   TargetRegistry::RegisterMCCodeEmitter(getTheAMDGPUTarget(),
                                         createR600MCCodeEmitter);
   TargetRegistry::RegisterObjectTargetStreamer(

lib/Target/AMDGPU/SIInstrInfo.td

def SoppBrTarget : AsmOperandClass {
   let ParserMethod = "parseSOppBrTarget";
 }
 
 def sopp_brtarget : Operand<OtherVT> {
   let EncoderMethod = "getSOPPBrEncoding";
   let DecoderMethod = "decodeSoppBrTarget";
   let OperandType = "OPERAND_PCREL";
   let ParserMatchClass = SoppBrTarget;
+  let PrintMethod = "printSoppBrTarget";
 }
 
 def si_ga : Operand<iPTR>;
 
 def InterpSlotMatchClass : AsmOperandClass {
   let Name = "InterpSlot";
   let PredicateMethod = "isInterpSlot";
   let ParserMethod = "parseInterpSlot";

test/MC/AMDGPU/branch-comment-fail.s

+// RUN: not llvm-mc -arch=amdgcn -mcpu=fiji -filetype=obj -o /dev/null %s 2>&1 | FileCheck -check-prefix=ERROR %s
+
+s_branch -32769
+// ERROR: branch-comment-fail.s:3:16: error: failed parsing operand.
+
+s_branch 32768
+// ERROR: branch-comment-fail.s:6:15: error: failed parsing operand.

test/MC/AMDGPU/branch-comment.s

+// RUN: llvm-mc -arch=amdgcn -mcpu=fiji -filetype=obj %s | llvm-objcopy -S -K keep_symbol - | llvm-objdump -disassemble -mcpu=fiji - | FileCheck %s --check-prefix=BIN
+
+loop_start_nosym:
+s_branch loop_start_nosym
+// BIN-NOT: loop_start_nosym:
+// BIN: s_branch -1 // 000000000000: BF82FFFF <.text>
+
+s_branch loop_end_nosym
+// BIN: s_branch 0 // 000000000004: BF820000 <.text+0x8>
+// BIN-NOT: loop_end_nosym:
+loop_end_nosym:
+  s_nop 0
+
+keep_symbol:
+  s_nop 0
+
+loop_start_sym:
+s_branch loop_start_sym
+// BIN-NOT: loop_start_sym:
+// BIN: s_branch -1 // 000000000010: BF82FFFF <keep_symbol+0x4>
+
+s_branch loop_end_sym
+// BIN: s_branch 0 // 000000000014: BF820000 <keep_symbol+0xc>
+// BIN-NOT: loop_end_sym:
+loop_end_sym:
+  s_nop 0
+
+s_branch -1
+// BIN: s_branch -1 // 00000000001C: BF82FFFF <keep_symbol+0x10>
+
+s_branch -32768
+// BIN: s_branch -32768 // 000000000020: BF828000 <keep_symbol+0xfffffffffffe0018>
+
+s_branch 32767
+// BIN: s_branch 32767 // 000000000024: BF827FFF <keep_symbol+0x20018>

test/MC/AMDGPU/gfx7_asm_all.s

 // CHECK: [0x41,0x31,0xee,0xb8]
 
 s_cbranch_i_fork ttmp[10:11], 12609
 // CHECK: [0x41,0x31,0xfa,0xb8]
 
 s_cbranch_i_fork exec, 12609
 // CHECK: [0x41,0x31,0xfe,0xb8]
 
-s_cbranch_i_fork s[2:3], 49617
+s_cbranch_i_fork s[2:3], -15919
 // CHECK: [0xd1,0xc1,0x82,0xb8]
 
 s_getreg_b32 s5, 0x3141
 // CHECK: [0x41,0x31,0x05,0xb9]
 
 s_getreg_b32 s103, 0x3141
 // CHECK: [0x41,0x31,0x67,0xb9]
 

 // CHECK: [0xd1,0xc1,0x80,0xbf]
 
 s_endpgm
 // CHECK: [0x00,0x00,0x81,0xbf]
 
 s_branch 12609
 // CHECK: [0x41,0x31,0x82,0xbf]
 
-s_branch 49617
+s_branch -15919
 // CHECK: [0xd1,0xc1,0x82,0xbf]
 
 s_cbranch_scc0 12609
 // CHECK: [0x41,0x31,0x84,0xbf]
 
-s_cbranch_scc0 49617
+s_cbranch_scc0 -15919
 // CHECK: [0xd1,0xc1,0x84,0xbf]
 
 s_cbranch_scc1 12609
 // CHECK: [0x41,0x31,0x85,0xbf]
 
-s_cbranch_scc1 49617
+s_cbranch_scc1 -15919
 // CHECK: [0xd1,0xc1,0x85,0xbf]
 
 s_cbranch_vccz 12609
 // CHECK: [0x41,0x31,0x86,0xbf]
 
-s_cbranch_vccz 49617
+s_cbranch_vccz -15919
 // CHECK: [0xd1,0xc1,0x86,0xbf]
 
 s_cbranch_vccnz 12609
 // CHECK: [0x41,0x31,0x87,0xbf]
 
-s_cbranch_vccnz 49617
+s_cbranch_vccnz -15919
 // CHECK: [0xd1,0xc1,0x87,0xbf]
 
 s_cbranch_execz 12609
 // CHECK: [0x41,0x31,0x88,0xbf]
 
-s_cbranch_execz 49617
+s_cbranch_execz -15919
 // CHECK: [0xd1,0xc1,0x88,0xbf]
 
 s_cbranch_execnz 12609
 // CHECK: [0x41,0x31,0x89,0xbf]
 
-s_cbranch_execnz 49617
+s_cbranch_execnz -15919
 // CHECK: [0xd1,0xc1,0x89,0xbf]
 
 s_barrier
 // CHECK: [0x00,0x00,0x8a,0xbf]
 
 s_setkill 0x3141
 // CHECK: [0x41,0x31,0x8b,0xbf]
 

 // CHECK: [0xd1,0xc1,0x95,0xbf]
 
 s_ttracedata
 // CHECK: [0x00,0x00,0x96,0xbf]
 
 s_cbranch_cdbgsys 12609
 // CHECK: [0x41,0x31,0x97,0xbf]
 
-s_cbranch_cdbgsys 49617
+s_cbranch_cdbgsys -15919
 // CHECK: [0xd1,0xc1,0x97,0xbf]
 
 s_cbranch_cdbguser 12609
 // CHECK: [0x41,0x31,0x98,0xbf]
 
-s_cbranch_cdbguser 49617
+s_cbranch_cdbguser -15919
 // CHECK: [0xd1,0xc1,0x98,0xbf]
 
 s_cbranch_cdbgsys_or_user 12609
 // CHECK: [0x41,0x31,0x99,0xbf]
 
-s_cbranch_cdbgsys_or_user 49617
+s_cbranch_cdbgsys_or_user -15919
 // CHECK: [0xd1,0xc1,0x99,0xbf]
 
 s_cbranch_cdbgsys_and_user 12609
 // CHECK: [0x41,0x31,0x9a,0xbf]
 
-s_cbranch_cdbgsys_and_user 49617
+s_cbranch_cdbgsys_and_user -15919
 // CHECK: [0xd1,0xc1,0x9a,0xbf]
 
 v_interp_p1_f32 v5, v1, attr0.x
 // CHECK: [0x01,0x00,0x14,0xc8]
 
 v_interp_p1_f32 v255, v1, attr0.x
 // CHECK: [0x01,0x00,0xfc,0xcb]
 

test/MC/AMDGPU/gfx8_asm_all.s

 // CHECK: [0x41,0x31,0x6e,0xb8]
 
 s_cbranch_i_fork ttmp[10:11], 12609
 // CHECK: [0x41,0x31,0x7a,0xb8]
 
 s_cbranch_i_fork exec, 12609
 // CHECK: [0x41,0x31,0x7e,0xb8]
 
-s_cbranch_i_fork s[2:3], 49617
+s_cbranch_i_fork s[2:3], -15919
 // CHECK: [0xd1,0xc1,0x02,0xb8]
 
 s_getreg_b32 s5, 0x3141
 // CHECK: [0x41,0x31,0x85,0xb8]
 
 s_getreg_b32 s101, 0x3141
 // CHECK: [0x41,0x31,0xe5,0xb8]
 

 // CHECK: [0xd1,0xc1,0x80,0xbf]
 
 s_endpgm
 // CHECK: [0x00,0x00,0x81,0xbf]
 
 s_branch 12609
 // CHECK: [0x41,0x31,0x82,0xbf]
 
-s_branch 49617
+s_branch -15919
 // CHECK: [0xd1,0xc1,0x82,0xbf]
 
 s_wakeup
 // CHECK: [0x00,0x00,0x83,0xbf]
 
 s_cbranch_scc0 12609
 // CHECK: [0x41,0x31,0x84,0xbf]
 
-s_cbranch_scc0 49617
+s_cbranch_scc0 -15919
 // CHECK: [0xd1,0xc1,0x84,0xbf]
 
 s_cbranch_scc1 12609
 // CHECK: [0x41,0x31,0x85,0xbf]
 
-s_cbranch_scc1 49617
+s_cbranch_scc1 -15919
 // CHECK: [0xd1,0xc1,0x85,0xbf]
 
 s_cbranch_vccz 12609
 // CHECK: [0x41,0x31,0x86,0xbf]
 
-s_cbranch_vccz 49617
+s_cbranch_vccz -15919
 // CHECK: [0xd1,0xc1,0x86,0xbf]
 
 s_cbranch_vccnz 12609
 // CHECK: [0x41,0x31,0x87,0xbf]
 
-s_cbranch_vccnz 49617
+s_cbranch_vccnz -15919
 // CHECK: [0xd1,0xc1,0x87,0xbf]
 
 s_cbranch_execz 12609
 // CHECK: [0x41,0x31,0x88,0xbf]
 
-s_cbranch_execz 49617
+s_cbranch_execz -15919
 // CHECK: [0xd1,0xc1,0x88,0xbf]
 
 s_cbranch_execnz 12609
 // CHECK: [0x41,0x31,0x89,0xbf]
 
-s_cbranch_execnz 49617
+s_cbranch_execnz -15919
 // CHECK: [0xd1,0xc1,0x89,0xbf]
 
 s_barrier
 // CHECK: [0x00,0x00,0x8a,0xbf]
 
 s_setkill 0x3141
 // CHECK: [0x41,0x31,0x8b,0xbf]
 

 // CHECK: [0xd1,0xc1,0x95,0xbf]
 
 s_ttracedata
 // CHECK: [0x00,0x00,0x96,0xbf]
 
 s_cbranch_cdbgsys 12609
 // CHECK: [0x41,0x31,0x97,0xbf]
 
-s_cbranch_cdbgsys 49617
+s_cbranch_cdbgsys -15919
 // CHECK: [0xd1,0xc1,0x97,0xbf]
 
 s_cbranch_cdbguser 12609
 // CHECK: [0x41,0x31,0x98,0xbf]
 
-s_cbranch_cdbguser 49617
+s_cbranch_cdbguser -15919
 // CHECK: [0xd1,0xc1,0x98,0xbf]
 
 s_cbranch_cdbgsys_or_user 12609
 // CHECK: [0x41,0x31,0x99,0xbf]
 
-s_cbranch_cdbgsys_or_user 49617
+s_cbranch_cdbgsys_or_user -15919
 // CHECK: [0xd1,0xc1,0x99,0xbf]
 
 s_cbranch_cdbgsys_and_user 12609
 // CHECK: [0x41,0x31,0x9a,0xbf]
 
-s_cbranch_cdbgsys_and_user 49617
+s_cbranch_cdbgsys_and_user -15919
 // CHECK: [0xd1,0xc1,0x9a,0xbf]
 
 s_endpgm_saved
 // CHECK: [0x00,0x00,0x9b,0xbf]
 
 s_set_gpr_idx_off
 // CHECK: [0x00,0x00,0x9c,0xbf]
 

test/MC/AMDGPU/gfx9_asm_all.s

 // CHECK: [0x41,0x31,0x66,0xb8]
 
 s_cbranch_i_fork vcc, 12609
 // CHECK: [0x41,0x31,0x6a,0xb8]
 
 s_cbranch_i_fork exec, 12609
 // CHECK: [0x41,0x31,0x7e,0xb8]
 
-s_cbranch_i_fork s[2:3], 49617
+s_cbranch_i_fork s[2:3], -15919
 // CHECK: [0xd1,0xc1,0x02,0xb8]
 
 s_getreg_b32 s5, 0x3141
 // CHECK: [0x41,0x31,0x85,0xb8]
 
 s_getreg_b32 s101, 0x3141
 // CHECK: [0x41,0x31,0xe5,0xb8]
 

 // CHECK: [0xd1,0xc1,0x80,0xbf]
 
 s_endpgm
 // CHECK: [0x00,0x00,0x81,0xbf]
 
 s_branch 12609
 // CHECK: [0x41,0x31,0x82,0xbf]
 
-s_branch 49617
+s_branch -15919
 // CHECK: [0xd1,0xc1,0x82,0xbf]
 
 s_wakeup
 // CHECK: [0x00,0x00,0x83,0xbf]
 
 s_cbranch_scc0 12609
 // CHECK: [0x41,0x31,0x84,0xbf]
 
-s_cbranch_scc0 49617
+s_cbranch_scc0 -15919
 // CHECK: [0xd1,0xc1,0x84,0xbf]
 
 s_cbranch_scc1 12609
 // CHECK: [0x41,0x31,0x85,0xbf]
 
-s_cbranch_scc1 49617
+s_cbranch_scc1 -15919
 // CHECK: [0xd1,0xc1,0x85,0xbf]
 
 s_cbranch_vccz 12609
 // CHECK: [0x41,0x31,0x86,0xbf]
 
-s_cbranch_vccz 49617
+s_cbranch_vccz -15919
 // CHECK: [0xd1,0xc1,0x86,0xbf]
 
 s_cbranch_vccnz 12609
 // CHECK: [0x41,0x31,0x87,0xbf]
 
-s_cbranch_vccnz 49617
+s_cbranch_vccnz -15919
 // CHECK: [0xd1,0xc1,0x87,0xbf]
 
 s_cbranch_execz 12609
 // CHECK: [0x41,0x31,0x88,0xbf]
 
-s_cbranch_execz 49617
+s_cbranch_execz -15919
 // CHECK: [0xd1,0xc1,0x88,0xbf]
 
 s_cbranch_execnz 12609
 // CHECK: [0x41,0x31,0x89,0xbf]
 
-s_cbranch_execnz 49617
+s_cbranch_execnz -15919
 // CHECK: [0xd1,0xc1,0x89,0xbf]
 
 s_barrier
 // CHECK: [0x00,0x00,0x8a,0xbf]
 
 s_setkill 0x3141
 // CHECK: [0x41,0x31,0x8b,0xbf]
 

 // CHECK: [0xd1,0xc1,0x95,0xbf]
 
 s_ttracedata
 // CHECK: [0x00,0x00,0x96,0xbf]
 
 s_cbranch_cdbgsys 12609
 // CHECK: [0x41,0x31,0x97,0xbf]
 
-s_cbranch_cdbgsys 49617
+s_cbranch_cdbgsys -15919
 // CHECK: [0xd1,0xc1,0x97,0xbf]
 
 s_cbranch_cdbguser 12609
 // CHECK: [0x41,0x31,0x98,0xbf]
 
-s_cbranch_cdbguser 49617
+s_cbranch_cdbguser -15919
 // CHECK: [0xd1,0xc1,0x98,0xbf]
 
 s_cbranch_cdbgsys_or_user 12609
 // CHECK: [0x41,0x31,0x99,0xbf]
 
-s_cbranch_cdbgsys_or_user 49617
+s_cbranch_cdbgsys_or_user -15919
 // CHECK: [0xd1,0xc1,0x99,0xbf]
 
 s_cbranch_cdbgsys_and_user 12609
 // CHECK: [0x41,0x31,0x9a,0xbf]
 
-s_cbranch_cdbgsys_and_user 49617
+s_cbranch_cdbgsys_and_user -15919
 // CHECK: [0xd1,0xc1,0x9a,0xbf]
 
 s_endpgm_saved
 // CHECK: [0x00,0x00,0x9b,0xbf]
 
 s_set_gpr_idx_off
 // CHECK: [0x00,0x00,0x9c,0xbf]
 

test/MC/Disassembler/AMDGPU/gfx8_dasm_all.txt

 0xd1,0xc1,0x80,0xbf
 
 # CHECK: s_endpgm    ; encoding: [0x00,0x00,0x81,0xbf]
 0x00,0x00,0x81,0xbf
 
 # CHECK: s_branch 12609    ; encoding: [0x41,0x31,0x82,0xbf]
 0x41,0x31,0x82,0xbf
 
-# CHECK: s_branch 49617    ; encoding: [0xd1,0xc1,0x82,0xbf]
+# CHECK: s_branch -15919    ; encoding: [0xd1,0xc1,0x82,0xbf]
 0xd1,0xc1,0x82,0xbf
 
 # CHECK: s_wakeup    ; encoding: [0x00,0x00,0x83,0xbf]
 0x00,0x00,0x83,0xbf
 
 # CHECK: s_cbranch_scc0 12609    ; encoding: [0x41,0x31,0x84,0xbf]
 0x41,0x31,0x84,0xbf
 
-# CHECK: s_cbranch_scc0 49617    ; encoding: [0xd1,0xc1,0x84,0xbf]
+# CHECK: s_cbranch_scc0 -15919    ; encoding: [0xd1,0xc1,0x84,0xbf]
 0xd1,0xc1,0x84,0xbf
 
 # CHECK: s_cbranch_scc1 12609    ; encoding: [0x41,0x31,0x85,0xbf]
 0x41,0x31,0x85,0xbf
 
-# CHECK: s_cbranch_scc1 49617    ; encoding: [0xd1,0xc1,0x85,0xbf]
+# CHECK: s_cbranch_scc1 -15919    ; encoding: [0xd1,0xc1,0x85,0xbf]
 0xd1,0xc1,0x85,0xbf
 
 # CHECK: s_cbranch_vccz 12609    ; encoding: [0x41,0x31,0x86,0xbf]
 0x41,0x31,0x86,0xbf
 
-# CHECK: s_cbranch_vccz 49617    ; encoding: [0xd1,0xc1,0x86,0xbf]
+# CHECK: s_cbranch_vccz -15919    ; encoding: [0xd1,0xc1,0x86,0xbf]
 0xd1,0xc1,0x86,0xbf
 
 # CHECK: s_cbranch_vccnz 12609    ; encoding: [0x41,0x31,0x87,0xbf]
 0x41,0x31,0x87,0xbf
 
-# CHECK: s_cbranch_vccnz 49617    ; encoding: [0xd1,0xc1,0x87,0xbf]
+# CHECK: s_cbranch_vccnz -15919    ; encoding: [0xd1,0xc1,0x87,0xbf]
 0xd1,0xc1,0x87,0xbf
 
 # CHECK: s_cbranch_execz 12609    ; encoding: [0x41,0x31,0x88,0xbf]
 0x41,0x31,0x88,0xbf
 
-# CHECK: s_cbranch_execz 49617    ; encoding: [0xd1,0xc1,0x88,0xbf]
+# CHECK: s_cbranch_execz -15919    ; encoding: [0xd1,0xc1,0x88,0xbf]
 0xd1,0xc1,0x88,0xbf
 
 # CHECK: s_cbranch_execnz 12609    ; encoding: [0x41,0x31,0x89,0xbf]
 0x41,0x31,0x89,0xbf
 
-# CHECK: s_cbranch_execnz 49617    ; encoding: [0xd1,0xc1,0x89,0xbf]
+# CHECK: s_cbranch_execnz -15919    ; encoding: [0xd1,0xc1,0x89,0xbf]
 0xd1,0xc1,0x89,0xbf
 
 # CHECK: s_barrier    ; encoding: [0x00,0x00,0x8a,0xbf]
 0x00,0x00,0x8a,0xbf
 
 # CHECK: s_setkill 0x3141    ; encoding: [0x41,0x31,0x8b,0xbf]
 0x41,0x31,0x8b,0xbf
 

 0xd1,0xc1,0x95,0xbf
 
 # CHECK: s_ttracedata    ; encoding: [0x00,0x00,0x96,0xbf]
 0x00,0x00,0x96,0xbf
 
 # CHECK: s_cbranch_cdbgsys 12609    ; encoding: [0x41,0x31,0x97,0xbf]
 0x41,0x31,0x97,0xbf
 
-# CHECK: s_cbranch_cdbgsys 49617    ; encoding: [0xd1,0xc1,0x97,0xbf]
+# CHECK: s_cbranch_cdbgsys -15919    ; encoding: [0xd1,0xc1,0x97,0xbf]
 0xd1,0xc1,0x97,0xbf
 
 # CHECK: s_cbranch_cdbguser 12609    ; encoding: [0x41,0x31,0x98,0xbf]
 0x41,0x31,0x98,0xbf
 
-# CHECK: s_cbranch_cdbguser 49617    ; encoding: [0xd1,0xc1,0x98,0xbf]
+# CHECK: s_cbranch_cdbguser -15919    ; encoding: [0xd1,0xc1,0x98,0xbf]
 0xd1,0xc1,0x98,0xbf
 
 # CHECK: s_cbranch_cdbgsys_or_user 12609    ; encoding: [0x41,0x31,0x99,0xbf]
 0x41,0x31,0x99,0xbf
 
-# CHECK: s_cbranch_cdbgsys_or_user 49617    ; encoding: [0xd1,0xc1,0x99,0xbf]
+# CHECK: s_cbranch_cdbgsys_or_user -15919    ; encoding: [0xd1,0xc1,0x99,0xbf]
 0xd1,0xc1,0x99,0xbf
 
 # CHECK: s_cbranch_cdbgsys_and_user 12609    ; encoding: [0x41,0x31,0x9a,0xbf]
 0x41,0x31,0x9a,0xbf
 
-# CHECK: s_cbranch_cdbgsys_and_user 49617    ; encoding: [0xd1,0xc1,0x9a,0xbf]
+# CHECK: s_cbranch_cdbgsys_and_user -15919    ; encoding: [0xd1,0xc1,0x9a,0xbf]
 0xd1,0xc1,0x9a,0xbf
 
 # CHECK: s_endpgm_saved    ; encoding: [0x00,0x00,0x9b,0xbf]
 0x00,0x00,0x9b,0xbf
 
 # CHECK: s_set_gpr_idx_off    ; encoding: [0x00,0x00,0x9c,0xbf]
 0x00,0x00,0x9c,0xbf
 

test/MC/Disassembler/AMDGPU/gfx9_dasm_all.txt

 0xd1,0xc1,0x80,0xbf
 
 # CHECK: s_endpgm    ; encoding: [0x00,0x00,0x81,0xbf]
 0x00,0x00,0x81,0xbf
 
 # CHECK: s_branch 12609    ; encoding: [0x41,0x31,0x82,0xbf]
 0x41,0x31,0x82,0xbf
 
-# CHECK: s_branch 49617    ; encoding: [0xd1,0xc1,0x82,0xbf]
+# CHECK: s_branch -15919    ; encoding: [0xd1,0xc1,0x82,0xbf]
 0xd1,0xc1,0x82,0xbf
 
 # CHECK: s_wakeup    ; encoding: [0x00,0x00,0x83,0xbf]
 0x00,0x00,0x83,0xbf
 
 # CHECK: s_cbranch_scc0 12609    ; encoding: [0x41,0x31,0x84,0xbf]
 0x41,0x31,0x84,0xbf
 
-# CHECK: s_cbranch_scc0 49617    ; encoding: [0xd1,0xc1,0x84,0xbf]
+# CHECK: s_cbranch_scc0 -15919    ; encoding: [0xd1,0xc1,0x84,0xbf]
 0xd1,0xc1,0x84,0xbf
 
 # CHECK: s_cbranch_scc1 12609    ; encoding: [0x41,0x31,0x85,0xbf]
 0x41,0x31,0x85,0xbf
 
-# CHECK: s_cbranch_scc1 49617    ; encoding: [0xd1,0xc1,0x85,0xbf]
+# CHECK: s_cbranch_scc1 -15919    ; encoding: [0xd1,0xc1,0x85,0xbf]
 0xd1,0xc1,0x85,0xbf
 
 # CHECK: s_cbranch_vccz 12609    ; encoding: [0x41,0x31,0x86,0xbf]
 0x41,0x31,0x86,0xbf
 
-# CHECK: s_cbranch_vccz 49617    ; encoding: [0xd1,0xc1,0x86,0xbf]
+# CHECK: s_cbranch_vccz -15919    ; encoding: [0xd1,0xc1,0x86,0xbf]
 0xd1,0xc1,0x86,0xbf
 
 # CHECK: s_cbranch_vccnz 12609    ; encoding: [0x41,0x31,0x87,0xbf]
 0x41,0x31,0x87,0xbf
 
-# CHECK: s_cbranch_vccnz 49617    ; encoding: [0xd1,0xc1,0x87,0xbf]
+# CHECK: s_cbranch_vccnz -15919    ; encoding: [0xd1,0xc1,0x87,0xbf]
 0xd1,0xc1,0x87,0xbf
 
 # CHECK: s_cbranch_execz 12609    ; encoding: [0x41,0x31,0x88,0xbf]
 0x41,0x31,0x88,0xbf
 
-# CHECK: s_cbranch_execz 49617    ; encoding: [0xd1,0xc1,0x88,0xbf]
+# CHECK: s_cbranch_execz -15919    ; encoding: [0xd1,0xc1,0x88,0xbf]
 0xd1,0xc1,0x88,0xbf
 
 # CHECK: s_cbranch_execnz 12609    ; encoding: [0x41,0x31,0x89,0xbf]
 0x41,0x31,0x89,0xbf
 
-# CHECK: s_cbranch_execnz 49617    ; encoding: [0xd1,0xc1,0x89,0xbf]
+# CHECK: s_cbranch_execnz -15919    ; encoding: [0xd1,0xc1,0x89,0xbf]
 0xd1,0xc1,0x89,0xbf
 
 # CHECK: s_barrier    ; encoding: [0x00,0x00,0x8a,0xbf]
 0x00,0x00,0x8a,0xbf
 
 # CHECK: s_setkill 0x3141    ; encoding: [0x41,0x31,0x8b,0xbf]
 0x41,0x31,0x8b,0xbf
 

 0xd1,0xc1,0x95,0xbf
 
 # CHECK: s_ttracedata    ; encoding: [0x00,0x00,0x96,0xbf]
 0x00,0x00,0x96,0xbf
 
 # CHECK: s_cbranch_cdbgsys 12609    ; encoding: [0x41,0x31,0x97,0xbf]
 0x41,0x31,0x97,0xbf
 
-# CHECK: s_cbranch_cdbgsys 49617    ; encoding: [0xd1,0xc1,0x97,0xbf]
+# CHECK: s_cbranch_cdbgsys -15919    ; encoding: [0xd1,0xc1,0x97,0xbf]
 0xd1,0xc1,0x97,0xbf
 
 # CHECK: s_cbranch_cdbguser 12609    ; encoding: [0x41,0x31,0x98,0xbf]
 0x41,0x31,0x98,0xbf
 
-# CHECK: s_cbranch_cdbguser 49617    ; encoding: [0xd1,0xc1,0x98,0xbf]
+# CHECK: s_cbranch_cdbguser -15919    ; encoding: [0xd1,0xc1,0x98,0xbf]
 0xd1,0xc1,0x98,0xbf
 
 # CHECK: s_cbranch_cdbgsys_or_user 12609    ; encoding: [0x41,0x31,0x99,0xbf]
 0x41,0x31,0x99,0xbf
 
-# CHECK: s_cbranch_cdbgsys_or_user 49617    ; encoding: [0xd1,0xc1,0x99,0xbf]
+# CHECK: s_cbranch_cdbgsys_or_user -15919    ; encoding: [0xd1,0xc1,0x99,0xbf]
 0xd1,0xc1,0x99,0xbf
 
 # CHECK: s_cbranch_cdbgsys_and_user 12609    ; encoding: [0x41,0x31,0x9a,0xbf]
 0x41,0x31,0x9a,0xbf
 
-# CHECK: s_cbranch_cdbgsys_and_user 49617    ; encoding: [0xd1,0xc1,0x9a,0xbf]
+# CHECK: s_cbranch_cdbgsys_and_user -15919    ; encoding: [0xd1,0xc1,0x9a,0xbf]
 0xd1,0xc1,0x9a,0xbf
 
 # CHECK: s_endpgm_saved    ; encoding: [0x00,0x00,0x9b,0xbf]
 0x00,0x00,0x9b,0xbf
 
 # CHECK: s_set_gpr_idx_off    ; encoding: [0x00,0x00,0x9c,0xbf]
 0x00,0x00,0x9c,0xbf