// File: /workspace/github_cpp_makefile_star2_O1/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
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x10(%rdi), %rbp
movq %rbp, (%rdi)
leaq 0x1fdf1(%rip), %rdx     # 0x2c843
movq %rdx, %rsi
callq 0xaffc
movq 0x30(%r14), %rax
movq %rax, 0x90(%rsp)
vmovups 0x10(%r14), %ymm0
vmovups %ymm0, 0x70(%rsp)
movq (%r15), %r13
cmpq 0x8(%r15), %r13
je 0xca9a
leaq 0x70(%rsp), %r12
movzwl (%r13), %esi
movq %r12, %rdi
vzeroupper
callq 0xd74e
addq $0x2, %r13
cmpq 0x8(%r15), %r13
jne 0xca80
movq %rbp, 0x8(%rsp)
leaq 0x98(%rsp), %rdi
leaq 0x70(%rsp), %rsi
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
vzeroupper
callq 0xe0ba
leaq 0x40(%rsp), %r15
leaq 0x20(%rsp), %rbp
leaq 0x50(%rsp), %r13
leaq 0x30(%rsp), %r12
cmpb $0x24, 0xc8(%rsp)
jge 0xcceb
movq %r13, %rdi
leaq 0xc8(%rsp), %rsi
callq 0xd416
movl $0x6, %r8d
movq %r13, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x20776(%rip), %rcx     # 0x2d275
callq 0x53c0
movq %r15, 0x30(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xcb27
movq %rdx, 0x30(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x40(%rsp)
jmp 0xcb30
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)
movq %r12, %rdi
leaq 0x2062a(%rip), %rsi     # 0x2d17c
callq 0x5720
movq %rbp, 0x10(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xcb7a
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
jmp 0xcb83
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 0x10(%rsp), %rsi
movq 0x18(%rsp), %rdx
movq %rbx, %rdi
callq 0x50e0
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0xcbbc
callq 0x5310
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0xcbcb
callq 0x5310
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0xcbdf
callq 0x5310
leaq 0xa0(%rsp), %rdi
callq 0xd860
movq %rax, %rcx
shrq $0x21, %rax
xorq %rcx, %rax
movabsq $-0xae502812aa7333, %rdx # imm = 0xFF51AFD7ED558CCD
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
movq 0x38(%r14), %rsi
xorl %edx, %edx
divq 0x40(%r14)
shlq $0x4, %rdx
cmpq %rcx, (%rsi,%rdx)
jne 0xcc77
addq %rdx, %rsi
movq %r12, %rdi
callq 0xd8f8
movq %r12, %rdi
leaq 0x1fbf3(%rip), %rsi     # 0x2c842
callq 0x5720
movq %rbp, 0x10(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xcc88
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
jmp 0xcc91
movq %rbx, %rdi
leaq 0x205fb(%rip), %rsi     # 0x2d27c
callq 0x5720
jmp 0xccd9
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 0x10(%rsp), %rsi
movq 0x18(%rsp), %rdx
movq %rbx, %rdi
callq 0x50e0
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0xccca
callq 0x5310
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0xccd9
callq 0x5310
leaq 0x98(%rsp), %rdi
callq 0xe1b8
jmp 0xcacd
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0xccfd
callq 0x5490
movq %rbx, %rax
addq $0xe8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq 0x8(%rsp), %rbp
jmp 0xcdb4
jmp 0xcd61
movq %rax, %r14
jmp 0xcd3a
jmp 0xcd61
movq %rax, %r14
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0xcd3a
callq 0x5310
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
jne 0xcd8c
jmp 0xcd91
movq %rax, %r14
jmp 0xcdb4
movq %rax, %r14
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0xcd6e
callq 0x5310
jmp 0xcd6e
jmp 0xcd61
movq %rax, %r14
jmp 0xcd91
movq %rax, %r14
jmp 0xcd7d
movq %rax, %r14
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0xcd7d
callq 0x5310
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0xcd91
callq 0x5310
movq 0x8(%rsp), %rbp
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0xcda8
callq 0x5490
movq $0x0, 0xe0(%rsp)
movq (%rbx), %rdi
cmpq %rbp, %rdi
je 0xcdc1
callq 0x5310
movq %r14, %rdi
callq 0x56c0
nop