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

```asm
<mpeg3video_idctrow>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x38(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  movzwl (%rax),%eax
  cwtl
  shl    $0xb,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  movzwl (%rax),%eax
  cwtl
  mov    %eax,-0x20(%rbp)
  mov    -0x24(%rbp),%eax
  or     -0x20(%rbp),%eax
  mov    -0x38(%rbp),%rdx
  add    $0x4,%rdx
  movzwl (%rdx),%edx
  movswl %dx,%edx
  mov    %edx,-0x1c(%rbp)
  or     -0x1c(%rbp),%eax
  mov    -0x38(%rbp),%rdx
  add    $0x2,%rdx
  movzwl (%rdx),%edx
  movswl %dx,%edx
  mov    %edx,-0x18(%rbp)
  or     -0x18(%rbp),%eax
  mov    -0x38(%rbp),%rdx
  add    $0xe,%rdx
  movzwl (%rdx),%edx
  movswl %dx,%edx
  mov    %edx,-0x14(%rbp)
  or     -0x14(%rbp),%eax
  mov    -0x38(%rbp),%rdx
  add    $0xa,%rdx
  movzwl (%rdx),%edx
  movswl %dx,%edx
  mov    %edx,-0x10(%rbp)
  or     -0x10(%rbp),%eax
  mov    -0x38(%rbp),%rdx
  add    $0x6,%rdx
  movzwl (%rdx),%edx
  movswl %dx,%edx
  mov    %edx,-0xc(%rbp)
  or     -0xc(%rbp),%eax
  test   %eax,%eax
  jne    L4
  mov    -0x38(%rbp),%rax
  movzwl (%rax),%eax
  cwtl
  lea    0x0(,%rax,8),%edx
  mov    -0x38(%rbp),%rax
  add    $0xe,%rax
  mov    %dx,(%rax)
  mov    -0x38(%rbp),%rdx
  add    $0xc,%rdx
  movzwl (%rax),%eax
  mov    %ax,(%rdx)
  mov    -0x38(%rbp),%rax
  add    $0xa,%rax
  movzwl (%rdx),%edx
  mov    %dx,(%rax)
  mov    -0x38(%rbp),%rdx
  add    $0x8,%rdx
  movzwl (%rax),%eax
  mov    %ax,(%rdx)
  mov    -0x38(%rbp),%rax
  add    $0x6,%rax
  movzwl (%rdx),%edx
  mov    %dx,(%rax)
  mov    -0x38(%rbp),%rdx
  add    $0x4,%rdx
  movzwl (%rax),%eax
  mov    %ax,(%rdx)
  mov    -0x38(%rbp),%rax
  add    $0x2,%rax
  movzwl (%rdx),%edx
  mov    %dx,(%rax)
  movzwl (%rax),%edx
  mov    -0x38(%rbp),%rax
  mov    %dx,(%rax)
  jmp    L6
L4:
  mov    -0x38(%rbp),%rax
  movzwl (%rax),%eax
  cwtl
  shl    $0xb,%eax
  sub    $0xffffff80,%eax
  mov    %eax,-0x8(%rbp)
  mov    -0x18(%rbp),%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  imul   $0x235,%eax,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x18(%rbp),%eax
  imul   $0x8e4,%eax,%edx
  mov    -0x4(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x18(%rbp)
  mov    -0x14(%rbp),%eax
  imul   $0xfffff2b2,%eax,%edx
  mov    -0x4(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x10(%rbp),%edx
  mov    -0xc(%rbp),%eax
  add    %edx,%eax
  imul   $0x968,%eax,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x10(%rbp),%eax
  imul   $0xfffffce1,%eax,%edx
  mov    -0x4(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x10(%rbp)
  mov    -0xc(%rbp),%eax
  imul   $0xfffff04f,%eax,%edx
  mov    -0x4(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0xc(%rbp)
  mov    -0x8(%rbp),%edx
  mov    -0x24(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x4(%rbp)
  mov    -0x24(%rbp),%eax
  sub    %eax,-0x8(%rbp)
  mov    -0x1c(%rbp),%edx
  mov    -0x20(%rbp),%eax
  add    %edx,%eax
  imul   $0x454,%eax,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x20(%rbp),%eax
  imul   $0xfffff138,%eax,%edx
  mov    -0x24(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x20(%rbp)
  mov    -0x1c(%rbp),%eax
  imul   $0x620,%eax,%edx
  mov    -0x24(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x18(%rbp),%edx
  mov    -0x10(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x24(%rbp)
  mov    -0x10(%rbp),%eax
  sub    %eax,-0x18(%rbp)
  mov    -0x14(%rbp),%edx
  mov    -0xc(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x10(%rbp)
  mov    -0xc(%rbp),%eax
  sub    %eax,-0x14(%rbp)
  mov    -0x4(%rbp),%edx
  mov    -0x1c(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0xc(%rbp)
  mov    -0x1c(%rbp),%eax
  sub    %eax,-0x4(%rbp)
  mov    -0x8(%rbp),%edx
  mov    -0x20(%rbp),%eax
  add    %edx,%eax
  mov    %eax,-0x1c(%rbp)
  mov    -0x20(%rbp),%eax
  sub    %eax,-0x8(%rbp)
  mov    -0x18(%rbp),%edx
  mov    -0x14(%rbp),%eax
  add    %edx,%eax
  imul   $0xb5,%eax,%eax
  sub    $0xffffff80,%eax
  sar    $0x8,%eax
  mov    %eax,-0x20(%rbp)
  mov    -0x18(%rbp),%eax
  sub    -0x14(%rbp),%eax
  imul   $0xb5,%eax,%eax
  sub    $0xffffff80,%eax
  sar    $0x8,%eax
  mov    %eax,-0x18(%rbp)
  mov    -0xc(%rbp),%edx
  mov    -0x24(%rbp),%eax
  add    %edx,%eax
  sar    $0x8,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  mov    %dx,(%rax)
  mov    -0x1c(%rbp),%edx
  mov    -0x20(%rbp),%eax
  add    %edx,%eax
  sar    $0x8,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  add    $0x2,%rax
  mov    %dx,(%rax)
  mov    -0x8(%rbp),%edx
  mov    -0x18(%rbp),%eax
  add    %edx,%eax
  sar    $0x8,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  add    $0x4,%rax
  mov    %dx,(%rax)
  mov    -0x4(%rbp),%edx
  mov    -0x10(%rbp),%eax
  add    %edx,%eax
  sar    $0x8,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  add    $0x6,%rax
  mov    %dx,(%rax)
  mov    -0x4(%rbp),%eax
  sub    -0x10(%rbp),%eax
  sar    $0x8,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  add    $0x8,%rax
  mov    %dx,(%rax)
  mov    -0x8(%rbp),%eax
  sub    -0x18(%rbp),%eax
  sar    $0x8,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  add    $0xa,%rax
  mov    %dx,(%rax)
  mov    -0x1c(%rbp),%eax
  sub    -0x20(%rbp),%eax
  sar    $0x8,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  add    $0xc,%rax
  mov    %dx,(%rax)
  mov    -0xc(%rbp),%eax
  sub    -0x24(%rbp),%eax
  sar    $0x8,%eax
  mov    %eax,%edx
  mov    -0x38(%rbp),%rax
  add    $0xe,%rax
  mov    %dx,(%rax)
L6:
  pop    %rbp
  ret
```

