// File: /workspace/github_c_makefile_star2_O0/genometools[P]genometools/src/match/ft-eoplist.c
// Function: gt_eoplist_verify
void gt_eoplist_verify(const GtEoplist *eoplist,
                       GtEoplistReader *eoplist_reader,
                       GtUword edist)
{
  GtCigarOp co;
  GtUword sumulen = 0, sumvlen = 0, sumdist = 0;
  const bool distinguish_mismatch_match = true;

  gt_assert(eoplist != NULL);
  gt_eoplist_reader_reset(eoplist_reader,eoplist,true);
  if (eoplist->useq == NULL)
  {
    gt_assert(eoplist->vseq == NULL && distinguish_mismatch_match);
  } else
  {
    gt_assert(eoplist->vseq != NULL);
  }
  while (gt_eoplist_reader_next_cigar(&co,eoplist_reader,
                                      distinguish_mismatch_match))
  {
    if (co.eoptype == GtDeletionOp)
    {
      sumulen += co.iteration;
      sumdist += co.iteration;
    } else
    {
      if (co.eoptype == GtInsertionOp)
      {
        sumvlen += co.iteration;
        sumdist += co.iteration;
      } else
      {
        if (co.eoptype == GtMismatchOp)
        {
          sumdist += co.iteration;
        }
        if (eoplist->useq != NULL)
        {
          GtUword idx;

          for (idx = 0; idx < co.iteration; idx++)
          {
            const GtUchar a = eoplist->useq[sumulen+idx],
                          b = eoplist->vseq[sumvlen+idx];
            if (a == b && !GT_ISSPECIAL(a))
            {
              gt_assert(co.eoptype == GtMatchOp);
            } else
            {
              gt_assert(!distinguish_mismatch_match ||
                        co.eoptype == GtMismatchOp);
            }
            if (!distinguish_mismatch_match && (a != b || GT_ISSPECIAL(a)))
            {
              sumdist++;
            }
          }
        }
        sumulen += co.iteration;
        sumvlen += co.iteration;
      }
    }
  }
  if (eoplist->ulen != sumulen)
  {
    fprintf(stderr,"ulen = " GT_WU " != " GT_WU " = sumulen\n",
            eoplist->ulen,sumulen);
    exit(GT_EXIT_PROGRAMMING_ERROR);
  }
  if (eoplist->vlen != sumvlen)
  {
    fprintf(stderr,"vlen = " GT_WU " != " GT_WU " = sumvlen\n",
            eoplist->vlen,sumvlen);
    exit(GT_EXIT_PROGRAMMING_ERROR);
  }
  if (edist != sumdist)
  {
    fprintf(stderr,"edist = " GT_WU " != " GT_WU " = sumdist\n",
            edist,sumdist);
    exit(GT_EXIT_PROGRAMMING_ERROR);
  }
}

