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

```asm
<RGB444toRGB444_ROW2X_STRETCH2X>:
  endbr64
  test   %r9d,%r9d
  je     L16
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  mov    %rdi,%rbx
  mov    %rsi,%r10
  mov    %rdx,%r11
  movzwl (%r8),%ecx
  movzwl %cx,%edi
  lea    0x2(%r8),%rax
  mov    %rax,-0x18(%rsp)
  mov    %ecx,%eax
  xor    (%rbx),%ax
  shr    %eax
  and    $0x777,%eax
  mov    %ecx,%edx
  and    (%rbx),%dx
  movzwl %dx,%edx
  add    %edx,%eax
  lea    0x4(%rbx),%r14
  lea    -0x1(%r9),%edx
  mov    %cx,(%r11)
  lea    0x2(%r11),%r13
  mov    %ax,(%rsi)
  lea    0x2(%rsi),%r12
  cmp    $0x1,%edx
  jle    L42
  lea    -0x3(%r9),%edx
  shr    %edx
  mov    %edx,-0xc(%rsp)
  lea    0x1(%rdx),%edx
  mov    %rdx,-0x8(%rsp)
  lea    0x0(,%rdx,4),%rbp
  mov    $0x0,%edx
L38:
  movzwl 0x2(%r8,%rdx,1),%r15d
  movzwl %r15w,%esi
  mov    %esi,%ecx
  xor    %edi,%ecx
  shr    %ecx
  and    $0x777,%ecx
  and    %edi,%esi
  add    %esi,%ecx
  mov    %cx,0x2(%r11,%rdx,2)
  mov    %r15w,0x4(%r11,%rdx,2)
  mov    %r15d,%esi
  xor    0x4(%rbx,%rdx,2),%si
  shr    %esi
  and    $0x777,%esi
  mov    %r15d,%ecx
  and    0x4(%rbx,%rdx,2),%cx
  movzwl %cx,%ecx
  add    %ecx,%esi
  mov    %esi,%edi
  xor    %eax,%edi
  shr    %edi
  and    $0x777,%edi
  and    %esi,%eax
  add    %edi,%eax
  mov    %ax,0x2(%r10,%rdx,2)
  mov    %si,0x4(%r10,%rdx,2)
  movzwl 0x4(%r8,%rdx,1),%ecx
  movzwl %cx,%edi
  mov    %r15d,%eax
  xor    %ecx,%eax
  shr    %eax
  and    $0x777,%eax
  and    %ecx,%r15d
  movzwl %r15w,%r15d
  add    %r15d,%eax
  mov    %ax,0x6(%r11,%rdx,2)
  mov    %cx,0x8(%r11,%rdx,2)
  mov    %ecx,%r15d
  xor    0x8(%rbx,%rdx,2),%r15w
  shr    %r15d
  and    $0x777,%r15d
  and    0x8(%rbx,%rdx,2),%cx
  movzwl %cx,%eax
  add    %r15d,%eax
  mov    %esi,%ecx
  xor    %eax,%ecx
  shr    %ecx
  and    $0x777,%ecx
  and    %eax,%esi
  add    %ecx,%esi
  mov    %si,0x6(%r10,%rdx,2)
  mov    %ax,0x8(%r10,%rdx,2)
  add    $0x4,%rdx
  cmp    %rbp,%rdx
  jne    L38
  add    %rbp,-0x18(%rsp)
  mov    -0x8(%rsp),%rdx
  shl    $0x3,%rdx
  add    %rdx,%r14
  add    %rdx,%r13
  add    %rdx,%r12
  mov    -0xc(%rsp),%edx
  neg    %edx
  lea    -0x3(%r9,%rdx,2),%edx
L42:
  test   %edx,%edx
  je     L27
  mov    -0x18(%rsp),%rbx
  movzwl (%rbx),%ecx
  movzwl %cx,%esi
  mov    %esi,%edx
  xor    %edi,%edx
  shr    %edx
  and    $0x777,%edx
  and    %edi,%esi
  add    %esi,%edx
  mov    %dx,0x0(%r13)
  mov    %cx,0x2(%r13)
  mov    %cx,0x4(%r13)
  movzwl (%r14),%esi
  mov    %ecx,%edx
  xor    %esi,%edx
  shr    %edx
  and    $0x777,%edx
  and    %esi,%ecx
  movzwl %cx,%ecx
  add    %ecx,%edx
  mov    %edx,%ecx
  xor    %eax,%ecx
  shr    %ecx
  and    $0x777,%ecx
  and    %edx,%eax
  add    %ecx,%eax
  mov    %ax,(%r12)
  mov    %dx,0x2(%r12)
  mov    %dx,0x4(%r12)
L7:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L27:
  mov    %di,0x0(%r13)
  mov    %ax,(%r12)
  jmp    L7
L16:
  ret
```

