user: What is the c source code of the assembly code below?

```asm
<addHighbandEnergies>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rsi,-0x18(%rsp)
  mov    %rdx,-0x10(%rsp)
  test   %r8d,%r8d
  jle    L69
  lea    (%r9,%r8,2),%eax
  mov    %rdi,%r10
  mov    %ecx,%r13d
  mov    %r8d,%r12d
  mov    %eax,-0x1c(%rsp)
  lea    -0x1(%rcx),%eax
  mov    %r9d,%edi
  mov    %rsi,%r14
  lea    0x0(,%rax,4),%r15
  mov    %rax,-0x28(%rsp)
  xor    %r11d,%r11d
  lea    0x4(%r15),%rax
  mov    %rax,-0x8(%rsp)
L58:
  mov    -0x8(%rsp),%rax
  mov    -0x10(%rsp),%rbx
  mov    %r14,%rsi
  lea    (%rax,%r14,1),%rbp
  test   %r13d,%r13d
  jle    L41
  nopw   0x0(%rax,%rax,1)
L104:
  movl   $0x0,(%rsi)
  movzbl (%rbx),%edx
  movzbl 0x1(%rbx),%eax
  cmp    %al,%dl
  jae    L11
  sub    $0x1,%eax
  movzbl %dl,%r8d
  sub    %edx,%eax
  lea    0x0(,%r8,4),%rcx
  lea    0x1(%r8,%rax,1),%r8
  shl    $0x2,%r8
  nopl   0x0(%rax,%rax,1)
L95:
  test   %r9d,%r9d
  jle    L105
  movss  (%rsi),%xmm0
  mov    %r11d,%eax
  nopl   0x0(%rax)
L96:
  mov    %eax,%edx
  add    $0x1,%eax
  sar    %edx
  movslq %edx,%rdx
  mov    (%r10,%rdx,8),%rdx
  addss  (%rdx,%rcx,1),%xmm0
  movss  %xmm0,(%rsi)
  cmp    %edi,%eax
  jne    L96
L105:
  add    $0x4,%rcx
  cmp    %r8,%rcx
  jne    L95
L11:
  add    $0x4,%rsi
  add    $0x1,%rbx
  cmp    %rbp,%rsi
  jne    L104
L41:
  add    $0x6c,%r14
  add    $0x2,%r11d
  add    $0x2,%edi
  cmp    -0x1c(%rsp),%edi
  jne    L58
  lea    -0x1(%r12),%eax
  mov    -0x18(%rsp),%rbx
  mov    $0xfffffffffffffffc,%rcx
  movss  D11(%rip),%xmm0
  lea    (%rax,%rax,2),%rax
  sub    %r15,%rcx
  lea    (%rax,%rax,8),%rax
  add    -0x28(%rsp),%rax
  lea    0x4(%rbx,%r15,1),%rdx
  lea    0x70(%rbx,%rax,4),%rsi
L18:
  lea    (%rcx,%rdx,1),%rax
  test   %r13d,%r13d
  jle    L22
  nopw   0x0(%rax,%rax,1)
L60:
  addss  (%rax),%xmm0
  add    $0x4,%rax
  cmp    %rax,%rdx
  jne    L60
L22:
  add    $0x6c,%rdx
  cmp    %rsi,%rdx
  jne    L18
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L69:
  pop    %rbx
  movss  D11(%rip),%xmm0
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D11
data_type: f32

tool: D11: 1

assistant: ```c
float addHighbandEnergies(float **Energies, float EnergiesM[16][27], unsigned char *freqBandTable, int nSfb, int sbrSlots, int timeStep) {
  int i, j, k, slotIn, slotOut;
  int li, ui;
  float nrgTotal = 1.0;
  ;
  ;
  ;
  for (slotOut = 0; slotOut < sbrSlots; slotOut++) {
    ;
    slotIn = 2 * slotOut;
    ;
    ;
    for (j = 0; j < nSfb; j++) {
      ;
      EnergiesM[slotOut][j] = 0;
      ;
      li = freqBandTable[j];
      ui = freqBandTable[j + 1];
      ;
      for (k = li; k < ui; k++) {
        ;
        ;
        for (i = 0; i < timeStep; i++) {
          ;
          ;
          EnergiesM[slotOut][j] += Energies[(slotIn + i) / 2][k];
        }
      }
    }
  };
  for (slotOut = 0; slotOut < sbrSlots; slotOut++) {
    ;
    ;
    for (j = 0; j < nSfb; j++) {
      ;
      nrgTotal += EnergiesM[slotOut][j];
    }
  };
  return (nrgTotal);
}
```