// File: /workspace/github_c_makefile_star2_O0/wtakuo[P]SVM/vmdebug.c
// Function: instr_name
static char *instr_name (Bcode instr) {
    switch (instr) {
    case i_nop: return "nop";
    case i_dup: return "dup";
    case i_pop: return "pop";
    case i_goto: return "goto";
    case i_ifeq: return "ifeq";
    case i_ifne: return "ifne";
    case i_iflt: return "iflt";
    case i_ifle: return "ifle";
    case i_ifgt: return "ifgt";
    case i_ifge: return "ifge";
    case i_giload: return "giload";
    case i_gaload: return "gaload";
    case i_gistore: return "gistore";
    case i_gastore: return "gastore";
    case i_iload: return "iload";
    case i_aload: return "aload";
    case i_istore: return "istore";
    case i_astore: return "astore";
    case i_bipush: return "bipush";
    case i_sipush: return "sipush";
    case i_iadd: return "iadd";
    case i_isub: return "isub";
    case i_imul: return "imul";
    case i_idiv: return "idiv";
    case i_irem: return "irem";
    case i_icall: return "icall";
    case i_acall: return "acall";
    case i_ticall: return "ticall";
    case i_tacall: return "tacall";
    case i_sicall: return "sicall";
    case i_sacall: return "sacall";
    case i_iret: return "iret";
    case i_aret: return "aret";
    case i_halt: return "halt";
    case i_showtop: return "showtop";
    default: return "???";
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movb %dil, %al
movb %al, -0x9(%rbp)
movzbl -0x9(%rbp), %eax
movq %rax, -0x18(%rbp)
subq $0x36, %rax
ja 0x2135
movq -0x18(%rbp), %rax
leaq 0x11f9(%rip), %rcx      # 0x3110
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x133e(%rip), %rax      # 0x3265
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x1332(%rip), %rax      # 0x3269
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x1326(%rip), %rax      # 0x326d
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x131a(%rip), %rax      # 0x3271
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x130f(%rip), %rax      # 0x3276
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x1304(%rip), %rax      # 0x327b
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x12f9(%rip), %rax      # 0x3280
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x12ee(%rip), %rax      # 0x3285
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x12e3(%rip), %rax      # 0x328a
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x12d8(%rip), %rax      # 0x328f
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x12cd(%rip), %rax      # 0x3294
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x12c4(%rip), %rax      # 0x329b
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x12bb(%rip), %rax      # 0x32a2
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x12b3(%rip), %rax      # 0x32aa
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x128e(%rip), %rax      # 0x3295
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x1285(%rip), %rax      # 0x329c
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x127c(%rip), %rax      # 0x32a3
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x1274(%rip), %rax      # 0x32ab
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x126b(%rip), %rax      # 0x32b2
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x1262(%rip), %rax      # 0x32b9
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x1259(%rip), %rax      # 0x32c0
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x124e(%rip), %rax      # 0x32c5
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x1243(%rip), %rax      # 0x32ca
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x1238(%rip), %rax      # 0x32cf
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x122d(%rip), %rax      # 0x32d4
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x1231(%rip), %rax      # 0x32e8
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x1228(%rip), %rax      # 0x32ef
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x1205(%rip), %rax      # 0x32d9
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x11ff(%rip), %rax      # 0x32e0
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x11f9(%rip), %rax      # 0x32e7
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x11f3(%rip), %rax      # 0x32ee
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x11ed(%rip), %rax      # 0x32f5
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x11e5(%rip), %rax      # 0x32fa
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x11dd(%rip), %rax      # 0x32ff
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x11d5(%rip), %rax      # 0x3304
movq %rax, -0x8(%rbp)
jmp 0x2140
leaq 0x11d0(%rip), %rax      # 0x330c
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
popq %rbp
retq
nopw %cs:(%rax,%rax)