// File: /workspace/github_c_makefile_star2_O2/genometools[P]genometools/src/extended/intset_32.c
// Function: gt_intset_32_add
void gt_intset_32_add(GtIntset *intset, GtUword elem)
{
  GtIntset32 *intset_32 = gt_intset_32_cast(intset);
  GtIntsetMembers *members = intset->members;
  GtUword *sectionstart = members->sectionstart;
  gt_assert(members->nextfree < members->num_of_elems);
  gt_assert(elem <= members->maxelement);
  gt_assert(members->previouselem == ULONG_MAX || members->previouselem < elem);
  while (elem >= GT_SECTIONMINELEM(members->currentsectionnum + 1)) {
    gt_assert(members->currentsectionnum < members->numofsections);
    sectionstart[members->currentsectionnum + 1] = members->nextfree;
    members->currentsectionnum++;
  }
  gt_assert(GT_SECTIONMINELEM(members->currentsectionnum) <= elem &&
            elem < GT_SECTIONMINELEM(members->currentsectionnum+1) &&
            GT_ELEM2SECTION_M(elem) == members->currentsectionnum);
  intset_32->elements[members->nextfree++] = (uint32_t) elem;
  members->previouselem = elem;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
callq 0x29d9c5
movq %rax, %rdi
movq %r14, %rsi
callq 0xf3576
movq 0x8(%r14), %rdx
movq 0x20(%rdx), %rsi
cmpq 0x28(%rdx), %rsi
jae 0x29df34
cmpq %rbx, 0x18(%rdx)
jb 0x29df62
movq 0x38(%rdx), %rcx
cmpq $-0x1, %rcx
setne %dil
cmpq %rbx, %rcx
setae %cl
testb %cl, %dil
jne 0x29df90
movq (%rdx), %r8
movq 0x10(%rdx), %rdi
leaq 0x1(%rdi), %r9
movq 0x8(%rdx), %rcx
shlq %cl, %r9
cmpq %rbx, %r9
ja 0x29dec3
cmpq 0x30(%rdx), %rdi
jae 0x29defc
movq %rsi, 0x8(%r8,%rdi,8)
movq 0x10(%rdx), %rdi
incq %rdi
movq %rdi, 0x10(%rdx)
jmp 0x29de9b
movq %rdi, %r9
shlq %cl, %r9
movq %rbx, %r8
shrq %cl, %r8
cmpq %rbx, %r9
ja 0x29dfc1
cmpq %rdi, %r8
jne 0x29dfc1
movq 0x10(%rax), %rax
leaq 0x1(%rsi), %rcx
movq %rcx, 0x20(%rdx)
movl %ebx, (%rax,%rsi,4)
movq %rbx, 0x38(%rdx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq 0x19a065(%rip), %rax    # 0x437f68
movq (%rax), %rdi
leaq 0x47106(%rip), %rsi     # 0x2e5013
leaq 0xe06af(%rip), %rdx     # 0x37e5c3
leaq 0xe0c10(%rip), %rcx     # 0x37eb2b
leaq 0xe0b75(%rip), %r8      # 0x37ea97
movl $0xdc, %r9d
xorl %eax, %eax
callq 0x17a50
callq 0x17390
movq 0x19a02d(%rip), %rax    # 0x437f68
movq (%rax), %rdi
leaq 0x470ce(%rip), %rsi     # 0x2e5013
leaq 0xe05dd(%rip), %rdx     # 0x37e529
leaq 0xe0bd8(%rip), %rcx     # 0x37eb2b
leaq 0xe0b3d(%rip), %r8      # 0x37ea97
movl $0xd8, %r9d
jmp 0x29df28
movq 0x199fff(%rip), %rax    # 0x437f68
movq (%rax), %rdi
leaq 0x470a0(%rip), %rsi     # 0x2e5013
leaq 0xe05ea(%rip), %rdx     # 0x37e564
leaq 0xe0baa(%rip), %rcx     # 0x37eb2b
leaq 0xe0b0f(%rip), %r8      # 0x37ea97
movl $0xd9, %r9d
jmp 0x29df28
movq 0x199fd1(%rip), %rax    # 0x437f68
movq (%rax), %rdi
leaq 0x47072(%rip), %rsi     # 0x2e5013
leaq 0xe05d8(%rip), %rdx     # 0x37e580
leaq 0xe0b7c(%rip), %rcx     # 0x37eb2b
leaq 0xe0ae1(%rip), %r8      # 0x37ea97
movl $0xda, %r9d
jmp 0x29df28
movq 0x199fa0(%rip), %rax    # 0x437f68
movq (%rax), %rdi
leaq 0x47041(%rip), %rsi     # 0x2e5013
leaq 0xe061e(%rip), %rdx     # 0x37e5f7
leaq 0xe0b4b(%rip), %rcx     # 0x37eb2b
leaq 0xe0ab0(%rip), %r8      # 0x37ea97
movl $0xe2, %r9d
jmp 0x29df28