// File: /workspace/github_c_makefile_star2_O2/yutopp[P]cc/asm_x86_64.c
// Function: asm_x86_64_new
ASM_X86_64* asm_x86_64_new(IRModule* m) {
    ASM_X86_64* a = (ASM_X86_64*)malloc(sizeof(ASM_X86_64));
    a->insts = vector_new(sizeof(ASM_X86_64_Inst));
    a->values = vector_new(sizeof(ASM_X86_64_Var));
    a->global_values = vector_new(sizeof(ASM_X86_64_Var));
    a->offsets = vector_new(sizeof(size_t));
    a->string_label_count = 0;
    a->code_label_count = 0;
    a->labels = uint_map_new(sizeof(char const*), NULL);

    built_from_ir(a, m);

    return a;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movq %rdi, %r15
pushq $0x38
popq %rdi
callq 0x1160
movq %rax, %r14
pushq $0x70
popq %rdi
callq 0x2898
movq %rax, 0x20(%rsp)
movq %rax, (%r14)
pushq $0x20
popq %rbx
movq %rbx, %rdi
callq 0x2898
movq %rax, 0x8(%r14)
movq %rbx, %rdi
callq 0x2898
movq %rax, 0x10(%r14)
pushq $0x8
popq %rbx
movq %rbx, %rdi
callq 0x2898
movq %rax, 0x18(%r14)
xorps %xmm0, %xmm0
movups %xmm0, 0x20(%r14)
movq %rbx, %rdi
movq %r15, %rbx
xorl %esi, %esi
callq 0x571c
movq %rax, 0x30(%r14)
leaq 0x28(%rsp), %r15
pushq $0xa
popq %r12
movq $0x0, 0x40(%rsp)
xorl %r13d, %r13d
movq %rbx, 0x48(%rsp)
movq (%rbx), %rdi
callq 0x29db
cmpq %rax, %r13
jae 0x44e9
movq (%rbx), %rdi
movq %r13, %rsi
callq 0x29c6
cmpl $0x0, (%rax)
jne 0x46f0
movq %rax, %rbx
movq 0x8(%rax), %rbp
movl 0x10(%rax), %edx
cmpl $0x1, %edx
je 0x43e6
testl %edx, %edx
jne 0x470f
andl $0x0, 0x28(%rsp)
movq 0x18(%rbx), %rax
movq %rax, 0x30(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x28(%rsp), %xmm0
movups %xmm0, (%rsp)
movq %r14, %rdi
movq %rbp, %rsi
pushq $0x1
popq %rdx
callq 0x4c98
movq 0x6c01(%rip), %rbx      # 0xafd8
movq (%rbx), %rdi
leaq 0x2810(%rip), %rsi      # 0x6bf1
jmp 0x44bc
movq %r13, 0x50(%rsp)
pushq $0xa
popq %r13
movq %r13, %rdi
callq 0x1160
movq %rax, %r15
movq %rax, %rdi
movq %r13, %rsi
leaq 0x27f8(%rip), %rdx      # 0x6bff
movq 0x40(%rsp), %r12
movq %r12, %rcx
xorl %eax, %eax
callq 0x10c0
incq %r12
movq %r12, 0x40(%rsp)
movq %r12, 0x20(%r14)
movq 0x20(%rsp), %rdi
callq 0x2982
andl $0x0, (%rax)
leaq 0x27d1(%rip), %rcx      # 0x6c07
movq %rcx, 0x8(%rax)
movq (%r14), %r13
movq %r13, %rdi
callq 0x2982
movl $0x5, (%rax)
movq %r15, 0x8(%rax)
pushq $0x1
popq %r12
movl %r12d, 0x10(%rax)
movq %r13, 0x20(%rsp)
movq %r13, %rdi
movq 0x50(%rsp), %r13
callq 0x2982
movl %r12d, (%rax)
movq 0x18(%rbx), %rcx
movq %rcx, 0x8(%rax)
movl $0x2, 0x28(%rsp)
movq %r15, 0x30(%rsp)
leaq 0x28(%rsp), %r15
movq 0x38(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x28(%rsp), %xmm0
movups %xmm0, (%rsp)
movq %r14, %rdi
movq %rbp, %rsi
movl %r12d, %edx
pushq $0xa
popq %r12
callq 0x4c98
movq 0x6b26(%rip), %rbx      # 0xafd8
movq (%rbx), %rdi
leaq 0x2753(%rip), %rsi      # 0x6c0f
movq %rbp, %rdx
xorl %eax, %eax
callq 0x1120
movq (%rbx), %rdi
movq %r15, %rsi
callq 0x4b2f
movq (%rbx), %rsi
movl %r12d, %edi
callq 0x10f0
incq %r13
movq 0x48(%rsp), %rbx
jmp 0x4365
leaq 0x280f(%rip), %r15      # 0x6cff
xorl %r12d, %r12d
movq 0x8(%rbx), %rdi
callq 0x29db
cmpq %rax, %r12
jae 0x46a0
movq 0x8(%rbx), %rdi
movq %r12, 0x20(%rsp)
movq %r12, %rsi
callq 0x29c6
movq %rax, %r12
movq (%r14), %rdi
callq 0x2982
pushq $0x2
popq %rbx
movl %ebx, (%rax)
movq (%r14), %rdi
callq 0x2982
pushq $0x3
popq %rbp
movl %ebp, (%rax)
movq (%r12), %rcx
movq %rcx, 0x8(%rax)
movq (%r14), %rdi
callq 0x2982
pushq $0x4
popq %r13
movl %r13d, (%rax)
movq (%r12), %rcx
movq %rcx, 0x8(%rax)
leaq 0x271b(%rip), %rcx      # 0x6c74
movq %rcx, 0x10(%rax)
movq (%r14), %rdi
callq 0x2982
pushq $0x5
popq %rbx
movl %ebx, (%rax)
movq (%r12), %rcx
movq %rcx, 0x8(%rax)
andl $0x0, 0x10(%rax)
movq (%r14), %rdi
callq 0x2982
pushq $0x6
popq %r13
movl %r13d, (%rax)
andl $0x0, 0x8(%rax)
movl %ebp, 0x10(%rax)
movl %ebx, 0x18(%rax)
movq (%r14), %rdi
callq 0x2982
movl %r13d, (%rax)
pushq $0x2
popq %rcx
movl %ecx, 0x8(%rax)
movl %ebp, 0x10(%rax)
movl %ebx, 0x18(%rax)
movl %ebp, 0x28(%rax)
pushq $0x4
popq %rcx
movl %ecx, 0x30(%rax)
xorl %ebx, %ebx
xorl %r13d, %r13d
movq 0x28(%r12), %rdi
callq 0x29db
cmpq %rax, %rbx
jae 0x4633
movq 0x28(%r12), %rdi
movq %rbx, %rsi
callq 0x29c6
movq %rax, %rbp
movq 0x18(%r14), %rdi
callq 0x29db
cmpq %rbx, %rax
ja 0x45f4
movq 0x18(%r14), %rdi
callq 0x2982
testq %rax, %rax
jne 0x45d3
jmp 0x46b2
movq 0x69dd(%rip), %rax      # 0xafd8
movq (%rax), %rdi
movq %r15, %rsi
movq %rbx, %rdx
movq %r13, %rcx
xorl %eax, %eax
callq 0x1120
movq 0x18(%r14), %rdi
movq %rbx, %rsi
callq 0x29c6
movq %r13, (%rax)
movq (%rbp), %rax
cmpq $0x11, %rax
jae 0x46d1
addq %rax, %r13
incq %rbx
jmp 0x45b4
testq %r13, %r13
je 0x4666
movq (%r14), %rdi
callq 0x2982
movl $0x6, (%rax)
movl $0x5, 0x8(%rax)
movl $0x3, 0x10(%rax)
movl $0x4, 0x18(%rax)
movl $0x1, 0x28(%rax)
movl %r13d, 0x30(%rax)
movq 0x18(%r12), %rdi
leaq 0x6d3(%rip), %rsi       # 0x4d45
movq %r14, %rdx
callq 0x55de
movq 0x18(%r12), %rdi
leaq 0x717(%rip), %rsi       # 0x4d9d
movq %r14, %rdx
callq 0x55de
movq 0x20(%rsp), %r12
incq %r12
movq 0x48(%rsp), %rbx
jmp 0x44f3
movq %r14, %rax
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1997(%rip), %rdi      # 0x6050
leaq 0x23fb(%rip), %rsi      # 0x6abb
leaq 0x25fc(%rip), %rcx      # 0x6cc3
movl $0xe5, %edx
callq 0x10d0
leaq 0x25a6(%rip), %rdi      # 0x6c7e
leaq 0x23dc(%rip), %rsi      # 0x6abb
leaq 0x25a5(%rip), %rcx      # 0x6c8b
movl $0x20b, %edx            # imm = 0x20B
callq 0x10d0
leaq 0x24a4(%rip), %rdi      # 0x6b9b
leaq 0x23bd(%rip), %rsi      # 0x6abb
leaq 0x24b5(%rip), %rcx      # 0x6bba
movl $0x373, %edx            # imm = 0x373
callq 0x10d0
movq 0x68e2(%rip), %rax      # 0xaff8
movq (%rax), %rdi
leaq 0x2439(%rip), %rsi      # 0x6b59
xorl %eax, %eax
callq 0x1120
leaq 0x2110(%rip), %rdi      # 0x683e
leaq 0x2386(%rip), %rsi      # 0x6abb
leaq 0x247e(%rip), %rcx      # 0x6bba
movl $0x3ba, %edx            # imm = 0x3BA
callq 0x10d0