// File: /workspace/github_c_makefile_star2_O3/Ihsoh[P]ilang/compiler/frontend/irgen.c
// Function: fe_irgen_generate
void fe_irgen_generate(IRGeneratorContext *ctx) {
	assert(ctx);
	assert(ctx->psrctx);
	assert(ctx->psrctx->ast);
	assert(ctx->psrctx->ast->type == FE_NODE_MODULE);
	assert(ctx->out);

	_OUT_CSTR(ctx, RSTR_CSTR(ctx->global));

	_ir_module(ctx, ctx->psrctx->ast);

	_OUT_CSTR(ctx, RSTR_CSTR(ctx->head));
	_OUT_CSTR(ctx, RSTR_CSTR(ctx->body));
	_OUT_CSTR(ctx, RSTR_CSTR(ctx->foot));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
testq %rdi, %rdi
je 0xbf32
movq %rdi, %rbx
movq (%rdi), %rax
testq %rax, %rax
je 0xbf51
movq 0x8(%rax), %rax
testq %rax, %rax
je 0xbf70
cmpl $0x100, (%rax)          # imm = 0x100
jne 0xbf8f
movq %rax, -0x30(%rbp)
cmpq $0x0, 0x8(%rbx)
je 0xbfae
movq 0x10(%rbx), %rax
movq 0x8(%rax), %r14
testq %r14, %r14
leaq 0x376cf(%rip), %r12     # 0x42f06
cmoveq %r12, %r14
cmpb $0x0, (%r14)
je 0xb885
xorl %r15d, %r15d
movsbl (%r14,%r15), %edi
movq 0x8(%rbx), %rsi
callq 0x30c0
incq %r15
movq 0x10(%rbx), %rax
movq 0x8(%rax), %r14
testq %r14, %r14
cmoveq %r12, %r14
movq %r14, %rdi
callq 0x3070
cmpq %r15, %rax
ja 0xb844
movq (%rbx), %rax
movq 0x8(%rax), %rax
movq %rax, -0x30(%rbp)
testq %rax, %rax
je 0xbfec
movq -0x30(%rbp), %r14
cmpl $0x100, (%r14)          # imm = 0x100
jne 0xbfcd
cmpl $0x0, 0x44(%r14)
jle 0xbce0
xorl %r13d, %r13d
movq %r14, -0x30(%rbp)
movq 0x48(%r14), %rax
movq (%rax,%r13,8), %rsi
testq %rsi, %rsi
je 0xbdfc
movl (%rsi), %eax
cmpl $0xa00, %eax            # imm = 0xA00
je 0xb983
cmpl $0xd00, %eax            # imm = 0xD00
je 0xb8e5
cmpl $0xc00, %eax            # imm = 0xC00
jne 0xbe1b
movq %rbx, %rdi
callq 0xc259
jmp 0xbcd0
movq %r13, -0x38(%rbp)
movq 0x48(%rsi), %rax
movq (%rax), %r15
cmpl $0x200, (%r15)          # imm = 0x200
jne 0xbe59
movq 0x8(%rax), %r14
movl (%r14), %eax
cmpl $0xd01, %eax            # imm = 0xD01
je 0xb9bc
cmpl $0x900, %eax            # imm = 0x900
movq -0x30(%rbp), %r14
jne 0xbed5
leaq -0x60(%rbp), %r13
movq %r13, %rdi
callq 0x7354
movq %r13, %rdi
movl $0x5f, %esi
callq 0x74da
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
movl 0x4(%rax), %edx
movq %r13, %rdi
callq 0x7577
movq 0x20(%rbx), %rdi
leaq 0x375a0(%rip), %rsi     # 0x42ef5
callq 0x73db
movq 0x20(%rbx), %rdi
movq %r13, %rsi
callq 0x769e
movq 0x20(%rbx), %rdi
leaq 0x3758d(%rip), %rsi     # 0x42efe
callq 0x73db
movq %r13, %rdi
callq 0x7852
jmp 0xba62
movq 0x60(%rsi), %rax
movq %rax, 0x40(%rbx)
testq %rax, %rax
je 0xbe78
movl 0x44(%rsi), %eax
cmpl $0x4, %eax
movq %r13, -0x38(%rbp)
je 0xba6b
cmpl $0x3, %eax
jne 0xbef4
movq 0x48(%rsi), %rcx
leaq 0x10(%rcx), %rax
xorl %edx, %edx
jmp 0xba77
leaq -0x60(%rbp), %r13
movq %r13, %rdi
callq 0x7354
movq %r13, %rdi
movl $0x5f, %esi
callq 0x74da
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
movl 0x4(%rax), %edx
movq %r13, %rdi
callq 0x7577
movq 0x20(%rbx), %rdi
leaq 0x37502(%rip), %rsi     # 0x42ef5
callq 0x73db
movq 0x20(%rbx), %rdi
movq %r13, %rsi
callq 0x769e
movq 0x20(%rbx), %rdi
leaq 0x374f8(%rip), %rsi     # 0x42f07
callq 0x73db
movq %r13, %rdi
callq 0x7852
cmpl $0x0, 0x44(%r14)
jle 0xba4e
xorl %r15d, %r15d
movq 0x48(%r14), %rax
movq (%rax,%r15,8), %rsi
cmpl $0xc00, (%rsi)          # imm = 0xC00
jne 0xbdbe
movq %rbx, %rdi
callq 0xc259
incq %r15
movslq 0x44(%r14), %rax
cmpq %rax, %r15
jl 0xba26
movq 0x20(%rbx), %rdi
leaq 0x374d0(%rip), %rsi     # 0x42f29
callq 0x73db
movq -0x30(%rbp), %r14
movq -0x38(%rbp), %r13
jmp 0xbcd0
movq 0x48(%rsi), %rcx
movq 0x10(%rcx), %rdx
leaq 0x18(%rcx), %rax
movq (%rcx), %r15
cmpl $0x200, (%r15)          # imm = 0x200
jne 0xbe97
movq 0x8(%rcx), %r14
cmpl $0xa01, (%r14)          # imm = 0xA01
jne 0xbe3a
movq %rdx, -0x50(%rbp)
movq (%rax), %rax
movq %rax, -0x40(%rbp)
cmpl $0x0, 0x44(%r14)
jle 0xbabd
movq 0x48(%r14), %rax
movq (%rax), %rax
cmpl $0xa02, (%rax)          # imm = 0xA02
jne 0xbeb6
movq 0x20(%rbx), %rdi
movl $0xa, %esi
callq 0x74da
movq 0x20(%rbx), %rdi
leaq 0x35d83(%rip), %rsi     # 0x41859
callq 0x73db
movq 0x20(%rbx), %rdi
movl $0x20, %esi
callq 0x74da
leaq -0x60(%rbp), %r13
movq %r13, %rdi
callq 0x7354
movq %r13, %rdi
movl $0x5f, %esi
callq 0x74da
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
movl 0x4(%rax), %edx
movq %r13, %rdi
callq 0x7577
movq 0x20(%rbx), %rdi
movq %r13, %rsi
callq 0x769e
movq %r13, %rdi
callq 0x7852
movq 0x20(%rbx), %rdi
leaq 0x38912(%rip), %rsi     # 0x44446
callq 0x73db
movq 0x20(%rbx), %rdi
movq %r14, -0x48(%rbp)
movq %r14, %rsi
callq 0xd55e
movq 0x20(%rbx), %rdi
leaq 0x37eb6(%rip), %rsi     # 0x43a0a
callq 0x73db
movq -0x50(%rbp), %r14
testq %r14, %r14
je 0xbb9b
movq 0x20(%rbx), %rdi
movl $0x3a, %esi
callq 0x74da
leaq -0x70(%rbp), %r15
movq %r15, %rdi
callq 0x7354
movq %r15, %rdi
movq %r14, %rsi
callq 0xc991
movq 0x20(%rbx), %rdi
movq %r15, %rsi
callq 0x769e
movq %r15, %rdi
callq 0x7852
movq 0x20(%rbx), %rdi
movl $0x20, %esi
callq 0x74da
movq -0x40(%rbp), %rax
movl (%rax), %eax
leaq 0x37458(%rip), %rsi     # 0x4300e
cmpl $0x900, %eax            # imm = 0x900
movq -0x38(%rbp), %r13
movq -0x30(%rbp), %r14
je 0xbcb7
cmpl $0xb00, %eax            # imm = 0xB00
jne 0xbf13
movq 0x20(%rbx), %rdi
leaq 0x37328(%rip), %rsi     # 0x42f07
callq 0x73db
movq -0x48(%rbp), %rdx
movl 0x44(%rdx), %eax
testl %eax, %eax
jle 0xbc50
xorl %r15d, %r15d
movq 0x48(%rdx), %rcx
movq (%rcx,%r15,8), %rcx
cmpl $0xa03, (%rcx)          # imm = 0xA03
je 0xbc45
movq %rbx, %r14
movq %r12, %rbx
movq 0x60(%rcx), %r12
cmpb $0x1, 0x48(%r12)
je 0xbddd
movb $0x1, 0x48(%r12)
leaq 0x50(%r12), %r13
movq %r13, %rdi
callq 0x7354
movq 0x8(%r12), %rsi
movq %r13, %rdi
callq 0xd7bb
movq -0x48(%rbp), %rdx
movl 0x44(%rdx), %eax
movq %rbx, %r12
movq %r14, %rbx
incq %r15
movslq %eax, %rcx
cmpq %rcx, %r15
jl 0xbbf2
movq 0x20(%rbx), %r14
callq 0x7745
movq %rax, 0x20(%rbx)
callq 0x7745
movq %rax, 0x30(%rbx)
movq %rbx, %rdi
movq -0x40(%rbp), %rsi
callq 0x127da
movq 0x30(%rbx), %rsi
movq %r14, %rdi
callq 0x769e
movq 0x20(%rbx), %rsi
movq %r14, %rdi
callq 0x769e
movq 0x20(%rbx), %rdi
callq 0x7852
movq %r14, 0x20(%rbx)
movq 0x30(%rbx), %rdi
callq 0x7852
movq $0x0, 0x30(%rbx)
leaq 0x3735d(%rip), %rsi     # 0x4300c
movq -0x30(%rbp), %r14
movq -0x38(%rbp), %r13
movq 0x20(%rbx), %rdi
callq 0x73db
movq 0x20(%rbx), %rdi
leaq 0x37239(%rip), %rsi     # 0x42f04
callq 0x73db
incq %r13
movslq 0x44(%r14), %rax
cmpq %rax, %r13
jl 0xb8a8
movq 0x18(%rbx), %rax
movq 0x8(%rax), %r14
testq %r14, %r14
cmoveq %r12, %r14
cmpb $0x0, (%r14)
je 0xbd25
xorl %r15d, %r15d
movsbl (%r14,%r15), %edi
movq 0x8(%rbx), %rsi
callq 0x30c0
incq %r15
movq 0x18(%rbx), %rax
movq 0x8(%rax), %r14
testq %r14, %r14
cmoveq %r12, %r14
movq %r14, %rdi
callq 0x3070
cmpq %r15, %rax
ja 0xbcf8
movq 0x20(%rbx), %rax
movq 0x8(%rax), %r14
testq %r14, %r14
cmoveq %r12, %r14
cmpb $0x0, (%r14)
je 0xbd6a
xorl %r15d, %r15d
movsbl (%r14,%r15), %edi
movq 0x8(%rbx), %rsi
callq 0x30c0
incq %r15
movq 0x20(%rbx), %rax
movq 0x8(%rax), %r14
testq %r14, %r14
cmoveq %r12, %r14
movq %r14, %rdi
callq 0x3070
cmpq %r15, %rax
ja 0xbd3d
movq 0x28(%rbx), %rax
movq 0x8(%rax), %r14
testq %r14, %r14
cmoveq %r12, %r14
cmpb $0x0, (%r14)
je 0xbdaf
xorl %r15d, %r15d
movsbl (%r14,%r15), %edi
movq 0x8(%rbx), %rsi
callq 0x30c0
incq %r15
movq 0x28(%rbx), %rax
movq 0x8(%rax), %r14
testq %r14, %r14
cmoveq %r12, %r14
movq %r14, %rdi
callq 0x3070
cmpq %r15, %rax
ja 0xbd82
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x37146(%rip), %rdi     # 0x42f0b
leaq 0x35598(%rip), %rsi     # 0x41364
leaq 0x370eb(%rip), %rcx     # 0x42ebe
movl $0xf5a, %edx            # imm = 0xF5A
callq 0x30a0
leaq 0x371fb(%rip), %rdi     # 0x42fdf
leaq 0x35579(%rip), %rsi     # 0x41364
leaq 0x3713b(%rip), %rcx     # 0x42f2d
movl $0x1306, %edx           # imm = 0x1306
callq 0x30a0
leaq 0x36fdf(%rip), %rdi     # 0x42de2
leaq 0x3555a(%rip), %rsi     # 0x41364
leaq 0x35704(%rip), %rcx     # 0x41515
movl $0x1328, %edx           # imm = 0x1328
callq 0x30a0
leaq 0x3353e(%rip), %rdi     # 0x3f360
leaq 0x3553b(%rip), %rsi     # 0x41364
leaq 0x356e5(%rip), %rcx     # 0x41515
movl $0x1338, %edx           # imm = 0x1338
callq 0x30a0
leaq 0x37132(%rip), %rdi     # 0x42f73
leaq 0x3551c(%rip), %rsi     # 0x41364
leaq 0x370de(%rip), %rcx     # 0x42f2d
movl $0x12db, %edx           # imm = 0x12DB
callq 0x30a0
leaq 0x3579a(%rip), %rdi     # 0x415fa
leaq 0x354fd(%rip), %rsi     # 0x41364
leaq 0x37050(%rip), %rcx     # 0x42ebe
movl $0xf44, %edx            # imm = 0xF44
callq 0x30a0
leaq 0x370e3(%rip), %rdi     # 0x42f62
leaq 0x354de(%rip), %rsi     # 0x41364
leaq 0x370a0(%rip), %rcx     # 0x42f2d
movl $0x12c6, %edx           # imm = 0x12C6
callq 0x30a0
leaq 0x3575c(%rip), %rdi     # 0x415fa
leaq 0x354bf(%rip), %rsi     # 0x41364
leaq 0x37081(%rip), %rcx     # 0x42f2d
movl $0x12da, %edx           # imm = 0x12DA
callq 0x30a0
leaq 0x370e4(%rip), %rdi     # 0x42fa1
leaq 0x354a0(%rip), %rsi     # 0x41364
leaq 0x37062(%rip), %rcx     # 0x42f2d
movl $0x12dd, %edx           # imm = 0x12DD
callq 0x30a0
leaq 0x33484(%rip), %rdi     # 0x3f360
leaq 0x35481(%rip), %rsi     # 0x41364
leaq 0x36fd4(%rip), %rcx     # 0x42ebe
movl $0xf61, %edx            # imm = 0xF61
callq 0x30a0
leaq 0x33465(%rip), %rdi     # 0x3f360
leaq 0x35462(%rip), %rsi     # 0x41364
leaq 0x37024(%rip), %rcx     # 0x42f2d
movl $0x12d8, %edx           # imm = 0x12D8
callq 0x30a0
leaq 0x33446(%rip), %rdi     # 0x3f360
leaq 0x35443(%rip), %rsi     # 0x41364
leaq 0x37005(%rip), %rcx     # 0x42f2d
movl $0x1320, %edx           # imm = 0x1320
callq 0x30a0
leaq 0x34e7b(%rip), %rdi     # 0x40db4
leaq 0x35424(%rip), %rsi     # 0x41364
leaq 0x35437(%rip), %rcx     # 0x4137e
movl $0x134c, %edx           # imm = 0x134C
callq 0x30a0
leaq 0x35453(%rip), %rdi     # 0x413ab
leaq 0x35405(%rip), %rsi     # 0x41364
leaq 0x35418(%rip), %rcx     # 0x4137e
movl $0x134d, %edx           # imm = 0x134D
callq 0x30a0
leaq 0x35440(%rip), %rdi     # 0x413b7
leaq 0x353e6(%rip), %rsi     # 0x41364
leaq 0x353f9(%rip), %rcx     # 0x4137e
movl $0x134e, %edx           # imm = 0x134E
callq 0x30a0
leaq 0x35432(%rip), %rdi     # 0x413c8
leaq 0x353c7(%rip), %rsi     # 0x41364
leaq 0x353da(%rip), %rcx     # 0x4137e
movl $0x134f, %edx           # imm = 0x134F
callq 0x30a0
leaq 0x3543c(%rip), %rdi     # 0x413f1
leaq 0x353a8(%rip), %rsi     # 0x41364
leaq 0x353bb(%rip), %rcx     # 0x4137e
movl $0x1350, %edx           # imm = 0x1350
callq 0x30a0
leaq 0x35524(%rip), %rdi     # 0x414f8
leaq 0x35389(%rip), %rsi     # 0x41364
leaq 0x354df(%rip), %rcx     # 0x414c1
movl $0x1341, %edx           # imm = 0x1341
callq 0x30a0
leaq 0x36def(%rip), %rdi     # 0x42de2
leaq 0x3536a(%rip), %rsi     # 0x41364
leaq 0x354c0(%rip), %rcx     # 0x414c1
movl $0x1340, %edx           # imm = 0x1340
callq 0x30a0