// File: /workspace/github_c_makefile_star2_O0/cogbee[P]vmir-latest/src/vmir_wasm_parser.c
// Function: wasm_add_fundamental_types
static void
wasm_add_fundamental_types(ir_unit_t *iu)
{
  ir_type_t it = {};

  it.it_code = IR_TYPE_VOID;
  VECTOR_PUSH_BACK(&iu->iu_types, it);
  it.it_code = IR_TYPE_INT32;
  VECTOR_PUSH_BACK(&iu->iu_types, it);
  it.it_code = IR_TYPE_INT64;
  VECTOR_PUSH_BACK(&iu->iu_types, it);
  it.it_code = IR_TYPE_FLOAT;
  VECTOR_PUSH_BACK(&iu->iu_types, it);
  it.it_code = IR_TYPE_DOUBLE;
  VECTOR_PUSH_BACK(&iu->iu_types, it);
  it.it_code = IR_TYPE_INT8;
  VECTOR_PUSH_BACK(&iu->iu_types, it);
  it.it_code = IR_TYPE_INT16;
  VECTOR_PUSH_BACK(&iu->iu_types, it);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movq %rdi, -0x8(%rbp)
leaq -0x30(%rbp), %rdi
xorl %esi, %esi
movl $0x28, %edx
callq 0x31f0
movl $0x1, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq 0x170(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
addq $0x1, %rax
movq -0x8(%rbp), %rcx
cmpq 0x178(%rcx), %rax
jbe 0x1cff2
movq -0x38(%rbp), %rcx
addq $0x1, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x178(%rax)
movq -0x8(%rbp), %rax
imulq $0x28, 0x178(%rax), %rax
movq %rax, -0x40(%rbp)
movq -0x8(%rbp), %rax
movq 0x168(%rax), %rdi
movq -0x40(%rbp), %rsi
callq 0x3390
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x168(%rax)
movq -0x38(%rbp), %rcx
addq $0x1, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x170(%rax)
movq -0x8(%rbp), %rax
movq 0x168(%rax), %rdi
imulq $0x28, -0x38(%rbp), %rax
addq %rax, %rdi
leaq -0x30(%rbp), %rsi
movl $0x28, %edx
callq 0x3330
movl $0x5, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq 0x170(%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rax
addq $0x1, %rax
movq -0x8(%rbp), %rcx
cmpq 0x178(%rcx), %rax
jbe 0x1d099
movq -0x48(%rbp), %rcx
addq $0x1, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x178(%rax)
movq -0x8(%rbp), %rax
imulq $0x28, 0x178(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x8(%rbp), %rax
movq 0x168(%rax), %rdi
movq -0x50(%rbp), %rsi
callq 0x3390
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x168(%rax)
movq -0x48(%rbp), %rcx
addq $0x1, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x170(%rax)
movq -0x8(%rbp), %rax
movq 0x168(%rax), %rdi
imulq $0x28, -0x48(%rbp), %rax
addq %rax, %rdi
leaq -0x30(%rbp), %rsi
movl $0x28, %edx
callq 0x3330
movl $0x6, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq 0x170(%rax), %rax
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
addq $0x1, %rax
movq -0x8(%rbp), %rcx
cmpq 0x178(%rcx), %rax
jbe 0x1d140
movq -0x58(%rbp), %rcx
addq $0x1, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x178(%rax)
movq -0x8(%rbp), %rax
imulq $0x28, 0x178(%rax), %rax
movq %rax, -0x60(%rbp)
movq -0x8(%rbp), %rax
movq 0x168(%rax), %rdi
movq -0x60(%rbp), %rsi
callq 0x3390
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x168(%rax)
movq -0x58(%rbp), %rcx
addq $0x1, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x170(%rax)
movq -0x8(%rbp), %rax
movq 0x168(%rax), %rdi
imulq $0x28, -0x58(%rbp), %rax
addq %rax, %rdi
leaq -0x30(%rbp), %rsi
movl $0x28, %edx
callq 0x3330
movl $0x8, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq 0x170(%rax), %rax
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rax
addq $0x1, %rax
movq -0x8(%rbp), %rcx
cmpq 0x178(%rcx), %rax
jbe 0x1d1e7
movq -0x68(%rbp), %rcx
addq $0x1, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x178(%rax)
movq -0x8(%rbp), %rax
imulq $0x28, 0x178(%rax), %rax
movq %rax, -0x70(%rbp)
movq -0x8(%rbp), %rax
movq 0x168(%rax), %rdi
movq -0x70(%rbp), %rsi
callq 0x3390
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x168(%rax)
movq -0x68(%rbp), %rcx
addq $0x1, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x170(%rax)
movq -0x8(%rbp), %rax
movq 0x168(%rax), %rdi
imulq $0x28, -0x68(%rbp), %rax
addq %rax, %rdi
leaq -0x30(%rbp), %rsi
movl $0x28, %edx
callq 0x3330
movl $0x9, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq 0x170(%rax), %rax
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rax
addq $0x1, %rax
movq -0x8(%rbp), %rcx
cmpq 0x178(%rcx), %rax
jbe 0x1d28e
movq -0x78(%rbp), %rcx
addq $0x1, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x178(%rax)
movq -0x8(%rbp), %rax
imulq $0x28, 0x178(%rax), %rax
movq %rax, -0x80(%rbp)
movq -0x8(%rbp), %rax
movq 0x168(%rax), %rdi
movq -0x80(%rbp), %rsi
callq 0x3390
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x168(%rax)
movq -0x78(%rbp), %rcx
addq $0x1, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x170(%rax)
movq -0x8(%rbp), %rax
movq 0x168(%rax), %rdi
imulq $0x28, -0x78(%rbp), %rax
addq %rax, %rdi
leaq -0x30(%rbp), %rsi
movl $0x28, %edx
callq 0x3330
movl $0x3, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq 0x170(%rax), %rax
movq %rax, -0x88(%rbp)
movq -0x88(%rbp), %rax
addq $0x1, %rax
movq -0x8(%rbp), %rcx
cmpq 0x178(%rcx), %rax
jbe 0x1d344
movq -0x88(%rbp), %rcx
addq $0x1, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x178(%rax)
movq -0x8(%rbp), %rax
imulq $0x28, 0x178(%rax), %rax
movq %rax, -0x90(%rbp)
movq -0x8(%rbp), %rax
movq 0x168(%rax), %rdi
movq -0x90(%rbp), %rsi
callq 0x3390
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x168(%rax)
movq -0x88(%rbp), %rcx
addq $0x1, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x170(%rax)
movq -0x8(%rbp), %rax
movq 0x168(%rax), %rdi
imulq $0x28, -0x88(%rbp), %rax
addq %rax, %rdi
leaq -0x30(%rbp), %rsi
movl $0x28, %edx
callq 0x3330
movl $0x4, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq 0x170(%rax), %rax
movq %rax, -0x98(%rbp)
movq -0x98(%rbp), %rax
addq $0x1, %rax
movq -0x8(%rbp), %rcx
cmpq 0x178(%rcx), %rax
jbe 0x1d400
movq -0x98(%rbp), %rcx
addq $0x1, %rcx
shlq %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x178(%rax)
movq -0x8(%rbp), %rax
imulq $0x28, 0x178(%rax), %rax
movq %rax, -0xa0(%rbp)
movq -0x8(%rbp), %rax
movq 0x168(%rax), %rdi
movq -0xa0(%rbp), %rsi
callq 0x3390
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x168(%rax)
movq -0x98(%rbp), %rcx
addq $0x1, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x170(%rax)
movq -0x8(%rbp), %rax
movq 0x168(%rax), %rdi
imulq $0x28, -0x98(%rbp), %rax
addq %rax, %rdi
leaq -0x30(%rbp), %rsi
movl $0x28, %edx
callq 0x3330
addq $0xa0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)