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

```asm
<halveImage_float>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x50,%rsp
  mov    %edi,-0x34(%rbp)
  mov    %esi,-0x38(%rbp)
  mov    %edx,-0x3c(%rbp)
  mov    %rcx,-0x48(%rbp)
  mov    %r8,-0x50(%rbp)
  mov    %r9d,-0x40(%rbp)
  cmpl   $0x1,-0x38(%rbp)
  je     L109
  cmpl   $0x1,-0x3c(%rbp)
  jne    L188
L109:
  cmpl   $0x1,-0x38(%rbp)
  jne    L173
  cmpl   $0x1,-0x3c(%rbp)
  je     L191
L173:
  mov    $0x1,%eax
  jmp    L164
L191:
  mov    $0x0,%eax
L164:
  mov    %eax,%edi
  call   <assert@plt>
  mov    -0x40(%rbp),%r9d
  mov    -0x50(%rbp),%r8
  mov    -0x48(%rbp),%rcx
  mov    -0x3c(%rbp),%edx
  mov    -0x38(%rbp),%esi
  mov    -0x34(%rbp),%eax
  sub    $0x8,%rsp
  mov    0x20(%rbp),%edi
  push   %rdi
  mov    0x18(%rbp),%edi
  push   %rdi
  mov    0x10(%rbp),%edi
  push   %rdi
  mov    %eax,%edi
  call   <halve1Dimage_float@plt>
  add    $0x20,%rsp
  jmp    L181
L188:
  mov    -0x38(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x3c(%rbp),%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  mov    %eax,-0x18(%rbp)
  mov    -0x38(%rbp),%eax
  imul   0x18(%rbp),%eax
  mov    %eax,%edx
  mov    0x10(%rbp),%eax
  sub    %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x50(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x48(%rbp),%rax
  mov    %rax,-0x8(%rbp)
  cmpl   $0x0,0x20(%rbp)
  jne    L88
  movl   $0x0,-0x28(%rbp)
  jmp    L100
L91:
  movl   $0x0,-0x24(%rbp)
  jmp    L176
L124:
  movl   $0x0,-0x20(%rbp)
  jmp    L134
L187:
  mov    -0x8(%rbp),%rax
  mov    (%rax),%edx
  mov    0x18(%rbp),%eax
  movslq %eax,%rcx
  mov    -0x8(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%eax
  lea    (%rdx,%rax,1),%ecx
  mov    0x10(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  add    %eax,%ecx
  mov    0x10(%rbp),%eax
  movslq %eax,%rdx
  mov    0x18(%rbp),%eax
  cltq
  add    %rax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  add    %ecx,%eax
  lea    0x3(%rax),%edx
  test   %eax,%eax
  cmovs  %edx,%eax
  sar    $0x2,%eax
  mov    %eax,%edx
  mov    -0x10(%rbp),%rax
  mov    %edx,(%rax)
  addq   $0x4,-0x10(%rbp)
  mov    -0x40(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  addl   $0x1,-0x20(%rbp)
L134:
  mov    -0x20(%rbp),%eax
  cmp    -0x34(%rbp),%eax
  jl     L187
  mov    0x18(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  addl   $0x1,-0x24(%rbp)
L176:
  mov    -0x24(%rbp),%eax
  cmp    -0x1c(%rbp),%eax
  jl     L124
  mov    -0x14(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  mov    0x10(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  addl   $0x1,-0x28(%rbp)
L100:
  mov    -0x28(%rbp),%eax
  cmp    -0x18(%rbp),%eax
  jl     L91
  jmp    L181
L88:
  movl   $0x0,-0x28(%rbp)
  jmp    L17
L59:
  movl   $0x0,-0x24(%rbp)
  jmp    L184
L116:
  movl   $0x0,-0x20(%rbp)
  jmp    L32
L179:
  mov    -0x8(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%eax
  shl    $0x18,%eax
  mov    %eax,%edx
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  shl    $0x10,%eax
  or     %eax,%edx
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  shl    $0x8,%eax
  or     %eax,%edx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%eax
  or     %edx,%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x2c(%rbp),%edx
  mov    -0x10(%rbp),%rax
  mov    %edx,(%rax)
  mov    0x18(%rbp),%eax
  cltq
  lea    0xc(%rax),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  shl    $0x18,%eax
  mov    %eax,%edx
  mov    0x18(%rbp),%eax
  cltq
  lea    0x8(%rax),%rcx
  mov    -0x8(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%eax
  shl    $0x10,%eax
  or     %eax,%edx
  mov    0x18(%rbp),%eax
  cltq
  lea    0x4(%rax),%rcx
  mov    -0x8(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%eax
  shl    $0x8,%eax
  mov    %edx,%ecx
  or     %eax,%ecx
  mov    0x18(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  or     %ecx,%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x10(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x2c(%rbp),%eax
  add    %eax,%edx
  mov    -0x10(%rbp),%rax
  mov    %edx,(%rax)
  mov    0x10(%rbp),%eax
  cltq
  lea    0xc(%rax),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  shl    $0x18,%eax
  mov    %eax,%edx
  mov    0x10(%rbp),%eax
  cltq
  lea    0x8(%rax),%rcx
  mov    -0x8(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%eax
  shl    $0x10,%eax
  or     %eax,%edx
  mov    0x10(%rbp),%eax
  cltq
  lea    0x4(%rax),%rcx
  mov    -0x8(%rbp),%rax
  add    %rcx,%rax
  mov    (%rax),%eax
  shl    $0x8,%eax
  mov    %edx,%ecx
  or     %eax,%ecx
  mov    0x10(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  or     %ecx,%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x10(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x2c(%rbp),%eax
  add    %eax,%edx
  mov    -0x10(%rbp),%rax
  mov    %edx,(%rax)
  mov    0x10(%rbp),%eax
  movslq %eax,%rdx
  mov    0x18(%rbp),%eax
  cltq
  add    %rdx,%rax
  lea    0xc(%rax),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  shl    $0x18,%eax
  mov    %eax,%ecx
  mov    0x10(%rbp),%eax
  movslq %eax,%rdx
  mov    0x18(%rbp),%eax
  cltq
  add    %rdx,%rax
  lea    0x8(%rax),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  shl    $0x10,%eax
  or     %eax,%ecx
  mov    0x10(%rbp),%eax
  movslq %eax,%rdx
  mov    0x18(%rbp),%eax
  cltq
  add    %rdx,%rax
  lea    0x4(%rax),%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  shl    $0x8,%eax
  or     %eax,%ecx
  mov    0x10(%rbp),%eax
  movslq %eax,%rdx
  mov    0x18(%rbp),%eax
  cltq
  add    %rax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    (%rax),%eax
  or     %ecx,%eax
  mov    %eax,-0x2c(%rbp)
  mov    -0x10(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x2c(%rbp),%eax
  add    %eax,%edx
  mov    -0x10(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x10(%rbp),%rax
  mov    (%rax),%eax
  lea    0x3(%rax),%edx
  test   %eax,%eax
  cmovs  %edx,%eax
  sar    $0x2,%eax
  mov    %eax,%edx
  mov    -0x10(%rbp),%rax
  mov    %edx,(%rax)
  addq   $0x4,-0x10(%rbp)
  mov    -0x40(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  addl   $0x1,-0x20(%rbp)
L32:
  mov    -0x20(%rbp),%eax
  cmp    -0x34(%rbp),%eax
  jl     L179
  mov    0x18(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  addl   $0x1,-0x24(%rbp)
L184:
  mov    -0x24(%rbp),%eax
  cmp    -0x1c(%rbp),%eax
  jl     L116
  mov    -0x14(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  mov    0x10(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  addl   $0x1,-0x28(%rbp)
L17:
  mov    -0x28(%rbp),%eax
  cmp    -0x18(%rbp),%eax
  jl     L59
L181:
  leave
  ret
```

