user: Translate the below assembly code into C programming language:

```asm
<RGB444toRGB444_ROW2X_STRETCH2X>:
  endbr64
  test   %r9d,%r9d
  je     L4
  push   %r15
  mov    %rdx,%r11
  mov    %rsi,%r10
  push   %r14
  lea    0x2(%r8),%r14
  push   %r13
  push   %r12
  lea    0x2(%r11),%r12
  push   %rbp
  lea    0x2(%rsi),%rbp
  push   %rbx
  mov    %rdi,%rbx
  movzwl (%r8),%edi
  movzwl (%rbx),%eax
  movzwl (%rbx),%edx
  lea    0x4(%rbx),%r13
  mov    %di,(%r11)
  xor    %edi,%eax
  and    %edi,%edx
  shr    %eax
  movzwl %dx,%edx
  and    $0x777,%eax
  add    %edx,%eax
  lea    -0x1(%r9),%edx
  mov    %ax,(%rsi)
  cmp    $0x1,%edx
  jle    L23
  lea    -0x3(%r9),%edx
  mov    %edx,-0x4(%rsp)
  shr    %edx
  mov    %edx,-0x8(%rsp)
  add    $0x1,%edx
  mov    %rdx,-0x10(%rsp)
  lea    0x0(,%rdx,4),%r9
  xor    %edx,%edx
  xchg   %ax,%ax
L17:
  movzwl 0x2(%r8,%rdx,1),%esi
  mov    %esi,%ecx
  mov    %esi,%r15d
  and    %edi,%esi
  xor    %edi,%ecx
  mov    %r15w,0x4(%r11,%rdx,2)
  shr    %ecx
  and    $0x777,%ecx
  add    %esi,%ecx
  mov    %cx,0x2(%r11,%rdx,2)
  movzwl 0x4(%rbx,%rdx,2),%esi
  movzwl 0x4(%rbx,%rdx,2),%ecx
  xor    %r15d,%esi
  and    %r15d,%ecx
  shr    %esi
  movzwl %cx,%ecx
  and    $0x777,%esi
  add    %ecx,%esi
  mov    %esi,%edi
  mov    %si,0x4(%r10,%rdx,2)
  xor    %eax,%edi
  and    %esi,%eax
  shr    %edi
  and    $0x777,%edi
  add    %edi,%eax
  mov    %ax,0x2(%r10,%rdx,2)
  movzwl 0x4(%r8,%rdx,1),%edi
  mov    %r15d,%eax
  xor    %edi,%eax
  and    %edi,%r15d
  mov    %di,0x8(%r11,%rdx,2)
  mov    %edi,%ecx
  shr    %eax
  movzwl %r15w,%r15d
  and    $0x777,%eax
  add    %r15d,%eax
  mov    %ax,0x6(%r11,%rdx,2)
  movzwl 0x8(%rbx,%rdx,2),%r15d
  and    0x8(%rbx,%rdx,2),%cx
  xor    %edi,%r15d
  movzwl %cx,%eax
  mov    %esi,%ecx
  shr    %r15d
  and    $0x777,%r15d
  add    %r15d,%eax
  xor    %eax,%ecx
  and    %eax,%esi
  mov    %ax,0x8(%r10,%rdx,2)
  shr    %ecx
  and    $0x777,%ecx
  add    %ecx,%esi
  mov    %si,0x6(%r10,%rdx,2)
  add    $0x4,%rdx
  cmp    %r9,%rdx
  jne    L17
  add    %rdx,%r14
  mov    -0x10(%rsp),%rdx
  mov    -0x4(%rsp),%ebx
  shl    $0x3,%rdx
  add    %rdx,%r13
  add    %rdx,%r12
  add    %rdx,%rbp
  mov    -0x8(%rsp),%edx
  neg    %edx
  lea    (%rbx,%rdx,2),%edx
L23:
  test   %edx,%edx
  jne    L38
  mov    %di,(%r12)
  mov    %ax,0x0(%rbp)
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax)
L4:
  ret
  nopl   0x0(%rax)
L38:
  movzwl (%r14),%esi
  mov    %esi,%edx
  mov    %esi,%ecx
  and    %edi,%esi
  xor    %edi,%edx
  mov    %cx,0x2(%r12)
  shr    %edx
  mov    %cx,0x4(%r12)
  and    $0x777,%edx
  add    %esi,%edx
  mov    %dx,(%r12)
  movzwl 0x0(%r13),%esi
  mov    %ecx,%edx
  xor    %esi,%edx
  and    %esi,%ecx
  shr    %edx
  movzwl %cx,%ecx
  and    $0x777,%edx
  add    %ecx,%edx
  mov    %edx,%ecx
  mov    %dx,0x2(%rbp)
  xor    %eax,%ecx
  and    %edx,%eax
  mov    %dx,0x4(%rbp)
  shr    %ecx
  and    $0x777,%ecx
  add    %ecx,%eax
  mov    %ax,0x0(%rbp)
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  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;
    }
  }
}
```