// File: /workspace/github_c_makefile_star2_O3/cogbee[P]vmir-latest/src/vmir_vm.c
// Function: function_process
static void
function_process(ir_unit_t *iu, ir_function_t *f)
{
  //  assert(iu->iu_next_value == VECTOR_LEN(&iu->iu_values));
  if(iu->iu_debug_flags_func & VMIR_DBG_DUMP_PARSED_FUNCTION)
    function_print(iu, iu->iu_current_function, "parsed");

  transform_function(iu, f);

  if(iu->iu_debug_flags_func & VMIR_DBG_DUMP_LOWERED_FUNCTION)
    function_print(iu, iu->iu_current_function, "lowered");

  vm_emit_function(iu, f);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rsi, %r14
movq %rdi, %rbx
testb $0x1, 0x104(%rdi)
je 0x11829
movq 0x1c0(%rbx), %rsi
leaq 0x1492e(%rip), %rdx     # 0x2614f
movq %rbx, %rdi
callq 0x11eb5
movq %rbx, %rdi
movq %r14, %rsi
callq 0x132cb
testb $0x2, 0x104(%rbx)
je 0x11853
movq 0x1c0(%rbx), %rsi
leaq 0x1490b(%rip), %rdx     # 0x26156
movq %rbx, %rdi
callq 0x11eb5
movq 0x438(%rbx), %r12
movq %r12, 0x440(%rbx)
xorl %eax, %eax
movq %rax, 0x310(%rbx)
movq %rax, 0x328(%rbx)
movq %rax, 0x340(%rbx)
movq %rax, 0x358(%rbx)
movq 0x48(%r14), %r15
movq %r12, %r13
testq %r15, %r15
je 0x11990
movq %r14, 0x20(%rsp)
movl 0x440(%rbx), %eax
subl 0x438(%rbx), %eax
movl %eax, 0x20(%r15)
testb $0x20, 0x104(%rbx)
je 0x11968
movq %rbx, %rdi
movl $0x1fd, %esi            # imm = 0x1FD
callq 0x17d14
movq 0x440(%rbx), %rax
leaq 0x4(%rax), %rcx
movq 0x438(%rbx), %rdx
addq 0x448(%rbx), %rdx
cmpq %rdx, %rcx
jae 0x11bf0
movq 0x118(%rbx), %r12
movl %r12d, (%rax)
movq %rcx, 0x440(%rbx)
leaq 0x10(%r15), %rax
movl $0xffffffff, %ebp       # imm = 0xFFFFFFFF
movq (%rax), %rax
incl %ebp
testq %rax, %rax
jne 0x118fa
movl 0x28(%r15), %r13d
leaq 0x1(%r12), %r14
movq 0x110(%rbx), %rax
cmpq 0x120(%rbx), %r14
jbe 0x11942
leaq (%r14,%r14), %rcx
movq %rcx, 0x120(%rbx)
movq %r14, %rcx
shlq $0x4, %rcx
leaq (%rcx,%rcx,2), %rsi
movq %rax, %rdi
callq 0x33c0
movq %rax, 0x110(%rbx)
movq %r14, 0x118(%rbx)
leaq (%r12,%r12,2), %rcx
movq 0x20(%rsp), %r14
movq %r14, (%rax,%rcx,8)
movl %r13d, 0x8(%rax,%rcx,8)
movl %ebp, 0xc(%rax,%rcx,8)
movq $0x0, 0x10(%rax,%rcx,8)
movq %rbx, %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x17d7a
movq (%r15), %r15
testq %r15, %r15
jne 0x11894
movq 0x438(%rbx), %r12
movq 0x440(%rbx), %r13
subq %r12, %r13
movl %r13d, 0x68(%r14)
cmpb $0x0, 0x2a(%r14)
je 0x119c5
testl %r13d, %r13d
jne 0x11c0d
movslq 0x84(%r14), %rax
addq 0x50(%rbx), %rax
movq %rax, 0x70(%r14)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movslq %r13d, %r15
movq %r15, %rdi
callq 0x3380
movq %rax, 0x60(%r14)
movq %rax, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x3360
addl %r13d, 0x5f8(%rbx)
movq 0x310(%rbx), %rax
movq %rax, 0x18(%rsp)
testl %eax, %eax
jle 0x119b6
movq 0x1c0(%rbx), %rbp
movq 0x18(%rsp), %rax
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
movq %rax, 0x18(%rsp)
xorl %ecx, %ecx
movq 0x308(%rbx), %rax
movslq (%rax,%rcx,4), %r12
movq 0x60(%rbp), %rax
leaq (%rax,%r12), %r15
movzwl (%rax,%r12), %r8d
leal -0x127(%r8), %eax
cmpl $0x28, %eax
movq %rcx, 0x20(%rsp)
jae 0x11aab
movl $0x4, %r13d
movl $0x2, %r14d
movzwl (%r15,%r14), %edx
movq %rbx, %rdi
movq %rbp, %rsi
movl %r12d, %ecx
callq 0x1dbe9
movw %ax, (%r15,%r14)
movzwl (%r15,%r13), %edx
movq %rbx, %rdi
movq %rbp, %rsi
movl %r12d, %ecx
callq 0x1dbe9
movw %ax, (%r15,%r13)
movzwl (%r15), %eax
movw %ax, 0xe(%rsp)
leaq 0xe(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0x41e6
movw %ax, (%r15)
movq 0x20(%rsp), %rcx
incq %rcx
cmpq 0x18(%rsp), %rcx
jne 0x11a11
jmp 0x119b6
leal -0x16b(%r8), %eax
cmpl $0xf, %eax
ja 0x11c2c
leaq 0x127ce(%rip), %rdx     # 0x24290
movslq (%rdx,%rax,4), %rax
addq %rdx, %rax
jmpq *%rax
movl $0xa, %r13d
movl $0x8, %r14d
jmp 0x11a46
movzwl 0x4(%r15), %eax
leaq (%r15,%rax,2), %r14
addq $0x6, %r14
incq %rax
movq %rax, 0x10(%rsp)
xorl %r13d, %r13d
movzwl (%r14,%r13,2), %edx
movq %rbx, %rdi
movq %rbp, %rsi
movl %r12d, %ecx
callq 0x1dbe9
movw %ax, (%r14,%r13,2)
incq %r13
cmpq %r13, 0x10(%rsp)
jne 0x11af4
jmp 0x11a76
movzwl 0x4(%r15), %eax
leaq (%r15,%rax,8), %r14
addq $0x6, %r14
incq %rax
movq %rax, 0x10(%rsp)
xorl %r13d, %r13d
movzwl (%r14,%r13,2), %edx
movq %rbx, %rdi
movq %rbp, %rsi
movl %r12d, %ecx
callq 0x1dbe9
movw %ax, (%r14,%r13,2)
incq %r13
cmpq %r13, 0x10(%rsp)
jne 0x11b33
jmp 0x11a76
movl $0x6, %r13d
movl $0x4, %r14d
jmp 0x11a46
movl $0x2, %r13d
jmp 0x11a5e
movzwl 0x4(%r15), %eax
leaq (%r15,%rax,4), %r14
addq $0x6, %r14
incq %rax
movq %rax, 0x10(%rsp)
xorl %r13d, %r13d
movzwl (%r14,%r13,2), %edx
movq %rbx, %rdi
movq %rbp, %rsi
movl %r12d, %ecx
callq 0x1dbe9
movw %ax, (%r14,%r13,2)
incq %r13
cmpq %r13, 0x10(%rsp)
jne 0x11b8e
jmp 0x11a76
cmpw $0x0, 0x4(%r15)
je 0x11a76
xorl %r14d, %r14d
movzwl 0x6(%r15,%r14,2), %edx
movq %rbx, %rdi
movq %rbp, %rsi
movl %r12d, %ecx
callq 0x1dbe9
movw %ax, 0x6(%r15,%r14,2)
incq %r14
movzwl 0x4(%r15), %eax
cmpq %rax, %r14
jb 0x11bc4
jmp 0x11a76
leaq 0x15099(%rip), %rsi     # 0x26c90
leaq 0x150d4(%rip), %rcx     # 0x26cd2
movq %rbx, %rdi
movl $0x94b, %edx            # imm = 0x94B
xorl %eax, %eax
callq 0xca98
leaq 0x15064(%rip), %rdi     # 0x26c78
leaq 0x15075(%rip), %rsi     # 0x26c90
leaq 0x1507c(%rip), %rcx     # 0x26c9e
movl $0x12de, %edx           # imm = 0x12DE
callq 0x31e0
leaq 0x1505d(%rip), %rsi     # 0x26c90
leaq 0x158e0(%rip), %rcx     # 0x2751a
movq %rbx, %rdi
movl $0x1296, %edx           # imm = 0x1296
xorl %eax, %eax
callq 0xca98