// File: /workspace/github_cpp_makefile_star2_O1/szmer[P]brill/./src/rules_scoretab.cpp
// Function: RulesScoreTab::inc_good_ext(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>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
void RulesScoreTab::inc_good_ext(int rule_type, string cue1, string cue2, string alter_tag, string target) {

	long long rule_id = rule_type * EXT_RULE_RANGE
			+ tag_index[ cue1 ] * tag_index.size()*tag_index.size()*tag_index.size()
			+ tag_index[ cue2 ] * 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, cue2, 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 %r9, -0xb0(%rbp)
movq %r8, -0x38(%rbp)
movq %rcx, %r14
movq %rdi, %rbx
movslq %esi, %rax
movabsq $0xe6f93c791, %r13      # imm = 0xE6F93C791
imulq %rax, %r13
leaq 0x68(%rdi), %r15
movq %r15, %rdi
movq %rdx, -0xa0(%rbp)
movq %rdx, %rsi
callq 0xab48
movslq (%rax), %rax
movq 0x90(%rbx), %r12
imulq %r12, %rax
imulq %r12, %r12
imulq %rax, %r12
movq %r15, %rdi
movq %r14, -0xa8(%rbp)
movq %r14, %rsi
callq 0xab48
movslq (%rax), %rax
movq 0x90(%rbx), %r14
imulq %r14, %r14
imulq %rax, %r14
addq %r13, %r14
movq %r15, %rdi
movq -0x38(%rbp), %rsi
callq 0xab48
movslq (%rax), %r13
imulq 0x90(%rbx), %r13
addq %r14, %r13
movq -0xb0(%rbp), %r14
addq %r12, %r13
movq %r15, %rdi
movq %r14, %rsi
callq 0xab48
movslq (%rax), %rcx
addq %r13, %rcx
movq %rcx, -0x30(%rbp)
movq 0x48(%rbx), %rsi
leaq 0x40(%rbx), %rax
movq %rax, %rdx
testq %rsi, %rsi
je 0x575d
movq %rax, %rdx
xorl %edi, %edi
cmpq %rcx, 0x20(%rsi)
setl %dil
cmovgeq %rsi, %rdx
movq 0x10(%rsi,%rdi,8), %rsi
testq %rsi, %rsi
jne 0x5745
movq %rax, %rsi
cmpq %rax, %rdx
je 0x5770
cmpq 0x20(%rdx), %rcx
cmovlq %rax, %rdx
movq %rdx, %rsi
leaq 0x38(%rbx), %r15
cmpq %rax, %rsi
jne 0x5988
leaq -0x88(%rbp), %rax
movq %rax, -0x10(%rax)
movq -0xa0(%rbp), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x98(%rbp), %rdi
callq 0xbd5c
leaq -0xc0(%rbp), %r12
movq %r12, -0x10(%r12)
movq -0xa8(%rbp), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0xd0(%rbp), %rdi
callq 0xbd5c
leaq -0x68(%rbp), %rax
movq %rax, -0x10(%rax)
movq -0x38(%rbp), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x78(%rbp), %rdi
callq 0xbd5c
leaq -0x48(%rbp), %rax
movq %rax, -0x10(%rax)
movq (%r14), %rsi
movq 0x8(%r14), %rdx
addq %rsi, %rdx
leaq -0x58(%rbp), %rdi
callq 0xbd5c
movq -0x30(%rbp), %r9
leaq -0x160(%rbp), %rdi
leaq -0x98(%rbp), %rsi
leaq -0xd0(%rbp), %rdx
leaq -0x78(%rbp), %rcx
leaq -0x58(%rbp), %r8
callq 0x4fea
leaq -0x30(%rbp), %rsi
movq %r15, %r13
movq %r15, %rdi
callq 0xad8e
movq %rax, %r14
leaq -0x160(%rbp), %rsi
movq %rax, %rdi
callq 0x22a0
leaq 0x20(%r14), %rdi
leaq -0x140(%rbp), %rsi
callq 0x22a0
leaq 0x40(%r14), %rdi
leaq -0x120(%rbp), %rsi
callq 0x22a0
movq %r14, %rdi
addq $0x60, %rdi
leaq -0x100(%rbp), %r15
movq %r15, %rsi
callq 0x22a0
movq 0x20(%r15), %rax
movq %rax, 0x80(%r14)
movq 0x28(%r15), %rax
movq %rax, 0x88(%r14)
movq (%r15), %rdi
leaq -0xf0(%rbp), %rax
cmpq %rax, %rdi
je 0x58b9
movq -0xf0(%rbp), %rsi
incq %rsi
callq 0x2240
leaq -0x110(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x58d8
movq -0x110(%rbp), %rsi
incq %rsi
callq 0x2240
leaq -0x130(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
leaq -0x88(%rbp), %r14
movq %r13, %r15
je 0x5901
movq -0x130(%rbp), %rsi
incq %rsi
callq 0x2240
leaq -0x150(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x5920
movq -0x150(%rbp), %rsi
incq %rsi
callq 0x2240
movq -0x58(%rbp), %rdi
leaq -0x48(%rbp), %rax
cmpq %rax, %rdi
je 0x5939
movq -0x48(%rbp), %rsi
incq %rsi
callq 0x2240
movq -0x78(%rbp), %rdi
leaq -0x68(%rbp), %rax
cmpq %rax, %rdi
je 0x5952
movq -0x68(%rbp), %rsi
incq %rsi
callq 0x2240
movq -0xd0(%rbp), %rdi
cmpq %r12, %rdi
je 0x596d
movq -0xc0(%rbp), %rsi
incq %rsi
callq 0x2240
movq -0x98(%rbp), %rdi
cmpq %r14, %rdi
je 0x5988
movq -0x88(%rbp), %rsi
incq %rsi
callq 0x2240
leaq -0x30(%rbp), %r14
movq %r15, %rdi
movq %r14, %rsi
callq 0xad8e
incl 0x88(%rax)
addq $0x8, %rbx
movq %rbx, %rdi
movq %r14, %rsi
callq 0xd604
addq $0x138, %rsp            # imm = 0x138
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq -0x160(%rbp), %rdi
callq 0xadf8
jmp 0x59d2
movq %rax, %rbx
movq -0x58(%rbp), %rdi
leaq -0x48(%rbp), %rax
cmpq %rax, %rdi
je 0x59f0
movq -0x48(%rbp), %rsi
incq %rsi
callq 0x2240
jmp 0x59f0
movq %rax, %rbx
movq -0x78(%rbp), %rdi
leaq -0x68(%rbp), %rax
cmpq %rax, %rdi
je 0x5a0e
movq -0x68(%rbp), %rsi
incq %rsi
callq 0x2240
jmp 0x5a0e
movq %rax, %rbx
movq -0xd0(%rbp), %rdi
cmpq %r12, %rdi
je 0x5a2e
movq -0xc0(%rbp), %rsi
incq %rsi
callq 0x2240
jmp 0x5a2e
movq %rax, %rbx
movq -0x98(%rbp), %rdi
leaq -0x88(%rbp), %rax
cmpq %rax, %rdi
je 0x5a50
movq -0x88(%rbp), %rsi
incq %rsi
callq 0x2240
movq %rbx, %rdi
callq 0x23b0