// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_finalizzezewordzearrow
static struct mirth_arrow_Arrow* mw_mirth_elab_finalizzezewordzearrow (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_arrow_Arrow* in_Arrow_2, uint64_t in_Word_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	struct mirth_mirth_zaMirth* v6;
	bool v7 = mw_mirth_word_Word_inferringzetypezy(in_zaMirth_1, in_Word_3, &v6);
	uint64_t branch_Word_8;
	struct mirth_mirth_zaMirth* branch_zaMirth_9;
	struct mirth_arrow_Arrow* branch_Arrow_10;
	if (v7) {
		incref(MK_mirth_arrow_Arrow(in_Arrow_2));
		struct mirth_type_ArrowType* v11;
		struct std_list_List_1 v12 = mw_mirth_arrow_Arrow_ctxzetype(in_Arrow_2, &v11);
		struct mirth_mirth_zaMirth* v13;
		struct mirth_type_ArrowType* v14;
		struct std_list_List_1 v15 = mw_mirth_type_ArrowType_rigidifyzesigzx(v6, v12, v11, &v13, &v14);
		incref(MK_std_list_List_1(v15));
		incref(MK_mirth_type_ArrowType(v14));
		PTUP r16 = PTRMK(0,tup_new(2),0);
		((TUP*)PTRPTR(r16))->size = 2;
		((TUP*)PTRPTR(r16))->cells[1] = MK_mirth_type_ArrowType(v14);
		((TUP*)PTRPTR(r16))->cells[0] = MK_std_list_List_1(v15);
		struct mirth_mirth_PropLabel v17 = mtw_mirth_mirth_PropLabel_WordType(in_Word_3);
		struct mirth_mirth_zaMirth* v18;
		struct mirth_mirth_Prop_1* v19 = mw_mirth_mirth_PropLabel_prop(v13, MKTUP(r16), v17, &v18);
		void* v20 = field_mut(&mfld_mirth_word_Word_ztctxzetype, in_Word_3);
		mut_set(MK_mirth_mirth_Prop_1(v19), v20);
		bool v21 = false;
		struct mirth_mirth_zaMirth* v22;
		mw_mirth_word_Word_inferringzetypezyzx(v18, v21, in_Word_3, &v22);
		struct mirth_type_StackType v23;
		struct mirth_type_StackType v24;
		mtp_mirth_type_ArrowType_ArrowType(v14, &v23, &v24);
		struct mirth_arrow_Arrow* v25 = mirth_arrow_Arrow_set_cod(in_Arrow_2, v24);
		struct mirth_arrow_Arrow* v26 = mirth_arrow_Arrow_set_dom(v25, v23);
		struct mirth_arrow_Arrow* v27 = mirth_arrow_Arrow_set_ctx(v26, v15);
		branch_Arrow_10 = v27;
		branch_zaMirth_9 = v22;
		branch_Word_8 = in_Word_3;
	} else {
		branch_Arrow_10 = in_Arrow_2;
		branch_zaMirth_9 = v6;
		branch_Word_8 = in_Word_3;
	}
	*out_zaMirth_4 = branch_zaMirth_9;
	return branch_Arrow_10;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movq %rcx, %rbx
movq %rdx, %r14
movq %rsi, %r12
leaq -0x60(%rbp), %rdx
movq %r14, %rsi
callq 0x57839
testb %al, %al
je 0x49018
movq %r14, -0x78(%rbp)
movq %rbx, -0x48(%rbp)
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
movq %r12, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r12b
setne %dl
orb %cl, %dl
jne 0x48e47
incl (%rax)
leaq -0x98(%rbp), %rbx
movq %r12, -0x80(%rbp)
movq %r12, %rdi
movq %rbx, %rsi
callq 0x3482e
movl %eax, -0x40(%rbp)
movq %rdx, -0x38(%rbp)
movq (%rbx), %rcx
movq %rcx, %r12
andq %r15, %r12
setne %al
testb $0x3, %cl
sete %r14b
andb %al, %r14b
cmpb $0x1, %r14b
jne 0x48e84
incl (%r12)
movl 0x8(%rcx), %ebx
movq %rcx, -0x30(%rbp)
movq 0x10(%rcx), %r13
movq %r13, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r13b
setne %dl
orb %cl, %dl
jne 0x48ea5
incl (%rax)
movq -0x60(%rbp), %r15
testb %r14b, %r14b
je 0x48ec4
decl (%r12)
jne 0x48ec4
movq -0x30(%rbp), %rdi
leaq 0xc8cba(%rip), %rsi     # 0x111b79
callq 0xd13d
leaq -0x90(%rbp), %rcx
movq %r15, %rdi
movl %ebx, %esi
movq %r13, %rdx
callq 0x5ee18
testl %eax, %eax
je 0x49021
cmpl $0x1, %eax
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
jne 0x4939f
movq %rdx, %rdi
callq 0xd745
movq %rax, -0x70(%rbp)
movq %rdx, -0x68(%rbp)
testb %r14b, %r14b
je 0x48f0c
incl (%r12)
movq -0x30(%rbp), %rax
movl 0x18(%rax), %r13d
movq 0x20(%rax), %rbx
movq %rbx, %rax
andq %r15, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x48f2d
incl (%rax)
testb %r14b, %r14b
je 0x48f48
decl (%r12)
jne 0x48f48
movq -0x30(%rbp), %rdi
leaq 0xc8c36(%rip), %rsi     # 0x111b79
callq 0xd13d
movq -0x90(%rbp), %rdi
leaq -0x58(%rbp), %rcx
movl %r13d, %esi
movq %rbx, %rdx
callq 0x5ee18
testl %eax, %eax
je 0x49034
cmpl $0x1, %eax
jne 0x493e0
movq %rdx, %rdi
callq 0xd745
movq -0x68(%rbp), %r12
testb $0x1, %r12b
movq -0x70(%rbp), %r14
je 0x48f9d
movq %r14, %rcx
andq %r15, %rcx
sete %dl
testb $0x3, %r14b
setne %sil
orb %dl, %sil
jne 0x48f9d
incl (%rcx)
cmpq %rax, %r14
jne 0x49034
movl $0x2, %edi
xorl %esi, %esi
callq 0x3d699
movabsq $0x9000000000000, %rdi  # imm = 0x9000000000000
orq %rax, %rdi
leaq 0xc8b23(%rip), %rsi     # 0x111ae9
callq 0x9353
movq %rdx, %rbx
testb $0x1, %r12b
je 0x48fea
movq %r14, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x48fea
incl (%rax)
movq -0x58(%rbp), %r13
leaq 0x10cc433(%rip), %rdi   # 0x1115428
movq %r14, %rsi
callq 0x13c85
leaq 0x4(%r15), %rcx
orq %rcx, %rbx
leaq 0xc82b6(%rip), %rsi     # 0x1112c1
movq %rbx, %rdi
movq %rax, %rdx
callq 0x14766
jmp 0x49038
movq -0x60(%rbp), %rax
jmp 0x4938a
movq -0x90(%rbp), %r13
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
jmp 0x49038
movq -0x58(%rbp), %r13
movq -0x30(%rbp), %rcx
leaq -0x58(%rbp), %r8
leaq -0xa0(%rbp), %rbx
movq %r13, %rdi
movl -0x40(%rbp), %esi
movq -0x38(%rbp), %rdx
movq %rbx, %r9
callq 0x5f147
movq (%rbx), %rbx
movq %rax, -0x38(%rbp)
movq %rax, %r14
shlq $0x30, %r14
movq %rdx, %rax
andq %r15, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0x4907e
incl (%rax)
movq %rdx, -0x40(%rbp)
orq %rdx, %r14
leaq 0xc81ed(%rip), %r12     # 0x111279
movq %rbx, %rax
andq %r15, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x490a1
incl (%rax)
leaq -0x58(%rbp), %r13
movq (%r13), %rax
movq %rax, -0x30(%rbp)
movl $0x2, %edi
callq 0xe0e7
movq %rax, %r15
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
movw $0x2, 0x6(%rax)
movq %rbx, 0x18(%rax)
leaq 0xc8aa1(%rip), %rcx     # 0x111b79
movq %rcx, 0x20(%rax)
movq %r14, 0x8(%rax)
movq %r12, 0x10(%rax)
movq -0x78(%rbp), %r14
movq %r14, %rdi
callq 0x3309e
movq %rax, %r12
leaq 0xc829f(%rip), %rsi     # 0x111399
movq %r15, %rdi
callq 0x15b30
movl $0xa, %edi
movq %r12, %rsi
xorl %edx, %edx
movq %rax, %rcx
callq 0x1f63a
movq %rax, %r15
leaq 0x10cc592(%rip), %rdi   # 0x11156b0
movq %r14, %rsi
callq 0x13c85
leaq 0xc86a4(%rip), %rsi     # 0x1117d1
movq %r15, %rdi
movq %rax, %rdx
callq 0x14766
leaq 0x10cc8c9(%rip), %rdi   # 0x1115a08
movq %r14, %rsi
callq 0x13c85
leaq 0xc8bda(%rip), %rsi     # 0x111d28
xorl %edi, %edi
movq %rax, %rdx
callq 0x14766
leaq -0x90(%rbp), %r15
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rdx
callq 0x3a145
movl (%r13), %esi
movq 0x8(%r13), %rdx
movq -0x80(%rbp), %rdi
callq 0x540ad
movq %rax, %r12
movl (%r15), %r14d
movq 0x8(%r15), %rbx
cmpl $0x2, (%rax)
jb 0x49242
movl $0x1, %edi
movl $0x68, %esi
callq 0x50c0
testq %rax, %rax
je 0x493b2
movl $0xd, %ecx
movq %rax, %rdi
movq %r12, %rsi
rep  movsq (%rsi), %es:(%rdi)
movq 0x10(%rax), %rdx
movq %rdx, %rcx
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
jne 0x491dc
incl (%rcx)
movq 0x30(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
jne 0x491f7
incl (%rcx)
movl %r14d, 0x38(%rax)
movq %rbx, 0x40(%rax)
movq 0x50(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
jne 0x4921a
incl (%rcx)
movq 0x60(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
movq -0x48(%rbp), %rbx
jne 0x49239
incl (%rcx)
decl (%r12)
movq %rax, %r12
jmp 0x49290
movq 0x40(%r12), %rcx
movq %rcx, %rax
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
andq %r15, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x49282
decl (%rax)
jne 0x49282
leaq 0xc8952(%rip), %rsi     # 0x111bc1
movl 0x38(%r12), %edi
shlq $0x30, %rdi
orq 0x40(%r12), %rdi
callq 0xd13d
movl %r14d, 0x38(%r12)
movq %rbx, 0x40(%r12)
movq -0x48(%rbp), %rbx
cmpl $0x2, (%r12)
jb 0x49341
movl $0x1, %edi
movl $0x68, %esi
callq 0x50c0
testq %rax, %rax
je 0x493bb
movl $0xd, %ecx
movq %rax, %rdi
movq %r12, %rsi
rep  movsq (%rsi), %es:(%rdi)
movq 0x10(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
jne 0x492dc
incl (%rcx)
movq -0x38(%rbp), %rcx
movl %ecx, 0x28(%rax)
movq -0x40(%rbp), %rcx
movq %rcx, 0x30(%rax)
movq 0x40(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
jne 0x49306
incl (%rcx)
movq 0x50(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
jne 0x49321
incl (%rcx)
movq 0x60(%rax), %rcx
andq %rcx, %r15
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x49338
incl (%r15)
decl (%r12)
movq %rax, %r12
jmp 0x49386
movq 0x30(%r12), %rax
andq %rax, %r15
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x49374
decl (%r15)
jne 0x49374
movl 0x28(%r12), %edi
shlq $0x30, %rdi
orq 0x30(%r12), %rdi
leaq 0xc7f0a(%rip), %rsi     # 0x111279
callq 0xd13d
movq -0x38(%rbp), %rax
movl %eax, 0x28(%r12)
movq -0x40(%rbp), %rax
movq %rax, 0x30(%r12)
movq -0x30(%rbp), %rax
movq %rax, (%rbx)
movq %r12, %rax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x97327(%rip), %rdi     # 0xe06cd
movl $0x20, %esi
callq 0x9040
jmp 0x49408
leaq 0x9d5d5(%rip), %rsi     # 0xe698e
jmp 0x493c2
leaq 0x9d600(%rip), %rsi     # 0xe69c2
movl $0x33, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0x972d4(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0x972d9(%rip), %xmm0    # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302