// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_c99_C99ReprType_valuezeexpressionzx_1_sp2
static void mw_mirth_c99_C99ReprType_valuezeexpressionzx_1_sp2 (uint64_t in_Label_1, STR* in_Str_2, struct mirth_mirth_zaMirth* in_zaMirth_3, struct mirth_c99_zaC99Branch* in_zaC99Branch_4, struct mirth_c99_C99ReprType in_C99ReprType_5, STR* *out_Str_6, uint64_t *out_Label_7, struct mirth_mirth_zaMirth* *out_zaMirth_8, struct mirth_c99_zaC99Branch* *out_zaC99Branch_9, struct mirth_c99_zaC99Value* *out_zaC99Value_10) {
	incref(MK_mirth_c99_C99ReprType(in_C99ReprType_5));
	struct mirth_mirth_zaMirth* v11;
	bool v12 = mw_mirth_c99_C99ReprType_iszephysicalzy(in_zaMirth_3, in_C99ReprType_5, &v11);
	uint64_t branch_Label_13;
	STR* branch_Str_14;
	struct mirth_c99_C99ReprType branch_C99ReprType_15;
	bool branch_Bool_16;
	struct mirth_mirth_zaMirth* branch_zaMirth_17;
	STR* branch_Str_18;
	struct mirth_c99_zaC99Branch* branch_zaC99Branch_19;
	if (v12) {
		struct mirth_c99_zaC99* r20 = in_zaC99Branch_4->mzac99;
		struct mirth_mirth_zaMirth* v21;
		struct mirth_c99_zaC99* v22;
		STR* v23 = mw_mirth_c99_zaC99_freshzenamezx(v11, r20, &v21, &v22);
		in_zaC99Branch_4->mzac99 = v22;
		branch_zaC99Branch_19 = in_zaC99Branch_4;
		branch_Str_18 = v23;
		branch_zaMirth_17 = v21;
		branch_Bool_16 = v12;
		branch_C99ReprType_15 = in_C99ReprType_5;
		branch_Str_14 = in_Str_2;
		branch_Label_13 = in_Label_1;
	} else {
		STR* v24;
		STRLIT(v24, "0", 1);
		branch_zaC99Branch_19 = in_zaC99Branch_4;
		branch_Str_18 = v24;
		branch_zaMirth_17 = v11;
		branch_Bool_16 = v12;
		branch_C99ReprType_15 = in_C99ReprType_5;
		branch_Str_14 = in_Str_2;
		branch_Label_13 = in_Label_1;
	}
	bool v25 = branch_zaC99Branch_19->mreachable;
	bool v26 = (branch_Bool_16 && v25);
	struct mirth_c99_zaC99* r27 = branch_zaC99Branch_19->mzac99;
	bool v28 = r27->mputzeenabled;
	bool v29 = (v26 && v28);
	r27->mputzeenabled = v29;
	struct mirth_mirth_zaMirth* v30;
	struct mirth_c99_zaC99* v31;
	mw_mirth_c99_zaC99_indent(branch_zaMirth_17, r27, &v30, &v31);
	incref(MK_mirth_c99_C99ReprType(branch_C99ReprType_15));
	struct mirth_mirth_zaMirth* v32;
	STR* v33 = mw_mirth_c99_C99ReprType_underlyingzec99zetype(v30, branch_C99ReprType_15, &v32);
	struct mirth_mirth_zaMirth* v34;
	struct mirth_c99_zaC99* v35;
	mw_mirth_c99_zaC99_put(v32, v31, v33, &v34, &v35);
	STR* v36;
	STRLIT(v36, " ", 1);
	struct mirth_mirth_zaMirth* v37;
	struct mirth_c99_zaC99* v38;
	mw_mirth_c99_zaC99_put(v34, v35, v36, &v37, &v38);
	incref(MKSTR(branch_Str_18));
	struct mirth_mirth_zaMirth* v39;
	struct mirth_c99_zaC99* v40;
	mw_mirth_c99_zaC99_put(v37, v38, branch_Str_18, &v39, &v40);
	STR* v41;
	STRLIT(v41, " = ", 3);
	struct mirth_mirth_zaMirth* v42;
	struct mirth_c99_zaC99* v43;
	mw_mirth_c99_zaC99_put(v39, v40, v41, &v42, &v43);
	struct mirth_c99_zaC99Value* v44;
	mtw_mirth_c99_zaC99Value_zaC99Value(branch_C99ReprType_15, branch_Str_18, &v44);
	incref(MKSTR(branch_Str_14));
	struct mirth_mirth_zaMirth* v45;
	struct mirth_c99_zaC99* v46;
	mw_mirth_c99_zaC99_put(v42, v43, branch_Str_14, &v45, &v46);
	STR* v47;
	STRLIT(v47, "->m", 3);
	struct mirth_mirth_zaMirth* v48;
	struct mirth_c99_zaC99* v49;
	mw_mirth_c99_zaC99_put(v45, v46, v47, &v48, &v49);
	struct mirth_mirth_zaMirth* v50;
	uint64_t v51 = mw_mirth_label_Label_name(v48, branch_Label_13, &v50);
	struct mirth_mirth_zaMirth* v52;
	STR* v53 = mw_mirth_name_Name_mangled(v50, v51, &v52);
	struct mirth_mirth_zaMirth* v54;
	struct mirth_c99_zaC99* v55;
	mw_mirth_c99_zaC99_put(v52, v49, v53, &v54, &v55);
	STR* v56;
	STRLIT(v56, ";", 1);
	struct mirth_mirth_zaMirth* v57;
	struct mirth_c99_zaC99* v58;
	mw_mirth_c99_zaC99_put(v54, v55, v56, &v57, &v58);
	struct mirth_mirth_zaMirth* v59;
	struct mirth_c99_zaC99* v60;
	mw_mirth_c99_zaC99_line(v57, v58, &v59, &v60);
	v60->mputzeenabled = v28;
	branch_zaC99Branch_19->mzac99 = v60;
	*out_zaC99Value_10 = v44;
	*out_zaC99Branch_9 = branch_zaC99Branch_19;
	*out_zaMirth_8 = v59;
	*out_Label_7 = branch_Label_13;
	*out_Str_6 = branch_Str_14;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xf8, %rsp
movl %r8d, -0x2c(%rbp)
movq %rcx, -0x38(%rbp)
movq %rsi, -0x48(%rbp)
movq %rdi, -0x68(%rbp)
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
movq %r9, %r12
andq %r15, %r12
setne %al
movq %r9, -0x40(%rbp)
testb $0x3, %r9b
sete %r13b
andb %al, %r13b
cmpb $0x1, %r13b
jne 0xd08df
incl (%r12)
leaq -0x70(%rbp), %rcx
movq %rdx, %rdi
movl -0x2c(%rbp), %esi
movq -0x40(%rbp), %rdx
callq 0x9e05c
movl %eax, %ebx
testb %al, %al
je 0xd0929
movq -0x38(%rbp), %r14
movq (%r14), %rsi
movq -0x70(%rbp), %rdi
leaq -0x58(%rbp), %rdx
leaq -0x50(%rbp), %rcx
callq 0xa5737
movq %r14, %rcx
movq %rax, %r14
leaq -0x50(%rbp), %rax
movq (%rax), %rsi
movq %rsi, (%rcx)
leaq -0x58(%rbp), %rax
movq (%rax), %rdi
jmp 0xd096f
movq 0x103fda0(%rip), %r14   # 0x11106d0
testq %r14, %r14
jne 0xd094e
leaq 0x1dc39(%rip), %rdi     # 0xee575
pushq $0x1
popq %rsi
callq 0x8a21
movq %rax, %r14
movq %rax, 0x103fd82(%rip)   # 0x11106d0
movq %r14, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0xd0964
incl (%rax)
movq -0x70(%rbp), %rdi
movq -0x38(%rbp), %rcx
movq (%rcx), %rsi
xorl %eax, %eax
testb %bl, 0x28(%rcx)
movl 0x18(%rsi), %ecx
movl %ecx, -0x5c(%rbp)
cmovnel %ecx, %eax
movb %al, 0x18(%rsi)
leaq -0x58(%rbp), %rdx
leaq -0x50(%rbp), %rcx
callq 0x8bc28
testb %r13b, %r13b
je 0xd0996
incl (%r12)
movq -0x58(%rbp), %rdi
leaq -0x120(%rbp), %rbx
movl -0x2c(%rbp), %esi
movq -0x40(%rbp), %rdx
movq %rbx, %rcx
callq 0x9c7be
movq (%rbx), %rdi
movq -0x50(%rbp), %rsi
leaq -0xd8(%rbp), %rcx
leaq -0xd0(%rbp), %r8
movq %rax, %rdx
callq 0x8a8a9
movq 0x103fd04(%rip), %rdx   # 0x11106d8
testq %rdx, %rdx
jne 0xd09f2
leaq 0x5427(%rip), %rdi      # 0xd5e07
pushq $0x1
popq %rsi
callq 0x8a21
movq %rax, %rdx
movq %rax, 0x103fce6(%rip)   # 0x11106d8
movq %rdx, %rax
andq %r15, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0xd0a09
incl (%rax)
movq -0xd8(%rbp), %rdi
movq -0xd0(%rbp), %rsi
leaq -0xc8(%rbp), %rcx
leaq -0xc0(%rbp), %r8
callq 0x8a8a9
movq %r14, %rax
andq %r15, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0xd0a40
incl (%rax)
movq -0xc8(%rbp), %rdi
movq -0xc0(%rbp), %rsi
leaq -0xb8(%rbp), %rcx
leaq -0xb0(%rbp), %r8
movq %r14, %rdx
callq 0x8a8a9
movq 0x103fc75(%rip), %rdx   # 0x11106e0
testq %rdx, %rdx
jne 0xd0a89
leaq 0xbc65(%rip), %rdi      # 0xdc6dc
pushq $0x3
popq %rsi
callq 0x8a21
movq %rax, %rdx
movq %rax, 0x103fc57(%rip)   # 0x11106e0
movq %rdx, %rax
andq %r15, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0xd0aa0
incl (%rax)
movq -0xb8(%rbp), %rdi
movq -0xb0(%rbp), %rsi
leaq -0xa8(%rbp), %rcx
leaq -0xa0(%rbp), %r8
callq 0x8a8a9
leaq -0x98(%rbp), %rcx
movl -0x2c(%rbp), %edi
movq -0x40(%rbp), %rsi
movq %r14, %rdx
callq 0xa496b
movq -0x48(%rbp), %rdx
movq %rdx, %rax
andq %r15, %rax
sete %cl
testb $0x3, %dl
setne %dl
orb %cl, %dl
jne 0xd0af0
incl (%rax)
movq -0xa8(%rbp), %rdi
movq -0xa0(%rbp), %rsi
leaq -0x90(%rbp), %rcx
leaq -0x88(%rbp), %r8
movq -0x48(%rbp), %rdx
callq 0x8a8a9
movq 0x103fbcc(%rip), %rdx   # 0x11106e8
testq %rdx, %rdx
jne 0xd0b3a
leaq 0x1e29a(%rip), %rdi     # 0xeedc2
pushq $0x3
popq %rsi
callq 0x8a21
movq %rax, %rdx
movq %rax, 0x103fbae(%rip)   # 0x11106e8
movq %rdx, %rax
andq %r15, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0xd0b51
incl (%rax)
movq -0x90(%rbp), %rdi
movq -0x88(%rbp), %rsi
leaq -0x118(%rbp), %rbx
leaq -0x110(%rbp), %r14
movq %rbx, %rcx
movq %r14, %r8
callq 0x8a8a9
movq (%rbx), %rdi
leaq -0x108(%rbp), %rbx
movq -0x68(%rbp), %rsi
movq %rbx, %rdx
callq 0x37055
movq (%rbx), %rdi
leaq -0x100(%rbp), %rbx
movq %rax, %rsi
movq %rbx, %rdx
callq 0x8b231
movq (%rbx), %rdi
movq (%r14), %rsi
leaq -0x80(%rbp), %rcx
leaq -0x78(%rbp), %r8
movq %rax, %rdx
callq 0x8a8a9
movq 0x103fb30(%rip), %rdx   # 0x11106f0
testq %rdx, %rdx
jne 0xd0bde
leaq 0x1d541(%rip), %rdi     # 0xee10d
pushq $0x1
popq %rsi
callq 0x8a21
movq %rax, %rdx
movq %rax, 0x103fb12(%rip)   # 0x11106f0
movq 0x30(%rbp), %r13
movq 0x28(%rbp), %r12
andq %rdx, %r15
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0xd0bf9
incl (%r15)
movq -0x80(%rbp), %rdi
movq -0x78(%rbp), %rsi
leaq -0xf8(%rbp), %rbx
leaq -0xf0(%rbp), %r14
movq %rbx, %rcx
movq %r14, %r8
callq 0x8a8a9
movq (%rbx), %rdi
movq (%r14), %rsi
leaq -0xe8(%rbp), %rbx
leaq -0xe0(%rbp), %r14
movq %rbx, %rdx
movq %r14, %rcx
callq 0x8a92c
movq (%r14), %rax
movl -0x5c(%rbp), %ecx
movb %cl, 0x18(%rax)
movq -0x38(%rbp), %rcx
movq %rax, (%rcx)
movq -0x98(%rbp), %rax
movq %rax, (%r13)
movq %rcx, (%r12)
movq (%rbx), %rax
movq 0x20(%rbp), %rcx
movq %rax, (%rcx)
movq -0x68(%rbp), %rax
movq 0x18(%rbp), %rcx
movq %rax, (%rcx)
movq -0x48(%rbp), %rax
movq 0x10(%rbp), %rcx
movq %rax, (%rcx)
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq