// File: /workspace/github_c_makefile_star2_O1/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 0xc38d0
movq %rsi, %r15
movq %rdi, %rbx
movq 0x48(%rdi), %rdi
shlq $0x3, %rdi
leaq 0x3f28e(%rip), %r12     # 0x102a2a
movq %r12, %rsi
movl $0x133c, %edx           # imm = 0x133C
callq 0x35ee2
movq %rax, %r14
movl $0x1, %ebp
movl $0x1, %edi
movl $0x38, %esi
movq %r12, %rdx
movl $0xc5e, %ecx            # imm = 0xC5E
callq 0x3601f
movq %rax, %r12
xorps %xmm0, %xmm0
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
movq %rbx, %rsi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xc0212
movq $0x0, (%r14)
movq 0x38(%rbx), %rdx
leaq 0x3ff25(%rip), %rsi     # 0x103718
movq %r15, %rdi
xorl %eax, %eax
callq 0x35c9e
cmpq $0x0, 0x38(%rbx)
je 0xc383c
xorl %r13d, %r13d
movq %r12, %rdi
callq 0xbf542
cmpb $-0x1, %al
jne 0xc3833
movq %rbx, %rdi
movq %r13, %rsi
xorl %edx, %edx
callq 0xbf4d8
testb %al, %al
je 0xc38cb
leaq 0x1(%r13), %rax
movq %rax, (%r14,%rbp,8)
incq %rbp
incq %r13
cmpq 0x38(%rbx), %r13
jb 0xc3807
movq %r12, %rdi
callq 0xc0543
movq 0x48(%rbx), %rdx
leaq 0x3ff3c(%rip), %rsi     # 0x10378b
movq %r15, %rdi
xorl %eax, %eax
callq 0x35c9e
cmpq $0x0, 0x48(%rbx)
je 0xc38a9
movq 0x8d759(%rip), %r13     # 0x150fc0
leaq 0x3ff4f(%rip), %r15     # 0x1037bd
xorl %r12d, %r12d
movq %rbx, %rdi
movq %r12, %rsi
callq 0xc2a64
movq (%r14,%r12,8), %r8
movq %r8, %r9
subq %rax, %r9
jne 0xc3893
incq %r12
cmpq 0x48(%rbx), %r12
jb 0xc3871
jmp 0xc38a9
movq (%r13), %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0xb8d0
jmp 0xc3888
leaq 0x3f17a(%rip), %rsi     # 0x102a2a
movq %r14, %rdi
movl $0x1355, %edx           # imm = 0x1355
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x362a0
callq 0x2bb7f
callq 0x2bbb8