user: 请从给定的汇编指令推导出C源代码：

```asm
<splitspeci>:
  endbr64
  push   %r15
  mov    %ecx,%r10d
  mov    %rsi,%r15
  push   %r14
  mov    %rdi,%r14
  push   %r13
  mov    %edx,%r13d
  push   %r12
  mov    %r9,%r12
  push   %rbp
  mov    %r8,%rbp
  push   %rbx
  sub    $0x28,%rsp
  mov    0x80(%rsp),%ebx
  mov    0x60(%rsp),%r9
  mov    0x68(%rsp),%r8
  test   %ebx,%ebx
  jle    L143
  movslq %ebx,%rcx
  lea    0x0(,%rcx,4),%rdx
  lea    (%r12,%rdx,1),%rax
  cmp    %rax,%rbp
  jae    L115
  lea    0x0(%rbp,%rdx,1),%rax
  cmp    %rax,%r12
  jb     L11
L115:
  xor    %esi,%esi
  mov    %rbp,%rdi
  mov    %r8,0x68(%rsp)
  mov    %r9,0x60(%rsp)
  mov    %r10d,0x14(%rsp)
  movss  %xmm1,0x1c(%rsp)
  movss  %xmm0,0x18(%rsp)
  mov    %rdx,0x8(%rsp)
  call   <memset@plt>
  mov    0x8(%rsp),%rdx
  xor    %esi,%esi
  mov    %r12,%rdi
  call   <memset@plt>
  mov    0x14(%rsp),%r10d
  mov    0x60(%rsp),%r9
  mov    0x68(%rsp),%r8
  movss  0x18(%rsp),%xmm0
  movss  0x1c(%rsp),%xmm1
L72:
  mov    0x78(%rsp),%eax
  cmp    %eax,0x70(%rsp)
  jge    L116
L15:
  mov    0x70(%rsp),%ecx
  mov    0x78(%rsp),%edi
  add    %r10d,%ecx
  add    %r10d,%edi
  nopl   0x0(%rax,%rax,1)
L73:
  mov    %ecx,%eax
  add    $0x1,%ecx
  cltd
  idiv   %ebx
  movslq %edx,%rsi
  mov    (%r14,%rsi,4),%eax
  add    %r13d,%eax
  cltd
  idiv   %ebx
  mov    (%r15,%rsi,4),%eax
  add    %r13d,%eax
  movslq %edx,%rdx
  movss  (%r9,%rdx,4),%xmm2
  movss  %xmm2,0x0(%rbp,%rdx,4)
  cltd
  idiv   %ebx
  movslq %edx,%rdx
  movss  (%r9,%rdx,4),%xmm2
  movss  %xmm2,(%r12,%rdx,4)
  cmp    %edi,%ecx
  jne    L73
  test   %ebx,%ebx
  jle    L93
L116:
  mov    %ebx,%ebx
  xor    %eax,%eax
  pxor   %xmm5,%xmm5
  nopl   (%rax)
L77:
  movss  0x0(%rbp,%rax,4),%xmm2
  movss  (%r12,%rax,4),%xmm3
  ucomiss %xmm5,%xmm2
  jp     L21
  jne    L21
  ucomiss %xmm5,%xmm3
  jp     L21
  movaps %xmm5,%xmm4
  je     L61
L21:
  mulss  %xmm0,%xmm3
  mulss  %xmm1,%xmm2
  movaps %xmm3,%xmm4
  addss  %xmm2,%xmm4
L61:
  movss  %xmm4,(%r8,%rax,4)
  add    $0x1,%rax
  cmp    %rbx,%rax
  jne    L77
L93:
  add    $0x28,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L11:
  xor    %eax,%eax
  nopl   0x0(%rax)
L113:
  movl   $0x0,0x0(%rbp,%rax,4)
  movl   $0x0,(%r12,%rax,4)
  add    $0x1,%rax
  cmp    %rax,%rcx
  jne    L113
  jmp    L72
  xchg   %ax,%ax
L143:
  mov    0x78(%rsp),%eax
  cmp    %eax,0x70(%rsp)
  jl     L15
  jmp    L93
```

assistant: ```c
void splitspeci(int *current_binsplit, int *last_binsplit, int bin_offset, int table_offset, float *current_mag, float *last_mag, float *inmag, float *dest_mag, int start, int end, int n, float oldfrac, float newfrac) {
  int i;
  int bindex;
  for (i = 0; i < n; i++) {
    last_mag[i] = current_mag[i] = 0.0;
  }
  for (i = start; i < end; i++) {
    bindex = current_binsplit[(i + table_offset) % n];
    bindex = (bindex + bin_offset) % n;
    current_mag[bindex] = inmag[bindex];
    bindex = last_binsplit[(i + table_offset) % n];
    bindex = (bindex + bin_offset) % n;
    last_mag[bindex] = inmag[bindex];
  }
  for (i = 0; i < n; i++) {
    if (!current_mag[i] && !last_mag[i]) {
      dest_mag[i] = 0.0;
    } else {
      dest_mag[i] = oldfrac * last_mag[i] + newfrac * current_mag[i];
    }
  }
}
```