// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x68, %rsp
movq %rdi, 0x60(%rsp)
movq %rsi, 0x58(%rsp)
movq $0x0, 0x40(%rsp)
cmpq $0x0, 0x60(%rsp)
jne 0x11c417
movq 0x97bf2(%rip), %rax     # 0x1b3fd8
movq (%rax), %rdi
leaq 0x41c76(%rip), %rsi     # 0x15e066
leaq 0x6999d(%rip), %rdx     # 0x185d94
leaq 0x69f18(%rip), %rcx     # 0x186316
leaq 0x69259(%rip), %r8      # 0x18565e
movl $0x133a, %r9d           # imm = 0x133A
movb $0x0, %al
callq 0xb890
callq 0xb2e0
jmp 0x11c419
movq 0x60(%rsp), %rdi
callq 0x113f30
movq %rax, %rdi
shlq $0x3, %rdi
leaq 0x6922d(%rip), %rsi     # 0x18565e
movl $0x133c, %edx           # imm = 0x133C
callq 0xd2e0
movq %rax, 0x50(%rsp)
movq 0x60(%rsp), %rdi
xorl %esi, %esi
xorl %eax, %eax
movl %eax, %edx
callq 0x116560
movq %rax, 0x38(%rsp)
movq 0x50(%rsp), %rax
movq 0x40(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0x40(%rsp)
movq $0x0, (%rax,%rcx,8)
movq 0x58(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x60(%rsp), %rdi
callq 0x113ee0
movq 0x20(%rsp), %rdi
movq %rax, %rdx
leaq 0x69e9f(%rip), %rsi     # 0x186335
movb $0x0, %al
callq 0xcec0
movq $0x0, 0x48(%rsp)
movq 0x48(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x60(%rsp), %rdi
callq 0x113ee0
movq %rax, %rcx
movq 0x18(%rsp), %rax
cmpq %rcx, %rax
jae 0x11c568
movq 0x38(%rsp), %rdi
callq 0x115010
movzbl %al, %eax
cmpl $0xff, %eax
jne 0x11c553
jmp 0x11c4e1
movq 0x60(%rsp), %rdi
movq 0x48(%rsp), %rsi
xorl %edx, %edx
callq 0x114e80
testb $0x1, %al
jne 0x11c52e
movq 0x97adb(%rip), %rax     # 0x1b3fd8
movq (%rax), %rdi
leaq 0x41b5f(%rip), %rsi     # 0x15e066
leaq 0x69e5a(%rip), %rdx     # 0x186368
leaq 0x69e01(%rip), %rcx     # 0x186316
leaq 0x69142(%rip), %r8      # 0x18565e
movl $0x1345, %r9d           # imm = 0x1345
movb $0x0, %al
callq 0xb890
callq 0xb2e0
jmp 0x11c530
movq 0x48(%rsp), %rdx
addq $0x1, %rdx
movq 0x50(%rsp), %rax
movq 0x40(%rsp), %rcx
movq %rcx, %rsi
addq $0x1, %rsi
movq %rsi, 0x40(%rsp)
movq %rdx, (%rax,%rcx,8)
jmp 0x11c555
movq 0x48(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x48(%rsp)
jmp 0x11c4a6
movq 0x38(%rsp), %rdi
callq 0x1165d0
movq 0x58(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x60(%rsp), %rdi
callq 0x113f30
movq 0x10(%rsp), %rdi
movq %rax, %rdx
leaq 0x69e13(%rip), %rsi     # 0x1863a8
movb $0x0, %al
callq 0xcec0
movq $0x0, 0x48(%rsp)
movq 0x48(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x60(%rsp), %rdi
callq 0x113f30
movq %rax, %rcx
movq 0x8(%rsp), %rax
cmpq %rcx, %rax
jae 0x11c63f
movq 0x60(%rsp), %rdi
movq 0x48(%rsp), %rsi
callq 0x11a710
movq %rax, 0x30(%rsp)
movq 0x50(%rsp), %rax
movq 0x48(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, 0x28(%rsp)
movq 0x30(%rsp), %rax
cmpq 0x28(%rsp), %rax
je 0x11c62a
movq 0x979d8(%rip), %rax     # 0x1b3fd8
movq (%rax), %rdi
movq 0x48(%rsp), %rdx
movq 0x30(%rsp), %rcx
movq 0x28(%rsp), %r8
movq 0x28(%rsp), %r9
subq 0x30(%rsp), %r9
leaq 0x69db7(%rip), %rsi     # 0x1863da
movb $0x0, %al
callq 0xb890
jmp 0x11c62c
movq 0x48(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x48(%rsp)
jmp 0x11c5a5
movq 0x50(%rsp), %rdi
leaq 0x69013(%rip), %rsi     # 0x18565e
movl $0x1355, %edx           # imm = 0x1355
callq 0xdab0
addq $0x68, %rsp
retq
nopw (%rax,%rax)