// File: /workspace/github_cpp_makefile_star2_O3/tewalds[P]morat/pentago/agentab.cpp
// Function: Morat::Pentago::AgentAB::move_stats[abi:cxx11](std::vector<Morat::Pentago::Move, std::allocator<Morat::Pentago::Move>>) const
std::string AgentAB::move_stats(vecmove moves) const {
	std::string s = "";

	Board b = rootboard;
	for(vecmove::iterator m = moves.begin(); m != moves.end(); ++m)
		b.move(*m);

	for(MoveIterator move(b); !move.done(); ++move){
		s += "move: " + move->to_s() + ", ";
		if(const Node * n = tt_get(move.board())) {
			s += n->to_s() + "\n";
		} else {
			s += "unknown\n";
		}
	}
	return s;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xe8, %rsp
movq %rdx, %r15
leaq 0x10(%rdi), %rbp
leaq 0x1fe22(%rip), %rdx     # 0x2c843
movq %rsi, %r14
movq %rdi, %rbx
movq %rdx, %rsi
movq %rbp, (%rdi)
callq 0xb026
movq 0x30(%r14), %rax
movq %rax, 0x90(%rsp)
vmovups 0x10(%r14), %ymm0
vmovups %ymm0, 0x70(%rsp)
movq (%r15), %r13
cmpq 0x8(%r15), %r13
je 0xca72
leaq 0x70(%rsp), %r12
movzwl (%r13), %esi
movq %r12, %rdi
vzeroupper
callq 0xd6ec
addq $0x2, %r13
cmpq 0x8(%r15), %r13
jne 0xca58
leaq 0x98(%rsp), %rdi
leaq 0x70(%rsp), %rsi
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
movq %rbp, 0x8(%rsp)
vzeroupper
callq 0xe03e
leaq 0x40(%rsp), %r15
leaq 0x20(%rsp), %rbp
leaq 0x50(%rsp), %r13
leaq 0x30(%rsp), %r12
cmpb $0x24, 0xc8(%rsp)
jge 0xccc3
leaq 0xc8(%rsp), %rsi
movq %r13, %rdi
callq 0xd3c2
movl $0x6, %r8d
leaq 0x207a5(%rip), %rcx     # 0x2d275
movq %r13, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
movq %r15, 0x30(%rsp)
movq %rax, %rcx
addq $0x10, %rcx
movq (%rax), %rdx
cmpq %rcx, %rdx
je 0xcaff
movq %rdx, 0x30(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x40(%rsp)
jmp 0xcb08
vmovups (%rcx), %xmm0
vmovups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0x38(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x20655(%rip), %rsi     # 0x2d17c
movq %r12, %rdi
callq 0x5720
movq %rbp, 0x10(%rsp)
movq %rax, %rcx
addq $0x10, %rcx
movq (%rax), %rdx
cmpq %rcx, %rdx
je 0xcb52
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
jmp 0xcb5b
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rbp)
movq 0x8(%rax), %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x18(%rsp), %rdx
movq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x50e0
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0xcb94
callq 0x5310
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0xcba3
callq 0x5310
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0xcbb7
callq 0x5310
leaq 0xa0(%rsp), %rdi
callq 0xd800
movq %rax, %rcx
shrq $0x21, %rax
movabsq $-0xae502812aa7333, %rdx # imm = 0xFF51AFD7ED558CCD
movq 0x38(%r14), %rsi
xorq %rcx, %rax
imulq %rdx, %rax
movq %rax, %rdx
shrq $0x21, %rdx
xorq %rax, %rdx
movabsq $-0x3b314601e57a13ad, %rax # imm = 0xC4CEB9FE1A85EC53
imulq %rax, %rdx
movq %rdx, %rax
shrq $0x21, %rax
xorq %rdx, %rax
xorl %edx, %edx
divq 0x40(%r14)
shlq $0x4, %rdx
cmpq %rcx, (%rsi,%rdx)
jne 0xcc4f
addq %rdx, %rsi
movq %r12, %rdi
callq 0xd898
leaq 0x1fc1e(%rip), %rsi     # 0x2c842
movq %r12, %rdi
callq 0x5720
movq %rbp, 0x10(%rsp)
movq %rax, %rcx
addq $0x10, %rcx
movq (%rax), %rdx
cmpq %rcx, %rdx
je 0xcc60
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
jmp 0xcc69
leaq 0x20626(%rip), %rsi     # 0x2d27c
movq %rbx, %rdi
callq 0x5720
jmp 0xccb1
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rbp)
movq 0x8(%rax), %rdx
movq %rdx, 0x18(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x18(%rsp), %rdx
movq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x50e0
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0xcca2
callq 0x5310
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0xccb1
callq 0x5310
leaq 0x98(%rsp), %rdi
callq 0xe122
jmp 0xcaa5
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0xccd5
callq 0x5490
movq %rbx, %rax
addq $0xe8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x8(%rsp), %rbp
jmp 0xcd18
jmp 0xcd33
movq %rax, %r14
jmp 0xcd0c
jmp 0xcd33
movq 0x10(%rsp), %rdi
movq %rax, %r14
cmpq %rbp, %rdi
je 0xcd0c
callq 0x5310
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
jne 0xcd5e
jmp 0xcd63
movq %rax, %r14
jmp 0xcd7a
movq 0x10(%rsp), %rdi
movq %rax, %r14
cmpq %rbp, %rdi
je 0xcd40
callq 0x5310
jmp 0xcd40
jmp 0xcd33
movq %rax, %r14
jmp 0xcd63
movq %rax, %r14
jmp 0xcd4f
movq %rax, %r14
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0xcd4f
callq 0x5310
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0xcd63
callq 0x5310
movq 0x8(%rsp), %rbp
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0xcd7a
callq 0x5490
movq (%rbx), %rdi
cmpq %rbp, %rdi
je 0xcd87
callq 0x5310
movq %r14, %rdi
callq 0x56c0
nop