// File: /workspace/github_cpp_makefile_star2_O1/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 0x21b2d
leaq 0x1ab11(%rip), %r13     # 0x3c48a
cmpb $0x1, (%r13)
jne 0x219e1
movq 0x1a649(%rip), %rax     # 0x3bfd0
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 0x219c5
movq %r14, %rdi
movl $0x20, %esi
callq 0x42d0
movb %al, 0xe0(%r14)
movb $0x1, 0xe1(%r14)
movb $0x20, 0xe0(%r14)
movq 0x20(%rbx), %rsi
movq 0x28(%rbx), %rdx
movq 0x1a5f4(%rip), %rdi     # 0x3bfd0
callq 0x4340
cmpb $0x1, (%r13)
jne 0x21a00
movq 0x1a5e1(%rip), %rdi     # 0x3bfd0
leaq 0x11516(%rip), %rsi     # 0x32f0c
movl $0x5, %edx
callq 0x4340
cmpl $0x0, 0x1c8(%rbx)
jle 0x21af8
xorl %ebp, %ebp
movq 0x1a5ba(%rip), %r14     # 0x3bfd0
leaq 0x1104a(%rip), %r15     # 0x32a67
leaq 0x1105a(%rip), %r12     # 0x32a7e
testq %rbp, %rbp
sete %al
testb $0x7, %bpl
setne %cl
orb %al, %cl
jne 0x21a73
cmpb $0x1, (%r13)
jne 0x21a73
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 0x21aa2
cmpb $0x1, (%r13)
jne 0x21ac7
movq (%rax,%rbp,8), %rsi
movq %r14, %rdi
callq 0x2c070
jmp 0x21ac7
movl 0x1c8(%rbx), %ecx
decl %ecx
movb (%r13), %al
cmpq %rcx, %rbp
jne 0x21adc
testb %al, %al
je 0x21ac7
movl $0x5, %edx
movq %r14, %rdi
movq %r12, %rsi
callq 0x4340
incq %rbp
movslq 0x1c8(%rbx), %rax
cmpq %rax, %rbp
jl 0x21a24
jmp 0x21af8
testb %al, %al
je 0x21af8
movq 0x1a4e9(%rip), %rdi     # 0x3bfd0
leaq 0x10f96(%rip), %rsi     # 0x32a84
movl $0x8, %edx
callq 0x4340
cmpb $0x1, (%r13)
jne 0x21b2d
movq 0x1a4ca(%rip), %r14     # 0x3bfd0
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 0x21d16
leaq 0x1a942(%rip), %r13     # 0x3c48a
cmpb $0x1, (%r13)
jne 0x21bb0
movq 0x1a47a(%rip), %rax     # 0x3bfd0
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 0x21b94
movq %r14, %rdi
movl $0x20, %esi
callq 0x42d0
movb %al, 0xe0(%r14)
movb $0x1, 0xe1(%r14)
movb $0x20, 0xe0(%r14)
movq 0x20(%rbx), %rsi
movq 0x28(%rbx), %rdx
movq 0x1a425(%rip), %rdi     # 0x3bfd0
callq 0x4340
cmpb $0x1, (%r13)
jne 0x21bcf
movq 0x1a412(%rip), %rdi     # 0x3bfd0
leaq 0x1134d(%rip), %rsi     # 0x32f12
movl $0x5, %edx
callq 0x4340
cmpl $0x0, 0x1cc(%rbx)
jle 0x21cd3
xorl %ebp, %ebp
movq 0x1a3eb(%rip), %r14     # 0x3bfd0
leaq 0x10e7b(%rip), %r15     # 0x32a67
xorl %r12d, %r12d
testq %rbp, %rbp
sete %al
testb $0x7, %bpl
setne %cl
orb %al, %cl
jne 0x21c3e
cmpb $0x1, (%r13)
jne 0x21c3e
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), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
cmpq %rbp, %rcx
jbe 0x21c79
cmpq $0x0, (%rax,%rbp,8)
cmovnel %ebp, %r12d
cmpb $0x1, (%r13)
jne 0x21ca2
movslq %r12d, %rcx
movq (%rax,%rcx,8), %rsi
movq %r14, %rdi
callq 0x28bbe
jmp 0x21ca2
movl 0x1cc(%rbx), %ecx
decl %ecx
movb (%r13), %al
cmpq %rcx, %rbp
jne 0x21cb7
testb %al, %al
je 0x21ca2
movl $0x5, %edx
movq %r14, %rdi
leaq 0x10de1(%rip), %rsi     # 0x32a7e
callq 0x4340
incq %rbp
movslq 0x1cc(%rbx), %rax
cmpq %rax, %rbp
jl 0x21bef
jmp 0x21cd3
testb %al, %al
je 0x21cd3
movq 0x1a30e(%rip), %rdi     # 0x3bfd0
leaq 0x10dbb(%rip), %rsi     # 0x32a84
movl $0x8, %edx
callq 0x4340
cmpb $0x1, (%r13)
jne 0x21d16
movq 0x1a2ef(%rip), %rbx     # 0x3bfd0
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
nop