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

```asm
<filtre_3_opt>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x90,%rsp
  mov    %rdi,-0x78(%rbp)
  mov    %esi,-0x7c(%rbp)
  mov    %edx,-0x80(%rbp)
  mov    %rcx,-0x88(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movl   $0xffffffff,-0x30(%rbp)
  movl   $0xffffffff,-0x2c(%rbp)
  movl   $0x0,-0x28(%rbp)
  movl   $0xffffffff,-0x24(%rbp)
  movl   $0x0,-0x20(%rbp)
  movl   $0x1,-0x1c(%rbp)
  movl   $0x0,-0x18(%rbp)
  movl   $0x1,-0x14(%rbp)
  movl   $0x1,-0x10(%rbp)
  movl   $0x1,-0x58(%rbp)
  movl   $0x80,-0x54(%rbp)
  movl   $0x0,-0x64(%rbp)
  mov    $0x40000000,%edi
  call   <coproc_reset@plt>
  movl   $0x0,-0x5c(%rbp)
  jmp    L60
L5:
  mov    -0x7c(%rbp),%eax
  imul   -0x5c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x78(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x5c(%rbp),%eax
  add    $0x1,%eax
  imul   -0x7c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x78(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x40(%rbp)
  mov    -0x5c(%rbp),%eax
  add    $0x2,%eax
  imul   -0x7c(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x78(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x38(%rbp)
  mov    -0x48(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x8,%eax
  or     %eax,%edx
  mov    -0x38(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  or     %edx,%eax
  mov    %eax,-0x50(%rbp)
  mov    -0x50(%rbp),%eax
  mov    %eax,%esi
  mov    $0x40000004,%edi
  call   <coproc_write@plt>
  addq   $0x1,-0x48(%rbp)
  addq   $0x1,-0x40(%rbp)
  addq   $0x1,-0x38(%rbp)
  mov    -0x48(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x8,%eax
  or     %eax,%edx
  mov    -0x38(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  or     %edx,%eax
  mov    %eax,-0x50(%rbp)
  mov    -0x50(%rbp),%eax
  mov    %eax,%esi
  mov    $0x40000004,%edi
  call   <coproc_write@plt>
  addq   $0x1,-0x48(%rbp)
  addq   $0x1,-0x40(%rbp)
  addq   $0x1,-0x38(%rbp)
  movl   $0x2,-0x60(%rbp)
  jmp    L56
L53:
  mov    -0x48(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x10,%eax
  mov    %eax,%edx
  mov    -0x40(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  shl    $0x8,%eax
  or     %eax,%edx
  mov    -0x38(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  or     %edx,%eax
  mov    %eax,-0x50(%rbp)
  mov    -0x50(%rbp),%eax
  mov    %eax,%esi
  mov    $0x40000004,%edi
  call   <coproc_write@plt>
  mov    $0x40000004,%edi
  call   <coproc_read@plt>
  sub    $0xffffff80,%eax
  mov    %eax,-0x4c(%rbp)
  addq   $0x1,-0x48(%rbp)
  addq   $0x1,-0x40(%rbp)
  addq   $0x1,-0x38(%rbp)
  cmpl   $0xff,-0x4c(%rbp)
  jle    L58
  mov    -0x64(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x88(%rbp),%rax
  add    %rdx,%rax
  movb   $0xff,(%rax)
  jmp    L33
L58:
  cmpl   $0x0,-0x4c(%rbp)
  jns    L57
  mov    -0x64(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x88(%rbp),%rax
  add    %rdx,%rax
  movb   $0x0,(%rax)
  jmp    L33
L57:
  mov    -0x64(%rbp),%eax
  movslq %eax,%rdx
  mov    -0x88(%rbp),%rax
  add    %rdx,%rax
  mov    -0x4c(%rbp),%edx
  mov    %dl,(%rax)
L33:
  addl   $0x1,-0x64(%rbp)
  addl   $0x1,-0x60(%rbp)
L56:
  mov    -0x60(%rbp),%eax
  cmp    -0x7c(%rbp),%eax
  jl     L53
  addl   $0x1,-0x5c(%rbp)
L60:
  mov    -0x80(%rbp),%eax
  sub    $0x2,%eax
  cmp    %eax,-0x5c(%rbp)
  jl     L5
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L9
  call   <__stack_chk_fail@plt>
L9:
  leave
  ret
```

assistant: ```c
void filtre_3_opt(char *data, int largeur, int hauteur, char *data_sortie) {
  int cpt_out, tmp_i;
  int x, y;
  unsigned char *pt0, *pt1, *pt2, *pt3, *pt4, *pt5, *pt6, *pt7, *pt8;
  int coef[9];
  int alpha, beta;
  unsigned int op_a, op_b;
  int pixel_concat;
  coef[0] = -1;
  coef[1] = -1;
  coef[2] = 0;
  coef[3] = -1;
  coef[4] = 0;
  coef[5] = +1;
  coef[6] = 0;
  coef[7] = +1;
  coef[8] = +1;
  alpha = 1;
  beta = 128;
  cpt_out = 0;
  coproc_reset(0x40000000);
  for (y = 0; y < hauteur - 2; y++) {
    pt0 = data + largeur * y;
    pt1 = data + largeur * (y + 1);
    pt2 = data + largeur * (y + 2);
    pixel_concat = (*pt0) << 16 | (*pt1) << 8 | (*pt2);
    coproc_write(0x40000004, pixel_concat);
    pt0++;
    pt1++;
    pt2++;
    pixel_concat = (*pt0) << 16 | (*pt1) << 8 | (*pt2);
    coproc_write(0x40000004, pixel_concat);
    pt0++;
    pt1++;
    pt2++;
    for (x = 2; x < largeur; x++) {
      pixel_concat = (*pt0) << 16 | (*pt1) << 8 | (*pt2);
      coproc_write(0x40000004, pixel_concat);
      tmp_i = coproc_read(0x40000004) + 128;
      pt0++;
      pt1++;
      pt2++;
      if (tmp_i > 255)
        data_sortie[cpt_out] = 255;
      else if (tmp_i < 0)
        data_sortie[cpt_out] = 0;
      else
        data_sortie[cpt_out] = (unsigned char)tmp_i;
      cpt_out++;
    }
  }
}
```