// File: /workspace/github_cpp_makefile_star2_O1/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 0x3e934
movq %rdi, %rbx
cmpq $0x0, 0x80(%rdi)
jne 0x3e934
leaq -0x38(%rbp), %r12
movq %r12, -0x10(%r12)
movq $0x0, -0x8(%r12)
movb $0x0, (%r12)
cmpl $0x2, %eax
je 0x3e6f2
cmpl $0x1, %eax
jne 0x3e8ef
movl 0x4(%rbx), %eax
cmpl $0x2, %eax
je 0x3e71d
cmpl $0x1, %eax
jne 0x3e965
movl $0x4, %r8d
leaq 0x90de(%rip), %rcx      # 0x477ce
jmp 0x3e72a
cmpl $0x0, 0x8(%rbx)
jne 0x3e8ef
movl 0xc(%rbx), %eax
addl $-0x2, %eax
cmpl $0x2, %eax
ja 0x3e8ef
leaq 0x58(%rbx), %rsi
leaq -0x48(%rbp), %rdi
callq 0xc150
jmp 0x3e8ef
movl $0x6, %r8d
leaq 0x90ae(%rip), %rcx      # 0x477d8
leaq -0x48(%rbp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0xc410
movl 0x48(%rbx), %r14d
movl $0x1, %eax
cmpl $0xa, %r14d
jb 0x3e78b
movl $0x4, %eax
movl $0xd1b71759, %ecx       # imm = 0xD1B71759
movl %r14d, %edx
cmpl $0x63, %edx
jbe 0x3e784
cmpl $0x3e7, %edx            # imm = 0x3E7
jbe 0x3e789
cmpl $0x2710, %edx           # imm = 0x2710
jb 0x3e78b
movl %edx, %esi
imulq %rcx, %rsi
shrq $0x2d, %rsi
addl $0x4, %eax
cmpl $0x1869f, %edx          # imm = 0x1869F
movl %esi, %edx
ja 0x3e753
addl $-0x3, %eax
jmp 0x3e78b
addl $-0x2, %eax
jmp 0x3e78b
decl %eax
movl %eax, %esi
leaq -0xb8(%rbp), %r13
movq %r13, -0x10(%r13)
leaq -0xc8(%rbp), %rdi
xorl %edx, %edx
callq 0xc340
leaq -0xc8(%rbp), %r15
movq (%r15), %rdi
movl 0x8(%r15), %esi
movl %r14d, %edx
callq 0x1f0e9
leaq 0x9bdf(%rip), %rcx      # 0x483a2
movl $0x1, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0xc310
leaq -0x58(%rbp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x3e7f9
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x3e800
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 0xc0c0
movq -0x68(%rbp), %rdi
cmpq %r14, %rdi
je 0x3e836
callq 0xc280
movq -0xc8(%rbp), %rdi
cmpq %r13, %rdi
je 0x3e847
callq 0xc280
leaq -0x98(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0xc142(%rip), %rsi      # 0x4a99b
leaq 0xc13c(%rip), %rdx      # 0x4a99c
leaq -0xa8(%rbp), %rdi
callq 0x1f29e
leaq -0xa8(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq 0x3e341
movq -0xa8(%rbp), %rdi
cmpq %r14, %rdi
je 0x3e890
callq 0xc280
leaq -0x78(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0xcae7(%rip), %rsi      # 0x4b386
leaq 0xcae1(%rip), %rdx      # 0x4b387
leaq -0x88(%rbp), %rdi
callq 0x1f29e
leaq -0x88(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq 0x3e341
movq -0x88(%rbp), %rdi
cmpq %r14, %rdi
je 0x3e8d6
callq 0xc280
cmpl $0x0, 0xa0(%rbx)
jne 0x3e8ef
leaq 0xf52c(%rip), %rsi      # 0x4de12
leaq -0x48(%rbp), %rdi
callq 0xc530
cmpq $0x0, -0x40(%rbp)
je 0x3e926
movl 0xc(%rbx), %eax
cmpq $0x4, %rax
ja 0x3e946
leaq 0xf09e(%rip), %rcx      # 0x4d9a4
movslq (%rcx,%rax,4), %rsi
addq %rcx, %rsi
leaq -0x48(%rbp), %rdi
callq 0xc530
addq $0x78, %rbx
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0xc150
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x3e934
callq 0xc280
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xb345(%rip), %rdi      # 0x49c92
leaq 0xf483(%rip), %rsi      # 0x4ddd7
leaq 0xf485(%rip), %rcx      # 0x4dde0
movl $0x5c, %edx
callq 0xc180
leaq 0xb326(%rip), %rdi      # 0x49c92
leaq 0xf464(%rip), %rsi      # 0x4ddd7
leaq 0xf466(%rip), %rcx      # 0x4dde0
movl $0x37, %edx
callq 0xc180
movq %rax, %rbx
movq -0x88(%rbp), %rdi
jmp 0x3e99c
jmp 0x3e9d0
movq %rax, %rbx
movq -0xa8(%rbp), %rdi
cmpq %r14, %rdi
jne 0x3e9c7
jmp 0x3e9d3
jmp 0x3e9d0
movq %rax, %rbx
movq -0x68(%rbp), %rdi
cmpq %r14, %rdi
je 0x3e9bb
callq 0xc280
jmp 0x3e9bb
movq %rax, %rbx
movq -0xc8(%rbp), %rdi
cmpq %r13, %rdi
je 0x3e9d3
callq 0xc280
jmp 0x3e9d3
jmp 0x3e9d0
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x3e9e1
callq 0xc280
movq %rbx, %rdi
callq 0xc4e0