// File: /workspace/github_c_makefile_star2_O0/mrkite[P]regs/src/disasm.cc
// Function: Disassembler::hex[abi:cxx11](unsigned int, int)
std::string Disassembler::hex(uint32_t val, int width) {
  static const char *digits = "0123456789abcdef";
  std::string ret;
  if (width == 6) {
    ret = symbols[val];
    if (!ret.empty()) {
      return ret;
    }
    ret = "$00/0000";
    for (size_t i = 0, j = 5 << 2; i < 6; i++, j -= 4) {
      ret[i < 2 ? i + 1 : i + 2] = digits[(val >> j) & 0xf];
    }
    return ret;
  }
  ret = "$";
  std::string h(width, '0');
  for (int i = 0, j = (width - 1) << 2; i < width; i++, j -= 4) {
    h[i] = digits[(val >> j) & 0xf];
  }
  return ret + h;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xe0, %rsp
movq %rdi, -0xa0(%rbp)
movq %rdi, %rax
movq %rax, -0x98(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movl %ecx, -0x18(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x90(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x6420
cmpl $0x6, -0x18(%rbp)
jne 0x1bd42
movq -0x90(%rbp), %rdi
leaq -0x14(%rbp), %rsi
callq 0x13e60
movq %rax, -0xa8(%rbp)
jmp 0x1bc21
movq -0xa8(%rbp), %rsi
leaq -0x38(%rbp), %rdi
callq 0x6060
jmp 0x1bc33
leaq -0x38(%rbp), %rdi
callq 0x6510
testb $0x1, %al
jne 0x1bc6d
movq -0xa0(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x61d0
movl $0x1, -0x48(%rbp)
jmp 0x1be6b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x1be84
leaq 0x1e692(%rip), %rsi     # 0x3a306
leaq -0x38(%rbp), %rdi
callq 0x6410
jmp 0x1bc7f
movq $0x0, -0x50(%rbp)
movq $0x14, -0x58(%rbp)
cmpq $0x6, -0x50(%rbp)
jae 0x1bd26
movq 0x6aaef(%rip), %rax     # 0x86790
movl -0x14(%rbp), %edx
movq -0x58(%rbp), %rcx
shrl %cl, %edx
movl %edx, %ecx
andl $0xf, %ecx
movl %ecx, %ecx
movb (%rax,%rcx), %al
movb %al, -0xa9(%rbp)
cmpq $0x2, -0x50(%rbp)
jae 0x1bcd2
movq -0x50(%rbp), %rax
addq $0x1, %rax
movq %rax, -0xb8(%rbp)
jmp 0x1bce1
movq -0x50(%rbp), %rax
addq $0x2, %rax
movq %rax, -0xb8(%rbp)
movq -0xb8(%rbp), %rsi
leaq -0x38(%rbp), %rdi
callq 0x65f0
movq %rax, -0xc0(%rbp)
jmp 0x1bcfa
movq -0xc0(%rbp), %rax
movb -0xa9(%rbp), %cl
movb %cl, (%rax)
movq -0x50(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x50(%rbp)
movq -0x58(%rbp), %rax
subq $0x4, %rax
movq %rax, -0x58(%rbp)
jmp 0x1bc8f
movq -0xa0(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x61d0
movl $0x1, -0x48(%rbp)
jmp 0x1be6b
leaq 0x1eeb8(%rip), %rsi     # 0x3ac01
leaq -0x38(%rbp), %rdi
callq 0x6410
jmp 0x1bd54
movslq -0x18(%rbp), %rax
movq %rax, -0xd0(%rbp)
leaq -0x79(%rbp), %rdi
movq %rdi, -0xc8(%rbp)
callq 0x6560
movq -0xd0(%rbp), %rsi
movq -0xc8(%rbp), %rcx
leaq -0x78(%rbp), %rdi
movl $0x30, %edx
callq 0x1de90
jmp 0x1bd8d
leaq -0x79(%rbp), %rdi
callq 0x6350
movl $0x0, -0x80(%rbp)
movl -0x18(%rbp), %eax
subl $0x1, %eax
shll $0x2, %eax
movl %eax, -0x84(%rbp)
movl -0x80(%rbp), %eax
cmpl -0x18(%rbp), %eax
jge 0x1be45
movq 0x6a9d1(%rip), %rax     # 0x86790
movl -0x14(%rbp), %edx
movb -0x84(%rbp), %cl
shrl %cl, %edx
movl %edx, %ecx
andl $0xf, %ecx
movb (%rax,%rcx), %al
movb %al, -0xd9(%rbp)
movslq -0x80(%rbp), %rsi
leaq -0x78(%rbp), %rdi
callq 0x65f0
movq %rax, -0xd8(%rbp)
jmp 0x1bdee
movq -0xd8(%rbp), %rax
movb -0xd9(%rbp), %cl
movb %cl, (%rax)
movl -0x80(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x80(%rbp)
movl -0x84(%rbp), %eax
subl $0x4, %eax
movl %eax, -0x84(%rbp)
jmp 0x1bdac
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x79(%rbp), %rdi
callq 0x6350
jmp 0x1be84
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x78(%rbp), %rdi
callq 0x61e0
jmp 0x1be84
movq -0xa0(%rbp), %rdi
leaq -0x38(%rbp), %rsi
leaq -0x78(%rbp), %rdx
callq 0x1df00
jmp 0x1be5b
movl $0x1, -0x48(%rbp)
leaq -0x78(%rbp), %rdi
callq 0x61e0
leaq -0x38(%rbp), %rdi
callq 0x61e0
movq -0x98(%rbp), %rax
addq $0xe0, %rsp
popq %rbp
retq
leaq -0x38(%rbp), %rdi
callq 0x61e0
movq -0x40(%rbp), %rdi
callq 0x6540
nopw %cs:(%rax,%rax)