user: 请从给定的汇编指令推导出C源代码:

```asm
<floatshrinkarray>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  mov    %esi,%ebp
  push   %rbx
  mov    %edx,%ebx
  sub    $0x38,%rsp
  mov    %rdi,0x8(%rsp)
  lea    0x24(%rsp),%rdx
  lea    0x28(%rsp),%rsi
  mov    %ecx,0x2c(%rsp)
  lea    0x2c(%rsp),%rdi
  lea    0x70(%rsp),%rcx
  mov    %r8d,0x28(%rsp)
  mov    %ebp,%r8d
  mov    %r9d,0x24(%rsp)
  mov    %ebx,%r9d
  call   <checkifinarray@plt>
  movslq 0x2c(%rsp),%rax
  mov    0x24(%rsp),%r10d
  cmp    %r10d,%eax
  je     L128
  mov    0x28(%rsp),%ecx
  mov    0x70(%rsp),%edx
  cmp    %edx,%ecx
  je     L128
  mov    %eax,%edi
  or     %ecx,%edi
  sete   %dil
  cmp    %ebx,%edx
  sete   %sil
  test   %sil,%dil
  je     L44
  cmp    %ebp,%r10d
  je     L49
L44:
  sub    %ecx,%edx
  movslq %ebx,%rsi
  sub    %eax,%r10d
  mov    0x8(%rsp),%rbx
  movslq %edx,%rdx
  imul   %rsi,%rax
  movslq %ecx,%rdi
  movslq %r10d,%r10
  lea    0x0(,%rdx,4),%r12
  mov    (%rbx),%r14
  mov    %rdx,0x18(%rsp)
  mov    %rdx,%rbx
  lea    -0x1(%r12),%r15
  sub    %rsi,%rbx
  lea    0x0(,%rsi,4),%r13
  xor    %r8d,%r8d
  mov    %r15,%rbp
  lea    (%rdi,%rax,1),%rdx
  lea    0x1(%rdi,%rax,1),%rdi
  mov    %r14,%rcx
  shr    $0x2,%rbp
  mov    %r14,0x10(%rsp)
  neg    %rdi
  lea    (%r14,%rdx,4),%rdx
  shl    $0x2,%rbx
  add    $0x1,%rbp
  shl    $0x2,%rdi
  mov    %rbp,%rax
  mov    %rbp,%rsi
  and    $0xfffffffffffffffc,%rax
  shr    $0x2,%rsi
  mov    %rax,(%rsp)
  shl    $0x4,%rsi
  lea    0x0(,%rax,4),%r11
L12:
  mov    %rcx,%rax
  add    %r12,%rcx
  mov    %rdx,%r9
  cmp    %rcx,%rax
  jae    L121
  cmp    $0x8,%rdi
  jbe    L25
  cmp    $0xb,%r15
  jbe    L25
  xor    %r9d,%r9d
  nopl   (%rax)
L79:
  movups (%rdx,%r9,1),%xmm1
  movups %xmm1,(%rax,%r9,1)
  add    $0x10,%r9
  cmp    %rsi,%r9
  jne    L79
  lea    (%rdx,%r11,1),%r9
  add    %r11,%rax
  cmp    (%rsp),%rbp
  je     L121
  movss  (%r9),%xmm0
  lea    0x4(%rax),%r14
  movss  %xmm0,(%rax)
  cmp    %r14,%rcx
  jbe    L121
  movss  0x4(%r9),%xmm0
  lea    0x8(%rax),%r14
  movss  %xmm0,0x4(%rax)
  cmp    %r14,%rcx
  jbe    L121
  movss  0x8(%r9),%xmm0
  movss  %xmm0,0x8(%rax)
L121:
  add    $0x1,%r8
  add    %r13,%rdx
  add    %rbx,%rdi
  cmp    %r8,%r10
  jne    L12
  mov    0x18(%rsp),%rsi
  mov    0x10(%rsp),%rdi
  imul   %r10,%rsi
  shl    $0x2,%rsi
  call   <realloc@plt>
  mov    0x8(%rsp),%rbx
  xor    %edi,%edi
  test   %rax,%rax
  mov    %rax,(%rbx)
  setne  %dil
  call   <assert@plt>
L49:
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax,%rax,1)
L25:
  movss  (%r9),%xmm0
  add    $0x4,%rax
  add    $0x4,%r9
  movss  %xmm0,-0x4(%rax)
  cmp    %rcx,%rax
  jb     L25
  jmp    L121
L128:
  mov    0x8(%rsp),%rbx
  mov    (%rbx),%rdi
  call   <free@plt>
  movq   $0x0,(%rbx)
  add    $0x38,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  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);
}
```