// File: /workspace/github_c_makefile_star2_O0/genometools[P]genometools/src/extended/splicedseq.c
// Function: check_splicedseq
static int check_splicedseq(Splicedseq *ss, GtError *err)
{                       /*0123456789*/
  static char *origseq = "aaccaagtga", *splicedseq = "ccgtg";
  int had_err = 0;
  gt_error_check(err);
  gt_splicedseq_add(ss, 2, 3, origseq + 2);
  gt_splicedseq_add(ss, 6, 8, origseq + 6);
  gt_ensure(strcmp(gt_splicedseq_get(ss), splicedseq) == 0);
  gt_ensure(!gt_splicedseq_pos_is_border(ss, 0));
  gt_ensure(gt_splicedseq_pos_is_border(ss, 1));
  gt_ensure(!gt_splicedseq_pos_is_border(ss, 2));
  gt_ensure(!gt_splicedseq_pos_is_border(ss, 3));
  gt_ensure(!gt_splicedseq_pos_is_border(ss, 4));
  return had_err;
}

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x10(%rsp)
movq %rsi, 0x8(%rsp)
movl $0x0, 0x4(%rsp)
cmpq $0x0, 0x8(%rsp)
je 0x152436
movq 0x8(%rsp), %rdi
callq 0xc270
testb $0x1, %al
jne 0x1523fe
jmp 0x152436
movq 0x61bd3(%rip), %rax     # 0x1b3fd8
movq (%rax), %rdi
leaq 0xbc57(%rip), %rsi      # 0x15e066
leaq 0xc232(%rip), %rdx      # 0x15e648
leaq 0x3c801(%rip), %rcx     # 0x18ec1e
leaq 0x3c640(%rip), %r8      # 0x18ea64
movl $0x76, %r9d
movb $0x0, %al
callq 0xb890
callq 0xb2e0
jmp 0x152438
movq 0x10(%rsp), %rdi
movq 0x63e2c(%rip), %rcx     # 0x1b6270
addq $0x2, %rcx
movl $0x2, %esi
movl $0x3, %edx
callq 0x151cf0
movq 0x10(%rsp), %rdi
movq 0x63e0d(%rip), %rcx     # 0x1b6270
addq $0x6, %rcx
movl $0x6, %esi
movl $0x8, %edx
callq 0x151cf0
cmpl $0x0, 0x4(%rsp)
jne 0x1524d3
movq 0x10(%rsp), %rdi
callq 0x151e40
movq %rax, %rdi
movq 0x63de7(%rip), %rsi     # 0x1b6278
callq 0xb850
cmpl $0x0, %eax
je 0x1524d1
movq 0x8(%rsp), %rdi
leaq 0xdcd0(%rip), %rsi      # 0x160177
leaq 0x3c781(%rip), %rdx     # 0x18ec2f
leaq 0x3c769(%rip), %rcx     # 0x18ec1e
leaq 0x3c5a8(%rip), %r8      # 0x18ea64
movl $0x79, %r9d
movb $0x0, %al
callq 0xc0d0
movl $0xffffffff, 0x4(%rsp)  # imm = 0xFFFFFFFF
jmp 0x1524d3
jmp 0x1524d5
jmp 0x1524d7
cmpl $0x0, 0x4(%rsp)
jne 0x15252a
movq 0x10(%rsp), %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0x151e60
testb $0x1, %al
jne 0x1524f2
jmp 0x152528
movq 0x8(%rsp), %rdi
leaq 0xdc79(%rip), %rsi      # 0x160177
leaq 0x3c759(%rip), %rdx     # 0x18ec5e
leaq 0x3c712(%rip), %rcx     # 0x18ec1e
leaq 0x3c551(%rip), %r8      # 0x18ea64
movl $0x7a, %r9d
movb $0x0, %al
callq 0xc0d0
movl $0xffffffff, 0x4(%rsp)  # imm = 0xFFFFFFFF
jmp 0x15252a
jmp 0x15252c
jmp 0x15252e
cmpl $0x0, 0x4(%rsp)
jne 0x152580
movq 0x10(%rsp), %rdi
movl $0x1, %esi
callq 0x151e60
testb $0x1, %al
jne 0x15257e
movq 0x8(%rsp), %rdi
leaq 0xdc23(%rip), %rsi      # 0x160177
leaq 0x3c727(%rip), %rdx     # 0x18ec82
leaq 0x3c6bc(%rip), %rcx     # 0x18ec1e
leaq 0x3c4fb(%rip), %r8      # 0x18ea64
movl $0x7b, %r9d
movb $0x0, %al
callq 0xc0d0
movl $0xffffffff, 0x4(%rsp)  # imm = 0xFFFFFFFF
jmp 0x152580
jmp 0x152582
jmp 0x152584
cmpl $0x0, 0x4(%rsp)
jne 0x1525d8
movq 0x10(%rsp), %rdi
movl $0x2, %esi
callq 0x151e60
testb $0x1, %al
jne 0x1525a0
jmp 0x1525d6
movq 0x8(%rsp), %rdi
leaq 0xdbcb(%rip), %rsi      # 0x160177
leaq 0x3c6f2(%rip), %rdx     # 0x18eca5
leaq 0x3c664(%rip), %rcx     # 0x18ec1e
leaq 0x3c4a3(%rip), %r8      # 0x18ea64
movl $0x7c, %r9d
movb $0x0, %al
callq 0xc0d0
movl $0xffffffff, 0x4(%rsp)  # imm = 0xFFFFFFFF
jmp 0x1525d8
jmp 0x1525da
jmp 0x1525dc
cmpl $0x0, 0x4(%rsp)
jne 0x152630
movq 0x10(%rsp), %rdi
movl $0x3, %esi
callq 0x151e60
testb $0x1, %al
jne 0x1525f8
jmp 0x15262e
movq 0x8(%rsp), %rdi
leaq 0xdb73(%rip), %rsi      # 0x160177
leaq 0x3c6be(%rip), %rdx     # 0x18ecc9
leaq 0x3c60c(%rip), %rcx     # 0x18ec1e
leaq 0x3c44b(%rip), %r8      # 0x18ea64
movl $0x7d, %r9d
movb $0x0, %al
callq 0xc0d0
movl $0xffffffff, 0x4(%rsp)  # imm = 0xFFFFFFFF
jmp 0x152630
jmp 0x152632
jmp 0x152634
cmpl $0x0, 0x4(%rsp)
jne 0x152688
movq 0x10(%rsp), %rdi
movl $0x4, %esi
callq 0x151e60
testb $0x1, %al
jne 0x152650
jmp 0x152686
movq 0x8(%rsp), %rdi
leaq 0xdb1b(%rip), %rsi      # 0x160177
leaq 0x3c68a(%rip), %rdx     # 0x18eced
leaq 0x3c5b4(%rip), %rcx     # 0x18ec1e
leaq 0x3c3f3(%rip), %r8      # 0x18ea64
movl $0x7e, %r9d
movb $0x0, %al
callq 0xc0d0
movl $0xffffffff, 0x4(%rsp)  # imm = 0xFFFFFFFF
jmp 0x152688
jmp 0x15268a
movl 0x4(%rsp), %eax
addq $0x18, %rsp
retq
nopw %cs:(%rax,%rax)