// File: /workspace/github_c_makefile_star2_O2/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 0xca6ff
movq %rcx, %r14
movq %rdx, %rbx
movl %edi, %eax
leaq 0xa04a(%rip), %rcx      # 0xd4524
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
xorps %xmm0, %xmm0
movaps %xmm0, -0x60(%rbp)
movaps %xmm0, -0x50(%rbp)
jmp 0xca6e1
leaq -0x90(%rbp), %r12
leaq -0x38(%rbp), %rdx
movq %rsi, %rdi
movq %r12, %rsi
callq 0xa70b2
movq %rax, %r15
movl (%r12), %edi
movq 0x8(%r12), %rsi
leaq -0x70(%rbp), %rdx
leaq -0x80(%rbp), %r13
movq %r13, %rcx
callq 0xca4b1
leaq -0x38(%rbp), %rax
movq (%rax), %rdi
leaq -0x30(%rbp), %rsi
leaq -0x40(%rbp), %r12
movq %r12, %rdx
callq 0xcb427
movq (%r12), %rdx
movl (%r13), %edi
movq 0x8(%r13), %rsi
leaq -0x50(%rbp), %r8
movq %r15, %rcx
callq 0xa4d4f
leaq -0x30(%rbp), %rax
movq (%rax), %rdx
leaq -0x70(%rbp), %rax
movl (%rax), %edi
movq 0x8(%rax), %rsi
leaq -0x60(%rbp), %r8
movq %r15, %rcx
callq 0xa4d4f
jmp 0xca6e1
leaq -0x90(%rbp), %r15
leaq -0x38(%rbp), %r12
movq %rsi, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0xa7079
movl (%r15), %edi
movq 0x8(%r15), %rsi
leaq -0x70(%rbp), %r15
leaq -0x80(%rbp), %r13
movq %r15, %rdx
movq %r13, %rcx
callq 0xca4b1
movq (%r12), %rdi
leaq -0x30(%rbp), %rsi
leaq -0x40(%rbp), %r12
movq %r12, %rdx
callq 0xcb427
movq (%r12), %rdx
movl (%r13), %edi
movq 0x8(%r13), %rsi
leaq -0x50(%rbp), %rcx
callq 0xa4ceb
leaq -0x30(%rbp), %rax
movq (%rax), %rdx
movl (%r15), %edi
movq 0x8(%r15), %rsi
leaq -0x60(%rbp), %rcx
callq 0xa4ceb
jmp 0xca6e1
leaq -0x90(%rbp), %r12
leaq -0x38(%rbp), %rdx
movq %rsi, %rdi
movq %r12, %rsi
callq 0xa70f6
movq %rax, %r15
movl (%r12), %edi
movq 0x8(%r12), %rsi
leaq -0x70(%rbp), %rdx
leaq -0x80(%rbp), %r13
movq %r13, %rcx
callq 0xca4b1
leaq -0x38(%rbp), %rax
movq (%rax), %rdi
leaq -0x30(%rbp), %rsi
leaq -0x40(%rbp), %r12
movq %r12, %rdx
callq 0xcb236
movq (%r12), %rdx
movl (%r13), %edi
movq 0x8(%r13), %rsi
leaq -0x50(%rbp), %r8
movq %r15, %rcx
callq 0xa4be1
leaq -0x30(%rbp), %rax
movq (%rax), %rdx
leaq -0x70(%rbp), %rax
movl (%rax), %edi
movq 0x8(%rax), %rsi
leaq -0x60(%rbp), %r8
movq %r15, %rcx
callq 0xa4be1
jmp 0xca6e1
leaq -0x90(%rbp), %r15
leaq -0x38(%rbp), %r12
movq %rsi, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0xa7040
movl (%r15), %edi
movq 0x8(%r15), %rsi
leaq -0x70(%rbp), %r15
leaq -0x80(%rbp), %r13
movq %r15, %rdx
movq %r13, %rcx
callq 0xca4b1
movq (%r12), %rdi
leaq -0x30(%rbp), %rsi
leaq -0x40(%rbp), %r12
movq %r12, %rdx
callq 0xcb236
movq (%r12), %rdx
movl (%r13), %edi
movq 0x8(%r13), %rsi
leaq -0x50(%rbp), %rcx
callq 0xa4b7d
leaq -0x30(%rbp), %rax
movq (%rax), %rdx
movl (%r15), %edi
movq 0x8(%r15), %rsi
leaq -0x60(%rbp), %rcx
callq 0xa4b7d
movaps -0x50(%rbp), %xmm0
movups %xmm0, (%r14)
movaps -0x60(%rbp), %xmm0
movups %xmm0, (%rbx)
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xa107(%rip), %rdi      # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6