// File: /workspace/github_c_makefile_star2_O1/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 $0x38, %rsp
movq 0x18(%rdi), %rax
testq %rax, %rax
je 0x9222
movl %ecx, %r13d
movl %edx, %ebx
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 0x7524(%rip), %rdi      # 0x10360
movl 0x8(%rsi,%rdi), %edx
testq %rdx, %rdx
je 0x8e60
addq %rsi, %rdi
movq (%rdi), %rdi
xorl %r8d, %r8d
xorl %esi, %esi
cmpq %rbp, (%rdi,%rsi,8)
je 0x8e65
incq %rsi
cmpq %rsi, %rdx
jne 0x8e50
jmp 0x8e77
xorl %r8d, %r8d
jmp 0x8e77
shll $0x4, %ecx
leaq 0x174f1(%rip), %rdx     # 0x20360
movq (%rcx,%rdx), %rcx
movq (%rcx,%rsi,8), %r8
xorq %rax, %rbp
movl %ebp, %eax
andl $0xfff, %eax            # imm = 0xFFF
shll $0x4, %eax
leaq 0x274e5(%rip), %rcx     # 0x30370
leaq (%rcx,%rax), %r15
movl 0x8(%rax,%rcx), %r12d
testq %r12, %r12
je 0x8eb0
movq (%r15), %rax
xorl %ecx, %ecx
cmpq %rbp, (%rax,%rcx,8)
je 0x9222
incq %rcx
cmpl %ecx, %r12d
jne 0x8e9e
testb $0x7f, %r12b
movq %r8, 0x8(%rsp)
jne 0x8ee0
movq (%r15), %rdi
leal 0x81(%r12), %esi
shlq $0x3, %rsi
callq 0x2370
movq 0x8(%rsp), %r8
movq %rax, (%r15)
testq %rax, %rax
je 0x93d6
movq (%r15), %rax
leal 0x1(%r12), %ecx
movl %ecx, 0x8(%r15)
movq %rbp, (%rax,%r12,8)
incl 0x73fe(%rip)            # 0x102f4
movb $0x1, %bpl
testb %r13b, %r13b
je 0x92c6
leaq 0x4199(%rip), %rdi      # 0xd0a2
movq %r8, %r15
callq 0xa226
movq %rax, %r12
movq %rax, %rdi
movq %r15, %rsi
callq 0x73eb
testb %bl, %bl
je 0x9283
movq %r12, 0x20(%rsp)
movq 0x10(%rsp), %rdx
cmpl $0x0, 0x28(%rdx)
je 0x9229
movzbl %bl, %ecx
movq %rcx, 0x28(%rsp)
leal (%rcx,%r14), %ebp
movl %eax, %eax
movq %rax, 0x30(%rsp)
leaq 0x42ee(%rip), %rbx      # 0xd243
xorl %r12d, %r12d
xorl %r13d, %r13d
movq 0x8(%rsp), %rdi
movq 0x48(%rdx), %rax
cmpb $0x0, (%rax,%r12)
je 0x9211
movl %r13d, 0x1c(%rsp)
movq 0x58(%rdi), %rax
leaq (%r12,%r12,2), %r9
leaq (%rax,%r9,8), %r13
movl 0x10(%r13), %esi
testq %rsi, %rsi
je 0x8ffd
movq (%r13), %rcx
leaq (%rax,%r9,8), %r11
addq $0x8, %r11
xorl %edi, %edi
xorl %r10d, %r10d
movl (%rcx,%rdi,4), %r8d
cmpl $0xf0000000, %r8d       # imm = 0xF0000000
je 0x8ff3
cmpl %r14d, %r8d
ja 0x8fbe
movq 0x8(%r13), %rdx
movl (%rdx,%rdi,4), %edx
addl %r8d, %edx
cmpl %ebp, %edx
jae 0x91e4
cmpl %r14d, %r8d
setae %dl
cmpl %ebp, %r8d
setbe %r15b
testb %r15b, %dl
jne 0x90db
cmpl %r14d, %r8d
ja 0x8fec
movq 0x8(%r13), %rdx
movl (%rdx,%rdi,4), %edx
addl %r8d, %edx
cmpl %r14d, %edx
jae 0x90db
movq (%r11), %rdx
addl (%rdx,%rdi,4), %r10d
incq %rdi
cmpq %rdi, %rsi
jne 0x8f9a
jmp 0x9000
xorl %r10d, %r10d
movl 0x720e(%rip), %edx      # 0x10214
cmpl %edx, %r10d
ja 0x9102
testb $0x7f, %sil
movq 0x8(%rsp), %rdi
jne 0x9065
movq (%r13), %rdi
movl $0x81, %r15d
addl %r15d, %esi
shlq $0x2, %rsi
callq 0x2370
movq %rax, (%r13)
movq 0x8(%r13), %rdi
movl 0x10(%r13), %esi
addl %r15d, %esi
shlq $0x2, %rsi
callq 0x2370
movq 0x8(%rsp), %rdi
movq %rax, 0x8(%r13)
testq %rax, %rax
je 0x9358
cmpq $0x0, (%r13)
je 0x9358
movq (%r13), %rax
movl 0x10(%r13), %ecx
movl %r14d, (%rax,%rcx,4)
movq 0x8(%r13), %rax
movl 0x10(%r13), %ecx
leal 0x1(%rcx), %edx
movl %edx, 0x10(%r13)
movq 0x28(%rsp), %rdx
movl %edx, (%rax,%rcx,4)
movl 0x68(%rdi), %esi
testb $0x7f, %sil
jne 0x90b6
movq 0x60(%rdi), %rdi
addl $0x81, %esi
shlq $0x2, %rsi
callq 0x2370
movq 0x8(%rsp), %rdi
movq %rax, 0x60(%rdi)
testq %rax, %rax
je 0x92d7
movq 0x60(%rdi), %rax
movl 0x68(%rdi), %ecx
leal 0x1(%rcx), %edx
movl %edx, 0x68(%rdi)
movl %r12d, (%rax,%rcx,4)
incl 0x722f(%rip)            # 0x102fc
movl $0x1, %r15d
xorl %r13d, %r13d
jmp 0x91ef
cmpl %r14d, %r8d
movl %r14d, %r10d
cmovbl %r8d, %r10d
movq 0x8(%r13), %rsi
addl (%rsi,%rdi,4), %r8d
cmpl %ebp, %r8d
cmovbel %ebp, %r8d
subl %r10d, %r8d
movl 0x7117(%rip), %edx      # 0x10214
cmpl %edx, %r8d
jbe 0x9153
movq 0x8(%rsp), %rdi
movl 0x50(%rdi), %eax
xorl %r15d, %r15d
movb $0x1, %r13b
cmpq %rax, %r12
je 0x91ef
movq %rbx, %rdi
movl %r12d, %esi
xorl %eax, %eax
callq 0x2030
movq 0x713b(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x9145
movl 0x70dc(%rip), %ecx      # 0x10214
movq %rbx, %rsi
movl %r12d, %edx
xorl %eax, %eax
callq 0x22d0
movq 0x8(%rsp), %rdi
movl %r12d, 0x50(%rdi)
jmp 0x91ef
movl %r10d, (%rcx,%rdi,4)
movq (%r11), %r11
movl %r8d, (%r11,%rdi,4)
incl 0x7198(%rip)            # 0x102fc
leal 0x1(%rdi), %edx
leaq (%rax,%r9,8), %r9
addq $0x10, %r9
movl %edx, %eax
movl (%rcx,%rax,4), %edx
cmpl %r10d, %edx
jb 0x9185
movzbl %r8b, %r15d
addl %r10d, %r15d
cmpl %r15d, %edx
jbe 0x9196
cmpl %edx, %r10d
jb 0x91ce
movl (%rsi,%rax,4), %r15d
addl %edx, %r15d
cmpl %r15d, %r10d
ja 0x91ce
cmpl %r10d, %edx
movl %r10d, %r15d
cmovbl %edx, %r15d
addl (%rsi,%rax,4), %edx
movzbl %r8b, %r8d
addl %r10d, %r8d
cmpl %r8d, %edx
cmoval %edx, %r8d
movl %r15d, (%rcx,%rdi,4)
subl %r15d, %r8d
movl %r8d, (%r11,%rdi,4)
movl $0xf0000000, (%rcx,%rax,4) # imm = 0xF0000000
movl $0x0, (%r11,%rax,4)
movl %r15d, %r10d
incl %eax
xorl %r13d, %r13d
xorl %edx, %edx
divl (%r9)
cmpl %edx, %edi
jne 0x916f
movl $0x1, %r15d
jmp 0x91ea
xorl %r15d, %r15d
movb $0x1, %r13b
movq 0x8(%rsp), %rdi
testb %r13b, %r13b
movq 0x10(%rsp), %rdx
jne 0x9209
movq 0x7140(%rip), %rax      # 0x10340
movq 0x30(%rsp), %rcx
movb $0x1, (%rax,%rcx)
movl 0x1c(%rsp), %r13d
addl %r15d, %r13d
incq %r12
movl 0x28(%rdx), %eax
cmpq %rax, %r12
jb 0x8f60
jmp 0x922c
xorl %ebp, %ebp
jmp 0x92c6
xorl %r13d, %r13d
testl %r13d, %r13d
movb $0x1, %bpl
movq 0x20(%rsp), %r12
je 0x9283
cmpl $0x1, %r13d
leaq 0x41a6(%rip), %rax      # 0xd3ea
leaq 0x31b3(%rip), %r14      # 0xc3fe
cmoveq %rax, %r14
leaq 0x3f61(%rip), %rdi      # 0xd1b7
movl %r13d, %esi
movq %r14, %rdx
xorl %eax, %eax
callq 0x2030
movq 0x6ffe(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x9283
leaq 0x3f41(%rip), %rsi      # 0xd1b7
movl %r13d, %edx
movq %r14, %rcx
xorl %eax, %eax
callq 0x22d0
movq 0x10(%rsp), %rbx
movq 0x10(%rbx), %rdx
movq 0x18(%rbx), %rcx
leaq 0x3f5f(%rip), %rdi      # 0xd1f6
movq %r12, %rsi
xorl %eax, %eax
callq 0x2030
movq 0x6fc0(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x92c6
movq 0x10(%rbx), %rcx
movq 0x18(%rbx), %r8
leaq 0x3f3a(%rip), %rsi      # 0xd1f6
movq %r12, %rdx
xorl %eax, %eax
callq 0x22d0
movl %ebp, %eax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x22ba(%rip), %rdi      # 0xb598
xorl %eax, %eax
callq 0x2030
movq 0x6f7c(%rip), %rcx      # 0x10268
testq %rcx, %rcx
je 0x9307
leaq 0x22a0(%rip), %rdi      # 0xb598
movl $0x24, %esi
movl $0x1, %edx
callq 0x23b0
leaq 0x1f2f(%rip), %rdi      # 0xb23d
leaq 0x3f7d(%rip), %rsi      # 0xd292
leaq 0x1f31(%rip), %rdx      # 0xb24d
movl $0x3eb, %ecx            # imm = 0x3EB
xorl %eax, %eax
callq 0x2030
movq 0x6f39(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x9455
leaq 0x1efe(%rip), %rsi      # 0xb23d
leaq 0x3f4c(%rip), %rdx      # 0xd292
leaq 0x1f00(%rip), %rcx      # 0xb24d
movl $0x3eb, %r8d            # imm = 0x3EB
jmp 0x944e
leaq 0x2239(%rip), %rdi      # 0xb598
xorl %eax, %eax
callq 0x2030
movq 0x6efb(%rip), %rcx      # 0x10268
testq %rcx, %rcx
je 0x9388
leaq 0x221f(%rip), %rdi      # 0xb598
movl $0x24, %esi
movl $0x1, %edx
callq 0x23b0
leaq 0x1eae(%rip), %rdi      # 0xb23d
leaq 0x3efc(%rip), %rsi      # 0xd292
leaq 0x1eb0(%rip), %rdx      # 0xb24d
movl $0x3ea, %ecx            # imm = 0x3EA
xorl %eax, %eax
callq 0x2030
movq 0x6eb8(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x9455
leaq 0x1e7d(%rip), %rsi      # 0xb23d
leaq 0x3ecb(%rip), %rdx      # 0xd292
leaq 0x1e7f(%rip), %rcx      # 0xb24d
movl $0x3ea, %r8d            # imm = 0x3EA
jmp 0x944e
leaq 0x21bb(%rip), %rdi      # 0xb598
xorl %eax, %eax
callq 0x2030
movq 0x6e7d(%rip), %rcx      # 0x10268
testq %rcx, %rcx
je 0x9406
leaq 0x21a1(%rip), %rdi      # 0xb598
movl $0x24, %esi
movl $0x1, %edx
callq 0x23b0
leaq 0x1e30(%rip), %rdi      # 0xb23d
leaq 0x3d90(%rip), %rsi      # 0xd1a4
leaq 0x1e32(%rip), %rdx      # 0xb24d
movl $0x408, %ecx            # imm = 0x408
xorl %eax, %eax
callq 0x2030
movq 0x6e3a(%rip), %rdi      # 0x10268
testq %rdi, %rdi
je 0x9455
leaq 0x1e03(%rip), %rsi      # 0xb23d
leaq 0x3d63(%rip), %rdx      # 0xd1a4
leaq 0x1e05(%rip), %rcx      # 0xb24d
movl $0x408, %r8d            # imm = 0x408
xorl %eax, %eax
callq 0x22d0
movl $0x1, %edi
callq 0x2230