// File: /workspace/github_c_makefile_star2_O3/mabdi[P]bunney/bunny-main.c
// Function: register_new_param
static _u8 register_new_param(struct bunny_traceitem* t, _u32 bytepos, _u8 bytelen, _u8 queue, _u8 nexec) {
  struct bunny_traceitem* ref;
  _u64 use_ck;
  _u32 pos, i, got_new = 0;
  _u8* inp;

  /* This is an unknown call path, bail out */
  if (!t->param_cksum) return 0;

  /* Let's find a master call path... */
  ref = lookup_exec(t->exec_cksum);

  use_ck = t->exec_cksum ^ t->param_cksum;
  pos = use_ck & 0xFFF;

  /* This is a known parameter sequence */
  for (i=0;i<known_param[pos].c;i++)
    if (known_param[pos].v[i] == use_ck) return 0;

  ADDINT64(known_param[pos],use_ck);
  ppath_cnt++;

  if (queue) {
    _u32 qno;

    /* Queue the case itself */
    inp = make_input("case");
    qno = add_queue(inp,ref);

    if (bytelen) {

      for (i=0;i<t->param_count;i++) 
        if (t->param_chgmap[i]) {
          _u32 add = add_effector(ref,i,bytepos,bytelen);
          if (add) queue_af[qno] = 1;
          got_new += add;
        }

      if (got_new)
        outf("      Scheduling %u new affector region%s for thorough tests.\n",got_new, (got_new == 1) ? "" : "s" );

    }

    outf("    + New function parameter sequence stored at '%s' (c=%016llx p=%016llx).\n",inp,
          t->exec_cksum,t->param_cksum);

  }

  /* New path; note that 't' does not have to be preserved; only ref is needed. */
  return 1;
  
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq 0x18(%rdi), %rax
testq %rax, %rax
je 0x8f34
movl %ecx, %r15d
movl %esi, %r14d
movq %rdi, 0x10(%rsp)
movq 0x10(%rdi), %rbp
movl %ebp, %ecx
andl $0xfff, %ecx            # imm = 0xFFF
movl %ecx, %esi
shll $0x4, %esi
leaq 0x74ae(%rip), %rdi      # 0x10360
movl 0x8(%rsi,%rdi), %r9d
testq %r9, %r9
je 0x8ed7
addq %rsi, %rdi
movq (%rdi), %rdi
xorl %r8d, %r8d
xorl %esi, %esi
cmpq %rbp, (%rdi,%rsi,8)
je 0x8edc
incq %rsi
cmpq %rsi, %r9
jne 0x8ec7
jmp 0x8eee
xorl %r8d, %r8d
jmp 0x8eee
shll $0x4, %ecx
leaq 0x1747a(%rip), %rdi     # 0x20360
movq (%rcx,%rdi), %rcx
movq (%rcx,%rsi,8), %r8
movq %r8, 0x8(%rsp)
xorq %rax, %rbp
movl %ebp, %eax
andl $0xfff, %eax            # imm = 0xFFF
shll $0x4, %eax
leaq 0x27469(%rip), %rcx     # 0x30370
leaq (%rcx,%rax), %rbx
movl 0x8(%rax,%rcx), %r12d
movq (%rax,%rcx), %rax
testq %r12, %r12
je 0x8f3b
xorl %ecx, %ecx
cmpq %rbp, (%rax,%rcx,8)
je 0x8f34
incq %rcx
cmpq %rcx, %r12
jne 0x8f1b
testb $0x7f, %r12b
je 0x8f3b
movl %edx, %r13d
jmp 0x8f5e
xorl %ebp, %ebp
jmp 0x9335
movl %edx, %r13d
leal 0x81(%r12), %esi
shlq $0x3, %rsi
movq %rax, %rdi
callq 0x2370
movq %rax, (%rbx)
testq %rax, %rax
je 0x9445
leal 0x1(%r12), %ecx
movl %ecx, 0x8(%rbx)
movq %rbp, (%rax,%r12,8)
incl 0x7384(%rip)            # 0x102f4
movb $0x1, %bpl
testb %r15b, %r15b
je 0x9335
leaq 0x411f(%rip), %rdi      # 0xd0a2
callq 0xa252
movq %rax, %r15
movq %rax, %rdi
movq 0x8(%rsp), %rsi
callq 0x7457
testb %r13b, %r13b
movq 0x10(%rsp), %rsi
je 0x92f4
movl 0x28(%rsi), %ecx
testl %ecx, %ecx
je 0x92f4
movq %r15, 0x20(%rsp)
movzbl %r13b, %edx
movq %rdx, 0x28(%rsp)
leal (%rdx,%r14), %ebp
movl %eax, %eax
movq %rax, 0x30(%rsp)
xorl %r12d, %r12d
xorl %ebx, %ebx
movq 0x8(%rsp), %rdi
movq 0x48(%rsi), %rax
cmpb $0x0, (%rax,%r12)
je 0x91f2
movl %ebx, 0x1c(%rsp)
movq 0x58(%rdi), %rax
leaq (%r12,%r12,2), %rcx
leaq (%rax,%rcx,8), %r13
movl 0x10(%r13), %esi
movq (%r13), %rdi
testq %rsi, %rsi
je 0x909f
movq %rax, 0x40(%rsp)
movq %rcx, 0x38(%rsp)
leaq (%rax,%rcx,8), %rdx
addq $0x8, %rdx
xorl %ecx, %ecx
xorl %ebx, %ebx
movl (%rdi,%rcx,4), %r8d
cmpl $0xf0000000, %r8d       # imm = 0xF0000000
je 0x9078
cmpl %r14d, %r8d
jbe 0x903e
cmpl %ebp, %r8d
jbe 0x9170
movq (%rdx), %rax
movl (%rax,%rcx,4), %r15d
jmp 0x9072
movq 0x8(%r13), %r9
movl (%r9,%rcx,4), %r15d
leal (%r15,%r8), %r10d
cmpl %ebp, %r10d
jae 0x916b
cmpl %r14d, %r8d
setae %r11b
cmpl %ebp, %r8d
setbe %al
testb %al, %r11b
jne 0x917b
cmpl %r14d, %r10d
jae 0x917b
addl %ebx, %r15d
movl %r15d, %ebx
incq %rcx
cmpq %rcx, %rsi
jne 0x901a
movl 0x718e(%rip), %edx      # 0x10214
cmpl %edx, %ebx
ja 0x9197
testb $0x7f, %sil
movq 0x8(%rsp), %r8
je 0x909f
movq 0x8(%r13), %rax
jmp 0x90e9
movl $0x81, %ebx
addl %ebx, %esi
shlq $0x2, %rsi
callq 0x2370
movq %rax, (%r13)
movq 0x8(%r13), %rdi
movl 0x10(%r13), %esi
addl %ebx, %esi
shlq $0x2, %rsi
callq 0x2370
movq %rax, 0x8(%r13)
testq %rax, %rax
je 0x9346
movq (%r13), %rdi
testq %rdi, %rdi
je 0x9346
movl 0x10(%r13), %esi
movq 0x8(%rsp), %r8
movl %r14d, (%rdi,%rsi,4)
movl 0x10(%r13), %ecx
leal 0x1(%rcx), %edx
movl %edx, 0x10(%r13)
movq 0x28(%rsp), %rdx
movl %edx, (%rax,%rcx,4)
movl 0x68(%r8), %esi
movq 0x60(%r8), %rax
testb $0x7f, %sil
jne 0x9136
addl $0x81, %esi
shlq $0x2, %rsi
movq %rax, %rdi
callq 0x2370
movq 0x8(%rsp), %r8
movq %rax, 0x60(%r8)
testq %rax, %rax
je 0x93c7
movl 0x68(%r8), %esi
leal 0x1(%rsi), %ecx
movl %ecx, 0x68(%r8)
movl %esi, %ecx
movl %r12d, (%rax,%rcx,4)
incl 0x71b3(%rip)            # 0x102fc
movq 0x71f0(%rip), %rax      # 0x10340
movq 0x30(%rsp), %rcx
movb $0x1, (%rax,%rcx)
movl $0x1, %r13d
movq 0x10(%rsp), %rsi
movq 0x8(%rsp), %rdi
jmp 0x91e8
xorl %r13d, %r13d
jmp 0x915f
movq 0x8(%r13), %r9
movl (%r9,%rcx,4), %r10d
addl %r8d, %r10d
cmpl %r14d, %r8d
cmovael %r14d, %r8d
cmpl %ebp, %r10d
cmovbel %ebp, %r10d
subl %r8d, %r10d
movl 0x7082(%rip), %edx      # 0x10214
cmpl %edx, %r10d
jbe 0x9205
movq 0x8(%rsp), %rdi
movl 0x50(%rdi), %eax
xorl %r13d, %r13d
cmpq %rax, %r12
je 0x91e3
leaq 0x4095(%rip), %rbx      # 0xd243
movq %rbx, %rdi
movl %r12d, %esi
xorl %eax, %eax
callq 0x2030
movq 0x70a6(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x91da
movl 0x7047(%rip), %ecx      # 0x10214
movq %rbx, %rsi
movl %r12d, %edx
xorl %eax, %eax
callq 0x22d0
movq 0x8(%rsp), %rdi
movl %r12d, 0x50(%rdi)
movq 0x10(%rsp), %rsi
movl 0x1c(%rsp), %ebx
addl %r13d, %ebx
movl 0x28(%rsi), %ecx
incq %r12
movl %ecx, %eax
cmpq %rax, %r12
jb 0x8fd4
jmp 0x9297
movl %r8d, (%rdi,%rcx,4)
movl %r10d, (%r9,%rcx,4)
incl 0x70e9(%rip)            # 0x102fc
leal 0x1(%rcx), %edx
movq 0x40(%rsp), %rax
movq 0x38(%rsp), %rsi
leaq (%rax,%rsi,8), %rsi
addq $0x10, %rsi
movl %edx, %eax
movl (%rdi,%rax,4), %edx
cmpl %r8d, %edx
jb 0x923e
movzbl %r10b, %r11d
addl %r8d, %r11d
cmpl %r11d, %edx
jbe 0x9257
cmpl %edx, %r8d
jb 0x9288
movl (%r9,%rax,4), %ebx
addl %edx, %ebx
cmpl %ebx, %r8d
ja 0x9288
movzbl %r10b, %r11d
addl %r8d, %r11d
jmp 0x925d
movl (%r9,%rax,4), %ebx
addl %edx, %ebx
cmpl %r8d, %edx
cmovbl %edx, %r8d
cmpl %r11d, %ebx
cmoval %ebx, %r11d
movl %r8d, (%rdi,%rcx,4)
subl %r8d, %r11d
movl %r11d, (%r9,%rcx,4)
movl $0xf0000000, (%rdi,%rax,4) # imm = 0xF0000000
movl $0x0, (%r9,%rax,4)
movl %r11d, %r10d
incl %eax
xorl %edx, %edx
divl (%rsi)
cmpl %edx, %ecx
jne 0x9228
jmp 0x9149
testl %ebx, %ebx
movb $0x1, %bpl
movq 0x20(%rsp), %r15
je 0x92f4
cmpl $0x1, %ebx
leaq 0x413d(%rip), %rax      # 0xd3ea
leaq 0x314a(%rip), %r14      # 0xc3fe
cmoveq %rax, %r14
leaq 0x3ef8(%rip), %rdi      # 0xd1b7
movl %ebx, %esi
movq %r14, %rdx
xorl %eax, %eax
callq 0x2030
movq 0x10(%rsp), %rsi
movq 0x6f91(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x92f4
leaq 0x3ed4(%rip), %rsi      # 0xd1b7
movl %ebx, %edx
movq %r14, %rcx
xorl %eax, %eax
callq 0x22d0
movq 0x10(%rsp), %rsi
movq 0x10(%rsi), %rdx
movq 0x18(%rsi), %rcx
leaq 0x3ef3(%rip), %rdi      # 0xd1f6
movq %rsi, %rbx
movq %r15, %rsi
xorl %eax, %eax
callq 0x2030
movq 0x6f51(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x9335
movq 0x10(%rbx), %rcx
movq 0x18(%rbx), %r8
leaq 0x3ecb(%rip), %rsi      # 0xd1f6
movq %r15, %rdx
xorl %eax, %eax
callq 0x22d0
movl %ebp, %eax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x224b(%rip), %rdi      # 0xb598
xorl %eax, %eax
callq 0x2030
movq 0x6f0d(%rip), %rcx      # 0x10268
testq %rcx, %rcx
je 0x9376
leaq 0x2231(%rip), %rdi      # 0xb598
movl $0x24, %esi
movl $0x1, %edx
callq 0x23b0
leaq 0x1ec0(%rip), %rdi      # 0xb23d
leaq 0x3f0e(%rip), %rsi      # 0xd292
leaq 0x1ec2(%rip), %rdx      # 0xb24d
movl $0x3ea, %ecx            # imm = 0x3EA
xorl %eax, %eax
callq 0x2030
movq 0x6eca(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x94c4
leaq 0x1e8f(%rip), %rsi      # 0xb23d
leaq 0x3edd(%rip), %rdx      # 0xd292
leaq 0x1e91(%rip), %rcx      # 0xb24d
movl $0x3ea, %r8d            # imm = 0x3EA
jmp 0x94bd
leaq 0x21ca(%rip), %rdi      # 0xb598
xorl %eax, %eax
callq 0x2030
movq 0x6e8c(%rip), %rcx      # 0x10268
testq %rcx, %rcx
je 0x93f7
leaq 0x21b0(%rip), %rdi      # 0xb598
movl $0x24, %esi
movl $0x1, %edx
callq 0x23b0
leaq 0x1e3f(%rip), %rdi      # 0xb23d
leaq 0x3e8d(%rip), %rsi      # 0xd292
leaq 0x1e41(%rip), %rdx      # 0xb24d
movl $0x3eb, %ecx            # imm = 0x3EB
xorl %eax, %eax
callq 0x2030
movq 0x6e49(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x94c4
leaq 0x1e0e(%rip), %rsi      # 0xb23d
leaq 0x3e5c(%rip), %rdx      # 0xd292
leaq 0x1e10(%rip), %rcx      # 0xb24d
movl $0x3eb, %r8d            # imm = 0x3EB
jmp 0x94bd
leaq 0x214c(%rip), %rdi      # 0xb598
xorl %eax, %eax
callq 0x2030
movq 0x6e0e(%rip), %rcx      # 0x10268
testq %rcx, %rcx
je 0x9475
leaq 0x2132(%rip), %rdi      # 0xb598
movl $0x24, %esi
movl $0x1, %edx
callq 0x23b0
leaq 0x1dc1(%rip), %rdi      # 0xb23d
leaq 0x3d21(%rip), %rsi      # 0xd1a4
leaq 0x1dc3(%rip), %rdx      # 0xb24d
movl $0x408, %ecx            # imm = 0x408
xorl %eax, %eax
callq 0x2030
movq 0x6dcb(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x94c4
leaq 0x1d94(%rip), %rsi      # 0xb23d
leaq 0x3cf4(%rip), %rdx      # 0xd1a4
leaq 0x1d96(%rip), %rcx      # 0xb24d
movl $0x408, %r8d            # imm = 0x408
xorl %eax, %eax
callq 0x22d0
movl $0x1, %edi
callq 0x2230