// File: /workspace/github_c_makefile_star2_O0/Mithreindeir[P]ewcc/src/debug.c
// Function: bb_debug
void bb_debug(struct bb *bb)
{
	if (!bb) return;
	if (bb->visited) return;
	bb->visited = 1;
	printf("Basic Block:\n");
	printf("------------------------------------\n");
	struct ir_stmt *stmt = bb->blk;
	int ln = 0;
	while (stmt && ln < bb->len) {
		printf("%2d: ", ++ln);
		ir_stmt_debug(stmt);
		printf("\n");
		stmt = stmt->next;
	}
	printf("Local Register Allocation:\n");
	color_graph(bb->graph, bb->nvert, 4);
	for (int i = 0; i < bb->nvert; i++)
		printf("Temp R%d = Machine Reg %d\n", bb->graph[i]->ocolor, bb->graph[i]->color);
	printf("------------------------------------\n");
	stmt = bb->blk;
	ln = 0;
	while (stmt && ln < bb->len) {
		if (stmt->result && stmt->result->type == oper_reg) {
			for (int i = 0; i < bb->nvert; i++) {
				if (bb->graph[i]->ocolor == stmt->result->val.virt_reg) {
					stmt->result->val.virt_reg = bb->graph[i]->color;
				}
			}
		}
		if (stmt->arg1 && stmt->arg1->type == oper_reg) {
			for (int i = 0; i < bb->nvert; i++) {
				if (bb->graph[i]->ocolor == stmt->arg1->val.virt_reg) {
					stmt->arg1->val.virt_reg = bb->graph[i]->color;
				}
			}
		}
		if (stmt->arg2 && stmt->arg2->type == oper_reg) {
			for (int i = 0; i < bb->nvert; i++) {
				if (bb->graph[i]->ocolor == stmt->arg2->val.virt_reg) {
					stmt->arg2->val.virt_reg = bb->graph[i]->color;
				}
			}
		}
		stmt = stmt->next;
		ln++;
	}
	printf("\n");
	for (int i = 0; i < bb->nsucc; i++) {
		bb_debug(bb->succ[i]);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
cmpq $0x0, -0x8(%rbp)
jne 0x2238
jmp 0x2567
movq -0x8(%rbp), %rax
cmpl $0x0, 0x9c(%rax)
je 0x224a
jmp 0x2567
movq -0x8(%rbp), %rax
movl $0x1, 0x9c(%rax)
leaq 0x9ecd(%rip), %rdi      # 0xc12c
movb $0x0, %al
callq 0x2060
leaq 0x9ecd(%rip), %rdi      # 0xc13a
movb $0x0, %al
callq 0x2060
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x10(%rbp)
movl $0x0, -0x14(%rbp)
xorl %eax, %eax
cmpq $0x0, -0x10(%rbp)
movb %al, -0x29(%rbp)
je 0x22a2
movl -0x14(%rbp), %eax
movq -0x8(%rbp), %rcx
cmpl 0x10(%rcx), %eax
setl %al
movb %al, -0x29(%rbp)
movb -0x29(%rbp), %al
testb $0x1, %al
jne 0x22ab
jmp 0x22e7
movl -0x14(%rbp), %esi
addl $0x1, %esi
movl %esi, -0x14(%rbp)
leaq 0x9ea5(%rip), %rdi      # 0xc160
movb $0x0, %al
callq 0x2060
movq -0x10(%rbp), %rdi
callq 0x2570
leaq 0xa11d(%rip), %rdi      # 0xc3ef
movb $0x0, %al
callq 0x2060
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movq %rax, -0x10(%rbp)
jmp 0x2286
leaq 0x9e78(%rip), %rdi      # 0xc166
movb $0x0, %al
callq 0x2060
movq -0x8(%rbp), %rax
movq 0x70(%rax), %rdi
movq -0x8(%rbp), %rax
movl 0x78(%rax), %esi
movl $0x4, %edx
callq 0x5640
movl $0x0, -0x18(%rbp)
movl -0x18(%rbp), %eax
movq -0x8(%rbp), %rcx
cmpl 0x78(%rcx), %eax
jge 0x235f
movq -0x8(%rbp), %rax
movq 0x70(%rax), %rax
movslq -0x18(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl (%rax), %esi
movq -0x8(%rbp), %rax
movq 0x70(%rax), %rax
movslq -0x18(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl 0x4(%rax), %edx
leaq 0x9e35(%rip), %rdi      # 0xc182
movb $0x0, %al
callq 0x2060
movl -0x18(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x18(%rbp)
jmp 0x2315
leaq 0x9dd4(%rip), %rdi      # 0xc13a
movb $0x0, %al
callq 0x2060
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x10(%rbp)
movl $0x0, -0x14(%rbp)
xorl %eax, %eax
cmpq $0x0, -0x10(%rbp)
movb %al, -0x2a(%rbp)
je 0x239b
movl -0x14(%rbp), %eax
movq -0x8(%rbp), %rcx
cmpl 0x10(%rcx), %eax
setl %al
movb %al, -0x2a(%rbp)
movb -0x2a(%rbp), %al
testb $0x1, %al
jne 0x23a7
jmp 0x2526
movq -0x10(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0x241e
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cmpl $0x0, (%rax)
jne 0x241e
movl $0x0, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
movq -0x8(%rbp), %rcx
cmpl 0x78(%rcx), %eax
jge 0x241c
movq -0x8(%rbp), %rax
movq 0x70(%rax), %rax
movslq -0x1c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl (%rax), %eax
movq -0x10(%rbp), %rcx
movq 0x8(%rcx), %rcx
cmpl 0x8(%rcx), %eax
jne 0x240f
movq -0x8(%rbp), %rax
movq 0x70(%rax), %rax
movslq -0x1c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl 0x4(%rax), %ecx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movl %ecx, 0x8(%rax)
jmp 0x2411
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
jmp 0x23c6
jmp 0x241e
movq -0x10(%rbp), %rax
cmpq $0x0, 0x10(%rax)
je 0x2495
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
cmpl $0x0, (%rax)
jne 0x2495
movl $0x0, -0x20(%rbp)
movl -0x20(%rbp), %eax
movq -0x8(%rbp), %rcx
cmpl 0x78(%rcx), %eax
jge 0x2493
movq -0x8(%rbp), %rax
movq 0x70(%rax), %rax
movslq -0x20(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl (%rax), %eax
movq -0x10(%rbp), %rcx
movq 0x10(%rcx), %rcx
cmpl 0x8(%rcx), %eax
jne 0x2486
movq -0x8(%rbp), %rax
movq 0x70(%rax), %rax
movslq -0x20(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl 0x4(%rax), %ecx
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movl %ecx, 0x8(%rax)
jmp 0x2488
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x20(%rbp)
jmp 0x243d
jmp 0x2495
movq -0x10(%rbp), %rax
cmpq $0x0, 0x18(%rax)
je 0x250c
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
cmpl $0x0, (%rax)
jne 0x250c
movl $0x0, -0x24(%rbp)
movl -0x24(%rbp), %eax
movq -0x8(%rbp), %rcx
cmpl 0x78(%rcx), %eax
jge 0x250a
movq -0x8(%rbp), %rax
movq 0x70(%rax), %rax
movslq -0x24(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl (%rax), %eax
movq -0x10(%rbp), %rcx
movq 0x18(%rcx), %rcx
cmpl 0x8(%rcx), %eax
jne 0x24fd
movq -0x8(%rbp), %rax
movq 0x70(%rax), %rax
movslq -0x24(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl 0x4(%rax), %ecx
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movl %ecx, 0x8(%rax)
jmp 0x24ff
movl -0x24(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x24(%rbp)
jmp 0x24b4
jmp 0x250c
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rax
movq %rax, -0x10(%rbp)
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x237f
leaq 0x9ec2(%rip), %rdi      # 0xc3ef
movb $0x0, %al
callq 0x2060
movl $0x0, -0x28(%rbp)
movl -0x28(%rbp), %eax
movq -0x8(%rbp), %rcx
cmpl 0x38(%rcx), %eax
jge 0x2567
movq -0x8(%rbp), %rax
movq 0x28(%rax), %rax
movslq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
callq 0x2220
movl -0x28(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x28(%rbp)
jmp 0x253b
addq $0x30, %rsp
popq %rbp
retq
nopl (%rax)