// File: /workspace/github_c_makefile_star2_O3/genometools[P]genometools/src/core/encseq.c
// Function: gt_encseq_check_markpos
void gt_encseq_check_markpos(const GtEncseq *encseq)
{
  if (encseq->numofdbsequences > 1UL) {
    GtUword *markpos, totallength, pos, currentseqnum = 0, seqnum;
    GtUchar currentchar;
    GtEncseqReader *esr;

    markpos = encseq2markpositions(encseq);
    totallength = encseq->logicaltotallength;
    esr = gt_encseq_create_reader_with_readmode(encseq, GT_READMODE_FORWARD, 0);

    for (pos=0; pos<totallength; pos++) {
      currentchar = gt_encseq_reader_next_encoded_char(esr);
      if (currentchar == (GtUchar) GT_SEPARATOR)
        currentseqnum++;
      else {
        seqnum = gt_encseq_sep2seqnum(markpos, encseq->numofdbsequences,
                                      totallength, pos);
        if (seqnum != currentseqnum) {
          fprintf(stderr, "pos= "GT_WU" seqnum = "GT_WU" != "GT_WU" = "
                          "currentseqnum\n",
                          pos, seqnum, currentseqnum);
          exit(GT_EXIT_PROGRAMMING_ERROR);
        }
      }
    }
    gt_encseq_reader_delete(esr);
    gt_free(markpos);
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq 0x40(%rdi), %rbp
cmpq $0x2, %rbp
jb 0xc3fe4
movq %rdi, %rbx
leaq -0x8(,%rbp,8), %rdi
leaq 0x3eaa5(%rip), %rsi     # 0x10291a
movl $0xf0e, %edx            # imm = 0xF0E
callq 0x35862
movq %rax, %r14
movq %rbx, %rdi
movl $0x1, %esi
callq 0xc31f4
leaq 0x8(%rsp), %rsi
movq %rax, (%rsp)
movq %rax, %rdi
callq 0xc3262
testb %al, %al
je 0xc3f42
decq %rbp
xorl %r12d, %r12d
xorl %r15d, %r15d
movq 0x8(%rsp), %r13
testq %r12, %r12
je 0xc3ec0
movq %r12, %rdi
jmp 0xc3ee8
movl $0x1, %edi
movl $0x38, %esi
leaq 0x3ea49(%rip), %rdx     # 0x10291a
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
movq %r13, %rcx
callq 0xc12b5
movq 0x8(%rsp), %r13
cmpq 0x10(%rsp), %r13
jae 0xc3f2a
movq %r12, %rdi
callq 0xc054e
cmpb $-0x3, %al
jbe 0xc3ff3
cmpb $-0x1, %al
jne 0xc3f25
cmpq %rbp, %r15
jae 0xc3ff8
movq %r13, (%r14,%r15,8)
incq %r15
incq %r13
jmp 0xc3efa
movq (%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0xc3262
testb %al, %al
jne 0xc3eb1
jmp 0xc3f45
xorl %r12d, %r12d
movq (%rsp), %rdi
callq 0xc381d
movq %r12, %rdi
callq 0xc15cc
movq 0x38(%rbx), %r15
leaq 0x3e9b9(%rip), %rdx     # 0x10291a
movl $0x1, %edi
movl $0x38, %esi
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
testq %r15, %r15
je 0xc3fc8
xorl %r13d, %r13d
xorl %ebp, %ebp
movq %r12, %rdi
callq 0xc054e
cmpb $-0x1, %al
je 0xc3fbd
movq 0x40(%rbx), %rsi
movq %r14, %rdi
movq %r15, %rdx
movq %r13, %rcx
callq 0xc3845
cmpq %rbp, %rax
je 0xc3fc0
jmp 0xc3ffd
incq %rbp
incq %r13
cmpq %r13, %r15
jne 0xc3f98
movq %r12, %rdi
callq 0xc15cc
leaq 0x3e943(%rip), %rsi     # 0x10291a
movq %r14, %rdi
movl $0xfd4, %edx            # imm = 0xFD4
callq 0x35c27
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x2b46c
callq 0x2b4a5
movq 0x8cfbc(%rip), %rcx     # 0x150fc0
movq (%rcx), %rdi
leaq 0x3f389(%rip), %rsi     # 0x103397
movq %r13, %rdx
movq %rax, %rcx
movq %rbp, %r8
xorl %eax, %eax
callq 0xb8d0
movl $0x2, %edi
callq 0xb7b0