// File: /workspace/github_c_makefile_star2_O1/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_match_zaPattern_underscorezx
static void mw_mirth_match_zaPattern_underscorezx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_match_Pattern* in_zaPattern_2, struct mirth_mirth_zaMirth* *out_zaMirth_3, struct mirth_match_Pattern* *out_zaPattern_4) {
	incref(MK_mirth_match_Pattern(in_zaPattern_2));
	uint64_t v5 = in_zaPattern_2->mtokenzestart;
	decref(MK_mirth_match_Pattern(in_zaPattern_2));
	incref(MK_mirth_match_Pattern(in_zaPattern_2));
	struct std_list_List_1 v6 = in_zaPattern_2->minnerzectx;
	incref(MK_std_list_List_1(v6));
	decref(MK_mirth_match_Pattern(in_zaPattern_2));
	incref(MK_mirth_match_Pattern(in_zaPattern_2));
	struct mirth_type_StackType v7 = in_zaPattern_2->mmid;
	incref(MK_mirth_type_StackType(v7));
	decref(MK_mirth_match_Pattern(in_zaPattern_2));
	struct std_list_List_1 v8 = mw_mirth_type_Subst_Nil();
	struct mirth_match_PatternOp v9 = { .tag=mirth_match_PatternOp_Underscore };
	incref(MK_mirth_match_Pattern(in_zaPattern_2));
	struct mirth_type_StackType v10 = in_zaPattern_2->mmid;
	incref(MK_mirth_type_StackType(v10));
	decref(MK_mirth_match_Pattern(in_zaPattern_2));
	struct mirth_mirth_zaMirth* v11;
	struct std_maybe_Maybe_1 v12 = mw_mirth_type_StackType_forcezeconszyzx(in_zaMirth_1, v10, &v11);
	uint64_t branch_Token_13;
	struct std_list_List_1 branch_Ctx_14;
	struct mirth_type_StackType branch_StackType_15;
	struct std_list_List_1 branch_Subst_16;
	struct mirth_match_PatternOp branch_PatternOp_17;
	struct mirth_match_Pattern* branch_zaPattern_18;
	struct mirth_mirth_zaMirth* branch_zaMirth_19;
	struct mirth_type_StackType branch_StackType_20;
	struct mirth_type_Type branch_Type_21;
	switch ((v12).tag) {
		case std_maybe_Maybe_1_None: {
			incref(MK_mirth_match_Pattern(in_zaPattern_2));
			uint64_t v22 = in_zaPattern_2->mtokenzestart;
			decref(MK_mirth_match_Pattern(in_zaPattern_2));
			STR* v23;
			STRLIT(v23, "pattern expects something on stack", 34);
			struct mirth_mirth_zaMirth* v24;
			mw_mirth_mirth_zaMirth_emitzeerrorzx(v11, v22, v23, &v24);
			struct mirth_type_StackType v25 = { .tag=mirth_type_StackType_Error };
			struct mirth_type_Type v26 = { .tag=mirth_type_Type_Error };
			branch_Type_21 = v26;
			branch_StackType_20 = v25;
			branch_zaMirth_19 = v24;
			branch_zaPattern_18 = in_zaPattern_2;
			branch_PatternOp_17 = v9;
			branch_Subst_16 = v8;
			branch_StackType_15 = v7;
			branch_Ctx_14 = v6;
			branch_Token_13 = v5;
		} break;
		case std_maybe_Maybe_1_Some: {
			VAL v27 = mtp_std_maybe_Maybe_1_Some(v12);
			VAL v28 = ((TUP*)PTRPTR(value_tup(v27)))->cells[0];
			VAL v29 = ((TUP*)PTRPTR(value_tup(v27)))->cells[1];
			tup_decref_outer(value_tup(v27));
			branch_Type_21 = V_mirth_type_Type(v29);
			branch_StackType_20 = V_mirth_type_StackType(v28);
			branch_zaMirth_19 = v11;
			branch_zaPattern_18 = in_zaPattern_2;
			branch_PatternOp_17 = v9;
			branch_Subst_16 = v8;
			branch_StackType_15 = v7;
			branch_Ctx_14 = v6;
			branch_Token_13 = v5;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	incref(MK_mirth_type_Type(branch_Type_21));
	incref(MK_mirth_match_Pattern(branch_zaPattern_18));
	incref(MK_mirth_match_Pattern(branch_zaPattern_18));
	struct std_list_List_1 v30 = branch_zaPattern_18->msaved;
	incref(MK_std_list_List_1(v30));
	decref(MK_mirth_match_Pattern(branch_zaPattern_18));
	struct std_list_List_1 v31 = mw_std_list_List_1_cons(MK_mirth_type_Type(branch_Type_21), v30);
	struct mirth_match_Pattern* v32 = mirth_match_Pattern_set_saved(branch_zaPattern_18, v31);
	decref(MK_mirth_match_Pattern(branch_zaPattern_18));
	struct std_list_List_1 v33 = { .tag=std_list_List_1_Nil };
	struct std_list_List_1 v34 = mw_std_list_List_1_cons(MK_mirth_type_Type(branch_Type_21), v33);
	incref(MK_mirth_type_StackType(branch_StackType_20));
	incref(MK_mirth_match_Pattern(v32));
	struct mirth_match_Pattern* v35 = mirth_match_Pattern_set_mid(v32, branch_StackType_20);
	decref(MK_mirth_match_Pattern(v32));
	struct mirth_match_PatternAtom* v36 = mtw_mirth_match_PatternAtom_PatternAtom(branch_Token_13, branch_Ctx_14, v34, branch_StackType_20, branch_StackType_15, branch_Subst_16, branch_PatternOp_17);
	incref(MK_mirth_match_Pattern(v35));
	incref(MK_mirth_match_Pattern(v35));
	struct std_list_List_1 v37 = v35->matoms;
	incref(MK_std_list_List_1(v37));
	decref(MK_mirth_match_Pattern(v35));
	struct std_list_List_1 v38 = mw_std_list_List_1_cons(MK_mirth_match_PatternAtom(v36), v37);
	struct mirth_match_Pattern* v39 = mirth_match_Pattern_set_atoms(v35, v38);
	decref(MK_mirth_match_Pattern(v35));
	*out_zaPattern_4 = v39;
	*out_zaMirth_3 = branch_zaMirth_19;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xf8, %rsp
movq %rcx, -0xb8(%rbp)
movq %rdx, %r12
movq %rsi, %r13
movq %rdi, %rbx
movabsq $0xfffffffffffc, %rsi   # imm = 0xFFFFFFFFFFFC
movq %r13, %r14
andq %rsi, %r14
setne %al
testb $0x3, %r13b
sete %dil
andb %al, %dil
cmpb $0x1, %dil
jne 0x4f723
incl (%r14)
movq 0x18(%r13), %rax
movq %rax, -0xb0(%rbp)
testb %dil, %dil
movb %dil, -0x30(%rbp)
je 0x4f761
decl (%r14)
jne 0x4f759
movq %r13, %rdi
leaq 0xc6e0b(%rip), %rsi     # 0x116551
callq 0xd4e3
movb -0x30(%rbp), %dil
movabsq $0xfffffffffffc, %rsi   # imm = 0xFFFFFFFFFFFC
testb %dil, %dil
je 0x4f761
incl (%r14)
movl 0x38(%r13), %eax
movl %eax, -0x44(%rbp)
movq 0x40(%r13), %rdx
movq %rdx, %rax
andq %rsi, %rax
sete %cl
movq %rdx, -0xa8(%rbp)
testb $0x3, %dl
setne %dl
orb %cl, %dl
jne 0x4f788
incl (%rax)
testb %dil, %dil
je 0x4f7b7
decl (%r14)
jne 0x4f7af
movq %r13, %rdi
leaq 0xc6db5(%rip), %rsi     # 0x116551
callq 0xd4e3
movb -0x30(%rbp), %dil
movabsq $0xfffffffffffc, %rsi   # imm = 0xFFFFFFFFFFFC
testb %dil, %dil
je 0x4f7b7
incl (%r14)
movl 0x58(%r13), %eax
movl %eax, -0x3c(%rbp)
movl 0x5c(%r13), %eax
movl %eax, -0x40(%rbp)
movq 0x60(%r13), %rdx
movq %rdx, %rax
andq %rsi, %rax
sete %cl
movq %rdx, -0x70(%rbp)
testb $0x3, %dl
setne %dl
orb %cl, %dl
jne 0x4f7e2
incl (%rax)
testb %dil, %dil
je 0x4f81d
decl (%r14)
jne 0x4f809
movq %r13, %rdi
leaq 0xc6d5b(%rip), %rsi     # 0x116551
callq 0xd4e3
movb -0x30(%rbp), %dil
movabsq $0xfffffffffffc, %rsi   # imm = 0xFFFFFFFFFFFC
xorps %xmm0, %xmm0
movaps %xmm0, -0xa0(%rbp)
testb %dil, %dil
je 0x4f827
incl (%r14)
jmp 0x4f827
xorps %xmm0, %xmm0
movaps %xmm0, -0xa0(%rbp)
movq %r14, -0x38(%rbp)
movl 0x58(%r13), %r14d
movq 0x60(%r13), %r15
movq %r15, %rax
andq %rsi, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x4f849
incl (%rax)
testb %dil, %dil
je 0x4f865
movq -0x38(%rbp), %rax
decl (%rax)
jne 0x4f865
movq %r13, %rdi
leaq 0xc6cf1(%rip), %rsi     # 0x116551
callq 0xd4e3
leaq -0x78(%rbp), %rcx
movq %rbx, %rdi
movl %r14d, %esi
movq %r15, %rdx
callq 0x3d0f2
cmpl $0x1, %eax
movq %r12, -0xc0(%rbp)
je 0x4f9b4
testl %eax, %eax
jne 0x4fdcf
movb -0x30(%rbp), %dl
testb %dl, %dl
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
movq -0x38(%rbp), %rax
je 0x4f8a6
incl (%rax)
movq 0x18(%r13), %rbx
testb %dl, %dl
je 0x4f8cb
decl (%rax)
jne 0x4f8cb
movq %r13, %rdi
leaq 0xc6c95(%rip), %rsi     # 0x116551
callq 0xd4e3
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
cmpq $0x0, 0x10ca175(%rip)   # 0x1119a48
jne 0x4f914
movl $0x22, %edi
callq 0xf9f7
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
movq $0x22, 0x10(%rax)
movups 0x9a146(%rip), %xmm0    # 0xe9a3e
movups %xmm0, 0x18(%rax)
movups 0x9a14b(%rip), %xmm0    # 0xe9a4e
movups %xmm0, 0x28(%rax)
movw $0x6b63, 0x38(%rax)     # imm = 0x6B63
movq %rax, 0x10ca134(%rip)   # 0x1119a48
movq 0x10ca12d(%rip), %r14   # 0x1119a48
movq %r14, %rax
andq %rcx, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x4f931
incl (%rax)
movq -0x78(%rbp), %rdi
leaq -0xd0(%rbp), %r15
movq %rbx, %rsi
movq %r15, %rdx
callq 0x1b861
movq (%r15), %rdi
leaq -0x88(%rbp), %rbx
movq %rax, %rsi
movq %r14, %rdx
movl $0x2, %ecx
movq %rbx, %r8
callq 0x1bf3a
movq (%rbx), %rax
movq %rax, -0x68(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x60(%rbp)
movaps -0xa0(%rbp), %xmm0
movaps %xmm0, -0xe0(%rbp)
movl $0x0, (%r15)
movq $0x0, 0x8(%r15)
movl -0x3c(%rbp), %eax
movl %eax, (%rbx)
movl -0x40(%rbp), %eax
movl %eax, 0x4(%rbx)
movq -0x70(%rbp), %rax
movq %rax, 0x8(%rbx)
xorl %r14d, %r14d
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
jmp 0x4fa67
movq %rdx, %rdi
callq 0xdaeb
movq %rax, %rbx
movq %rdx, %r15
movq %rax, %rdi
movq %rdx, %rsi
callq 0x9363
movq %rbx, %r14
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %r14
movq 0x8(%r14), %r12
movq %rbx, %rdi
movq %r15, %rsi
callq 0x9363
movq 0x18(%r14), %r14
movq %rbx, %rdi
movq %r15, %rsi
callq 0x9363
movq %rbx, %rdi
callq 0x93b4
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
movq %r12, %rax
shrq $0x30, %rax
andq %rcx, %r12
movl %eax, -0x60(%rbp)
movq %r12, -0x58(%rbp)
movq -0x78(%rbp), %rax
movq %rax, -0x68(%rbp)
movaps -0xa0(%rbp), %xmm0
movaps %xmm0, -0xe0(%rbp)
movl $0x0, -0xd0(%rbp)
movq $0x0, -0xc8(%rbp)
movl -0x3c(%rbp), %eax
movl %eax, -0x88(%rbp)
movl -0x40(%rbp), %eax
movl %eax, -0x84(%rbp)
movq -0x70(%rbp), %rax
movq %rax, -0x80(%rbp)
andq $-0x4, %r14
movq %r14, %rax
andq %rcx, %rax
movb -0x30(%rbp), %sil
je 0x4fa75
incl (%rax)
testb %sil, %sil
je 0x4fa81
movq -0x38(%rbp), %rax
addl $0x2, (%rax)
movl 0x48(%r13), %ebx
movq 0x50(%r13), %r15
movq %r15, %rax
andq %rcx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x4fa9f
incl (%rax)
leaq 0xc6043(%rip), %rcx     # 0x115ae9
testb %sil, %sil
je 0x4fac8
movq -0x38(%rbp), %rax
decl (%rax)
jne 0x4fac8
movq %r13, %rdi
leaq 0xc6a94(%rip), %rsi     # 0x116551
movq %rcx, %r12
callq 0xd4e3
movq %r12, %rcx
movq %r14, %rdi
movq %rcx, %r12
movq %rcx, %rsi
movl %ebx, %edx
movq %r15, %rcx
callq 0xd592
movq %rdx, %r15
cmpl $0x2, (%r13)
jb 0x4fbcc
movl $0x1, %edi
movl $0x88, %esi
callq 0x50c0
testq %rax, %rax
je 0x4fdff
movq %rax, %rbx
movl $0x88, %edx
movq %rax, %rdi
movq %r13, %rsi
callq 0x50e0
movq 0x10(%rbx), %rcx
movq %rcx, %rax
movabsq $0xfffffffffffc, %rsi   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4fb37
incl (%rax)
movq 0x30(%rbx), %rcx
movq %rcx, %rax
andq %rsi, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
movb -0x30(%rbp), %dil
jne 0x4fb54
incl (%rax)
movq 0x40(%rbx), %rcx
movq %rcx, %rax
andq %rsi, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4fb6d
incl (%rax)
movl $0x1, 0x48(%rbx)
movq %r15, 0x50(%rbx)
movq 0x60(%rbx), %rcx
movq %rcx, %rax
andq %rsi, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4fb91
incl (%rax)
movq 0x70(%rbx), %rcx
movq %rcx, %rax
andq %rsi, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4fbaa
incl (%rax)
movq 0x80(%rbx), %rcx
movq %rcx, %rax
andq %rsi, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4fbc6
incl (%rax)
decl (%r13)
jmp 0x4fc1c
movq 0x50(%r13), %rcx
movq %rcx, %rax
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4fc09
decl (%rax)
jne 0x4fc09
leaq 0xc5681(%rip), %rsi     # 0x115279
movl 0x48(%r13), %edi
shlq $0x30, %rdi
orq 0x50(%r13), %rdi
callq 0xd4e3
movl $0x1, 0x48(%r13)
movq %r15, 0x50(%r13)
movq %r13, %rbx
movb -0x30(%rbp), %dil
movq %r12, %rsi
testb %dil, %dil
je 0x4fc3e
movq -0x38(%rbp), %rax
decl (%rax)
jne 0x4fc3e
movq %r13, %rdi
leaq 0xc691b(%rip), %rsi     # 0x116551
callq 0xd4e3
movq %r12, %rsi
movq %r14, %rdi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xd592
movq %rdx, -0x30(%rbp)
movq -0x58(%rbp), %rdx
movq %rdx, %rax
movabsq $0xfffffffffffc, %rdi   # imm = 0xFFFFFFFFFFFC
andq %rdi, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0x4fc73
incl (%rax)
movl -0x60(%rbp), %esi
movq %rbx, %r13
andq %rdi, %r13
setne %al
testb $0x3, %bl
sete %r12b
andb %al, %r12b
cmpb $0x1, %r12b
jne 0x4fc93
incl (%r13)
movq %rbx, %rdi
callq 0x5043a
movq %rax, %r15
movq %rax, %r14
testb %r12b, %r12b
je 0x4fcbb
decl (%r13)
jne 0x4fcbb
movq %rbx, %rdi
leaq 0xc689b(%rip), %rsi     # 0x116551
callq 0xd4e3
movaps -0xe0(%rbp), %xmm0
movups %xmm0, 0x30(%rsp)
movups -0xd0(%rbp), %xmm0
movups %xmm0, 0x20(%rsp)
movups -0x88(%rbp), %xmm0
movups %xmm0, 0x10(%rsp)
movaps -0x60(%rbp), %xmm0
movups %xmm0, (%rsp)
movq -0xb0(%rbp), %rdi
movl -0x44(%rbp), %esi
movq -0xa8(%rbp), %rdx
movl $0x1, %ecx
movq -0x30(%rbp), %r8
callq 0x505b5
movq %rax, %rdi
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %r15
setne %al
testb $0x3, %r14b
sete %r12b
andb %al, %r12b
cmpb $0x1, %r12b
jne 0x4fd2e
addl $0x2, (%r15)
movl 0x78(%r14), %ebx
movq 0x80(%r14), %r13
andq %r13, %rdx
sete %al
testb $0x3, %r13b
setne %cl
orb %al, %cl
jne 0x4fd4c
incl (%rdx)
testb %r12b, %r12b
je 0x4fd6d
decl (%r15)
jne 0x4fd6d
movq %rdi, -0x30(%rbp)
movq %r14, %rdi
leaq 0xc67ed(%rip), %rsi     # 0x116551
callq 0xd4e3
movq -0x30(%rbp), %rdi
leaq 0xc6825(%rip), %rsi     # 0x116599
movl %ebx, %edx
movq %r13, %rcx
callq 0xd592
movq %r14, %rdi
movq %rdx, %rsi
callq 0x50660
movq %rax, %rbx
testb %r12b, %r12b
je 0x4fda5
decl (%r15)
jne 0x4fda5
movq %r14, %rdi
leaq 0xc67b1(%rip), %rsi     # 0x116551
callq 0xd4e3
movq -0xb8(%rbp), %rax
movq %rbx, (%rax)
movq -0xc0(%rbp), %rax
movq -0x68(%rbp), %rcx
movq %rcx, (%rax)
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x20, %edi
callq 0xf9f7
movq $0x20, 0x10(%rax)
movups 0x94965(%rip), %xmm0    # 0xe474d
movups %xmm0, 0x18(%rax)
movups 0x9496a(%rip), %xmm0    # 0xe475d
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x95a5
leaq 0x99c5b(%rip), %rsi     # 0xe9a61
movl $0x33, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52be
movl $0x1, %edi
callq 0x5130