// File: /workspace/github_c_makefile_star2_O3/oridb[P]mc/6/genp9.c
// Function: locprint
static void
locprint(FILE *fd, Loc *l, char spec)
{
	spec = tolower(spec);
	assert(l->mode);
	switch (l->type) {
	case Loclitl:
		assert(spec == 'i' || spec == 'x' || spec == 'u');
		fprintf(fd, "$%s", l->lbl);
		break;
	case Loclbl:
		assert(spec == 'm' || spec == 'v' || spec == 'x');
		fprintf(fd, "%s", l->lbl);
		break;
	case Locreg:
		assert((spec == 'r' && isintmode(l->mode)) ||
				(spec == 'f' && isfloatmode(l->mode)) ||
				spec == 'v' ||
				spec == 'x' ||
				spec == 'u');
		if (l->reg.colour == Rnone)
			fprintf(fd, "%%P.%llu%s", (uvlong)l->reg.id, modenames[l->mode]);
		else
			fprintf(fd, "%s", regnames[l->reg.colour]);
		break;
	case Locmem:
	case Locmeml:
		assert(spec == 'm' || spec == 'v' || spec == 'x');
		printmem(fd, l, spec);
		break;
	case Loclit:
		assert(spec == 'i' || spec == 'x' || spec == 'u');
		fprintf(fd, "$%ld", l->lit);
		break;
	case Locnone:
		die("Bad location in locprint()");
		break;
	}
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
movl %edx, %ebp
movq %rsi, %r14
movq %rdi, %rbx
callq 0x4380
movl 0x4(%r14), %edi
testl %edi, %edi
je 0x75a0
movl (%r14), %ecx
cmpq $0x6, %rcx
ja 0x752e
movq (%rax), %rax
movslq %ebp, %rdx
movl (%rax,%rdx,4), %eax
leaq 0x28b09(%rip), %rdx     # 0x2fe88
movslq (%rdx,%rcx,4), %rsi
addq %rdx, %rsi
jmpq *%rsi
movzbl %al, %eax
addl $-0x6d, %eax
cmpl $0xb, %eax
ja 0x75cd
movl $0xa01, %edx            # imm = 0xA01
btl %eax, %edx
jae 0x75cd
cmpl $0x3, %ecx
jne 0x747d
movq 0x18(%r14), %rdx
testq %rdx, %rdx
je 0x748e
leaq 0x2846b(%rip), %rsi     # 0x2f82d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x4240
jmp 0x748e
movzbl %al, %eax
cmpl $0x74, %eax
jle 0x7533
leal -0x75(%rax), %ecx
cmpl $0x2, %ecx
jb 0x7555
cmpl $0x78, %eax
je 0x7555
jmp 0x75ec
movzbl %al, %eax
addl $-0x6d, %eax
cmpl $0xb, %eax
ja 0x760b
movl $0xa01, %ecx            # imm = 0xA01
btl %eax, %ecx
jae 0x760b
movq 0x10(%r14), %rdi
jmp 0x756c
movzbl %al, %eax
addl $-0x69, %eax
cmpl $0xf, %eax
ja 0x762a
movl $0x9001, %ecx           # imm = 0x9001
btl %eax, %ecx
jae 0x762a
movq 0x10(%r14), %rdx
leaq 0x2e4d8(%rip), %rsi     # 0x3591d
jmp 0x746f
movzbl %al, %eax
addl $-0x69, %eax
cmpl $0xf, %eax
ja 0x7649
movl $0x9001, %ecx           # imm = 0x9001
btl %eax, %ecx
jae 0x7649
movq 0x10(%r14), %rdx
leaq 0x283bd(%rip), %rsi     # 0x2f82c
movq %rbx, %rdi
xorl %eax, %eax
popq %rbx
popq %r14
popq %rbp
jmp 0x4240
movq 0x10(%r14), %rdi
testq %rdi, %rdi
je 0x748e
movq %rbx, %rsi
callq 0x4190
movq 0x28(%r14), %rax
testq %rax, %rax
je 0x749d
cmpl $0x65, 0x18(%rax)
jne 0x74b8
leaq 0x2920d(%rip), %rdi     # 0x306b1
movl $0x6, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x4330
jmp 0x74e3
movl $0x28, %edi
movq %rbx, %rsi
callq 0x41f0
movq 0x28(%r14), %rsi
movq %rbx, %rdi
movl $0x72, %edx
callq 0x7345
movl $0x29, %edi
movq %rbx, %rsi
callq 0x41f0
cmpq $0x0, 0x30(%r14)
je 0x752e
movl $0x28, %edi
movq %rbx, %rsi
callq 0x41f0
movq 0x30(%r14), %rsi
movq %rbx, %rdi
movl $0x72, %edx
callq 0x7345
movl 0x20(%r14), %edx
leaq 0x291a5(%rip), %rsi     # 0x306b8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x4240
movl $0x29, %edi
movq %rbx, %rsi
popq %rbx
popq %r14
popq %rbp
jmp 0x41f0
popq %rbx
popq %r14
popq %rbp
retq
cmpl $0x66, %eax
je 0x7548
cmpl $0x72, %eax
jne 0x75ec
callq 0xa798
jmp 0x754d
callq 0xa7a3
testl %eax, %eax
je 0x75ec
movl 0x18(%r14), %eax
testq %rax, %rax
je 0x7578
leaq 0x28a4f(%rip), %rcx     # 0x2ffb4
movslq (%rcx,%rax,4), %rdi
addq %rcx, %rdi
movq %rbx, %rsi
popq %rbx
popq %r14
popq %rbp
jmp 0x4190
movq 0x10(%r14), %rdx
movl 0x4(%r14), %eax
leaq 0x3c079(%rip), %rcx     # 0x43600
movq (%rcx,%rax,8), %rcx
leaq 0x29075(%rip), %rsi     # 0x30607
movq %rbx, %rdi
xorl %eax, %eax
popq %rbx
popq %r14
popq %rbp
jmp 0x4240
leaq 0x28182(%rip), %rdi     # 0x2f729
leaq 0x28b9e(%rip), %rsi     # 0x3014c
leaq 0x2817c(%rip), %rcx     # 0x2f731
movl $0x48, %edx
callq 0x4180
leaq 0x2826b(%rip), %rdi     # 0x2f831
xorl %eax, %eax
callq 0x13844
leaq 0x281aa(%rip), %rdi     # 0x2f77e
leaq 0x28b71(%rip), %rsi     # 0x3014c
leaq 0x2814f(%rip), %rcx     # 0x2f731
movl $0x5f, %edx
callq 0x4180
leaq 0x281b5(%rip), %rdi     # 0x2f7a8
leaq 0x28b52(%rip), %rsi     # 0x3014c
leaq 0x28130(%rip), %rcx     # 0x2f731
movl $0x57, %edx
callq 0x4180
leaq 0x2816c(%rip), %rdi     # 0x2f77e
leaq 0x28b33(%rip), %rsi     # 0x3014c
leaq 0x28111(%rip), %rcx     # 0x2f731
movl $0x4f, %edx
callq 0x4180
leaq 0x28123(%rip), %rdi     # 0x2f754
leaq 0x28b14(%rip), %rsi     # 0x3014c
leaq 0x280f2(%rip), %rcx     # 0x2f731
movl $0x4b, %edx
callq 0x4180
leaq 0x28104(%rip), %rdi     # 0x2f754
leaq 0x28af5(%rip), %rsi     # 0x3014c
leaq 0x280d3(%rip), %rcx     # 0x2f731
movl $0x63, %edx
callq 0x4180