// File: /workspace/github_cpp_makefile_star2_O1/szmer[P]brill/./src/rules.cpp
// Function: Rule::description[abi:cxx11]()
string Rule::description() {
  string res;
	res = "Change " + alter_tag + " to " + target + " when ";

	if(id < (RL_PRECEDING+1) * RULE_RANGE)
		res += "preceding tag is ";
	if(id >= RL_FOLLOWING * RULE_RANGE && id < (RL_FOLLOWING+1) * RULE_RANGE)
		res += "following tag is ";
	if(id >= RL_2BEFORE * RULE_RANGE && id < (RL_2BEFORE+1) * RULE_RANGE)
		res += "tag 2 before is ";
	if(id >= RL_2AFTER * RULE_RANGE && id < (RL_2AFTER+1) * RULE_RANGE)
		res += "tag 2 after is ";
	if(id >= RL_ONE_OF_2BEFORE * RULE_RANGE && id < (RL_ONE_OF_2BEFORE+1) * RULE_RANGE)
		res += "one of 2 tags before is ";
	if(id >= RL_ONE_OF_2AFTER * RULE_RANGE && id < (RL_ONE_OF_2AFTER+1) * RULE_RANGE)
		res += "one of 2 tags after is ";
	if(id >= RL_ONE_OF_3BEFORE * RULE_RANGE && id < (RL_ONE_OF_3BEFORE+1) * RULE_RANGE)
		res += "one of 3 tags before is ";
	if(id >= RL_ONE_OF_3AFTER * RULE_RANGE && id < (RL_ONE_OF_3AFTER+1) * RULE_RANGE)
		res += "one of 3 tags after is ";
	if(id >= EXTRL_PRECEDING_AND_FOLLOWING * EXT_RULE_RANGE && id < (EXTRL_PRECEDING_AND_FOLLOWING+1) * EXT_RULE_RANGE)
		res += "preceding and following tags are ";
	if(id >= EXTRL_1_AND_2_BEFORE * EXT_RULE_RANGE && id < (EXTRL_1_AND_2_BEFORE+1) * EXT_RULE_RANGE)
		res += "preceding and 2 before tags are ";
	if(id >= EXTRL_1_AND_2_AFTER * EXT_RULE_RANGE && id < (EXTRL_1_AND_2_AFTER+1) * EXT_RULE_RANGE)
		res += "following and 2 after tags are ";

	res += cue1 + " ";
	if(id >= EXT_RULE_RANGE)
    res += "and " + cue2 + " ";

  return res;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x10(%rdi), %rax
movq %rax, -0x70(%rbp)
movq %rax, (%rdi)
movq $0x0, 0x8(%rdi)
movb $0x0, 0x10(%rdi)
leaq 0x40(%rsi), %rdx
leaq 0x5945(%rip), %rsi      # 0x91e9
leaq -0xb0(%rbp), %rdi
callq 0x6045
leaq 0x593a(%rip), %rsi      # 0x91f1
leaq -0xb0(%rbp), %rdi
callq 0x2350
leaq -0x80(%rbp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x38ea
movq %rdx, -0x90(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x80(%rbp)
jmp 0x38f2
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
leaq -0x90(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x60(%r14), %rsi
movq 0x68(%r14), %rdx
callq 0x2090
leaq -0x58(%rbp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x3941
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x3947
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
leaq -0x68(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x588d(%rip), %rsi      # 0x91f6
callq 0x2350
leaq -0x38(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x3993
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x399b
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq -0x48(%rbp), %r15
movq %rdx, 0x8(%r15)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x2210
movq (%r15), %rdi
cmpq %r12, %rdi
je 0x39d5
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x21c0
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x39ee
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x21c0
movq -0x90(%rbp), %rdi
cmpq %r13, %rdi
je 0x3a06
movq -0x80(%rbp), %rsi
incq %rsi
callq 0x21c0
leaq -0xa0(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3a25
movq -0xa0(%rbp), %rsi
incq %rsi
callq 0x21c0
cmpq $0x767ed6a, 0x80(%r14) # imm = 0x767ED6A
jg 0x3a41
leaq 0x57c4(%rip), %rsi      # 0x91fd
movq %rbx, %rdi
callq 0x2350
movq $-0x767ed6b, %rax       # imm = 0xF8981295
addq 0x80(%r14), %rax
cmpq $0x767ed6a, %rax        # imm = 0x767ED6A
ja 0x3a66
leaq 0x57b1(%rip), %rsi      # 0x920f
movq %rbx, %rdi
callq 0x2350
movq $-0xecfdad6, %rax       # imm = 0xF130252A
addq 0x80(%r14), %rax
cmpq $0x767ed6a, %rax        # imm = 0x767ED6A
ja 0x3a8b
leaq 0x579e(%rip), %rsi      # 0x9221
movq %rbx, %rdi
callq 0x2350
movq $-0x1637c841, %rax      # imm = 0xE9C837BF
addq 0x80(%r14), %rax
cmpq $0x767ed6a, %rax        # imm = 0x767ED6A
ja 0x3ab0
leaq 0x578a(%rip), %rsi      # 0x9232
movq %rbx, %rdi
callq 0x2350
movq $-0x1d9fb5ac, %rax      # imm = 0xE2604A54
addq 0x80(%r14), %rax
cmpq $0x767ed6a, %rax        # imm = 0x767ED6A
ja 0x3ad5
leaq 0x5775(%rip), %rsi      # 0x9242
movq %rbx, %rdi
callq 0x2350
movq $-0x2507a317, %rax      # imm = 0xDAF85CE9
addq 0x80(%r14), %rax
cmpq $0x767ed6a, %rax        # imm = 0x767ED6A
ja 0x3afa
leaq 0x5769(%rip), %rsi      # 0x925b
movq %rbx, %rdi
callq 0x2350
movq $-0x2c6f9082, %rax      # imm = 0xD3906F7E
addq 0x80(%r14), %rax
cmpq $0x767ed6a, %rax        # imm = 0x767ED6A
ja 0x3b1f
leaq 0x575c(%rip), %rsi      # 0x9273
movq %rbx, %rdi
callq 0x2350
movq $-0x33d77ded, %rax      # imm = 0xCC288213
addq 0x80(%r14), %rax
cmpq $0x767ed6a, %rax        # imm = 0x767ED6A
ja 0x3b44
leaq 0x5750(%rip), %rsi      # 0x928c
movq %rbx, %rdi
callq 0x2350
movabsq $0xe6f93c791, %r15      # imm = 0xE6F93C791
movabsq $-0xe6f93c791, %rax     # imm = 0xFFFFFFF1906C386F
addq 0x80(%r14), %rax
cmpq %r15, %rax
jae 0x3b73
leaq 0x5739(%rip), %rsi      # 0x92a4
movq %rbx, %rdi
callq 0x2350
movabsq $-0x1cdf278f22, %rax    # imm = 0xFFFFFFE320D870DE
addq 0x80(%r14), %rax
cmpq %r15, %rax
jae 0x3b98
leaq 0x5736(%rip), %rsi      # 0x92c6
movq %rbx, %rdi
callq 0x2350
movabsq $-0x2b4ebb56b3, %rax    # imm = 0xFFFFFFD4B144A94D
addq 0x80(%r14), %rax
cmpq %r15, %rax
jae 0x3bbd
leaq 0x5732(%rip), %rsi      # 0x92e7
movq %rbx, %rdi
callq 0x2350
leaq -0x48(%rbp), %rdi
movq %r12, (%rdi)
movq (%r14), %rsi
movq 0x8(%r14), %rdx
addq %rsi, %rdx
callq 0x6d72
leaq 0x5806(%rip), %rsi      # 0x93e0
leaq -0x48(%rbp), %rdi
callq 0x2350
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x2090
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x3c08
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x21c0
decq %r15
cmpq %r15, 0x80(%r14)
jle 0x3cbc
addq $0x20, %r14
leaq 0x56e4(%rip), %rsi      # 0x9307
leaq -0x68(%rbp), %rdi
movq %r14, %rdx
callq 0x6045
leaq 0x57aa(%rip), %rsi      # 0x93e0
leaq -0x68(%rbp), %rdi
callq 0x2350
movq %r12, -0x48(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x3c5f
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x3c67
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, -0x40(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x2090
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x3ca3
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x21c0
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x3cbc
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x21c0
movq %rbx, %rax
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x3cee
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x21c0
jmp 0x3cee
movq %rax, %r14
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x3d81
movq -0x58(%rbp), %rsi
jmp 0x3d72
jmp 0x3d7e
jmp 0x3d09
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x3d81
movq -0x38(%rbp), %rsi
jmp 0x3d72
jmp 0x3d7e
movq %rax, %r14
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x3d3e
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x21c0
jmp 0x3d3e
movq %rax, %r14
movq -0x90(%rbp), %rdi
cmpq %r13, %rdi
je 0x3d5b
movq -0x80(%rbp), %rsi
incq %rsi
callq 0x21c0
jmp 0x3d5b
movq %rax, %r14
leaq -0xa0(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3d81
movq -0xa0(%rbp), %rsi
incq %rsi
callq 0x21c0
jmp 0x3d81
jmp 0x3d7e
movq %rax, %r14
movq (%rbx), %rdi
cmpq -0x70(%rbp), %rdi
je 0x3d99
movq -0x70(%rbp), %rax
movq (%rax), %rsi
incq %rsi
callq 0x21c0
movq %r14, %rdi
callq 0x2320
nop