// File: /workspace/github_c_makefile_star2_O3/genometools[P]genometools/src/extended/intset_32.c
// Function: gt_intset_32_unit_test
int gt_intset_32_unit_test(GtError *err)
{
  int had_err = 0;
  GtIntset *is;
  GtUword num_of_elems = gt_rand_max(((GtUword) 1) << 10) + 1,
          *arr = gt_malloc(sizeof (*arr) * num_of_elems),
          stepsize = GT_DIV2(num_of_elems <<4 / num_of_elems),
          idx;
  size_t is_size;

  gt_error_check(err);

  arr[0] = gt_rand_max(stepsize) + 1;
  for (idx = (GtUword) 1; idx < num_of_elems; ++idx) {
    arr[idx] = arr[idx - 1] + gt_rand_max(stepsize) + 1;
  }

  is_size = gt_intset_32_size_of_rep(arr[num_of_elems - 1], num_of_elems);

  if (!had_err) {
    if (is_size < (size_t) UINT_MAX) {
      is = gt_intset_32_new(arr[num_of_elems - 1], num_of_elems);
      for (idx = 0; idx < num_of_elems; idx++) {
        gt_intset_32_add(is, arr[idx]);
        gt_ensure(idx + 1 == gt_intset_32_size(is));
        if (idx < num_of_elems - 1)
          gt_ensure(gt_intset_32_get_idx_smallest_geq(is,
                                                      arr[idx] + 1) ==
                    num_of_elems);
      }

      gt_ensure(gt_intset_32_elems_is_valid(is));
      gt_ensure(gt_intset_32_secstart_is_valid(is));

      GT_INTSET_TEST_32_BINSEARCH(0);
      for (idx = 1; !had_err && idx < num_of_elems; idx++) {
        GtUword to_find = (arr[idx - 1] == (arr[idx] - 1)) ? idx - 1 : idx;
        gt_ensure(
          gt_intset_32_get_idx_smallest_geq_test(is, arr[idx] - 1) ==
          to_find);
        gt_ensure(
          gt_intset_32_get_idx_smallest_geq(is, arr[idx] - 1) ==
          to_find);
        GT_INTSET_TEST_32_BINSEARCH(idx);
      }
      if (!had_err)
        had_err = gt_intset_unit_test_notinset(is, 0, arr[0] - 1, err);
      if (!had_err)
        had_err = gt_intset_unit_test_check_seqnum(is, 0, arr[0] - 1, 0, err);
      for (idx = (GtUword) 1; !had_err && idx < num_of_elems; idx++) {
        had_err = gt_intset_unit_test_notinset(is, arr[idx - 1] + 1,
                                               arr[idx] - 1, err);
        if (!had_err)
          had_err = gt_intset_unit_test_check_seqnum(is, arr[idx - 1] + 1,
                                                     arr[idx] - 1, idx, err);
      }
      gt_intset_delete(is);
    }
  }
  gt_free(arr);
  return had_err;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
movl $0x400, %edi            # imm = 0x400
callq 0x105d85
movq %rax, %r13
leaq 0x1(%rax), %rbp
leaq 0x8(,%rax,8), %rdi
leaq 0xdd5e0(%rip), %rsi     # 0x3de6c7
movl $0x1e7, %edx            # imm = 0x1E7
callq 0x104226
movq %rax, %r12
movl $0x4, %eax
xorl %edx, %edx
divq %rbp
movq %rbp, %r14
movl %eax, %ecx
shlq %cl, %r14
testq %rbx, %rbx
je 0x30111b
movq %rbx, %rdi
callq 0xfcc32
testb %al, %al
jne 0x3016d6
movq %rbx, 0x8(%rsp)
shrq %r14
movq %r14, %rdi
callq 0x105d85
incq %rax
movq %rax, (%r12)
cmpq $0x2, %rbp
jb 0x301159
xorl %ebx, %ebx
movq (%r12,%rbx,8), %r15
movq %r14, %rdi
callq 0x105d85
addq %r15, %rax
incq %rax
movq %rax, 0x8(%r12,%rbx,8)
incq %rbx
cmpq %rbx, %r13
jne 0x30113a
movq (%r12,%r13,8), %rdi
movq %rdi, %rax
shrq $0x1d, %rax
andq $-0x8, %rax
leaq (%rax,%rbp,4), %rax
addq $0x8, %rax
movq %rbp, %rbx
xorl %ebp, %ebp
movl $0xfffffffe, %ecx       # imm = 0xFFFFFFFE
cmpq %rcx, %rax
ja 0x3016b1
movq %r12, 0x10(%rsp)
movq %rbx, %rsi
callq 0x300580
cmpq $0x1, %rbx
movq %rbx, 0x20(%rsp)
movq %rbx, %rbp
adcq $0x0, %rbp
movq %rax, 0x18(%rsp)
xorl %r14d, %r14d
xorl %r15d, %r15d
movq 0x10(%rsp), %rax
movq (%rax,%r15,8), %rsi
movq 0x18(%rsp), %r12
movq %r12, %rdi
callq 0x300d8b
leaq 0x1(%r15), %rbx
testl %r14d, %r14d
je 0x3011d2
xorl %r12d, %r12d
jmp 0x301276
callq 0x300662
movq %rax, %rdi
movq %r12, %rsi
callq 0x1566fc
movq 0x8(%r12), %rax
cmpq 0x20(%rax), %rbx
jne 0x301245
xorl %r14d, %r14d
movb $0x1, %r12b
cmpq %r13, %r15
jae 0x30127c
movq 0x10(%rsp), %rax
movq (%rax,%r15,8), %rsi
incq %rsi
movq 0x18(%rsp), %rdi
callq 0x300fca
cmpq 0x20(%rsp), %rax
je 0x30127c
xorl %r12d, %r12d
movq 0x8(%rsp), %rdi
leaq 0x5d216(%rip), %rsi     # 0x35e43e
leaq 0xdd5a8(%rip), %rdx     # 0x3de7d7
leaq 0xdd569(%rip), %rcx     # 0x3de79f
leaq 0xdd48a(%rip), %r8      # 0x3de6c7
movl $0x1fe, %r9d            # imm = 0x1FE
jmp 0x30126f
xorl %r12d, %r12d
movq 0x8(%rsp), %rdi
leaq 0x5d1ea(%rip), %rsi     # 0x35e43e
leaq 0xdd55b(%rip), %rdx     # 0x3de7b6
leaq 0xdd53d(%rip), %rcx     # 0x3de79f
leaq 0xdd45e(%rip), %r8      # 0x3de6c7
movl $0x1fa, %r9d            # imm = 0x1FA
xorl %eax, %eax
callq 0xfcb67
movl $0xffffffff, %r14d      # imm = 0xFFFFFFFF
movq %rbx, %r15
cmpq %rbx, %rbp
jne 0x3011ab
movl $0xffffffff, %ebp       # imm = 0xFFFFFFFF
testb %r12b, %r12b
je 0x3016a2
callq 0x300662
movq %rax, %rdi
movq 0x18(%rsp), %rbx
movq %rbx, %rsi
callq 0x1566fc
movq 0x8(%rbx), %rcx
movq 0x28(%rcx), %rdx
cmpq $0x2, %rdx
movq 0x10(%rsp), %r12
jb 0x301303
movq (%rcx), %rsi
movl $0x1, %edi
xorl %r8d, %r8d
xorl %r9d, %r9d
decq %r9
movq %r9, %r10
incq %r9
cmpq 0x8(%rsi,%r10,8), %rdi
ja 0x3012cf
je 0x3012ed
movq 0x10(%rax), %r10
movl (%r10,%rdi,4), %r11d
cmpl -0x4(%r10,%rdi,4), %r11d
jbe 0x3012f9
incq %rdi
cmpq %rdx, %rdi
setae %r8b
jne 0x3012cc
testb $0x1, %r8b
je 0x301495
movq 0x30(%rcx), %rax
testq %rax, %rax
je 0x30132b
movq (%rcx), %rcx
movl $0x1, %edx
movq (%rcx,%rdx,8), %rsi
cmpq -0x8(%rcx,%rdx,8), %rsi
jb 0x3014be
incq %rdx
cmpq %rax, %rdx
jbe 0x301314
movq 0x18(%rsp), %rbx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x3016db
cmpq (%r12), %rax
jne 0x301482
movq %rbx, %rdi
xorl %esi, %esi
callq 0x300e69
cmpq (%r12), %rax
jne 0x3014e7
incq %rax
movq %rbx, %rdi
movq %rax, %rsi
callq 0x301733
cmpq $0x1, %rax
jne 0x3014f7
movq (%r12), %rsi
incq %rsi
movq %rbx, %rdi
callq 0x300fca
cmpq $0x1, %rax
jne 0x301507
cmpq $0x2, 0x20(%rsp)
jb 0x301455
movl $0x1, %r15d
movq 0x18(%rsp), %r14
leaq -0x1(%r15), %rbx
movq (%r12,%r15,8), %rsi
decq %rsi
cmpq %rsi, -0x8(%r12,%r15,8)
cmovneq %r15, %rbx
movq %r14, %rdi
callq 0x301733
cmpq %rbx, %rax
jne 0x3015d0
movq (%r12,%r15,8), %rsi
decq %rsi
movq %r14, %rdi
callq 0x300fca
cmpq %rbx, %rax
jne 0x3015fc
movq %r14, %rdi
movq %r15, %rsi
callq 0x3016db
cmpq (%r12,%r15,8), %rax
jne 0x301628
movq %r14, %rdi
movq %r15, %rsi
callq 0x300e69
cmpq (%r12,%r15,8), %rax
jne 0x301638
incq %rax
movq %r14, %rdi
movq %rax, %rsi
callq 0x301733
leaq 0x1(%r15), %rbx
cmpq %rax, %rbx
jne 0x301664
movq %rax, %r12
movq 0x10(%rsp), %rax
movq (%rax,%r15,8), %rsi
incq %rsi
movq %r14, %rdi
callq 0x300fca
cmpq %r12, %rax
jne 0x301674
movq %rbx, %r15
cmpq 0x20(%rsp), %rbx
movq 0x10(%rsp), %r12
jb 0x3013a0
movq (%r12), %rdx
decq %rdx
movq 0x18(%rsp), %r14
movq %r14, %rdi
xorl %esi, %esi
movq 0x8(%rsp), %r15
movq %r15, %rcx
callq 0x15695a
testl %eax, %eax
je 0x30153a
movl %eax, %ebp
jmp 0x3016a7
leaq 0x5cfb5(%rip), %rsi     # 0x35e43e
leaq 0xdd3ce(%rip), %rdx     # 0x3de85e
jmp 0x301515
leaq 0x5cfa2(%rip), %rsi     # 0x35e43e
leaq 0xdd378(%rip), %rdx     # 0x3de81b
leaq 0xdd2f5(%rip), %rcx     # 0x3de79f
leaq 0xdd216(%rip), %r8      # 0x3de6c7
movq 0x8(%rsp), %rdi
movl $0x201, %r9d            # imm = 0x201
jmp 0x30152e
leaq 0x5cf79(%rip), %rsi     # 0x35e43e
leaq 0xdd36f(%rip), %rdx     # 0x3de83b
leaq 0xdd2cc(%rip), %rcx     # 0x3de79f
leaq 0xdd1ed(%rip), %r8      # 0x3de6c7
movq 0x8(%rsp), %rdi
movl $0x202, %r9d            # imm = 0x202
jmp 0x30152e
leaq 0x5cf50(%rip), %rsi     # 0x35e43e
leaq 0xdd390(%rip), %rdx     # 0x3de885
jmp 0x301515
leaq 0x5cf40(%rip), %rsi     # 0x35e43e
leaq 0xdd3a2(%rip), %rdx     # 0x3de8a7
jmp 0x301515
leaq 0x5cf30(%rip), %rsi     # 0x35e43e
leaq 0xdd3d2(%rip), %rdx     # 0x3de8e7
leaq 0xdd283(%rip), %rcx     # 0x3de79f
leaq 0xdd1a4(%rip), %r8      # 0x3de6c7
movq 0x8(%rsp), %rdi
movl $0x204, %r9d            # imm = 0x204
xorl %eax, %eax
callq 0xfcb67
jmp 0x3016a7
cmpq $0x2, 0x20(%rsp)
setb %bl
movq (%r12), %rdx
decq %rdx
movq %r14, %rdi
xorl %esi, %esi
xorl %ecx, %ecx
movq %r15, %r8
callq 0x1569ea
movl %eax, %ebp
testl %eax, %eax
setne %al
orb %bl, %al
jne 0x3016a7
movl $0x1, %r15d
movq 0x18(%rsp), %rbx
movq 0x8(%rsp), %r14
movq -0x8(%r12,%r15,8), %rsi
movq (%r12,%r15,8), %rdx
incq %rsi
decq %rdx
movq %rbx, %rdi
movq %r14, %rcx
callq 0x15695a
testl %eax, %eax
jne 0x30147b
movq -0x8(%r12,%r15,8), %rsi
movq (%r12,%r15,8), %rdx
incq %rsi
decq %rdx
movq %rbx, %rdi
movq %r15, %rcx
movq %r14, %r8
callq 0x1569ea
movl %eax, %ebp
testl %eax, %eax
jne 0x3016a7
incq %r15
cmpq 0x20(%rsp), %r15
jb 0x301578
jmp 0x3016a7
leaq 0x5ce67(%rip), %rsi     # 0x35e43e
leaq 0xdd344(%rip), %rdx     # 0x3de922
leaq 0xdd1ba(%rip), %rcx     # 0x3de79f
leaq 0xdd0db(%rip), %r8      # 0x3de6c7
movq 0x8(%rsp), %rdi
movl $0x209, %r9d            # imm = 0x209
jmp 0x30152e
leaq 0x5ce3b(%rip), %rsi     # 0x35e43e
leaq 0xdd35c(%rip), %rdx     # 0x3de966
leaq 0xdd18e(%rip), %rcx     # 0x3de79f
leaq 0xdd0af(%rip), %r8      # 0x3de6c7
movq 0x8(%rsp), %rdi
movl $0x20c, %r9d            # imm = 0x20C
jmp 0x30152e
leaq 0x5ce0f(%rip), %rsi     # 0x35e43e
leaq 0xdd36f(%rip), %rdx     # 0x3de9a5
jmp 0x301646
leaq 0x5cdff(%rip), %rsi     # 0x35e43e
leaq 0xdd38a(%rip), %rdx     # 0x3de9d0
leaq 0xdd152(%rip), %rcx     # 0x3de79f
leaq 0xdd073(%rip), %r8      # 0x3de6c7
movq 0x8(%rsp), %rdi
movl $0x20d, %r9d            # imm = 0x20D
jmp 0x30152e
leaq 0x5cdd3(%rip), %rsi     # 0x35e43e
leaq 0xdd384(%rip), %rdx     # 0x3de9f6
jmp 0x301682
leaq 0x5cdc3(%rip), %rsi     # 0x35e43e
leaq 0xdd3b8(%rip), %rdx     # 0x3dea3a
leaq 0xdd116(%rip), %rcx     # 0x3de79f
leaq 0xdd037(%rip), %r8      # 0x3de6c7
movq 0x8(%rsp), %rdi
movl $0x20d, %r9d            # imm = 0x20D
xorl %eax, %eax
callq 0xfcb67
movq 0x10(%rsp), %r12
movq 0x18(%rsp), %rdi
callq 0x1568d4
leaq 0xdd00f(%rip), %rsi     # 0x3de6c7
movq %r12, %rdi
movl $0x21d, %edx            # imm = 0x21D
callq 0x1045eb
movl %ebp, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x8c7fe