// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_zaAB_elabzeldropzx
static void mw_mirth_elab_zaAB_elabzeldropzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_arrow_Arrow* in_zaAB_2, struct mirth_mirth_zaMirth* *out_zaMirth_3, struct mirth_arrow_Arrow* *out_zaAB_4) {
	struct mirth_arrow_Arrow* v5;
	uint64_t v6 = mw_mirth_elab_zaAB_abzetokenzo(in_zaAB_2, &v5);
	struct mirth_mirth_zaMirth* v7;
	INT v8 = mw_mirth_token_Token_numzeargs(in_zaMirth_1, v6, &v7);
	INT v9 = WRAP_I63(0LL);
	INT v10 = v8;
	INT v11 = v9;
	bool v12 = int_lt(v11, v10);
	struct mirth_arrow_Arrow* branch_zaAB_13;
	struct mirth_mirth_zaMirth* branch_zaMirth_14;
	struct std_list_List_1 branch_List_15;
	if (v12) {
		struct mirth_mirth_zaMirth* v16;
		uint64_t v17 = mw_mirth_token_Token_argsze1(v7, v6, &v16);
		struct mirth_mirth_zaMirth* v18;
		struct std_list_List_1 v19 = mw_mirth_mirth_zaMirth_parsezelabelzenames(v16, v17, &v18);
		branch_List_15 = v19;
		branch_zaMirth_14 = v18;
		branch_zaAB_13 = v5;
	} else {
		struct mirth_mirth_zaMirth* v20;
		mw_mirth_token_Token_argsze0(v7, v6, &v20);
		struct mirth_arrow_Arrow* v21;
		struct mirth_type_StackType v22 = mw_mirth_elab_zaAB_abzetypezo(v5, &v21);
		struct mirth_mirth_zaMirth* v23;
		struct std_list_List_1 v24 = mw_mirth_type_StackType_labelzenames(v20, v22, &v23);
		struct std_list_List_1 v25 = mw_std_list_List_1_unique_sp1(v24);
		branch_List_15 = v25;
		branch_zaMirth_14 = v23;
		branch_zaAB_13 = v21;
	}
	bool v26 = true;
	struct mirth_arrow_Arrow* r27 = branch_zaAB_13;
	struct mirth_mirth_zaMirth* r28 = branch_zaMirth_14;
	struct std_list_List_1 v29 = branch_List_15;
	bool v30 = v26;
	bool v31 = v26;
	while (v31) {
		struct mirth_arrow_Arrow* r32 = r27;
		struct mirth_mirth_zaMirth* r33 = r28;
		struct std_list_List_1 v34 = v29;
		bool v35 = v30;
		struct mirth_arrow_Arrow* branch_zaAB_36;
		struct mirth_mirth_zaMirth* branch_zaMirth_37;
		struct std_list_List_1 branch_List_38;
		bool branch_Bool_39;
		switch ((v34).tag) {
			case std_list_List_1_Cons: {
				struct std_list_List_1 v40;
				VAL v41 = mtp_std_list_List_1_Cons(v34, &v40);
				incref(v41);
				struct mirth_mirth_zaMirth* v42;
				bool v43 = mw_mirth_label_Label_iszeresourcezelabelzy(r33, V_mirth_label_Label(v41), &v42);
				struct mirth_mirth_zaMirth* branch_zaMirth_44;
				struct mirth_arrow_Arrow* branch_zaAB_45;
				if (v43) {
					struct mirth_mirth_zaMirth* v46;
					struct mirth_arrow_Arrow* v47;
					mw_mirth_elab_zaAB_abzelabelzepopzerzx(v42, r32, V_mirth_label_Label(v41), &v46, &v47);
					struct std_list_List_1 v48 = { .tag=std_list_List_1_Nil };
					STR* v49;
					STRLIT(v49, "rdrop", 5);
					struct mirth_mirth_zaMirth* v50;
					uint64_t v51 = mw_mirth_name_Name_Name(v46, v49, &v50);
					struct mirth_mirth_zaMirth* v52;
					struct mirth_arrow_Arrow* v53;
					mw_mirth_elab_zaAB_abzermethodzx(v50, v47, v48, v51, &v52, &v53);
					branch_zaAB_45 = v53;
					branch_zaMirth_44 = v52;
				} else {
					struct mirth_mirth_zaMirth* v54;
					struct mirth_arrow_Arrow* v55;
					mw_mirth_elab_zaAB_abzelabelzepopzx(v42, r32, V_mirth_label_Label(v41), &v54, &v55);
					struct std_list_List_1 v56 = { .tag=std_list_List_1_Nil };
					enum mirth_prim_Prim v57 = mirth_prim_Prim_Drop;
					struct mirth_mirth_zaMirth* v58;
					struct mirth_arrow_Arrow* v59;
					mw_mirth_elab_zaAB_abzeprimzx(v54, v55, v56, v57, &v58, &v59);
					branch_zaAB_45 = v59;
					branch_zaMirth_44 = v58;
				}
				bool v60 = true;
				branch_Bool_39 = v60;
				branch_List_38 = v40;
				branch_zaMirth_37 = branch_zaMirth_44;
				branch_zaAB_36 = branch_zaAB_45;
			} break;
			case std_list_List_1_Nil: {
				struct std_list_List_1 v61 = { .tag=std_list_List_1_Nil };
				bool v62 = false;
				branch_Bool_39 = v62;
				branch_List_38 = v61;
				branch_zaMirth_37 = r33;
				branch_zaAB_36 = r32;
			} break;
			default: {
				do_panic(str_make("unexpected fallthrough in match\n", 32));
			}
		}
		v31 = branch_Bool_39;
		v30 = branch_Bool_39;
		v29 = branch_List_38;
		r28 = branch_zaMirth_37;
		r27 = branch_zaAB_36;
	}
	decref(MK_std_list_List_1(v29));
	*out_zaAB_4 = r27;
	*out_zaMirth_3 = r28;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x2f0, %rsp            # imm = 0x2F0
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq -0x10(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0xe0b80
movq %rax, -0x30(%rbp)
movq -0x8(%rbp), %rdi
movq -0x30(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0x78f50
movq %rax, -0x40(%rbp)
movq 0x1b2328(%rip), %rax    # 0x36ea50
movq %rax, -0x48(%rbp)
movq -0x40(%rbp), %rax
movq %rax, -0x50(%rbp)
movq -0x48(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rdi
movq -0x50(%rbp), %rsi
callq 0xae20
andb $0x1, %al
movb %al, -0x59(%rbp)
testb $0x1, -0x59(%rbp)
je 0x1bc7c4
movq -0x38(%rbp), %rdi
movq -0x30(%rbp), %rsi
leaq -0x88(%rbp), %rdx
callq 0xa8660
movq %rax, -0x90(%rbp)
movq -0x88(%rbp), %rdi
movq -0x90(%rbp), %rsi
leaq -0x98(%rbp), %rdx
callq 0x1bbab0
movl %eax, -0xa8(%rbp)
movq %rdx, -0xa0(%rbp)
movq -0xa8(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0xa0(%rbp), %rax
movq %rax, -0x78(%rbp)
movq -0x98(%rbp), %rax
movq %rax, -0x70(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x68(%rbp)
jmp 0x1bc86d
movq -0x38(%rbp), %rdi
movq -0x30(%rbp), %rsi
leaq -0xb0(%rbp), %rdx
callq 0x78300
movq -0x28(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
callq 0xe0ff0
movl %eax, -0xc8(%rbp)
movq %rdx, -0xc0(%rbp)
movq -0xb0(%rbp), %rdi
movl -0xc8(%rbp), %esi
movq -0xc0(%rbp), %rdx
leaq -0xd0(%rbp), %rcx
callq 0x1b9230
movl %eax, -0xe0(%rbp)
movq %rdx, -0xd8(%rbp)
movl -0xe0(%rbp), %edi
movq -0xd8(%rbp), %rsi
callq 0x1ba320
movl %eax, -0xf0(%rbp)
movq %rdx, -0xe8(%rbp)
movq -0xf0(%rbp), %rax
movq %rax, -0x80(%rbp)
movq -0xe8(%rbp), %rax
movq %rax, -0x78(%rbp)
movq -0xd0(%rbp), %rax
movq %rax, -0x70(%rbp)
movq -0xb8(%rbp), %rax
movq %rax, -0x68(%rbp)
movb $0x1, -0xf1(%rbp)
movq -0x68(%rbp), %rax
movq %rax, -0x100(%rbp)
movq -0x70(%rbp), %rax
movq %rax, -0x108(%rbp)
movq -0x80(%rbp), %rax
movq %rax, -0x118(%rbp)
movq -0x78(%rbp), %rax
movq %rax, -0x110(%rbp)
movb -0xf1(%rbp), %al
andb $0x1, %al
movb %al, -0x119(%rbp)
movb -0xf1(%rbp), %al
andb $0x1, %al
movb %al, -0x11a(%rbp)
testb $0x1, -0x11a(%rbp)
je 0x1bcd4d
movq -0x100(%rbp), %rax
movq %rax, -0x128(%rbp)
movq -0x108(%rbp), %rax
movq %rax, -0x130(%rbp)
movups -0x118(%rbp), %xmm0
movaps %xmm0, -0x140(%rbp)
movb -0x119(%rbp), %al
andb $0x1, %al
movb %al, -0x141(%rbp)
movl -0x140(%rbp), %eax
movl %eax, -0x2e4(%rbp)
testl %eax, %eax
je 0x1bcc79
jmp 0x1bc917
movl -0x2e4(%rbp), %eax
subl $0x1, %eax
jne 0x1bccdb
jmp 0x1bc928
movl -0x140(%rbp), %edi
movq -0x138(%rbp), %rsi
leaq -0x180(%rbp), %rdx
callq 0x125e0
movq %rax, -0x190(%rbp)
movq %rdx, -0x188(%rbp)
movq -0x188(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1bc9a0
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x190(%rbp), %rax
cmpq $0x0, %rax
je 0x1bc9a0
movq -0x190(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1bc9a0
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x190(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1bc9a2
movq -0x130(%rbp), %rdi
movq -0x190(%rbp), %rsi
leaq -0x198(%rbp), %rdx
callq 0xd2720
andb $0x1, %al
movb %al, -0x199(%rbp)
testb $0x1, -0x199(%rbp)
je 0x1bcb90
movq -0x198(%rbp), %rdi
movq -0x128(%rbp), %rsi
movq -0x190(%rbp), %rdx
leaq -0x1b8(%rbp), %rcx
leaq -0x1c0(%rbp), %r8
callq 0x110f40
leaq -0x1d0(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
cmpq $0x0, 0x11d9b4c(%rip)   # 0x1396560
jne 0x1bca2e
leaq 0x19f41e(%rip), %rdi    # 0x35be3b
movl $0x5, %esi
callq 0xb6c0
movq %rax, 0x11d9b32(%rip)   # 0x1396560
jmp 0x1bca30
movq 0x11d9b29(%rip), %rax   # 0x1396560
movq %rax, -0x1e8(%rbp)
leaq 0x1d4713(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x1e0(%rbp)
movq -0x1e0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1bcb05
movq 0x11d9af4(%rip), %rax   # 0x1396560
movq %rax, -0x1f8(%rbp)
leaq 0x1d46de(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x1f0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1f8(%rbp), %rax
cmpq $0x0, %rax
je 0x1bcb05
movq 0x11d9abd(%rip), %rax   # 0x1396560
movq %rax, -0x208(%rbp)
leaq 0x1d46a7(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x200(%rbp)
movq -0x208(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1bcb05
movq 0x11d9a8c(%rip), %rax   # 0x1396560
movq %rax, -0x218(%rbp)
leaq 0x1d4676(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x210(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x218(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1bcb07
movq 0x11d9a52(%rip), %rax   # 0x1396560
movq %rax, -0x1d8(%rbp)
movq -0x1b8(%rbp), %rdi
movq -0x1d8(%rbp), %rsi
leaq -0x220(%rbp), %rdx
callq 0x3ed80
movq %rax, -0x228(%rbp)
movq -0x220(%rbp), %rdi
movq -0x1c0(%rbp), %rsi
movq -0x228(%rbp), %r8
movl -0x1d0(%rbp), %edx
movq -0x1c8(%rbp), %rcx
leaq -0x230(%rbp), %r9
leaq -0x238(%rbp), %rax
movq %rax, (%rsp)
callq 0x1bce90
movq -0x238(%rbp), %rax
movq %rax, -0x1b0(%rbp)
movq -0x230(%rbp), %rax
movq %rax, -0x1a8(%rbp)
jmp 0x1bcc2a
movq -0x198(%rbp), %rdi
movq -0x128(%rbp), %rsi
movq -0x190(%rbp), %rdx
leaq -0x240(%rbp), %rcx
leaq -0x248(%rbp), %r8
callq 0x10f8a0
leaq -0x258(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movl $0x2, -0x25c(%rbp)
movq -0x240(%rbp), %rdi
movq -0x248(%rbp), %rsi
movl -0x25c(%rbp), %r8d
movl -0x258(%rbp), %edx
movq -0x250(%rbp), %rcx
leaq -0x268(%rbp), %r9
leaq -0x270(%rbp), %rax
movq %rax, (%rsp)
callq 0x10f930
movq -0x270(%rbp), %rax
movq %rax, -0x1b0(%rbp)
movq -0x268(%rbp), %rax
movq %rax, -0x1a8(%rbp)
movb $0x1, -0x271(%rbp)
movb -0x271(%rbp), %al
andb $0x1, %al
movb %al, -0x169(%rbp)
movq -0x180(%rbp), %rax
movq %rax, -0x168(%rbp)
movq -0x178(%rbp), %rax
movq %rax, -0x160(%rbp)
movq -0x1a8(%rbp), %rax
movq %rax, -0x158(%rbp)
movq -0x1b0(%rbp), %rax
movq %rax, -0x150(%rbp)
jmp 0x1bccf4
leaq -0x288(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movb $0x0, -0x289(%rbp)
movb -0x289(%rbp), %al
andb $0x1, %al
movb %al, -0x169(%rbp)
movq -0x288(%rbp), %rax
movq %rax, -0x168(%rbp)
movq -0x280(%rbp), %rax
movq %rax, -0x160(%rbp)
movq -0x130(%rbp), %rax
movq %rax, -0x158(%rbp)
movq -0x128(%rbp), %rax
movq %rax, -0x150(%rbp)
jmp 0x1bccf4
leaq 0x19719f(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
movb -0x169(%rbp), %al
andb $0x1, %al
movb %al, -0x11a(%rbp)
movb -0x169(%rbp), %al
andb $0x1, %al
movb %al, -0x119(%rbp)
movq -0x168(%rbp), %rax
movq %rax, -0x118(%rbp)
movq -0x160(%rbp), %rax
movq %rax, -0x110(%rbp)
movq -0x158(%rbp), %rax
movq %rax, -0x108(%rbp)
movq -0x150(%rbp), %rax
movq %rax, -0x100(%rbp)
jmp 0x1bc8bc
jmp 0x1bcd4f
movl -0x118(%rbp), %edi
movq -0x110(%rbp), %rsi
callq 0x12780
movq %rax, -0x2a0(%rbp)
movq %rdx, -0x298(%rbp)
movq -0x298(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1bce62
movl -0x118(%rbp), %edi
movq -0x110(%rbp), %rsi
callq 0x12780
movq %rax, -0x2b0(%rbp)
movq %rdx, -0x2a8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x2b0(%rbp), %rax
cmpq $0x0, %rax
je 0x1bce62
movl -0x118(%rbp), %edi
movq -0x110(%rbp), %rsi
callq 0x12780
movq %rax, -0x2c0(%rbp)
movq %rdx, -0x2b8(%rbp)
movq -0x2c0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1bce62
movl -0x118(%rbp), %edi
movq -0x110(%rbp), %rsi
callq 0x12780
movq %rax, -0x2d0(%rbp)
movq %rdx, -0x2c8(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x2d0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1bce60
movl -0x118(%rbp), %edi
movq -0x110(%rbp), %rsi
callq 0x12780
movq %rax, -0x2e0(%rbp)
movq %rdx, -0x2d8(%rbp)
movq -0x2e0(%rbp), %rdi
movq -0x2d8(%rbp), %rsi
callq 0x127c0
jmp 0x1bce62
jmp 0x1bce64
movq -0x100(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, (%rax)
movq -0x108(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
addq $0x2f0, %rsp            # imm = 0x2F0
popq %rbp
retq
nopl (%rax)