// File: /workspace/github_c_makefile_star2_O0/genometools[P]genometools/src/core/csvline_reader.c
// Function: gt_csvline_reader_dist_check
void gt_csvline_reader_dist_check(const GtCsvlineReader *csvline_reader,
                                  const char *string,GtUword len)
{
  GtUword idx, numchars = 0, dist_tab[UCHAR_MAX+1] = {0};

  for (idx = 0; idx < len; idx++)
  {
    dist_tab[(int) string[idx]]++;
  }
  for (idx = 0; idx <= UCHAR_MAX; idx++)
  {
    gt_assert(dist_tab[idx] == csvline_reader->dist.charcount[idx]);
    if (csvline_reader->dist.charcount[idx] > 0)
    {
      numchars++;
    }
  }
  gt_assert(numchars == csvline_reader->dist.alphabet.nextfreechar);
  for (idx = 0; idx < numchars; idx++)
  {
    char cc = csvline_reader->dist.alphabet.spacechar[idx];
    gt_assert(csvline_reader->dist.charcount[(int) cc] > 0);
  }
}

// Assembly:
subq $0x838, %rsp            # imm = 0x838
movq %rdi, 0x830(%rsp)
movq %rsi, 0x828(%rsp)
movq %rdx, 0x820(%rsp)
movq $0x0, 0x810(%rsp)
leaq 0x10(%rsp), %rdi
xorl %esi, %esi
movl $0x800, %edx            # imm = 0x800
callq 0x2f4c0
movq $0x0, 0x818(%rsp)
movq 0x818(%rsp), %rax
cmpq 0x820(%rsp), %rax
jae 0x11dd44
movq 0x828(%rsp), %rax
movq 0x818(%rsp), %rcx
movsbl (%rax,%rcx), %eax
cltq
movq 0x10(%rsp,%rax,8), %rcx
addq $0x1, %rcx
movq %rcx, 0x10(%rsp,%rax,8)
movq 0x818(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x818(%rsp)
jmp 0x11dcf8
movq $0x0, 0x818(%rsp)
cmpq $0xff, 0x818(%rsp)
ja 0x11de0f
jmp 0x11dd64
movq 0x818(%rsp), %rax
movq 0x10(%rsp,%rax,8), %rax
movq 0x830(%rsp), %rcx
movq 0x48(%rcx), %rcx
movq 0x818(%rsp), %rdx
cmpq (%rcx,%rdx,8), %rax
je 0x11ddc3
movq 0x4de236(%rip), %rax    # 0x5fbfc8
movq (%rax), %rdi
leaq 0x3dd801(%rip), %rsi    # 0x4fb59d
leaq 0x3e4035(%rip), %rdx    # 0x501dd8
leaq 0x3e4063(%rip), %rcx    # 0x501e0d
leaq 0x3e3d4b(%rip), %r8     # 0x501afc
movl $0x101, %r9d            # imm = 0x101
movb $0x0, %al
callq 0x33960
callq 0x2f830
jmp 0x11ddc5
movq 0x830(%rsp), %rax
movq 0x48(%rax), %rax
movq 0x818(%rsp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jbe 0x11ddf4
movq 0x810(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x810(%rsp)
jmp 0x11ddf6
movq 0x818(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x818(%rsp)
jmp 0x11dd50
jmp 0x11de11
movq 0x810(%rsp), %rax
movq 0x830(%rsp), %rcx
cmpq 0x40(%rcx), %rax
je 0x11de5f
movq 0x4de19a(%rip), %rax    # 0x5fbfc8
movq (%rax), %rdi
leaq 0x3dd765(%rip), %rsi    # 0x4fb59d
leaq 0x3e3feb(%rip), %rdx    # 0x501e2a
leaq 0x3e3fc7(%rip), %rcx    # 0x501e0d
leaq 0x3e3caf(%rip), %r8     # 0x501afc
movl $0x107, %r9d            # imm = 0x107
movb $0x0, %al
callq 0x33960
callq 0x2f830
jmp 0x11de61
movq $0x0, 0x818(%rsp)
movq 0x818(%rsp), %rax
cmpq 0x810(%rsp), %rax
jae 0x11df0e
movq 0x830(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x818(%rsp), %rcx
movb (%rax,%rcx), %al
movb %al, 0xf(%rsp)
movq 0x830(%rsp), %rax
movq 0x48(%rax), %rax
movsbl 0xf(%rsp), %ecx
movslq %ecx, %rcx
cmpq $0x0, (%rax,%rcx,8)
ja 0x11def1
movq 0x4de108(%rip), %rax    # 0x5fbfc8
movq (%rax), %rdi
leaq 0x3dd6d3(%rip), %rsi    # 0x4fb59d
leaq 0x3e3f90(%rip), %rdx    # 0x501e61
leaq 0x3e3f35(%rip), %rcx    # 0x501e0d
leaq 0x3e3c1d(%rip), %r8     # 0x501afc
movl $0x10b, %r9d            # imm = 0x10B
movb $0x0, %al
callq 0x33960
callq 0x2f830
jmp 0x11def3
jmp 0x11def5
movq 0x818(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x818(%rsp)
jmp 0x11de6d
addq $0x838, %rsp            # imm = 0x838
retq
nopw %cs:(%rax,%rax)