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

```asm
<form_component_prediction>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x50,%rsp
  mov    %rdi,-0x38(%rbp)
  mov    %rsi,-0x40(%rbp)
  mov    %edx,-0x44(%rbp)
  mov    %ecx,-0x48(%rbp)
  mov    %r8d,-0x4c(%rbp)
  mov    %r9d,-0x50(%rbp)
  mov    0x20(%rbp),%eax
  sar    %eax
  mov    %eax,-0x24(%rbp)
  mov    0x28(%rbp),%eax
  sar    %eax
  mov    %eax,-0x20(%rbp)
  mov    0x18(%rbp),%edx
  mov    -0x20(%rbp),%eax
  add    %edx,%eax
  imul   -0x44(%rbp),%eax
  movslq %eax,%rdx
  mov    0x10(%rbp),%eax
  cltq
  add    %rax,%rdx
  mov    -0x24(%rbp),%eax
  cltq
  add    %rax,%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x10(%rbp)
  mov    -0x44(%rbp),%eax
  imul   0x18(%rbp),%eax
  movslq %eax,%rdx
  mov    0x10(%rbp),%eax
  cltq
  add    %rax,%rdx
  mov    -0x40(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x8(%rbp)
  mov    0x20(%rbp),%eax
  and    $0x1,%eax
  mov    %eax,-0x1c(%rbp)
  mov    0x28(%rbp),%eax
  and    $0x1,%eax
  mov    %eax,-0x18(%rbp)
  mov    -0x10(%rbp),%rax
  cmp    -0x8(%rbp),%rax
  jne    L90
  mov    $0x0,%edi
  call   <assert@plt>
L90:
  cmpl   $0x0,-0x1c(%rbp)
  jne    L76
  cmpl   $0x0,-0x18(%rbp)
  jne    L235
  cmpl   $0x0,0x30(%rbp)
  je     L495
  movl   $0x0,-0x28(%rbp)
  jmp    L303
L485:
  movl   $0x0,-0x2c(%rbp)
  jmp    L302
L239:
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%edx
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rcx
  mov    -0x10(%rbp),%rax
  add    %rcx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  not    %eax
  shr    $0x1f,%eax
  movzbl %al,%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  sar    %eax
  mov    %eax,%ecx
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    %ecx,%edx
  mov    %dl,(%rax)
  addl   $0x1,-0x2c(%rbp)
L302:
  mov    -0x2c(%rbp),%eax
  cmp    -0x4c(%rbp),%eax
  jl     L239
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x10(%rbp)
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  addl   $0x1,-0x28(%rbp)
L303:
  mov    -0x28(%rbp),%eax
  cmp    -0x50(%rbp),%eax
  jl     L485
  jmp    L502
L495:
  movl   $0x0,-0x28(%rbp)
  jmp    L431
L185:
  movl   $0x0,-0x2c(%rbp)
  jmp    L367
L403:
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  mov    -0x2c(%rbp),%edx
  movslq %edx,%rcx
  mov    -0x8(%rbp),%rdx
  add    %rcx,%rdx
  movzbl (%rax),%eax
  mov    %al,(%rdx)
  addl   $0x1,-0x2c(%rbp)
L367:
  mov    -0x2c(%rbp),%eax
  cmp    -0x4c(%rbp),%eax
  jl     L403
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x10(%rbp)
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  addl   $0x1,-0x28(%rbp)
L431:
  mov    -0x28(%rbp),%eax
  cmp    -0x50(%rbp),%eax
  jl     L185
  jmp    L502
L76:
  nop
  jmp    L34
L235:
  nop
L34:
  cmpl   $0x0,-0x1c(%rbp)
  jne    L64
  cmpl   $0x0,-0x18(%rbp)
  je     L262
  cmpl   $0x0,0x30(%rbp)
  je     L345
  movl   $0x0,-0x28(%rbp)
  jmp    L373
L178:
  movl   $0x0,-0x2c(%rbp)
  jmp    L160
L201:
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%edx
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rcx
  mov    -0x10(%rbp),%rax
  add    %rcx,%rax
  movzbl (%rax),%eax
  movzbl %al,%ecx
  mov    -0x2c(%rbp),%esi
  mov    -0x44(%rbp),%eax
  add    %esi,%eax
  movslq %eax,%rsi
  mov    -0x10(%rbp),%rax
  add    %rsi,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %ecx,%eax
  add    $0x1,%eax
  shr    %eax
  add    %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  not    %eax
  shr    $0x1f,%eax
  movzbl %al,%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  sar    %eax
  mov    %eax,%ecx
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    %ecx,%edx
  mov    %dl,(%rax)
  addl   $0x1,-0x2c(%rbp)
L160:
  mov    -0x2c(%rbp),%eax
  cmp    -0x4c(%rbp),%eax
  jl     L201
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x10(%rbp)
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  addl   $0x1,-0x28(%rbp)
L373:
  mov    -0x28(%rbp),%eax
  cmp    -0x50(%rbp),%eax
  jl     L178
  jmp    L502
L345:
  movl   $0x0,-0x28(%rbp)
  jmp    L244
L19:
  movl   $0x0,-0x2c(%rbp)
  jmp    L523
L18:
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%edx
  mov    -0x2c(%rbp),%ecx
  mov    -0x44(%rbp),%eax
  add    %ecx,%eax
  movslq %eax,%rcx
  mov    -0x10(%rbp),%rax
  add    %rcx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %edx,%eax
  add    $0x1,%eax
  shr    %eax
  mov    %eax,%ecx
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    %ecx,%edx
  mov    %dl,(%rax)
  addl   $0x1,-0x2c(%rbp)
L523:
  mov    -0x2c(%rbp),%eax
  cmp    -0x4c(%rbp),%eax
  jl     L18
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x10(%rbp)
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  addl   $0x1,-0x28(%rbp)
L244:
  mov    -0x28(%rbp),%eax
  cmp    -0x50(%rbp),%eax
  jl     L19
  jmp    L502
L64:
  nop
  jmp    L390
L262:
  nop
L390:
  cmpl   $0x0,-0x1c(%rbp)
  je     L72
  cmpl   $0x0,-0x18(%rbp)
  jne    L498
  cmpl   $0x0,0x30(%rbp)
  je     L443
  movl   $0x0,-0x28(%rbp)
  jmp    L400
L186:
  movl   $0x0,-0x2c(%rbp)
  jmp    L425
L11:
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%edx
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rcx
  mov    -0x10(%rbp),%rax
  add    %rcx,%rax
  movzbl (%rax),%eax
  movzbl %al,%ecx
  mov    -0x2c(%rbp),%eax
  add    $0x1,%eax
  movslq %eax,%rsi
  mov    -0x10(%rbp),%rax
  add    %rsi,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %ecx,%eax
  add    $0x1,%eax
  shr    %eax
  add    %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  not    %eax
  shr    $0x1f,%eax
  movzbl %al,%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  sar    %eax
  mov    %eax,%ecx
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    %ecx,%edx
  mov    %dl,(%rax)
  addl   $0x1,-0x2c(%rbp)
L425:
  mov    -0x2c(%rbp),%eax
  cmp    -0x4c(%rbp),%eax
  jl     L11
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x10(%rbp)
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  addl   $0x1,-0x28(%rbp)
L400:
  mov    -0x28(%rbp),%eax
  cmp    -0x50(%rbp),%eax
  jl     L186
  jmp    L502
L443:
  movl   $0x0,-0x28(%rbp)
  jmp    L328
L88:
  movl   $0x0,-0x2c(%rbp)
  jmp    L51
L463:
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%edx
  mov    -0x2c(%rbp),%eax
  add    $0x1,%eax
  movslq %eax,%rcx
  mov    -0x10(%rbp),%rax
  add    %rcx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %edx,%eax
  add    $0x1,%eax
  shr    %eax
  mov    %eax,%ecx
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    %ecx,%edx
  mov    %dl,(%rax)
  addl   $0x1,-0x2c(%rbp)
L51:
  mov    -0x2c(%rbp),%eax
  cmp    -0x4c(%rbp),%eax
  jl     L463
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x10(%rbp)
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  addl   $0x1,-0x28(%rbp)
L328:
  mov    -0x28(%rbp),%eax
  cmp    -0x50(%rbp),%eax
  jl     L88
  jmp    L502
L72:
  nop
  jmp    L3
L498:
  nop
L3:
  cmpl   $0x0,0x30(%rbp)
  je     L267
  movl   $0x0,-0x28(%rbp)
  jmp    L442
L285:
  movl   $0x0,-0x2c(%rbp)
  jmp    L192
L144:
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%edx
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rcx
  mov    -0x10(%rbp),%rax
  add    %rcx,%rax
  movzbl (%rax),%eax
  movzbl %al,%ecx
  mov    -0x2c(%rbp),%eax
  add    $0x1,%eax
  movslq %eax,%rsi
  mov    -0x10(%rbp),%rax
  add    %rsi,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  lea    (%rcx,%rax,1),%esi
  mov    -0x2c(%rbp),%ecx
  mov    -0x44(%rbp),%eax
  add    %ecx,%eax
  movslq %eax,%rcx
  mov    -0x10(%rbp),%rax
  add    %rcx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %eax,%esi
  mov    -0x2c(%rbp),%ecx
  mov    -0x44(%rbp),%eax
  add    %ecx,%eax
  add    $0x1,%eax
  movslq %eax,%rcx
  mov    -0x10(%rbp),%rax
  add    %rcx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %esi,%eax
  add    $0x2,%eax
  shr    $0x2,%eax
  add    %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  not    %eax
  shr    $0x1f,%eax
  movzbl %al,%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  sar    %eax
  mov    %eax,%ecx
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    %ecx,%edx
  mov    %dl,(%rax)
  addl   $0x1,-0x2c(%rbp)
L192:
  mov    -0x2c(%rbp),%eax
  cmp    -0x4c(%rbp),%eax
  jl     L144
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x10(%rbp)
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  addl   $0x1,-0x28(%rbp)
L442:
  mov    -0x28(%rbp),%eax
  cmp    -0x50(%rbp),%eax
  jl     L285
  jmp    L502
L267:
  movl   $0x0,-0x28(%rbp)
  jmp    L27
L20:
  movl   $0x0,-0x2c(%rbp)
  jmp    L269
L318:
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%edx
  mov    -0x2c(%rbp),%eax
  add    $0x1,%eax
  movslq %eax,%rcx
  mov    -0x10(%rbp),%rax
  add    %rcx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  lea    (%rdx,%rax,1),%ecx
  mov    -0x2c(%rbp),%edx
  mov    -0x44(%rbp),%eax
  add    %edx,%eax
  movslq %eax,%rdx
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %eax,%ecx
  mov    -0x2c(%rbp),%edx
  mov    -0x44(%rbp),%eax
  add    %edx,%eax
  add    $0x1,%eax
  movslq %eax,%rdx
  mov    -0x10(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  add    %ecx,%eax
  add    $0x2,%eax
  shr    $0x2,%eax
  mov    %eax,%ecx
  mov    -0x2c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x8(%rbp),%rax
  add    %rdx,%rax
  mov    %ecx,%edx
  mov    %dl,(%rax)
  addl   $0x1,-0x2c(%rbp)
L269:
  mov    -0x2c(%rbp),%eax
  cmp    -0x4c(%rbp),%eax
  jl     L318
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x10(%rbp)
  mov    -0x48(%rbp),%eax
  cltq
  add    %rax,-0x8(%rbp)
  addl   $0x1,-0x28(%rbp)
L27:
  mov    -0x28(%rbp),%eax
  cmp    -0x50(%rbp),%eax
  jl     L20
L502:
  nop
  leave
  ret
```

