// File: /workspace/github_c_makefile_star2_O0/oridb[P]mc/mi/cfg.c
// Function: dumpbb
void
dumpbb(Bb *bb, FILE *fd)
{
	size_t i;
	char *sep;

	fprintf(fd, "Bb: %d labels=(", bb->id);
	sep = "";
	for (i = 0; i < bb->nlbls; i++) {;
		fprintf(fd, "%s%s", bb->lbls[i], sep);
		sep = ",";
	}
	fprintf(fd, ")\n");

	/* in edges */
	fprintf(fd, "Pred: ");
	sep = "";
	for (i = 0; i < bsmax(bb->pred); i++) {
		if (bshas(bb->pred, i)) {
			fprintf(fd, "%s%zd", sep, i);
			sep = ",";
		}
	}
	fprintf(fd, "\n");

	/* out edges */
	fprintf(fd, "Succ: ");
	sep = "";
	for (i = 0; i < bsmax(bb->succ); i++) {
		if (bshas(bb->succ, i)) {
			fprintf(fd, "%s%zd", sep, i);
			sep = ",";
		}
	}
	fprintf(fd, "\n");

	for (i = 0; i < bb->nnl; i++)
		dumpn(bb->nl[i], fd);
	fprintf(fd, "\n");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x10(%rbp), %rdi
movq -0x8(%rbp), %rax
movl (%rax), %edx
leaq 0xcf43(%rip), %rsi      # 0x4dbd4
movb $0x0, %al
callq 0x6230
leaq 0x14b86(%rip), %rax     # 0x55825
movq %rax, -0x20(%rbp)
movq $0x0, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq -0x8(%rbp), %rcx
cmpq 0x10(%rcx), %rax
jae 0x40cf8
movq -0x10(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x18(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq -0x20(%rbp), %rcx
leaq 0xce08(%rip), %rsi      # 0x4dae0
movb $0x0, %al
callq 0x6230
leaq 0x146d6(%rip), %rax     # 0x553bc
movq %rax, -0x20(%rbp)
movq -0x18(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x18(%rbp)
jmp 0x40cab
movq -0x10(%rbp), %rdi
leaq 0xdcc3(%rip), %rsi      # 0x4e9c6
movb $0x0, %al
callq 0x6230
movq -0x10(%rbp), %rdi
leaq 0xcecf(%rip), %rsi      # 0x4dbe4
movb $0x0, %al
callq 0x6230
leaq 0x14b02(%rip), %rax     # 0x55825
movq %rax, -0x20(%rbp)
movq $0x0, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x28(%rbp)
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rdi
callq 0x48a30
movq %rax, %rcx
movq -0x28(%rbp), %rax
cmpq %rcx, %rax
jae 0x40d9b
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rdi
movq -0x18(%rbp), %rsi
callq 0x40eb0
cmpl $0x0, %eax
je 0x40d8b
movq -0x10(%rbp), %rdi
movq -0x20(%rbp), %rdx
movq -0x18(%rbp), %rcx
leaq 0xd0ac(%rip), %rsi      # 0x4de25
movb $0x0, %al
callq 0x6230
leaq 0x14635(%rip), %rax     # 0x553bc
movq %rax, -0x20(%rbp)
jmp 0x40d8d
movq -0x18(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x18(%rbp)
jmp 0x40d2f
movq -0x10(%rbp), %rdi
leaq 0xce10(%rip), %rsi      # 0x4dbb6
movb $0x0, %al
callq 0x6230
movq -0x10(%rbp), %rdi
leaq 0xce33(%rip), %rsi      # 0x4dbeb
movb $0x0, %al
callq 0x6230
leaq 0x14a5f(%rip), %rax     # 0x55825
movq %rax, -0x20(%rbp)
movq $0x0, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
callq 0x48a30
movq %rax, %rcx
movq -0x30(%rbp), %rax
cmpq %rcx, %rax
jae 0x40e3e
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rdi
movq -0x18(%rbp), %rsi
callq 0x40eb0
cmpl $0x0, %eax
je 0x40e2e
movq -0x10(%rbp), %rdi
movq -0x20(%rbp), %rdx
movq -0x18(%rbp), %rcx
leaq 0xd009(%rip), %rsi      # 0x4de25
movb $0x0, %al
callq 0x6230
leaq 0x14592(%rip), %rax     # 0x553bc
movq %rax, -0x20(%rbp)
jmp 0x40e30
movq -0x18(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x18(%rbp)
jmp 0x40dd2
movq -0x10(%rbp), %rdi
leaq 0xcd6d(%rip), %rsi      # 0x4dbb6
movb $0x0, %al
callq 0x6230
movq $0x0, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq -0x8(%rbp), %rcx
cmpq 0x20(%rcx), %rax
jae 0x40e8d
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x18(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq -0x10(%rbp), %rsi
callq 0x1de90
movq -0x18(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x18(%rbp)
jmp 0x40e58
movq -0x10(%rbp), %rdi
leaq 0xcd1e(%rip), %rsi      # 0x4dbb6
movb $0x0, %al
callq 0x6230
addq $0x30, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)