// File: /workspace/github_c_makefile_star2_O2/genometools[P]genometools/src/core/encseq.c
// Function: gt_encseq_check_startpositions
void gt_encseq_check_startpositions(const GtEncseq *encseq, GtLogger *logger)
{
  GtUword *startpostable, i, pos = 0;
  GtEncseqReader *esr;
  gt_assert(encseq != NULL);
  startpostable = gt_malloc(sizeof (GtUword)
                        * gt_encseq_num_of_sequences(encseq));
  esr = gt_encseq_create_reader_with_readmode(encseq, GT_READMODE_FORWARD, 0);
  startpostable[pos++] = 0;
  gt_logger_log(logger,
                "sequential iteration of sequence of length "GT_WU" ...",
                gt_encseq_total_length(encseq));
  for (i = 0; i < gt_encseq_total_length(encseq); i++) {
    if (gt_encseq_reader_next_encoded_char(esr) == (GtUchar) GT_SEPARATOR) {
      gt_assert(gt_encseq_position_is_separator(encseq, i,
                                                GT_READMODE_FORWARD));
      startpostable[pos++] = i+1;
    }
  }
  gt_encseq_reader_delete(esr);
  gt_logger_log(logger, "checking start posititions over "GT_WU" sequences ...",
                 gt_encseq_num_of_sequences(encseq));
  for (i = 0; i < gt_encseq_num_of_sequences(encseq); i++) {
    GtUword ssp1 = gt_encseq_seqstartpos(encseq, i),
                  ssp2 = startpostable[i];
    if (ssp1 != ssp2) {
      fprintf(stderr, "startpos of seq "GT_WU", (wrong) "GT_WU" != "GT_WU" "
                      " (correct)! difference "GT_WU"\n", i,
                      ssp1, ssp2, ssp2-ssp1);
    }
  }
  gt_free(startpostable);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
testq %rdi, %rdi
je 0xa7a0c
movq %rsi, %r15
movq %rdi, %rbx
movq 0x48(%rdi), %rdi
shlq $0x3, %rdi
leaq 0x44289(%rip), %rsi     # 0xebb9a
movl $0x133c, %edx           # imm = 0x133C
callq 0xccb0
movq %rax, %r14
xorl %r12d, %r12d
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0xa3c4c
movq %rax, %r13
andq $0x0, (%r14)
movq 0x38(%rbx), %rdx
leaq 0x44f25(%rip), %rsi     # 0xec864
movq %r15, %rdi
xorl %eax, %eax
callq 0xc9c1
pushq $0x1
popq %rbp
cmpq 0x38(%rbx), %r12
jae 0xa7984
movq %r13, %rdi
callq 0xa2941
cmpb $-0x1, %al
je 0xa7963
incq %r12
jmp 0xa794c
movq %rbx, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0xa287b
testb %al, %al
je 0xa7a3a
incq %r12
movq %r12, (%r14,%rbp,8)
incq %rbp
jmp 0xa794c
movq %r13, %rdi
callq 0xa3c9a
movq 0x48(%rbx), %rdx
leaq 0x44f40(%rip), %rsi     # 0xec8d7
movq %r15, %rdi
xorl %eax, %eax
callq 0xc9c1
movq 0x86610(%rip), %r13     # 0x12dfb8
leaq 0x44f5a(%rip), %r15     # 0xec909
xorl %r12d, %r12d
cmpq 0x48(%rbx), %r12
jae 0xa79ea
movq %rbx, %rdi
movq %r12, %rsi
callq 0xa6788
movq (%r14,%r12,8), %r8
movq %r8, %r9
subq %rax, %r9
jne 0xa79d4
incq %r12
jmp 0xa79b2
movq (%r13), %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0xb8c0
jmp 0xa79cf
leaq 0x441a9(%rip), %rsi     # 0xebb9a
movq %r14, %rdi
movl $0x1355, %edx           # imm = 0x1355
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xd249
movq 0x865a5(%rip), %rax     # 0x12dfb8
movq (%rax), %rdi
leaq 0x22649(%rip), %rsi     # 0xca066
leaq 0x448ac(%rip), %rdx     # 0xec2d0
leaq 0x44e1a(%rip), %rcx     # 0xec845
leaq 0x44168(%rip), %r8      # 0xebb9a
movl $0x133a, %r9d           # imm = 0x133A
jmp 0xa7a66
movq 0x86577(%rip), %rax     # 0x12dfb8
movq (%rax), %rdi
leaq 0x2261b(%rip), %rsi     # 0xca066
leaq 0x44e45(%rip), %rdx     # 0xec897
leaq 0x44dec(%rip), %rcx     # 0xec845
leaq 0x4413a(%rip), %r8      # 0xebb9a
movl $0x1345, %r9d           # imm = 0x1345
xorl %eax, %eax
callq 0xb8c0
callq 0xb300