// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/touchedlist.cpp
// Function: maxPreprocessor::TouchedList::getModClauses(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
vector<int> TouchedList::getModClauses(string technique) {
	if (techniqueItr.count(technique) == 0) {
		techniqueItr[technique] = itr;
		vector<int> ret;
		ret.reserve(pi.clauses.size());
		for (int i = 0; i < (int)pi.clauses.size(); i++) {
			if (!pi.isClauseRemoved(i)) {
				ret.push_back(i);
			}
		}
		return ret;
	}
	else {
		getItr++;
		if (getI.size() < pi.clauses.size()) {
			getI.resize(pi.clauses.size());
		}
		uint64_t eitr = techniqueItr[technique];
		techniqueItr[technique] = itr;
		vector<int> ret;
		for (int i = (int)modClauses.size() - 1; i >= 0 && modClauses[i].F >= eitr; i--) {
			if (!pi.isClauseRemoved(modClauses[i].S)) {
				if (getI[modClauses[i].S] != getItr) {
					getI[modClauses[i].S] = getItr;
					ret.push_back(modClauses[i].S);
				}
			}
		}
		return ret;
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x140(%rsi), %r12
movq %r12, %rdi
movq %rdx, %rsi
callq 0x31818
leaq 0x148(%r14), %rcx
cmpq %rcx, %rax
je 0x30ee4
incl 0x198(%r14)
movq 0x178(%r14), %rax
movq 0x1a0(%r14), %rcx
subq 0x170(%r14), %rax
sarq $0x2, %rax
movq 0x8(%rcx), %rdx
subq (%rcx), %rdx
sarq $0x3, %rdx
movabsq $-0x3333333333333333, %rsi # imm = 0xCCCCCCCCCCCCCCCD
imulq %rdx, %rsi
cmpq %rsi, %rax
jae 0x30c42
leaq 0x170(%r14), %rdi
callq 0x8cbc
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq (%rax), %r13
movq 0x188(%r14), %rbp
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq %rbp, (%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
movq $0x0, 0x10(%rbx)
movq 0x138(%r14), %rax
movq %rax, %rcx
subq 0x118(%r14), %rcx
shrq $0x3, %rcx
cmpq $0x1, %rax
adcq $-0x1, %rcx
shlq $0x5, %rcx
movq 0x120(%r14), %rax
subq 0x128(%r14), %rax
movq 0x110(%r14), %r15
shrq $0x4, %rax
subq 0x100(%r14), %r15
shrq $0x4, %r15
addq %rax, %r15
addq %rcx, %r15
testl %r15d, %r15d
jle 0x30fae
movabsq $-0x800000000000000, %r12 # imm = 0xF800000000000000
andl $0x7fffffff, %r15d      # imm = 0x7FFFFFFF
leaq 0x1(%r15), %rbp
shlq $0x4, %r15
addq $-0x10, %r15
movq 0x100(%r14), %rcx
movq %rcx, %rax
subq 0x108(%r14), %rax
sarq $0x4, %rax
leaq (%rax,%rbp), %rdx
addq $-0x2, %rdx
cmpq $0x1f, %rdx
ja 0x30d0d
leaq (%rcx,%r15), %rsi
jmp 0x30d44
movq %rdx, %rsi
shrq $0x5, %rsi
movq %rsi, %rdi
orq %r12, %rdi
testq %rdx, %rdx
cmovgq %rsi, %rdi
movq 0x118(%r14), %rsi
movq (%rsi,%rdi,8), %rsi
shlq $0x5, %rdi
movq %rax, %r8
subq %rdi, %r8
addq %rbp, %r8
shlq $0x4, %r8
addq %r8, %rsi
addq $-0x20, %rsi
cmpq %r13, (%rsi)
jb 0x30fae
cmpq $0x1f, %rdx
ja 0x30d58
addq %r15, %rcx
jmp 0x30d8c
movq 0x118(%r14), %rcx
movq %rdx, %rsi
shrq $0x5, %rsi
movq %rsi, %rdi
orq %r12, %rdi
testq %rdx, %rdx
cmovgq %rsi, %rdi
movq (%rcx,%rdi,8), %rcx
shlq $0x5, %rdi
subq %rdi, %rax
addq %rbp, %rax
shlq $0x4, %rax
addq %rax, %rcx
addq $-0x20, %rcx
movq 0x1a0(%r14), %rdi
movl 0x8(%rcx), %esi
callq 0x284dc
testb %al, %al
jne 0x30ece
movq 0x100(%r14), %rdx
movq %rdx, %rax
subq 0x108(%r14), %rax
sarq $0x4, %rax
leaq (%rax,%rbp), %rcx
addq $-0x2, %rcx
cmpq $0x1f, %rcx
ja 0x30dcc
leaq (%rdx,%r15), %rsi
jmp 0x30e03
movq %rcx, %rsi
shrq $0x5, %rsi
movq %rsi, %rdi
orq %r12, %rdi
testq %rcx, %rcx
cmovgq %rsi, %rdi
movq 0x118(%r14), %rsi
movq (%rsi,%rdi,8), %rsi
shlq $0x5, %rdi
movq %rax, %r8
subq %rdi, %r8
addq %rbp, %r8
shlq $0x4, %r8
addq %r8, %rsi
addq $-0x20, %rsi
movslq 0x8(%rsi), %r8
movq 0x170(%r14), %rsi
movl 0x198(%r14), %edi
cmpl %edi, (%rsi,%r8,4)
je 0x30ece
cmpq $0x1f, %rcx
ja 0x30e2b
leaq (%rdx,%r15), %r8
jmp 0x30e62
movq %rcx, %r8
shrq $0x5, %r8
movq %r8, %r9
orq %r12, %r9
testq %rcx, %rcx
cmovgq %r8, %r9
movq 0x118(%r14), %r8
movq (%r8,%r9,8), %r8
shlq $0x5, %r9
movq %rax, %r10
subq %r9, %r10
addq %rbp, %r10
shlq $0x4, %r10
addq %r10, %r8
addq $-0x20, %r8
movslq 0x8(%r8), %r8
movl %edi, (%rsi,%r8,4)
cmpq $0x1f, %rcx
ja 0x30e75
addq %r15, %rdx
jmp 0x30eaa
movq 0x118(%r14), %rdx
movq %rcx, %rsi
shrq $0x5, %rsi
movq %rsi, %rdi
orq %r12, %rdi
testq %rcx, %rcx
cmovgq %rsi, %rdi
movq (%rdx,%rdi,8), %rcx
shlq $0x5, %rdi
subq %rdi, %rax
addq %rbp, %rax
shlq $0x4, %rax
leaq (%rax,%rcx), %rdx
addq $-0x20, %rdx
addq $0x8, %rdx
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x30ec6
movl (%rdx), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x30ece
movq %rbx, %rdi
callq 0x98e8
decq %rbp
addq $-0x10, %r15
cmpq $0x1, %rbp
jg 0x30ce4
jmp 0x30fae
movq 0x188(%r14), %r13
movq %r12, %rdi
movq %r15, %rsi
callq 0x310b4
movq %r13, (%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
movq $0x0, 0x10(%rbx)
movq 0x1a0(%r14), %rax
movq 0x8(%rax), %rcx
subq (%rax), %rcx
sarq $0x3, %rcx
movabsq $-0x3333333333333333, %rsi # imm = 0xCCCCCCCCCCCCCCCD
imulq %rcx, %rsi
movq %rbx, %rdi
callq 0x1fd50
movl $0x0, 0x4(%rsp)
movq 0x1a0(%r14), %rdi
movq 0x8(%rdi), %rax
subq (%rdi), %rax
shrq $0x3, %rax
imull $0xcccccccd, %eax, %eax # imm = 0xCCCCCCCD
testl %eax, %eax
jle 0x30fae
xorl %esi, %esi
leaq 0x4(%rsp), %r15
callq 0x284dc
testb %al, %al
jne 0x30f88
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x30f7d
movl 0x4(%rsp), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x30f88
movq %rbx, %rdi
movq %r15, %rdx
callq 0x98e8
movl 0x4(%rsp), %esi
incl %esi
movl %esi, 0x4(%rsp)
movq 0x1a0(%r14), %rdi
movq 0x8(%rdi), %rax
subq (%rdi), %rax
shrq $0x3, %rax
imull $0xcccccccd, %eax, %eax # imm = 0xCCCCCCCD
cmpl %eax, %esi
jl 0x30f5a
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x30fc4
jmp 0x30fc4
movq %rax, %r14
movq (%rbx), %rdi
testq %rdi, %rdi
je 0x30fdb
movq 0x10(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %r14, %rdi
callq 0x34a0
nop