// File: /workspace/github_c_makefile_star2_O0/genometools[P]genometools/src/match/esa-splititv-simple.c
// Function: gt_lcpintervalfindcharchildintv_withcheck
bool gt_lcpintervalfindcharchildintv_withcheck(const GtEncseq *encseq,
                                     GtReadmode readmode,
                                     GtUword totallength,
                                     const ESASuffixptr *suftab,
                                     Simplelcpinterval *itv,
                                     GtUchar cc,
                                     GtUword offset,
                                     GtUword left,
                                     GtUword right)
{
  Simplelcpinterval itv2;
  bool occurs = gt_lcpintervalfindcharchildintv(encseq,
                                          readmode,
                                      totallength,
                                      suftab,
                                      itv,
                                      cc,
                                      offset,left,right);
  bool occurs2 = gt_lcpintervalfindcharchildintv_simple(encseq,
                                                  readmode,
                                              totallength,
                                              suftab,
                                              &itv2,
                                              cc,
                                              offset,left,right);
  if ((occurs && !occurs2) || (!occurs && occurs2))
  {
    fprintf(stderr,"occurs = %s, occurs2 = %s\n",occurs ? "true" : "false",
                                                 occurs2 ? "true" : "false");
    exit(EXIT_FAILURE);
  }
  if (occurs && itv->left != itv2.left)
  {
    fprintf(stderr,"left = " GT_WU " != " GT_WU " = left2\n",
            itv->left,itv2.left);
    exit(EXIT_FAILURE);
  }
  if (occurs && itv->right != itv2.right)
  {
    fprintf(stderr,"right = " GT_WU " != " GT_WU " = right2\n",
            itv->right,itv2.right);
    exit(EXIT_FAILURE);
  }
  return occurs;
}

// Assembly:
subq $0x68, %rsp
movb %r9b, %al
movq 0x80(%rsp), %r9
movq 0x78(%rsp), %r9
movq 0x70(%rsp), %r9
movq %rdi, 0x60(%rsp)
movl %esi, 0x5c(%rsp)
movq %rdx, 0x50(%rsp)
movq %rcx, 0x48(%rsp)
movq %r8, 0x40(%rsp)
movb %al, 0x3f(%rsp)
movq 0x60(%rsp), %rdi
movl 0x5c(%rsp), %esi
movq 0x50(%rsp), %rdx
movq 0x48(%rsp), %rcx
movq 0x40(%rsp), %r8
movb 0x3f(%rsp), %r9b
movq 0x70(%rsp), %r11
movq 0x78(%rsp), %r10
movq 0x80(%rsp), %rax
movzbl %r9b, %r9d
movq %r11, (%rsp)
movq %r10, 0x8(%rsp)
movq %rax, 0x10(%rsp)
callq 0x2f49c0
andb $0x1, %al
movb %al, 0x27(%rsp)
movq 0x60(%rsp), %rdi
movl 0x5c(%rsp), %esi
movq 0x50(%rsp), %rdx
movq 0x48(%rsp), %rcx
movb 0x3f(%rsp), %r9b
movq 0x70(%rsp), %r11
movq 0x78(%rsp), %r10
movq 0x80(%rsp), %rax
leaq 0x28(%rsp), %r8
movzbl %r9b, %r9d
movq %r11, (%rsp)
movq %r10, 0x8(%rsp)
movq %rax, 0x10(%rsp)
callq 0x2f43c0
andb $0x1, %al
movb %al, 0x26(%rsp)
testb $0x1, 0x27(%rsp)
je 0x2f48bb
testb $0x1, 0x26(%rsp)
je 0x2f48c9
testb $0x1, 0x27(%rsp)
jne 0x2f491f
testb $0x1, 0x26(%rsp)
je 0x2f491f
movq 0x3076f8(%rip), %rax    # 0x5fbfc8
movq (%rax), %rdi
movb 0x27(%rsp), %cl
leaq 0x2360d1(%rip), %rdx    # 0x52a9af
leaq 0x247dd8(%rip), %rax    # 0x53c6bd
testb $0x1, %cl
cmovneq %rax, %rdx
movb 0x26(%rsp), %sil
leaq 0x2360b7(%rip), %rcx    # 0x52a9af
leaq 0x247dbe(%rip), %rax    # 0x53c6bd
testb $0x1, %sil
cmovneq %rax, %rcx
leaq 0x2589a6(%rip), %rsi    # 0x54d2b4
movb $0x0, %al
callq 0x33960
movl $0x1, %edi
callq 0x2fd60
testb $0x1, 0x27(%rsp)
je 0x2f4964
movq 0x40(%rsp), %rax
movq (%rax), %rax
cmpq 0x28(%rsp), %rax
je 0x2f4964
movq 0x30768c(%rip), %rax    # 0x5fbfc8
movq (%rax), %rdi
movq 0x40(%rsp), %rax
movq (%rax), %rdx
movq 0x28(%rsp), %rcx
leaq 0x25897c(%rip), %rsi    # 0x54d2cf
movb $0x0, %al
callq 0x33960
movl $0x1, %edi
callq 0x2fd60
testb $0x1, 0x27(%rsp)
je 0x2f49ab
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
cmpq 0x30(%rsp), %rax
je 0x2f49ab
movq 0x307646(%rip), %rax    # 0x5fbfc8
movq (%rax), %rdi
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rdx
movq 0x30(%rsp), %rcx
leaq 0x258950(%rip), %rsi    # 0x54d2ea
movb $0x0, %al
callq 0x33960
movl $0x1, %edi
callq 0x2fd60
movb 0x27(%rsp), %al
andb $0x1, %al
addq $0x68, %rsp
retq
nopw %cs:(%rax,%rax)