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

```asm
<floatshrinkarray>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %rdi,-0x58(%rbp)
  mov    %esi,-0x5c(%rbp)
  mov    %edx,-0x60(%rbp)
  mov    %ecx,-0x64(%rbp)
  mov    %r8d,-0x68(%rbp)
  mov    %r9d,-0x6c(%rbp)
  mov    -0x60(%rbp),%edi
  mov    -0x5c(%rbp),%ecx
  lea    -0x6c(%rbp),%rdx
  lea    -0x68(%rbp),%rsi
  lea    -0x64(%rbp),%rax
  mov    %edi,%r9d
  mov    %ecx,%r8d
  lea    0x10(%rbp),%rcx
  mov    %rax,%rdi
  call   <checkifinarray@plt>
  mov    -0x64(%rbp),%edx
  mov    -0x6c(%rbp),%eax
  cmp    %eax,%edx
  je     L112
  mov    -0x68(%rbp),%edx
  mov    0x10(%rbp),%eax
  cmp    %eax,%edx
  jne    L22
L112:
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    %rax,%rdi
  call   <free@plt>
  mov    -0x58(%rbp),%rax
  movq   $0x0,(%rax)
  jmp    L118
L22:
  mov    -0x64(%rbp),%eax
  test   %eax,%eax
  jne    L13
  mov    -0x68(%rbp),%eax
  test   %eax,%eax
  jne    L13
  mov    -0x6c(%rbp),%eax
  cmp    %eax,-0x5c(%rbp)
  jne    L13
  mov    0x10(%rbp),%eax
  cmp    %eax,-0x60(%rbp)
  je     L65
L13:
  mov    -0x6c(%rbp),%eax
  mov    -0x64(%rbp),%edx
  sub    %edx,%eax
  cltq
  mov    %rax,-0x30(%rbp)
  mov    0x10(%rbp),%eax
  mov    -0x68(%rbp),%edx
  sub    %edx,%eax
  cltq
  mov    %rax,-0x28(%rbp)
  mov    -0x64(%rbp),%eax
  cltq
  mov    %rax,-0x20(%rbp)
  mov    -0x68(%rbp),%eax
  cltq
  mov    %rax,-0x18(%rbp)
  mov    -0x60(%rbp),%eax
  cltq
  mov    %rax,-0x10(%rbp)
  movq   $0x0,-0x38(%rbp)
  jmp    L74
L25:
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rdx
  mov    -0x38(%rbp),%rax
  imul   -0x28(%rbp),%rax
  shl    $0x2,%rax
  add    %rdx,%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  mov    %rax,-0x40(%rbp)
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rdx
  mov    -0x20(%rbp),%rcx
  mov    -0x38(%rbp),%rax
  add    %rcx,%rax
  imul   -0x10(%rbp),%rax
  mov    %rax,%rcx
  mov    -0x18(%rbp),%rax
  add    %rcx,%rax
  shl    $0x2,%rax
  add    %rdx,%rax
  mov    %rax,-0x48(%rbp)
  jmp    L86
L76:
  mov    -0x48(%rbp),%rdx
  lea    0x4(%rdx),%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x40(%rbp),%rax
  lea    0x4(%rax),%rcx
  mov    %rcx,-0x40(%rbp)
  movss  (%rdx),%xmm0
  movss  %xmm0,(%rax)
L86:
  mov    -0x28(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  cmp    %rax,-0x40(%rbp)
  jb     L76
  addq   $0x1,-0x38(%rbp)
L74:
  mov    -0x38(%rbp),%rax
  cmp    -0x30(%rbp),%rax
  jb     L25
  mov    -0x30(%rbp),%rax
  imul   -0x28(%rbp),%rax
  lea    0x0(,%rax,4),%rdx
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    %rdx,%rsi
  mov    %rax,%rdi
  call   <realloc@plt>
  mov    %rax,%rdx
  mov    -0x58(%rbp),%rax
  mov    %rdx,(%rax)
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  test   %rax,%rax
  setne  %al
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  jmp    L118
L65:
  nop
L118:
  leave
  ret
```

assistant: ```c
void floatshrinkarray(float **in, int size1, int size2, int x1, int y1, int x2, int y2) {
  float *ifpt, *ofpt, *rowstart;
  size_t i, ux1, uy1, us2, w1, w2;
  checkifinarray(&x1, &y1, &x2, &y2, size1, size2);
  if (x1 == x2 || y1 == y2) {
    free(*in);
    *in = NULL;
    return;
  }
  if (x1 == 0 && y1 == 0 && x2 == size1 && y2 == size2)
    return;
  w1 = x2 - x1;
  w2 = y2 - y1;
  ux1 = x1;
  uy1 = y1;
  us2 = size2;
  for (i = 0; i < w1; i++) {
    ofpt = rowstart = *in + i * w2;
    ifpt = *in + (ux1 + i) * us2 + uy1;
    while (ofpt < rowstart + w2)
      *ofpt++ = *ifpt++;
  }
  *in = (float *)realloc(*in, w1 * w2 * sizeof(float));
  assert(*in != NULL);
}
```