// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_c99_zaC99Stack_popzevaluezy
static void mw_mirth_c99_zaC99Stack_popzevaluezy (struct mirth_c99_zaC99Stack in_zaC99Stack_1, struct std_maybe_zaMaybe_1 *out_zaMaybe_2, struct mirth_c99_zaC99Stack *out_zaC99Stack_3) {
	struct std_maybe_zaMaybe_1 branch_zaMaybe_4;
	struct mirth_c99_zaC99Stack branch_zaC99Stack_5;
	switch ((in_zaC99Stack_1).tag) {
		case mirth_c99_zaC99Stack_zaNil: {
			struct std_maybe_zaMaybe_1 v6 = { .tag=std_maybe_zaMaybe_1_zaNone };
			struct mirth_c99_zaC99Stack v7 = { .tag=mirth_c99_zaC99Stack_zaNil };
			branch_zaC99Stack_5 = v7;
			branch_zaMaybe_4 = v6;
		} break;
		case mirth_c99_zaC99Stack_zaCons: {
			struct mirth_c99_zaC99Stack v8;
			struct mirth_c99_zaC99Value* v9;
			mtp_mirth_c99_zaC99Stack_zaCons(in_zaC99Stack_1, &v8, &v9);
			struct std_maybe_zaMaybe_1 v10;
			mtw_std_maybe_zaMaybe_1_zaSome(MK_mirth_c99_zaC99Value(v9), &v10);
			branch_zaC99Stack_5 = v8;
			branch_zaMaybe_4 = v10;
		} break;
		case mirth_c99_zaC99Stack_zaWith: {
			struct mirth_c99_zaC99Stack v11;
			struct mirth_c99_zaC99Resource* v12;
			mtp_mirth_c99_zaC99Stack_zaWith(in_zaC99Stack_1, &v11, &v12);
			struct std_maybe_zaMaybe_1 v13;
			struct mirth_c99_zaC99Stack v14;
			mw_mirth_c99_zaC99Stack_popzevaluezy(v11, &v13, &v14);
			struct mirth_c99_zaC99Stack v15;
			mtw_mirth_c99_zaC99Stack_zaWith(v14, v12, &v15);
			branch_zaC99Stack_5 = v15;
			branch_zaMaybe_4 = v13;
		} break;
		case mirth_c99_zaC99Stack_zaConsLabel: {
			struct mirth_c99_zaC99Stack v16;
			struct mirth_c99_zaC99Value* v17;
			uint64_t v18 = mtp_mirth_c99_zaC99Stack_zaConsLabel(in_zaC99Stack_1, &v16, &v17);
			struct std_maybe_zaMaybe_1 v19;
			struct mirth_c99_zaC99Stack v20;
			mw_mirth_c99_zaC99Stack_popzevaluezy(v16, &v19, &v20);
			struct mirth_c99_zaC99Stack v21;
			mtw_mirth_c99_zaC99Stack_zaConsLabel(v20, v17, v18, &v21);
			branch_zaC99Stack_5 = v21;
			branch_zaMaybe_4 = v19;
		} break;
		case mirth_c99_zaC99Stack_zaWithLabel: {
			struct mirth_c99_zaC99Stack v22;
			struct mirth_c99_zaC99Resource* v23;
			uint64_t v24 = mtp_mirth_c99_zaC99Stack_zaWithLabel(in_zaC99Stack_1, &v22, &v23);
			struct std_maybe_zaMaybe_1 v25;
			struct mirth_c99_zaC99Stack v26;
			mw_mirth_c99_zaC99Stack_popzevaluezy(v22, &v25, &v26);
			struct mirth_c99_zaC99Stack v27;
			mtw_mirth_c99_zaC99Stack_zaWithLabel(v26, v23, v24, &v27);
			branch_zaC99Stack_5 = v27;
			branch_zaMaybe_4 = v25;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaC99Stack_3 = branch_zaC99Stack_5;
	*out_zaMaybe_2 = branch_zaMaybe_4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
cmpl $0x4, %edi
ja 0xa89e2
movq %rcx, %r14
movq %rdx, %rbx
movl %edi, %eax
leaq 0x2b716(%rip), %rcx     # 0xd3fc0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
xorps %xmm0, %xmm0
movaps %xmm0, -0x50(%rbp)
movaps %xmm0, -0x40(%rbp)
jmp 0xa89c4
leaq -0x68(%rbp), %r15
leaq -0x58(%rbp), %r12
movq %rsi, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0xa70b2
movq %rax, %r13
movl (%r15), %edi
movq 0x8(%r15), %rsi
leaq -0x50(%rbp), %rdx
leaq -0x78(%rbp), %r15
movq %r15, %rcx
callq 0xa8881
movq (%r12), %rdx
movl (%r15), %edi
movq 0x8(%r15), %rsi
leaq -0x40(%rbp), %r8
movq %r13, %rcx
callq 0xa4d4f
jmp 0xa89c4
leaq -0x68(%rbp), %r15
leaq -0x58(%rbp), %r12
movq %rsi, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0xa7079
movl (%r15), %edi
movq 0x8(%r15), %rsi
leaq -0x50(%rbp), %rdx
leaq -0x78(%rbp), %r15
movq %r15, %rcx
callq 0xa8881
movq (%r12), %rdx
movl (%r15), %edi
movq 0x8(%r15), %rsi
leaq -0x40(%rbp), %rcx
callq 0xa4ceb
jmp 0xa89c4
leaq -0x68(%rbp), %r15
leaq -0x58(%rbp), %r12
movq %rsi, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0xa70f6
movq %rax, %r13
movl (%r15), %edi
movq 0x8(%r15), %rsi
leaq -0x50(%rbp), %rdx
leaq -0x78(%rbp), %r15
movq %r15, %rcx
callq 0xa8881
movq (%r12), %rdx
movl (%r15), %edi
movq 0x8(%r15), %rsi
leaq -0x40(%rbp), %r8
movq %r13, %rcx
callq 0xa4be1
jmp 0xa89c4
leaq -0x40(%rbp), %rax
leaq -0x68(%rbp), %r15
movq %rsi, %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0xa7040
movq (%r15), %rdi
leaq 0x617f5(%rip), %rsi     # 0x10a1b0
leaq -0x50(%rbp), %rdx
callq 0x726ad
movaps -0x40(%rbp), %xmm0
movups %xmm0, (%r14)
movaps -0x50(%rbp), %xmm0
movups %xmm0, (%rbx)
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x2be24(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6