// File: /workspace/github_cpp_makefile_star2_O1/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
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x10(%rdi), %rbp
movq %rbp, (%rdi)
leaq 0x2901(%rip), %rdx      # 0x29ae3
movq %rdx, %rsi
callq 0xa874
movq 0x30(%r14), %rax
movq %rax, 0x90(%rsp)
vmovups 0x10(%r14), %ymm0
vmovups %ymm0, 0x70(%rsp)
movq (%r15), %r13
cmpq 0x8(%r15), %r13
je 0x27229
leaq 0x70(%rsp), %r12
movl (%r13), %esi
movq %r12, %rdi
vzeroupper
callq 0x9240
addq $0x4, %r13
cmpq 0x8(%r15), %r13
jne 0x27210
movq %rbp, 0x8(%rsp)
leaq 0x98(%rsp), %rdi
leaq 0x70(%rsp), %rsi
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
vzeroupper
callq 0xd316
leaq 0x40(%rsp), %r15
leaq 0x20(%rsp), %rbp
leaq 0x50(%rsp), %r13
leaq 0x30(%rsp), %r12
cmpb $0x24, 0xc8(%rsp)
jge 0x27466
movq %r13, %rdi
leaq 0xc8(%rsp), %rsi
xorl %edx, %edx
callq 0x99d8
movl $0x6, %r8d
movq %r13, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x68d7(%rip), %rcx      # 0x2db67
callq 0x4330
movq %r15, 0x30(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x272b8
movq %rdx, 0x30(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x40(%rsp)
jmp 0x272c1
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 0x67f9(%rip), %rsi      # 0x2dadc
callq 0x4610
movq %rbp, 0x10(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2730b
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
jmp 0x27314
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 0x40b0
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0x2734d
callq 0x42b0
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0x2735c
callq 0x42b0
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x27370
callq 0x42b0
leaq 0xa0(%rsp), %rdi
callq 0x973a
movq %rax, %rcx
shrq $0x11, %rax
xorq %rcx, %rax
movq %rax, %rdx
shlq $0x1f, %rdx
xorq %rax, %rdx
movq %rdx, %rax
shrq $0x8, %rax
xorq %rdx, %rax
movq 0x38(%r14), %rsi
xorl %edx, %edx
divq 0x40(%r14)
leaq (%rdx,%rdx,2), %rax
cmpq %rcx, (%rsi,%rax,8)
jne 0x273f2
leaq (%rsi,%rax,8), %rsi
movq %r12, %rdi
movl $0x8, %edx
callq 0x2784c
movq %r12, %rdi
leaq 0x2718(%rip), %rsi      # 0x29ae2
callq 0x4610
movq %rbp, 0x10(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x27403
movq %rdx, 0x10(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x20(%rsp)
jmp 0x2740c
movq %rbx, %rdi
leaq 0x6772(%rip), %rsi      # 0x2db6e
callq 0x4610
jmp 0x27454
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 0x40b0
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0x27445
callq 0x42b0
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0x27454
callq 0x42b0
leaq 0x98(%rsp), %rdi
callq 0xd402
jmp 0x2725c
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0x27478
callq 0x43d0
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 0x2752f
movq %rax, %r14
jmp 0x274b3
jmp 0x27509
movq %rax, %r14
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0x274b3
callq 0x42b0
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
jne 0x27502
jmp 0x2750c
movq %rax, %r14
jmp 0x2752f
jmp 0x27509
jmp 0x27509
movq %rax, %r14
jmp 0x274f3
movq %rax, %r14
jmp 0x274e4
movq %rax, %r14
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0x274e4
callq 0x42b0
movq 0x30(%rsp), %rdi
cmpq %r15, %rdi
je 0x274f3
callq 0x42b0
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x2750c
callq 0x42b0
jmp 0x2750c
movq %rax, %r14
movq 0x8(%rsp), %rbp
movq 0xe0(%rsp), %rdi
testq %rdi, %rdi
je 0x27523
callq 0x43d0
movq $0x0, 0xe0(%rsp)
movq (%rbx), %rdi
cmpq %rbp, %rdi
je 0x2753c
callq 0x42b0
movq %r14, %rdi
callq 0x45b0