// File: Laakeri[P]maxpre/src/./LS.cpp
// Function: maxPreprocessor::Preprocessor::doLS()
int Preprocessor::doLS() {
	while (doBCE());
	rLog.startTechnique(Log::Technique::LS);
	if (!rLog.requestTime(Log::Technique::LS)) {
		rLog.stopTechnique(Log::Technique::LS);
		return 0;
	}
	int added = 0;
	vector<int> checkVar = pi.tl.getTouchedVariables("LS");
	for (int var : checkVar) {
		if (pi.isLabel[var] == VAR_UNDEFINED) continue;
		if (pi.isVarRemoved(var)) continue;
		if (!rLog.requestTime(Log::Technique::LS)) break;
		added += tryLS(var);
	}
	log(added, " clauses labeled by LS");
	rLog.stopTechnique(Log::Technique::LS);
	return added;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb0, %rsp
movq %rdi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x90(%rbp)
movq -0x90(%rbp), %rdi
callq 0x1e790
cmpl $0x0, %eax
je 0x2d55d
jmp 0x2d54a
movq -0x90(%rbp), %rdi
addq $0x218, %rdi            # imm = 0x218
movl $0xe, %esi
callq 0x61320
movq -0x90(%rbp), %rdi
addq $0x218, %rdi            # imm = 0x218
movl $0xe, %esi
callq 0x62450
testb $0x1, %al
jne 0x2d5b5
movq -0x90(%rbp), %rdi
addq $0x218, %rdi            # imm = 0x218
movl $0xe, %esi
callq 0x61390
movl $0x0, -0x4(%rbp)
jmp 0x2d79f
movq -0x90(%rbp), %rax
movl $0x0, -0x14(%rbp)
addq $0x68, %rax
movq %rax, -0xa0(%rbp)
leaq -0x51(%rbp), %rdi
movq %rdi, -0x98(%rbp)
callq 0x4620
movq -0x98(%rbp), %rdx
leaq 0x599b7(%rip), %rsi     # 0x86fa3
leaq -0x50(%rbp), %rdi
callq 0xa430
jmp 0x2d5f7
movq -0xa0(%rbp), %rsi
leaq -0x30(%rbp), %rdi
leaq -0x50(%rbp), %rdx
callq 0x73700
jmp 0x2d60d
leaq -0x50(%rbp), %rdi
callq 0x4240
leaq -0x51(%rbp), %rdi
callq 0x43f0
leaq -0x30(%rbp), %rax
movq %rax, -0x70(%rbp)
movq -0x70(%rbp), %rdi
callq 0xa800
movq %rax, -0x78(%rbp)
movq -0x70(%rbp), %rdi
callq 0xa830
movq %rax, -0x80(%rbp)
leaq -0x78(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0xa860
testb $0x1, %al
jne 0x2d657
jmp 0x2d75e
leaq -0x78(%rbp), %rdi
callq 0xa8a0
movq -0x90(%rbp), %rdi
movl (%rax), %eax
movl %eax, -0x84(%rbp)
addq $0x48, %rdi
movslq -0x84(%rbp), %rsi
callq 0xa7c0
cmpl $0x0, (%rax)
jne 0x2d6ba
jmp 0x2d750
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x2d6ac
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x50(%rbp), %rdi
callq 0x4240
leaq -0x51(%rbp), %rdi
callq 0x43f0
jmp 0x2d7ab
movq -0x90(%rbp), %rdi
movl -0x84(%rbp), %esi
callq 0x5ecc0
movb %al, -0xa1(%rbp)
jmp 0x2d6d4
movb -0xa1(%rbp), %al
testb $0x1, %al
jne 0x2d6e0
jmp 0x2d6fc
jmp 0x2d750
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x30(%rbp), %rdi
callq 0xab00
jmp 0x2d7ab
movq -0x90(%rbp), %rdi
addq $0x218, %rdi            # imm = 0x218
movl $0xe, %esi
callq 0x62450
movb %al, -0xa2(%rbp)
jmp 0x2d71c
movb -0xa2(%rbp), %al
testb $0x1, %al
jne 0x2d72a
jmp 0x2d728
jmp 0x2d75e
movq -0x90(%rbp), %rdi
movl -0x84(%rbp), %esi
callq 0x2ceb0
movl %eax, -0xa8(%rbp)
jmp 0x2d744
movl -0xa8(%rbp), %eax
addl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
leaq -0x78(%rbp), %rdi
callq 0xa930
jmp 0x2d641
movq -0x90(%rbp), %rdi
movl -0x14(%rbp), %esi
leaq 0x59820(%rip), %rdx     # 0x86f8f
callq 0x3c620
jmp 0x2d776
movq -0x90(%rbp), %rdi
addq $0x218, %rdi            # imm = 0x218
movl $0xe, %esi
callq 0x61390
jmp 0x2d790
movl -0x14(%rbp), %eax
movl %eax, -0x4(%rbp)
leaq -0x30(%rbp), %rdi
callq 0xab00
movl -0x4(%rbp), %eax
addq $0xb0, %rsp
popq %rbp
retq
movq -0x60(%rbp), %rdi
callq 0x4610
nopw %cs:(%rax,%rax)