// File: /workspace/github_cpp_makefile_star2_O3/estwings57[P]CasHMC/sources/CrossbarSwitch.cpp
// Function: CasHMC::CrossbarSwitch::PrintState()
void CrossbarSwitch::PrintState()
{
	int realInd = 0;
	if(downBuffers.size()>0) {
		STATEN(ALI(17)<<header);
		STATEN("Down ");
		for(int i=0; i<downBufferMax; i++) {
			if(i>0 && i%8==0) {
				STATEN(endl<<"                      ");
			}
			if(i < downBuffers.size()) {
				if(downBuffers[i] != NULL)	realInd = i;
				STATEN(*downBuffers[realInd]);
			}
			else if(i == downBufferMax-1) {
				STATEN("[ - ]");
			}
			else {
				STATEN("[ - ]...");
				break;
			}
		}
		STATEN(endl);
	}
	
	if(upBuffers.size()>0) {
		STATEN(ALI(17)<<header);
		STATEN(" Up  ");
		if(upBuffers.size() < upBufferMax) {
			for(int i=0; i<upBufferMax; i++) {
				if(i>0 && i%8==0) {
					STATEN(endl<<"                      ");
				}
				if(i < upBuffers.size()) {
					if(upBuffers[i] != NULL)	realInd = i;
					STATEN(*upBuffers[realInd]);
				}
				else if(i == upBufferMax-1) {
					STATEN("[ - ]");
				}
				else {
					STATEN("[ - ]...");
					break;
				}
			}
		}
		else {
			for(int i=0; i<upBuffers.size(); i++) {
				if(i>0 && i%8==0) {
					STATEN(endl<<"                      ");
				}
				if(upBuffers[i] != NULL)	realInd = i;
				STATEN(*upBuffers[realInd]);
			}
		}
		STATEN(endl);
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x1d8(%rdi), %rax
cmpq 0x1d0(%rdi), %rax
je 0x19a68
leaq 0x21b89(%rip), %r13     # 0x3b48a
movb (%r13), %al
cmpb $0x1, %al
jne 0x19967
movq 0x216c0(%rip), %rax     # 0x3afd0
movq (%rax), %rcx
movq -0x18(%rcx), %rdx
movq $0x11, 0x10(%rax,%rdx)
movq -0x18(%rcx), %rcx
leaq (%rax,%rcx), %r14
cmpb $0x0, 0xe1(%rax,%rcx)
jne 0x19947
movq %r14, %rdi
movl $0x20, %esi
callq 0x42d0
movb $0x1, 0xe1(%r14)
movb $0x20, 0xe0(%r14)
movq 0x20(%rbx), %rsi
movq 0x28(%rbx), %rdx
movq 0x21672(%rip), %rdi     # 0x3afd0
callq 0x4340
movb (%r13), %al
testb $0x1, %al
je 0x19983
movq 0x2165e(%rip), %rdi     # 0x3afd0
leaq 0x18603(%rip), %rsi     # 0x31f7c
movl $0x5, %edx
callq 0x4340
cmpl $0x0, 0x1c8(%rbx)
jle 0x19a6c
xorl %r12d, %r12d
movq 0x21636(%rip), %r14     # 0x3afd0
leaq 0x18136(%rip), %r15     # 0x31ad7
xorl %ebp, %ebp
testq %r12, %r12
sete %al
testb $0x7, %r12b
setne %cl
orb %al, %cl
jne 0x199f2
cmpb $0x1, (%r13)
jne 0x199f2
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x42d0
movsbl %al, %esi
movq %r14, %rdi
callq 0x4040
movq %rax, %rdi
callq 0x41f0
movl $0x16, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x4340
movq 0x1d0(%rbx), %rax
movq 0x1d8(%rbx), %rdx
subq %rax, %rdx
sarq $0x3, %rdx
movb (%r13), %cl
cmpq %r12, %rdx
jbe 0x19a2e
cmpq $0x0, (%rax,%r12,8)
cmovnel %r12d, %ebp
testb %cl, %cl
je 0x19a53
movslq %ebp, %rcx
movq (%rax,%rcx,8), %rsi
movq %r14, %rdi
callq 0x28270
jmp 0x19a53
movl 0x1c8(%rbx), %eax
decl %eax
cmpq %rax, %r12
jne 0x19a70
testb %cl, %cl
je 0x19a53
movl $0x5, %edx
movq %r14, %rdi
leaq 0x180a0(%rip), %rsi     # 0x31aee
callq 0x4340
incq %r12
movslq 0x1c8(%rbx), %rax
cmpq %rax, %r12
jl 0x199a3
jmp 0x19a8c
xorl %ebp, %ebp
jmp 0x19ac1
xorl %ebp, %ebp
jmp 0x19a8c
testb %cl, %cl
je 0x19a8c
movq 0x21555(%rip), %rdi     # 0x3afd0
leaq 0x18072(%rip), %rsi     # 0x31af4
movl $0x8, %edx
callq 0x4340
cmpb $0x1, (%r13)
jne 0x19ac1
movq 0x21536(%rip), %r14     # 0x3afd0
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x42d0
movsbl %al, %esi
movq %r14, %rdi
callq 0x4040
movq %rax, %rdi
callq 0x41f0
movq 0x1f0(%rbx), %rax
cmpq 0x1e8(%rbx), %rax
je 0x19d68
leaq 0x219ae(%rip), %r13     # 0x3b48a
movb (%r13), %al
cmpb $0x1, %al
jne 0x19b42
movq 0x214e5(%rip), %rax     # 0x3afd0
movq (%rax), %rcx
movq -0x18(%rcx), %rdx
movq $0x11, 0x10(%rax,%rdx)
movq -0x18(%rcx), %rcx
leaq (%rax,%rcx), %r14
cmpb $0x0, 0xe1(%rax,%rcx)
jne 0x19b22
movq %r14, %rdi
movl $0x20, %esi
callq 0x42d0
movb $0x1, 0xe1(%r14)
movb $0x20, 0xe0(%r14)
movq 0x20(%rbx), %rsi
movq 0x28(%rbx), %rdx
movq 0x21497(%rip), %rdi     # 0x3afd0
callq 0x4340
movb (%r13), %al
testb $0x1, %al
je 0x19b5e
movq 0x21483(%rip), %rdi     # 0x3afd0
leaq 0x1842e(%rip), %rsi     # 0x31f82
movl $0x5, %edx
callq 0x4340
movq 0x1e8(%rbx), %rax
movq 0x1f0(%rbx), %rcx
movq %rcx, %rsi
subq %rax, %rsi
sarq $0x3, %rsi
movslq 0x1cc(%rbx), %rdx
cmpq %rdx, %rsi
jae 0x19c6b
testl %edx, %edx
jle 0x19d25
xorl %r12d, %r12d
movq 0x21438(%rip), %r14     # 0x3afd0
leaq 0x17f38(%rip), %r15     # 0x31ad7
testq %r12, %r12
sete %al
testb $0x7, %r12b
setne %cl
orb %al, %cl
jne 0x19bee
cmpb $0x1, (%r13)
jne 0x19bee
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x42d0
movsbl %al, %esi
movq %r14, %rdi
callq 0x4040
movq %rax, %rdi
callq 0x41f0
movl $0x16, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x4340
movq 0x1e8(%rbx), %rax
movq 0x1f0(%rbx), %rdx
subq %rax, %rdx
sarq $0x3, %rdx
movb (%r13), %cl
cmpq %r12, %rdx
jbe 0x19c2a
cmpq $0x0, (%rax,%r12,8)
cmovnel %r12d, %ebp
testb %cl, %cl
je 0x19c53
movslq %ebp, %rcx
movq (%rax,%rcx,8), %rsi
movq %r14, %rdi
callq 0x28270
jmp 0x19c53
movl 0x1cc(%rbx), %eax
decl %eax
cmpq %rax, %r12
jne 0x19d77
testb %cl, %cl
je 0x19c53
movl $0x5, %edx
movq %r14, %rdi
leaq 0x17ea0(%rip), %rsi     # 0x31aee
callq 0x4340
incq %r12
movslq 0x1cc(%rbx), %rax
cmpq %rax, %r12
jl 0x19b9f
jmp 0x19d25
cmpq %rax, %rcx
je 0x19d25
movb (%r13), %cl
xorl %r12d, %r12d
movq 0x2134e(%rip), %r14     # 0x3afd0
leaq 0x17e4e(%rip), %r15     # 0x31ad7
testq %r12, %r12
sete %dl
testb $0x7, %r12b
setne %sil
orb %dl, %sil
jne 0x19ce3
testb $0x1, %cl
je 0x19ce3
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x42d0
movsbl %al, %esi
movq %r14, %rdi
callq 0x4040
movq %rax, %rdi
callq 0x41f0
movl $0x16, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x4340
movq 0x1e8(%rbx), %rax
movb (%r13), %cl
cmpq $0x0, (%rax,%r12,8)
cmovnel %r12d, %ebp
testb $0x1, %cl
je 0x19d0b
movslq %ebp, %rcx
movq (%rax,%rcx,8), %rsi
movq %r14, %rdi
callq 0x28270
movq 0x1e8(%rbx), %rax
movb (%r13), %cl
incq %r12
movq 0x1f0(%rbx), %rdx
subq %rax, %rdx
sarq $0x3, %rdx
cmpq %r12, %rdx
ja 0x19c89
cmpb $0x1, (%r13)
jne 0x19d68
movq 0x2129d(%rip), %rbx     # 0x3afd0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x42d0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x4040
movq %rax, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x41f0
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
testb %cl, %cl
je 0x19d25
movq 0x2124e(%rip), %rdi     # 0x3afd0
leaq 0x17d6b(%rip), %rsi     # 0x31af4
movl $0x8, %edx
callq 0x4340
jmp 0x19d25
nop