// File: /workspace/github_cpp_makefile_star2_O2/estwings57[P]CasHMC/sources/CommandQueue.cpp
// Function: CasHMC::CommandQueue::PrintState()
void CommandQueue::PrintState()
{
	for(int b=0; b<NUM_BANKS; b++) {
		if(ACCESSQUE(b).size()>0) {
			classID.str( string() );	classID.clear();
			classID << b;
			STATEN(ALI(17)<<(header + (QUE_PER_BANK ? ("-"+classID.str()+")") : (")"))));
			if(atomicLock[b]) {
				STATEN(" QueL");
			}
			else {
				STATEN(" Que ");
			}
			for(int i=0; i<MAX_CMD_QUE; i++) {
				if(i>0 && i%8==0) {
					STATEN(endl<<"                      ");
				}
				if(i < ACCESSQUE(b).size()) {
					STATEN(*ACCESSQUE(b)[i]);
				}
				else if(i == MAX_CMD_QUE-1) {
					STATEN("[ - ]");
				}
				else {
					STATEN("[ - ]...");
					break;
				}
			}
			STATEN(endl);
		}
		if(!QUE_PER_BANK)	break;
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
movq %rdi, %rbx
leaq 0x58(%rdi), %rax
movq %rax, 0x8(%rsp)
leaq 0x40(%rdi), %rax
movq %rax, 0x30(%rsp)
leaq 0x50(%rdi), %rax
movq %rax, 0x28(%rsp)
leaq 0x20(%rdi), %rax
movq %rax, 0x10(%rsp)
leaq 0x1e0(%rdi), %rax
movq %rax, 0x20(%rsp)
xorl %ebp, %ebp
leaq 0x209db(%rip), %r13     # 0x3148a
leaq 0x98(%rsp), %rsi
leaq 0x58(%rsp), %r12
leaq 0x20abd(%rip), %rax     # 0x31580
movslq (%rax), %rax
cmpq %rax, %rbp
jge 0x10d79
leaq 0x20aba(%rip), %rax     # 0x31590
cmpb $0x0, (%rax)
movq 0x238(%rbx), %rax
movl $0x0, %ecx
cmovneq %rbp, %rcx
imulq $0x18, %rcx, %rcx
movq 0x8(%rax,%rcx), %rdx
cmpq (%rax,%rcx), %rdx
je 0x10d66
movq %rsi, %r14
leaq 0x48(%rsp), %rax
movq %rax, 0x38(%rsp)
andq $0x0, 0x40(%rsp)
movb $0x0, 0x48(%rsp)
movq 0x8(%rsp), %rdi
leaq 0x38(%rsp), %r15
movq %r15, %rsi
callq 0x4420
movq %r15, %rdi
callq 0x4598
movq 0x30(%rsp), %rcx
movq (%rcx), %rax
movq -0x18(%rax), %rdi
addq %rcx, %rdi
xorl %esi, %esi
callq 0x44d0
movq 0x28(%rsp), %rdi
movl %ebp, %esi
callq 0x44f0
cmpb $0x1, (%r13)
jne 0x10c31
movq 0x2046e(%rip), %rdi     # 0x30fd0
movq (%rdi), %rax
movq -0x18(%rax), %rax
movq $0x11, 0x10(%rdi,%rax)
pushq $0x20
popq %rsi
callq 0x4440
movq %rax, 0x18(%rsp)
leaq 0x20a0a(%rip), %rax     # 0x31590
movb (%rax), %al
movb %al, 0x6(%rsp)
cmpb $0x1, %al
jne 0x10bd0
leaq 0x78(%rsp), %r12
movq %r12, %rdi
movq 0x8(%rsp), %rsi
callq 0x4450
movq %r14, %r15
movq %r14, %rdi
leaq 0x13dc8(%rip), %rsi     # 0x24977
movq %r12, %rdx
callq 0xdcaa
leaq 0x58(%rsp), %rdi
movq %r15, %rsi
movq %rdi, %r12
leaq 0x16908(%rip), %rdx     # 0x274d1
callq 0xdeea
jmp 0x10be4
movq %r12, %rdi
leaq 0x168f7(%rip), %rsi     # 0x274d1
leaq 0x7(%rsp), %rdx
callq 0xcfd4
leaq 0x38(%rsp), %r15
movq %r15, %rdi
movq 0x10(%rsp), %rsi
movq %r12, %rdx
callq 0x11221
movq 0x18(%rsp), %rdi
movq %r15, %rsi
callq 0x42b0
movq %r15, %rdi
callq 0x4598
leaq 0x58(%rsp), %rdi
callq 0x4598
cmpb $0x0, 0x6(%rsp)
je 0x10c31
movq %r14, %rdi
callq 0x4598
leaq 0x78(%rsp), %rdi
callq 0x4598
movq 0x20(%rsp), %rdi
movq %rbp, %rsi
callq 0x11106
cmpb $0x1, (%r13)
jne 0x10c66
testq %rdx, (%rax)
leaq 0x14de4(%rip), %rsi     # 0x25a33
leaq 0x14de3(%rip), %rax     # 0x25a39
cmoveq %rax, %rsi
movq 0x2036f(%rip), %rdi     # 0x30fd0
callq 0x4300
xorl %r15d, %r15d
movq %r14, %rsi
leaq 0x20855(%rip), %r12     # 0x314c8
movslq (%r12), %rax
cmpq %rax, %r15
jge 0x10d4b
testq %r15, %r15
sete %al
testb $0x7, %r15b
setne %cl
orb %al, %cl
jne 0x10cb6
cmpb $0x1, (%r13)
jne 0x10cb6
movq 0x20331(%rip), %rdi     # 0x30fd0
callq 0x4180
movq %rax, %rdi
leaq 0x14d91(%rip), %rsi     # 0x25a3f
callq 0x4300
movq %r14, %rsi
movq 0x238(%rbx), %rcx
leaq 0x208cc(%rip), %rax     # 0x31590
cmpb $0x0, (%rax)
movq %rbp, %rax
jne 0x10cce
xorl %eax, %eax
imulq $0x18, %rax, %rdx
movq (%rcx,%rdx), %rax
movq 0x8(%rcx,%rdx), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
cmpq %r15, %rcx
jbe 0x10d00
cmpb $0x1, (%r13)
jne 0x10d29
movq (%rax,%r15,8), %rsi
movq 0x202d7(%rip), %rdi     # 0x30fd0
callq 0x15274
jmp 0x10d26
movl (%r12), %ecx
decl %ecx
movb (%r13), %al
cmpq %rcx, %r15
jne 0x10d31
testb %al, %al
je 0x10d29
movq 0x202b6(%rip), %rdi     # 0x30fd0
leaq 0x14d35(%rip), %rsi     # 0x25a56
callq 0x4300
movq %r14, %rsi
incq %r15
jmp 0x10c73
testb %al, %al
je 0x10d4b
movq 0x20294(%rip), %rdi     # 0x30fd0
leaq 0x14d19(%rip), %rsi     # 0x25a5c
callq 0x4300
movq %r14, %rsi
cmpb $0x1, (%r13)
leaq 0x58(%rsp), %r12
jne 0x10d66
movq 0x20272(%rip), %rdi     # 0x30fd0
callq 0x4180
movq %r14, %rsi
incq %rbp
leaq 0x20820(%rip), %rax     # 0x31590
cmpb $0x0, (%rax)
jne 0x10abc
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
jmp 0x10dbd
movq %rax, %rbx
jmp 0x10dca
movq %rax, %rbx
jmp 0x10dde
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0x4598
jmp 0x10dac
movq %rax, %rbx
leaq 0x58(%rsp), %rdi
callq 0x4598
cmpb $0x0, 0x6(%rsp)
je 0x10dde
leaq 0x98(%rsp), %rdi
callq 0x4598
leaq 0x78(%rsp), %rdi
jmp 0x10dd9
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0x4598
movq %rbx, %rdi
callq 0x4520