// File: /workspace/github_c_makefile_star2_O0/markdryan[P]subtilis/arch/arm32/assembler.c
// Function: prv_parse_vfp_tran_dbl
static void prv_parse_vfp_tran_dbl(subtilis_arm_ass_context_t *c,
				   const char *name,
				   subtilis_arm_instr_type_t itype,
				   subtilis_arm_ccode_type_t ccode,
				   subtilis_error_t *err)
{
	subtilis_arm_reg_t dest1 = 0;
	subtilis_arm_reg_t dest2 = 0;
	subtilis_arm_reg_t src1 = 0;
	subtilis_arm_reg_t src2 = 0;
	const char *tbuf;

	switch (itype) {
	case SUBTILIS_VFP_INSTR_FMDRR:
		dest1 = prv_get_vfp_dreg(c, err);
		if (err->type != SUBTILIS_ERROR_OK)
			return;
		tbuf = subtilis_token_get_text(c->t);
		if ((c->t->type != SUBTILIS_TOKEN_OPERATOR) ||
		    (strcmp(tbuf, ","))) {
			subtilis_error_set_expected(
			    err, ",", tbuf, c->l->stream->name, c->l->line);
			return;
		}

		src1 = prv_get_reg(c, err);
		if (err->type != SUBTILIS_ERROR_OK)
			return;
		tbuf = subtilis_token_get_text(c->t);
		if ((c->t->type != SUBTILIS_TOKEN_OPERATOR) ||
		    (strcmp(tbuf, ","))) {
			subtilis_error_set_expected(
			    err, ",", tbuf, c->l->stream->name, c->l->line);
			return;
		}

		src2 = prv_get_reg(c, err);
		break;
	case SUBTILIS_VFP_INSTR_FMRRD:
		dest1 = prv_get_reg(c, err);
		if (err->type != SUBTILIS_ERROR_OK)
			return;
		tbuf = subtilis_token_get_text(c->t);
		if ((c->t->type != SUBTILIS_TOKEN_OPERATOR) ||
		    (strcmp(tbuf, ","))) {
			subtilis_error_set_expected(
			    err, ",", tbuf, c->l->stream->name, c->l->line);
			return;
		}

		dest2 = prv_get_reg(c, err);
		if (err->type != SUBTILIS_ERROR_OK)
			return;
		tbuf = subtilis_token_get_text(c->t);
		if ((c->t->type != SUBTILIS_TOKEN_OPERATOR) ||
		    (strcmp(tbuf, ","))) {
			subtilis_error_set_expected(
			    err, ",", tbuf, c->l->stream->name, c->l->line);
			return;
		}

		src1 = prv_get_vfp_dreg(c, err);
		break;
	case SUBTILIS_VFP_INSTR_FMSRR:
		dest1 = prv_get_vfp_sreg(c, err);
		if (err->type != SUBTILIS_ERROR_OK)
			return;
		tbuf = subtilis_token_get_text(c->t);
		if ((c->t->type != SUBTILIS_TOKEN_OPERATOR) ||
		    (strcmp(tbuf, ","))) {
			subtilis_error_set_expected(
			    err, ",", tbuf, c->l->stream->name, c->l->line);
			return;
		}

		dest2 = prv_get_vfp_sreg(c, err);
		if (err->type != SUBTILIS_ERROR_OK)
			return;
		tbuf = subtilis_token_get_text(c->t);
		if ((c->t->type != SUBTILIS_TOKEN_OPERATOR) ||
		    (strcmp(tbuf, ","))) {
			subtilis_error_set_expected(
			    err, ",", tbuf, c->l->stream->name, c->l->line);
			return;
		}

		src1 = prv_get_reg(c, err);
		if (err->type != SUBTILIS_ERROR_OK)
			return;
		tbuf = subtilis_token_get_text(c->t);
		if ((c->t->type != SUBTILIS_TOKEN_OPERATOR) ||
		    (strcmp(tbuf, ","))) {
			subtilis_error_set_expected(
			    err, ",", tbuf, c->l->stream->name, c->l->line);
			return;
		}
		src2 = prv_get_reg(c, err);
		break;
	case SUBTILIS_VFP_INSTR_FMRRS:
		dest1 = prv_get_reg(c, err);
		if (err->type != SUBTILIS_ERROR_OK)
			return;
		tbuf = subtilis_token_get_text(c->t);
		if ((c->t->type != SUBTILIS_TOKEN_OPERATOR) ||
		    (strcmp(tbuf, ","))) {
			subtilis_error_set_expected(
			    err, ",", tbuf, c->l->stream->name, c->l->line);
			return;
		}

		dest2 = prv_get_reg(c, err);
		if (err->type != SUBTILIS_ERROR_OK)
			return;
		tbuf = subtilis_token_get_text(c->t);
		if ((c->t->type != SUBTILIS_TOKEN_OPERATOR) ||
		    (strcmp(tbuf, ","))) {
			subtilis_error_set_expected(
			    err, ",", tbuf, c->l->stream->name, c->l->line);
			return;
		}

		src1 = prv_get_vfp_sreg(c, err);
		if (err->type != SUBTILIS_ERROR_OK)
			return;
		tbuf = subtilis_token_get_text(c->t);
		if ((c->t->type != SUBTILIS_TOKEN_OPERATOR) ||
		    (strcmp(tbuf, ","))) {
			subtilis_error_set_expected(
			    err, ",", tbuf, c->l->stream->name, c->l->line);
			return;
		}

		src2 = prv_get_vfp_sreg(c, err);
		break;
	default:
		subtilis_error_set_assertion_failed(err);
		return;
	}
	if (err->type != SUBTILIS_ERROR_OK)
		return;

	subtilis_vfp_add_tran_dbl(c->arm_s, itype, ccode, dest1, dest2, src1,
				  src2, err);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movl %ecx, -0x18(%rbp)
movq %r8, -0x20(%rbp)
movq $0x0, -0x28(%rbp)
movq $0x0, -0x30(%rbp)
movq $0x0, -0x38(%rbp)
movq $0x0, -0x40(%rbp)
movl -0x14(%rbp), %eax
addl $-0x7d, %eax
movl %eax, %ecx
movq %rcx, -0x50(%rbp)
subl $0x3, %eax
ja 0x96123
movq -0x50(%rbp), %rax
leaq 0x185ca(%rip), %rcx     # 0xae084
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x96470
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x95ae2
jmp 0x96179
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x12d70
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
cmpl $0x2, (%rax)
jne 0x95b15
movq -0x48(%rbp), %rdi
leaq 0x14a9e(%rip), %rsi     # 0xaa5a9
callq 0x12140
cmpl $0x0, %eax
je 0x95b5e
movq -0x20(%rbp), %rdi
movq -0x48(%rbp), %rcx
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x30(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movl 0x38(%rax), %r9d
movl $0x1d, %esi
leaq 0x14a68(%rip), %rdx     # 0xaa5a9
leaq 0x185d8(%rip), %rax     # 0xae120
movq %rax, (%rsp)
movl $0xc06, 0x8(%rsp)       # imm = 0xC06
callq 0x156d0
jmp 0x96179
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x94690
movq %rax, -0x38(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x95b7d
jmp 0x96179
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x12d70
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
cmpl $0x2, (%rax)
jne 0x95bb0
movq -0x48(%rbp), %rdi
leaq 0x14a03(%rip), %rsi     # 0xaa5a9
callq 0x12140
cmpl $0x0, %eax
je 0x95bf9
movq -0x20(%rbp), %rdi
movq -0x48(%rbp), %rcx
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x30(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movl 0x38(%rax), %r9d
movl $0x1d, %esi
leaq 0x149cd(%rip), %rdx     # 0xaa5a9
leaq 0x1853d(%rip), %rax     # 0xae120
movq %rax, (%rsp)
movl $0xc11, 0x8(%rsp)       # imm = 0xC11
callq 0x156d0
jmp 0x96179
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x94690
movq %rax, -0x40(%rbp)
jmp 0x9613f
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x94690
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x95c2e
jmp 0x96179
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x12d70
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
cmpl $0x2, (%rax)
jne 0x95c61
movq -0x48(%rbp), %rdi
leaq 0x14952(%rip), %rsi     # 0xaa5a9
callq 0x12140
cmpl $0x0, %eax
je 0x95caa
movq -0x20(%rbp), %rdi
movq -0x48(%rbp), %rcx
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x30(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movl 0x38(%rax), %r9d
movl $0x1d, %esi
leaq 0x1491c(%rip), %rdx     # 0xaa5a9
leaq 0x1848c(%rip), %rax     # 0xae120
movq %rax, (%rsp)
movl $0xc1f, 0x8(%rsp)       # imm = 0xC1F
callq 0x156d0
jmp 0x96179
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x94690
movq %rax, -0x30(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x95cc9
jmp 0x96179
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x12d70
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
cmpl $0x2, (%rax)
jne 0x95cfc
movq -0x48(%rbp), %rdi
leaq 0x148b7(%rip), %rsi     # 0xaa5a9
callq 0x12140
cmpl $0x0, %eax
je 0x95d45
movq -0x20(%rbp), %rdi
movq -0x48(%rbp), %rcx
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x30(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movl 0x38(%rax), %r9d
movl $0x1d, %esi
leaq 0x14881(%rip), %rdx     # 0xaa5a9
leaq 0x183f1(%rip), %rax     # 0xae120
movq %rax, (%rsp)
movl $0xc2a, 0x8(%rsp)       # imm = 0xC2A
callq 0x156d0
jmp 0x96179
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x96470
movq %rax, -0x38(%rbp)
jmp 0x9613f
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x963a0
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x95d7a
jmp 0x96179
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x12d70
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
cmpl $0x2, (%rax)
jne 0x95dad
movq -0x48(%rbp), %rdi
leaq 0x14806(%rip), %rsi     # 0xaa5a9
callq 0x12140
cmpl $0x0, %eax
je 0x95df6
movq -0x20(%rbp), %rdi
movq -0x48(%rbp), %rcx
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x30(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movl 0x38(%rax), %r9d
movl $0x1d, %esi
leaq 0x147d0(%rip), %rdx     # 0xaa5a9
leaq 0x18340(%rip), %rax     # 0xae120
movq %rax, (%rsp)
movl $0xc38, 0x8(%rsp)       # imm = 0xC38
callq 0x156d0
jmp 0x96179
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x963a0
movq %rax, -0x30(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x95e15
jmp 0x96179
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x12d70
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
cmpl $0x2, (%rax)
jne 0x95e48
movq -0x48(%rbp), %rdi
leaq 0x1476b(%rip), %rsi     # 0xaa5a9
callq 0x12140
cmpl $0x0, %eax
je 0x95e91
movq -0x20(%rbp), %rdi
movq -0x48(%rbp), %rcx
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x30(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movl 0x38(%rax), %r9d
movl $0x1d, %esi
leaq 0x14735(%rip), %rdx     # 0xaa5a9
leaq 0x182a5(%rip), %rax     # 0xae120
movq %rax, (%rsp)
movl $0xc43, 0x8(%rsp)       # imm = 0xC43
callq 0x156d0
jmp 0x96179
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x94690
movq %rax, -0x38(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x95eb0
jmp 0x96179
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x12d70
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
cmpl $0x2, (%rax)
jne 0x95ee3
movq -0x48(%rbp), %rdi
leaq 0x146d0(%rip), %rsi     # 0xaa5a9
callq 0x12140
cmpl $0x0, %eax
je 0x95f2c
movq -0x20(%rbp), %rdi
movq -0x48(%rbp), %rcx
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x30(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movl 0x38(%rax), %r9d
movl $0x1d, %esi
leaq 0x1469a(%rip), %rdx     # 0xaa5a9
leaq 0x1820a(%rip), %rax     # 0xae120
movq %rax, (%rsp)
movl $0xc4e, 0x8(%rsp)       # imm = 0xC4E
callq 0x156d0
jmp 0x96179
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x94690
movq %rax, -0x40(%rbp)
jmp 0x9613f
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x94690
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x95f61
jmp 0x96179
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x12d70
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
cmpl $0x2, (%rax)
jne 0x95f94
movq -0x48(%rbp), %rdi
leaq 0x1461f(%rip), %rsi     # 0xaa5a9
callq 0x12140
cmpl $0x0, %eax
je 0x95fdd
movq -0x20(%rbp), %rdi
movq -0x48(%rbp), %rcx
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x30(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movl 0x38(%rax), %r9d
movl $0x1d, %esi
leaq 0x145e9(%rip), %rdx     # 0xaa5a9
leaq 0x18159(%rip), %rax     # 0xae120
movq %rax, (%rsp)
movl $0xc5b, 0x8(%rsp)       # imm = 0xC5B
callq 0x156d0
jmp 0x96179
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x94690
movq %rax, -0x30(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x95ffc
jmp 0x96179
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x12d70
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
cmpl $0x2, (%rax)
jne 0x9602f
movq -0x48(%rbp), %rdi
leaq 0x14584(%rip), %rsi     # 0xaa5a9
callq 0x12140
cmpl $0x0, %eax
je 0x96078
movq -0x20(%rbp), %rdi
movq -0x48(%rbp), %rcx
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x30(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movl 0x38(%rax), %r9d
movl $0x1d, %esi
leaq 0x1454e(%rip), %rdx     # 0xaa5a9
leaq 0x180be(%rip), %rax     # 0xae120
movq %rax, (%rsp)
movl $0xc66, 0x8(%rsp)       # imm = 0xC66
callq 0x156d0
jmp 0x96179
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x963a0
movq %rax, -0x38(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x96097
jmp 0x96179
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x12d70
movq %rax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
cmpl $0x2, (%rax)
jne 0x960ca
movq -0x48(%rbp), %rdi
leaq 0x144e9(%rip), %rsi     # 0xaa5a9
callq 0x12140
cmpl $0x0, %eax
je 0x96110
movq -0x20(%rbp), %rdi
movq -0x48(%rbp), %rcx
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x30(%rax), %r8
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movl 0x38(%rax), %r9d
movl $0x1d, %esi
leaq 0x144b3(%rip), %rdx     # 0xaa5a9
leaq 0x18023(%rip), %rax     # 0xae120
movq %rax, (%rsp)
movl $0xc71, 0x8(%rsp)       # imm = 0xC71
callq 0x156d0
jmp 0x96179
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x963a0
movq %rax, -0x40(%rbp)
jmp 0x9613f
movq -0x20(%rbp), %rdi
movl $0xf, %esi
leaq 0x17fed(%rip), %rdx     # 0xae120
movl $0xc78, %ecx            # imm = 0xC78
callq 0x158e0
jmp 0x96179
movq -0x20(%rbp), %rax
cmpl $0x0, (%rax)
je 0x9614a
jmp 0x96179
movq -0x8(%rbp), %rax
movq (%rax), %rdi
movl -0x14(%rbp), %esi
movl -0x18(%rbp), %edx
movq -0x28(%rbp), %rcx
movq -0x30(%rbp), %r8
movq -0x38(%rbp), %r9
movq -0x40(%rbp), %r10
movq -0x20(%rbp), %rax
movq %r10, (%rsp)
movq %rax, 0x8(%rsp)
callq 0x88690
addq $0x60, %rsp
popq %rbp
retq
nop