// File: /workspace/github_c_makefile_star2_O1/lucvoo[P]sparse-dev/linearize.c
// Function: show_bb
void show_bb(struct basic_block *bb)
{
	struct instruction *insn;

	printf("%s:\n", show_label(bb));
	if (verbose) {
		pseudo_t needs, defines;
		printf("%s:%d\n", stream_name(bb->pos.stream), bb->pos.line);

		FOR_EACH_PTR(bb->needs, needs) {
			struct instruction *def = needs->def;
			if (def->opcode != OP_PHI) {
				printf("  **uses %s (from %s)**\n", show_pseudo(needs), show_label(def->bb));
			} else {
				pseudo_t phi;
				const char *sep = " ";
				printf("  **uses %s (from", show_pseudo(needs));
				FOR_EACH_PTR(def->phi_list, phi) {
					if (phi == VOID)
						continue;
					printf("%s(%s:%s)", sep, show_pseudo(phi), show_label(phi->def->bb));
					sep = ", ";
				} END_FOR_EACH_PTR(phi);		
				printf(")**\n");
			}
		} END_FOR_EACH_PTR(needs);

		FOR_EACH_PTR(bb->defines, defines) {
			printf("  **defines %s **\n", show_pseudo(defines));
		} END_FOR_EACH_PTR(defines);

		if (bb->parents) {
			struct basic_block *from;
			FOR_EACH_PTR(bb->parents, from) {
				printf("  **from %s (%s:%d:%d)**\n", show_label(from),
					stream_name(from->pos.stream), from->pos.line, from->pos.pos);
			} END_FOR_EACH_PTR(from);
		}

		if (bb->children) {
			struct basic_block *to;
			FOR_EACH_PTR(bb->children, to) {
				printf("  **to %s (%s:%d:%d)**\n", show_label(to),
					stream_name(to->pos.stream), to->pos.line, to->pos.pos);
			} END_FOR_EACH_PTR(to);
		}
	}

	FOR_EACH_PTR(bb->insns, insn) {
		if (!insn->bb && verbose < 2)
			continue;
		printf("\t%s\n", show_instruction(insn));
	} END_FOR_EACH_PTR(insn);
	if (!bb_terminated(bb))
		printf("\tEND\n");
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, (%rsp)
callq 0x12271
leaq 0x2e767(%rip), %rdi     # 0x41577
movq %rax, %rsi
xorl %eax, %eax
callq 0xe0f0
leaq 0x55043(%rip), %rax     # 0x67e64
cmpl $0x0, (%rax)
je 0x1314f
movq (%rsp), %rbx
movl (%rbx), %edi
shrl $0x6, %edi
andl $0x3fff, %edi           # imm = 0x3FFF
callq 0x2e3c4
movl $0x7fffffff, %edx       # imm = 0x7FFFFFFF
andl 0x4(%rbx), %edx
leaq 0x2f922(%rip), %rdi     # 0x4276f
movq %rax, %rsi
xorl %eax, %eax
callq 0xe0f0
movq 0x48(%rbx), %rax
movq %rax, 0x8(%rsp)
testq %rax, %rax
je 0x12fc9
leaq 0x53b60(%rip), %r15     # 0x669d0
movq 0x8(%rsp), %r12
movzwl (%r12), %eax
testb %al, %al
jle 0x12fb9
xorl %r13d, %r13d
movq %r12, 0x18(%rsp)
movq 0x18(%r12,%r13,8), %rdi
movzwl %ax, %eax
cmpl $0x100, %eax            # imm = 0x100
jb 0x12ea2
testq %rdi, %rdi
je 0x12fa5
movq 0x18(%rdi), %rbx
movl (%rbx), %r14d
andl $0x7f, %r14d
callq 0x122bc
movq %rax, %rbp
cmpl $0x46, %r14d
jne 0x12f88
movq %r13, 0x20(%rsp)
leaq 0x2f8c4(%rip), %rdi     # 0x4278f
movq %rbp, %rsi
xorl %eax, %eax
callq 0xe0f0
movq 0x38(%rbx), %rax
movq %rax, 0x10(%rsp)
testq %rax, %rax
je 0x12f70
movq 0x10(%rsp), %r12
leaq 0x2f7cd(%rip), %rbp     # 0x426c0
movzwl (%r12), %eax
testb %al, %al
jle 0x12f64
xorl %r13d, %r13d
movq 0x18(%r12,%r13,8), %rbx
movzwl %ax, %eax
cmpl $0x100, %eax            # imm = 0x100
setae %al
testq %rbx, %rbx
sete %cl
testb %cl, %al
jne 0x12f54
cmpq %r15, %rbx
je 0x12f54
movq %rbx, %rdi
callq 0x122bc
movq %rax, %r14
movq 0x18(%rbx), %rax
movq 0x8(%rax), %rdi
callq 0x12271
leaq 0x2f864(%rip), %rdi     # 0x427a1
movq %rbp, %rsi
movq %r14, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0xe0f0
leaq 0x2f857(%rip), %rbp     # 0x427ab
incq %r13
movl (%r12), %eax
movsbq %al, %rcx
cmpq %rcx, %r13
jl 0x12eff
movq 0x10(%r12), %r12
cmpq 0x10(%rsp), %r12
jne 0x12ef3
leaq 0x2fcb4(%rip), %rdi     # 0x42c2b
callq 0xe0a0
movq 0x18(%rsp), %r12
movq 0x20(%rsp), %r13
jmp 0x12fa5
movq 0x8(%rbx), %rdi
callq 0x12271
leaq 0x2f7de(%rip), %rdi     # 0x42776
movq %rbp, %rsi
movq %rax, %rdx
xorl %eax, %eax
callq 0xe0f0
incq %r13
movl (%r12), %eax
movsbq %al, %rcx
cmpq %rcx, %r13
jl 0x12e8a
movq 0x10(%r12), %r12
cmpq 0x8(%rsp), %r12
jne 0x12e75
movq (%rsp), %rax
movq 0x50(%rax), %rbx
testq %rbx, %rbx
je 0x13029
leaq 0x2f7d1(%rip), %r14     # 0x427ae
movq %rbx, %r15
movzwl (%r15), %eax
testb %al, %al
jle 0x13020
xorl %r12d, %r12d
movq 0x18(%r15,%r12,8), %rdi
movzwl %ax, %eax
cmpl $0x100, %eax            # imm = 0x100
jb 0x12fff
testq %rdi, %rdi
je 0x13011
callq 0x122bc
movq %r14, %rdi
movq %rax, %rsi
xorl %eax, %eax
callq 0xe0f0
incq %r12
movl (%r15), %eax
movsbq %al, %rcx
cmpq %rcx, %r12
jl 0x12feb
movq 0x10(%r15), %r15
cmpq %rbx, %r15
jne 0x12fe0
movq (%rsp), %rax
movq 0x18(%rax), %r12
testq %r12, %r12
je 0x130bc
leaq 0x2f780(%rip), %r14     # 0x427c1
movq %r12, %r13
movzwl (%r13), %eax
testb %al, %al
jle 0x130b3
xorl %ebp, %ebp
movq 0x18(%r13,%rbp,8), %r15
movzwl %ax, %eax
cmpl $0x100, %eax            # imm = 0x100
jb 0x13063
testq %r15, %r15
je 0x130a3
movq %r15, %rdi
callq 0x12271
movq %rax, %rbx
movl (%r15), %edi
shrl $0x6, %edi
andl $0x3fff, %edi           # imm = 0x3FFF
callq 0x2e3c4
movq (%r15), %r8
movq %r8, %rcx
shrq $0x20, %rcx
andl $0x7fffffff, %ecx       # imm = 0x7FFFFFFF
shrl $0x16, %r8d
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
xorl %eax, %eax
callq 0xe0f0
incq %rbp
movl (%r13), %eax
movsbq %al, %rcx
cmpq %rcx, %rbp
jl 0x1304f
movq 0x10(%r13), %r13
cmpq %r12, %r13
jne 0x13044
movq (%rsp), %rax
movq 0x20(%rax), %r12
testq %r12, %r12
je 0x1314f
leaq 0x2f707(%rip), %r14     # 0x427db
movq %r12, %r13
movzwl (%r13), %eax
testb %al, %al
jle 0x13146
xorl %ebp, %ebp
movq 0x18(%r13,%rbp,8), %r15
movzwl %ax, %eax
cmpl $0x100, %eax            # imm = 0x100
jb 0x130f6
testq %r15, %r15
je 0x13136
movq %r15, %rdi
callq 0x12271
movq %rax, %rbx
movl (%r15), %edi
shrl $0x6, %edi
andl $0x3fff, %edi           # imm = 0x3FFF
callq 0x2e3c4
movq (%r15), %r8
movq %r8, %rcx
shrq $0x20, %rcx
andl $0x7fffffff, %ecx       # imm = 0x7FFFFFFF
shrl $0x16, %r8d
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
xorl %eax, %eax
callq 0xe0f0
incq %rbp
movl (%r13), %eax
movsbq %al, %rcx
cmpq %rcx, %rbp
jl 0x130e2
movq 0x10(%r13), %r13
cmpq %r12, %r13
jne 0x130d7
movq (%rsp), %rax
movq 0x28(%rax), %rbx
testq %rbx, %rbx
je 0x131cc
leaq 0x34a77(%rip), %r14     # 0x47bda
leaq 0x539e6(%rip), %r15     # 0x66b50
movq %rbx, %r12
movzwl (%r12), %eax
testb %al, %al
jle 0x131c2
xorl %r13d, %r13d
movq 0x18(%r12,%r13,8), %rdi
movzwl %ax, %eax
cmpl $0x100, %eax            # imm = 0x100
jb 0x1318d
testq %rdi, %rdi
je 0x131b2
cmpq $0x0, 0x8(%rdi)
jne 0x131a0
leaq 0x54cc9(%rip), %rax     # 0x67e64
cmpl $0x2, (%rax)
jl 0x131b2
callq 0x12516
movq %r14, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0xe0f0
incq %r13
movl (%r12), %eax
movsbq %al, %rcx
cmpq %rcx, %r13
jl 0x13179
movq 0x10(%r12), %r12
cmpq %rbx, %r12
jne 0x1316d
movq (%rsp), %rax
testq %rax, %rax
je 0x131f0
movq 0x28(%rax), %rdi
callq 0x22652
testq %rax, %rax
je 0x131f0
movl (%rax), %eax
andl $0x7e, %eax
addl $-0x8, %eax
cmpl $-0x7, %eax
ja 0x1320a
leaq 0x2fa2f(%rip), %rdi     # 0x42c26
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xe0a0
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq