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

```asm
<SKP_Silk_decode_short_term_prediction>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x18(%rbp)
  mov    %rsi,-0x20(%rbp)
  mov    %rdx,-0x28(%rbp)
  mov    %rcx,-0x30(%rbp)
  mov    %r8d,-0x34(%rbp)
  mov    %r9d,-0x38(%rbp)
  movl   $0x0,-0xc(%rbp)
  jmp    L8
L37:
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x4(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x30(%rbp),%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x4(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  movzwl %ax,%edx
  mov    -0x30(%rbp),%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x30(%rbp),%rax
  add    $0x2,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  movzwl %ax,%edx
  mov    -0x30(%rbp),%rax
  add    $0x2,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  add    %eax,-0x8(%rbp)
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0xc(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x30(%rbp),%rax
  add    $0x4,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0xc(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  movzwl %ax,%edx
  mov    -0x30(%rbp),%rax
  add    $0x4,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  add    %eax,-0x8(%rbp)
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x10(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x30(%rbp),%rax
  add    $0x6,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x10(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  movzwl %ax,%edx
  mov    -0x30(%rbp),%rax
  add    $0x6,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  add    %eax,-0x8(%rbp)
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x14(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x30(%rbp),%rax
  add    $0x8,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x14(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  movzwl %ax,%edx
  mov    -0x30(%rbp),%rax
  add    $0x8,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  add    %eax,-0x8(%rbp)
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x18(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x30(%rbp),%rax
  add    $0xa,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x18(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  movzwl %ax,%edx
  mov    -0x30(%rbp),%rax
  add    $0xa,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  add    %eax,-0x8(%rbp)
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x1c(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x30(%rbp),%rax
  add    $0xc,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x1c(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  movzwl %ax,%edx
  mov    -0x30(%rbp),%rax
  add    $0xc,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  add    %eax,-0x8(%rbp)
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x20(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x30(%rbp),%rax
  add    $0xe,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x20(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  movzwl %ax,%edx
  mov    -0x30(%rbp),%rax
  add    $0xe,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  add    %eax,-0x8(%rbp)
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x24(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x30(%rbp),%rax
  add    $0x10,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x24(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  movzwl %ax,%edx
  mov    -0x30(%rbp),%rax
  add    $0x10,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  add    %eax,-0x8(%rbp)
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x28(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x30(%rbp),%rax
  add    $0x12,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  shl    $0x2,%rax
  lea    -0x28(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  movzwl %ax,%edx
  mov    -0x30(%rbp),%rax
  add    $0x12,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  add    %eax,-0x8(%rbp)
  movl   $0xa,-0x4(%rbp)
  jmp    L0
L24:
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  sub    -0x4(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x4(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  mov    %eax,%edx
  mov    -0x4(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rcx
  mov    -0x30(%rbp),%rax
  add    %rcx,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %edx,%ecx
  imul   %eax,%ecx
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  sub    -0x4(%rbp),%eax
  cltq
  shl    $0x2,%rax
  lea    -0x4(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  movzwl %ax,%edx
  mov    -0x4(%rbp),%eax
  cltq
  lea    (%rax,%rax,1),%rsi
  mov    -0x30(%rbp),%rax
  add    %rsi,%rax
  movzwl (%rax),%eax
  cwtl
  imul   %edx,%eax
  sar    $0x10,%eax
  add    %ecx,%eax
  add    %eax,-0x8(%rbp)
  addl   $0x1,-0x4(%rbp)
L0:
  mov    -0x4(%rbp),%eax
  cmp    -0x34(%rbp),%eax
  jl     L24
  mov    -0xc(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%ecx
  mov    -0xc(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mov    -0x8(%rbp),%edx
  add    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0xc(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x18(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%edx
  mov    -0xc(%rbp),%eax
  add    $0x10,%eax
  cltq
  lea    0x0(,%rax,4),%rcx
  mov    -0x28(%rbp),%rax
  add    %rcx,%rax
  shl    $0x4,%edx
  mov    %edx,(%rax)
  addl   $0x1,-0xc(%rbp)
L8:
  mov    -0xc(%rbp),%eax
  cmp    -0x38(%rbp),%eax
  jl     L37
  nop
  nop
  pop    %rbp
  ret
```

