// File: /workspace/github_cpp_makefile_star2_O2/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
subq $0x18, %rsp
movq %rdx, %r12
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x140(%rsi), %r13
movq %r13, %rdi
movq %rdx, %rsi
callq 0x27cb0
testq %rax, %rax
je 0x27b7e
incl 0x198(%r14)
leaq 0x170(%r14), %rax
movq %rax, 0x10(%rsp)
movq 0x178(%r14), %rcx
movq 0x1a0(%r14), %rdx
subq 0x170(%r14), %rcx
sarq $0x2, %rcx
movq 0x8(%rdx), %rax
subq (%rdx), %rax
pushq $0x28
popq %rsi
cqto
idivq %rsi
cmpq %rax, %rcx
jae 0x27aa1
movq 0x10(%rsp), %rdi
movq %rax, %rsi
callq 0x68c2
movq %r13, %rdi
movq %r12, %rsi
callq 0x27cca
movq (%rax), %r15
movq 0x188(%r14), %rbp
movq %r13, %rdi
movq %r12, %rsi
callq 0x27cca
movq %rbp, (%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
andq $0x0, 0x10(%rbx)
leaq 0xf0(%r14), %rdi
callq 0x27ca0
leaq 0x100(%r14), %r12
movl %eax, %r13d
testl %r13d, %r13d
jle 0x27bfe
decq %r13
movq %r12, %rdi
movq %r13, %rsi
callq 0x286a2
cmpq %r15, (%rax)
jb 0x27bfe
movq 0x1a0(%r14), %rbp
movq %r12, %rdi
movq %r13, %rsi
callq 0x286a2
movl 0x8(%rax), %esi
movq %rbp, %rdi
callq 0x20f14
testb %al, %al
jne 0x27ae5
movq %r12, %rdi
movq %r13, %rsi
callq 0x286a2
movslq 0x8(%rax), %rax
movq 0x170(%r14), %rcx
movl 0x198(%r14), %ebp
cmpl %ebp, (%rcx,%rax,4)
je 0x27ae5
movq %r12, %rdi
movq %r13, %rsi
callq 0x286a2
movslq 0x8(%rax), %rax
movq 0x10(%rsp), %rcx
movq (%rcx), %rcx
movl %ebp, (%rcx,%rax,4)
movq %r12, %rdi
movq %r13, %rsi
callq 0x286a2
leaq 0x8(%rax), %rsi
movq %rbx, %rdi
callq 0x68a4
jmp 0x27ae5
movq 0x188(%r14), %r15
movq %r13, %rdi
movq %r12, %rsi
callq 0x27cca
movq %r15, (%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%rbx)
andq $0x0, 0x10(%rbx)
movq 0x1a0(%r14), %rcx
movq 0x8(%rcx), %rax
subq (%rcx), %rax
pushq $0x28
popq %r12
cqto
idivq %r12
movq %rbx, %rdi
movq %rax, %rsi
callq 0x19034
xorl %esi, %esi
leaq 0xc(%rsp), %r15
movl %esi, 0xc(%rsp)
movq 0x1a0(%r14), %rdi
movq 0x8(%rdi), %rax
subq (%rdi), %rax
cqto
idivq %r12
cmpl %eax, %esi
jge 0x27bfe
callq 0x20f14
testb %al, %al
jne 0x27bf6
movq %rbx, %rdi
movq %r15, %rsi
callq 0x68a4
movl 0xc(%rsp), %esi
incl %esi
jmp 0x27bc7
movq %rbx, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x27c14
jmp 0x27c14
movq %rax, %r14
movq %rbx, %rdi
callq 0x7512
movq %r14, %rdi
callq 0x3490
nop