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

```asm
<mergeSort>:
  endbr64
  lea    (%rsi,%rdx,1),%eax
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  mov    %eax,%r12d
  push   %rbp
  shr    $0x1f,%r12d
  push   %rbx
  add    %eax,%r12d
  sar    %r12d
  sub    $0x8,%rsp
  cmp    %r12d,%esi
  jl     L76
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  cs nopw 0x0(%rax,%rax,1)
L76:
  lea    (%rsi,%r12,1),%eax
  mov    %rdi,%r15
  mov    %esi,%ebp
  mov    %edx,%r13d
  mov    %eax,%r14d
  shr    $0x1f,%r14d
  add    %eax,%r14d
  sar    %r14d
  cmp    %r14d,%esi
  jl     L85
L25:
  lea    0x0(%r13,%r12,1),%eax
  mov    %eax,%r14d
  shr    $0x1f,%r14d
  add    %eax,%r14d
  sar    %r14d
  cmp    %r14d,%r12d
  jl     L7
L30:
  add    $0x8,%rsp
  mov    %r13d,%ecx
  mov    %r12d,%edx
  mov    %ebp,%esi
  pop    %rbx
  mov    %r15,%rdi
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1050 <merge@plt>
  nopl   0x0(%rax,%rax,1)
L85:
  lea    (%rsi,%r14,1),%eax
  mov    %eax,%ebx
  shr    $0x1f,%ebx
  add    %eax,%ebx
  sar    %ebx
  cmp    %ebx,%esi
  jl     L128
L122:
  lea    (%r12,%r14,1),%eax
  mov    %eax,%ebx
  shr    $0x1f,%ebx
  add    %eax,%ebx
  sar    %ebx
  cmp    %ebx,%r14d
  jl     L66
L103:
  mov    %r12d,%ecx
  mov    %r14d,%edx
  mov    %ebp,%esi
  mov    %r15,%rdi
  call   <merge@plt>
  jmp    L25
  nopl   0x0(%rax)
L7:
  lea    (%r12,%r14,1),%eax
  mov    %eax,%ebx
  shr    $0x1f,%ebx
  add    %eax,%ebx
  sar    %ebx
  cmp    %ebx,%r12d
  jl     L123
L31:
  lea    0x0(%r13,%r14,1),%eax
  mov    %eax,%ebx
  shr    $0x1f,%ebx
  add    %eax,%ebx
  sar    %ebx
  cmp    %ebx,%r14d
  jl     L105
L71:
  mov    %r13d,%ecx
  mov    %r14d,%edx
  mov    %r12d,%esi
  mov    %r15,%rdi
  call   <merge@plt>
  jmp    L30
  nopw   0x0(%rax,%rax,1)
L128:
  mov    %ebx,%edx
  call   <mergeSort>
  mov    %r14d,%edx
  mov    %ebx,%esi
  mov    %r15,%rdi
  call   <mergeSort>
  mov    %r14d,%ecx
  mov    %ebx,%edx
  mov    %ebp,%esi
  mov    %r15,%rdi
  call   <merge@plt>
  jmp    L122
  nopl   0x0(%rax,%rax,1)
L105:
  mov    %ebx,%edx
  mov    %r14d,%esi
  mov    %r15,%rdi
  call   <mergeSort>
  mov    %r13d,%edx
  mov    %ebx,%esi
  mov    %r15,%rdi
  call   <mergeSort>
  mov    %r13d,%ecx
  mov    %ebx,%edx
  mov    %r14d,%esi
  mov    %r15,%rdi
  call   <merge@plt>
  jmp    L71
  nopl   0x0(%rax)
L123:
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %r15,%rdi
  call   <mergeSort>
  mov    %r14d,%edx
  mov    %ebx,%esi
  mov    %r15,%rdi
  call   <mergeSort>
  mov    %r14d,%ecx
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %r15,%rdi
  call   <merge@plt>
  jmp    L31
  nop
L66:
  mov    %ebx,%edx
  mov    %r14d,%esi
  mov    %r15,%rdi
  call   <mergeSort>
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r15,%rdi
  call   <mergeSort>
  mov    %r12d,%ecx
  mov    %ebx,%edx
  mov    %r14d,%esi
  mov    %r15,%rdi
  call   <merge@plt>
  jmp    L103
```

assistant: ```c
void mergeSort(int array[], int lo, int hi) {
  int mid = (lo + hi) / 2;
  if (mid > lo) {
    mergeSort(array, lo, mid);
    mergeSort(array, mid, hi);
    merge(array, lo, mid, hi);
  }
}
```