// File: /workspace/github_cpp_makefile_star2_O3/estwings57[P]CasHMC/sources/HMCController.cpp
// Function: CasHMC::HMCController::PrintState()
void HMCController::PrintState()
{
	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()) {
				STATEN(*downBuffers[i]);
			}
			else if(i == downBufferMax-1) {
				STATEN("[ - ]");
			}
			else {
				STATEN("[ - ]...");
				break;
			}
		}
		STATEN(endl);
	}
	
	if(upBuffers.size()>0) {
		STATEN(ALI(17)<<header);
		STATEN(" Up  ");
		int realInd = 0;
		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;
			}
		}
		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 0x21446
leaq 0x1a1f3(%rip), %r13     # 0x3b48a
movb (%r13), %al
cmpb $0x1, %al
jne 0x212fd
movq 0x19d2a(%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 0x212dd
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 0x19cdc(%rip), %rdi     # 0x3afd0
callq 0x4340
movb (%r13), %al
testb $0x1, %al
je 0x21319
movq 0x19cc8(%rip), %rdi     # 0x3afd0
leaq 0x10c6d(%rip), %rsi     # 0x31f7c
movl $0x5, %edx
callq 0x4340
cmpl $0x0, 0x1c8(%rbx)
jle 0x21411
xorl %ebp, %ebp
movq 0x19ca1(%rip), %r14     # 0x3afd0
leaq 0x107a1(%rip), %r15     # 0x31ad7
leaq 0x107b1(%rip), %r12     # 0x31aee
testq %rbp, %rbp
sete %al
testb $0x7, %bpl
setne %cl
orb %al, %cl
jne 0x2138c
cmpb $0x1, (%r13)
jne 0x2138c
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), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
cmpq %rbp, %rcx
jbe 0x213bb
cmpb $0x1, (%r13)
jne 0x213e0
movq (%rax,%rbp,8), %rsi
movq %r14, %rdi
callq 0x2b744
jmp 0x213e0
movl 0x1c8(%rbx), %ecx
decl %ecx
movb (%r13), %al
cmpq %rcx, %rbp
jne 0x213f5
testb %al, %al
je 0x213e0
movl $0x5, %edx
movq %r14, %rdi
movq %r12, %rsi
callq 0x4340
incq %rbp
movslq 0x1c8(%rbx), %rax
cmpq %rax, %rbp
jl 0x2133d
jmp 0x21411
testb %al, %al
je 0x21411
movq 0x19bd0(%rip), %rdi     # 0x3afd0
leaq 0x106ed(%rip), %rsi     # 0x31af4
movl $0x8, %edx
callq 0x4340
cmpb $0x1, (%r13)
jne 0x21446
movq 0x19bb1(%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 0x21627
leaq 0x1a029(%rip), %r13     # 0x3b48a
movb (%r13), %al
cmpb $0x1, %al
jne 0x214c7
movq 0x19b60(%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 0x214a7
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 0x19b12(%rip), %rdi     # 0x3afd0
callq 0x4340
movb (%r13), %al
testb $0x1, %al
je 0x214e3
movq 0x19afe(%rip), %rdi     # 0x3afd0
leaq 0x10aa9(%rip), %rsi     # 0x31f82
movl $0x5, %edx
callq 0x4340
cmpl $0x0, 0x1cc(%rbx)
jle 0x215e4
xorl %ebp, %ebp
movq 0x19ad7(%rip), %r14     # 0x3afd0
leaq 0x105d7(%rip), %r15     # 0x31ad7
xorl %r12d, %r12d
testq %rbp, %rbp
sete %al
testb $0x7, %bpl
setne %cl
orb %al, %cl
jne 0x21552
cmpb $0x1, (%r13)
jne 0x21552
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 %rbp, %rdx
jbe 0x2158e
cmpq $0x0, (%rax,%rbp,8)
cmovnel %ebp, %r12d
testb %cl, %cl
je 0x215b3
movslq %r12d, %rcx
movq (%rax,%rcx,8), %rsi
movq %r14, %rdi
callq 0x28270
jmp 0x215b3
movl 0x1cc(%rbx), %eax
decl %eax
cmpq %rax, %rbp
jne 0x215c8
testb %cl, %cl
je 0x215b3
movl $0x5, %edx
movq %r14, %rdi
leaq 0x10540(%rip), %rsi     # 0x31aee
callq 0x4340
incq %rbp
movslq 0x1cc(%rbx), %rax
cmpq %rax, %rbp
jl 0x21503
jmp 0x215e4
testb %cl, %cl
je 0x215e4
movq 0x199fd(%rip), %rdi     # 0x3afd0
leaq 0x1051a(%rip), %rsi     # 0x31af4
movl $0x8, %edx
callq 0x4340
cmpb $0x1, (%r13)
jne 0x21627
movq 0x199de(%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