// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_name_Name_mangled
static STR* mw_mirth_name_Name_mangled (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Name_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	void* v5 = field_mut(&mfld_mirth_name_Name_mangled, in_Name_2);
	bool v6 = mut_is_set(v5);
	struct mirth_mirth_zaMirth* branch_zaMirth_7;
	STR* branch_Str_8;
	if (v6) {
		VAL v9 = mut_get(v5);
		branch_Str_8 = value_str(v9);
		branch_zaMirth_7 = in_zaMirth_1;
	} else {
		struct mirth_mirth_zaMirth* v10;
		STR* v11 = mw_mirth_name_Name_str(in_zaMirth_1, in_Name_2, &v10);
		STR* v12 = mw_std_prim_Str_zzencode(v11);
		incref(MKSTR(v12));
		mut_set(MKSTR(v12), v5);
		branch_Str_8 = v12;
		branch_zaMirth_7 = v10;
	}
	*out_zaMirth_3 = branch_zaMirth_7;
	return branch_Str_8;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdx, %r14
movq %rsi, %rbx
movq %rdi, %r15
leaq 0x1083d90(%rip), %rdi   # 0x11168c8
callq 0x13c85
movq %rax, %r12
movq %rax, %rdi
callq 0x1505d
testb %al, %al
je 0x92b67
movq %r12, %rdi
callq 0x13d82
movq %rax, %rdi
movq %rdx, %rsi
callq 0x9189
movq %rax, %rbx
jmp 0x93660
leaq 0x108195a(%rip), %rdi   # 0x11144c8
movq %rbx, %rsi
callq 0x13c85
movq %rax, %rdi
callq 0x13d82
movq %rax, %rdi
movq %rdx, %rsi
callq 0x9189
movq %rax, %rsi
movq 0x1083d45(%rip), %rbx   # 0x11168d8
testq %rbx, %rbx
jne 0x92bb7
movq %rsi, %rbx
xorl %edi, %edi
callq 0xf5e4
movq %rbx, %rsi
movq %rax, %rbx
movq $0x0, 0x10(%rax)
movq %rax, 0x1083d21(%rip)   # 0x11168d8
movabsq $0xfffffffffffc, %rdi   # imm = 0xFFFFFFFFFFFC
movq %rbx, %rax
andq %rdi, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x92bd6
incl (%rax)
movq %r12, -0x48(%rbp)
movq %r15, -0x50(%rbp)
movq %rsi, %rcx
andq %rdi, %rcx
setne %al
testb $0x3, %sil
sete %dl
andb %al, %dl
movb %dl, -0x29(%rbp)
cmpb $0x1, %dl
jne 0x92bfb
addl $0x2, (%rcx)
movq %rcx, -0x40(%rbp)
movq %r14, -0x58(%rbp)
movq %rsi, %r14
movq %rsi, %rdi
callq 0xe7f9
movq %rax, %r13
movq %r14, -0x38(%rbp)
movq %r14, %rdi
callq 0xe36d
movq %rax, %rdi
callq 0xe3d6
movq %rax, %r15
movq %rax, %r12
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %r12
sete %al
testb $0x3, %r15b
setne %cl
orb %al, %cl
jne 0x92c7e
incl (%r12)
movl $0x1, %r14d
movl $0x1, %edi
movq %r15, %rsi
callq 0xe83a
movl (%r12), %ecx
testl %eax, %eax
jle 0x92c99
decl %ecx
movl %ecx, (%r12)
jne 0x92ca2
movq %r15, %rdi
leaq 0x7e7b2(%rip), %rsi     # 0x111429
callq 0xd13d
jmp 0x92ca2
movl $0x1, %r14d
movl $0x1, %edi
movq %r15, %rsi
callq 0xe83a
testl %eax, %eax
cmovgq %r14, %r15
jmp 0x92c9f
incl %ecx
movl %ecx, (%r12)
movq %r15, %r14
movl $0x1, %edi
movq %r14, %rsi
callq 0xe83a
testl %eax, %eax
jns 0x935e0
movzbl (%r13), %edi
callq 0xe3d6
movq %rax, %rdi
callq 0xe445
movq %rax, %r12
addl $-0x21, %eax
cmpl $0x3f, %eax
ja 0x92d1b
leaq 0x4cbad(%rip), %rcx     # 0xdf888
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x1083cad(%rip), %rsi   # 0x1116998
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x787a, 0x18(%rax)     # imm = 0x787A
movq %rax, 0x1083c82(%rip)   # 0x1116998
jmp 0x93499
leal -0x7a(%r12), %eax
cmpl $0x4, %eax
ja 0x92d6c
leaq 0x4cc5c(%rip), %rcx     # 0xdf988
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x1083c6c(%rip), %rsi   # 0x11169a8
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x7a7a, 0x18(%rax)     # imm = 0x7A7A
movq %rax, 0x1083c41(%rip)   # 0x11169a8
jmp 0x93499
movl %r12d, %eax
leaq 0x1(,%rax,2), %r15
movq %r15, %rdi
callq 0xe445
andl $0xf0, %eax
cmpl $0x30, %eax
jb 0x92d9b
movq %r15, %rdi
callq 0xe445
andl $0xfe, %eax
cmpl $0x3a, %eax
jb 0x92de3
movq %r15, %rdi
callq 0xe445
movzbl %al, %eax
cmpl $0x41, %eax
jb 0x92dbb
movq %r15, %rdi
callq 0xe445
movzbl %al, %eax
cmpl $0x5b, %eax
jb 0x92de3
movq %r15, %rdi
callq 0xe445
movzbl %al, %eax
cmpl $0x61, %eax
jb 0x93555
movq %r15, %rdi
callq 0xe445
movzbl %al, %eax
cmpl $0x7a, %eax
ja 0x93555
movl %r12d, %edi
jmp 0x935d0
movq 0x1083b9e(%rip), %rsi   # 0x1116990
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x777a, 0x18(%rax)     # imm = 0x777A
movq %rax, 0x1083b73(%rip)   # 0x1116990
jmp 0x93499
movq 0x1083b77(%rip), %rsi   # 0x11169a0
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x797a, 0x18(%rax)     # imm = 0x797A
movq %rax, 0x1083b4c(%rip)   # 0x11169a0
jmp 0x93499
movq 0x1083a90(%rip), %rsi   # 0x11168f0
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x637a, 0x18(%rax)     # imm = 0x637A
movq %rax, 0x1083a65(%rip)   # 0x11168f0
jmp 0x93499
movq 0x1083a69(%rip), %rsi   # 0x1116900
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x657a, 0x18(%rax)     # imm = 0x657A
movq %rax, 0x1083a3e(%rip)   # 0x1116900
jmp 0x93499
movq 0x1083a52(%rip), %rsi   # 0x1116920
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x697a, 0x18(%rax)     # imm = 0x697A
movq %rax, 0x1083a27(%rip)   # 0x1116920
jmp 0x93499
movq 0x1083a0b(%rip), %rsi   # 0x1116910
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x677a, 0x18(%rax)     # imm = 0x677A
movq %rax, 0x10839e0(%rip)   # 0x1116910
jmp 0x93499
movq 0x1083a44(%rip), %rsi   # 0x1116980
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x757a, 0x18(%rax)     # imm = 0x757A
movq %rax, 0x1083a19(%rip)   # 0x1116980
jmp 0x93499
movq 0x1083a45(%rip), %rsi   # 0x11169b8
testq %rsi, %rsi
jne 0x93499
movl $0x3, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x3, 0x10(%rax)
movw $0x527a, 0x18(%rax)     # imm = 0x527A
movb $0x42, 0x1a(%rax)
movq %rax, 0x1083a16(%rip)   # 0x11169b8
jmp 0x93499
movq 0x10839a2(%rip), %rsi   # 0x1116950
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x6f7a, 0x18(%rax)     # imm = 0x6F7A
movq %rax, 0x1083977(%rip)   # 0x1116950
jmp 0x93499
movq 0x1083913(%rip), %rsi   # 0x11168f8
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x647a, 0x18(%rax)     # imm = 0x647A
movq %rax, 0x10838e8(%rip)   # 0x11168f8
jmp 0x93499
movq 0x10838c4(%rip), %rsi   # 0x11168e0
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x617a, 0x18(%rax)     # imm = 0x617A
movq %rax, 0x1083899(%rip)   # 0x11168e0
jmp 0x93499
movq 0x108398d(%rip), %rsi   # 0x11169e0
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x517a, 0x18(%rax)     # imm = 0x517A
movq %rax, 0x1083962(%rip)   # 0x11169e0
jmp 0x93499
movq 0x10838d6(%rip), %rsi   # 0x1116960
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x717a, 0x18(%rax)     # imm = 0x717A
movq %rax, 0x10838ab(%rip)   # 0x1116960
jmp 0x93499
movq 0x1083917(%rip), %rsi   # 0x11169d8
testq %rsi, %rsi
jne 0x93499
movl $0x3, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x3, 0x10(%rax)
movw $0x527a, 0x18(%rax)     # imm = 0x527A
movb $0x50, 0x1a(%rax)
movq %rax, 0x10838e8(%rip)   # 0x11169d8
jmp 0x93499
movq 0x108386c(%rip), %rsi   # 0x1116968
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x727a, 0x18(%rax)     # imm = 0x727A
movq %rax, 0x1083841(%rip)   # 0x1116968
jmp 0x93499
movq 0x1083815(%rip), %rsi   # 0x1116948
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x6e7a, 0x18(%rax)     # imm = 0x6E7A
movq %rax, 0x10837ea(%rip)   # 0x1116948
jmp 0x93499
movq 0x1083806(%rip), %rsi   # 0x1116970
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x737a, 0x18(%rax)     # imm = 0x737A
movq %rax, 0x10837db(%rip)   # 0x1116970
jmp 0x93499
movq 0x108378f(%rip), %rsi   # 0x1116930
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x6b7a, 0x18(%rax)     # imm = 0x6B7A
movq %rax, 0x1083764(%rip)   # 0x1116930
jmp 0x93499
movq 0x1083768(%rip), %rsi   # 0x1116940
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x6d7a, 0x18(%rax)     # imm = 0x6D7A
movq %rax, 0x108373d(%rip)   # 0x1116940
jmp 0x93499
movq 0x10836d9(%rip), %rsi   # 0x11168e8
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x627a, 0x18(%rax)     # imm = 0x627A
movq %rax, 0x10836ae(%rip)   # 0x11168e8
jmp 0x93499
movq 0x10836d2(%rip), %rsi   # 0x1116918
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x687a, 0x18(%rax)     # imm = 0x687A
movq %rax, 0x10836a7(%rip)   # 0x1116918
jmp 0x93499
movq 0x10836ab(%rip), %rsi   # 0x1116928
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x6a7a, 0x18(%rax)     # imm = 0x6A7A
movq %rax, 0x1083680(%rip)   # 0x1116928
jmp 0x93499
movq 0x108371c(%rip), %rsi   # 0x11169d0
testq %rsi, %rsi
jne 0x93499
movl $0x3, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x3, 0x10(%rax)
movw $0x4c7a, 0x18(%rax)     # imm = 0x4C7A
movb $0x50, 0x1a(%rax)
movq %rax, 0x10836ed(%rip)   # 0x11169d0
jmp 0x93499
movq 0x1083619(%rip), %rsi   # 0x1116908
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x667a, 0x18(%rax)     # imm = 0x667A
movq %rax, 0x10835ee(%rip)   # 0x1116908
jmp 0x93499
movq 0x1083632(%rip), %rsi   # 0x1116958
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x707a, 0x18(%rax)     # imm = 0x707A
movq %rax, 0x1083607(%rip)   # 0x1116958
jmp 0x93499
movq 0x10835db(%rip), %rsi   # 0x1116938
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x6c7a, 0x18(%rax)     # imm = 0x6C7A
movq %rax, 0x10835b0(%rip)   # 0x1116938
jmp 0x93499
movq 0x108361c(%rip), %rsi   # 0x11169b0
testq %rsi, %rsi
jne 0x93499
movl $0x3, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x3, 0x10(%rax)
movw $0x4c7a, 0x18(%rax)     # imm = 0x4C7A
movb $0x42, 0x1a(%rax)
movq %rax, 0x10835ed(%rip)   # 0x11169b0
jmp 0x93499
movq 0x10835a9(%rip), %rsi   # 0x1116978
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x747a, 0x18(%rax)     # imm = 0x747A
movq %rax, 0x108357e(%rip)   # 0x1116978
jmp 0x93499
movq 0x1083582(%rip), %rsi   # 0x1116988
testq %rsi, %rsi
jne 0x93499
movl $0x2, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x2, 0x10(%rax)
movw $0x767a, 0x18(%rax)     # imm = 0x767A
movq %rax, 0x1083557(%rip)   # 0x1116988
jmp 0x93499
movq 0x108358e(%rip), %rsi   # 0x11169c8
testq %rsi, %rsi
jne 0x93499
movl $0x3, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x3, 0x10(%rax)
movw $0x527a, 0x18(%rax)     # imm = 0x527A
movb $0x43, 0x1a(%rax)
movq %rax, 0x1083563(%rip)   # 0x11169c8
jmp 0x93499
movq 0x1083552(%rip), %rsi   # 0x11169c0
testq %rsi, %rsi
jne 0x93499
movl $0x3, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x3, 0x10(%rax)
movw $0x4c7a, 0x18(%rax)     # imm = 0x4C7A
movb $0x43, 0x1a(%rax)
movq %rax, 0x1083527(%rip)   # 0x11169c0
movq %rsi, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x934b9
incl (%rax)
movq %rbx, %rdi
callq 0xe069
movq %rax, %rbx
movl $0x3, %esi
movq %r14, %rdi
callq 0xe9fc
movq %rax, %r15
movq %rax, %r12
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %r12
sete %al
testb $0x3, %r15b
setne %cl
orb %al, %cl
jne 0x9352a
incl (%r12)
movl $0x1, %edi
movq %r15, %rsi
callq 0xe83a
movl (%r12), %ecx
testl %eax, %eax
jle 0x93544
movl $0x1, %r14d
decl %ecx
movl %ecx, (%r12)
jne 0x9354d
movq %r15, %rdi
leaq 0x7df06(%rip), %rsi     # 0x111429
callq 0xd13d
jmp 0x9354d
movl $0x1, %edi
movq %r15, %rsi
callq 0xe83a
testl %eax, %eax
movl $0x1, %eax
cmovgq %rax, %r15
jmp 0x9354a
incl %ecx
movl %ecx, (%r12)
movq %r15, %r14
incq %r13
jmp 0x92ca2
movq 0x108348c(%rip), %rsi   # 0x11169e8
testq %rsi, %rsi
jne 0x93581
movl $0x1, %edi
callq 0xf5e4
movq %rax, %rsi
movq $0x1, 0x10(%rax)
movb $0x7a, 0x18(%rax)
movq %rax, 0x1083467(%rip)   # 0x11169e8
movq %rsi, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x935a1
incl (%rax)
movq %rbx, %rdi
callq 0xe069
movq %rax, %rbx
movl %r12d, %edi
leaq -0x30(%rbp), %rsi
callq 0x836a4
movl %eax, %edi
callq 0x1147d
movq %rbx, %rdi
movq %rax, %rsi
callq 0xe069
movq %rax, %rbx
movl -0x30(%rbp), %edi
callq 0x1147d
movq %rbx, %rdi
movq %rax, %rsi
jmp 0x934bc
movq %r14, %rax
movabsq $0xfffffffffffc, %r13   # imm = 0xFFFFFFFFFFFC
andq %r13, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x93611
decl (%rax)
jne 0x93611
leaq 0x7db08(%rip), %rsi     # 0x111111
movq %r14, %rdi
callq 0xd13d
leaq 0x7db41(%rip), %r14     # 0x111159
cmpb $0x0, -0x29(%rbp)
movq -0x50(%rbp), %r15
movq -0x48(%rbp), %r12
je 0x9363a
movq -0x40(%rbp), %rax
decl (%rax)
jne 0x9363a
movq -0x38(%rbp), %rdi
movq %r14, %rsi
callq 0xd13d
andq %rbx, %r13
sete %al
testb $0x3, %bl
setne %cl
orb %al, %cl
jne 0x9364e
incl (%r13)
movq %rbx, %rdi
movq %r14, %rsi
movq %r12, %rdx
callq 0x14766
movq -0x58(%rbp), %r14
movq %r15, (%r14)
movq %rbx, %rax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq