LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/preprocessor.cpp
// Function: maxPreprocessor::Preprocessor::tryUPAll()
int Preprocessor::tryUPAll() {
	int removed = 0;
	for (unsigned c = 0; c < pi.clauses.size(); c++) {
		if (pi.clauses[c].lit.size() == 1 && pi.clauses[c].isHard() && !pi.isClauseRemoved(c)) {
			int lit = pi.clauses[c].lit[0];
			if (pi.isLabel[litVariable(lit)] != VAR_UNDEFINED) {
				rLog.removeLabel(1);
			}
			else {
				rLog.removeVariable(1);
			}
			int rmClauses = setVariable(litVariable(lit), litValue(lit));
			rLog.removeClause(rmClauses);
			removed += rmClauses;
			if (!rLog.requestTime(Log::Technique::UP)) break;
		}
	}
	return removed;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0x218(%rdi), %r13
xorl %r15d, %r15d
pushq $0x28
popq %r14
xorl %ebp, %ebp
movl %r15d, %r15d
movq (%rbx), %rdi
movq 0x8(%rbx), %rax
subq %rdi, %rax
cqto
idivq %r14
cmpq %r15, %rax
jbe 0x8b59
imulq $0x28, %r15, %r12
movq 0x8(%rdi,%r12), %rax
subq (%rdi,%r12), %rax
cmpq $0x4, %rax
jne 0x8b51
addq %r12, %rdi
callq 0x21bac
testb %al, %al
je 0x8b51
movq %rbx, %rdi
movl %r15d, %esi
callq 0x20f14
testb %al, %al
jne 0x8b51
movq (%rbx), %rax
movq 0x48(%rbx), %rcx
movq (%rax,%r12), %rax
movl (%rax), %r14d
movl %r14d, %r12d
sarl %r12d
movslq %r12d, %rax
cmpl $0x0, (%rcx,%rax,4)
je 0x8b0f
movq %r13, %rdi
pushq $0x1
popq %rsi
callq 0x21f32
jmp 0x8b1a
movq %r13, %rdi
pushq $0x1
popq %rsi
callq 0x21ebe
xorl %edx, %edx
testb $0x1, %r14b
sete %dl
movq %rbx, %rdi
movl %r12d, %esi
callq 0x7c98
movl %eax, %r12d
movq %r13, %rdi
movl %eax, %esi
callq 0x21e84
addl %r12d, %ebp
movq %r13, %rdi
pushq $0x2
popq %rsi
callq 0x227d2
testb %al, %al
pushq $0x28
popq %r14
je 0x8b59
incl %r15d
jmp 0x8a98
movl %ebp, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/preprocessor.cpp
// Function: maxPreprocessor::Preprocessor::doUP()
int Preprocessor::doUP() {
	rLog.startTechnique(Log::Technique::UP);
	int removed = 0;
	if (!rLog.requestTime(Log::Technique::UP)) {
		rLog.stopTechnique(Log::Technique::UP);
		return 0;
	}
	vector<int> checkLit = pi.tl.getTouchedLiterals("UP");
	if ((int)checkLit.size() > pi.vars) {
		removed = tryUPAll();
	}
	else {
		for (int lit : checkLit) {
			if (!rLog.requestTime(Log::Technique::UP)) break;
			removed += tryUP(lit);
		}
	}
	
	log(removed, " clauses removed by UP");
	rLog.stopTechnique(Log::Technique::UP);
	return removed;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rdi, %r14
leaq 0x218(%rdi), %rbx
pushq $0x2
popq %rbp
movq %rbx, %rdi
movl %ebp, %esi
callq 0x21e0a
movq %rbx, %rdi
movl %ebp, %esi
callq 0x227d2
testb %al, %al
je 0x8c1c
leaq 0x2688c(%rip), %rsi     # 0x2f430
leaq 0x28(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x68(%r14), %rsi
leaq 0x10(%rsp), %rdi
leaq 0x28(%rsp), %rdx
callq 0x276a4
leaq 0x28(%rsp), %rdi
callq 0x3130
movq 0x10(%rsp), %r13
movq 0x18(%rsp), %r15
movq %r15, %rax
subq %r13, %rax
shrq $0x2, %rax
cmpl %eax, 0x60(%r14)
jge 0x8c3a
movq %r14, %rdi
callq 0x8a7a
movl %eax, %ebp
leaq 0x26821(%rip), %rdx     # 0x2f41c
movq %r14, %rdi
movl %ebp, %esi
callq 0x189d8
pushq $0x2
popq %rsi
movq %rbx, %rdi
callq 0x21e46
leaq 0x10(%rsp), %rdi
callq 0x7512
jmp 0x8c29
pushq $0x2
popq %rsi
movq %rbx, %rdi
callq 0x21e46
xorl %ebp, %ebp
movl %ebp, %eax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %ebp, %ebp
cmpq %r15, %r13
je 0x8bf4
movl (%r13), %r12d
movq %rbx, %rdi
pushq $0x2
popq %rsi
callq 0x227d2
testb %al, %al
je 0x8bf4
movq %r14, %rdi
movl %r12d, %esi
callq 0x89c6
addl %eax, %ebp
addq $0x4, %r13
jmp 0x8c3c
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0x3130
jmp 0x8c8a
movq %rax, %rbx
jmp 0x8c8a
jmp 0x8c7d
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x7512
movq %rbx, %rdi
callq 0x3490
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/preprocessor.cpp
// Function: maxPreprocessor::Preprocessor::doUP2()
void Preprocessor::doUP2() {
	rLog.startTechnique(Log::Technique::UP);
	for (int lit = 0; lit < 2*pi.vars; lit++) {
		assert(tryUP(lit) == 0);
	}
	rLog.stopTechnique(Log::Technique::UP);
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
movq %rdi, %r14
leaq 0x218(%rdi), %rbx
pushq $0x2
popq %rsi
movq %rbx, %rdi
callq 0x21e0a
xorl %ebp, %ebp
movl 0x60(%r14), %eax
addl %eax, %eax
cmpl %eax, %ebp
jge 0x8ce6
movq %r14, %rdi
movl %ebp, %esi
callq 0x89c6
incl %ebp
testl %eax, %eax
je 0x8cad
leaq 0x26765(%rip), %rdi     # 0x2f433
leaq 0x26692(%rip), %rsi     # 0x2f367
leaq 0x26767(%rip), %rcx     # 0x2f443
movl $0x154, %edx            # imm = 0x154
callq 0x31c0
pushq $0x2
popq %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x21e46
nop
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./SE.cpp
// Function: maxPreprocessor::Preprocessor::isSubsumed(std::vector<int, std::allocator<int>> const&, std::vector<int, std::allocator<int>> const&) const
bool Preprocessor::isSubsumed(const vector<int>& a, const vector<int>& b) const {
	unsigned i2 = 0;
	for (unsigned i = 0; i < b.size(); i++) {
		while (i2 < a.size() && a[i2] < b[i]) {
			i2++;
		}
		if (i2 >= a.size() || a[i2] != b[i]) return false;
	}
	return true;
}

// Assembly:
movq (%rdx), %rcx
movq 0x8(%rdx), %rdx
subq %rcx, %rdx
sarq $0x2, %rdx
movq (%rsi), %rdi
movq 0x8(%rsi), %rsi
subq %rdi, %rsi
sarq $0x2, %rsi
xorl %r8d, %r8d
xorl %r9d, %r9d
movl %r9d, %r9d
cmpq %r9, %rdx
setbe %al
jbe 0x909f
movl %r8d, %r10d
cmpq %r10, %rsi
jbe 0x909c
movl (%rdi,%r10,4), %r10d
movl (%rcx,%r9,4), %r11d
cmpl %r11d, %r10d
jge 0x9093
incl %r8d
jmp 0x9079
incl %r9d
cmpl %r11d, %r10d
je 0x906e
retq
xorl %eax, %eax
retq
movb $0x1, %al
retq
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./SE.cpp
// Function: maxPreprocessor::Preprocessor::trySEgen(int, std::vector<int, std::allocator<int>>&)
void Preprocessor::trySEgen(int lit, vector<int>& toRemove) {
	if ((int)pi.litClauses[lit].size() <= 64) { // magic constant
		trySE(pi.litClauses[lit], toRemove);
	}
	else {
		int avg = 0;
		for (int c : pi.litClauses[lit]) {
			avg += pi.clauses[c].lit.size();
		}
		avg /= (int)pi.litClauses[lit].size();
		
		if (avg <= 10) { // magic constant
			trySEHash(pi.litClauses[lit], lit, toRemove);
		}
		else if (avg >= 30) { // magic constant
			trySEAmsLex(pi.litClauses[lit], toRemove);
		}
		else {
			if (avg * (int)pi.litClauses[lit].size() > 10000) { // magic constant
				trySEAmsLex(pi.litClauses[lit], toRemove);
			}
			else {
				trySEHash(pi.litClauses[lit], lit, toRemove);
			}
		}
	}
}

// Assembly:
movq %rdx, %rcx
movl %esi, %r8d
movslq %esi, %rax
movq 0x18(%rdi), %r9
imulq $0x18, %rax, %rax
leaq (%r9,%rax), %rsi
movq (%r9,%rax), %rdx
movq 0x8(%r9,%rax), %r10
movq %r10, %r9
subq %rdx, %r9
shrq $0x2, %r9
cmpl $0x41, %r9d
jge 0x9c68
movq %rcx, %rdx
jmp 0x9998
pushq %r14
pushq %rbx
movq (%rdi), %r11
xorl %eax, %eax
cmpq %r10, %rdx
je 0x9c92
movslq (%rdx), %rbx
imulq $0x28, %rbx, %rbx
movq 0x8(%r11,%rbx), %r14
subq (%r11,%rbx), %r14
shrq $0x2, %r14
addl %r14d, %eax
addq $0x4, %rdx
jmp 0x9c70
cltd
idivl %r9d
cmpl $0xb, %eax
popq %rbx
popq %r14
jge 0x9ca6
movl %r8d, %edx
jmp 0x928e
cmpl $0x1e, %eax
jae 0x9cb6
imull %r9d, %eax
cmpl $0x2711, %eax           # imm = 0x2711
jl 0x9c9e
movq %rcx, %rdx
jmp 0x96ac
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./SE.cpp
// Function: maxPreprocessor::Preprocessor::doSE2()
void Preprocessor::doSE2() {
	for (int lit = 0; lit < 2*pi.vars; lit++) {
		if (trySESlow(lit) != 0) {
			print("fail SE ", litToDimacs(lit));
			abort();
		}
	}
}

// Assembly:
pushq %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
xorl %ebp, %ebp
movl 0x60(%rbx), %eax
addl %eax, %eax
cmpl %eax, %ebp
jge 0x9f9d
movq %rbx, %rdi
movl %ebp, %esi
callq 0x90a2
testl %eax, %eax
jne 0x9fa4
incl %ebp
jmp 0x9f82
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
movl %ebp, %edi
callq 0x20efd
leaq 0x254e6(%rip), %rsi     # 0x2f498
movq %rbx, %rdi
movl %eax, %edx
callq 0x18c04
callq 0x3190
nop
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./BVE.cpp
// Function: maxPreprocessor::Preprocessor::getBVEHash(std::vector<int, std::allocator<int>> const&, int, int) const
vector<uint64_t> Preprocessor::getBVEHash(const vector<int>& cs, int var, int sw) const {
	vector<uint64_t> h(cs.size());
	for (unsigned i = 0; i < cs.size(); i++) {
		for (int l : pi.clauses[cs[i]].lit) {
			if (litVariable(l) != var) h[i] |= ((uint64_t)1<<(uint64_t)((l^sw)&63));
		}
	}
	return h;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movl %r8d, %ebx
movl %ecx, %ebp
movq %rdx, %r15
movq %rsi, %r12
movq %rdi, %r14
movq 0x8(%rdx), %rsi
subq (%rdx), %rsi
sarq $0x2, %rsi
leaq 0xf(%rsp), %rdx
callq 0x18c34
movq (%r15), %rax
movq 0x8(%r15), %rdx
subq %rax, %rdx
sarq $0x2, %rdx
movq (%r12), %rsi
xorl %edi, %edi
pushq $0x1
popq %r8
movl %edi, %edi
cmpq %rdi, %rdx
jbe 0xa04d
movslq (%rax,%rdi,4), %rcx
imulq $0x28, %rcx, %rcx
movq (%rsi,%rcx), %r9
movq 0x8(%rsi,%rcx), %r10
movq (%r14), %r11
cmpq %r10, %r9
je 0xa049
movl (%r9), %ecx
movl %ecx, %r15d
sarl %r15d
cmpl %ebp, %r15d
je 0xa043
xorl %ebx, %ecx
movq %r8, %r15
shlq %cl, %r15
orq %r15, (%r11,%rdi,8)
addq $0x4, %r9
jmp 0xa024
incl %edi
jmp 0xa009
movq %r14, %rax
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./BVE.cpp
// Function: maxPreprocessor::Preprocessor::doBVE2()
void Preprocessor::doBVE2() {
	for (int var = 0; var < pi.vars; var++) {
		if (pi.isLabel[var] == 0 && (pi.litClauses[posLit(var)].size() > 0 || pi.litClauses[negLit(var)].size() > 0)) {
			if (tryBVE(var) != 0) {
				print("fail BVE ", var + 1);
				abort();
			}
		}
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdi, %rbx
pushq $0x1
popq %rbp
xorl %r15d, %r15d
movabsq $0x200000000, %r12      # imm = 0x200000000
xorl %r14d, %r14d
movslq 0x60(%rbx), %rax
cmpq %rax, %r14
jge 0xcb9e
movq 0x48(%rbx), %rax
cmpl $0x0, (%rax,%r14,4)
jne 0xcb93
movq %r15, %rcx
sarq $0x20, %rcx
movq 0x18(%rbx), %rax
imulq $0x18, %rcx, %rcx
movq 0x8(%rax,%rcx), %rdx
cmpq (%rax,%rcx), %rdx
jne 0xcb84
movslq %ebp, %rcx
imulq $0x18, %rcx, %rcx
movq 0x8(%rax,%rcx), %rdx
cmpq (%rax,%rcx), %rdx
je 0xcb93
movq %rbx, %rdi
movl %r14d, %esi
callq 0xc1c6
testl %eax, %eax
jne 0xcba7
incq %r14
addl $0x2, %ebp
addq %r12, %r15
jmp 0xcb44
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
incl %r14d
leaq 0x22c2b(%rip), %rsi     # 0x2f7dc
movq %rbx, %rdi
movl %r14d, %edx
callq 0x18c04
callq 0x3190
nop
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./SSR.cpp
// Function: maxPreprocessor::Preprocessor::SSRC(int, int, int)
bool Preprocessor::SSRC(int c1, int c2, int var) {
	uint64_t bmP = ((uint64_t)1 << (uint64_t)(posLit(var)&63));
	uint64_t bmN = ((uint64_t)1 << (uint64_t)(negLit(var)&63));
	
	bool canP = false;
	bool canN = false;
	
	if (((pi.clauses[c2].hash ^ bmN) | pi.clauses[c1].hash) == pi.clauses[c1].hash) canP = canSSR(var, pi.clauses[c2], pi.clauses[c1]);
	if (((pi.clauses[c1].hash ^ bmP) | pi.clauses[c2].hash) == pi.clauses[c2].hash) canN = canSSR(var, pi.clauses[c1], pi.clauses[c2]);
	if (pi.isClauseRemoved(c1)) return false;
	if (pi.isClauseRemoved(c2)) return false;
	if (canP && canN) {
		pi.removeLiteralFromClause(posLit(var), c1);
		pi.removeClause(c2);
		rLog.removeLiteral(1);
		rLog.removeClause(1);
		return true;
	}
	else if (canP) {
		pi.removeLiteralFromClause(posLit(var), c1);
		rLog.removeLiteral(1);
		return true;
	}
	else if (canN) {
		pi.removeLiteralFromClause(negLit(var), c2);
		rLog.removeLiteral(1);
		return true;
	}
	return false;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movl %ecx, %r13d
leal (%r13,%r13), %ecx
pushq $0x1
popq %rbp
movl %ecx, 0x10(%rsp)
shlq %cl, %rbp
leal 0x1(,%r13,2), %r8d
movl %edx, 0xc(%rsp)
movslq %edx, %rax
movq %rdi, 0x18(%rsp)
movq (%rdi), %rcx
imulq $0x28, %rax, %rax
leaq (%rcx,%rax), %r15
movq 0x20(%rcx,%rax), %r14
movq %r14, %rax
movq %r8, 0x20(%rsp)
btcq %r8, %rax
movl %esi, 0x14(%rsp)
movslq %esi, %rdx
imulq $0x28, %rdx, %rdx
leaq (%rcx,%rdx), %r12
movq 0x20(%rcx,%rdx), %rbx
movq %rbx, %rcx
notq %rcx
testq %rax, %rcx
jne 0xccd7
movl %r13d, %esi
movq %r15, %rdx
movq %r12, %rcx
callq 0xcbc2
jmp 0xccd9
xorl %eax, %eax
xorq %rbp, %rbx
notq %r14
movl %eax, %ebp
testq %rbx, %r14
jne 0xccf9
movl %r13d, %esi
movq %r12, %rdx
movq %r15, %rcx
callq 0xcbc2
movl %eax, %r15d
jmp 0xccfc
xorl %r15d, %r15d
movq 0x18(%rsp), %rbx
movl 0x14(%rsp), %r14d
movq %rbx, %rdi
movl %r14d, %esi
callq 0x20f14
testb %al, %al
jne 0xcd25
movq %rbx, %rdi
movl 0xc(%rsp), %esi
callq 0x20f14
testb %al, %al
je 0xcd2c
xorl %eax, %eax
jmp 0xcdce
movl %ebp, %eax
andb %r15b, %al
cmpb $0x1, %al
jne 0xcd76
pushq $0x1
popq %r15
movq %rbx, %rdi
movl 0x10(%rsp), %esi
movl %r14d, %edx
movl %r15d, %ecx
callq 0x216d0
movq %rbx, %rdi
movl 0xc(%rsp), %esi
callq 0x21490
addq $0x218, %rbx            # imm = 0x218
movq %rbx, %rdi
movl %r15d, %esi
callq 0x21ef8
movq %rbx, %rdi
movl %r15d, %esi
callq 0x21e84
jmp 0xcdcc
testb %bpl, %bpl
je 0xcd9d
pushq $0x1
popq %rbp
movq %rbx, %rdi
movl 0x10(%rsp), %esi
movl %r14d, %edx
movl %ebp, %ecx
callq 0x216d0
addq $0x218, %rbx            # imm = 0x218
movq %rbx, %rdi
movl %ebp, %esi
jmp 0xcdc7
testb %r15b, %r15b
je 0xcd25
pushq $0x1
popq %r14
movq %rbx, %rdi
movq 0x20(%rsp), %rsi
movl 0xc(%rsp), %edx
movl %r14d, %ecx
callq 0x216d0
addq $0x218, %rbx            # imm = 0x218
movq %rbx, %rdi
movl %r14d, %esi
callq 0x21ef8
movb $0x1, %al
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./SSR.cpp
// Function: maxPreprocessor::Preprocessor::trySSR2(int)
int Preprocessor::trySSR2(int var) {
	int removed = 0;
	
	uint64_t bmP = ((uint64_t)1 << (uint64_t)(posLit(var)&63));
	uint64_t bmN = ((uint64_t)1 << (uint64_t)(negLit(var)&63));
	
	bool f = true;
	while (f) {
		f = false;
		for (int c1 : pi.litClauses[posLit(var)]) {
			for (int c2 : pi.litClauses[negLit(var)]) {
				if ((((pi.clauses[c1].hash ^ bmP) | pi.clauses[c2].hash) != pi.clauses[c2].hash) && (((pi.clauses[c2].hash ^ bmN) | pi.clauses[c1].hash) != pi.clauses[c1].hash)) continue;
				
				if (SSRC(c1, c2, var)) {
					f = true;
					removed++;
					break;
				}
			}
			if (f) break;
		}
	}
	return removed;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
leal (%rsi,%rsi), %eax
pushq $0x1
popq %rdx
movq %rdx, %r13
movl %eax, %ecx
shlq %cl, %r13
movq %rsi, 0x30(%rsp)
leal 0x1(,%rsi,2), %ecx
shlq %cl, %rdx
movq %rdx, 0x28(%rsp)
movq %rdi, %r14
cltq
movslq %ecx, %rcx
movl $0x0, 0x4(%rsp)
movb $0x1, %dl
imulq $0x18, %rax, %rax
movq %rax, 0x8(%rsp)
imulq $0x18, %rcx, %rax
movq %rax, 0x10(%rsp)
testb $0x1, %dl
je 0xd6b2
movq 0x18(%r14), %rax
movq 0x8(%rsp), %rcx
movq (%rax,%rcx), %rsi
movq 0x8(%rax,%rcx), %rax
movq %rax, 0x18(%rsp)
cmpq %rax, %rsi
setne %dl
je 0xd5f6
movb %dl, 0x3(%rsp)
movq %rsi, 0x20(%rsp)
movslq (%rsi), %r15
movq 0x18(%r14), %rax
movq 0x10(%rsp), %rcx
movq (%rax,%rcx), %rbp
movq 0x8(%rax,%rcx), %r12
imulq $0x28, %r15, %rbx
cmpq %r12, %rbp
je 0xd692
movslq (%rbp), %rdx
movq (%r14), %rcx
movq 0x20(%rcx,%rbx), %rax
movq %rax, %rsi
xorq %r13, %rsi
imulq $0x28, %rdx, %rdi
movq 0x20(%rcx,%rdi), %rcx
movq %rcx, %rdi
notq %rdi
testq %rsi, %rdi
je 0xd678
xorq 0x28(%rsp), %rcx
notq %rax
testq %rcx, %rax
jne 0xd68c
movq %r14, %rdi
movl %r15d, %esi
movq 0x30(%rsp), %rcx
callq 0xcc58
testb %al, %al
jne 0xd6a5
addq $0x4, %rbp
jmp 0xd640
movq 0x20(%rsp), %rsi
addq $0x4, %rsi
movq 0x18(%rsp), %rax
jmp 0xd616
incl 0x4(%rsp)
movb 0x3(%rsp), %dl
jmp 0xd5f6
movl 0x4(%rsp), %eax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./SSR.cpp
// Function: maxPreprocessor::Preprocessor::trySSRgen(int)
int Preprocessor::trySSRgen(int var) {
	int eliminated = 0;
	if (pi.isLabel[var] == 0 && pi.litClauses[posLit(var)].size() > 0 && pi.litClauses[negLit(var)].size() > 0) {
		uint64_t n = (uint64_t)pi.litClauses[posLit(var)].size()*(uint64_t)pi.litClauses[negLit(var)].size();
		if (n <= 50000) { // magic constant
			eliminated += trySSR2(var);
		}
		else {
			int avg = 0;
			for (int c : pi.litClauses[posLit(var)]) {
				avg += pi.clauses[c].lit.size();
			}
			for (int c : pi.litClauses[negLit(var)]) {
				avg += pi.clauses[c].lit.size();
			}
			avg /= (int)(pi.litClauses[posLit(var)].size() + pi.litClauses[negLit(var)].size());
			
			if (avg <= 4) { // magic constant
				eliminated += trySSRHash(var);
			}
			else if (avg >= 8) { // magic constant
				eliminated += trySSRAmsLex(var);
			}
			else {
				if (avg * (int)(pi.litClauses[posLit(var)].size() + pi.litClauses[negLit(var)].size()) > 10000) { // magic constant
					eliminated += trySSRAmsLex(var);
				}
				else {
					eliminated += trySSRHash(var);
				}
			}
		}
	}
	return eliminated;
}

// Assembly:
movslq %esi, %rax
movq 0x48(%rdi), %rcx
cmpl $0x0, (%rcx,%rax,4)
je 0xd906
xorl %eax, %eax
retq
leal (%rsi,%rsi), %ecx
movslq %ecx, %rdx
movq 0x18(%rdi), %rax
imulq $0x18, %rdx, %rdx
movq (%rax,%rdx), %r10
movq 0x8(%rax,%rdx), %r11
movq %r11, %rdx
subq %r10, %rdx
je 0xd903
orl $0x1, %ecx
movslq %ecx, %rcx
imulq $0x18, %rcx, %rcx
movq (%rax,%rcx), %r8
movq 0x8(%rax,%rcx), %r9
movq %r9, %rcx
subq %r8, %rcx
je 0xd903
sarq $0x2, %rdx
sarq $0x2, %rcx
movq %rcx, %rax
imulq %rdx, %rax
cmpq $0xc351, %rax           # imm = 0xC351
jae 0xd95c
jmp 0xd5a2
pushq %r15
pushq %r14
pushq %rbx
movq (%rdi), %rbx
xorl %eax, %eax
cmpq %r11, %r10
je 0xd9a3
movslq (%r10), %r14
imulq $0x28, %r14, %r14
movq 0x8(%rbx,%r14), %r15
subq (%rbx,%r14), %r15
shrq $0x2, %r15
addl %r15d, %eax
addq $0x4, %r10
jmp 0xd966
movslq (%r8), %r10
imulq $0x28, %r10, %r10
movq 0x8(%rbx,%r10), %r11
subq (%rbx,%r10), %r11
shrq $0x2, %r11
addl %r11d, %eax
addq $0x4, %r8
cmpq %r9, %r8
jne 0xd988
addl %edx, %ecx
cltd
idivl %ecx
cmpl $0x5, %eax
popq %rbx
popq %r14
popq %r15
jge 0xd9bc
jmp 0xd03c
cmpl $0x8, %eax
jae 0xd9cb
imull %ecx, %eax
cmpl $0x2711, %eax           # imm = 0x2711
jl 0xd9b7
jmp 0xcdde
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./SSR.cpp
// Function: maxPreprocessor::Preprocessor::doSSR2()
void Preprocessor::doSSR2() {
	for (int var = 0; var < pi.vars; var++) {
		if (pi.isLabel[var] == 0 && pi.litClauses[posLit(var)].size() > 0 && pi.litClauses[negLit(var)].size() > 0) {
			if (trySSR(var) != 0){
				print("fail SSR ", var + 1);
				abort();
			}
		}
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdi, %rbx
pushq $0x1
popq %rbp
xorl %r15d, %r15d
movabsq $0x200000000, %r12      # imm = 0x200000000
xorl %r14d, %r14d
movslq 0x60(%rbx), %rax
cmpq %rax, %r14
jge 0xdca8
movq 0x48(%rbx), %rax
cmpl $0x0, (%rax,%r14,4)
je 0xdc53
incq %r14
addl $0x2, %ebp
addq %r12, %r15
jmp 0xdc34
movq %r15, %rcx
sarq $0x20, %rcx
movq 0x18(%rbx), %rax
imulq $0x18, %rcx, %rcx
movq 0x8(%rax,%rcx), %rdx
cmpq (%rax,%rcx), %rdx
je 0xdc48
movslq %ebp, %rcx
imulq $0x18, %rcx, %rcx
movq 0x8(%rax,%rcx), %rdx
cmpq (%rax,%rcx), %rdx
je 0xdc48
movq %rbx, %rdi
movl %r14d, %esi
callq 0xd6c6
testl %eax, %eax
je 0xdc48
incl %r14d
leaq 0x21b6d(%rip), %rsi     # 0x2f805
movq %rbx, %rdi
movl %r14d, %edx
callq 0x18c04
callq 0x3190
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./BCE.cpp
// Function: maxPreprocessor::Preprocessor::tryBCE(int)
int Preprocessor::tryBCE(int lit) {
	vector<int> toRemove;
	for (int c1i : pi.litClauses[lit]) {
		const vector<int>& c1 = pi.clauses[c1i].lit;
		bool f = false;
		for (int c2i : pi.litClauses[litNegation(lit)]) {
			const vector<int>& c2 = pi.clauses[c2i].lit;
			bool ff = false;
			for (int c1l : c1) {
				for (int c2l : c2) {
					if (litNegation(c1l) == c2l && c1l != lit) {
						ff = true;
						break;
					}
				}
				if (ff) break;
			}
			if (!ff) {
				f = true;
				break;
			}
		}
		if (!f) {
			toRemove.push_back(c1i);
		}
	}
	for (int c : toRemove) {
		trace.BCE(lit, pi.clauses[c].lit);
		pi.removeClause(c);
	}
	rLog.removeClause((int)toRemove.size());
	return toRemove.size();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movl %esi, %ebp
movq %rdi, %rbx
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %rax
movaps %xmm0, (%rax)
andq $0x0, 0x10(%rax)
movslq %esi, %rax
movq 0x18(%rdi), %rcx
imulq $0x18, %rax, %rdx
movq (%rcx,%rdx), %r12
movq 0x8(%rcx,%rdx), %rcx
movq %rcx, 0x30(%rsp)
xorl $0x1, %eax
cltq
imulq $0x18, %rax, %r15
cmpq 0x30(%rsp), %r12
je 0xdd8e
movslq (%r12), %rcx
movl %ecx, 0xc(%rsp)
movq (%rbx), %rax
movq 0x18(%rbx), %rsi
imulq $0x28, %rcx, %rcx
addq %rax, %rcx
movq (%rsi,%r15), %rdx
movq 0x8(%rsi,%r15), %rsi
cmpq %rsi, %rdx
je 0xdd76
movslq (%rdx), %rdi
imulq $0x28, %rdi, %r8
addq %rax, %r8
movq (%rcx), %rdi
movq 0x8(%rcx), %r9
cmpq %r9, %rdi
je 0xdd6b
movl (%rdi), %r10d
movq (%r8), %r13
movq 0x8(%r8), %r11
cmpq %r11, %r13
je 0xdd65
movq %r13, %r14
addq $0x4, %r13
cmpl %ebp, %r10d
je 0xdd46
movl (%r14), %r14d
xorl %r10d, %r14d
cmpl $0x1, %r14d
jne 0xdd46
jmp 0xdd6b
addq $0x4, %rdi
jmp 0xdd37
addq $0x4, %rdx
cmpq %r9, %rdi
jne 0xdd21
jmp 0xdd85
leaq 0x10(%rsp), %rdi
leaq 0xc(%rsp), %rsi
callq 0x68a4
addq $0x4, %r12
jmp 0xdcf7
movq 0x10(%rsp), %r12
movq 0x18(%rsp), %r13
leaq 0x2f0(%rbx), %r14
cmpq %r13, %r12
je 0xddca
movslq (%r12), %r15
imulq $0x28, %r15, %rdx
addq (%rbx), %rdx
movq %r14, %rdi
movl %ebp, %esi
callq 0x20432
movq %rbx, %rdi
movl %r15d, %esi
callq 0x21490
addq $0x4, %r12
jmp 0xdd9f
addq $0x218, %rbx            # imm = 0x218
movq 0x18(%rsp), %rsi
subq 0x10(%rsp), %rsi
shrq $0x2, %rsi
movq %rbx, %rdi
callq 0x21e84
leaq 0x10(%rsp), %rdi
movq 0x8(%rdi), %rbx
subq (%rdi), %rbx
shrq $0x2, %rbx
callq 0x7512
movl %ebx, %eax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xde11
jmp 0xde11
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x7512
movq %rbx, %rdi
callq 0x3490
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./SLE.cpp
// Function: maxPreprocessor::Preprocessor::doSLE2()
void Preprocessor::doSLE2() {
	vector<int> lbs;
	for (int var = 0; var < pi.vars; var++) {
		if (pi.isLabel[var] != VAR_UNDEFINED && !pi.isVarRemoved(var)) {
			lbs.push_back(var);
		}
	}
	for (int lb1 : lbs) {
		for (int lb2 : lbs) {
			if (lb1 != lb2 && !pi.isVarRemoved(lb1) && !pi.isVarRemoved(lb2)) {
				if (trySLESlow(lb1, lb2)) {
					print("fail SLE");
					print(lb1 + 1, " ", lb2 + 1);
					abort();
				}
			}
		}
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdi, %rbx
leaq 0x10(%rsp), %r14
andq $0x0, 0x10(%r14)
xorps %xmm0, %xmm0
movaps %xmm0, (%r14)
xorl %esi, %esi
leaq 0xc(%rsp), %r15
movl %esi, 0xc(%rsp)
cmpl 0x60(%rbx), %esi
jge 0xe774
movslq %esi, %rax
movq 0x48(%rbx), %rcx
cmpl $0x0, (%rcx,%rax,4)
je 0xe76c
movq %rbx, %rdi
callq 0x20fae
testb %al, %al
jne 0xe76c
movq %r14, %rdi
movq %r15, %rsi
callq 0x68a4
movl 0xc(%rsp), %esi
incl %esi
jmp 0xe73f
movq 0x10(%rsp), %r15
movq 0x18(%rsp), %rax
movq %rax, 0x30(%rsp)
cmpq 0x30(%rsp), %r15
je 0xe7df
movl (%r15), %ebp
movq 0x10(%rsp), %r13
movq 0x18(%rsp), %r12
cmpq %r12, %r13
je 0xe7d9
movl (%r13), %r14d
cmpl %r14d, %ebp
je 0xe7d3
movq %rbx, %rdi
movl %ebp, %esi
callq 0x20fae
testb %al, %al
jne 0xe7d3
movq %rbx, %rdi
movl %r14d, %esi
callq 0x20fae
testb %al, %al
jne 0xe7d3
movq %rbx, %rdi
movl %ebp, %esi
movl %r14d, %edx
callq 0xe166
testl %eax, %eax
jne 0xe7f8
addq $0x4, %r13
jmp 0xe797
addq $0x4, %r15
jmp 0xe783
leaq 0x10(%rsp), %rdi
callq 0x7512
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x21117(%rip), %rsi     # 0x2f916
movq %rbx, %rdi
callq 0x18fd8
incl %ebp
incl %r14d
leaq 0x219e1(%rip), %rdx     # 0x301f4
movq %rbx, %rdi
movl %ebp, %esi
movl %r14d, %ecx
callq 0x18ff8
callq 0x3190
jmp 0xe829
jmp 0xe829
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x7512
movq %rbx, %rdi
callq 0x3490
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./SIE.cpp
// Function: maxPreprocessor::Preprocessor::try2SIE(int, int)
int Preprocessor::try2SIE(int litX, int litY) {
	for (int c : pi.litClauses[litNegation(litX)]) {
		if (pi.clauses[c].lit.size() > 10) { // magic constant
			if (!binary_search(pi.clauses[c].lit.begin(), pi.clauses[c].lit.end(), litNegation(litY))) {
				return 0;
			}
		}
		else {
			bool f = false;
			for (int l : pi.clauses[c].lit) {
				if (l == litNegation(litY)) {
					f = true;
					break;
				}
			}
			if (!f) {
				return 0;
			}
		}
	}
	for (int c : pi.litClauses[litY]) {
		if (!binary_search(pi.clauses[c].lit.begin(), pi.clauses[c].lit.end(), litX)) {
			return 0;
		}
	}
	int rmC = 0;
	rmC += setVariable(litVariable(litX), litValue(litX));
	rmC += setVariable(litVariable(litY), !litValue(litY));
	rLog.removeClause(rmC);
	rLog.removeVariable(2);
	assert(pi.isVarRemoved(litVariable(litX)));
	assert(pi.isVarRemoved(litVariable(litY)));
	return rmC;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %edx, %ebp
movq %rdi, %rbx
movl %esi, (%rsp)
xorl $0x1, %esi
movslq %esi, %rax
movq 0x18(%rdi), %rcx
imulq $0x18, %rax, %rax
movq (%rcx,%rax), %r15
movq 0x8(%rcx,%rax), %r12
movl %edx, %r13d
xorl $0x1, %r13d
leaq 0x4(%rsp), %r14
cmpq %r12, %r15
je 0xf567
movslq (%r15), %rax
movq (%rbx), %rcx
imulq $0x28, %rax, %rax
movq (%rcx,%rax), %rdi
movq 0x8(%rcx,%rax), %rsi
movq %rsi, %rax
subq %rdi, %rax
cmpq $0x28, %rax
jbe 0xf54f
movl %r13d, 0x4(%rsp)
movq %r14, %rdx
callq 0x18f6e
testb %al, %al
jne 0xf561
jmp 0xf5a6
cmpq %rsi, %rdi
je 0xf5a6
movl (%rdi), %eax
xorl %ebp, %eax
addq $0x4, %rdi
cmpl $0x1, %eax
jne 0xf54f
addq $0x4, %r15
jmp 0xf518
movslq %ebp, %rax
movq 0x18(%rbx), %rcx
imulq $0x18, %rax, %rax
movq (%rcx,%rax), %r15
movq 0x8(%rcx,%rax), %r12
movq %rsp, %r14
cmpq %r12, %r15
je 0xf5b9
movslq (%r15), %rax
movq (%rbx), %rcx
imulq $0x28, %rax, %rax
movq (%rcx,%rax), %rdi
movq 0x8(%rcx,%rax), %rsi
movq %r14, %rdx
callq 0x18f6e
addq $0x4, %r15
testb %al, %al
jne 0xf57e
xorl %ebp, %ebp
movl %ebp, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl (%rsp), %eax
movl %eax, %esi
sarl %esi
xorl %edx, %edx
testb $0x1, %al
sete %dl
movq %rbx, %rdi
callq 0x7c98
movl %eax, %r15d
movl %ebp, %r14d
sarl %r14d
andl $0x1, %ebp
movq %rbx, %rdi
movl %r14d, %esi
movl %ebp, %edx
callq 0x7c98
movl %eax, %ebp
addl %r15d, %ebp
leaq 0x218(%rbx), %r15
movq %r15, %rdi
movl %ebp, %esi
callq 0x21e84
pushq $0x2
popq %rsi
movq %r15, %rdi
callq 0x21ebe
movl (%rsp), %esi
sarl %esi
movq %rbx, %rdi
callq 0x20fae
testb %al, %al
je 0xf646
movq %rbx, %rdi
movl %r14d, %esi
callq 0x20fae
testb %al, %al
jne 0xf5a8
leaq 0x204fd(%rip), %rdi     # 0x2fb31
leaq 0x204b7(%rip), %rsi     # 0x2faf2
leaq 0x204ba(%rip), %rcx     # 0x2fafc
pushq $0x37
jmp 0xf65d
leaq 0x20482(%rip), %rdi     # 0x2facf
leaq 0x2049e(%rip), %rsi     # 0x2faf2
leaq 0x204a1(%rip), %rcx     # 0x2fafc
pushq $0x36
popq %rdx
callq 0x31c0
nop
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./SIE.cpp
// Function: maxPreprocessor::Preprocessor::doSIE()
int Preprocessor::doSIE() {
	rLog.startTechnique(Log::Technique::SIE);
	int removed = 0;
	vector<int> checkLit = pi.tl.getTouchedLiterals("SIE");
	for (int lit : checkLit) {
		removed += trySIE(lit);
	}
	log(removed, " clauses removed by SIE");
	rLog.stopTechnique(Log::Technique::SIE);
	return removed;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x40, %rsp
movq %rdi, %r14
leaq 0x218(%rdi), %rbx
pushq $0x8
popq %rsi
movq %rbx, %rdi
callq 0x21e0a
leaq 0x20157(%rip), %rsi     # 0x2fbbb
leaq 0x20(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x6788
leaq 0x68(%r14), %rsi
leaq 0x8(%rsp), %rdi
leaq 0x20(%rsp), %rdx
callq 0x276a4
leaq 0x20(%rsp), %rdi
callq 0x3130
movq 0x8(%rsp), %r15
movq 0x10(%rsp), %r12
xorl %ebp, %ebp
cmpq %r12, %r15
je 0xfab4
movl (%r15), %esi
movq %r14, %rdi
callq 0xf664
addl %eax, %ebp
addq $0x4, %r15
jmp 0xfa9c
leaq 0x200ec(%rip), %rdx     # 0x2fba7
movq %r14, %rdi
movl %ebp, %esi
callq 0x189d8
pushq $0x8
popq %rsi
movq %rbx, %rdi
callq 0x21e46
leaq 0x8(%rsp), %rdi
callq 0x7512
movl %ebp, %eax
addq $0x40, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0x3130
jmp 0xfb0c
movq %rax, %rbx
jmp 0xfb0c
jmp 0xfaff
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x7512
movq %rbx, %rdi
callq 0x3490
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./SIE.cpp
// Function: maxPreprocessor::Preprocessor::doSIE2()
void Preprocessor::doSIE2() {
	for (int litX = 0; litX < pi.vars*2; litX++) {
		for (int litY = 0; litY < pi.vars*2; litY++) {
			if (litVariable(litX) != litVariable(litY) && pi.isLabel[litVariable(litX)] == VAR_UNDEFINED && pi.isLabel[litVariable(litY)] == VAR_UNDEFINED) {
				if (!pi.isVarRemoved(litVariable(litX)) && !pi.isVarRemoved(litVariable(litY))) {
					if (try2SIE(litX, litY)) {
						print("fail SIE ", litToDimacs(litX), " ", litToDimacs(litY));
						print("fail SIE ");
						abort();
					}
				}
			}
		}
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdi, %rbx
movl 0x60(%rdi), %eax
xorl %ebp, %ebp
leal (%rax,%rax), %ecx
cmpl %ecx, %ebp
jge 0xfb96
movl %ebp, %r15d
shrl %r15d
xorl %r14d, %r14d
leal (%rax,%rax), %ecx
cmpl %ecx, %r14d
jge 0xfb92
movl %r14d, %r12d
shrl %r12d
cmpl %r12d, %r15d
je 0xfb8a
movq 0x48(%rbx), %rax
cmpl $0x0, (%rax,%r15,4)
jne 0xfb8a
movl %r12d, %ecx
cmpl $0x0, (%rax,%rcx,4)
jne 0xfb8a
movq %rbx, %rdi
movl %r15d, %esi
callq 0x20fae
testb %al, %al
jne 0xfb8a
movq %rbx, %rdi
movl %r12d, %esi
callq 0x20fae
testb %al, %al
jne 0xfb8a
movq %rbx, %rdi
movl %ebp, %esi
movl %r14d, %edx
callq 0xf4e2
testl %eax, %eax
jne 0xfb9f
incl %r14d
movl 0x60(%rbx), %eax
jmp 0xfb34
incl %ebp
jmp 0xfb24
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movl %ebp, %edi
callq 0x20efd
movl %eax, %ebp
movl %r14d, %edi
callq 0x20efd
leaq 0x20008(%rip), %r14     # 0x2fbbf
leaq 0x20636(%rip), %rcx     # 0x301f4
movq %rbx, %rdi
movq %r14, %rsi
movl %ebp, %edx
movl %eax, %r8d
callq 0x190ca
movq %rbx, %rdi
movq %r14, %rsi
callq 0x18fd8
callq 0x3190
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./BIG.cpp
// Function: maxPreprocessor::Preprocessor::BIGdfs2(std::vector<std::vector<int, std::allocator<int>>, std::allocator<std::vector<int, std::allocator<int>>>>&, int, std::vector<int, std::allocator<int>>&)
void Preprocessor::BIGdfs2(vector<vector<int> >& g, int x, vector<int>& ns) {
	stack<pair<int, int>, vector<pair<int, int> >  > dfs;
	dfs.push({x, 0});
	while (!dfs.empty()) {
		int v = dfs.top().F;
		int ci = dfs.top().S;
		dfs.pop();
		if (ci == 0 && BIGu2[v] == 1) continue;
		BIGu2[v] = 1;
		if (ci >= (int)g[v].size()) {
			ns.push_back(v);
		}
		else {
			dfs.push({v, ci + 1});
			dfs.push({g[v][ci], 0});
		}
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rcx, %rbx
movq %rsi, %r14
movq %rdi, %r15
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %rdi
movaps %xmm0, (%rdi)
andq $0x0, 0x10(%rdi)
leaq 0x8(%rsp), %rsi
movl %edx, (%rsi)
andl $0x0, 0x4(%rsi)
callq 0x1d392
leaq 0x10(%rsp), %r12
leaq 0x8(%rsp), %r13
movq 0x18(%rsp), %rcx
cmpq %rcx, 0x10(%rsp)
je 0xfeaa
leaq -0x8(%rcx), %rdx
movslq -0x8(%rcx), %rax
movl %eax, 0x4(%rsp)
movslq -0x4(%rcx), %rbp
movq %rdx, 0x18(%rsp)
movq 0x3c8(%r15), %rcx
testq %rbp, %rbp
jne 0xfe32
cmpl $0x1, (%rcx,%rax,4)
je 0xfdfb
movl $0x1, (%rcx,%rax,4)
movslq 0x4(%rsp), %rax
movq (%r14), %rcx
imulq $0x18, %rax, %rdx
movq 0x8(%rcx,%rdx), %rsi
subq (%rcx,%rdx), %rsi
shrq $0x2, %rsi
cmpl %esi, %ebp
jge 0xfe98
leal 0x1(%rbp), %ecx
movl %eax, 0x8(%rsp)
movl %ecx, 0xc(%rsp)
movq %r12, %rdi
movq %r13, %rsi
callq 0x1d392
movslq 0x4(%rsp), %rax
movq (%r14), %rcx
imulq $0x18, %rax, %rax
movq (%rcx,%rax), %rax
movl (%rax,%rbp,4), %eax
movl %eax, 0x8(%rsp)
andl $0x0, 0xc(%rsp)
movq %r12, %rdi
movq %r13, %rsi
callq 0x1d392
jmp 0xfdfb
movq %rbx, %rdi
leaq 0x4(%rsp), %rsi
callq 0x68a4
jmp 0xfdfb
leaq 0x10(%rsp), %rdi
callq 0x1d322
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xfec9
jmp 0xfec9
jmp 0xfec9
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x1d322
movq %rbx, %rdi
callq 0x3490
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./BIG.cpp
// Function: maxPreprocessor::Preprocessor::BIGdfs3(std::vector<std::vector<int, std::allocator<int>>, std::allocator<std::vector<int, std::allocator<int>>>>&, int, std::vector<int, std::allocator<int>>&)
void Preprocessor::BIGdfs3(vector<vector<int> >& rg, int x, vector<int>& scc) {
	stack<pair<int, int>, vector<pair<int, int> > > dfs;
	dfs.push({x, 0});
	while (!dfs.empty()) {
		int v = dfs.top().F;
		int ci = dfs.top().S;
		dfs.pop();
		if (ci == 0 && BIGu2[v] == 2) continue;
		BIGu2[v] = 2;
		if (ci == 0) scc.push_back(v);
		if (ci < (int)rg[v].size()) {
			dfs.push({v, ci + 1});
			dfs.push({rg[v][ci], 0});
		}
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rcx, %rbx
movq %rsi, %r14
movq %rdi, %r15
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %rdi
movaps %xmm0, (%rdi)
andq $0x0, 0x10(%rdi)
leaq 0x8(%rsp), %rsi
movl %edx, (%rsi)
andl $0x0, 0x4(%rsi)
callq 0x1d392
leaq 0x10(%rsp), %r13
leaq 0x8(%rsp), %rbp
movq 0x18(%rsp), %rcx
cmpq %rcx, 0x10(%rsp)
je 0xffd6
leaq -0x8(%rcx), %rdx
movslq -0x8(%rcx), %rax
movl %eax, 0x4(%rsp)
movslq -0x4(%rcx), %r12
movq %rdx, 0x18(%rsp)
movq 0x3c8(%r15), %rcx
testq %r12, %r12
je 0xff59
movl $0x2, (%rcx,%rax,4)
jmp 0xff73
cmpl $0x2, (%rcx,%rax,4)
je 0xff1f
movl $0x2, (%rcx,%rax,4)
movq %rbx, %rdi
leaq 0x4(%rsp), %rsi
callq 0x68a4
movslq 0x4(%rsp), %rax
movq (%r14), %rcx
imulq $0x18, %rax, %rdx
movq 0x8(%rcx,%rdx), %rsi
subq (%rcx,%rdx), %rsi
shrq $0x2, %rsi
cmpl %esi, %r12d
jge 0xff1f
leal 0x1(%r12), %ecx
movl %eax, 0x8(%rsp)
movl %ecx, 0xc(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
callq 0x1d392
movslq 0x4(%rsp), %rax
movq (%r14), %rcx
imulq $0x18, %rax, %rax
movq (%rcx,%rax), %rax
movl (%rax,%r12,4), %eax
movl %eax, 0x8(%rsp)
andl $0x0, 0xc(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
callq 0x1d392
jmp 0xff1f
leaq 0x10(%rsp), %rdi
callq 0x1d322
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xfff5
jmp 0xfff5
jmp 0xfff5
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x1d322
movq %rbx, %rdi
callq 0x3490
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./BIG.cpp
// Function: maxPreprocessor::Preprocessor::doBIG(bool)
int Preprocessor::doBIG(bool doTC) {
	rLog.startTechnique(Log::Technique::EE);
	if (!rLog.requestTime(Log::Technique::EE)) {
		rLog.stopTechnique(Log::Technique::EE);
		return 0;
	}
	int removed = 0;
	BIGIt++;
	if ((int)BIGu.size() < 2*pi.vars) BIGu.resize(2*pi.vars);
	if ((int)BIGu2.size() < 2*pi.vars) BIGu2.resize(2*pi.vars);
	if ((int)BIGid.size() < 2*pi.vars) BIGid.resize(2*pi.vars);
	vector<int> checkLit = pi.tl.getBinaryLiterals("BIG");
	for (int lit : checkLit) {
		if (!rLog.requestTime(Log::Technique::EE)) break;
		if (BIGu[lit] == BIGIt || pi.isLabel[litVariable(lit)]) continue;
		removed += tryBIG(lit, doTC);
	}
	log(removed, " variables removed by EE");
	rLog.stopTechnique(Log::Technique::EE);
	return removed;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movl %esi, %r13d
movq %rdi, %r14
leaq 0x218(%rdi), %rbx
pushq $0x9
popq %r15
movq %rbx, %rdi
movl %r15d, %esi
callq 0x21e0a
movq %rbx, %rdi
movl %r15d, %esi
callq 0x227d2
testb %al, %al
je 0x117aa
incl 0x3ac(%r14)
movq 0x3b8(%r14), %rax
subq 0x3b0(%r14), %rax
shrq $0x2, %rax
movslq 0x60(%r14), %rsi
addq %rsi, %rsi
cmpl %eax, %esi
jle 0x116b3
leaq 0x3b0(%r14), %rdi
callq 0x68c2
movl 0x60(%r14), %esi
addl %esi, %esi
movq 0x3d0(%r14), %rax
subq 0x3c8(%r14), %rax
shrq $0x2, %rax
cmpl %eax, %esi
jle 0x116de
leaq 0x3c8(%r14), %rdi
movslq %esi, %rsi
callq 0x68c2
movl 0x60(%r14), %esi
addl %esi, %esi
movq 0x3e8(%r14), %rax
subq 0x3e0(%r14), %rax
shrq $0x2, %rax
cmpl %eax, %esi
jle 0x11703
leaq 0x3e0(%r14), %rdi
movslq %esi, %rsi
callq 0x68c2
leaq 0x1e5d0(%rip), %rsi     # 0x2fcda
leaq 0x28(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x6788
leaq 0x68(%r14), %rsi
leaq 0x10(%rsp), %rdi
leaq 0x28(%rsp), %rdx
callq 0x27872
leaq 0x28(%rsp), %rdi
callq 0x3130
movq 0x10(%rsp), %rbp
movq 0x18(%rsp), %r15
movl $0x0, 0x8(%rsp)
pushq $0x9
popq %r12
movzbl %r13b, %eax
movl %eax, 0xc(%rsp)
cmpq %r15, %rbp
je 0x117b9
movslq (%rbp), %r13
movq %rbx, %rdi
movl %r12d, %esi
callq 0x227d2
testb %al, %al
je 0x117b9
movq 0x3b0(%r14), %rax
movl (%rax,%r13,4), %eax
cmpl 0x3ac(%r14), %eax
je 0x117a4
movl %r13d, %eax
sarl %eax
cltq
movq 0x48(%r14), %rcx
cmpl $0x0, (%rcx,%rax,4)
jne 0x117a4
movq %r14, %rdi
movl %r13d, %esi
movl 0xc(%rsp), %edx
callq 0x103ac
addl %eax, 0x8(%rsp)
addq $0x4, %rbp
jmp 0x11754
pushq $0x9
popq %rsi
movq %rbx, %rdi
callq 0x21e46
xorl %ebp, %ebp
jmp 0x117e3
leaq 0x1e51e(%rip), %rdx     # 0x2fcde
movq %r14, %rdi
movl 0x8(%rsp), %ebp
movl %ebp, %esi
callq 0x189d8
pushq $0x9
popq %rsi
movq %rbx, %rdi
callq 0x21e46
leaq 0x10(%rsp), %rdi
callq 0x7512
movl %ebp, %eax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0x3130
jmp 0x11817
movq %rax, %rbx
jmp 0x11817
jmp 0x1180a
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x7512
movq %rbx, %rdi
callq 0x3490
nop
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./BIG.cpp
// Function: maxPreprocessor::Preprocessor::doBIG2(bool)
void Preprocessor::doBIG2(bool doTC) {
	BIGIt++;
	rLog.startTechnique(Log::Technique::EE);
	if ((int)BIGu.size() < 2*pi.vars) BIGu.resize(2*pi.vars);
	if ((int)BIGu2.size() < 2*pi.vars) BIGu2.resize(2*pi.vars);
	if ((int)BIGid.size() < 2*pi.vars) BIGid.resize(2*pi.vars);
	for (int lit = 0; lit < 2*pi.vars; lit++) {
		if (BIGu[lit] == BIGIt || pi.isLabel[litVariable(lit)]) continue;
		if (tryBIG(lit, doTC)) {
			print("fail BIG ", litToDimacs(lit));
			abort();
		}
	}
	rLog.stopTechnique(Log::Technique::EE);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movl %esi, %ebp
movq %rdi, %rbx
incl 0x3ac(%rdi)
leaq 0x218(%rdi), %r14
pushq $0x9
popq %rsi
movq %r14, %rdi
callq 0x21e0a
movq 0x3b8(%rbx), %rax
subq 0x3b0(%rbx), %rax
shrq $0x2, %rax
movslq 0x60(%rbx), %rsi
addq %rsi, %rsi
cmpl %eax, %esi
jle 0x11872
leaq 0x3b0(%rbx), %rdi
callq 0x68c2
movl 0x60(%rbx), %esi
addl %esi, %esi
movq 0x3d0(%rbx), %rax
subq 0x3c8(%rbx), %rax
shrq $0x2, %rax
cmpl %eax, %esi
jle 0x1189c
leaq 0x3c8(%rbx), %rdi
movslq %esi, %rsi
callq 0x68c2
movl 0x60(%rbx), %esi
addl %esi, %esi
movq 0x3e8(%rbx), %rax
subq 0x3e0(%rbx), %rax
shrq $0x2, %rax
cmpl %eax, %esi
jle 0x118c1
leaq 0x3e0(%rbx), %rdi
movslq %esi, %rsi
callq 0x68c2
xorl %r15d, %r15d
movzbl %bpl, %ebp
movslq 0x60(%rbx), %rax
addq %rax, %rax
cmpq %rax, %r15
jge 0x1190c
movq 0x3b0(%rbx), %rax
movl (%rax,%r15,4), %eax
cmpl 0x3ac(%rbx), %eax
je 0x11907
movl %r15d, %eax
shrl %eax
movq 0x48(%rbx), %rcx
cmpl $0x0, (%rcx,%rax,4)
jne 0x11907
movq %rbx, %rdi
movl %r15d, %esi
movl %ebp, %edx
callq 0x103ac
testl %eax, %eax
jne 0x11921
incq %r15
jmp 0x118c8
pushq $0x9
popq %rsi
movq %r14, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x21e46
movl %r15d, %edi
callq 0x20efd
leaq 0x1e3c7(%rip), %rsi     # 0x2fcf7
movq %rbx, %rdi
movl %eax, %edx
callq 0x18c04
callq 0x3190
nop
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./BVA.cpp
// Function: maxPreprocessor::Preprocessor::addBVAHash(std::vector<int, std::allocator<int>>&, std::unordered_map<unsigned long, int, std::hash<unsigned long>, std::equal_to<unsigned long>, std::allocator<std::pair<unsigned long const, int>>>&)
void Preprocessor::addBVAHash(vector<int>& lits, unordered_map<uint64_t, int>& hashes) {
	if (lits.size() <= 1) return;
	if (sfH.size() < lits.size() + 1) sfH.resize(lits.size() + 1);
	if (tMul.size() < lits.size() + 1) tMul.resize(lits.size() + 1);
	tMul[lits.size()] = 1;
	sfH[lits.size()] = 0;
	uint64_t mul = 1;
	for (int i = (int)lits.size() - 1; i >= 0; i--) {
		sfH[i] = sfH[i + 1];
		sfH[i] += mul * (uint64_t)lits[i];
		mul *= polyHashMul;
		tMul[i] = mul;
	}
	hashes[sfH[1]]++;
	uint64_t preH = 0;
	for (int i = 0; i < (int)lits.size() - 1; i++) {
		preH *= polyHashMul;
		preH += (uint64_t)lits[i];
		uint64_t mHash = preH * tMul[i + 2] + sfH[i + 2];
		hashes[mHash]++;
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdx, 0x8(%rsp)
movq (%rsi), %rax
movq 0x8(%rsi), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
cmpq $0x2, %rcx
jae 0x11976
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rsi, %r14
movq %rdi, %r15
movq 0x408(%rdi), %rdx
subq 0x400(%rdi), %rdx
sarq $0x3, %rdx
leaq 0x1(%rcx), %rsi
cmpq %rsi, %rdx
jae 0x119b5
leaq 0x400(%r15), %rdi
callq 0x19386
movq (%r14), %rax
movq 0x8(%r14), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
leaq 0x1(%rcx), %rsi
movq 0x418(%r15), %rdx
movq 0x420(%r15), %rdi
subq %rdx, %rdi
sarq $0x3, %rdi
cmpq %rsi, %rdi
jae 0x119f0
leaq 0x418(%r15), %r12
movq %r12, %rdi
callq 0x19386
movq (%r14), %rax
movq 0x8(%r14), %rcx
movq (%r12), %rdx
subq %rax, %rcx
sarq $0x2, %rcx
movq $0x1, (%rdx,%rcx,8)
movq 0x400(%r15), %rsi
andq $0x0, (%rsi,%rcx,8)
movl %ecx, %ecx
pushq $0x1
popq %rdi
testl %ecx, %ecx
jle 0x11a31
movslq -0x4(%rax,%rcx,4), %r8
imulq %rdi, %r8
addq (%rsi,%rcx,8), %r8
movq %r8, -0x8(%rsi,%rcx,8)
imulq 0x328(%r15), %rdi
movq %rdi, -0x8(%rdx,%rcx,8)
decq %rcx
jmp 0x11a09
addq $0x8, %rsi
movq 0x8(%rsp), %rdi
callq 0x1dd6a
incl (%rax)
xorl %r13d, %r13d
movabsq $-0x100000000, %rbp     # imm = 0xFFFFFFFF00000000
leaq 0x10(%rsp), %r12
xorl %ebx, %ebx
movq (%r14), %rax
movq 0x8(%r14), %rcx
subq %rax, %rcx
shlq $0x1e, %rcx
addq %rbp, %rcx
sarq $0x20, %rcx
cmpq %rcx, %r13
jge 0x11967
imulq 0x328(%r15), %rbx
movslq (%rax,%r13,4), %rax
addq %rax, %rbx
movq 0x400(%r15), %rax
movq 0x418(%r15), %rcx
movq 0x10(%rcx,%r13,8), %rcx
imulq %rbx, %rcx
addq 0x10(%rax,%r13,8), %rcx
movq %rcx, 0x10(%rsp)
movq 0x8(%rsp), %rdi
movq %r12, %rsi
callq 0x1dd6a
incl (%rax)
incq %r13
jmp 0x11a55
nop
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./BVA.cpp
// Function: maxPreprocessor::Preprocessor::canBVA(int, int, int)
int Preprocessor::canBVA(int c, int d, int lit) {
	if (pi.clauses[d].lit.size() != pi.clauses[c].lit.size()) return -1;
	int hc = -1;
	int hd = -1;
	unsigned i1 = 0;
	unsigned i2 = 0;
	while (i1 < pi.clauses[c].lit.size() || i2 < pi.clauses[d].lit.size()) {
		if (i1 < pi.clauses[c].lit.size() && i2 < pi.clauses[d].lit.size() && pi.clauses[c].lit[i1] == pi.clauses[d].lit[i2]) {
			i1++;
			i2++;
		}
		else if (i1 < pi.clauses[c].lit.size() && (i2 == pi.clauses[d].lit.size() || pi.clauses[d].lit[i2] > pi.clauses[c].lit[i1])) {
			if (hc != -1) {
				return -1;
			}
			hc = pi.clauses[c].lit[i1];
			if (hc != lit) {
				return -1;
			}
			i1++;
		}
		else if (i2 < pi.clauses[d].lit.size() && (i1 == pi.clauses[c].lit.size() || pi.clauses[c].lit[i1] > pi.clauses[d].lit[i2])) {
			if (hd != -1) {
				return -1;
			}
			hd = pi.clauses[d].lit[i2];
			i2++;
		}
	}
	return hd;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
movslq %edx, %rax
movq (%rdi), %r8
imulq $0x28, %rax, %rax
movq (%r8,%rax), %rdx
movq 0x8(%r8,%rax), %rdi
subq %rdx, %rdi
movslq %esi, %rax
imulq $0x28, %rax, %rax
movq (%r8,%rax), %rsi
movq 0x8(%r8,%rax), %rax
subq %rsi, %rax
cmpq %rax, %rdi
jne 0x11b6e
sarq $0x2, %rdi
xorl %r9d, %r9d
movl $0xffffffff, %r8d       # imm = 0xFFFFFFFF
movl %r8d, %r11d
movl %r8d, %eax
xorl %r10d, %r10d
movl %r9d, %ebx
movl %r10d, %r14d
cmpq %rbx, %rdi
jbe 0x11b2d
cmpq %r14, %rdi
jbe 0x11b1d
movl (%rsi,%rbx,4), %ebp
cmpl (%rdx,%r14,4), %ebp
je 0x11b66
cmpq %r14, %rdi
je 0x11b53
movl (%rdx,%r14,4), %ebp
cmpl (%rsi,%rbx,4), %ebp
jle 0x11b32
jmp 0x11b53
cmpq %r14, %rdi
jbe 0x11b73
cmpq %r14, %rdi
jbe 0x11b0a
cmpq %rbx, %rdi
je 0x11b45
movl (%rsi,%rbx,4), %ebp
cmpl (%rdx,%r14,4), %ebp
jle 0x11b0a
cmpl $-0x1, %eax
jne 0x11b78
movl (%rdx,%r14,4), %eax
incl %r10d
jmp 0x11b04
cmpl $-0x1, %r11d
jne 0x11b78
cmpl %ecx, (%rsi,%rbx,4)
jne 0x11b78
incl %r9d
movl %ecx, %r11d
jmp 0x11b04
incl %r9d
incl %r10d
jmp 0x11b04
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
popq %rbx
popq %r14
popq %rbp
retq
movl %r8d, %eax
jmp 0x11b73
nop
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./BVA.cpp
// Function: maxPreprocessor::Preprocessor::doBVA2()
void Preprocessor::doBVA2() {
	rLog.startTechnique(Log::Technique::BVA);
	unordered_map<uint64_t, int> hashes;
	for (int lit = 0; lit < 2*pi.vars; lit++) {
		if (tryBVA(lit, hashes)) {
			if (pi.litClauses[lit].size() < 2) continue;
			print("fail BVA ", litToDimacs(lit));
			abort();
		}
	}
	rLog.stopTechnique(Log::Technique::BVA);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x40, %rsp
movq %rdi, %rbx
leaq 0x218(%rdi), %r14
pushq $0xa
popq %rsi
movq %r14, %rdi
callq 0x21e0a
leaq 0x38(%rsp), %rax
movq %rax, -0x30(%rax)
movq $0x1, -0x28(%rax)
xorps %xmm0, %xmm0
movups %xmm0, -0x20(%rax)
movl $0x3f800000, -0x10(%rax) # imm = 0x3F800000
movups %xmm0, -0x8(%rax)
pushq $0x8
popq %r13
xorl %r15d, %r15d
leaq 0x8(%rsp), %r12
movslq 0x60(%rbx), %rax
addq %rax, %rax
cmpq %rax, %r15
jge 0x12b75
movq %rbx, %rdi
movl %r15d, %esi
movq %r12, %rdx
callq 0x11b7e
testl %eax, %eax
je 0x12b6c
movq 0x18(%rbx), %rax
movq (%rax,%r13), %rcx
subq -0x8(%rax,%r13), %rcx
cmpq $0x5, %rcx
jae 0x12b98
incq %r15
addq $0x18, %r13
jmp 0x12b3b
pushq $0xa
popq %rsi
movq %r14, %rdi
callq 0x21e46
leaq 0x8(%rsp), %rdi
callq 0x6c92
addq $0x40, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movl %r15d, %edi
callq 0x20efd
leaq 0x1d32c(%rip), %rsi     # 0x2fed3
movq %rbx, %rdi
movl %eax, %edx
callq 0x18c04
callq 0x3190
jmp 0x12bba
jmp 0x12bba
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x6c92
movq %rbx, %rdi
callq 0x3490
nop
// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/./GSLE.cpp
// Function: maxPreprocessor::Preprocessor::GSLEBT(int, unsigned long, std::vector<int, std::allocator<int>>&, std::vector<unsigned long, std::allocator<unsigned long>>&, std::vector<std::vector<int, std::allocator<int>>, std::allocator<std::vector<int, std::allocator<int>>>>&, bool&, unsigned long&)
void Preprocessor::GSLEBT(int i, uint64_t w, vector<int>& sel, vector<uint64_t>& weights, vector<vector<int> >& hs, bool& found, uint64_t& itLim) {
	if (i == (int)hs.size()) {
		found = true;
		return;
	}
	if (itLim == 0) {
		return;
	}
	itLim--;
	bool f = false;
	for (int l : hs[i]) {
		if (sel[l]) {
			f = true;
			break;
		}
	}
	if (f) {
		GSLEBT(i + 1, w, sel, weights, hs, found, itLim);
	}
	else {
		for (int l : hs[i]) {
			if (weights[l] > w) continue;
			sel[l] = 1;
			GSLEBT(i + 1, w - weights[l], sel, weights, hs, found, itLim);
			sel[l] = 0;
		}
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %r8, %rbx
movq %rcx, 0x8(%rsp)
movq %rdx, %r15
movq %rdi, 0x18(%rsp)
movq (%r9), %rcx
movq %r9, 0x20(%rsp)
movq 0x8(%r9), %rax
subq %rcx, %rax
pushq $0x18
popq %rdi
cqto
idivq %rdi
movslq %esi, %r12
movslq %eax, %rdx
cmpq %rdx, %r12
je 0x12cc4
movq 0x68(%rsp), %rax
movq (%rax), %rax
testq %rax, %rax
je 0x12ccc
decq %rax
movq 0x68(%rsp), %rsi
movq %rax, (%rsi)
imulq $0x18, %r12, %rax
movq (%rcx,%rax), %r13
movq 0x8(%rcx,%rax), %r9
movq 0x8(%rsp), %rax
movq (%rax), %rax
movq %r13, %rsi
cmpq %r9, %rsi
je 0x12c5f
movslq (%rsi), %rdi
addq $0x4, %rsi
cmpl $0x0, (%rax,%rdi,4)
je 0x12c48
incq %r12
jmp 0x12c0b
incl %r12d
movq %r12, 0x10(%rsp)
movq 0x8(%rsp), %r14
cmpq %r9, %r13
je 0x12ccc
movslq (%r13), %rbp
movq (%rbx), %rcx
movq %r15, %rdx
subq (%rcx,%rbp,8), %rdx
jb 0x12cbe
movl $0x1, (%rax,%rbp,4)
movq 0x18(%rsp), %rdi
movl %r12d, %esi
movq %r14, %rcx
movq %rbx, %r8
movq %r9, %r12
movq 0x20(%rsp), %r9
pushq 0x68(%rsp)
pushq 0x68(%rsp)
callq 0x12bd0
movq %r12, %r9
movq 0x20(%rsp), %r12
addq $0x10, %rsp
movq (%r14), %rax
andl $0x0, (%rax,%rbp,4)
addq $0x4, %r13
jmp 0x12c6c
movq 0x60(%rsp), %rax
movb $0x1, (%rax)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop