user: Please show me the C implementation that matches the assembly code listed below:

```asm
<SKP_Silk_insertion_sort_increasing>:
  endbr64
  push   %r15
  mov    %rdi,%rax
  mov    %ecx,%r10d
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %edx,%ebx
  test   %ecx,%ecx
  jle    L159
  lea    -0x1(%rcx),%edx
  cmp    $0x2,%edx
  jbe    L145
  shr    $0x2,%ecx
  movdqa D9(%rip),%xmm0
  movdqa D6(%rip),%xmm2
  mov    %rsi,%rdx
  sub    $0x1,%ecx
  shl    $0x4,%rcx
  lea    0x10(%rsi,%rcx,1),%rcx
  nopl   0x0(%rax)
L15:
  movdqa %xmm0,%xmm1
  add    $0x10,%rdx
  paddd  %xmm2,%xmm0
  movups %xmm1,-0x10(%rdx)
  cmp    %rcx,%rdx
  jne    L15
  mov    %r10d,%edx
  and    $0xfffffffc,%edx
  test   $0x3,%r10b
  je     L60
L156:
  movslq %edx,%rcx
  mov    %edx,(%rsi,%rcx,4)
  lea    0x0(,%rcx,4),%rdi
  lea    0x1(%rdx),%ecx
  cmp    %ecx,%r10d
  jle    L204
  add    $0x2,%edx
  mov    %ecx,0x4(%rsi,%rdi,1)
  cmp    %edx,%r10d
  jle    L60
  mov    %edx,0x8(%rsi,%rdi,1)
L60:
  mov    %r10d,%ebp
  mov    $0x1,%r9d
  nopl   0x0(%rax)
L228:
  mov    (%rax,%r9,4),%r8d
  mov    %r9d,%r11d
  lea    -0x1(%r9),%rdx
  nopl   0x0(%rax,%rax,1)
L146:
  mov    (%rax,%rdx,4),%ecx
  cmp    %r8d,%ecx
  jle    L199
  mov    %ecx,0x4(%rax,%rdx,4)
  mov    (%rsi,%rdx,4),%ecx
  mov    %ecx,0x4(%rsi,%rdx,4)
  sub    $0x1,%rdx
  cmp    $0xffffffff,%edx
  jne    L146
  mov    %rsi,%rdx
  mov    %rax,%rcx
L213:
  add    $0x1,%r9
  mov    %r8d,(%rcx)
  mov    %r11d,(%rdx)
  cmp    %r9,%rbp
  jne    L228
L159:
  cmp    %ebx,%r10d
  jge    L40
  lea    -0x1(%r10),%edx
  lea    -0x2(%r10),%r14d
  movslq %r10d,%r9
  movslq %edx,%rdx
  movslq %r14d,%r13
  lea    -0x4(%rax,%r9,4),%r12
  shl    $0x2,%rdx
  shl    $0x2,%r13
  lea    (%rax,%rdx,1),%rdi
  lea    (%rax,%r13,1),%r15
  add    %rsi,%r13
  mov    %rdi,-0x18(%rsp)
  lea    (%rsi,%rdx,1),%rdi
  mov    %rdi,-0x10(%rsp)
  jmp    L229
  nop
L5:
  add    $0x1,%r9
  cmp    %r9d,%ebx
  jle    L40
L229:
  mov    (%rax,%r9,4),%r10d
  mov    %r9d,%ebp
  cmp    %r10d,(%r12)
  jle    L5
  mov    %r13,%rcx
  mov    %r15,%rdx
  mov    %r14d,%edi
  test   %r14d,%r14d
  js     L153
  mov    %rax,-0x20(%rsp)
  jmp    L181
  nop
L32:
  mov    %r8d,0x4(%rdx)
  mov    (%rcx),%eax
  sub    $0x1,%edi
  mov    %rcx,%r8
  sub    $0x4,%rdx
  sub    $0x4,%rcx
  mov    %eax,0x8(%rcx)
  cmp    $0xffffffff,%edi
  je     L76
L181:
  mov    (%rdx),%r8d
  mov    %rdx,%r11
  cmp    %r10d,%r8d
  jg     L32
  lea    0x1(%rdi),%r8d
  mov    -0x20(%rsp),%rax
  movslq %r8d,%r8
  shl    $0x2,%r8
  lea    (%rax,%r8,1),%r11
  add    %rsi,%r8
L110:
  add    $0x1,%r9
  mov    %r10d,(%r11)
  mov    %ebp,(%r8)
  cmp    %r9d,%ebx
  jg     L229
L40:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax,%rax,1)
L199:
  lea    0x1(%rdx),%edx
  movslq %edx,%rdx
  shl    $0x2,%rdx
  lea    (%rax,%rdx,1),%rcx
  add    %rsi,%rdx
  jmp    L213
  cs nopw 0x0(%rax,%rax,1)
L76:
  mov    -0x20(%rsp),%rax
  jmp    L110
L153:
  mov    -0x10(%rsp),%r8
  mov    -0x18(%rsp),%r11
  jmp    L110
L145:
  xor    %edx,%edx
  jmp    L156
L204:
  cmp    $0x1,%r10d
  jg     L60
  jmp    L159
```

tool_calls: name: read_data
arguments: data_tag: D9
type_infered: byte[16]
name: read_data
arguments: data_tag: D6
type_infered: byte[16]

tool: {"D9": [0x00,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x03,0x00,0x00,0x00]}

tool: {"D6": [0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x04,0x00,0x00,0x00]}

assistant: ```c
void SKP_Silk_insertion_sort_increasing(int *a, int *index, const int L, const int K) {
  int value;
  int i, j;
  ;
  ;
  ;
  for (i = 0; i < K; i++) {
    index[i] = i;
  }
  for (i = 1; i < K; i++) {
    value = a[i];
    for (j = i - 1; (j >= 0) && (value < a[j]); j--) {
      a[j + 1] = a[j];
      index[j + 1] = index[j];
    }
    a[j + 1] = value;
    index[j + 1] = i;
  }
  for (i = K; i < L; i++) {
    value = a[i];
    if (value < a[K - 1]) {
      for (j = K - 2; (j >= 0) && (value < a[j]); j--) {
        a[j + 1] = a[j];
        index[j + 1] = index[j];
      }
      a[j + 1] = value;
      index[j + 1] = i;
    }
  }
}
```