// File: /workspace/github_c_makefile_star2_O0/richarddurbin[P]hash10x/hash.c
// Function: hashAdd
int hashAdd (HASH hx, HASHKEY k)
{
  TRUE_HASH *h = (TRUE_HASH*) hx ;
  long int hash, delta = 0 ;
  int test ;

  if (!h->guard)
    hashDouble (h) ;

  HASH_FUNC(k) ;
  while (TRUE)
    if (!h->keys[hash] || h->keys[hash] == REMOVED)	/* free slot to fill */
      { if (!h->keys[hash]) --h->guard ;
	h->keys[hash] = k.i ;
	if (h->nFree)
	  h->values[hash] = arr(h->freeList, h->nFree--, int) ;
	else
	  h->values[hash] = ++h->n  ;
	nAdded++ ;
	return h->values[hash] ;
      }
    else if (h->keys[hash] == k.i)		/* already there */
      { ++nFound ;
	return h->values[hash] ;
      }
    else
      { nBounced++ ;
	if (!delta) DELTA (k) ;
	hash = (hash + delta) & h->mask ;
      }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rsi, -0x10(%rbp)
movq %rdi, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x20(%rbp)
movq $0x0, -0x30(%rbp)
movq -0x20(%rbp), %rax
cmpl $0x0, 0xc(%rax)
jne 0x6183
movq -0x20(%rbp), %rdi
callq 0x63a0
movl $0xc, -0x38(%rbp)
movq -0x10(%rbp), %rax
movl %eax, -0x3c(%rbp)
movslq -0x3c(%rbp), %rax
movq %rax, -0x28(%rbp)
movl -0x3c(%rbp), %eax
sarl $0x5, %eax
movl %eax, -0x3c(%rbp)
movl -0x38(%rbp), %eax
movl %eax, %ecx
addl $-0x1, %ecx
movl %ecx, -0x38(%rbp)
cmpl $0x0, %eax
je 0x61c9
movslq -0x3c(%rbp), %rax
xorq -0x28(%rbp), %rax
movq %rax, -0x28(%rbp)
movl -0x3c(%rbp), %eax
sarl $0x5, %eax
movl %eax, -0x3c(%rbp)
jmp 0x61a2
movq -0x20(%rbp), %rax
movl 0x4(%rax), %eax
andq -0x28(%rbp), %rax
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x28(%rbp), %rcx
cmpl $0x0, (%rax,%rcx,4)
je 0x6200
movq -0x20(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x28(%rbp), %rcx
cmpl $0x1, (%rax,%rcx,4)
jne 0x62c1
movq -0x20(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x28(%rbp), %rcx
cmpl $0x0, (%rax,%rcx,4)
jne 0x621f
movq -0x20(%rbp), %rax
movl 0xc(%rax), %ecx
addl $-0x1, %ecx
movl %ecx, 0xc(%rax)
movq -0x10(%rbp), %rax
movl %eax, %edx
movq -0x20(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x28(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movq -0x20(%rbp), %rax
cmpl $0x0, 0x28(%rax)
je 0x627c
movq -0x20(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x8(%rax), %rax
movq -0x20(%rbp), %rdx
movl 0x28(%rdx), %ecx
movl %ecx, %esi
addl $-0x1, %esi
movl %esi, 0x28(%rdx)
movq -0x20(%rbp), %rdx
movq 0x20(%rdx), %rdx
imull 0x14(%rdx), %ecx
movslq %ecx, %rcx
movl (%rax,%rcx), %edx
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x28(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
jmp 0x6298
movq -0x20(%rbp), %rax
movl 0x8(%rax), %edx
addl $0x1, %edx
movl %edx, 0x8(%rax)
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x28(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movq 0x80e1(%rip), %rax      # 0xe380
addq $0x1, %rax
movq %rax, 0x80d6(%rip)      # 0xe380
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x28(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x4(%rbp)
jmp 0x6392
movq -0x20(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x28(%rbp), %rcx
movslq (%rax,%rcx,4), %rax
cmpq -0x10(%rbp), %rax
jne 0x6300
movq 0x808a(%rip), %rax      # 0xe368
addq $0x1, %rax
movq %rax, 0x807f(%rip)      # 0xe368
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x28(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x4(%rbp)
jmp 0x6392
movq 0x8071(%rip), %rax      # 0xe378
addq $0x1, %rax
movq %rax, 0x8066(%rip)      # 0xe378
cmpq $0x0, -0x30(%rbp)
jne 0x6375
movl $0x9, -0x40(%rbp)
movq -0x10(%rbp), %rax
movl %eax, -0x44(%rbp)
movslq -0x44(%rbp), %rax
movq %rax, -0x30(%rbp)
movl -0x44(%rbp), %eax
sarl $0x7, %eax
movl %eax, -0x44(%rbp)
movl -0x40(%rbp), %eax
movl %eax, %ecx
addl $-0x1, %ecx
movl %ecx, -0x40(%rbp)
cmpl $0x0, %eax
je 0x635f
movslq -0x44(%rbp), %rax
xorq -0x30(%rbp), %rax
movq %rax, -0x30(%rbp)
movl -0x44(%rbp), %eax
sarl $0x7, %eax
movl %eax, -0x44(%rbp)
jmp 0x6338
movq -0x30(%rbp), %rax
movq -0x20(%rbp), %rcx
movl 0x4(%rcx), %ecx
andq %rcx, %rax
orq $0x1, %rax
movq %rax, -0x30(%rbp)
movq -0x28(%rbp), %rax
addq -0x30(%rbp), %rax
movq -0x20(%rbp), %rcx
movl 0x4(%rcx), %ecx
andq %rcx, %rax
movq %rax, -0x28(%rbp)
jmp 0x638d
jmp 0x61d8
movl -0x4(%rbp), %eax
addq $0x50, %rsp
popq %rbp
retq
nopl (%rax,%rax)