// File: /workspace/github_c_makefile_star2_O2/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_c99_C99DataStructRepr_Make
static struct mirth_c99_C99DataStructRepr* mw_mirth_c99_C99DataStructRepr_Make (struct mirth_mirth_zaMirth* in_zaMirth_1, uint64_t in_Tag_2, struct mirth_mirth_zaMirth* *out_zaMirth_3) {
	struct mirth_mirth_zaMirth* v5;
	bool v6 = mw_mirth_data_Tag_onlyzetagzy(in_zaMirth_1, in_Tag_2, &v5);
	uint64_t branch_Tag_7;
	struct mirth_mirth_zaMirth* branch_zaMirth_8;
	STR* branch_Str_9;
	if (v6) {
		struct mirth_mirth_zaMirth* v10;
		uint64_t v11 = mw_mirth_data_Tag_data(v5, in_Tag_2, &v10);
		struct mirth_mirth_zaMirth* v12;
		STR* v13 = mw_mirth_data_Data_cname(v10, v11, &v12);
		branch_Str_9 = v13;
		branch_zaMirth_8 = v12;
		branch_Tag_7 = in_Tag_2;
	} else {
		struct mirth_mirth_zaMirth* v14;
		STR* v15 = mw_mirth_data_Tag_cname(v5, in_Tag_2, &v14);
		branch_Str_9 = v15;
		branch_zaMirth_8 = v14;
		branch_Tag_7 = in_Tag_2;
	}
	struct mirth_mirth_zaMirth* v16;
	struct std_list_List_1 v17 = mw_mirth_data_Tag_inputs(branch_zaMirth_8, branch_Tag_7, &v16);
	struct mirth_mirth_zaMirth* v18;
	struct std_list_List_1 v19 = mw_mirth_c99_c99zeinputszetozestructzefields(v16, v17, &v18);
	struct mirth_c99_C99DataStructRepr* v20 = mtw_mirth_c99_C99DataStructRepr_C99DataStructRepr(branch_Tag_7, branch_Str_9, v19);
	*out_zaMirth_3 = v18;
	return v20;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
movq %rdx, %r12
movq %rsi, %r13
leaq -0xa0(%rbp), %rdx
callq 0x9330e
testb %al, %al
je 0x94093
movq -0xa0(%rbp), %rdi
leaq -0xb0(%rbp), %rbx
movq %r13, %rsi
movq %rbx, %rdx
callq 0x172b6
movq (%rbx), %rdi
leaq -0x88(%rbp), %rbx
movq %rax, %rsi
movq %rbx, %rdx
callq 0x9339f
jmp 0x940ac
movq -0xa0(%rbp), %rdi
leaq -0xb0(%rbp), %rbx
movq %r13, %rsi
movq %rbx, %rdx
callq 0x93459
movq %rax, %r14
movq (%rbx), %rdi
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
leaq -0xe0(%rbp), %rbx
movq %r13, %rsi
movq %rbx, %rdx
callq 0x7187e
movq (%rbx), %rcx
movq %rcx, -0x38(%rbp)
movq %r15, %rbx
movl %eax, %edi
movq %rdx, %rsi
callq 0xcd32
movq $0x0, -0x98(%rbp)
pushq $0x1
popq %rcx
leaq -0xb0(%rbp), %rsi
movq %rcx, -0x78(%rbp)
movq $0x0, -0x48(%rbp)
xorl %r15d, %r15d
movb $0x1, %cl
movq %rdx, %rdi
testb $0x1, %cl
je 0x94642
xorl %ecx, %ecx
movl $0x0, %edx
testl %eax, %eax
je 0x94108
cmpl $0x1, %eax
jne 0x94743
callq 0xce01
movq %rax, %rsi
andq %rbx, %rsi
testb $0x1, %dl
je 0x94149
testq %rsi, %rsi
sete %cl
testb $0x3, %al
setne %dl
orb %cl, %dl
jne 0x94149
incl (%rsi)
shrq $0x30, %rax
cmpw $0x3, %ax
ja 0x94743
leaq 0x3f93e(%rip), %rcx     # 0xd3a9c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
movq %r15, -0xd0(%rbp)
movq %r14, -0xd8(%rbp)
movq %rsi, -0xc8(%rbp)
jmpq *%rax
movq %rsi, %rdi
callq 0x3aac9
movl %eax, %r14d
movq %rdx, %r15
movq %rdx, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x941a0
incl (%rax)
movq -0x38(%rbp), %rdi
movl %r14d, %esi
movq %r15, %rdx
leaq -0x88(%rbp), %rcx
callq 0x93a82
movl %eax, -0x40(%rbp)
movq %rdx, -0x90(%rbp)
movq -0x88(%rbp), %rdi
movl %r14d, %esi
movq %r15, %rdx
leaq -0x60(%rbp), %rcx
callq 0x2a670
movq %rdx, %rcx
movq -0x60(%rbp), %rsi
movq -0x78(%rbp), %rdi
movl %eax, %edx
leaq -0x58(%rbp), %r8
leaq -0x50(%rbp), %r9
callq 0x94782
movq %rax, -0x30(%rbp)
movq -0x50(%rbp), %rax
movq %rax, -0x38(%rbp)
movq -0x58(%rbp), %rax
movq %rax, -0x78(%rbp)
movl $0x0, -0x3c(%rbp)
jmp 0x94359
movq %rsi, %rdi
callq 0x3ab5d
movl %eax, %r14d
movq %rdx, %r15
movq %rdx, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x94234
incl (%rax)
movq -0x38(%rbp), %rdi
movl %r14d, %esi
movq %r15, %rdx
leaq -0x88(%rbp), %rcx
callq 0x93f7e
movl %eax, -0x40(%rbp)
movq %rdx, -0x90(%rbp)
movq -0x88(%rbp), %rdi
movl %r14d, %esi
movq %r15, %rdx
leaq -0x60(%rbp), %rcx
callq 0x666fd
movq %rdx, %rcx
movq -0x60(%rbp), %rsi
movq -0x78(%rbp), %rdi
movl %eax, %edx
leaq -0x58(%rbp), %r8
leaq -0x50(%rbp), %r9
callq 0x94782
movq %rax, -0x30(%rbp)
movq -0x50(%rbp), %rax
movq %rax, -0x38(%rbp)
movq -0x58(%rbp), %rax
movq %rax, -0x78(%rbp)
pushq $0x2
jmp 0x94355
movq %rsi, %rdi
leaq -0x88(%rbp), %rsi
callq 0x3ab9d
movq -0x38(%rbp), %rdi
movl %eax, %esi
leaq -0x60(%rbp), %rcx
callq 0x93f7e
movl %eax, -0x40(%rbp)
movq %rdx, -0x90(%rbp)
movq -0x60(%rbp), %rdi
movq -0x88(%rbp), %rsi
leaq -0x58(%rbp), %rdx
callq 0x37055
movq -0x58(%rbp), %rdi
movq %rax, %rsi
leaq -0x50(%rbp), %rdx
callq 0x8b231
movq %rax, -0x30(%rbp)
movq -0x50(%rbp), %rax
movq %rax, -0x38(%rbp)
pushq $0x3
jmp 0x94355
movq %rsi, %rdi
leaq -0x88(%rbp), %rsi
callq 0x3ab09
movq -0x38(%rbp), %rdi
movl %eax, %esi
leaq -0x60(%rbp), %rcx
callq 0x93a82
movl %eax, -0x40(%rbp)
movq %rdx, -0x90(%rbp)
movq -0x60(%rbp), %rdi
movq -0x88(%rbp), %rsi
leaq -0x58(%rbp), %rdx
callq 0x37055
movq -0x58(%rbp), %rdi
movq %rax, %rsi
leaq -0x50(%rbp), %rdx
callq 0x8b231
movq %rax, -0x30(%rbp)
movq -0x50(%rbp), %rax
movq %rax, -0x38(%rbp)
pushq $0x1
popq %rax
movl %eax, -0x3c(%rbp)
movq -0x98(%rbp), %r15
movq %r15, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x94376
incl (%rax)
movq -0x30(%rbp), %rcx
movq %rcx, %rax
andq %rbx, %rax
movq %rax, -0x70(%rbp)
setne %al
testb $0x3, %cl
sete %r14b
andb %al, %r14b
movq -0x48(%rbp), %rdi
movq %r15, %rcx
pushq $0x1
popq %rax
movq %rax, -0x68(%rbp)
movb $0x1, %dl
movq %rcx, %rax
testb $0x1, %dl
je 0x9440e
xorl %edx, %edx
movl $0x0, %ecx
testl %edi, %edi
je 0x943a1
cmpl $0x1, %edi
jne 0x94743
movq %rax, %rdi
leaq -0x88(%rbp), %rsi
callq 0xce01
testb %r14b, %r14b
je 0x943d7
movq -0x70(%rbp), %rcx
incl (%rcx)
movq %rax, %rdi
movq %rdx, %rsi
callq 0x8b55
movq %rax, %rdi
movq -0x30(%rbp), %rsi
callq 0xd769
testl %eax, %eax
jne 0x94402
movq -0x68(%rbp), %rdi
pushq $0x3
popq %rsi
callq 0xdd03
movq %rax, -0x68(%rbp)
movl -0x88(%rbp), %edi
movq -0x80(%rbp), %rcx
jmp 0x9439f
movq %rax, %rcx
andq %rbx, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x94439
decl (%rcx)
jne 0x94439
shlq $0x30, %rdi
orq %rax, %rdi
leaq 0x73e45(%rip), %rsi     # 0x108279
callq 0xce94
testb %r14b, %r14b
je 0x94444
movq -0x70(%rbp), %rax
incl (%rax)
movq -0x30(%rbp), %rdi
leaq 0x73d0a(%rip), %rsi     # 0x108159
movq -0x48(%rbp), %rdx
movq %r15, %rcx
callq 0xcf39
movq %rdx, -0x98(%rbp)
movq 0x107975f(%rip), %r15   # 0x110dbc8
testq %r15, %r15
jne 0x94487
leaq 0x5a94f(%rip), %rdi     # 0xeedc4
pushq $0x1
popq %rsi
callq 0x8a21
movq %rax, %r15
movq %rax, 0x1079741(%rip)   # 0x110dbc8
movq %r13, -0xb8(%rbp)
movq %r12, -0xc0(%rbp)
movq %r15, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x944ab
incl (%rax)
movq -0x68(%rbp), %rcx
movq %rcx, %r13
andq %rbx, %r13
setne %al
testb $0x3, %cl
sete %r12b
andb %al, %r12b
cmpb $0x1, %r12b
jne 0x944cc
incl (%r13)
pushq $0x1
popq %rdi
movq -0x68(%rbp), %rsi
callq 0x89cc
testb %al, %al
je 0x94550
testb %r14b, %r14b
je 0x944e7
movq -0x70(%rbp), %rax
incl (%rax)
movq 0x10796e2(%rip), %rsi   # 0x110dbd0
testq %rsi, %rsi
jne 0x9450c
leaq 0x44ad6(%rip), %rdi     # 0xd8fd0
pushq $0x1
popq %rsi
callq 0x8a21
movq %rax, %rsi
movq %rax, 0x10796c4(%rip)   # 0x110dbd0
movq %rsi, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %sil
setne %dl
orb %cl, %dl
jne 0x94522
incl (%rax)
movq -0x30(%rbp), %rdi
callq 0xd8b0
movq %rax, %rbx
testb %r12b, %r12b
je 0x94537
incl (%r13)
movq -0x68(%rbp), %rdi
callq 0xf51c
movq %rbx, %rdi
movq %rax, %rsi
callq 0xd8b0
movq %rax, %rsi
jmp 0x94563
movq -0x30(%rbp), %rsi
testb %r14b, %r14b
je 0x94563
movq -0x70(%rbp), %rax
incl (%rax)
movq -0x30(%rbp), %rsi
movq %r15, %rdi
callq 0xd8b0
movq %rax, %rbx
pushq $0x1
popq %rdi
pushq $0x30
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x94763
movl $0x1, (%rax)
movq %rbx, 0x28(%rax)
movl -0x40(%rbp), %ecx
movl %ecx, 0x18(%rax)
movq -0x90(%rbp), %rcx
movq %rcx, 0x20(%rax)
movl -0x3c(%rbp), %ecx
movl %ecx, 0x8(%rax)
movq -0xc8(%rbp), %rcx
movq %rcx, 0x10(%rax)
movq %rax, %rdi
leaq 0x759b9(%rip), %rsi     # 0x109f71
movq -0x48(%rbp), %rdx
movq -0xd0(%rbp), %rcx
callq 0xcf39
movq %rdx, %r15
testb %r12b, %r12b
je 0x945e6
decl (%r13)
jne 0x945e6
movq -0x68(%rbp), %rdi
leaq 0x73e48(%rip), %rsi     # 0x108429
callq 0xce94
testb %r14b, %r14b
movq -0xc0(%rbp), %r12
movabsq $0xfffffffffffc, %rbx   # imm = 0xFFFFFFFFFFFC
je 0x94614
movq -0x70(%rbp), %rax
decl (%rax)
jne 0x94614
movq -0x30(%rbp), %rdi
leaq 0x73b4a(%rip), %rsi     # 0x108159
callq 0xce94
movl -0xb0(%rbp), %eax
movq -0xa8(%rbp), %rdx
pushq $0x1
popq %rcx
movq %rcx, -0x48(%rbp)
movq -0xb8(%rbp), %r13
movq -0xd8(%rbp), %r14
leaq -0xb0(%rbp), %rsi
jmp 0x94106
movq %rdi, %rcx
andq %rbx, %rcx
sete %dl
testb $0x3, %dil
setne %sil
orb %dl, %sil
jne 0x94672
decl (%rcx)
jne 0x94672
shlq $0x30, %rax
orq %rdi, %rax
movq %rax, %rdi
leaq 0x73c0c(%rip), %rsi     # 0x108279
callq 0xce94
movq %r15, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x946a2
cmpl $0x0, (%rax)
jne 0x946a2
movq -0x48(%rbp), %rdi
shlq $0x30, %rdi
orq %r15, %rdi
leaq 0x73bdc(%rip), %rsi     # 0x108279
callq 0xce94
movq -0x98(%rbp), %rdx
movq %rdx, %rax
andq %rbx, %rax
sete %cl
testb $0x3, %dl
setne %dl
orb %cl, %dl
jne 0x946db
decl (%rax)
jne 0x946db
movq -0x48(%rbp), %rdi
shlq $0x30, %rdi
orq -0x98(%rbp), %rdi
leaq 0x73ba3(%rip), %rsi     # 0x108279
callq 0xce94
movq -0x78(%rbp), %rdi
andq %rdi, %rbx
sete %al
testb $0x3, %dil
setne %cl
orb %al, %cl
jne 0x94700
decl (%rbx)
jne 0x94700
leaq 0x73d2e(%rip), %rsi     # 0x108429
callq 0xce94
pushq $0x1
popq %rdi
pushq $0x28
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x9475a
movl $0x1, (%rax)
movq -0x48(%rbp), %rcx
movl %ecx, 0x18(%rax)
movq %r15, 0x20(%rax)
movq %r14, 0x10(%rax)
movq %r13, 0x8(%rax)
movq -0x38(%rbp), %rcx
movq %rcx, (%r12)
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x400c3(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
leaq 0x58c33(%rip), %rsi     # 0xed394
jmp 0x9476a
leaq 0x58b73(%rip), %rsi     # 0xed2dd
pushq $0x2
popq %rdi
pushq $0x31
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130