assistant: ```c
void form_component_prediction(unsigned char *src, unsigned char *dst, signed int lx, signed int lx2, signed int w, signed int h, signed int x, signed int y, signed int dx, signed int dy, signed int average_flag) {
  signed int xint;
  signed int yint;
  signed int xh;
  signed int yh;
  signed int i;
  signed int j;
  signed int v;
  unsigned char *s;
  unsigned char *d;
  xint = dx >> 1;
  yint = dy >> 1;
  s = src + (signed long int)(lx * (y + yint)) + (signed long int)x + (signed long int)xint;
  d = dst + (signed long int)(lx * y) + (signed long int)x;
  xh = dx & 1;
  yh = dy & 1;
  if (!(s == d))
    (void)0;
  else
    assert((_Bool)0);
  if (xh == 0) {
    if (yh != 0)
      goto __CPROVER_DUMP_L12;
    if (!(average_flag == 0)) {
      j = 0;
      while (!(j >= h)) {
        i = 0;
        while (!(i >= w)) {
          v = (signed int)d[(signed long int)i] + (signed int)s[(signed long int)i];
          d[(signed long int)i] = (unsigned char)(v + (v >= 0 ? 1 : 0) >> 1);
          i = i + 1;
        }
        s = s + (signed long int)lx2;
        d = d + (signed long int)lx2;
        j = j + 1;
      }
    } else {
      j = 0;
      while (!(j >= h)) {
        i = 0;
        while (!(i >= w)) {
          d[(signed long int)i] = s[(signed long int)i];
          i = i + 1;
        }
        s = s + (signed long int)lx2;
        d = d + (signed long int)lx2;
        j = j + 1;
      }
    }
  } else {
  __CPROVER_DUMP_L12:;
    if (xh == 0) {
      if (yh == 0)
        goto __CPROVER_DUMP_L22;
      if (!(average_flag == 0)) {
        j = 0;
        while (!(j >= h)) {
          i = 0;
          while (!(i >= w)) {
            v = (signed int)((unsigned int)d[(signed long int)i] + ((unsigned int)((signed int)s[(signed long int)i] + (signed int)s[(signed long int)(i + lx)] + 1) >> 1));
            d[(signed long int)i] = (unsigned char)(v + (v >= 0 ? 1 : 0) >> 1);
            i = i + 1;
          }
          s = s + (signed long int)lx2;
          d = d + (signed long int)lx2;
          j = j + 1;
        }
      } else {
        j = 0;
        while (!(j >= h)) {
          i = 0;
          while (!(i >= w)) {
            d[(signed long int)i] = (unsigned char)((unsigned int)((signed int)s[(signed long int)i] + (signed int)s[(signed long int)(i + lx)] + 1) >> 1);
            i = i + 1;
          }
          s = s + (signed long int)lx2;
          d = d + (signed long int)lx2;
          j = j + 1;
        }
      }
    } else {
    __CPROVER_DUMP_L22:;
      if (!(xh == 0)) {
        if (yh != 0)
          goto __CPROVER_DUMP_L32;
        if (!(average_flag == 0)) {
          j = 0;
          while (!(j >= h)) {
            i = 0;
            while (!(i >= w)) {
              v = (signed int)((unsigned int)d[(signed long int)i] + ((unsigned int)((signed int)s[(signed long int)i] + (signed int)s[(signed long int)(i + 1)] + 1) >> 1));
              d[(signed long int)i] = (unsigned char)(v + (v >= 0 ? 1 : 0) >> 1);
              i = i + 1;
            }
            s = s + (signed long int)lx2;
            d = d + (signed long int)lx2;
            j = j + 1;
          }
        } else {
          j = 0;
          while (!(j >= h)) {
            i = 0;
            while (!(i >= w)) {
              d[(signed long int)i] = (unsigned char)((unsigned int)((signed int)s[(signed long int)i] + (signed int)s[(signed long int)(i + 1)] + 1) >> 1);
              i = i + 1;
            }
            s = s + (signed long int)lx2;
            d = d + (signed long int)lx2;
            j = j + 1;
          }
        }
      } else {
      __CPROVER_DUMP_L32:;
        if (!(average_flag == 0)) {
          j = 0;
          while (!(j >= h)) {
            i = 0;
            while (!(i >= w)) {
              v = (signed int)((unsigned int)d[(signed long int)i] + ((unsigned int)((signed int)s[(signed long int)i] + (signed int)s[(signed long int)(i + 1)] + (signed int)s[(signed long int)(i + lx)] + (signed int)s[(signed long int)(i + lx + 1)] + 2) >> 2));
              d[(signed long int)i] = (unsigned char)(v + (v >= 0 ? 1 : 0) >> 1);
              i = i + 1;
            }
            s = s + (signed long int)lx2;
            d = d + (signed long int)lx2;
            j = j + 1;
          }
        } else {
          j = 0;
          while (!(j >= h)) {
            i = 0;
            while (!(i >= w)) {
              d[(signed long int)i] = (unsigned char)((unsigned int)((signed int)s[(signed long int)i] + (signed int)s[(signed long int)(i + 1)] + (signed int)s[(signed long int)(i + lx)] + (signed int)s[(signed long int)(i + lx + 1)] + 2) >> 2);
              i = i + 1;
            }
            s = s + (signed long int)lx2;
            d = d + (signed long int)lx2;
            j = j + 1;
          }
        }
      }
    }
  }
}
```