assistant: ```c
void mpeg3video_idctrow(short *blk) {
  int x0, x1, x2, x3, x4, x5, x6, x7, x8;
  if (!((x1 = blk[4] << 11) | (x2 = blk[6]) | (x3 = blk[2]) | (x4 = blk[1]) | (x5 = blk[7]) | (x6 = blk[5]) | (x7 = blk[3]))) {
    blk[0] = blk[1] = blk[2] = blk[3] = blk[4] = blk[5] = blk[6] = blk[7] = blk[0] << 3;
    return;
  }
  x0 = (blk[0] << 11) + 128;
  x8 = 565 * (x4 + x5);
  x4 = x8 + (2841 - 565) * x4;
  x5 = x8 - (2841 + 565) * x5;
  x8 = 2408 * (x6 + x7);
  x6 = x8 - (2408 - 1609) * x6;
  x7 = x8 - (2408 + 1609) * x7;
  x8 = x0 + x1;
  x0 -= x1;
  x1 = 1108 * (x3 + x2);
  x2 = x1 - (2676 + 1108) * x2;
  x3 = x1 + (2676 - 1108) * x3;
  x1 = x4 + x6;
  x4 -= x6;
  x6 = x5 + x7;
  x5 -= x7;
  x7 = x8 + x3;
  x8 -= x3;
  x3 = x0 + x2;
  x0 -= x2;
  x2 = (181 * (x4 + x5) + 128) >> 8;
  x4 = (181 * (x4 - x5) + 128) >> 8;
  blk[0] = (x7 + x1) >> 8;
  blk[1] = (x3 + x2) >> 8;
  blk[2] = (x0 + x4) >> 8;
  blk[3] = (x8 + x6) >> 8;
  blk[4] = (x8 - x6) >> 8;
  blk[5] = (x0 - x4) >> 8;
  blk[6] = (x3 - x2) >> 8;
  blk[7] = (x7 - x1) >> 8;
}
```