// File: /workspace/github_cpp_makefile_star2_O3/rfotino[P]consolite-compiler/src/parser.cpp
// Function: Parser::getUnusedLabel(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
std::string Parser::getUnusedLabel(const std::string& label) {
  if (!this->hasLabel(label)) {
    this->addLabel(label);
    return label;
  }
  int i = 1;
  while (this->hasLabel(label + std::to_string(i))) {
    i++;
  }
  this->addLabel(label + std::to_string(i));
  return label + std::to_string(i);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %rbx
leaq 0x258(%rsi), %r12
movq %r12, %rdi
movq %rdx, %rsi
callq 0xcb6c
testq %rax, %rax
je 0xa8eb
movq %r15, 0x50(%rsp)
movq %rbx, 0x48(%rsp)
movl $0x1, %ebp
leaq 0x28(%rsp), %r13
movl $0xd1b71759, %r15d      # imm = 0xD1B71759
movl $0x1, %ebx
cmpl $0xa, %ebp
jb 0xa7cc
movl $0x4, %ebx
movl %ebp, %eax
cmpl $0x63, %eax
jbe 0xa7c5
cmpl $0x3e7, %eax            # imm = 0x3E7
jbe 0xa7ca
cmpl $0x2710, %eax           # imm = 0x2710
jb 0xa7cc
movl %eax, %ecx
imulq %r15, %rcx
shrq $0x2d, %rcx
addl $0x4, %ebx
cmpl $0x1869f, %eax          # imm = 0x1869F
movl %ecx, %eax
ja 0xa797
addl $-0x3, %ebx
jmp 0xa7cc
addl $-0x2, %ebx
jmp 0xa7cc
decl %ebx
movl %ebx, %esi
leaq 0x38(%rsp), %rax
movq %rax, 0x28(%rsp)
movq %r13, %rdi
movl $0x2d, %edx
callq 0x7360
movq 0x28(%rsp), %rdi
movl %ebx, %esi
movl %ebp, %edx
callq 0xbcea
movq (%r14), %rcx
movq 0x8(%r14), %r8
movq %r13, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x7320
leaq 0x18(%rsp), %rsi
movq %rsi, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xa82e
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xa834
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %r12, %rdi
leaq 0x8(%rsp), %rsi
callq 0xcb6c
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xa878
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x72c0
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xa894
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x72c0
testq %rbx, %rbx
je 0xa8a0
incl %ebp
jmp 0xa786
movl $0x1, %r15d
cmpl $0xa, %ebp
jb 0xa91d
movl $0x4, %r15d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebp, %ecx
cmpl $0x63, %ecx
jbe 0xa914
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xa91a
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xa91d
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r15d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xa8b8
addl $-0x3, %r15d
jmp 0xa91d
movq %r15, %rdi
movq %r14, %rsi
callq 0xa6f0
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
movq (%r14), %rsi
movq 0x8(%r14), %rdx
addq %rsi, %rdx
movq %rbx, %rdi
callq 0xbd58
jmp 0xaad2
addl $-0x2, %r15d
jmp 0xa91d
decl %r15d
movl %r15d, %esi
leaq 0x28(%rsp), %rbx
leaq 0x38(%rsp), %rax
movq %rax, (%rbx)
movq %rbx, %rdi
movl $0x2d, %edx
callq 0x7360
movq (%rbx), %rdi
movl %r15d, %esi
movl %ebp, %edx
callq 0xbcea
movq (%r14), %rcx
movq 0x8(%r14), %r8
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x7320
leaq 0x18(%rsp), %rbx
movq %rbx, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
movq 0x50(%rsp), %rdi
je 0xa987
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xa98d
movups (%rcx), %xmm0
movups %xmm0, (%rbx)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %rsi
movq %rdx, 0x8(%rsi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0xa6f0
movq 0x8(%rsp), %rdi
cmpq %rbx, %rdi
je 0xa9c5
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x72c0
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xa9e1
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x72c0
movl $0x1, %r15d
cmpl $0xa, %ebp
jb 0xaa35
movl $0x4, %r15d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebp, %ecx
cmpl $0x63, %ecx
jbe 0xaa2c
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0xaa32
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0xaa35
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r15d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0xa9f9
addl $-0x3, %r15d
jmp 0xaa35
addl $-0x2, %r15d
jmp 0xaa35
decl %r15d
movl %r15d, %esi
leaq 0x8(%rsp), %rbx
leaq 0x18(%rsp), %rax
movq %rax, (%rbx)
movq %rbx, %rdi
movl $0x2d, %edx
callq 0x7360
movq (%rbx), %rdi
movl %r15d, %esi
movl %ebp, %edx
callq 0xbcea
movq (%r14), %rcx
movq 0x8(%r14), %r8
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x7320
movq 0x48(%rsp), %rbx
leaq 0x10(%rbx), %rdx
movq %rdx, (%rbx)
movq (%rax), %rsi
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rsi
je 0xaa99
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0xaa9f
movups (%rcx), %xmm0
movups %xmm0, (%rdx)
movq 0x8(%rax), %rdx
movq %rdx, 0x8(%rbx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xaad2
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x72c0
movq %rbx, %rax
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xab51
movq 0x18(%rsp), %rsi
jmp 0xab49
movq %rbx, %rcx
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %rcx, %rdi
jne 0xab28
jmp 0xab35
jmp 0xab11
movq %rax, %rbx
jmp 0xab35
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xab35
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x72c0
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xab51
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x72c0
movq %rbx, %rdi
callq 0x74f0
nop