// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_c99_zaC99Value_pushzevaluezedirectzx
static void mw_mirth_c99_zaC99Value_pushzevaluezedirectzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_c99_zaC99Branch* in_zaC99Branch_2, struct mirth_c99_zaC99Value* in_zaC99Value_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, struct mirth_c99_zaC99Branch* *out_zaC99Branch_5) {
	struct mirth_mirth_zaMirth* v6;
	STR* v7 = mw_mirth_c99_zaC99Value_consumezeaszeVAL(in_zaMirth_1, in_zaC99Value_3, &v6);
	bool v8 = in_zaC99Branch_2->mreachable;
	struct mirth_c99_zaC99* r9 = in_zaC99Branch_2->mzac99;
	bool v10 = r9->mputzeenabled;
	bool v11 = (v8 && v10);
	r9->mputzeenabled = v11;
	struct mirth_mirth_zaMirth* v12;
	struct mirth_c99_zaC99* v13;
	mw_mirth_c99_zaC99_indent(v6, r9, &v12, &v13);
	STR* v14;
	STRLIT(v14, "push_value(", 11);
	struct mirth_mirth_zaMirth* v15;
	struct mirth_c99_zaC99* v16;
	mw_mirth_c99_zaC99_put(v12, v13, v14, &v15, &v16);
	struct mirth_mirth_zaMirth* v17;
	struct mirth_c99_zaC99* v18;
	mw_mirth_c99_zaC99_put(v15, v16, v7, &v17, &v18);
	STR* v19;
	STRLIT(v19, ");", 2);
	struct mirth_mirth_zaMirth* v20;
	struct mirth_c99_zaC99* v21;
	mw_mirth_c99_zaC99_put(v17, v18, v19, &v20, &v21);
	struct mirth_mirth_zaMirth* v22;
	struct mirth_c99_zaC99* v23;
	mw_mirth_c99_zaC99_line(v20, v21, &v22, &v23);
	v23->mputzeenabled = v10;
	in_zaC99Branch_2->mzac99 = v23;
	*out_zaC99Branch_5 = in_zaC99Branch_2;
	*out_zaMirth_4 = v22;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x140, %rsp            # imm = 0x140
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
leaq -0x30(%rbp), %rdx
callq 0x2a0ad0
movq %rax, -0x38(%rbp)
movq -0x10(%rbp), %rax
movb 0x28(%rax), %al
andb $0x1, %al
movb %al, -0x39(%rbp)
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rax
movb 0x18(%rax), %al
andb $0x1, %al
movb %al, -0x49(%rbp)
xorl %eax, %eax
testb $0x1, -0x39(%rbp)
movb %al, -0x131(%rbp)
je 0x2aa06e
movb -0x49(%rbp), %al
movb %al, -0x131(%rbp)
movb -0x131(%rbp), %al
andb $0x1, %al
movb %al, -0x4a(%rbp)
movb -0x4a(%rbp), %cl
movq -0x48(%rbp), %rax
andb $0x1, %cl
movb %cl, 0x18(%rax)
movq -0x30(%rbp), %rdi
movq -0x48(%rbp), %rsi
leaq -0x58(%rbp), %rdx
leaq -0x60(%rbp), %rcx
callq 0x22a120
cmpq $0x0, 0x10edef5(%rip)   # 0x1397f98
jne 0x2aa0bd
leaq 0xc3ad0(%rip), %rdi     # 0x36db7c
movl $0xb, %esi
callq 0xb6c0
movq %rax, 0x10ededb(%rip)   # 0x1397f98
jmp 0x2aa0bf
movq 0x10eded2(%rip), %rax   # 0x1397f98
movq %rax, -0x78(%rbp)
leaq 0xe7087(%rip), %rax     # 0x391158
orq $0x1, %rax
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x2aa188
movq 0x10edea6(%rip), %rax   # 0x1397f98
movq %rax, -0x88(%rbp)
leaq 0xe7058(%rip), %rax     # 0x391158
orq $0x1, %rax
movq %rax, -0x80(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x88(%rbp), %rax
cmpq $0x0, %rax
je 0x2aa188
movq 0x10ede72(%rip), %rax   # 0x1397f98
movq %rax, -0x98(%rbp)
leaq 0xe7024(%rip), %rax     # 0x391158
orq $0x1, %rax
movq %rax, -0x90(%rbp)
movq -0x98(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x2aa188
movq 0x10ede41(%rip), %rax   # 0x1397f98
movq %rax, -0xa8(%rbp)
leaq 0xe6ff3(%rip), %rax     # 0x391158
orq $0x1, %rax
movq %rax, -0xa0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xa8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x2aa18a
movq 0x10ede07(%rip), %rax   # 0x1397f98
movq %rax, -0x68(%rbp)
movq -0x58(%rbp), %rdi
movq -0x60(%rbp), %rsi
movq -0x68(%rbp), %rdx
leaq -0xb0(%rbp), %rcx
leaq -0xb8(%rbp), %r8
callq 0x220040
movq -0xb0(%rbp), %rdi
movq -0xb8(%rbp), %rsi
movq -0x38(%rbp), %rdx
leaq -0xc0(%rbp), %rcx
leaq -0xc8(%rbp), %r8
callq 0x220040
cmpq $0x0, 0x10eddbf(%rip)   # 0x1397fa0
jne 0x2aa1fb
leaq 0xc38c9(%rip), %rdi     # 0x36dab3
movl $0x2, %esi
callq 0xb6c0
movq %rax, 0x10edda5(%rip)   # 0x1397fa0
jmp 0x2aa1fd
movq 0x10edd9c(%rip), %rax   # 0x1397fa0
movq %rax, -0xe0(%rbp)
leaq 0xe6f46(%rip), %rax     # 0x391158
orq $0x1, %rax
movq %rax, -0xd8(%rbp)
movq -0xd8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x2aa2d2
movq 0x10edd67(%rip), %rax   # 0x1397fa0
movq %rax, -0xf0(%rbp)
leaq 0xe6f11(%rip), %rax     # 0x391158
orq $0x1, %rax
movq %rax, -0xe8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xf0(%rbp), %rax
cmpq $0x0, %rax
je 0x2aa2d2
movq 0x10edd30(%rip), %rax   # 0x1397fa0
movq %rax, -0x100(%rbp)
leaq 0xe6eda(%rip), %rax     # 0x391158
orq $0x1, %rax
movq %rax, -0xf8(%rbp)
movq -0x100(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x2aa2d2
movq 0x10edcff(%rip), %rax   # 0x1397fa0
movq %rax, -0x110(%rbp)
leaq 0xe6ea9(%rip), %rax     # 0x391158
orq $0x1, %rax
movq %rax, -0x108(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x110(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x2aa2d4
movq 0x10edcc5(%rip), %rax   # 0x1397fa0
movq %rax, -0xd0(%rbp)
movq -0xc0(%rbp), %rdi
movq -0xc8(%rbp), %rsi
movq -0xd0(%rbp), %rdx
leaq -0x118(%rbp), %rcx
leaq -0x120(%rbp), %r8
callq 0x220040
movq -0x118(%rbp), %rdi
movq -0x120(%rbp), %rsi
leaq -0x128(%rbp), %rdx
leaq -0x130(%rbp), %rcx
callq 0x2201d0
movb -0x49(%rbp), %cl
movq -0x130(%rbp), %rax
andb $0x1, %cl
movb %cl, 0x18(%rax)
movq -0x130(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, (%rax)
movq -0x128(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, (%rax)
addq $0x140, %rsp            # imm = 0x140
popq %rbp
retq
nopl (%rax,%rax)