// File: /workspace/github_cpp_makefile_star2_O3/vsklad[P]cgen/main.cpp
// Function: generate_output_file_name(CGenCommandInfo&)
void generate_output_file_name(CGenCommandInfo& info) {
    if ((info.command == cmdEncode || info.command == cmdProcess) && info.output_file_name.empty()) {
        std::string output_file_name;
        if (info.command == cmdEncode) {
            switch(info.algorithm) {
                case algSHA1:
                    output_file_name = "sha1";
                    break;
                case algSHA256:
                    output_file_name = "sha256";
                    break;
                default:
                    assert(false);
            };
        
            output_file_name += "r" + std::to_string(info.rounds);
        
            generate_output_file_name_var(info, "M", output_file_name);
            generate_output_file_name_var(info, "H", output_file_name);

            if (info.mode == bal::fpmUnoptimized) {
                output_file_name += "_u";
            };
        } else if (info.command == cmdProcess) {
            // generate only if there is a conversion
            if (info.formula_type == ftCnf && (info.output_format == ofCnfVIGGraphML ||
                                               info.output_format == ofCnfWeightedVIGGraphML ||
                                               info.output_format == ofCnfVIGGEXF)) {
                output_file_name = info.input_file_name;
            };
        };
        if (!output_file_name.empty()) {
            switch(info.output_format) {
                case ofAnfPolybori:
                    output_file_name += ".anf";
                    break;
                case ofCnfDimacs:
                    output_file_name += ".cnf";
                    break;
                case ofCnfVIGGraphML:
                    output_file_name += ".graphml";
                    break;
                case ofCnfWeightedVIGGraphML:
                    output_file_name += "_w.graphml";
                    break;
                case ofCnfVIGGEXF:
                    output_file_name += ".gexf";
                    break;
                default:
                    assert(false);
            };
            info.output_file_name = output_file_name;
        };
    };
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movl (%rdi), %eax
leal -0x1(%rax), %ecx
cmpl $0x1, %ecx
ja 0x3c936
movq %rdi, %rbx
cmpq $0x0, 0x80(%rdi)
jne 0x3c936
leaq -0x38(%rbp), %r12
movq %r12, -0x10(%r12)
movq $0x0, -0x8(%r12)
movb $0x0, (%r12)
cmpl $0x1, %eax
jne 0x3c6f4
movl 0x4(%rbx), %eax
cmpl $0x2, %eax
je 0x3c71f
cmpl $0x1, %eax
jne 0x3c967
movl $0x4, %r8d
leaq 0x90ec(%rip), %rcx      # 0x457de
jmp 0x3c72c
cmpl $0x0, 0x8(%rbx)
jne 0x3c8f1
movl 0xc(%rbx), %eax
addl $-0x2, %eax
cmpl $0x2, %eax
ja 0x3c8f1
leaq 0x58(%rbx), %rsi
leaq -0x48(%rbp), %rdi
callq 0xb150
jmp 0x3c8f1
movl $0x6, %r8d
leaq 0x90bc(%rip), %rcx      # 0x457e8
leaq -0x48(%rbp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0xb410
movl 0x48(%rbx), %r14d
movl $0x1, %eax
cmpl $0xa, %r14d
jb 0x3c78d
movl $0x4, %eax
movl $0xd1b71759, %ecx       # imm = 0xD1B71759
movl %r14d, %edx
cmpl $0x63, %edx
jbe 0x3c786
cmpl $0x3e7, %edx            # imm = 0x3E7
jbe 0x3c78b
cmpl $0x2710, %edx           # imm = 0x2710
jb 0x3c78d
movl %edx, %esi
imulq %rcx, %rsi
shrq $0x2d, %rsi
addl $0x4, %eax
cmpl $0x1869f, %edx          # imm = 0x1869F
movl %esi, %edx
ja 0x3c755
addl $-0x3, %eax
jmp 0x3c78d
addl $-0x2, %eax
jmp 0x3c78d
decl %eax
movl %eax, %esi
leaq -0xb8(%rbp), %r13
movq %r13, -0x10(%r13)
leaq -0xc8(%rbp), %rdi
xorl %edx, %edx
callq 0xb340
leaq -0xc8(%rbp), %r15
movq (%r15), %rdi
movl 0x8(%r15), %esi
movl %r14d, %edx
callq 0x1d8f9
leaq 0x9bed(%rip), %rcx      # 0x463b2
movl $0x1, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0xb310
leaq -0x58(%rbp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x3c7fb
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x3c802
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
movq %rdx, -0x60(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x68(%rbp), %rsi
movq -0x60(%rbp), %rdx
leaq -0x48(%rbp), %rdi
callq 0xb0c0
movq -0x68(%rbp), %rdi
cmpq %r14, %rdi
je 0x3c838
callq 0xb280
movq -0xc8(%rbp), %rdi
cmpq %r13, %rdi
je 0x3c849
callq 0xb280
leaq -0x98(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0xc150(%rip), %rsi      # 0x489ab
leaq 0xc14a(%rip), %rdx      # 0x489ac
leaq -0xa8(%rbp), %rdi
callq 0x1dab2
leaq -0xa8(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq 0x3c355
movq -0xa8(%rbp), %rdi
cmpq %r14, %rdi
je 0x3c892
callq 0xb280
leaq -0x78(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0xcaf5(%rip), %rsi      # 0x49396
leaq 0xcaef(%rip), %rdx      # 0x49397
leaq -0x88(%rbp), %rdi
callq 0x1dab2
leaq -0x88(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq 0x3c355
movq -0x88(%rbp), %rdi
cmpq %r14, %rdi
je 0x3c8d8
callq 0xb280
cmpl $0x0, 0xa0(%rbx)
jne 0x3c8f1
leaq 0xf42a(%rip), %rsi      # 0x4bd12
leaq -0x48(%rbp), %rdi
callq 0xb530
cmpq $0x0, -0x40(%rbp)
je 0x3c928
movl 0xc(%rbx), %eax
cmpq $0x4, %rax
ja 0x3c948
leaq 0xef9c(%rip), %rcx      # 0x4b8a4
movslq (%rcx,%rax,4), %rsi
addq %rcx, %rsi
leaq -0x48(%rbp), %rdi
callq 0xb530
addq $0x78, %rbx
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0xb150
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x3c936
callq 0xb280
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xb353(%rip), %rdi      # 0x47ca2
leaq 0xf381(%rip), %rsi      # 0x4bcd7
leaq 0xf383(%rip), %rcx      # 0x4bce0
movl $0x5c, %edx
callq 0xb180
leaq 0xb334(%rip), %rdi      # 0x47ca2
leaq 0xf362(%rip), %rsi      # 0x4bcd7
leaq 0xf364(%rip), %rcx      # 0x4bce0
movl $0x37, %edx
callq 0xb180
movq %rax, %rbx
movq -0x88(%rbp), %rdi
jmp 0x3c99e
jmp 0x3c9d2
movq %rax, %rbx
movq -0xa8(%rbp), %rdi
cmpq %r14, %rdi
jne 0x3c9c9
jmp 0x3c9d5
jmp 0x3c9d2
movq %rax, %rbx
movq -0x68(%rbp), %rdi
cmpq %r14, %rdi
je 0x3c9bd
callq 0xb280
jmp 0x3c9bd
movq %rax, %rbx
movq -0xc8(%rbp), %rdi
cmpq %r13, %rdi
je 0x3c9d5
callq 0xb280
jmp 0x3c9d5
jmp 0x3c9d2
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x3c9e3
callq 0xb280
movq %rbx, %rdi
callq 0xb4e0