// File: /workspace/github_c_makefile_star2_O2/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), %r15
testq %r15, %r15
je 0x8605
movl %ecx, %r13d
movl %edx, %r12d
movl %esi, %r14d
movq %rdi, 0x20(%rsp)
movq 0x10(%rdi), %rbp
movq %rbp, %rdi
callq 0x997d
movq %rax, %rsi
xorq %rbp, %r15
movl %r15d, %eax
andl $0xfff, %eax            # imm = 0xFFF
shll $0x4, %eax
leaq 0x27d8a(%rip), %rcx     # 0x30370
leaq (%rcx,%rax), %rbx
movl 0x8(%rax,%rcx), %ebp
xorl %eax, %eax
cmpq %rax, %rbp
je 0x8618
movq (%rbx), %rcx
leaq 0x1(%rax), %rdx
cmpq %r15, (%rcx,%rax,8)
movq %rdx, %rax
jne 0x85f0
xorl %ebp, %ebp
movl %ebp, %eax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq (%rbx), %rax
testb $0x7f, %bpl
movq %rsi, 0x10(%rsp)
jne 0x8649
leal 0x81(%rbp), %esi
shlq $0x3, %rsi
movq %rax, %rdi
callq 0x2370
movq 0x10(%rsp), %rsi
movq %rax, (%rbx)
testq %rax, %rax
je 0x8b5b
leal 0x1(%rbp), %ecx
movl %ecx, 0x8(%rbx)
movq %r15, (%rax,%rbp,8)
incl 0x7c9b(%rip)            # 0x102f4
movb $0x1, %bpl
testb %r13b, %r13b
je 0x8607
leaq 0x4a3a(%rip), %rdi      # 0xd0a2
movq %rsi, %rbx
callq 0x9a6e
movq %rax, 0x28(%rsp)
movq %rax, %rdi
movq %rbx, %rsi
callq 0x691f
testb %r12b, %r12b
je 0x8a13
movzbl %r12b, %ecx
movq %rcx, 0x30(%rsp)
leal (%rcx,%r14), %ebp
movl %eax, %eax
movq %rax, 0x38(%rsp)
xorl %esi, %esi
xorl %ebx, %ebx
movq 0x20(%rsp), %rcx
movq 0x10(%rsp), %rdi
movl 0x28(%rcx), %eax
cmpq %rax, %rsi
jae 0x89c5
movq %rsi, 0x18(%rsp)
movq 0x48(%rcx), %rax
movq 0x18(%rsp), %rdx
cmpb $0x0, (%rax,%rdx)
movq 0x18(%rsp), %rsi
je 0x89bd
movl %ebx, 0xc(%rsp)
movq 0x58(%rdi), %rax
imulq $0x18, %rsi, %r15
leaq (%rax,%r15), %r13
movq %rax, 0x40(%rsp)
addq %r15, %rax
addq $0x8, %rax
movl 0x8(%rax), %esi
xorl %ecx, %ecx
xorl %ebx, %ebx
cmpq %rcx, %rsi
je 0x8761
movq (%r13), %rdi
movl (%rdi,%rcx,4), %r8d
cmpl $0xf0000000, %r8d       # imm = 0xF0000000
je 0x875c
cmpl %r14d, %r8d
jbe 0x8723
cmpl %ebp, %r8d
jbe 0x87f0
movq (%rax), %rdx
movl (%rdx,%rcx,4), %edx
jmp 0x8758
movq 0x8(%r13), %r9
movl (%r9,%rcx,4), %edx
leal (%rdx,%r8), %r10d
cmpl %ebp, %r10d
jae 0x87e8
cmpl %r14d, %r8d
setae %r12b
cmpl %ebp, %r8d
setbe %r11b
testb %r11b, %r12b
jne 0x87fb
cmpl %r14d, %r10d
jae 0x87fb
addl %ebx, %edx
movl %edx, %ebx
incq %rcx
jmp 0x86f7
movl 0x7aad(%rip), %edx      # 0x10214
cmpl %edx, %ebx
jbe 0x8789
movq 0x10(%rsp), %rdi
movl 0x50(%rdi), %eax
xorl %r15d, %r15d
movq 0x18(%rsp), %rsi
cmpq %rax, %rsi
jne 0x87a0
movl 0xc(%rsp), %ebx
jmp 0x89b5
movq (%r13), %rdi
testb $0x7f, %sil
je 0x88ed
movq 0x8(%r13), %rax
jmp 0x8932
leaq 0x4a9c(%rip), %r12      # 0xd243
movq %r12, %rdi
movq %rsi, %r13
xorl %eax, %eax
callq 0x2030
movq 0x7aad(%rip), %rdi      # 0x10268
testq %rdi, %rdi
movl 0xc(%rsp), %ebx
je 0x87d7
movl 0x7a4a(%rip), %ecx      # 0x10214
movq %r12, %rsi
movl %r13d, %edx
xorl %eax, %eax
callq 0x22d0
movq 0x10(%rsp), %rdi
movl %r13d, 0x50(%rdi)
movq %r13, %rsi
jmp 0x89b5
xorl %r15d, %r15d
jmp 0x89a7
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 0x7a02(%rip), %edx      # 0x10214
cmpl %edx, %r10d
jbe 0x885d
movq 0x10(%rsp), %rdi
movl 0x50(%rdi), %eax
xorl %r15d, %r15d
movq 0x18(%rsp), %rsi
cmpq %rax, %rsi
movl 0xc(%rsp), %ebx
je 0x89b5
leaq 0x4a08(%rip), %r12      # 0xd243
movq %r12, %rdi
movq %rsi, %r13
xorl %eax, %eax
callq 0x2030
movq 0x7a19(%rip), %rdi      # 0x10268
testq %rdi, %rdi
jne 0x87c4
jmp 0x87d7
movl %r8d, (%rdi,%rcx,4)
movl %r10d, (%r9,%rcx,4)
incl 0x7a91(%rip)            # 0x102fc
leal 0x1(%rcx), %eax
movq 0x40(%rsp), %rdx
leaq (%rdx,%r15), %rsi
addq $0x10, %rsi
cmpl %ecx, %eax
je 0x8993
movl %eax, %edx
movl (%rdi,%rdx,4), %r11d
movzbl %r10b, %r13d
cmpl %r8d, %r11d
jb 0x889b
leal (%r8,%r13), %ebx
cmpl %ebx, %r11d
jbe 0x88b4
cmpl %r11d, %r8d
jb 0x88e3
movl (%r9,%rdx,4), %r15d
addl %r11d, %r15d
cmpl %r15d, %r8d
ja 0x88e3
addl %r8d, %r13d
movl %r13d, %ebx
jmp 0x88bb
movl (%r9,%rdx,4), %r15d
addl %r11d, %r15d
cmpl %r8d, %r11d
cmovbl %r11d, %r8d
cmpl %ebx, %r15d
cmoval %r15d, %ebx
movl %r8d, (%rdi,%rcx,4)
subl %r8d, %ebx
movl %ebx, (%r9,%rcx,4)
movl $0xf0000000, (%rdi,%rdx,4) # imm = 0xF0000000
andl $0x0, (%r9,%rdx,4)
movl %ebx, %r10d
incl %eax
xorl %edx, %edx
divl (%rsi)
movl %edx, %eax
jmp 0x887b
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 0x8a64
movq (%r13), %rdi
testq %rdi, %rdi
je 0x8a64
movl 0x10(%r13), %esi
movl %r14d, (%rdi,%rsi,4)
movl 0x10(%r13), %ecx
leal 0x1(%rcx), %edx
movl %edx, 0x10(%r13)
movq 0x30(%rsp), %rdx
movl %edx, (%rax,%rcx,4)
movq 0x10(%rsp), %rbx
movl 0x68(%rbx), %esi
movq 0x60(%rbx), %rax
testb $0x7f, %sil
jne 0x897d
addl $0x81, %esi
shlq $0x2, %rsi
movq %rax, %rdi
callq 0x2370
movq %rax, 0x60(%rbx)
testq %rax, %rax
je 0x8ae1
movl 0x68(%rbx), %esi
leal 0x1(%rsi), %ecx
movl %ecx, 0x68(%rbx)
movl %esi, %ecx
movq 0x18(%rsp), %rdx
movl %edx, (%rax,%rcx,4)
incl 0x7969(%rip)            # 0x102fc
movq 0x79a6(%rip), %rax      # 0x10340
movq 0x38(%rsp), %rcx
movb $0x1, (%rax,%rcx)
pushq $0x1
popq %r15
movq 0x10(%rsp), %rdi
movl 0xc(%rsp), %ebx
movq 0x18(%rsp), %rsi
addl %r15d, %ebx
movq 0x20(%rsp), %rcx
incq %rsi
jmp 0x86ab
testl %ebx, %ebx
movb $0x1, %bpl
je 0x8a13
cmpl $0x1, %ebx
leaq 0x4a14(%rip), %rax      # 0xd3ea
leaq 0x3a21(%rip), %r14      # 0xc3fe
cmoveq %rax, %r14
leaq 0x47cf(%rip), %rdi      # 0xd1b7
movl %ebx, %esi
movq %r14, %rdx
xorl %eax, %eax
callq 0x2030
movq 0x786d(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x8a13
leaq 0x47b0(%rip), %rsi      # 0xd1b7
movl %ebx, %edx
movq %r14, %rcx
xorl %eax, %eax
callq 0x22d0
movq 0x20(%rsp), %rbx
movq 0x10(%rbx), %rdx
movq 0x18(%rbx), %rcx
leaq 0x47cf(%rip), %rdi      # 0xd1f6
movq 0x28(%rsp), %r14
movq %r14, %rsi
xorl %eax, %eax
callq 0x2030
movq 0x782b(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x8607
movq 0x10(%rbx), %rcx
movq 0x18(%rbx), %r8
leaq 0x47a1(%rip), %rsi      # 0xd1f6
movq %r14, %rdx
xorl %eax, %eax
callq 0x22d0
jmp 0x8607
leaq 0x2b2d(%rip), %rdi      # 0xb598
xorl %eax, %eax
callq 0x2030
movq 0x77ef(%rip), %rcx      # 0x10268
testq %rcx, %rcx
je 0x8a90
leaq 0x2b13(%rip), %rdi      # 0xb598
pushq $0x24
popq %rsi
pushq $0x1
popq %rdx
callq 0x23b0
leaq 0x27a6(%rip), %rdi      # 0xb23d
leaq 0x47f4(%rip), %rsi      # 0xd292
leaq 0x27a8(%rip), %rdx      # 0xb24d
movl $0x3ea, %ecx            # imm = 0x3EA
xorl %eax, %eax
callq 0x2030
movq 0x77b0(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x8bd6
leaq 0x2775(%rip), %rsi      # 0xb23d
leaq 0x47c3(%rip), %rdx      # 0xd292
leaq 0x2777(%rip), %rcx      # 0xb24d
movl $0x3ea, %r8d            # imm = 0x3EA
jmp 0x8bcf
leaq 0x2ab0(%rip), %rdi      # 0xb598
xorl %eax, %eax
callq 0x2030
movq 0x7772(%rip), %rcx      # 0x10268
testq %rcx, %rcx
je 0x8b0d
leaq 0x2a96(%rip), %rdi      # 0xb598
pushq $0x24
popq %rsi
pushq $0x1
popq %rdx
callq 0x23b0
leaq 0x2729(%rip), %rdi      # 0xb23d
leaq 0x4777(%rip), %rsi      # 0xd292
leaq 0x272b(%rip), %rdx      # 0xb24d
movl $0x3eb, %ecx            # imm = 0x3EB
xorl %eax, %eax
callq 0x2030
movq 0x7733(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x8bd6
leaq 0x26f8(%rip), %rsi      # 0xb23d
leaq 0x4746(%rip), %rdx      # 0xd292
leaq 0x26fa(%rip), %rcx      # 0xb24d
movl $0x3eb, %r8d            # imm = 0x3EB
jmp 0x8bcf
leaq 0x2a36(%rip), %rdi      # 0xb598
xorl %eax, %eax
callq 0x2030
movq 0x76f8(%rip), %rcx      # 0x10268
testq %rcx, %rcx
je 0x8b87
leaq 0x2a1c(%rip), %rdi      # 0xb598
pushq $0x24
popq %rsi
pushq $0x1
popq %rdx
callq 0x23b0
leaq 0x26af(%rip), %rdi      # 0xb23d
leaq 0x460f(%rip), %rsi      # 0xd1a4
leaq 0x26b1(%rip), %rdx      # 0xb24d
movl $0x408, %ecx            # imm = 0x408
xorl %eax, %eax
callq 0x2030
movq 0x76b9(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x8bd6
leaq 0x2682(%rip), %rsi      # 0xb23d
leaq 0x45e2(%rip), %rdx      # 0xd1a4
leaq 0x2684(%rip), %rcx      # 0xb24d
movl $0x408, %r8d            # imm = 0x408
xorl %eax, %eax
callq 0x22d0
pushq $0x1
popq %rdi
callq 0x2230