// File: /workspace/github_c_makefile_star2_O0/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
movq %rsp, %rbp
subq $0x20, %rsp
movb %dl, %al
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movb %al, -0x11(%rbp)
movsbl -0x11(%rbp), %edi
callq 0x6270
movb %al, -0x11(%rbp)
movq -0x10(%rbp), %rax
cmpl $0x0, 0x4(%rax)
je 0xa42d
jmp 0xa44c
leaq 0x41051(%rip), %rdi     # 0x4b485
leaq 0x41929(%rip), %rsi     # 0x4bd64
movl $0x48, %edx
leaq 0x41046(%rip), %rcx     # 0x4b48d
callq 0x6160
movq -0x10(%rbp), %rax
movl (%rax), %eax
movq %rax, -0x20(%rbp)
subq $0x6, %rax
ja 0xa6b4
movq -0x20(%rbp), %rax
leaq 0x418dd(%rip), %rcx     # 0x4bd48
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movsbl -0x11(%rbp), %eax
cmpl $0x69, %eax
je 0xa48f
movsbl -0x11(%rbp), %eax
cmpl $0x78, %eax
je 0xa48f
movsbl -0x11(%rbp), %eax
cmpl $0x75, %eax
jne 0xa491
jmp 0xa4b0
leaq 0x41018(%rip), %rdi     # 0x4b4b0
leaq 0x418c5(%rip), %rsi     # 0x4bd64
movl $0x4b, %edx
leaq 0x40fe2(%rip), %rcx     # 0x4b48d
callq 0x6160
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdx
leaq 0x4730f(%rip), %rsi     # 0x517d2
movb $0x0, %al
callq 0x6230
jmp 0xa6b4
movsbl -0x11(%rbp), %eax
cmpl $0x6d, %eax
je 0xa4ea
movsbl -0x11(%rbp), %eax
cmpl $0x76, %eax
je 0xa4ea
movsbl -0x11(%rbp), %eax
cmpl $0x78, %eax
jne 0xa4ec
jmp 0xa50b
leaq 0x40fe7(%rip), %rdi     # 0x4b4da
leaq 0x4186a(%rip), %rsi     # 0x4bd64
movl $0x4f, %edx
leaq 0x40f87(%rip), %rcx     # 0x4b48d
callq 0x6160
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdx
leaq 0x4857d(%rip), %rsi     # 0x52a9b
movb $0x0, %al
callq 0x6230
jmp 0xa6b4
movsbl -0x11(%rbp), %eax
cmpl $0x72, %eax
jne 0xa544
movq -0x10(%rbp), %rax
movl 0x4(%rax), %edi
callq 0xfd30
cmpl $0x0, %eax
jne 0xa579
movsbl -0x11(%rbp), %eax
cmpl $0x66, %eax
jne 0xa55e
movq -0x10(%rbp), %rax
movl 0x4(%rax), %edi
callq 0xfd70
cmpl $0x0, %eax
jne 0xa579
movsbl -0x11(%rbp), %eax
cmpl $0x76, %eax
je 0xa579
movsbl -0x11(%rbp), %eax
cmpl $0x78, %eax
je 0xa579
movsbl -0x11(%rbp), %eax
cmpl $0x75, %eax
jne 0xa57b
jmp 0xa59a
leaq 0x40f82(%rip), %rdi     # 0x4b504
leaq 0x417db(%rip), %rsi     # 0x4bd64
movl $0x57, %edx
leaq 0x40ef8(%rip), %rcx     # 0x4b48d
callq 0x6160
movq -0x10(%rbp), %rax
cmpl $0x0, 0x18(%rax)
jne 0xa5d4
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdx
movq -0x10(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, %ecx
leaq 0x553c0(%rip), %rax     # 0x5f980
movq (%rax,%rcx,8), %rcx
leaq 0x41c54(%rip), %rsi     # 0x4c21f
movb $0x0, %al
callq 0x6230
jmp 0xa5fa
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movl 0x18(%rax), %eax
movl %eax, %ecx
leaq 0x553d8(%rip), %rax     # 0x5f9c0
movq (%rax,%rcx,8), %rdx
leaq 0x484a8(%rip), %rsi     # 0x52a9b
movb $0x0, %al
callq 0x6230
jmp 0xa6b4
movsbl -0x11(%rbp), %eax
cmpl $0x6d, %eax
je 0xa61a
movsbl -0x11(%rbp), %eax
cmpl $0x76, %eax
je 0xa61a
movsbl -0x11(%rbp), %eax
cmpl $0x78, %eax
jne 0xa61c
jmp 0xa63b
leaq 0x40eb7(%rip), %rdi     # 0x4b4da
leaq 0x4173a(%rip), %rsi     # 0x4bd64
movl $0x5f, %edx
leaq 0x40e57(%rip), %rcx     # 0x4b48d
callq 0x6160
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
movsbl -0x11(%rbp), %edx
callq 0xa6c0
jmp 0xa6b4
movsbl -0x11(%rbp), %eax
cmpl $0x69, %eax
je 0xa669
movsbl -0x11(%rbp), %eax
cmpl $0x78, %eax
je 0xa669
movsbl -0x11(%rbp), %eax
cmpl $0x75, %eax
jne 0xa66b
jmp 0xa68a
leaq 0x40e3e(%rip), %rdi     # 0x4b4b0
leaq 0x416eb(%rip), %rsi     # 0x4bd64
movl $0x63, %edx
leaq 0x40e08(%rip), %rcx     # 0x4b48d
callq 0x6160
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdx
leaq 0x40eeb(%rip), %rsi     # 0x4b588
movb $0x0, %al
callq 0x6230
jmp 0xa6b4
leaq 0x40ee0(%rip), %rdi     # 0x4b58d
movb $0x0, %al
callq 0x1df20
addq $0x20, %rsp
popq %rbp
retq
nopw (%rax,%rax)