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

	Board b = rootboard;
	for(vector<Move>::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 0x204c(%rip), %rdx      # 0x28ae3
movq %rsi, %r14
movq %rdi, %rbx
movq %rdx, %rsi
movq %rbp, (%rdi)
callq 0xa810
movq 0x30(%r14), %rax
movq %rax, 0x90(%rsp)
vmovups 0x10(%r14), %ymm0
vmovups %ymm0, 0x70(%rsp)
movq (%r15), %r13
cmpq 0x8(%r15), %r13
je 0x26ae7
leaq 0x70(%rsp), %r12
movl (%r13), %esi
movq %r12, %rdi
vzeroupper
callq 0x9282
addq $0x4, %r13
cmpq 0x8(%r15), %r13
jne 0x26ace
leaq 0x98(%rsp), %rdi
leaq 0x70(%rsp), %rsi
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
movq %rbp, 0x8(%rsp)
vzeroupper
callq 0xd282
leaq 0x40(%rsp), %r15
leaq 0x20(%rsp), %rbp
leaq 0x50(%rsp), %r13
leaq 0x30(%rsp), %r12
cmpb $0x24, 0xc8(%rsp)
jge 0x26d24
leaq 0xc8(%rsp), %rsi
movq %r13, %rdi
xorl %edx, %edx
callq 0x999a
movl $0x6, %r8d
leaq 0x6020(%rip), %rcx      # 0x2cb67
movq %r13, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x4330
movq %r15, 0x30(%rsp)
movq %rax, %rcx
addq $0x10, %rcx
movq (%rax), %rdx
cmpq %rcx, %rdx
je 0x26b76
movq %rdx, 0x30(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x40(%rsp)
jmp 0x26b7f
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 0x5f3e(%rip), %rsi      # 0x2cadc
movq %r12, %rdi
callq 0x4610
movq %rbp, 0x10(%rsp)
movq %rax, %rcx
addq $0x10, %rcx
movq (%rax), %rdx
cmpq %rcx, %rdx
je 0x26bc9
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
jmp 0x26bd2
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 0x40b0
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0x26c0b
callq 0x42b0
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0x26c1a
callq 0x42b0
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x26c2e
callq 0x42b0
leaq 0xa0(%rsp), %rdi
callq 0x96fe
movq %rax, %rcx
shrq $0x11, %rax
movq 0x38(%r14), %rsi
xorq %rcx, %rax
movq %rax, %rdx
shlq $0x1f, %rdx
xorq %rax, %rdx
movq %rdx, %rax
shrq $0x8, %rax
xorq %rdx, %rax
xorl %edx, %edx
divq 0x40(%r14)
leaq (%rdx,%rdx,2), %rax
cmpq %rcx, (%rsi,%rax,8)
jne 0x26cb0
leaq (%rsi,%rax,8), %rsi
movl $0x8, %edx
movq %r12, %rdi
callq 0x270d8
leaq 0x1e5d(%rip), %rsi      # 0x28ae2
movq %r12, %rdi
callq 0x4610
movq %rbp, 0x10(%rsp)
movq %rax, %rcx
addq $0x10, %rcx
movq (%rax), %rdx
cmpq %rcx, %rdx
je 0x26cc1
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
jmp 0x26cca
leaq 0x5eb7(%rip), %rsi      # 0x2cb6e
movq %rbx, %rdi
callq 0x4610
jmp 0x26d12
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 0x40b0
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0x26d03
callq 0x42b0
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0x26d12
callq 0x42b0
leaq 0x98(%rsp), %rdi
callq 0xd39c
jmp 0x26b1a
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0x26d36
callq 0x43d0
movq %rbx, %rax
addq $0xe8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x8(%rsp), %rbp
jmp 0x26d77
movq %rax, %r14
jmp 0x26d6b
jmp 0x26dc1
movq 0x10(%rsp), %rdi
movq %rax, %r14
cmpq %rbp, %rdi
je 0x26d6b
callq 0x42b0
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
jne 0x26dba
jmp 0x26dc4
movq %rax, %r14
jmp 0x26ddb
jmp 0x26dc1
jmp 0x26dc1
movq %rax, %r14
jmp 0x26dab
movq %rax, %r14
jmp 0x26d9c
movq 0x10(%rsp), %rdi
movq %rax, %r14
cmpq %rbp, %rdi
je 0x26d9c
callq 0x42b0
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0x26dab
callq 0x42b0
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x26dc4
callq 0x42b0
jmp 0x26dc4
movq %rax, %r14
movq 0x8(%rsp), %rbp
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0x26ddb
callq 0x43d0
movq (%rbx), %rdi
cmpq %rbp, %rdi
je 0x26de8
callq 0x42b0
movq %r14, %rdi
callq 0x45b0