// File: /workspace/github_c_makefile_star2_O3/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 0x122b5
leaq 0x2d728(%rip), %rdi     # 0x40577
movq %rax, %rsi
xorl %eax, %eax
callq 0xe0f0
leaq 0x54004(%rip), %rax     # 0x66e64
cmpl $0x0, (%rax)
je 0x131a6
movq (%rsp), %rbx
movl (%rbx), %edi
shrl $0x6, %edi
andl $0x3fff, %edi           # imm = 0x3FFF
callq 0x2dd94
movl $0x7fffffff, %edx       # imm = 0x7FFFFFFF
andl 0x4(%rbx), %edx
leaq 0x2e8b3(%rip), %rdi     # 0x4173f
movq %rax, %rsi
xorl %eax, %eax
callq 0xe0f0
movq 0x48(%rbx), %rax
movq %rax, 0x8(%rsp)
testq %rax, %rax
je 0x13011
leaq 0x52b21(%rip), %r15     # 0x659d0
movq 0x8(%rsp), %r12
movzwl (%r12), %eax
testb %al, %al
jle 0x13001
xorl %r13d, %r13d
movq %r12, 0x18(%rsp)
movq 0x18(%r12,%r13,8), %rdi
movzwl %ax, %eax
cmpl $0x100, %eax            # imm = 0x100
jb 0x12ee1
testq %rdi, %rdi
je 0x12fed
movq 0x18(%rdi), %rbx
movl (%rbx), %r14d
andl $0x7f, %r14d
callq 0x12300
movq %rax, %rbp
cmpl $0x46, %r14d
jne 0x12fd0
movq %r13, 0x20(%rsp)
leaq 0x2e855(%rip), %rdi     # 0x4175f
movq %rbp, %rsi
xorl %eax, %eax
callq 0xe0f0
movq 0x38(%rbx), %rax
movq %rax, 0x10(%rsp)
testq %rax, %rax
je 0x12fb8
movq 0x10(%rsp), %r12
leaq 0x2e75e(%rip), %rbp     # 0x41690
movzwl (%r12), %eax
testb %al, %al
jle 0x12fa8
xorl %r13d, %r13d
movq 0x18(%r12,%r13,8), %rbx
movzwl %ax, %ecx
cmpl $0x100, %ecx            # imm = 0x100
setae %cl
testq %rbx, %rbx
sete %dl
testb %dl, %cl
jne 0x12f99
cmpq %r15, %rbx
je 0x12f99
movq %rbx, %rdi
callq 0x12300
movq %rax, %r14
movq 0x18(%rbx), %rax
movq 0x8(%rax), %rdi
callq 0x122b5
leaq 0x2e7f4(%rip), %rdi     # 0x41771
movq %rbp, %rsi
movq %r14, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0xe0f0
movzwl (%r12), %eax
leaq 0x2e7e2(%rip), %rbp     # 0x4177b
incq %r13
movzwl %ax, %ecx
movsbq %cl, %rcx
cmpq %rcx, %r13
jl 0x12f3e
movq 0x10(%r12), %r12
cmpq 0x10(%rsp), %r12
jne 0x12f32
leaq 0x2ec3c(%rip), %rdi     # 0x41bfb
callq 0xe0a0
movq 0x18(%rsp), %r12
movq 0x20(%rsp), %r13
jmp 0x12fed
movq 0x8(%rbx), %rdi
callq 0x122b5
leaq 0x2e766(%rip), %rdi     # 0x41746
movq %rbp, %rsi
movq %rax, %rdx
xorl %eax, %eax
callq 0xe0f0
incq %r13
movl (%r12), %eax
movsbq %al, %rcx
cmpq %rcx, %r13
jl 0x12ec9
movq 0x10(%r12), %r12
cmpq 0x8(%rsp), %r12
jne 0x12eb4
movq (%rsp), %rax
movq 0x50(%rax), %rbx
testq %rbx, %rbx
je 0x13076
leaq 0x2e759(%rip), %r14     # 0x4177e
movq %rbx, %r15
movzwl (%r15), %eax
testb %al, %al
jle 0x1306d
xorl %r12d, %r12d
movq 0x18(%r15,%r12,8), %rdi
movzwl %ax, %ecx
cmpl $0x100, %ecx            # imm = 0x100
jb 0x13048
testq %rdi, %rdi
je 0x1305e
callq 0x12300
movq %r14, %rdi
movq %rax, %rsi
xorl %eax, %eax
callq 0xe0f0
movzwl (%r15), %eax
incq %r12
movzwl %ax, %ecx
movsbq %cl, %rcx
cmpq %rcx, %r12
jl 0x13033
movq 0x10(%r15), %r15
cmpq %rbx, %r15
jne 0x13028
movq (%rsp), %rax
movq 0x18(%rax), %r12
testq %r12, %r12
je 0x1310e
leaq 0x2e703(%rip), %r14     # 0x41791
movq %r12, %r13
movzwl (%r13), %eax
testb %al, %al
jle 0x13105
xorl %ebp, %ebp
movq 0x18(%r13,%rbp,8), %r15
movzwl %ax, %ecx
cmpl $0x100, %ecx            # imm = 0x100
jb 0x130b1
testq %r15, %r15
je 0x130f6
movq %r15, %rdi
callq 0x122b5
movq %rax, %rbx
movl (%r15), %edi
shrl $0x6, %edi
andl $0x3fff, %edi           # imm = 0x3FFF
callq 0x2dd94
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
movzwl (%r13), %eax
incq %rbp
movzwl %ax, %ecx
movsbq %cl, %rcx
cmpq %rcx, %rbp
jl 0x1309c
movq 0x10(%r13), %r13
cmpq %r12, %r13
jne 0x13091
movq (%rsp), %rax
movq 0x20(%rax), %r12
testq %r12, %r12
je 0x131a6
leaq 0x2e685(%rip), %r14     # 0x417ab
movq %r12, %r13
movzwl (%r13), %eax
testb %al, %al
jle 0x1319d
xorl %ebp, %ebp
movq 0x18(%r13,%rbp,8), %r15
movzwl %ax, %ecx
cmpl $0x100, %ecx            # imm = 0x100
jb 0x13149
testq %r15, %r15
je 0x1318e
movq %r15, %rdi
callq 0x122b5
movq %rax, %rbx
movl (%r15), %edi
shrl $0x6, %edi
andl $0x3fff, %edi           # imm = 0x3FFF
callq 0x2dd94
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
movzwl (%r13), %eax
incq %rbp
movzwl %ax, %ecx
movsbq %cl, %rcx
cmpq %rcx, %rbp
jl 0x13134
movq 0x10(%r13), %r13
cmpq %r12, %r13
jne 0x13129
movq (%rsp), %rax
movq 0x28(%rax), %rbx
testq %rbx, %rbx
je 0x1323b
leaq 0x3399c(%rip), %r14     # 0x46b5a
leaq 0x5298b(%rip), %r15     # 0x65b50
movq %rbx, %r12
movzwl (%r12), %eax
testb %al, %al
jle 0x13222
xorl %r13d, %r13d
movq 0x18(%r12,%r13,8), %rdi
movzwl %ax, %ecx
cmpl $0x100, %ecx            # imm = 0x100
jb 0x131e9
testq %rdi, %rdi
je 0x13213
cmpq $0x0, 0x8(%rdi)
jne 0x131fc
leaq 0x53c6d(%rip), %rcx     # 0x66e64
cmpl $0x2, (%rcx)
jl 0x13213
callq 0x12543
movq %r14, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0xe0f0
movzwl (%r12), %eax
incq %r13
movzwl %ax, %ecx
movsbq %cl, %rcx
cmpq %rcx, %r13
jl 0x131d4
movq 0x10(%r12), %r12
cmpq %rbx, %r12
jne 0x131c8
movq (%rsp), %rax
testq %rax, %rax
je 0x13254
movq 0x28(%rax), %rdi
jmp 0x1323d
xorl %edi, %edi
callq 0x225ce
testq %rax, %rax
je 0x13254
movl (%rax), %eax
andl $0x7e, %eax
addl $-0x8, %eax
cmpl $-0x7, %eax
ja 0x1326e
leaq 0x2e99b(%rip), %rdi     # 0x41bf6
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