// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_c99_zaC99Stack_rdup
static void mw_mirth_c99_zaC99Stack_rdup (struct mirth_c99_zaC99Stack in_zaC99Stack_1, struct mirth_c99_zaC99Stack *out_zaC99Stack_2, struct mirth_c99_zaC99Stack *out_zaC99Stack_3) {
	struct mirth_c99_zaC99Stack branch_zaC99Stack_4;
	struct mirth_c99_zaC99Stack branch_zaC99Stack_5;
	switch ((in_zaC99Stack_1).tag) {
		case mirth_c99_zaC99Stack_zaNil: {
			struct mirth_c99_zaC99Stack v6 = { .tag=mirth_c99_zaC99Stack_zaNil };
			struct mirth_c99_zaC99Stack v7 = { .tag=mirth_c99_zaC99Stack_zaNil };
			branch_zaC99Stack_5 = v7;
			branch_zaC99Stack_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 mirth_c99_zaC99Stack v10;
			struct mirth_c99_zaC99Stack v11;
			mw_mirth_c99_zaC99Stack_rdup(v8, &v10, &v11);
			struct mirth_c99_zaC99Value* v12;
			struct mirth_c99_zaC99Value* v13;
			mw_mirth_c99_zaC99Value_rdup(v9, &v12, &v13);
			struct mirth_c99_zaC99Stack v14;
			mtw_mirth_c99_zaC99Stack_zaCons(v11, v13, &v14);
			struct mirth_c99_zaC99Stack v15;
			mtw_mirth_c99_zaC99Stack_zaCons(v10, v12, &v15);
			branch_zaC99Stack_5 = v14;
			branch_zaC99Stack_4 = v15;
		} break;
		case mirth_c99_zaC99Stack_zaWith: {
			struct mirth_c99_zaC99Stack v16;
			struct mirth_c99_zaC99Resource* v17;
			mtp_mirth_c99_zaC99Stack_zaWith(in_zaC99Stack_1, &v16, &v17);
			struct mirth_c99_zaC99Stack v18;
			struct mirth_c99_zaC99Stack v19;
			mw_mirth_c99_zaC99Stack_rdup(v16, &v18, &v19);
			struct mirth_c99_zaC99Resource* v20;
			struct mirth_c99_zaC99Resource* v21;
			mw_mirth_c99_zaC99Resource_rdup(v17, &v20, &v21);
			struct mirth_c99_zaC99Stack v22;
			mtw_mirth_c99_zaC99Stack_zaWith(v19, v21, &v22);
			struct mirth_c99_zaC99Stack v23;
			mtw_mirth_c99_zaC99Stack_zaWith(v18, v20, &v23);
			branch_zaC99Stack_5 = v22;
			branch_zaC99Stack_4 = v23;
		} break;
		case mirth_c99_zaC99Stack_zaConsLabel: {
			struct mirth_c99_zaC99Stack v24;
			struct mirth_c99_zaC99Value* v25;
			uint64_t v26 = mtp_mirth_c99_zaC99Stack_zaConsLabel(in_zaC99Stack_1, &v24, &v25);
			struct mirth_c99_zaC99Stack v27;
			struct mirth_c99_zaC99Stack v28;
			mw_mirth_c99_zaC99Stack_rdup(v24, &v27, &v28);
			struct mirth_c99_zaC99Value* v29;
			struct mirth_c99_zaC99Value* v30;
			mw_mirth_c99_zaC99Value_rdup(v25, &v29, &v30);
			struct mirth_c99_zaC99Stack v31;
			mtw_mirth_c99_zaC99Stack_zaConsLabel(v28, v30, v26, &v31);
			struct mirth_c99_zaC99Stack v32;
			mtw_mirth_c99_zaC99Stack_zaConsLabel(v27, v29, v26, &v32);
			branch_zaC99Stack_5 = v31;
			branch_zaC99Stack_4 = v32;
		} break;
		case mirth_c99_zaC99Stack_zaWithLabel: {
			struct mirth_c99_zaC99Stack v33;
			struct mirth_c99_zaC99Resource* v34;
			uint64_t v35 = mtp_mirth_c99_zaC99Stack_zaWithLabel(in_zaC99Stack_1, &v33, &v34);
			struct mirth_c99_zaC99Stack v36;
			struct mirth_c99_zaC99Stack v37;
			mw_mirth_c99_zaC99Stack_rdup(v33, &v36, &v37);
			struct mirth_c99_zaC99Resource* v38;
			struct mirth_c99_zaC99Resource* v39;
			mw_mirth_c99_zaC99Resource_rdup(v34, &v38, &v39);
			struct mirth_c99_zaC99Stack v40;
			mtw_mirth_c99_zaC99Stack_zaWithLabel(v37, v39, v35, &v40);
			struct mirth_c99_zaC99Stack v41;
			mtw_mirth_c99_zaC99Stack_zaWithLabel(v36, v38, v35, &v41);
			branch_zaC99Stack_5 = v40;
			branch_zaC99Stack_4 = v41;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaC99Stack_3 = branch_zaC99Stack_5;
	*out_zaC99Stack_2 = branch_zaC99Stack_4;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
cmpl $0x4, %edi
ja 0xd60b7
movq %rdx, %r14
movl %edi, %eax
leaq 0xa63d(%rip), %rdx      # 0xe04c8
movslq (%rdx,%rax,4), %rax
addq %rdx, %rax
jmpq *%rax
xorps %xmm0, %xmm0
movaps %xmm0, -0x80(%rbp)
movaps %xmm0, -0x70(%rbp)
jmp 0xd6099
movl (%rsi), %ebx
movq %r14, -0x38(%rbp)
movq 0x8(%rsi), %r14
movq 0x10(%rsi), %r13
movq 0x18(%rsi), %r15
movq %rsi, %rdi
movq %rcx, -0x30(%rbp)
callq 0x5030
leaq -0x58(%rbp), %rdx
leaq -0x90(%rbp), %r12
movl %ebx, %edi
movq %r14, %rsi
movq %r12, %rcx
callq 0xd5e65
leaq -0x48(%rbp), %rbx
leaq -0x40(%rbp), %r14
movq %r13, %rdi
movq %rbx, %rsi
movq %r14, %rdx
callq 0xd6e8c
movq (%r14), %rdx
movq -0x38(%rbp), %r14
movl (%r12), %edi
movq 0x8(%r12), %rsi
leaq -0x70(%rbp), %r8
movq %r15, %rcx
callq 0xae80b
movq (%rbx), %rdx
leaq -0x58(%rbp), %rax
movl (%rax), %edi
movq 0x8(%rax), %rsi
leaq -0x80(%rbp), %r8
movq %r15, %rcx
callq 0xae80b
jmp 0xd6095
movl (%rsi), %ebx
movq 0x8(%rsi), %r12
movq 0x10(%rsi), %r13
movq %rsi, %rdi
movq %rcx, -0x30(%rbp)
callq 0x5030
leaq -0x58(%rbp), %rdx
leaq -0x90(%rbp), %r15
movl %ebx, %edi
movq %r12, %rsi
movq %r15, %rcx
callq 0xd5e65
leaq -0x48(%rbp), %rbx
leaq -0x40(%rbp), %r12
movq %r13, %rdi
movq %rbx, %rsi
movq %r12, %rdx
callq 0xd6e8c
movq (%r12), %rdx
movl (%r15), %edi
movq 0x8(%r15), %rsi
leaq -0x70(%rbp), %rcx
callq 0xae79d
movq (%rbx), %rdx
leaq -0x58(%rbp), %rax
movl (%rax), %edi
movq 0x8(%rax), %rsi
leaq -0x80(%rbp), %rcx
callq 0xae79d
jmp 0xd6095
movl (%rsi), %ebx
movq 0x8(%rsi), %r13
movq 0x10(%rsi), %r12
movq 0x18(%rsi), %rax
movq %rax, -0x38(%rbp)
movq %rsi, %rdi
movq %rcx, -0x30(%rbp)
callq 0x5030
leaq -0x58(%rbp), %rdx
movq %r14, %r15
leaq -0x90(%rbp), %r14
movl %ebx, %edi
movq %r13, %rsi
movq %r14, %rcx
callq 0xd5e65
leaq -0x48(%rbp), %rbx
leaq -0x40(%rbp), %r13
movq %r12, %rdi
movq %rbx, %rsi
movq %r13, %rdx
callq 0xd6c60
movq (%r13), %rdx
movl (%r14), %edi
movq 0x8(%r14), %rsi
movq %r15, %r14
leaq -0x70(%rbp), %r8
movq -0x38(%rbp), %r15
movq %r15, %rcx
callq 0xae6b8
movq (%rbx), %rdx
leaq -0x58(%rbp), %rax
movl (%rax), %edi
movq 0x8(%rax), %rsi
leaq -0x80(%rbp), %r8
movq %r15, %rcx
callq 0xae6b8
jmp 0xd6095
movl (%rsi), %r12d
movq 0x8(%rsi), %r13
movq 0x10(%rsi), %r15
movq %rsi, %rdi
movq %rcx, -0x30(%rbp)
callq 0x5030
leaq -0x58(%rbp), %rdx
leaq -0x90(%rbp), %rbx
movl %r12d, %edi
movq %r13, %rsi
movq %rbx, %rcx
callq 0xd5e65
leaq -0x48(%rbp), %r12
leaq -0x40(%rbp), %r13
movq %r15, %rdi
movq %r12, %rsi
movq %r13, %rdx
callq 0xd6c60
movq (%r13), %rdx
movl (%rbx), %edi
movq 0x8(%rbx), %rsi
leaq -0x70(%rbp), %rcx
callq 0xae64a
movq (%r12), %rdx
leaq -0x58(%rbp), %rax
movl (%rax), %edi
movq 0x8(%rax), %rsi
leaq -0x80(%rbp), %rcx
callq 0xae64a
movq -0x30(%rbp), %rcx
movaps -0x70(%rbp), %xmm0
movups %xmm0, (%rcx)
movaps -0x80(%rbp), %xmm0
movups %xmm0, (%r14)
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0xa5fd(%rip), %xmm0     # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0xa602(%rip), %xmm0     # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302