// File: /workspace/github_c_makefile_star2_O3/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 $0x48, %rsp
cmpl $0x4, %edi
ja 0xb2c1b
movq %rcx, %r14
movq %rdx, %rbx
movl %edi, %eax
leaq 0x2d4c9(%rip), %rcx     # 0xdffa0
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
xorps %xmm0, %xmm0
movaps %xmm0, -0x60(%rbp)
movaps %xmm0, -0x50(%rbp)
jmp 0xb2bfd
movl (%rsi), %r15d
movq 0x8(%rsi), %r12
movq 0x10(%rsi), %rax
movq %rax, -0x30(%rbp)
movq 0x18(%rsi), %rax
movq %rax, -0x38(%rbp)
movq %rsi, %rdi
callq 0x5030
leaq -0x60(%rbp), %rdx
leaq -0x70(%rbp), %r13
movl %r15d, %edi
movq %r12, %rsi
movq %r13, %rcx
callq 0xb2aae
movl (%r13), %edi
movq 0x8(%r13), %rsi
leaq -0x50(%rbp), %r8
movq -0x30(%rbp), %rdx
movq -0x38(%rbp), %rcx
callq 0xae80b
jmp 0xb2bfd
movl (%rsi), %r15d
movq 0x8(%rsi), %r12
movq 0x10(%rsi), %rax
movq %rax, -0x30(%rbp)
movq %rsi, %rdi
callq 0x5030
leaq -0x60(%rbp), %rdx
leaq -0x70(%rbp), %r13
movl %r15d, %edi
movq %r12, %rsi
movq %r13, %rcx
callq 0xb2aae
movl (%r13), %edi
movq 0x8(%r13), %rsi
leaq -0x50(%rbp), %rcx
movq -0x30(%rbp), %rdx
callq 0xae79d
jmp 0xb2bfd
movl (%rsi), %r15d
movq 0x8(%rsi), %r12
movq 0x10(%rsi), %rax
movq %rax, -0x30(%rbp)
movq 0x18(%rsi), %rax
movq %rax, -0x38(%rbp)
movq %rsi, %rdi
callq 0x5030
leaq -0x60(%rbp), %rdx
leaq -0x70(%rbp), %r13
movl %r15d, %edi
movq %r12, %rsi
movq %r13, %rcx
callq 0xb2aae
movl (%r13), %edi
movq 0x8(%r13), %rsi
leaq -0x50(%rbp), %r8
movq -0x30(%rbp), %rdx
movq -0x38(%rbp), %rcx
callq 0xae6b8
jmp 0xb2bfd
movups (%rsi), %xmm0
movaps %xmm0, -0x50(%rbp)
movq 0x10(%rsi), %r15
movq %rsi, %rdi
callq 0x5030
leaq 0x605bf(%rip), %rsi     # 0x1131b0
leaq -0x60(%rbp), %rdx
movq %r15, %rdi
callq 0x790e7
movaps -0x50(%rbp), %xmm0
movups %xmm0, (%r14)
movaps -0x60(%rbp), %xmm0
movups %xmm0, (%rbx)
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0x2da99(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0x2da9e(%rip), %xmm0    # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302