user: What would the C source look like for the assembly code provided here:

```asm
<WebRtcIsac_NormLatticeFilterMa>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x1000,%rsp
  orq    $0x0,(%rsp)
  sub    $0x188,%rsp
  mov    %edi,%r15d
  mov    %rsi,%r14
  mov    %rdx,%r13
  mov    %r9,%rax
  mov    %fs:0x28,%rdx
  mov    %rdx,0x1178(%rsp)
  xor    %edx,%edx
  lea    0x1(%rdi),%edi
  mov    %edi,0x8(%rsp)
  movslq %r15d,%rdx
  lea    0x0(,%r15,8),%ebx
  mov    %ebx,0xc(%rsp)
  movslq %edi,%rsi
  lea    0x0(,%rsi,8),%rdi
  mov    %rdi,0x10(%rsp)
  lea    0x8(%r8),%rdi
  mov    %rdi,(%rsp)
  mov    %r9,%rbx
  mov    %rcx,%rbp
  add    $0x780,%rax
  mov    %rax,0x18(%rsp)
  lea    (%rdx,%rdx,4),%rax
  shl    $0x5,%rax
  lea    0x130(%rsp,%rax,1),%r12
  lea    0xc0(%rsp),%rax
  mov    %rax,0x20(%rsp)
  lea    0xc8(%rsp),%rax
  mov    %rax,0x28(%rsp)
L36:
  mov    D1(%rip),%rax
  mov    %rax,0xc0(%rsp)
  mov    0xc(%rsp),%edx
  mov    (%rsp),%rsi
  mov    0x28(%rsp),%rdi
  call   <memcpy@plt>
  lea    0x60(%rsp),%rcx
  lea    0x30(%rsp),%rdx
  mov    %r15d,%esi
  mov    0x20(%rsp),%rdi
  call   <WebRtcIsac_Dir2Lat@plt>
  mov    (%rsp),%rax
  pxor   %xmm5,%xmm5
  cvtsd2ss -0x8(%rax),%xmm5
  test   %r15d,%r15d
  jle    L38
  mov    %r15d,%edx
  mov    $0x0,%eax
L29:
  movss  0x60(%rsp,%rax,4),%xmm0
  mulss  %xmm0,%xmm5
  movss  D2(%rip),%xmm1
  divss  %xmm0,%xmm1
  movss  %xmm1,0x90(%rsp,%rax,4)
  add    $0x1,%rax
  cmp    %rdx,%rax
  jne    L29
L38:
  mov    $0x0,%eax
L49:
  movss  0x0(%rbp,%rax,1),%xmm0
  movss  %xmm0,0x130(%rsp,%rax,1)
  movss  %xmm0,0x950(%rsp,%rax,1)
  add    $0x4,%rax
  cmp    $0xa0,%rax
  jne    L49
  cmpl   $0x1,0x8(%rsp)
  jle    L26
  lea    0x9f0(%rsp),%rcx
  lea    0x1d0(%rsp),%rdx
  lea    -0x1(%r15),%r8d
  mov    $0x0,%eax
  lea    0x90(%rsp),%rdi
  lea    0x60(%rsp),%rsi
L37:
  movss  0x30(%rsp,%rax,4),%xmm2
  movss  0x0(%r13,%rax,4),%xmm0
  movaps %xmm2,%xmm1
  mulss  %xmm0,%xmm1
  addss  -0xa0(%rdx),%xmm1
  mulss  (%rdi,%rax,4),%xmm1
  movss  %xmm1,(%rdx)
  mulss  (%rsi,%rax,4),%xmm0
  mulss  %xmm1,%xmm2
  addss  %xmm2,%xmm0
  movss  %xmm0,(%rcx)
  mov    %rax,%r9
  add    $0x1,%rax
  add    $0xa0,%rcx
  add    $0xa0,%rdx
  cmp    %r8,%r9
  jne    L37
L26:
  test   %r15d,%r15d
  jle    L19
  lea    0x9f4(%rsp),%rdi
  lea    0x270(%rsp),%rcx
  mov    %r15d,%r8d
  mov    $0x0,%esi
L39:
  movss  0x90(%rsp,%rsi,4),%xmm4
  movss  0x30(%rsp,%rsi,4),%xmm2
  movss  0x60(%rsp,%rsi,4),%xmm3
  lea    -0x9c(%rcx),%rax
  mov    %rdi,%rdx
L129:
  movss  -0xa4(%rdx),%xmm1
  movaps %xmm2,%xmm0
  mulss  %xmm1,%xmm0
  addss  -0xa0(%rax),%xmm0
  mulss  %xmm4,%xmm0
  movss  %xmm0,(%rax)
  mulss  %xmm3,%xmm1
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,(%rdx)
  add    $0x4,%rax
  add    $0x4,%rdx
  cmp    %rcx,%rax
  jne    L129
  add    $0x1,%rsi
  add    $0xa0,%rdi
  add    $0xa0,%rcx
  cmp    %r8,%rsi
  jne    L39
L19:
  mov    $0x0,%eax
L86:
  movaps %xmm5,%xmm0
  mulss  (%r12,%rax,4),%xmm0
  cvtss2sd %xmm0,%xmm0
  movsd  %xmm0,(%rbx,%rax,8)
  add    $0x1,%rax
  cmp    $0x28,%rax
  jne    L86
  cmpl   $0x0,0x8(%rsp)
  jle    L110
  mov    %r15d,%esi
  mov    $0x9c,%edx
  mov    $0x0,%eax
L15:
  movss  0x130(%rsp,%rdx,1),%xmm0
  movss  %xmm0,(%r14,%rax,4)
  movss  0x950(%rsp,%rdx,1),%xmm0
  movss  %xmm0,0x0(%r13,%rax,4)
  mov    %rax,%rcx
  add    $0x1,%rax
  add    $0xa0,%rdx
  cmp    %rcx,%rsi
  jne    L15
L110:
  mov    0x10(%rsp),%rdi
  add    %rdi,(%rsp)
  add    $0x140,%rbx
  add    $0xa0,%rbp
  cmp    0x18(%rsp),%rbx
  jne    L36
  mov    0x1178(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L45
  add    $0x1188,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L45:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D1
type_infered: byte[8]
name: extract_symbolic_data
arguments: label: D2
type_infered: byte[4]

tool: {"D1": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

tool: {"D2": [0x00,0x00,0x80,0x3f]}

assistant: ```c
void WebRtcIsac_NormLatticeFilterMa(int orderCoef, float *stateF, float *stateG, float *lat_in, double *filtcoeflo, double *lat_out) {
  int n, k, i, u, temp1;
  int ord_1 = orderCoef + 1;
  float sth[12];
  float cth[12];
  float inv_cth[12];
  double a[12 + 1];
  float f[12 + 1][(80 / 2)], g[12 + 1][(80 / 2)];
  float gain1;
  for (u = 0; u < 6; u++) {
    temp1 = u * ord_1;
    a[0] = 1;
    memcpy(a + 1, filtcoeflo + temp1 + 1, sizeof(double) * (ord_1 - 1));
    WebRtcIsac_Dir2Lat(a, orderCoef, sth, cth);
    gain1 = (float)filtcoeflo[temp1];
    for (k = 0; k < orderCoef; k++) {
      gain1 *= cth[k];
      inv_cth[k] = 1 / cth[k];
    }
    for (i = 0; i < (80 / 2); i++) {
      f[0][i] = lat_in[i + u * (80 / 2)];
      g[0][i] = lat_in[i + u * (80 / 2)];
    }
    for (i = 1; i < ord_1; i++) {
      f[i][0] = inv_cth[i - 1] * (f[i - 1][0] + sth[i - 1] * stateG[i - 1]);
      g[i][0] = cth[i - 1] * stateG[i - 1] + sth[i - 1] * f[i][0];
    }
    for (k = 0; k < orderCoef; k++) {
      for (n = 0; n < ((80 / 2) - 1); n++) {
        f[k + 1][n + 1] = inv_cth[k] * (f[k][n + 1] + sth[k] * g[k][n]);
        g[k + 1][n + 1] = cth[k] * g[k][n] + sth[k] * f[k + 1][n + 1];
      }
    }
    for (n = 0; n < (80 / 2); n++) {
      lat_out[n + u * (80 / 2)] = gain1 * f[orderCoef][n];
    }
    for (i = 0; i < ord_1; i++) {
      stateF[i] = f[i][(80 / 2) - 1];
      stateG[i] = g[i][(80 / 2) - 1];
    }
  }
  return;
}
```