// Assembly:
subq $0x58, %rsp
movq %rdi, 0x50(%rsp)
movq %rsi, 0x48(%rsp)
movq %rdx, 0x40(%rsp)
movq $0x0, 0x28(%rsp)
movq $0x0, 0x20(%rsp)
movq $0x0, 0x18(%rsp)
movb $0x1, 0x17(%rsp)
cmpq $0x0, 0x50(%rsp)
jne 0x4c6283
movq 0x175d4e(%rip), %rax    # 0x63bfa0
movq (%rax), %rdi
leaq 0x4fdb7(%rip), %rsi     # 0x516013
leaq 0x80c70(%rip), %rdx     # 0x546ed3
leaq 0xf264b(%rip), %rcx     # 0x5b88b5
leaq 0xf20c7(%rip), %r8      # 0x5b8338
movl $0x4e3, %r9d            # imm = 0x4E3
movb $0x0, %al
callq 0x199f0
callq 0x19370
jmp 0x4c6285
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movl $0x1, %edx
callq 0x4c1b40
movq 0x50(%rsp), %rax
cmpq $0x0, 0x28(%rax)
jne 0x4c62ef
jmp 0x4c62a7
movq 0x50(%rsp), %rax
cmpq $0x0, 0x30(%rax)
je 0x4c62eb
movq 0x175ce6(%rip), %rax    # 0x63bfa0
movq (%rax), %rdi
leaq 0x4fd4f(%rip), %rsi     # 0x516013
leaq 0xf25fc(%rip), %rdx     # 0x5b88c7
leaq 0xf25e3(%rip), %rcx     # 0x5b88b5
leaq 0xf205f(%rip), %r8      # 0x5b8338
movl $0x4e7, %r9d            # imm = 0x4E7
movb $0x0, %al
callq 0x199f0
callq 0x19370
jmp 0x4c62ed
jmp 0x4c6339
jmp 0x4c62f1
movq 0x50(%rsp), %rax
cmpq $0x0, 0x30(%rax)
jne 0x4c6335
movq 0x175c9c(%rip), %rax    # 0x63bfa0
movq (%rax), %rdi
leaq 0x4fd05(%rip), %rsi     # 0x516013
leaq 0xf25e6(%rip), %rdx     # 0x5b88fb
leaq 0xf2599(%rip), %rcx     # 0x5b88b5
leaq 0xf2015(%rip), %r8      # 0x5b8338
movl $0x4ea, %r9d            # imm = 0x4EA
movb $0x0, %al
callq 0x199f0
callq 0x19370
jmp 0x4c6337
jmp 0x4c6339
jmp 0x4c633b
movq 0x48(%rsp), %rsi
leaq 0x30(%rsp), %rdi
movl $0x1, %edx
callq 0x4c1c90
testb $0x1, %al
jne 0x4c6358
jmp 0x4c64ff
cmpl $0x0, 0x30(%rsp)
jne 0x4c6382
movq 0x38(%rsp), %rax
addq 0x28(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x38(%rsp), %rax
addq 0x18(%rsp), %rax
movq %rax, 0x18(%rsp)
jmp 0x4c64fa
cmpl $0x1, 0x30(%rsp)
jne 0x4c63ac
movq 0x38(%rsp), %rax
addq 0x20(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x38(%rsp), %rax
addq 0x18(%rsp), %rax
movq %rax, 0x18(%rsp)
jmp 0x4c64f8
cmpl $0x2, 0x30(%rsp)
jne 0x4c63c2
movq 0x38(%rsp), %rax
addq 0x18(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x50(%rsp), %rax
cmpq $0x0, 0x28(%rax)
je 0x4c64da
movq $0x0, 0x8(%rsp)
movq 0x8(%rsp), %rax
cmpq 0x38(%rsp), %rax
jae 0x4c64d8
movq 0x50(%rsp), %rax
movq 0x28(%rax), %rax
movq 0x28(%rsp), %rcx
addq 0x8(%rsp), %rcx
movb (%rax,%rcx), %al
movb %al, 0x7(%rsp)
movq 0x50(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x20(%rsp), %rcx
addq 0x8(%rsp), %rcx
movb (%rax,%rcx), %al
movb %al, 0x6(%rsp)
movzbl 0x7(%rsp), %eax
movzbl 0x6(%rsp), %ecx
cmpl %ecx, %eax
jne 0x4c647e
movzbl 0x7(%rsp), %eax
cmpl $0xfe, %eax
jge 0x4c647e
jmp 0x4c643b
cmpl $0x3, 0x30(%rsp)
je 0x4c647a
movq 0x175b57(%rip), %rax    # 0x63bfa0
movq (%rax), %rdi
leaq 0x4fbc0(%rip), %rsi     # 0x516013
leaq 0xf24b7(%rip), %rdx     # 0x5b8911
leaq 0xf2454(%rip), %rcx     # 0x5b88b5
leaq 0xf1ed0(%rip), %r8      # 0x5b8338
movl $0x509, %r9d            # imm = 0x509
movb $0x0, %al
callq 0x199f0
callq 0x19370
jmp 0x4c647c
jmp 0x4c64c3
jmp 0x4c6480
cmpl $0x2, 0x30(%rsp)
je 0x4c64bf
movq 0x175b12(%rip), %rax    # 0x63bfa0
movq (%rax), %rdi
leaq 0x4fb7b(%rip), %rsi     # 0x516013
leaq 0xf248a(%rip), %rdx     # 0x5b8929
leaq 0xf240f(%rip), %rcx     # 0x5b88b5
leaq 0xf1e8b(%rip), %r8      # 0x5b8338
movl $0x50d, %r9d            # imm = 0x50D
movb $0x0, %al
callq 0x199f0
callq 0x19370
jmp 0x4c64c1
jmp 0x4c64c3
jmp 0x4c64c5
movq 0x8(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x8(%rsp)
jmp 0x4c63db
jmp 0x4c64da
movq 0x38(%rsp), %rax
addq 0x28(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x38(%rsp), %rax
addq 0x20(%rsp), %rax
movq %rax, 0x20(%rsp)
jmp 0x4c64fa
jmp 0x4c633b
movq 0x50(%rsp), %rax
movq 0x40(%rax), %rax
cmpq 0x28(%rsp), %rax
je 0x4c653f
movq 0x175a8a(%rip), %rax    # 0x63bfa0
movq (%rax), %rdi
movq 0x50(%rsp), %rax
movq 0x40(%rax), %rdx
movq 0x28(%rsp), %rcx
leaq 0xf2435(%rip), %rsi     # 0x5b8963
movb $0x0, %al
callq 0x199f0
movl $0x2, %edi
callq 0x19890
movq 0x50(%rsp), %rax
movq 0x50(%rax), %rax
cmpq 0x20(%rsp), %rax
je 0x4c657f
movq 0x175a4a(%rip), %rax    # 0x63bfa0
movq (%rax), %rdi
movq 0x50(%rsp), %rax
movq 0x50(%rax), %rdx
movq 0x20(%rsp), %rcx
leaq 0xf2412(%rip), %rsi     # 0x5b8980
movb $0x0, %al
callq 0x199f0
movl $0x2, %edi
callq 0x19890
movq 0x40(%rsp), %rax
cmpq 0x18(%rsp), %rax
je 0x4c65b7
movq 0x175a0e(%rip), %rax    # 0x63bfa0
movq (%rax), %rdi
movq 0x40(%rsp), %rdx
movq 0x18(%rsp), %rcx
leaq 0xf23f7(%rip), %rsi     # 0x5b899d
movb $0x0, %al
callq 0x199f0
movl $0x2, %edi
callq 0x19890
addq $0x58, %rsp
retq
nopl (%rax)