user: 下面的汇编指令对应的C源代码是什么:

```asm
<compositeSourceAtop>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x48(%rbp)
  mov    %rsi,-0x50(%rbp)
  mov    %edx,-0x54(%rbp)
  mov    %ecx,-0x58(%rbp)
  mov    -0x54(%rbp),%eax
  imul   -0x58(%rbp),%eax
  shl    $0x2,%eax
  movslq %eax,%rdx
  mov    -0x50(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x48(%rbp),%rax
  mov    %rax,-0x10(%rbp)
  jmp    L135
L65:
  mov    -0x48(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x34(%rbp)
  cmpl   $0x0,-0x34(%rbp)
  jne    L200
  mov    -0x10(%rbp),%rax
  lea    0x4(%rax),%rdx
  mov    %rdx,-0x10(%rbp)
  movl   $0x0,(%rax)
  jmp    L183
L200:
  mov    -0x50(%rbp),%rax
  add    $0x3,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  mov    %eax,-0x30(%rbp)
  cmpl   $0x0,-0x30(%rbp)
  jne    L166
  addq   $0x4,-0x10(%rbp)
  jmp    L183
L166:
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x34(%rbp),%xmm0
  movsd  D38(%rip),%xmm1
  divsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x2c(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x30(%rbp),%xmm0
  movsd  D38(%rip),%xmm1
  divsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x28(%rbp)
  movss  D25(%rip),%xmm0
  subss  -0x28(%rbp),%xmm0
  movss  %xmm0,-0x24(%rbp)
  mov    -0x50(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x2c(%rbp),%xmm1
  mov    -0x48(%rbp),%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  mulss  -0x24(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x20(%rbp)
  mov    -0x50(%rbp),%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x2c(%rbp),%xmm1
  mov    -0x48(%rbp),%rax
  add    $0x1,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  mulss  -0x24(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x1c(%rbp)
  mov    -0x50(%rbp),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x2c(%rbp),%xmm1
  mov    -0x48(%rbp),%rax
  add    $0x2,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  mulss  -0x24(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x18(%rbp)
  movss  -0x28(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x2c(%rbp),%xmm1
  movss  -0x2c(%rbp),%xmm0
  mulss  -0x24(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  D12(%rip),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x14(%rbp)
  movss  -0x20(%rbp),%xmm0
  comiss D12(%rip),%xmm0
  jbe    L120
  mov    $0xff,%eax
  jmp    L8
L120:
  pxor   %xmm0,%xmm0
  comiss -0x20(%rbp),%xmm0
  jbe    L126
  mov    $0x0,%eax
  jmp    L8
L126:
  movss  -0x20(%rbp),%xmm0
  cvttss2si %xmm0,%eax
L8:
  movss  -0x1c(%rbp),%xmm0
  comiss D12(%rip),%xmm0
  jbe    L190
  mov    $0xff00,%edx
  jmp    L127
L190:
  pxor   %xmm0,%xmm0
  comiss -0x1c(%rbp),%xmm0
  jbe    L75
  mov    $0x0,%edx
  jmp    L127
L75:
  movss  -0x1c(%rbp),%xmm0
  cvttss2si %xmm0,%edx
  shl    $0x8,%edx
L127:
  or     %eax,%edx
  movss  -0x18(%rbp),%xmm0
  comiss D12(%rip),%xmm0
  jbe    L136
  mov    $0xff0000,%eax
  jmp    L132
L136:
  pxor   %xmm0,%xmm0
  comiss -0x18(%rbp),%xmm0
  jbe    L117
  mov    $0x0,%eax
  jmp    L132
L117:
  movss  -0x18(%rbp),%xmm0
  cvttss2si %xmm0,%eax
  shl    $0x10,%eax
L132:
  or     %eax,%edx
  movss  -0x14(%rbp),%xmm0
  comiss D12(%rip),%xmm0
  jbe    L24
  mov    $0xff000000,%eax
  jmp    L41
L24:
  pxor   %xmm0,%xmm0
  comiss -0x14(%rbp),%xmm0
  jbe    L54
  mov    $0x0,%eax
  jmp    L41
L54:
  movss  -0x14(%rbp),%xmm0
  cvttss2si %xmm0,%eax
  shl    $0x18,%eax
L41:
  or     %edx,%eax
  mov    %eax,%ecx
  mov    -0x10(%rbp),%rax
  lea    0x4(%rax),%rdx
  mov    %rdx,-0x10(%rbp)
  mov    %ecx,%edx
  mov    %edx,(%rax)
L183:
  addq   $0x4,-0x50(%rbp)
  addq   $0x4,-0x48(%rbp)
L135:
  mov    -0x50(%rbp),%rax
  cmp    -0x8(%rbp),%rax
  jb     L65
  nop
  nop
  pop    %rbp
  ret
```

tool_calls: name: read_data
arguments: label: D38
type_guessed: f64
name: read_data
arguments: label: D25
type_guessed: f32
name: read_data
arguments: label: D12
type_guessed: byte[4]

tool: D38: 255

tool: D25: 1

tool: {"D12": [0x00,0x00,0x7f,0x43]}

assistant: ```c
void compositeSourceAtop(unsigned char *dst, unsigned char *src, int width, int height) {
  unsigned char *end = src + ((width * height) << 2);
  unsigned int *dst32 = (unsigned int *)dst;
  int d, s;
  float rr, rg, rb, ra;
  float sa, sa_inv;
  float da;
  while (src < end) {
    d = *(dst + 3);
    if (d == 0) {
      *dst32++ = 0;
    } else {
      s = *(src + 3);
      if (s == 0) {
        dst32++;
      } else {
        da = d / 255.0;
        sa = s / 255.0;
        sa_inv = (1.0 - sa);
        rr = *src * da + *dst * sa_inv;
        rg = *(src + 1) * da + *(dst + 1) * sa_inv;
        rb = *(src + 2) * da + *(dst + 2) * sa_inv;
        ra = (sa * da + da * sa_inv) * 255.0;
        *dst32++ = (int)((rr) > 0xff ? 0xff : ((rr) < 0 ? 0 : (rr))) | (int)((rg) > 0xff ? 0xff : ((rg) < 0 ? 0 : (rg))) << 8 | (int)((rb) > 0xff ? 0xff : ((rb) < 0 ? 0 : (rb))) << 16 | (int)((ra) > 0xff ? 0xff : ((ra) < 0 ? 0 : (ra))) << 24;
      }
    }
    src += 4;
    dst += 4;
  }
}
```