assistant: ```c
void halveImage_float(GLint components, GLuint width, GLuint height, const GLfloat *datain, GLfloat *dataout, GLint element_size, GLint ysize, GLint group_size, GLint myswap_bytes) {
  int i, j, k;
  int newwidth, newheight;
  int padBytes;
  GLfloat *s;
  const char *t;
  if (width == 1 || height == 1) {
    assert(!(width == 1 && height == 1));
    halve1Dimage_float(components, width, height, datain, dataout, element_size, ysize, group_size, myswap_bytes);
    return;
  }
  newwidth = width / 2;
  newheight = height / 2;
  padBytes = ysize - (width * group_size);
  s = dataout;
  t = (const char *)datain;
  if (!myswap_bytes)
    for (i = 0; i < newheight; i++) {
      for (j = 0; j < newwidth; j++) {
        for (k = 0; k < components; k++) {
          s[0] = (*(const GLfloat *)t + *(const GLfloat *)(t + group_size) + *(const GLfloat *)(t + ysize) + *(const GLfloat *)(t + ysize + group_size)) / 4;
          s++;
          t += element_size;
        }
        t += group_size;
      }
      t += padBytes;
      t += ysize;
    }
  else
    for (i = 0; i < newheight; i++) {
      for (j = 0; j < newwidth; j++) {
        for (k = 0; k < components; k++) {
          union {
            GLuint b;
            GLfloat f;
          } swapbuf;
          swapbuf.b = (GLuint)(((GLuint)((const GLubyte *)(t))[3]) << 24 | ((GLuint)((const GLubyte *)(t))[2]) << 16 | ((GLuint)((const GLubyte *)(t))[1]) << 8 | ((const GLubyte *)(t))[0]);
          s[0] = swapbuf.f;
          swapbuf.b = (GLuint)(((GLuint)((const GLubyte *)(t + group_size))[3]) << 24 | ((GLuint)((const GLubyte *)(t + group_size))[2]) << 16 | ((GLuint)((const GLubyte *)(t + group_size))[1]) << 8 | ((const GLubyte *)(t + group_size))[0]);
          s[0] += swapbuf.f;
          swapbuf.b = (GLuint)(((GLuint)((const GLubyte *)(t + ysize))[3]) << 24 | ((GLuint)((const GLubyte *)(t + ysize))[2]) << 16 | ((GLuint)((const GLubyte *)(t + ysize))[1]) << 8 | ((const GLubyte *)(t + ysize))[0]);
          s[0] += swapbuf.f;
          swapbuf.b = (GLuint)(((GLuint)((const GLubyte *)(t + ysize + group_size))[3]) << 24 | ((GLuint)((const GLubyte *)(t + ysize + group_size))[2]) << 16 | ((GLuint)((const GLubyte *)(t + ysize + group_size))[1]) << 8 | ((const GLubyte *)(t + ysize + group_size))[0]);
          s[0] += swapbuf.f;
          s[0] /= 4;
          s++;
          t += element_size;
        }
        t += group_size;
      }
      t += padBytes;
      t += ysize;
    }
}
```