// File: /workspace/github_cpp_makefile_star2_O2/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 0x19242
leaq 0x18369(%rip), %r13     # 0x3148a
movb (%r13), %al
cmpb $0x1, %al
jne 0x19158
movq 0x17ea0(%rip), %rdi     # 0x30fd0
movq (%rdi), %rax
movq -0x18(%rax), %rax
movq $0x11, 0x10(%rdi,%rax)
pushq $0x20
popq %rsi
callq 0x4440
leaq 0x20(%rbx), %rsi
movq %rax, %rdi
callq 0x42b0
movb (%r13), %al
testb $0x1, %al
je 0x1916f
movq 0x17e6d(%rip), %rdi     # 0x30fd0
leaq 0xcdf3(%rip), %rsi      # 0x25f5d
callq 0x4300
xorl %ebp, %ebp
movq 0x17e58(%rip), %r14     # 0x30fd0
leaq 0xc8c0(%rip), %r15      # 0x25a3f
leaq 0xc8d0(%rip), %r12      # 0x25a56
movslq 0x1c8(%rbx), %rax
cmpq %rax, %rbp
jge 0x1922f
testq %rbp, %rbp
sete %al
testb $0x7, %bpl
setne %cl
orb %al, %cl
jne 0x191c1
cmpb $0x1, (%r13)
jne 0x191c1
movq %r14, %rdi
callq 0x4180
movq %rax, %rdi
movq %r15, %rsi
callq 0x4300
movq 0x1d0(%rbx), %rax
movq 0x1d8(%rbx), %rcx
subq %rax, %rcx
sarq $0x3, %rcx
cmpq %rbp, %rcx
jbe 0x191f0
cmpb $0x1, (%r13)
jne 0x19210
movq (%rax,%rbp,8), %rsi
movq %r14, %rdi
callq 0x20aca
jmp 0x19210
movl 0x1c8(%rbx), %ecx
decl %ecx
movb (%r13), %al
cmpq %rcx, %rbp
jne 0x19218
testb %al, %al
je 0x19210
movq %r14, %rdi
movq %r12, %rsi
callq 0x4300
incq %rbp
jmp 0x19186
testb %al, %al
je 0x1922f
movq 0x17dad(%rip), %rdi     # 0x30fd0
leaq 0xc832(%rip), %rsi      # 0x25a5c
callq 0x4300
cmpb $0x1, (%r13)
jne 0x19242
movq 0x17d93(%rip), %rdi     # 0x30fd0
callq 0x4180
movq 0x1f0(%rbx), %rax
cmpq 0x1e8(%rbx), %rax
je 0x19395
leaq 0x1822d(%rip), %r13     # 0x3148a
movb (%r13), %al
cmpb $0x1, %al
jne 0x19294
movq 0x17d64(%rip), %rdi     # 0x30fd0
movq (%rdi), %rax
movq -0x18(%rax), %rax
movq $0x11, 0x10(%rdi,%rax)
pushq $0x20
popq %rsi
callq 0x4440
leaq 0x20(%rbx), %rsi
movq %rax, %rdi
callq 0x42b0
movb (%r13), %al
testb $0x1, %al
je 0x192ab
movq 0x17d31(%rip), %rdi     # 0x30fd0
leaq 0xccbd(%rip), %rsi      # 0x25f63
callq 0x4300
xorl %ebp, %ebp
movq 0x17d1c(%rip), %r14     # 0x30fd0
leaq 0xc784(%rip), %r15      # 0x25a3f
xorl %r12d, %r12d
movslq 0x1cc(%rbx), %rax
cmpq %rax, %rbp
jge 0x19374
testq %rbp, %rbp
sete %al
testb $0x7, %bpl
setne %cl
orb %al, %cl
jne 0x192f9
cmpb $0x1, (%r13)
jne 0x192f9
movq %r14, %rdi
callq 0x4180
movq %rax, %rdi
movq %r15, %rsi
callq 0x4300
movq 0x1e8(%rbx), %rax
movq 0x1f0(%rbx), %rdx
subq %rax, %rdx
sarq $0x3, %rdx
movb (%r13), %cl
cmpq %rbp, %rdx
jbe 0x19335
cmpq $0x0, (%rax,%rbp,8)
cmovnel %ebp, %r12d
testb %cl, %cl
je 0x19355
movslq %r12d, %rcx
movq (%rax,%rcx,8), %rsi
movq %r14, %rdi
callq 0x1e2c8
jmp 0x19355
movl 0x1cc(%rbx), %eax
decl %eax
cmpq %rax, %rbp
jne 0x1935d
testb %cl, %cl
je 0x19355
movq %r14, %rdi
leaq 0xc706(%rip), %rsi      # 0x25a56
callq 0x4300
incq %rbp
jmp 0x192be
testb %cl, %cl
je 0x19374
movq 0x17c68(%rip), %rdi     # 0x30fd0
leaq 0xc6ed(%rip), %rsi      # 0x25a5c
callq 0x4300
cmpb $0x1, (%r13)
jne 0x19395
movq 0x17c4e(%rip), %rdi     # 0x30fd0
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x4180
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq