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

```asm
<dedisperse_kernel_lagged>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x40,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %edx,-0x34(%rbp)
  mov    %ecx,-0x38(%rbp)
  mov    %r8d,-0x3c(%rbp)
  mov    -0x34(%rbp),%eax
  and    $0x1,%eax
  test   %eax,%eax
  sete   %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  mov    -0x34(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  mov    %eax,-0x4(%rbp)
  movl   $0x0,-0x20(%rbp)
  jmp    L39
L92:
  movl   $0x0,-0x1c(%rbp)
  jmp    L99
L36:
  mov    -0x20(%rbp),%eax
  add    %eax,%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x1c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rax,%rdx
  mov    -0x20(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0x30(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%rcx
  mov    -0x1c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rcx,%rax
  movss  (%rdx),%xmm0
  movss  %xmm0,(%rax)
  addl   $0x1,-0x1c(%rbp)
L99:
  mov    -0x1c(%rbp),%eax
  cmp    -0x3c(%rbp),%eax
  jl     L36
  mov    -0x3c(%rbp),%eax
  mov    %eax,-0x18(%rbp)
  jmp    L33
L69:
  mov    -0x20(%rbp),%eax
  add    %eax,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x18(%rbp),%eax
  sub    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rdx,%rax
  movss  (%rax),%xmm1
  mov    -0x20(%rbp),%eax
  add    %eax,%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x18(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  mov    -0x20(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x18(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rdx,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  addl   $0x1,-0x18(%rbp)
L33:
  mov    -0x18(%rbp),%eax
  cmp    -0x38(%rbp),%eax
  jl     L69
  mov    -0x38(%rbp),%eax
  mov    %eax,-0x14(%rbp)
  jmp    L122
L64:
  mov    -0x20(%rbp),%eax
  add    %eax,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x14(%rbp),%eax
  sub    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rax,%rdx
  mov    -0x20(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0x30(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%rcx
  mov    -0x14(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rcx,%rax
  movss  (%rdx),%xmm0
  movss  %xmm0,(%rax)
  addl   $0x1,-0x14(%rbp)
L122:
  mov    -0x38(%rbp),%edx
  mov    -0x3c(%rbp),%eax
  add    %edx,%eax
  cmp    %eax,-0x14(%rbp)
  jl     L64
  movl   $0x0,-0x10(%rbp)
  jmp    L90
L88:
  mov    -0x20(%rbp),%eax
  add    %eax,%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x10(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rax,%rdx
  mov    -0x20(%rbp),%ecx
  mov    -0x4(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0x30(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%rcx
  mov    -0x10(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rcx,%rax
  movss  (%rdx),%xmm0
  movss  %xmm0,(%rax)
  addl   $0x1,-0x10(%rbp)
L90:
  mov    -0x3c(%rbp),%eax
  cmp    -0x10(%rbp),%eax
  jge    L88
  mov    -0x3c(%rbp),%eax
  add    $0x1,%eax
  mov    %eax,-0xc(%rbp)
  jmp    L23
L46:
  mov    -0x20(%rbp),%eax
  add    %eax,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0xc(%rbp),%eax
  sub    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  sub    $0x4,%rax
  add    %rdx,%rax
  movss  (%rax),%xmm1
  mov    -0x20(%rbp),%eax
  add    %eax,%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0xc(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rdx,%rax
  movss  (%rax),%xmm0
  mov    -0x20(%rbp),%edx
  mov    -0x4(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0xc(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rdx,%rax
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rax)
  addl   $0x1,-0xc(%rbp)
L23:
  mov    -0xc(%rbp),%eax
  cmp    -0x38(%rbp),%eax
  jl     L46
  mov    -0x38(%rbp),%eax
  mov    %eax,-0x8(%rbp)
  jmp    L120
L130:
  mov    -0x20(%rbp),%eax
  add    %eax,%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%rdx
  mov    -0x8(%rbp),%eax
  sub    -0x3c(%rbp),%eax
  cltq
  shl    $0x2,%rax
  sub    $0x4,%rax
  add    %rax,%rdx
  mov    -0x20(%rbp),%ecx
  mov    -0x4(%rbp),%eax
  add    %ecx,%eax
  cltq
  lea    0x0(,%rax,8),%rcx
  mov    -0x30(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%rcx
  mov    -0x8(%rbp),%eax
  cltq
  shl    $0x2,%rax
  add    %rcx,%rax
  movss  (%rdx),%xmm0
  movss  %xmm0,(%rax)
  addl   $0x1,-0x8(%rbp)
L120:
  mov    -0x38(%rbp),%edx
  mov    -0x3c(%rbp),%eax
  add    %edx,%eax
  cmp    %eax,-0x8(%rbp)
  jle    L130
  addl   $0x1,-0x20(%rbp)
L39:
  mov    -0x20(%rbp),%eax
  cmp    -0x4(%rbp),%eax
  jl     L92
  nop
  nop
  leave
  ret
```

assistant: ```c
void dedisperse_kernel_lagged(float **in, float **out, int n, int m, int s) {
  assert(n % 2 == 0);
  int npair = n / 2;
  for (int jj = 0; jj < npair; jj++) {
    for (int i = 0; i < s; i++)
      out[jj][i] = in[2 * jj + 1][i];
    for (int i = s; i < m; i++)
      out[jj][i] = in[2 * jj][i - s] + in[2 * jj + 1][i];
    for (int i = m; i < m + s; i++)
      out[jj][i] = in[2 * jj][i - s];
    for (int i = 0; i < s + 1; i++)
      out[jj + npair][i] = in[2 * jj + 1][i];
    for (int i = s + 1; i < m; i++)
      out[jj + npair][i] = in[2 * jj][i - s - 1] + in[2 * jj + 1][i];
    for (int i = m; i < m + s + 1; i++)
      out[jj + npair][i] = in[2 * jj][i - s - 1];
  }
}
```