// File: /workspace/github_c_makefile_star2_O0/lucvoo[P]sparse-dev/compile-i386.c
// Function: emit_func_post
static void emit_func_post(struct symbol *sym)
{
	const char *name = show_ident(sym->ident);
	struct function *f = current_func;
	int stack_size = f->stack_size;

	if (f->str_list)
		emit_string_list(f);

	/* function prologue */
	emit_section(".text");
	if ((sym->ctype.modifiers & MOD_STATIC) == 0)
		printf(".globl %s\n", name);
	printf("\t.type\t%s, @function\n", name);
	printf("%s:\n", name);

	if (stack_size) {
		char pseudo_const[16];

		sprintf(pseudo_const, "$%d", stack_size);
		printf("\tsubl\t%s, %%esp\n", pseudo_const);
	}

	/* function epilogue */

	/* jump target for 'return' statements */
	emit_label(f->ret_target, NULL);

	if (stack_size) {
		struct storage *val;

		val = new_storage(STOR_VALUE);
		val->value = (long long) (stack_size);
		val->flags = STOR_WANTS_FREE;

		insn("addl", val, REG_ESP, NULL);
	}

	insn("ret", NULL, NULL, NULL);

	/* output everything to stdout */
	fflush(stdout);		/* paranoia; needed? */
	emit_atom_list(f);

	/* function footer */
	name = show_ident(sym->ident);
	printf("\t.size\t%s, .-%s\n", name, name);

	func_cleanup(f);
	current_func = NULL;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rdi
callq 0x314b0
movq %rax, -0x10(%rbp)
movq 0x5dd14(%rip), %rax     # 0xbfdb8
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x1c(%rbp)
movq -0x18(%rbp), %rax
cmpq $0x0, 0x18(%rax)
je 0x620c5
movq -0x18(%rbp), %rdi
callq 0x64420
leaq 0x10be9(%rip), %rdi     # 0x72cb5
callq 0x62ad0
movq -0x8(%rbp), %rax
movq 0x68(%rax), %rax
andq $0x4, %rax
cmpq $0x0, %rax
jne 0x620f5
movq -0x10(%rbp), %rsi
leaq 0x10770(%rip), %rdi     # 0x7285e
movb $0x0, %al
callq 0x11110
movq -0x10(%rbp), %rsi
leaq 0x10bbb(%rip), %rdi     # 0x72cbb
movb $0x0, %al
callq 0x11110
movq -0x10(%rbp), %rsi
leaq 0x53c1(%rip), %rdi      # 0x674d3
movb $0x0, %al
callq 0x11110
cmpl $0x0, -0x1c(%rbp)
je 0x62146
leaq -0x30(%rbp), %rdi
movl -0x1c(%rbp), %edx
leaq 0x10ba4(%rip), %rsi     # 0x72cd1
movb $0x0, %al
callq 0x112f0
leaq -0x30(%rbp), %rsi
leaq 0x10b96(%rip), %rdi     # 0x72cd5
movb $0x0, %al
callq 0x11110
movq -0x18(%rbp), %rax
movl 0x34(%rax), %edi
xorl %eax, %eax
movl %eax, %esi
callq 0x63bd0
cmpl $0x0, -0x1c(%rbp)
je 0x621a4
movl $0x4, %edi
callq 0x63490
movq %rax, -0x38(%rbp)
movslq -0x1c(%rbp), %rcx
movq -0x38(%rbp), %rax
movq %rcx, 0x20(%rax)
movq -0x38(%rbp), %rax
movq $0x2, 0x8(%rax)
movq -0x38(%rbp), %rsi
leaq 0x10b59(%rip), %rdi     # 0x72ce6
leaq 0x306fc(%rip), %rdx     # 0x92890
addq $0x480, %rdx            # imm = 0x480
xorl %eax, %eax
movl %eax, %ecx
callq 0x63500
leaq 0xe5f3(%rip), %rdi      # 0x7079e
xorl %eax, %eax
movl %eax, %ecx
movq %rcx, %rsi
movq %rcx, %rdx
callq 0x63500
movq 0x28e0f(%rip), %rax     # 0x8afd0
movq (%rax), %rdi
callq 0x11240
movq -0x18(%rbp), %rdi
callq 0x64520
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rdi
callq 0x314b0
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rsi
movq -0x10(%rbp), %rdx
leaq 0x10af9(%rip), %rdi     # 0x72ceb
movb $0x0, %al
callq 0x11110
movq -0x18(%rbp), %rdi
callq 0x64660
movq $0x0, 0x5dbab(%rip) # 0xbfdb8
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)