// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mb_mirth_mirth_PropLabel_prop_1_sp50_0
static void mb_mirth_mirth_PropLabel_prop_1_sp50_0 (void) {
	uint64_t v0 = V_mirth_word_Word(pop_value());
	struct mirth_mirth_zaMirth* r1 = V_mirth_mirth_zaMirth(pop_resource());
	struct mirth_mirth_zaMirth* v2;
	struct std_maybe_Maybe_1 v3 = mw_mirth_word_Word_sigzy(r1, v0, &v2);
	struct mirth_mirth_zaMirth* branch_zaMirth_4;
	PTUP branch__5;
	switch ((v3).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v6 = mtp_std_maybe_Maybe_1_Some(v3);
			struct mirth_elab_zaTypeElab* v7;
			mw_mirth_elab_zaTypeElab_Startzx(V_mirth_token_Token(v6), &v7);
			struct mirth_type_StackType v8 = mw_mirth_type_T0();
			struct mirth_mirth_zaMirth* v9;
			struct mirth_elab_zaTypeElab* v10;
			struct mirth_type_ArrowType* v11 = mw_mirth_elab_zaTypeElab_elabzetypezesigzx(v2, v7, v8, &v9, &v10);
			struct std_list_List_1 v12 = v10->mctx;
			incref(MK_std_list_List_1(v12));
			PTUP r13 = PTRMK(0,tup_new(2),0);
			((TUP*)PTRPTR(r13))->size = 2;
			((TUP*)PTRPTR(r13))->cells[1] = MK_mirth_type_ArrowType(v11);
			((TUP*)PTRPTR(r13))->cells[0] = MK_std_list_List_1(v12);
			mw_mirth_elab_zaTypeElab_rdrop(v10);
			branch__5 = r13;
			branch_zaMirth_4 = v9;
		} break;
		case std_maybe_Maybe_1_None: {
			struct mirth_mirth_zaMirth* v14;
			struct mirth_arrow_Arrow* v15 = mw_mirth_word_Word_arrow(v2, v0, &v14);
			struct mirth_type_ArrowType* v16;
			struct std_list_List_1 v17 = mw_mirth_arrow_Arrow_ctxzetype(v15, &v16);
			PTUP r18 = PTRMK(0,tup_new(2),0);
			((TUP*)PTRPTR(r18))->size = 2;
			((TUP*)PTRPTR(r18))->cells[1] = MK_mirth_type_ArrowType(v16);
			((TUP*)PTRPTR(r18))->cells[0] = MK_std_list_List_1(v17);
			branch__5 = r18;
			branch_zaMirth_4 = v14;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	push_resource(MK_mirth_mirth_zaMirth(branch_zaMirth_4));
	push_value(MKTUP(branch__5));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
callq 0xd3d6
movq %rax, %r15
callq 0xd429
movq %rax, %rbx
leaq 0x10dc0ab(%rip), %rdi   # 0x110c730
movq %r15, %rsi
callq 0x12f88
movq %rax, %rdi
callq 0x1307d
movq %rax, %rcx
shrq $0x30, %rcx
je 0x30759
cmpl $0x1, %ecx
jne 0x307f2
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
andq %r12, %rax
movq %rax, %rdi
callq 0xd491
leaq -0x38(%rbp), %r14
movq %rax, %rdi
movq %r14, %rsi
callq 0x31750
movq (%r14), %rsi
pushq $0x2
popq %rdx
leaq -0x30(%rbp), %r8
leaq -0x40(%rbp), %r14
movq %rbx, %rdi
xorl %ecx, %ecx
movq %r14, %r9
callq 0x31786
movq %rax, %r15
movq (%r14), %r14
movq 0x8(%r14), %rcx
movl (%r14), %r13d
shlq $0x30, %r13
orq %rcx, %r13
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x30713
incl (%rax)
pushq $0x2
popq %rdi
callq 0xd928
movq %rax, %rbx
andq %rax, %r12
movw $0x2, 0x6(%r12)
leaq 0xd8449(%rip), %rax     # 0x108b79
movq %r15, 0x18(%r12)
movq %rax, 0x20(%r12)
movq %r13, 0x8(%r12)
leaq 0xd7b33(%rip), %rax     # 0x108279
movq %rax, 0x10(%r12)
movq %r14, %rdi
callq 0x31b94
movq -0x30(%rbp), %rdi
jmp 0x307c9
leaq -0x38(%rbp), %r14
movq %rbx, %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x31be4
leaq -0x30(%rbp), %r15
movq %rax, %rdi
movq %r15, %rsi
callq 0x31c23
movl %eax, %r12d
movq %rdx, %r13
pushq $0x2
popq %rdi
callq 0xd928
movq %rax, %rbx
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rbx, %rax
movw $0x2, 0x6(%rax)
movq (%r15), %rcx
leaq 0xd83d1(%rip), %rdx     # 0x108b79
movq %rcx, 0x18(%rax)
movq %rdx, 0x20(%rax)
shlq $0x30, %r12
orq %r13, %r12
leaq 0xd7abb(%rip), %rcx     # 0x108279
movq %r12, 0x8(%rax)
movq %rcx, 0x10(%rax)
movq (%r14), %rdi
leaq 0xd8120(%rip), %rsi     # 0x1088f0
callq 0x883c
leaq 0xd7bbd(%rip), %rsi     # 0x108399
movq %rbx, %rdi
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xd08e
leaq 0xa4014(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6