// File: /workspace/github_cpp_makefile_star2_O3/vsklad[P]cgen/commandline.cpp
// Function: CGenCommandLineReader::parse_variable_pad(std::map<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, CGenVariableInfo, 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, CGenVariableInfo>>>&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
void CGenCommandLineReader::parse_variable_pad(CGenVariablesMap& variables_map, const std::string& variable_name) {
    if (variable_name.empty()) {
        parse_error(ERROR_PAD_MUST_FOLLOW_DEFINITION);
    };
    if (is_binary_variable_name(variable_name)) {
        parse_error(ERROR_BINARY_VARIABLE_PAD_INCOMPATIBLE);
    };
    
    CGenVariableInfo& variable_value = variables_map.find(variable_name)->second;
    
    if (variable_value.mode != vmValue) {
        parse_error(ERROR_PAD_MUST_FOLLOW_VALUE);
    };
    
    skip_token();
    read_symbol(':');
    if (is_token("sha1") || is_token("SHA1")) {
        variable_value.data = acl::SHA1<bal::Literal<bal::Cnf>>::pad_message(variable_value.data.data(),
                                                                             variable_value.data.size());
        skip_token();
    } else if (is_token("sha256") || is_token("SHA256")) {
        variable_value.data = acl::SHA256<bal::Literal<bal::Cnf>>::pad_message(variable_value.data.data(),
                                                                               variable_value.data.size());
        skip_token();
    } else {
        parse_error(ERROR_PAD_UNKNOWN_VALUE);
    };
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %rbx
cmpq $0x0, 0x8(%rdx)
jne 0x1965c
movq (%rbx), %rax
leaq -0x78(%rbp), %rcx
movq -0x18(%rax), %r12
addq %rbx, %r12
movq %rcx, -0x10(%rcx)
leaq 0x2c100(%rip), %rsi     # 0x4571f
leaq 0x2c134(%rip), %rdx     # 0x4575a
leaq -0x88(%rbp), %r13
movq %r13, %rdi
callq 0x1dab2
movq %r12, %rdi
movq %r13, %rsi
callq 0x1c690
movq -0x88(%rbp), %rdi
leaq -0x78(%rbp), %rax
cmpq %rax, %rdi
je 0x19655
callq 0xb280
cmpq $0x0, 0x8(%r14)
je 0x196b3
movq (%r14), %rax
movsbl (%rax), %eax
addl $-0x30, %eax
cmpl $0x9, %eax
ja 0x196b3
movq (%rbx), %rax
leaq -0x58(%rbp), %rcx
movq -0x18(%rax), %r12
addq %rbx, %r12
movq %rcx, -0x10(%rcx)
leaq 0x2c0d8(%rip), %rsi     # 0x4575b
leaq 0x2c100(%rip), %rdx     # 0x4578a
leaq -0x68(%rbp), %r13
movq %r13, %rdi
callq 0x1dab2
movq %r12, %rdi
movq %r13, %rsi
callq 0x1c690
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x196b3
callq 0xb280
movq %r15, %rdi
movq %r14, %rsi
callq 0x1dd7e
movq %rax, %r14
cmpl $0x0, 0x40(%rax)
je 0x19715
movq (%rbx), %rax
leaq -0xb8(%rbp), %r13
movq -0x18(%rax), %r15
addq %rbx, %r15
movq %r13, -0x10(%r13)
leaq 0x2c0a8(%rip), %rsi     # 0x4578b
leaq 0x2c0f3(%rip), %rdx     # 0x457dd
leaq -0xc8(%rbp), %r12
movq %r12, %rdi
callq 0x1dab2
movq %r15, %rdi
movq %r12, %rsi
callq 0x1c690
movq -0xc8(%rbp), %rdi
cmpq %r13, %rdi
je 0x19715
callq 0xb280
movq (%rbx), %rax
movq -0x18(%rax), %rcx
movq 0x10(%rbx,%rcx), %rdx
addq %rdx, 0x8(%rbx,%rcx)
movq $0x0, 0x10(%rbx,%rcx)
movl $0x0, 0x40(%rbx,%rcx)
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0x3a, %esi
callq 0x1c824
movq (%rbx), %rax
movq -0x18(%rax), %r12
leaq (%rbx,%r12), %r15
movq %r15, %rdi
callq 0x1d33a
movq 0x10(%rbx,%r12), %rax
testq %rax, %rax
je 0x197a7
movq 0x18(%r15), %rcx
addq 0x8(%r15), %rcx
xorl %esi, %esi
leaq 0x2c068(%rip), %rdx     # 0x457de
cmpq $0x4, %rsi
je 0x19799
movb (%rcx,%rsi), %dil
cmpb (%rsi,%rdx), %dil
jne 0x197a7
incq %rsi
cmpq %rsi, %rax
jne 0x19776
cmpb $0x1, (%rax,%rdx)
movl %eax, %ecx
sbbl $-0x1, %ecx
jmp 0x1979e
movl $0x4, %ecx
cmpq %rcx, %rax
je 0x198c4
movq (%rbx), %rax
movq -0x18(%rax), %r12
leaq (%rbx,%r12), %r15
movq %r15, %rdi
callq 0x1d33a
movq 0x10(%rbx,%r12), %rax
testq %rax, %rax
je 0x19806
movq 0x18(%r15), %rcx
addq 0x8(%r15), %rcx
xorl %esi, %esi
leaq 0x2c00e(%rip), %rdx     # 0x457e3
cmpq $0x4, %rsi
je 0x197f8
movb (%rcx,%rsi), %dil
cmpb (%rsi,%rdx), %dil
jne 0x19806
incq %rsi
cmpq %rsi, %rax
jne 0x197d5
cmpb $0x1, (%rax,%rdx)
movl %eax, %ecx
sbbl $-0x1, %ecx
jmp 0x197fd
movl $0x4, %ecx
cmpq %rcx, %rax
je 0x198c4
movq (%rbx), %rax
movq -0x18(%rax), %r12
leaq (%rbx,%r12), %r15
movq %r15, %rdi
callq 0x1d33a
movq 0x10(%rbx,%r12), %rax
testq %rax, %rax
je 0x19861
movq 0x18(%r15), %rcx
addq 0x8(%r15), %rcx
xorl %esi, %esi
leaq 0x2bfb4(%rip), %rdx     # 0x457e8
cmpq $0x6, %rsi
je 0x19857
movb (%rcx,%rsi), %dil
cmpb (%rsi,%rdx), %dil
jne 0x19861
incq %rsi
cmpq %rsi, %rax
jne 0x19834
cmpb $0x1, (%rax,%rdx)
movl %eax, %ecx
sbbl $-0x1, %ecx
jmp 0x1985c
movl $0x6, %ecx
cmpq %rcx, %rax
je 0x198c4
movq (%rbx), %rax
movq -0x18(%rax), %r12
leaq (%rbx,%r12), %r15
movq %r15, %rdi
callq 0x1d33a
movq 0x10(%rbx,%r12), %rax
testq %rax, %rax
je 0x1993e
movq 0x18(%r15), %rcx
addq 0x8(%r15), %rcx
xorl %esi, %esi
leaq 0x2bf5c(%rip), %rdx     # 0x457ef
cmpq $0x6, %rsi
je 0x198ba
movb (%rcx,%rsi), %dil
cmpb (%rsi,%rdx), %dil
jne 0x1993e
incq %rsi
cmpq %rsi, %rax
jne 0x19893
cmpb $0x1, (%rax,%rdx)
movl %eax, %ecx
sbbl $-0x1, %ecx
jmp 0x198bf
movl $0x6, %ecx
cmpq %rcx, %rax
jne 0x1993e
movq 0x58(%r14), %rsi
movl 0x60(%r14), %edx
leaq -0x48(%rbp), %rdi
callq 0x1cef2
cmpl $0x0, 0x70(%r14)
je 0x198fc
movq 0x58(%r14), %rdi
testq %rdi, %rdi
je 0x198f2
callq 0xb350
movq $0x0, 0x58(%r14)
xorl %eax, %eax
movl %eax, 0x60(%r14)
movl %eax, 0x70(%r14)
movq -0x48(%rbp), %rax
movq %rax, 0x58(%r14)
movl -0x30(%rbp), %eax
movl %eax, 0x70(%r14)
movl -0x40(%rbp), %eax
movl %eax, 0x60(%r14)
xorl %eax, %eax
movq %rax, -0x48(%rbp)
movl %eax, -0x30(%rbp)
movl -0x2c(%rbp), %ecx
movl %ecx, 0x74(%r14)
movq (%rbx), %rcx
movq -0x18(%rcx), %rcx
movq 0x10(%rbx,%rcx), %rdx
addq %rdx, 0x8(%rbx,%rcx)
movq %rax, 0x10(%rbx,%rcx)
movl %eax, 0x40(%rbx,%rcx)
jmp 0x19989
movq (%rbx), %rax
leaq -0x98(%rbp), %r15
addq -0x18(%rax), %rbx
movq %r15, -0x10(%r15)
leaq 0x2be9f(%rip), %rsi     # 0x457f6
leaq 0x2bed8(%rip), %rdx     # 0x45836
leaq -0xa8(%rbp), %r14
movq %r14, %rdi
callq 0x1dab2
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1c690
movq -0xa8(%rbp), %rdi
cmpq %r15, %rdi
je 0x19989
callq 0xb280
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq -0x88(%rbp), %rdi
leaq -0x78(%rbp), %rax
jmp 0x199c7
movq %rax, %rbx
movq -0xa8(%rbp), %rdi
cmpq %r15, %rdi
jne 0x199cc
jmp 0x199d1
movq %rax, %rbx
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x199d1
callq 0xb280
movq %rbx, %rdi
callq 0xb4e0
movq %rax, %rbx
movq -0xc8(%rbp), %rdi
cmpq %r13, %rdi
jne 0x199cc
jmp 0x199d1