// File: /workspace/github_c_makefile_star2_O2/genometools[P]genometools/src/match/test-mappedstr.c
// Function: gt_verifymappedstr
int gt_verifymappedstr(const GtEncseq *encseq,
                       unsigned int prefixlength,
                       GtError *err)
{
  unsigned int numofchars;
  GtArrayGtCodetype codeliststream;
  bool haserr = false;

  gt_error_check(err);
  numofchars = gt_alphabet_num_of_chars(gt_encseq_alphabet(encseq));
  GT_INITARRAY(&codeliststream,GtCodetype);
  if (getfastastreamkmers(gt_encseq_filenames(encseq),
                          numofchars,
                          prefixlength,
                          gt_alphabet_symbolmap(
                                gt_encseq_alphabet(encseq)),
                          false,
                          &codeliststream,
                          err) != 0)
  {
    haserr = true;
  }
  if (!haserr)
  {
    if (verifycodelists(encseq,
                        prefixlength,
                        numofchars,
                        &codeliststream,
                        err) != 0)
    {
      haserr = true;
    }
  }
  GT_FREEARRAY(&codeliststream,GtCodetype);
  return haserr ? -1 : 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xf8, %rsp
movq %rdx, %r14
movl %esi, %r12d
movq %rdi, 0x20(%rsp)
testq %rdx, %rdx
je 0x1b3715
movq %r14, %rdi
callq 0x89eb7
testb %al, %al
jne 0x1b3b1d
movq 0x20(%rsp), %r13
movq %r13, %rdi
callq 0x754dd
movq %rax, %rdi
callq 0x56c8e
movl %eax, %r15d
movq %r13, %rdi
callq 0x75d3b
movq %rax, %rbx
movq %r13, %rdi
callq 0x754dd
movq %rax, %rdi
callq 0x56c48
movq $0x0, 0x10(%rsp)
movq %rbx, %rdi
movl %r15d, %esi
movl %r12d, %edx
movq %rax, %rcx
xorl %r8d, %r8d
movq %r14, %r9
callq 0x19f6f5
movq %rax, %rbx
movq %rax, %rdi
callq 0x19f955
testb %al, %al
movl %r12d, 0xc(%rsp)
je 0x1b378c
movb $0x1, %bpl
movq $0x0, (%rsp)
jmp 0x1b381b
movq $0x0, 0x10(%rsp)
xorl %r13d, %r13d
movq $0x0, (%rsp)
leaq 0x60(%rsp), %rdi
movq %rbx, %rsi
movq %r14, %rdx
callq 0x19f878
testl %eax, %eax
setns %bpl
js 0x1b3816
movq 0x60(%rsp), %r12
testq %r12, %r12
je 0x1b3816
cmpq %r13, 0x10(%rsp)
jae 0x1b37cf
movq (%rsp), %rax
jmp 0x1b37f1
leaq 0x2000(,%r13,8), %rsi
addq $0x400, %r13            # imm = 0x400
movq (%rsp), %rdi
leaq 0x1a8f31(%rip), %rdx    # 0x35c71a
pushq $0x61
popq %rcx
callq 0x93472
testq %rax, %rax
je 0x1b3ae7
movq 0x8(%r12), %rdx
movq %rax, (%rsp)
movq 0x10(%rsp), %rcx
movq %rdx, (%rax,%rcx,8)
incq %rcx
movq %rcx, 0x10(%rsp)
jmp 0x1b37a0
movl 0xc(%rsp), %r12d
movq %rbx, %rdi
callq 0x19f83e
testb %bpl, %bpl
je 0x1b3994
testq %r14, %r14
je 0x1b3841
movq %r14, %rdi
callq 0x89eb7
testb %al, %al
jne 0x1b3b4b
movq %r14, 0x48(%rsp)
movq 0x20(%rsp), %rbx
movq %rbx, %rdi
callq 0x7055e
movq %rax, %r14
movq %rbx, %rdi
callq 0x754dd
movq %rax, %rdi
callq 0x56d14
movq %rax, 0x40(%rsp)
leal -0x1(%r15), %eax
movq %rax, 0x18(%rsp)
movl %r12d, %eax
movq %rax, 0x50(%rsp)
movl %r15d, %r13d
pushq $0x1
popq %rax
movq %rax, 0x38(%rsp)
xorl %ebx, %ebx
movq $0x0, 0x28(%rsp)
xorl %r12d, %r12d
cmpq %r14, %rbx
ja 0x1b39a0
movq %r12, 0x30(%rsp)
movb $0x1, %cl
movq 0x18(%rsp), %rbp
jae 0x1b38c9
movq 0x20(%rsp), %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x705e4
cmpb $-0x2, %al
setae %cl
movzbl %al, %ebp
cmovaeq 0x18(%rsp), %rbp
movq %rbx, 0x58(%rsp)
movq 0x50(%rsp), %rax
addq %rax, %rbx
movq 0x38(%rsp), %r12
cmpq %rbx, %r12
jae 0x1b393a
testb $0x1, %cl
jne 0x1b38fd
cmpq %r14, %r12
jae 0x1b38fd
movq 0x20(%rsp), %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x705e4
cmpb $-0x2, %al
jb 0x1b391d
cmpl $0x4, %r15d
jne 0x1b390d
leaq 0x3(,%rbp,4), %rbp
jmp 0x1b3916
imulq %r13, %rbp
addq 0x18(%rsp), %rbp
movb $0x1, %cl
incq %r12
jmp 0x1b38db
movzbl %al, %eax
cmpl $0x4, %r15d
jne 0x1b392f
shlq $0x2, %rbp
orq %rax, %rbp
jmp 0x1b3936
imulq %r13, %rbp
addq %rax, %rbp
xorl %ecx, %ecx
jmp 0x1b3918
movq 0x58(%rsp), %rbx
movq 0x28(%rsp), %rax
cmpq %rax, %rbx
jae 0x1b3950
movq 0x30(%rsp), %r12
jmp 0x1b397a
leaq 0x2000(,%rax,8), %rsi
addq $0x400, %rax            # imm = 0x400
movq %rax, 0x28(%rsp)
movq 0x30(%rsp), %rdi
leaq 0x1a8dab(%rip), %rdx    # 0x35c71a
pushq $0x7d
popq %rcx
callq 0x93472
movq %rax, %r12
testq %r12, %r12
je 0x1b3abd
movq %rbp, (%r12,%rbx,8)
incq %rbx
incq 0x38(%rsp)
jmp 0x1b3895
pushq $-0x1
popq %rbx
movq (%rsp), %rdi
jmp 0x1b3a93
movq 0x48(%rsp), %r13
testq %r13, %r13
je 0x1b39ba
movq %r13, %rdi
callq 0x89eb7
testb %al, %al
jne 0x1b3b79
movq 0x10(%rsp), %rdx
cmpq %rbx, %rdx
setne %bpl
je 0x1b39ee
leaq 0x1a8dcd(%rip), %rsi    # 0x35c79c
movq %r13, %rdi
movq %rbx, %rcx
xorl %eax, %eax
callq 0x89dbb
movq (%rsp), %rdi
testq %r12, %r12
jne 0x1b3a75
jmp 0x1b3a8d
xorl %ebx, %ebx
movq (%rsp), %rdi
cmpq %rbx, %rdx
je 0x1b39e0
movq (%rdi,%rbx,8), %rsi
cmpq (%r12,%rbx,8), %rsi
jne 0x1b3a08
incq %rbx
jmp 0x1b39f4
leaq 0x60(%rsp), %rdi
movl %r15d, %edx
movl 0xc(%rsp), %ebp
movl %ebp, %ecx
movq 0x40(%rsp), %r14
movq %r14, %r8
callq 0x2c0a5c
movq (%r12,%rbx,8), %rsi
leaq 0xb0(%rsp), %rdi
movl %r15d, %edx
movl %ebp, %ecx
movq %r14, %r8
callq 0x2c0a5c
movq (%rsp), %rax
movq (%rax,%rbx,8), %rcx
movq (%r12,%rbx,8), %r8
leaq 0x1a8d86(%rip), %rsi    # 0x35c7d5
movq %r13, %rdi
movq %rbx, %rdx
movq %rbx, %r9
xorl %eax, %eax
leaq 0xb0(%rsp), %r10
pushq %r10
leaq 0x68(%rsp), %r10
pushq %r10
callq 0x89dbb
popq %rax
popq %rcx
movb $0x1, %bpl
leaq 0x1a8c9e(%rip), %rsi    # 0x35c71a
movq %r12, %rdi
movl $0xfb, %edx
callq 0x936f9
movq (%rsp), %rdi
movzbl %bpl, %ebx
negl %ebx
testq %rdi, %rdi
je 0x1b3aa9
leaq 0x1a8c7b(%rip), %rsi    # 0x35c71a
movl $0x120, %edx            # imm = 0x120
callq 0x936f9
movl %ebx, %eax
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x2844a4(%rip), %rax    # 0x437f68
movq (%rax), %rdi
leaq 0x131545(%rip), %rsi    # 0x2e5013
leaq 0x1a8c72(%rip), %rdx    # 0x35c747
leaq 0x1a8c9f(%rip), %rcx    # 0x35c77b
leaq 0x1a8c37(%rip), %r8     # 0x35c71a
pushq $0x7d
jmp 0x1b3b0f
movq 0x28447a(%rip), %rax    # 0x437f68
movq (%rax), %rdi
leaq 0x13151b(%rip), %rsi    # 0x2e5013
leaq 0x1a8c48(%rip), %rdx    # 0x35c747
leaq 0x1a8c2f(%rip), %rcx    # 0x35c735
leaq 0x1a8c0d(%rip), %r8     # 0x35c71a
pushq $0x61
popq %r9
xorl %eax, %eax
callq 0x17a50
callq 0x17390
movq 0x284444(%rip), %rax    # 0x437f68
movq (%rax), %rdi
leaq 0x1314e5(%rip), %rsi    # 0x2e5013
leaq 0x13168a(%rip), %rdx    # 0x2e51bf
leaq 0x1a8bcb(%rip), %rcx    # 0x35c707
leaq 0x1a8bd7(%rip), %r8     # 0x35c71a
movl $0x107, %r9d            # imm = 0x107
jmp 0x1b3b11
movq 0x284416(%rip), %rax    # 0x437f68
movq (%rax), %rdi
leaq 0x1314b7(%rip), %rsi    # 0x2e5013
leaq 0x13165c(%rip), %rdx    # 0x2e51bf
leaq 0x1a8c01(%rip), %rcx    # 0x35c76b
leaq 0x1a8ba9(%rip), %r8     # 0x35c71a
movl $0xe9, %r9d
jmp 0x1b3b11
movq 0x2843e8(%rip), %rax    # 0x437f68
movq (%rax), %rdi
leaq 0x131489(%rip), %rsi    # 0x2e5013
leaq 0x13162e(%rip), %rdx    # 0x2e51bf
leaq 0x1a8bf3(%rip), %rcx    # 0x35c78b
leaq 0x1a8b7b(%rip), %r8     # 0x35c71a
movl $0x8b, %r9d
jmp 0x1b3b11
nop