// File: /workspace/github_c_makefile_star2_O0/cogbee[P]vmir-latest/src/vmir_bitcode_parser.c
// Function: module_function
static void
module_function(ir_unit_t *iu, unsigned int argc, const int64_t *argv)
{
  if(argc < 8)
    parser_error(iu, "Bad number of args");

  unsigned int type = argv[2];
  ir_type_t *it = type_get(iu, type);
  if(it->it_code == IR_TYPE_POINTER)
    type = it->it_pointer.pointee;

  ir_function_t *f = calloc(1, sizeof(ir_function_t));

  TAILQ_INIT(&f->if_bbs);
  // what is !!?????????????(TODO)
  // isproto:Non-zero if this entry represents a declaration rather than a definition
  f->if_isproto = !!argv[4];
  f->if_type = type;

  // cogbee TODO...
  f->str_offset = argv[0];
  f->str_size = argv[1];

  if(!f->if_isproto)
    TAILQ_INSERT_TAIL(&iu->iu_functions_with_bodies, f, if_body_link);

  f->if_gfid = VECTOR_LEN(&iu->iu_functions);
  VECTOR_PUSH_BACK(&iu->iu_functions, f);

  ir_value_t *iv = value_append_and_get(iu);
  iv->iv_class = IR_VC_FUNCTION;
  iv->iv_type = type;
  iv->iv_func = f;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movq %rdx, -0x18(%rbp)
cmpl $0x8, -0xc(%rbp)
jae 0x35ae7
movq -0x8(%rbp), %rdi
leaq 0xad90(%rip), %rsi      # 0x40864
movl $0x9f, %edx
leaq 0xaf11(%rip), %rcx      # 0x409f1
movb $0x0, %al
callq 0x18220
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movl %eax, -0x1c(%rbp)
movq -0x8(%rbp), %rdi
movl -0x1c(%rbp), %esi
callq 0x1ee20
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
cmpl $0xb, (%rax)
jne 0x35b15
movq -0x28(%rbp), %rax
movl 0x8(%rax), %eax
movl %eax, -0x1c(%rbp)
movl $0x1, %edi
movl $0x90, %esi
callq 0x32c0
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
movq $0x0, 0x48(%rax)
movq -0x30(%rbp), %rcx
addq $0x48, %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x50(%rax)
movq -0x18(%rbp), %rax
cmpq $0x0, 0x20(%rax)
setne %al
xorb $-0x1, %al
xorb $-0x1, %al
andb $0x1, %al
movzbl %al, %eax
movb %al, %cl
movq -0x30(%rbp), %rax
movb %cl, 0x28(%rax)
movl -0x1c(%rbp), %ecx
movq -0x30(%rbp), %rax
movl %ecx, 0x10(%rax)
movq -0x18(%rbp), %rax
movq (%rax), %rax
movl %eax, %ecx
movq -0x30(%rbp), %rax
movl %ecx, 0x14(%rax)
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movl %eax, %ecx
movq -0x30(%rbp), %rax
movl %ecx, 0x18(%rax)
movq -0x30(%rbp), %rax
cmpb $0x0, 0x28(%rax)
jne 0x35bda
jmp 0x35b99
movq -0x30(%rbp), %rax
movq $0x0, (%rax)
movq -0x8(%rbp), %rax
movq 0x1b0(%rax), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0x30(%rbp), %rcx
movq -0x8(%rbp), %rax
movq 0x1b0(%rax), %rax
movq %rcx, (%rax)
movq -0x30(%rbp), %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x1b0(%rax)
jmp 0x35bda
movq -0x8(%rbp), %rax
movq 0x2e0(%rax), %rax
movl %eax, %ecx
movq -0x30(%rbp), %rax
movl %ecx, 0x34(%rax)
movq -0x8(%rbp), %rax
movq 0x2e0(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
addq $0x1, %rax
movq -0x8(%rbp), %rcx
cmpq 0x2e8(%rcx), %rax
jbe 0x35c5d
movq -0x38(%rbp), %rcx
addq $0x1, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x2e8(%rax)
movq -0x8(%rbp), %rax
movq 0x2e8(%rax), %rax
shlq $0x3, %rax
movq %rax, -0x40(%rbp)
movq -0x8(%rbp), %rax
movq 0x2d8(%rax), %rdi
movq -0x40(%rbp), %rsi
callq 0x3390
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x2d8(%rax)
movq -0x38(%rbp), %rcx
addq $0x1, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x2e0(%rax)
movq -0x30(%rbp), %rdx
movq -0x8(%rbp), %rax
movq 0x2d8(%rax), %rax
movq -0x38(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x8(%rbp), %rdi
callq 0x223d0
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rax
movl $0x1, (%rax)
movl -0x1c(%rbp), %ecx
movq -0x48(%rbp), %rax
movl %ecx, 0x24(%rax)
movq -0x30(%rbp), %rcx
movq -0x48(%rbp), %rax
movq %rcx, 0x30(%rax)
addq $0x50, %rsp
popq %rbp
retq
nopw (%rax,%rax)