// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_mirth_Diagnostic_diagnosticzj
static void mw_mirth_mirth_Diagnostic_diagnosticzj (struct mirth_mirth_zaMirth* in_zaMirth_1, STR* in_zaStr_2, struct mirth_mirth_Diagnostic* in_Diagnostic_3, struct mirth_mirth_zaMirth* *out_zaMirth_4, STR* *out_zaStr_5) {
	enum mirth_mirth_Severity v6;
	struct mirth_location_Location* v7;
	STR* v8;
	mtp_mirth_mirth_Diagnostic_Diagnostic(in_Diagnostic_3, &v6, &v7, &v8);
	struct mirth_mirth_zaMirth* v9;
	STR* v10;
	mw_mirth_location_Location_emitzj(in_zaMirth_1, in_zaStr_2, v7, &v9, &v10);
	STR* v11;
	STRLIT(v11, ": ", 2);
	STR* v12;
	mw_std_str_zaStr_pushzestrzx(v11, v10, &v12);
	STR* v13 = mw_mirth_mirth_Severity_zgStr(v6);
	STR* v14;
	mw_std_str_zaStr_pushzestrzx(v13, v12, &v14);
	STR* v15;
	STRLIT(v15, ": ", 2);
	STR* v16;
	mw_std_str_zaStr_pushzestrzx(v15, v14, &v16);
	STR* v17;
	mw_std_str_zaStr_pushzestrzx(v8, v16, &v17);
	*out_zaStr_5 = v17;
	*out_zaMirth_4 = v9;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %r8, -0x38(%rbp)
movq %rcx, -0x40(%rbp)
movq %rsi, %r12
movq %rdi, %r13
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
movl 0x4(%rdx), %r15d
movq 0x8(%rdx), %rbx
movq 0x10(%rdx), %rsi
decl (%rdx)
movq %rsi, -0x30(%rbp)
je 0x19e0b
movq %rbx, %rax
andq %r14, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x19df3
incl (%rax)
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x19e13
incl (%rax)
jmp 0x19e13
movq %rdx, %rdi
callq 0x5030
leaq -0x50(%rbp), %rcx
leaq -0x48(%rbp), %r8
movq %r13, %rdi
movq %r12, %rsi
movq %rbx, %rdx
callq 0x19306
movq 0x10f20b0(%rip), %rsi   # 0x110bee0
testq %rsi, %rsi
jne 0x19e4e
leaq 0xc2434(%rip), %rdi     # 0xdc270
pushq $0x2
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f2092(%rip)   # 0x110bee0
movq %rsi, %rax
andq %r14, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x19e64
incl (%rax)
movq -0x48(%rbp), %rdi
callq 0xd8b0
movq %rax, %r12
cmpl $0x2, %r15d
je 0x19ed3
cmpl $0x1, %r15d
je 0x19eac
testl %r15d, %r15d
jne 0x19f87
movq 0x10f2064(%rip), %rsi   # 0x110bef0
testq %rsi, %rsi
jne 0x19ef8
leaq 0xc1fa6(%rip), %rdi     # 0xdbe3e
pushq $0x4
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f2046(%rip)   # 0x110bef0
jmp 0x19ef8
movq 0x10f2045(%rip), %rsi   # 0x110bef8
testq %rsi, %rsi
jne 0x19ef8
leaq 0xbd8a2(%rip), %rdi     # 0xd7761
pushq $0x7
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f2027(%rip)   # 0x110bef8
jmp 0x19ef8
movq 0x10f2026(%rip), %rsi   # 0x110bf00
testq %rsi, %rsi
jne 0x19ef8
leaq 0xbd883(%rip), %rdi     # 0xd7769
pushq $0x5
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f2008(%rip)   # 0x110bf00
movq %rsi, %rax
andq %r14, %rax
setne %cl
testb $0x3, %sil
sete %dl
testb %dl, %cl
je 0x19f0e
incl (%rax)
movq %r12, %rdi
callq 0xd8b0
movq %rax, %rbx
movq 0x10f1fc8(%rip), %rsi   # 0x110bee8
testq %rsi, %rsi
jne 0x19f3e
leaq 0xc2344(%rip), %rdi     # 0xdc270
pushq $0x2
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10f1faa(%rip)   # 0x110bee8
andq %rsi, %r14
sete %al
testb $0x3, %sil
setne %cl
orb %al, %cl
jne 0x19f52
incl (%r14)
movq %rbx, %rdi
callq 0xd8b0
movq %rax, %rdi
movq -0x30(%rbp), %rsi
callq 0xd8b0
movq -0x38(%rbp), %rcx
movq %rax, (%rcx)
movq -0x50(%rbp), %rax
movq -0x40(%rbp), %rcx
movq %rax, (%rcx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xba87f(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6