// File: /workspace/github_cpp_makefile_star2_O3/szmer[P]brill/./src/rules_scoretab.cpp
// Function: RulesScoreTab::inc_good(int, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
void RulesScoreTab::inc_good(int rule_type, string cue1, string alter_tag, string target) {

	long long rule_id = rule_type * RULE_RANGE
			+ tag_index[ cue1 ] * tag_index.size()*tag_index.size()
			+ tag_index[ alter_tag ] * tag_index.size()
			+ tag_index[ target ];

	if(tab.find(rule_id) == tab.end())  // if there's no entry for this rule, create one
		tab[ rule_id ] = RuleScore(cue1, "", alter_tag, target, rule_id);

	tab[rule_id].good ++;
	eligible_rules.insert(rule_id);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x138, %rsp            # imm = 0x138
movq %r8, -0xa8(%rbp)
movq %rcx, %r12
movq %rdi, %r13
imull $0x767ed6b, %esi, %eax  # imm = 0x767ED6B
movslq %eax, %r15
leaq 0x68(%rdi), %r14
movq %r14, %rdi
movq %rdx, -0xa0(%rbp)
movq %rdx, %rsi
callq 0xac8e
movslq (%rax), %rax
movq 0x90(%r13), %rbx
imulq %rbx, %rbx
imulq %rax, %rbx
movq %r14, %rdi
movq %r12, -0x98(%rbp)
movq %r12, %rsi
callq 0xac8e
movslq (%rax), %r12
imulq 0x90(%r13), %r12
addq %r15, %r12
movq -0xa8(%rbp), %r15
addq %rbx, %r12
movq %r13, %rbx
movq %r14, %rdi
movq %r15, %rsi
callq 0xac8e
movslq (%rax), %rax
addq %r12, %rax
movq %rax, -0x30(%rbp)
leaq 0x38(%r13), %r12
movq 0x48(%r13), %rcx
testq %rcx, %rcx
je 0x5473
leaq 0x40(%rbx), %rsi
movq %rsi, %rdx
xorl %edi, %edi
cmpq %rax, 0x20(%rcx)
setl %dil
cmovgeq %rcx, %rdx
movq 0x10(%rcx,%rdi,8), %rcx
testq %rcx, %rcx
jne 0x544c
cmpq %rsi, %rdx
je 0x5473
cmpq 0x20(%rdx), %rax
jge 0x5673
leaq -0x80(%rbp), %rax
movq %rax, -0x10(%rax)
movq -0xa0(%rbp), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x90(%rbp), %rdi
callq 0xbec8
leaq -0xb8(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x8c9c(%rip), %rdx      # 0xe146
leaq -0xc8(%rbp), %rdi
movq %rdx, %rsi
callq 0xbf66
leaq -0x60(%rbp), %rax
movq %rax, -0x10(%rax)
movq -0x98(%rbp), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x70(%rbp), %rdi
callq 0xbec8
leaq -0x40(%rbp), %rax
movq %rax, -0x10(%rax)
movq (%r15), %rsi
movq 0x8(%r15), %rdx
addq %rsi, %rdx
leaq -0x50(%rbp), %rdi
callq 0xbec8
movq -0x30(%rbp), %r9
leaq -0x158(%rbp), %rdi
leaq -0x90(%rbp), %rsi
leaq -0xc8(%rbp), %rdx
leaq -0x70(%rbp), %rcx
leaq -0x50(%rbp), %r8
callq 0x50bc
leaq -0x30(%rbp), %rsi
movq %r12, %r13
movq %r12, %rdi
callq 0xaed4
movq %rax, %r15
leaq -0x158(%rbp), %rsi
movq %rax, %rdi
callq 0x2290
leaq 0x20(%r15), %rdi
leaq -0x138(%rbp), %rsi
callq 0x2290
leaq 0x40(%r15), %rdi
leaq -0x118(%rbp), %rsi
callq 0x2290
movq %r15, %rdi
addq $0x60, %rdi
leaq -0xf8(%rbp), %r12
movq %r12, %rsi
callq 0x2290
movq 0x20(%r12), %rax
movq %rax, 0x80(%r15)
movq 0x28(%r12), %rax
movq %rax, 0x88(%r15)
movq (%r12), %rdi
leaq -0xe8(%rbp), %rax
cmpq %rax, %rdi
je 0x55aa
movq -0xe8(%rbp), %rsi
incq %rsi
callq 0x2230
leaq -0x108(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x55c9
movq -0x108(%rbp), %rsi
incq %rsi
callq 0x2230
leaq -0x128(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
leaq -0x80(%rbp), %r15
movq %r13, %r12
je 0x55ef
movq -0x128(%rbp), %rsi
incq %rsi
callq 0x2230
leaq -0x148(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x560e
movq -0x148(%rbp), %rsi
incq %rsi
callq 0x2230
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x5627
movq -0x40(%rbp), %rsi
incq %rsi
callq 0x2230
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x5640
movq -0x60(%rbp), %rsi
incq %rsi
callq 0x2230
movq -0xc8(%rbp), %rdi
cmpq %r14, %rdi
je 0x565b
movq -0xb8(%rbp), %rsi
incq %rsi
callq 0x2230
movq -0x90(%rbp), %rdi
cmpq %r15, %rdi
je 0x5673
movq -0x80(%rbp), %rsi
incq %rsi
callq 0x2230
leaq -0x30(%rbp), %r15
movq %r12, %rdi
movq %r15, %rsi
callq 0xaed4
incl 0x88(%rax)
addq $0x8, %rbx
movq %rbx, %rdi
movq %r15, %rsi
callq 0xd762
addq $0x138, %rsp            # imm = 0x138
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq -0x158(%rbp), %rdi
callq 0xaf3c
jmp 0x56bd
movq %rax, %rbx
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x56db
movq -0x40(%rbp), %rsi
incq %rsi
callq 0x2230
jmp 0x56db
movq %rax, %rbx
movq -0x70(%rbp), %rdi
leaq -0x60(%rbp), %rax
cmpq %rax, %rdi
je 0x56f9
movq -0x60(%rbp), %rsi
incq %rsi
callq 0x2230
jmp 0x56f9
movq %rax, %rbx
movq -0xc8(%rbp), %rdi
cmpq %r14, %rdi
je 0x5719
movq -0xb8(%rbp), %rsi
incq %rsi
callq 0x2230
jmp 0x5719
movq %rax, %rbx
movq -0x90(%rbp), %rdi
leaq -0x80(%rbp), %rax
cmpq %rax, %rdi
je 0x5735
movq -0x80(%rbp), %rsi
incq %rsi
callq 0x2230
movq %rbx, %rdi
callq 0x23a0
nop