assistant: ```c
void SKP_Silk_decode_short_term_prediction(int *vec_Q10, int *pres_Q10, int *sLPC_Q14, short *A_Q12_tmp, int LPC_order, int subfr_length) {
  int i;
  int LPC_pred_Q10;
  int j;
  for (i = 0; i < subfr_length; i++) {
    LPC_pred_Q10 = ((((sLPC_Q14[16 + i - 1]) >> 16) * (int)((short)(A_Q12_tmp[0]))) + ((((sLPC_Q14[16 + i - 1]) & 0x0000FFFF) * (int)((short)(A_Q12_tmp[0]))) >> 16));
    LPC_pred_Q10 = ((LPC_pred_Q10) + ((((sLPC_Q14[16 + i - 2]) >> 16) * (int)((short)(A_Q12_tmp[1]))) + ((((sLPC_Q14[16 + i - 2]) & 0x0000FFFF) * (int)((short)(A_Q12_tmp[1]))) >> 16)));
    LPC_pred_Q10 = ((LPC_pred_Q10) + ((((sLPC_Q14[16 + i - 3]) >> 16) * (int)((short)(A_Q12_tmp[2]))) + ((((sLPC_Q14[16 + i - 3]) & 0x0000FFFF) * (int)((short)(A_Q12_tmp[2]))) >> 16)));
    LPC_pred_Q10 = ((LPC_pred_Q10) + ((((sLPC_Q14[16 + i - 4]) >> 16) * (int)((short)(A_Q12_tmp[3]))) + ((((sLPC_Q14[16 + i - 4]) & 0x0000FFFF) * (int)((short)(A_Q12_tmp[3]))) >> 16)));
    LPC_pred_Q10 = ((LPC_pred_Q10) + ((((sLPC_Q14[16 + i - 5]) >> 16) * (int)((short)(A_Q12_tmp[4]))) + ((((sLPC_Q14[16 + i - 5]) & 0x0000FFFF) * (int)((short)(A_Q12_tmp[4]))) >> 16)));
    LPC_pred_Q10 = ((LPC_pred_Q10) + ((((sLPC_Q14[16 + i - 6]) >> 16) * (int)((short)(A_Q12_tmp[5]))) + ((((sLPC_Q14[16 + i - 6]) & 0x0000FFFF) * (int)((short)(A_Q12_tmp[5]))) >> 16)));
    LPC_pred_Q10 = ((LPC_pred_Q10) + ((((sLPC_Q14[16 + i - 7]) >> 16) * (int)((short)(A_Q12_tmp[6]))) + ((((sLPC_Q14[16 + i - 7]) & 0x0000FFFF) * (int)((short)(A_Q12_tmp[6]))) >> 16)));
    LPC_pred_Q10 = ((LPC_pred_Q10) + ((((sLPC_Q14[16 + i - 8]) >> 16) * (int)((short)(A_Q12_tmp[7]))) + ((((sLPC_Q14[16 + i - 8]) & 0x0000FFFF) * (int)((short)(A_Q12_tmp[7]))) >> 16)));
    LPC_pred_Q10 = ((LPC_pred_Q10) + ((((sLPC_Q14[16 + i - 9]) >> 16) * (int)((short)(A_Q12_tmp[8]))) + ((((sLPC_Q14[16 + i - 9]) & 0x0000FFFF) * (int)((short)(A_Q12_tmp[8]))) >> 16)));
    LPC_pred_Q10 = ((LPC_pred_Q10) + ((((sLPC_Q14[16 + i - 10]) >> 16) * (int)((short)(A_Q12_tmp[9]))) + ((((sLPC_Q14[16 + i - 10]) & 0x0000FFFF) * (int)((short)(A_Q12_tmp[9]))) >> 16)));
    for (j = 10; j < LPC_order; j++) {
      LPC_pred_Q10 = ((LPC_pred_Q10) + ((((sLPC_Q14[16 + i - j - 1]) >> 16) * (int)((short)(A_Q12_tmp[j]))) + ((((sLPC_Q14[16 + i - j - 1]) & 0x0000FFFF) * (int)((short)(A_Q12_tmp[j]))) >> 16)));
    }
    vec_Q10[i] = ((pres_Q10[i]) + (LPC_pred_Q10));
    sLPC_Q14[16 + i] = ((vec_Q10[i]) << (4));
  }
}
```