// File: /workspace/github_c_makefile_star2_O3/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 0xc4918
movq %rsi, %r15
movq %rdi, %rbx
movq 0x48(%rdi), %rdi
shlq $0x3, %rdi
leaq 0x3e137(%rip), %r12     # 0x10291a
movq %r12, %rsi
movl $0x133c, %edx           # imm = 0x133C
callq 0x35862
movq %rax, %r14
movl $0x1, %ebp
movl $0x1, %edi
movl $0x38, %esi
movq %r12, %rdx
movl $0xc5e, %ecx            # imm = 0xC5E
callq 0x359a6
movq %rax, %r12
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
movq %rbx, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xc12b5
movq $0x0, (%r14)
movq 0x38(%rbx), %rdx
leaq 0x3edaa(%rip), %rsi     # 0x1035e4
movq %r15, %rdi
xorl %eax, %eax
callq 0x3561d
cmpq $0x0, 0x38(%rbx)
je 0xc4884
xorl %r13d, %r13d
movq %r12, %rdi
callq 0xc054e
cmpb $-0x1, %al
je 0xc485f
incq %r13
jmp 0xc487e
movq %rbx, %rdi
movq %r13, %rsi
xorl %edx, %edx
callq 0xc04e4
testb %al, %al
je 0xc4913
incq %r13
movq %r13, (%r14,%rbp,8)
incq %rbp
cmpq 0x38(%rbx), %r13
jb 0xc484e
movq %r12, %rdi
callq 0xc15cc
movq 0x48(%rbx), %rdx
leaq 0x3edc0(%rip), %rsi     # 0x103657
movq %r15, %rdi
xorl %eax, %eax
callq 0x3561d
cmpq $0x0, 0x48(%rbx)
je 0xc48f1
movq 0x8c711(%rip), %r13     # 0x150fc0
leaq 0x3edd3(%rip), %r15     # 0x103689
xorl %r12d, %r12d
movq %rbx, %rdi
movq %r12, %rsi
callq 0xc3ab6
movq (%r14,%r12,8), %r8
movq %r8, %r9
subq %rax, %r9
jne 0xc48db
incq %r12
cmpq 0x48(%rbx), %r12
jb 0xc48b9
jmp 0xc48f1
movq (%r13), %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0xb8d0
jmp 0xc48d0
leaq 0x3e022(%rip), %rsi     # 0x10291a
movq %r14, %rdi
movl $0x1355, %edx           # imm = 0x1355
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x35c27
callq 0x2b8d9
callq 0x2b912