// File: /workspace/github_cpp_makefile_star2_O3/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 0x30854
leaq 0x148(%r14), %rcx
cmpq %rcx, %rax
je 0x2ff52
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 0x2fd1e
leaq 0x170(%r14), %rdi
callq 0x8cac
movq %r12, %rdi
movq %r15, %rsi
callq 0x3011c
movq (%rax), %r13
movq 0x188(%r14), %rbp
movq %r12, %rdi
movq %r15, %rsi
callq 0x3011c
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 0x3001c
andl $0x7fffffff, %r15d      # imm = 0x7FFFFFFF
leaq 0x1(%r15), %r12
shlq $0x4, %r15
addq $-0x10, %r15
movq 0x100(%r14), %rax
movq %rax, %rcx
subq 0x108(%r14), %rcx
movq 0x118(%r14), %rsi
sarq $0x4, %rcx
leaq (%r12,%rcx), %rdx
addq $-0x2, %rdx
js 0x2fdf5
cmpq $0x20, %rdx
jae 0x2fdfe
cmpq %r13, (%rax,%r15)
jb 0x3001c
movq 0x1a0(%r14), %rdi
jmp 0x2fe37
movq %rdx, %rdi
sarq $0x5, %rdi
jmp 0x2fe05
movq %rdx, %rdi
shrq $0x5, %rdi
movq (%rsi,%rdi,8), %r8
shlq $0x5, %rdi
movq %rcx, %r9
subq %rdi, %r9
addq %r12, %r9
shlq $0x4, %r9
cmpq %r13, -0x20(%r9,%r8)
jb 0x3001c
movq 0x1a0(%r14), %rdi
testq %rdx, %rdx
js 0x2fe3c
cmpq $0x1f, %rdx
ja 0x2fe42
addq %r15, %rax
jmp 0x2fe5f
sarq $0x5, %rdx
jmp 0x2fe46
shrq $0x5, %rdx
movq (%rsi,%rdx,8), %rax
shlq $0x5, %rdx
subq %rdx, %rcx
addq %r12, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
addq $-0x20, %rax
movl 0x8(%rax), %esi
callq 0x27804
testb %al, %al
jne 0x2ff3c
movq 0x100(%r14), %rdx
movq %rdx, %rsi
subq 0x108(%r14), %rsi
movq 0x118(%r14), %rax
sarq $0x4, %rsi
leaq (%r12,%rsi), %rcx
addq $-0x2, %rcx
js 0x2febf
cmpq $0x20, %rcx
jae 0x2fec8
movslq 0x8(%rdx,%r15), %rax
movq 0x170(%r14), %rcx
movl 0x198(%r14), %esi
cmpl %esi, (%rcx,%rax,4)
je 0x2ff3c
movl %esi, (%rcx,%rax,4)
addq %r15, %rdx
jmp 0x2ff18
movq %rcx, %rdx
sarq $0x5, %rdx
jmp 0x2fecf
movq %rcx, %rdx
shrq $0x5, %rdx
movq (%rax,%rdx,8), %rdi
shlq $0x5, %rdx
subq %rdx, %rsi
addq %r12, %rsi
shlq $0x4, %rsi
movslq -0x18(%rsi,%rdi), %rdx
movq 0x170(%r14), %rsi
movl 0x198(%r14), %edi
cmpl %edi, (%rsi,%rdx,4)
je 0x2ff3c
movl %ecx, %r8d
andl $0x1f, %r8d
sarq $0x5, %rcx
movq (%rax,%rcx,8), %rax
shll $0x4, %r8d
leaq (%rax,%r8), %rdx
movslq 0x8(%rax,%r8), %rax
movl %edi, (%rsi,%rax,4)
addq $0x8, %rdx
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x2ff34
movl (%rdx), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x2ff3c
movq %rbx, %rdi
callq 0x98f8
decq %r12
addq $-0x10, %r15
cmpq $0x1, %r12
ja 0x2fdb6
jmp 0x3001c
movq 0x188(%r14), %r13
movq %r12, %rdi
movq %r15, %rsi
callq 0x3011c
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 0x1f18c
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 0x3001c
xorl %esi, %esi
leaq 0x4(%rsp), %r15
callq 0x27804
testb %al, %al
jne 0x2fff6
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x2ffeb
movl 0x4(%rsp), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x2fff6
movq %rbx, %rdi
movq %r15, %rdx
callq 0x98f8
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 0x2ffc8
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x30032
jmp 0x30032
movq %rax, %r14
movq (%rbx), %rdi
testq %rdi, %rdi
je 0x30049
movq 0x10(%rbx), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %r14, %rdi
callq 0x34a0
nop