assistant: ```c
void RGB444toRGB444_ROW2X_STRETCH2X(unsigned char *dest_ptr_1, unsigned char *dest_ptr_12, unsigned char *dest_ptr_2, int dest_dx, unsigned char *src_ptr, int src_dx) {
  register unsigned char *d1 = dest_ptr_1;
  register unsigned char *d12 = dest_ptr_12;
  register unsigned char *d2 = dest_ptr_2;
  register unsigned char *s = src_ptr;
  register int count = src_dx;
  if (count) {
    register unsigned int da_rgb;
    register unsigned int dc_rgb;
    register unsigned int sa_rgb;
    sa_rgb = *(unsigned short *)(s);
    da_rgb = sa_rgb;
    s += 2;
    register unsigned int sb_rgb;
    sb_rgb = *(unsigned short *)(d1);
    dc_rgb = (((da_rgb ^ sb_rgb) >> 1) & (((1U << (8 + 4 - 1)) - (1U << 8)) | ((1U << (4 + 4 - 1)) - (1U << 4)) | ((1U << (0 + 4 - 1)) - (1U << 0)))) + (da_rgb & sb_rgb);
    d1 += 2 * 2;
    count--;
    *(unsigned short *)(d2) = da_rgb;
    d2 += 2;
    *(unsigned short *)(d12) = dc_rgb;
    d12 += 2;
    while (count >= 2) {
      register unsigned int db_rgb;
      register unsigned int dd_rgb;
      register unsigned int sa_rgb;
      sa_rgb = *(unsigned short *)(s);
      db_rgb = sa_rgb;
      da_rgb = (((da_rgb ^ db_rgb) >> 1) & (((1U << (8 + 4 - 1)) - (1U << 8)) | ((1U << (4 + 4 - 1)) - (1U << 4)) | ((1U << (0 + 4 - 1)) - (1U << 0)))) + (da_rgb & db_rgb);
      *(unsigned short *)(d2) = da_rgb;
      *(unsigned short *)(d2 + 2) = db_rgb;
      register unsigned int sb_rgb;
      sb_rgb = *(unsigned short *)(d1);
      dd_rgb = (((db_rgb ^ sb_rgb) >> 1) & (((1U << (8 + 4 - 1)) - (1U << 8)) | ((1U << (4 + 4 - 1)) - (1U << 4)) | ((1U << (0 + 4 - 1)) - (1U << 0)))) + (db_rgb & sb_rgb);
      dc_rgb = (((dc_rgb ^ dd_rgb) >> 1) & (((1U << (8 + 4 - 1)) - (1U << 8)) | ((1U << (4 + 4 - 1)) - (1U << 4)) | ((1U << (0 + 4 - 1)) - (1U << 0)))) + (dc_rgb & dd_rgb);
      *(unsigned short *)(d12) = dc_rgb;
      *(unsigned short *)(d12 + 2) = dd_rgb;
      sa_rgb = *(unsigned short *)(s + 2);
      da_rgb = sa_rgb;
      db_rgb = (((db_rgb ^ da_rgb) >> 1) & (((1U << (8 + 4 - 1)) - (1U << 8)) | ((1U << (4 + 4 - 1)) - (1U << 4)) | ((1U << (0 + 4 - 1)) - (1U << 0)))) + (db_rgb & da_rgb);
      *(unsigned short *)(d2 + 2 * 2) = db_rgb;
      *(unsigned short *)(d2 + 3 * 2) = da_rgb;
      sb_rgb = *(unsigned short *)(d1 + 2 * 2);
      dc_rgb = (((da_rgb ^ sb_rgb) >> 1) & (((1U << (8 + 4 - 1)) - (1U << 8)) | ((1U << (4 + 4 - 1)) - (1U << 4)) | ((1U << (0 + 4 - 1)) - (1U << 0)))) + (da_rgb & sb_rgb);
      dd_rgb = (((dd_rgb ^ dc_rgb) >> 1) & (((1U << (8 + 4 - 1)) - (1U << 8)) | ((1U << (4 + 4 - 1)) - (1U << 4)) | ((1U << (0 + 4 - 1)) - (1U << 0)))) + (dd_rgb & dc_rgb);
      *(unsigned short *)(d12 + 2 * 2) = dd_rgb;
      *(unsigned short *)(d12 + 3 * 2) = dc_rgb;
      s += 4;
      d1 += 4 * 2;
      d2 += 4 * 2;
      d12 += 4 * 2;
      count -= 2;
    }
    if (count) {
      register unsigned int db_rgb;
      register unsigned int dd_rgb;
      register unsigned int sa_rgb;
      sa_rgb = *(unsigned short *)(s);
      db_rgb = sa_rgb;
      da_rgb = (((da_rgb ^ db_rgb) >> 1) & (((1U << (8 + 4 - 1)) - (1U << 8)) | ((1U << (4 + 4 - 1)) - (1U << 4)) | ((1U << (0 + 4 - 1)) - (1U << 0)))) + (da_rgb & db_rgb);
      *(unsigned short *)(d2) = da_rgb;
      *(unsigned short *)(d2 + 2) = db_rgb;
      *(unsigned short *)(d2 + 2 * 2) = db_rgb;
      register unsigned int sb_rgb;
      sb_rgb = *(unsigned short *)(d1);
      dd_rgb = (((db_rgb ^ sb_rgb) >> 1) & (((1U << (8 + 4 - 1)) - (1U << 8)) | ((1U << (4 + 4 - 1)) - (1U << 4)) | ((1U << (0 + 4 - 1)) - (1U << 0)))) + (db_rgb & sb_rgb);
      dc_rgb = (((dc_rgb ^ dd_rgb) >> 1) & (((1U << (8 + 4 - 1)) - (1U << 8)) | ((1U << (4 + 4 - 1)) - (1U << 4)) | ((1U << (0 + 4 - 1)) - (1U << 0)))) + (dc_rgb & dd_rgb);
      *(unsigned short *)(d12) = dc_rgb;
      *(unsigned short *)(d12 + 2) = dd_rgb;
      *(unsigned short *)(d12 + 2 * 2) = dd_rgb;
    } else {
      *(unsigned short *)(d2) = da_rgb;
      *(unsigned short *)(d12) = dc_rgb;
    }
  }
}
```