// File: /workspace/github_c_makefile_star2_O2/cogbee[P]vmir-latest/src/vmir_wasm_parser.c
// Function: wasm_parse_block
static ir_bb_t *
wasm_parse_block(ir_unit_t *iu, ir_bb_t *ib,
                 wasm_bytestream_t *wbs, uint32_t local_var_base,
                 label_stack_frame_t *parent, int type, int depth,
                 int yield_value)
{
  unsigned int local_var;
  uint8_t rettype;
  ir_bb_t *exitblock = NULL;
  label_stack_frame_t lsf;
  lsf.parent = parent;

  switch(type) {
  case WASM_OP_BLOCK:
    lsf.label = bb_add_named(iu->iu_current_function, ib, "Block exit");
    exitblock = lsf.label;
    break;

  case WASM_OP_LOOP:
    lsf.label = bb_add_named(iu->iu_current_function, ib, "Loop start");
    unconditional_branch(ib, lsf.label);
    ib = lsf.label;
    break;

  case WASM_OP_IF:
    lsf.label = bb_add_named(iu->iu_current_function, ib, "False");
    exitblock = lsf.label;
    ir_instr_br_t *i = instr_add(ib, sizeof(ir_instr_br_t), IR_IC_BR);
    ib = bb_add_named(iu->iu_current_function, ib, "True");
    i->true_branch = ib->ib_id;
    i->false_branch = lsf.label->ib_id;
    i->condition =  vstack_pop(iu);
    break;

  default:
    abort();
  }

  while(wbs->ptr < wbs->end) {

    uint8_t code = wbs_get_byte(wbs);
    //    printf("%*.scode=%x @ 0x%zx\n", depth * 2, "", code, wbs->ptr - wbs->start);
    if(code == 0xb)
      break;

    switch(code) {
    case WASM_OP_BLOCK:
    case WASM_OP_LOOP:
    case WASM_OP_IF:
      rettype = wasm_parse_value_type(iu, wbs);
      int yielded = rettype ? value_alloc_temporary(iu, rettype).value : -1;
      ib = wasm_parse_block(iu, ib, wbs, local_var_base, &lsf, code, depth + 1,
                            yielded);
      if(yielded != -1)
        vstack_push_value(iu, yielded);
      break;

    case 0x0:
      wasm_unreachable(iu, ib);
      code = wbs_get_byte(wbs);
      while(code == 0)
        code = wbs_get_byte(wbs);
      if(code == 0xb) {
        if(depth == 0)
          return NULL;
        return exitblock;
      } else if(code != WASM_OP_ELSE) {
        parser_error(iu, "unreachable not followed by block termination");
      }
      // fallthru
    case WASM_OP_ELSE:
      if(yield_value != -1)
        wasm_set_local(iu, ib, yield_value);
      lsf.label = bb_add_named(iu->iu_current_function, ib, "Else exit");
      unconditional_branch(ib, lsf.label);
      ib = exitblock;
      exitblock = lsf.label;
      break;


    case 1:
      break;

    case 0xf:  // Return
      wasm_return(iu, ib);
      ib = bb_add_named(iu->iu_current_function, ib, "Return split");
      break;
    case 0xc:  // branch
    case 0xd:  // br_if
      ib = wasm_branch(iu, ib, code, wbs_get_vu32(wbs), &lsf);
      break;
    case 0xe:  // br_table
      ib = wasm_branch_table(iu, ib, wbs, &lsf);
      break;
    case 0x10:
    case 0x11:
      wasm_call(iu, ib, wbs, code == 0x11);
      break;
    case 0x1a:
      vstack_pop(iu);
      break;
    case 0x1b:
      wasm_select(iu, ib);
      break;
    case 0x20:
      vstack_push_value(iu, wbs_get_vu32(wbs) + local_var_base);
      break;
    case 0x21:
      wasm_set_local(iu, ib, wbs_get_vu32(wbs) + local_var_base);
      break;
    case 0x22:
      local_var = wbs_get_vu32(wbs) + local_var_base;
      wasm_set_local(iu, ib, local_var);
      vstack_push_value(iu, local_var);
      break;
    case 0x23:
      wasm_load_global(iu, ib, VECTOR_ITEM(&iu->iu_wasm_globalvar_map,
                                           wbs_get_vu32(wbs)));
      break;
    case 0x24:
      wasm_store_global(iu, ib, VECTOR_ITEM(&iu->iu_wasm_globalvar_map,
                                            wbs_get_vu32(wbs)));
      break;
    case 0x28 ... 0x35:
      wasm_load(iu, ib, code, wbs);
      break;
    case 0x36 ... 0x3e:
      wasm_store(iu, ib, code, wbs);
      break;
    case 0x41 ... 0x44:
      wasm_const(iu, code, wbs);
      break;
    case 0x45 ... 0x66:
      wasm_cmp(iu, ib, code);
      break;
    case 0x67 ... 0xa6:
      wasm_numeric(iu, ib, code);
      break;
    case 0xa7 ... 0xbf:
      wasm_convert(iu, ib, code);
      break;

    default:
      function_print(iu, iu->iu_current_function, "faildump");
      parser_error(iu, "Can't handle opcode 0x%x", code);
    }
  }

  if(yield_value != -1)
    wasm_set_local(iu, ib, yield_value);

  if(exitblock) {
    unconditional_branch(ib, exitblock);
    return exitblock;
  }
  return ib;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rcx, 0x10(%rsp)
movq %rdx, %rbx
movq %rsi, %r12
movq %rdi, %r15
movq %r8, 0x20(%rsp)
cmpl $0x4, %r9d
je 0xf33e
cmpl $0x3, %r9d
je 0xf30d
cmpl $0x2, %r9d
jne 0xfc59
movq 0x1c0(%r15), %rdi
leaq 0x11b7e(%rip), %rdx     # 0x20e72
movq %r12, (%rsp)
movq %r12, %rsi
callq 0xf0c5
movq %rax, %rbp
movq %rax, 0x18(%rsp)
jmp 0xf3a1
movq 0x1c0(%r15), %rdi
leaq 0x11b62(%rip), %rdx     # 0x20e7d
movq %r12, %rsi
callq 0xf0c5
movq %rax, %r14
movq %rax, 0x18(%rsp)
movq %r12, %rdi
movq %rax, %rsi
callq 0xf294
xorl %ebp, %ebp
movq %r14, (%rsp)
jmp 0xf3a1
movq 0x1c0(%r15), %rdi
leaq 0x11b3c(%rip), %rdx     # 0x20e88
movq %r12, %rsi
callq 0xf0c5
movq %rax, %rbp
movq %rax, 0x18(%rsp)
pushq $0x68
popq %rsi
pushq $0x8
popq %rdx
movq %r12, %rdi
callq 0x101c5
movq %rax, %r14
movq 0x1c0(%r15), %rdi
leaq 0x11b13(%rip), %rdx     # 0x20e8e
movq %r12, %rsi
callq 0xf0c5
movq %rax, (%rsp)
movl 0x28(%rax), %eax
movl %eax, 0x60(%r14)
movl 0x28(%rbp), %eax
movl %eax, 0x64(%r14)
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x58(%r14)
movl 0x70(%rsp), %eax
incl %eax
movq %rax, 0x30(%rsp)
movq %rbp, %r12
movq (%rbx), %rax
cmpq 0x8(%rbx), %rax
jae 0xfbea
movzbl (%rax), %r14d
incq %rax
movq %rax, (%rbx)
cmpl $0xb, %r14d
je 0xfbea
movsbq %r14b, %r13
cmpb $-0x41, %r13b
ja 0xfc76
movzbl %r13b, %eax
leaq 0xfad7(%rip), %rcx      # 0x1eec0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
movq %r12, %rbp
jmpq *%rax
movzbl %r13b, %eax
addl $-0x67, %eax
cmpl $0x3c, %eax
ja 0xfc5e
leaq 0xfdb4(%rip), %rcx      # 0x1f1c0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
xorl %ebp, %ebp
jmp 0xf644
movq (%rsp), %rdi
pushq $0x70
popq %rsi
pushq $0x7
popq %rdx
callq 0x101c5
movq %rax, %r14
movzbl %r13b, %eax
addl $-0x45, %eax
leaq 0xfe78(%rip), %rcx      # 0x1f2b4
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
pushq $0x20
popq %rbp
jmpq *%rax
pushq $0x21
jmp 0xf737
movq (%rsp), %rdi
pushq $0x68
popq %rsi
pushq $0x3
popq %rdx
callq 0x101c5
movq %rax, %r14
leaq 0x107b4(%rip), %rax     # 0x1fc1c
movl 0x164(%rax,%r13,4), %ebp
addq $0x59, %r13
movsbq %r13b, %rax
leaq 0x10801(%rip), %rcx     # 0x1fc80
movl (%rcx,%rax,4), %eax
movl %eax, 0x60(%r14)
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x58(%r14)
movq %r15, %rdi
movl %ebp, %esi
jmp 0xf75e
movsbq %r14b, %rax
leaq -0x28(%rax), %rcx
movsbq %cl, %rcx
leaq 0x106c9(%rip), %rdx     # 0x1fb78
movl (%rdx,%rcx,4), %edx
movl %edx, 0x2c(%rsp)
leaq 0x106f3(%rip), %rdx     # 0x1fbb0
movb -0x28(%rax,%rdx), %bpl
leaq 0x106f7(%rip), %rax     # 0x1fbc0
movl (%rax,%rcx,4), %eax
movl %eax, 0x8(%rsp)
movq %rbx, %rdi
callq 0xe21c
movq %rbx, %rdi
callq 0xe21c
movl %eax, %r14d
movq (%rsp), %rdi
pushq $0x78
popq %rsi
pushq $0x4
popq %rdx
callq 0x101c5
movq %rax, %r13
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x58(%r13)
movl %r14d, 0x60(%r13)
orl $-0x1, 0x64(%r13)
movb %bpl, 0x74(%r13)
movl 0x2c(%rsp), %eax
movl %eax, 0x70(%r13)
movq %r15, %rdi
movl 0x8(%rsp), %esi
movq %r13, %rdx
callq 0x10532
movq 0x2c(%r13), %rsi
jmp 0xf76a
leaq 0x106c3(%rip), %rax     # 0x1fbf8
movl -0xd8(%rax,%r13,4), %r13d
movq %rbx, %rdi
callq 0xe21c
movq %rbx, %rdi
callq 0xe21c
movl %eax, %ebp
movq (%rsp), %rdi
pushq $0x70
popq %rsi
pushq $0x5
popq %rdx
callq 0x101c5
movq %rax, %r14
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x60(%r14)
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x58(%r14)
movl %r13d, 0x64(%r14)
movl %ebp, 0x68(%r14)
movq %r12, %rbp
jmp 0xf3ac
pushq $0x2
jmp 0xf643
pushq $0x4
jmp 0xf643
pushq $0x1
jmp 0xf643
movq %r15, %rdi
movl %r14d, %esi
movq %rbx, %rdx
callq 0xe7db
movq %r12, %rbp
jmp 0xf3ac
movq %r15, %rdi
movq %rbx, %rsi
callq 0xe2cb
pushq $-0x1
popq %rcx
movl %ecx, %r13d
andl $0xff, %eax
je 0xf5d9
movq %r15, %rdi
movl %eax, %esi
callq 0x101ec
movq %rax, %r13
movq %r15, %rdi
movq (%rsp), %rsi
movq %rbx, %rdx
movq 0x10(%rsp), %rcx
leaq 0x18(%rsp), %r8
movl %r14d, %r9d
pushq %r13
pushq 0x38(%rsp)
callq 0xf2af
popq %rcx
popq %rdx
movq %rax, (%rsp)
movq %r12, %rbp
cmpl $-0x1, %r13d
je 0xf3ac
movq %r15, %rdi
movl %r13d, %esi
jmp 0xf90b
pushq $0xb
jmp 0xf643
pushq $0x7
jmp 0xf643
pushq $0x6
jmp 0xf643
pushq $0x5
jmp 0xf643
pushq $0xd
jmp 0xf643
pushq $0x9
jmp 0xf643
pushq $0xa
jmp 0xf643
pushq $0x3
jmp 0xf643
pushq $0x8
jmp 0xf643
pushq $0xc
jmp 0xf643
pushq $0xe
popq %rbp
movq (%rsp), %rdi
pushq $0x70
popq %rsi
pushq $0x2
popq %rdx
callq 0x101c5
movq %rax, %r14
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x64(%r14)
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x5c(%r14)
movl %ebp, 0x58(%r14)
shrq $0x20, %rax
movq %r15, %rdi
movl %eax, %esi
jmp 0xf75e
movq %rbx, %rdi
callq 0xe21c
movl %eax, %r13d
movq 0x1c0(%r15), %rdi
movq (%rsp), %rbp
movq %rbp, %rsi
leaq 0x11841(%rip), %rdx     # 0x20ee1
callq 0xf0c5
movq %rax, 0x8(%rsp)
movq %rbp, %rdi
pushq $0x68
popq %rsi
pushq $0x8
popq %rdx
callq 0x101c5
movq %rax, %rbp
leaq 0x18(%rsp), %rdi
movl %r13d, %esi
callq 0x10501
movl %eax, 0x60(%rbp)
cmpl $0xc, %r14d
jne 0xfad6
orl $-0x1, 0x58(%rbp)
jmp 0xfa41
movq %rbx, %rdi
callq 0xe21c
cltq
cmpb $0x11, %r14b
jne 0xfafa
movq 0x580(%r15), %rcx
movl (%rcx,%rax,4), %ebp
jmp 0xfb1e
pushq $0x3
jmp 0xf737
pushq $0x2
jmp 0xf737
pushq $0x1
jmp 0xf737
pushq $0x28
jmp 0xf737
pushq $0x22
jmp 0xf737
pushq $0xe
jmp 0xf737
pushq $0x5
jmp 0xf737
pushq $0x29
jmp 0xf737
pushq $0x25
jmp 0xf737
pushq $0x24
jmp 0xf737
pushq $0x26
jmp 0xf737
pushq $0x4
jmp 0xf737
pushq $0x23
jmp 0xf737
pushq $0x27
popq %rbp
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x64(%r14)
pushq $0x5c
popq %r13
movq %r15, %rdi
callq 0xe55e
movq %rax, (%r14,%r13)
movl %ebp, 0x58(%r14)
movq %r15, %rdi
pushq $0x1
popq %rsi
movq %r14, %rdx
callq 0x10532
movq 0x2c(%r14), %rsi
movq %r15, %rdi
callq 0xe999
movq %r12, %rbp
jmp 0xf3ac
movq %r15, %rdi
movq (%rsp), %rsi
movl $0x1ca, %edx            # imm = 0x1CA
pushq $0x3
jmp 0xf7f0
movq %r15, %rdi
movq (%rsp), %rsi
movl $0x1f8, %edx            # imm = 0x1F8
jmp 0xf7ee
movq %r15, %rdi
movq (%rsp), %rsi
movl $0x1be, %edx            # imm = 0x1BE
pushq $0x4
jmp 0xf7f0
movq %r15, %rdi
movq (%rsp), %rsi
movl $0x1f4, %edx            # imm = 0x1F4
jmp 0xf7de
movq %r15, %rdi
movq (%rsp), %rsi
movl $0x1f5, %edx            # imm = 0x1F5
jmp 0xf7de
movq %r15, %rdi
movq (%rsp), %rsi
movl $0x1f7, %edx            # imm = 0x1F7
jmp 0xf7ee
movq %r15, %rdi
movq (%rsp), %rsi
movl $0x1f6, %edx            # imm = 0x1F6
pushq $0x1
jmp 0xf7f0
movq %r15, %rdi
movq (%rsp), %rsi
movl $0x1f9, %edx            # imm = 0x1F9
pushq $0x2
popq %rcx
callq 0x10572
movq %r12, %rbp
jmp 0xf3ac
movq 0x598(%r15), %r14
movq %rbx, %rdi
callq 0xe21c
movl %eax, %eax
movq (%r14,%rax,8), %r13
movq (%rsp), %rdi
pushq $0x70
popq %rsi
pushq $0x5
popq %rdx
callq 0x101c5
movq %rax, %r14
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x60(%r14)
movq %r13, 0x58(%r14)
andl $0x0, 0x68(%r14)
movq %r12, %rbp
jmp 0xf3ac
movq 0x598(%r15), %r14
movq %rbx, %rdi
callq 0xe21c
movl %eax, %eax
movq (%r14,%rax,8), %rbp
movq %rbp, %r14
shrq $0x20, %r14
movq %r15, %rdi
movl %ebp, %esi
callq 0x102f1
movq 0x30(%rax), %rax
movl 0x10(%rax), %eax
movl %eax, 0x8(%rsp)
movq (%rsp), %rdi
pushq $0x78
popq %rsi
pushq $0x4
popq %rdx
callq 0x101c5
movq %rax, %r13
movl %ebp, 0x58(%rax)
movl %r14d, 0x5c(%rax)
movabsq $-0x100000000, %rax     # imm = 0xFFFFFFFF00000000
movq %rax, 0x60(%r13)
movb $-0x1, 0x74(%r13)
movl 0x8(%rsp), %esi
movl %esi, 0x70(%r13)
movq %r15, %rdi
jmp 0xf51d
movq %rbx, %rdi
callq 0xe21c
movq 0x10(%rsp), %rcx
leal (%rax,%rcx), %ebp
movq %r15, %rdi
movq (%rsp), %rsi
movl %ebp, %edx
callq 0x1034f
movq %r15, %rdi
movl %ebp, %esi
jmp 0xf90b
movq %rbx, %rdi
callq 0xe21c
movq 0x10(%rsp), %rcx
leal (%rax,%rcx), %edx
movq %r15, %rdi
movq (%rsp), %rsi
callq 0x1034f
movq %r12, %rbp
jmp 0xf3ac
movq %rbx, %rdi
callq 0xe21c
movq 0x10(%rsp), %rcx
leal (%rax,%rcx), %esi
movq %r15, %rdi
callq 0x10326
movq %r12, %rbp
jmp 0xf3ac
movq %r15, %rdi
callq 0xe55e
movq %r12, %rbp
jmp 0xf3ac
movq (%rsp), %rdi
pushq $0x70
popq %rsi
pushq $0xe
popq %rdx
callq 0x101c5
movq %rax, %r14
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x68(%r14)
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x60(%r14)
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x58(%r14)
jmp 0xf672
movq %r15, %rdi
movq (%rsp), %r14
movq %r14, %rsi
callq 0xfcac
movq 0x1c0(%r15), %rdi
movq %r14, %rsi
leaq 0x11548(%rip), %rdx     # 0x20ecb
callq 0xf0c5
movq %rax, (%rsp)
movq %r12, %rbp
jmp 0xf3ac
movq 0x1c0(%r15), %rdi
movq (%rsp), %r14
movq %r14, %rsi
leaq 0x11545(%rip), %rdx     # 0x20eee
callq 0xf0c5
movq %rax, 0x8(%rsp)
movq %rbx, %rdi
callq 0xe21c
movslq %eax, %rbp
movq %rbp, %rsi
shlq $0x4, %rsi
addq $0x68, %rsi
movq %r14, %rdi
pushq $0xc
popq %rdx
callq 0x101c5
movq %rax, %r13
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x58(%r13)
movl %ebp, 0x64(%r13)
testl %ebp, %ebp
movl $0x0, %eax
cmovlel %eax, %ebp
movq %r13, (%rsp)
addq $0x70, %r13
xorl %r14d, %r14d
cmpq %r14, %rbp
je 0xfa26
movq %r14, -0x8(%r13)
movq %rbx, %rdi
callq 0xe21c
leaq 0x18(%rsp), %rdi
movl %eax, %esi
callq 0x10501
movl %eax, (%r13)
incq %r14
addq $0x10, %r13
jmp 0xf9fc
movq %rbx, %rdi
callq 0xe21c
leaq 0x18(%rsp), %rdi
movl %eax, %esi
callq 0x10501
movq (%rsp), %rcx
movl %eax, 0x60(%rcx)
movq %r12, %rbp
movq 0x8(%rsp), %rax
movq %rax, (%rsp)
jmp 0xf3ac
movq (%rsp), %rdi
pushq $0x58
popq %rsi
xorl %edx, %edx
callq 0x101c5
movq (%rbx), %rax
movq 0x8(%rbx), %rcx
movb $-0x1, %dl
cmpq %rcx, %rax
jb 0xfa74
testb %dl, %dl
je 0xfa67
jmp 0xfa7e
movb (%rax), %dl
incq %rax
movq %rax, (%rbx)
jmp 0xfa6e
movzbl %dl, %eax
cmpl $0x5, %eax
jne 0xfc29
movl 0x78(%rsp), %edx
cmpl $-0x1, %edx
movq (%rsp), %r14
je 0xfaa2
movq %r15, %rdi
movq %r14, %rsi
callq 0x1034f
movq 0x1c0(%r15), %rdi
movq %r14, %rsi
leaq 0x1140e(%rip), %rdx     # 0x20ec1
callq 0xf0c5
movq %rax, 0x18(%rsp)
movq %r14, %rdi
movq %rax, %rsi
callq 0xf294
movq 0x18(%rsp), %rbp
movq %r12, (%rsp)
jmp 0xf3ac
movq 0x8(%rsp), %r14
movl 0x28(%r14), %eax
movl %eax, 0x64(%rbp)
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x58(%rbp)
movq %r12, %rbp
movq %r14, (%rsp)
jmp 0xf3ac
movq 0x2d8(%r15), %rcx
movq (%rcx,%rax,8), %r14
movl 0x10(%r14), %ebp
movq %r15, %rdi
callq 0x1051a
movl $0x1, (%rax)
movl %ebp, 0x24(%rax)
movq %r14, 0x30(%rax)
movq %r15, %rdi
movl %ebp, %esi
callq 0xe719
movq %rax, 0x8(%rsp)
movslq 0x14(%rax), %rbp
imulq $0xc, %rbp, %rsi
addq $0x70, %rsi
movq (%rsp), %rdi
pushq $0xa
popq %rdx
callq 0x101c5
movq %rax, %r14
cmpb $0x11, %r13b
jne 0xfb64
movq %r15, %rdi
callq 0xe55e
movq %rax, 0x58(%r14)
movq %rbx, %rdi
callq 0xe21c
jmp 0xfb71
movl 0x198(%r15), %eax
decl %eax
movl %eax, 0x58(%r14)
movl %ebp, %eax
movl %ebp, 0x6c(%r14)
imulq $0xc, %rax, %rax
leaq (%r14,%rax), %r13
addq $0x64, %r13
testl %ebp, %ebp
jle 0xfb9b
movq %r15, %rdi
callq 0xe55e
movq %rax, (%r13)
addq $-0xc, %r13
decl %ebp
jmp 0xfb83
movq 0x8(%rsp), %r13
movl 0x10(%r13), %esi
movq %r15, %rdi
callq 0xe719
cmpl $0x1, (%rax)
movq %r12, %rbp
je 0xf3ac
movl 0x10(%r13), %esi
movq %r15, %rdi
jmp 0xf75e
movq %r15, %rdi
xorl %esi, %esi
pushq $0x5
jmp 0xfbd4
movq %r15, %rdi
xorl %esi, %esi
pushq $0x6
popq %rdx
callq 0xe90d
movq %rax, 0x5c(%r14)
pushq $0x64
popq %r13
pushq $0x20
popq %rbp
jmp 0xf748
movl 0x78(%rsp), %edx
cmpl $-0x1, %edx
movq (%rsp), %rbx
je 0xfc02
movq %r15, %rdi
movq %rbx, %rsi
callq 0x1034f
testq %r12, %r12
je 0xfc14
movq %rbx, %rdi
movq %r12, %rsi
callq 0xf294
jmp 0xfc17
movq %rbx, %r12
movq %r12, %rax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
cmpl $0xb, %eax
jne 0xfc3c
xorl %eax, %eax
movl 0x70(%rsp), %ecx
testl %ecx, %ecx
cmoveq %rax, %r12
jmp 0xfc17
leaq 0x10adb(%rip), %rsi     # 0x2071e
leaq 0x11249(%rip), %rcx     # 0x20e93
movq %r15, %rdi
movl $0x471, %edx            # imm = 0x471
xorl %eax, %eax
callq 0xbed2
callq 0x3060
leaq 0x10ab9(%rip), %rsi     # 0x2071e
leaq 0x11295(%rip), %rcx     # 0x20f01
movq %r15, %rdi
movl $0x272, %edx            # imm = 0x272
jmp 0xfca2
movq 0x1c0(%r15), %rsi
leaq 0x11254(%rip), %rdx     # 0x20ed8
movq %r15, %rdi
callq 0x10395
leaq 0x10a8b(%rip), %rsi     # 0x2071e
leaq 0x11024(%rip), %rcx     # 0x20cbe
movq %r15, %rdi
movl $0x4be, %edx            # imm = 0x4BE
movl %r14d, %r8d
xorl %eax, %eax
callq 0xbed2