// File: /workspace/github_cpp_makefile_star2_O1/Laakeri[P]maxpre/src/main.cpp
// Function: parseBVEgate(std::map<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>>&)
bool parseBVEgate(map<string, string>& flags) {
	bool BVEgate = false;
	if (flags.count("bvegate")) {
		if (flags["bvegate"] == "1") {
			BVEgate = true;
			cout<<"c BVE gate extraction enabled"<<endl;
			cerr<<"BVE gate extraction enabled"<<endl;
		}
		else if (flags["bvegate"] == "0") {
			BVEgate = false;
			cout<<"c BVE gate extraction disabled"<<endl;
			cerr<<"BVE gate extraction disabled"<<endl;
		}
		else {
			cout<<"Invalid bvegate flag"<<endl;
			cerr<<"Invalid bvegate flag"<<endl;
			exit(0);
		}
	}
	else {
		cout<<"c No -bvegate= given, defaulting to disabled"<<endl;
		cerr<<"No -bvegate= given, defaulting to disabled"<<endl;
	}
	return BVEgate;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x20, %rsp
movq %rdi, %rbx
leaq 0x10(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x33c8d(%rip), %rsi     # 0x380a5
leaq 0x33c8d(%rip), %rdx     # 0x380ac
movq %rsp, %rdi
callq 0x945c
movq %rsp, %rsi
movq %rbx, %rdi
callq 0x9842
movq %rax, %r14
leaq 0x8(%rbx), %r12
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x444f
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x32b0
cmpq %r12, %r14
je 0x4555
movq %rsp, %rdi
movq %r15, (%rdi)
leaq 0x33c40(%rip), %rsi     # 0x380a5
leaq 0x33c40(%rip), %rdx     # 0x380ac
callq 0x945c
movq %rsp, %rsi
movq %rbx, %rdi
callq 0x8bb6
leaq 0x354de(%rip), %rsi     # 0x39961
movq %rax, %rdi
callq 0x30b0
movl %eax, %ebp
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x44a3
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x32b0
testl %ebp, %ebp
je 0x45b3
movq %rsp, %rdi
movq %r15, (%rdi)
leaq 0x33bed(%rip), %rsi     # 0x380a5
leaq 0x33bed(%rip), %rdx     # 0x380ac
callq 0x945c
movq %rsp, %rsi
movq %rbx, %rdi
callq 0x8bb6
leaq 0x36777(%rip), %rsi     # 0x3ac4d
movq %rax, %rdi
callq 0x30b0
movl %eax, %ebx
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x44f6
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x32b0
testl %ebx, %ebx
jne 0x464c
movq 0x44ac3(%rip), %rbx     # 0x48fc8
leaq 0x33bbf(%rip), %rsi     # 0x380cb
movl $0x1e, %edx
movq %rbx, %rdi
callq 0x3310
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3280
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x31e0
movq 0x44aa9(%rip), %rdi     # 0x48ff0
leaq 0x33b7f(%rip), %rsi     # 0x380cd
movl $0x1c, %edx
jmp 0x45aa
movq 0x44a6c(%rip), %rbx     # 0x48fc8
leaq 0x33b9c(%rip), %rsi     # 0x380ff
movl $0x2c, %edx
movq %rbx, %rdi
callq 0x3310
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3280
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x31e0
movq 0x44a52(%rip), %rdi     # 0x48ff0
leaq 0x33b5c(%rip), %rsi     # 0x38101
movl $0x2a, %edx
callq 0x3310
xorl %ebx, %ebx
jmp 0x460f
movq 0x44a0e(%rip), %rbx     # 0x48fc8
leaq 0x33aec(%rip), %rsi     # 0x380ad
movl $0x1d, %edx
movq %rbx, %rdi
callq 0x3310
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3280
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x31e0
movq 0x449f4(%rip), %rdi     # 0x48ff0
leaq 0x33aac(%rip), %rsi     # 0x380af
movl $0x1b, %edx
callq 0x3310
movb $0x1, %bl
movq 0x449da(%rip), %r14     # 0x48ff0
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3280
movsbl %al, %esi
movq %r14, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x31e0
movl %ebx, %eax
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq 0x44975(%rip), %rdi     # 0x48fc8
leaq 0x33a90(%rip), %rbx     # 0x380ea
movq %rbx, %rsi
callq 0x3290
movq %rax, %rdi
callq 0x3130
movq 0x4497f(%rip), %rdi     # 0x48ff0
movq %rbx, %rsi
callq 0x3290
movq %rax, %rdi
callq 0x3130
xorl %edi, %edi
callq 0x3350
jmp 0x4690
jmp 0x46ab
jmp 0x4690
jmp 0x46ab
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r15, %rdi
je 0x46ae
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x46ae
movq %rax, %rbx
movq %rbx, %rdi
callq 0x34a0