// File: /workspace/github_c_makefile_star2_O2/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 $0x88, %rsp
movq %rcx, %rbx
movq %rdx, %r14
movq %rsi, %r12
leaq -0x58(%rbp), %rdx
movq %r14, %rsi
callq 0x53059
testb %al, %al
je 0x44bdb
movq %r14, -0x80(%rbp)
movq %rbx, -0x50(%rbp)
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
movq %r12, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r12b
setne %dl
orb %cl, %dl
jne 0x44a23
incl (%rax)
leaq -0xa8(%rbp), %rbx
movq %r12, -0x88(%rbp)
movq %r12, %rdi
movq %rbx, %rsi
callq 0x31c23
movl %eax, -0x38(%rbp)
movq %rdx, -0x78(%rbp)
movq (%rbx), %rcx
movq %rcx, %r12
andq %r15, %r12
setne %al
testb $0x3, %cl
sete %r14b
andb %al, %r14b
cmpb $0x1, %r14b
jne 0x44a63
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 0x44a84
incl (%rax)
movq -0x58(%rbp), %r15
testb %r14b, %r14b
je 0x44aa3
decl (%r12)
jne 0x44aa3
movq -0x30(%rbp), %rdi
leaq 0xc40db(%rip), %rsi     # 0x108b79
callq 0xce94
leaq -0x98(%rbp), %rcx
movq %r15, %rdi
movl %ebx, %esi
movq %r13, %rdx
callq 0x5a076
testl %eax, %eax
je 0x44be4
cmpl $0x1, %eax
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
jne 0x44f44
movq %rdx, %rdi
callq 0xd491
movq %rax, -0x70(%rbp)
movq %rdx, -0x68(%rbp)
testb %r14b, %r14b
je 0x44aeb
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 0x44b0c
incl (%rax)
testb %r14b, %r14b
je 0x44b27
decl (%r12)
jne 0x44b27
movq -0x30(%rbp), %rdi
leaq 0xc4057(%rip), %rsi     # 0x108b79
callq 0xce94
movq -0x98(%rbp), %rdi
leaq -0x48(%rbp), %rcx
movl %r13d, %esi
movq %rbx, %rdx
callq 0x5a076
testl %eax, %eax
je 0x44bf7
cmpl $0x1, %eax
jne 0x44f44
movq %rdx, %rdi
callq 0xd491
movq -0x68(%rbp), %rbx
testb $0x1, %bl
movq -0x70(%rbp), %r14
je 0x44b7b
movq %r14, %rcx
andq %r15, %rcx
sete %dl
testb $0x3, %r14b
setne %sil
orb %dl, %sil
jne 0x44b7b
incl (%rcx)
cmpq %rax, %r14
jne 0x44bf7
pushq $0x2
popq %rdi
xorl %esi, %esi
callq 0x3a0fa
movabsq $0x9000000000000, %rdi  # imm = 0x9000000000000
orq %rax, %rdi
leaq 0xc3f4b(%rip), %rsi     # 0x108ae9
callq 0x8d0c
testb $0x1, %bl
je 0x44bc0
movq %r14, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r14b
setne %sil
orb %cl, %sil
jne 0x44bc0
incl (%rax)
movq -0x48(%rbp), %rdi
leaq -0x60(%rbp), %rbx
movq %rdx, %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0x2ab8f
movq (%rbx), %rdi
jmp 0x44bfb
movq -0x58(%rbp), %rax
jmp 0x44f2c
movq -0x98(%rbp), %rdi
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
jmp 0x44bfb
movq -0x48(%rbp), %rdi
movq -0x30(%rbp), %rcx
leaq -0x48(%rbp), %r8
leaq -0x60(%rbp), %rbx
movl -0x38(%rbp), %esi
movq -0x78(%rbp), %rdx
movq %rbx, %r9
callq 0x5a358
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 0x44c3b
incl (%rax)
movq -0x48(%rbp), %r13
movq %rdx, -0x30(%rbp)
orq %rdx, %r14
leaq 0xc362c(%rip), %r12     # 0x108279
movq %rbx, %rax
andq %r15, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x44c62
incl (%rax)
pushq $0x2
popq %rdi
callq 0xd928
movq %rax, %r15
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
movw $0x2, 0x6(%rax)
movq %rbx, 0x18(%rax)
leaq 0xc3eee(%rip), %rcx     # 0x108b79
movq %rcx, 0x20(%rax)
movq %r14, 0x8(%rax)
movq %r12, 0x10(%rax)
movq -0x80(%rbp), %r14
movq %r14, %rdi
callq 0x30614
leaq 0xc36ef(%rip), %rdx     # 0x108399
pushq $0xa
popq %rcx
leaq -0x60(%rbp), %r12
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %r8
movq %r12, %r9
callq 0x1d218
movq %rax, %r15
leaq 0x10c79e4(%rip), %rdi   # 0x110c6b0
movq %r14, %rsi
callq 0x12f88
leaq 0xc3af6(%rip), %rsi     # 0x1087d1
movq %r15, %rdi
movq %rax, %rdx
callq 0x1393b
movq (%r12), %rdi
leaq -0xa0(%rbp), %rcx
xorl %esi, %esi
movq %r14, %rdx
callq 0x4569a
leaq -0x98(%rbp), %r15
leaq -0x48(%rbp), %r12
movq %rbx, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x36e55
movl (%r12), %esi
movq 0x8(%r12), %rdx
movq -0x88(%rbp), %rdi
callq 0x4f8b5
movq %rax, %r12
movl (%r15), %r14d
movq 0x8(%r15), %rbx
cmpl $0x2, (%rax)
jb 0x44de7
pushq $0x1
popq %rdi
pushq $0x68
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x44f5b
pushq $0xd
popq %rcx
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 0x44d81
incl (%rcx)
movq 0x30(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
jne 0x44d9c
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 0x44dbf
incl (%rcx)
movq 0x60(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
movq -0x50(%rbp), %rbx
jne 0x44dde
incl (%rcx)
decl (%r12)
movq %rax, %r12
jmp 0x44e35
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 0x44e27
decl (%rax)
jne 0x44e27
leaq 0xc3dad(%rip), %rsi     # 0x108bc1
movl 0x38(%r12), %edi
shlq $0x30, %rdi
orq 0x40(%r12), %rdi
callq 0xce94
movl %r14d, 0x38(%r12)
movq %rbx, 0x40(%r12)
movq -0x50(%rbp), %rbx
cmpl $0x2, (%r12)
jb 0x44ee0
pushq $0x1
popq %rdi
pushq $0x68
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x44f64
pushq $0xd
popq %rcx
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 0x44e7b
incl (%rcx)
movq -0x38(%rbp), %rcx
movl %ecx, 0x28(%rax)
movq -0x30(%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 0x44ea5
incl (%rcx)
movq 0x50(%rax), %rdx
movq %rdx, %rcx
andq %r15, %rcx
sete %sil
testb $0x3, %dl
setne %dl
orb %sil, %dl
jne 0x44ec0
incl (%rcx)
movq 0x60(%rax), %rcx
andq %rcx, %r15
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x44ed7
incl (%r15)
decl (%r12)
movq %rax, %r12
jmp 0x44f25
movq 0x30(%r12), %rax
andq %rax, %r15
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x44f13
decl (%r15)
jne 0x44f13
movl 0x28(%r12), %edi
shlq $0x30, %rdi
orq 0x30(%r12), %rdi
leaq 0xc336b(%rip), %rsi     # 0x108279
callq 0xce94
movq -0x38(%rbp), %rax
movl %eax, 0x28(%r12)
movq -0x30(%rbp), %rax
movq %rax, 0x30(%r12)
movq -0xa0(%rbp), %rax
movq %rax, (%rbx)
movq %r12, %rax
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x8f8c2(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
leaq 0x95c00(%rip), %rsi     # 0xdab62
jmp 0x44f6b
leaq 0x95c2b(%rip), %rsi     # 0xdab96
pushq $0x2
popq %rdi
pushq $0x33
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130