// File: /workspace/github_c_makefile_star2_O1/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 0xc2fa1
movq %rdi, %rbx
leaq -0x8(,%rbp,8), %rdi
leaq 0x3fbf8(%rip), %rsi     # 0x102a2a
movl $0xf0e, %edx            # imm = 0xF0E
callq 0x35ee2
movq %rax, %r14
movq %rbx, %rdi
movl $0x1, %esi
callq 0xc215d
leaq 0x8(%rsp), %rsi
movq %rax, (%rsp)
movq %rax, %rdi
callq 0xc21d5
testb %al, %al
je 0xc2eff
decq %rbp
xorl %r12d, %r12d
xorl %r15d, %r15d
movq 0x8(%rsp), %r13
testq %r12, %r12
je 0xc2e7d
movq %r12, %rdi
jmp 0xc2ea5
movl $0x1, %edi
movl $0x38, %esi
leaq 0x3fb9c(%rip), %rdx     # 0x102a2a
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
movq %r13, %rcx
callq 0xc0212
movq 0x8(%rsp), %r13
cmpq 0x10(%rsp), %r13
jae 0xc2ee7
movq %r12, %rdi
callq 0xbf542
cmpb $-0x3, %al
jbe 0xc2fb0
cmpb $-0x1, %al
jne 0xc2ee2
cmpq %rbp, %r15
jae 0xc2fb5
movq %r13, (%r14,%r15,8)
incq %r15
incq %r13
jmp 0xc2eb7
movq (%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0xc21d5
testb %al, %al
jne 0xc2e6e
jmp 0xc2f02
xorl %r12d, %r12d
movq (%rsp), %rdi
callq 0xc27cc
movq %r12, %rdi
callq 0xc0543
movq 0x38(%rbx), %r15
leaq 0x3fb0c(%rip), %rdx     # 0x102a2a
movl $0x1, %edi
movl $0x38, %esi
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
testq %r15, %r15
je 0xc2f85
xorl %r13d, %r13d
xorl %ebp, %ebp
movq %r12, %rdi
callq 0xbf542
cmpb $-0x1, %al
je 0xc2f7a
movq 0x40(%rbx), %rsi
movq %r14, %rdi
movq %r15, %rdx
movq %r13, %rcx
callq 0xc27f4
cmpq %rbp, %rax
je 0xc2f7d
jmp 0xc2fba
incq %rbp
incq %r13
cmpq %r13, %r15
jne 0xc2f55
movq %r12, %rdi
callq 0xc0543
leaq 0x3fa96(%rip), %rsi     # 0x102a2a
movq %r14, %rdi
movl $0xfd4, %edx            # imm = 0xFD4
callq 0x362a0
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x2b712
callq 0x2b74b
movq 0x8dfff(%rip), %rcx     # 0x150fc0
movq (%rcx), %rdi
leaq 0x40500(%rip), %rsi     # 0x1034cb
movq %r13, %rdx
movq %rax, %rcx
movq %rbp, %r8
xorl %eax, %eax
callq 0xb8d0
movl $0x2, %edi
callq 0xb7b0