// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mb_mirth_mirth_PropLabel_prop_1_sp14_0
static void mb_mirth_mirth_PropLabel_prop_1_sp14_0 (void) {
	PTUP v0 = value_tup(pop_value());
	struct mirth_mirth_zaMirth* r1 = V_mirth_mirth_zaMirth(pop_resource());
	VAL v2 = ((TUP*)PTRPTR(v0))->cells[0];
	VAL v3 = ((TUP*)PTRPTR(v0))->cells[1];
	tup_decref_outer(v0);
	incref(v3);
	struct mirth_mirth_zaMirth* v4;
	uint64_t v5 = mw_mirth_data_Tag_data(r1, V_mirth_data_Tag(v3), &v4);
	struct mirth_mirth_zaMirth* v6;
	struct std_list_List_1 v7 = mw_mirth_data_Data_params(v4, v5, &v6);
	struct std_list_List_1 v8 = mw_std_list_List_1_zgCtx(v7);
	bool v9 = true;
	bool v10 = false;
	struct mirth_elab_zaTypeElab* v11;
	mtw_mirth_elab_zaTypeElab_zaTypeElab(v8, V_mirth_token_Token(v2), v10, v9, &v11);
	struct mirth_type_StackType v12 = mw_mirth_type_T0();
	incref(v3);
	struct mirth_mirth_zaMirth* v13;
	uint64_t v14 = mw_mirth_data_Tag_data(v6, V_mirth_data_Tag(v3), &v13);
	struct mirth_mirth_zaMirth* v15;
	struct std_either_Either_2 v16 = mw_mirth_data_Data_fullzetype(v13, v14, &v15);
	struct mirth_type_StackType v17 = mw_mirth_type_Tzmza(v12, v16);
	struct mirth_mirth_zaMirth* v18;
	struct std_maybe_Maybe_1 v19 = mw_mirth_data_Tag_sigzy(v15, V_mirth_data_Tag(v3), &v18);
	struct mirth_type_StackType branch_StackType_20;
	struct mirth_mirth_zaMirth* branch_zaMirth_21;
	struct mirth_elab_zaTypeElab* branch_zaTypeElab_22;
	struct mirth_type_StackType branch_StackType_23;
	switch ((v19).tag) {
		case std_maybe_Maybe_1_None: {
			struct mirth_type_StackType v24 = mw_mirth_type_T0();
			branch_StackType_23 = v24;
			branch_zaTypeElab_22 = v11;
			branch_zaMirth_21 = v18;
			branch_StackType_20 = v17;
		} break;
		case std_maybe_Maybe_1_Some: {
			VAL v25 = mtp_std_maybe_Maybe_1_Some(v19);
			v11->mtoken = V_mirth_token_Token(v25);
			struct mirth_type_StackType v26 = mw_mirth_type_T0();
			struct mirth_mirth_zaMirth* v27;
			struct mirth_elab_zaTypeElab* v28;
			struct mirth_type_StackType v29 = mw_mirth_elab_zaTypeElab_elabzestackzetypezepartszx(v18, v11, v26, &v27, &v28);
			branch_StackType_23 = v29;
			branch_zaTypeElab_22 = v28;
			branch_zaMirth_21 = v27;
			branch_StackType_20 = v17;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	struct mirth_type_ArrowType* v30 = mw_mirth_type_Tzezg(branch_StackType_23, branch_StackType_20);
	struct std_list_List_1 v31 = branch_zaTypeElab_22->mctx;
	incref(MK_std_list_List_1(v31));
	PTUP r32 = PTRMK(0,tup_new(2),0);
	((TUP*)PTRPTR(r32))->size = 2;
	((TUP*)PTRPTR(r32))->cells[1] = MK_mirth_type_ArrowType(v30);
	((TUP*)PTRPTR(r32))->cells[0] = MK_std_list_List_1(v31);
	mw_mirth_elab_zaTypeElab_rdrop(branch_zaTypeElab_22);
	push_resource(MK_mirth_mirth_zaMirth(branch_zaMirth_21));
	push_value(MKTUP(r32));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
callq 0xd3d6
movq %rax, %r12
movq %rax, %rdi
movq %rdx, %rsi
callq 0x8a95
callq 0xd429
movq %rax, %r15
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
movq %r12, %rax
andq %rbx, %rax
movq 0x8(%rax), %r14
movq 0x18(%rax), %rcx
movq %rcx, -0x30(%rbp)
movb 0x20(%rax), %r13b
movq %r12, %rdi
callq 0x8ae0
testb $0x1, %r13b
je 0x6d1ed
movq -0x30(%rbp), %rcx
movq %rcx, %r13
andq %rbx, %r13
sete %al
testb $0x3, %cl
setne %cl
orb %al, %cl
jne 0x6d1ed
incl (%r13)
leaq -0x50(%rbp), %r12
movq %r15, %rdi
movq -0x30(%rbp), %rsi
movq %r12, %rdx
callq 0x172b6
movq (%r12), %rdi
leaq -0x40(%rbp), %rdx
movq %rax, %rsi
callq 0x1df20
pushq $0x1
popq %r8
leaq -0x38(%rbp), %r9
movl %eax, %edi
movq %rdx, %rsi
movq %r14, %rdx
xorl %ecx, %ecx
callq 0x31ca8
incl (%r13)
jmp 0x6d227
leaq -0x50(%rbp), %r12
movq %r15, %rdi
movq -0x30(%rbp), %rsi
movq %r12, %rdx
callq 0x172b6
movq (%r12), %rdi
leaq -0x40(%rbp), %rdx
movq %rax, %rsi
callq 0x1df20
pushq $0x1
popq %r8
leaq -0x38(%rbp), %r9
movl %eax, %edi
movq %rdx, %rsi
movq %r14, %rdx
xorl %ecx, %ecx
callq 0x31ca8
movq -0x40(%rbp), %rdi
leaq -0x78(%rbp), %r14
movq -0x30(%rbp), %r15
movq %r15, %rsi
movq %r14, %rdx
callq 0x172b6
movq (%r14), %rdi
leaq -0x70(%rbp), %r12
movq %rax, %rsi
movq %r12, %rdx
callq 0x1e03a
movq %rdx, %rcx
pushq $0x2
popq %r13
movl %r13d, %edi
xorl %esi, %esi
movl %eax, %edx
callq 0x1e0af
movl %eax, %r14d
movq %rdx, -0x58(%rbp)
movq (%r12), %rdi
leaq -0x48(%rbp), %rdx
movq %r15, %rsi
callq 0x190c9
cmpl $0x1, %eax
je 0x6d297
testl %eax, %eax
jne 0x6d373
movq -0x38(%rbp), %r12
movq -0x48(%rbp), %rax
movq %rax, -0x30(%rbp)
xorl %esi, %esi
jmp 0x6d2d4
movq %rdx, %rdi
callq 0xd491
movq -0x38(%rbp), %rsi
movq %rax, 0x10(%rsi)
movq -0x48(%rbp), %rdi
pushq $0x2
popq %rdx
leaq -0x68(%rbp), %r15
leaq -0x60(%rbp), %r12
xorl %ecx, %ecx
movq %r15, %r8
movq %r12, %r9
callq 0x3238c
movl %eax, %r13d
movq %rdx, %rsi
movq (%r12), %r12
movq (%r15), %rax
movq %rax, -0x30(%rbp)
movl %r13d, %edi
movl %r14d, %edx
movq -0x58(%rbp), %rcx
callq 0x1e896
movq %rax, %r14
movl (%r12), %r13d
movq 0x8(%r12), %rax
movq %rax, %rcx
andq %rbx, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x6d305
incl (%rcx)
shlq $0x30, %r13
orq %rax, %r13
pushq $0x2
popq %rdi
callq 0xd928
movq %rax, %r15
andq %rax, %rbx
movw $0x2, 0x6(%rbx)
leaq 0x9b852(%rip), %rax     # 0x108b79
movq %r14, 0x18(%rbx)
movq %rax, 0x20(%rbx)
movq %r13, 0x8(%rbx)
leaq 0x9af3f(%rip), %rax     # 0x108279
movq %rax, 0x10(%rbx)
movq %r12, %rdi
callq 0x31b94
leaq 0x9b5a3(%rip), %rsi     # 0x1088f0
movq -0x30(%rbp), %rdi
callq 0x883c
leaq 0x9b03c(%rip), %rsi     # 0x108399
movq %r15, %rdi
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xd08e
leaq 0x67493(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6