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

```asm
<__memcpy>:
  endbr64
  push   %r15
  mov    %rdi,%rax
  push   %r14
  xor    %rsi,%rax
  push   %r13
  lea    (%rdi,%rdx,1),%r13
  push   %r12
  mov    %rdi,%r12
  push   %rbp
  mov    %rsi,%rbp
  push   %rbx
  sub    $0x8,%rsp
  test   $0x7,%al
  setne  %dil
  cmp    $0x7,%rdx
  setbe  %al
  xor    %esi,%esi
  or     %eax,%edi
  movzbl %dil,%edi
  call   <__builtin_expect@plt>
  test   %rax,%rax
  jne    L137
  mov    %r12,%r14
  xor    %edi,%edi
  mov    %r12,%rbx
  and    $0x7,%r14d
  setne  %dil
  xor    %esi,%esi
  call   <__builtin_expect@plt>
  test   %rax,%rax
  je     L38
  test   %r14,%r14
  je     L38
  cs nopw 0x0(%rax,%rax,1)
L134:
  movzbl 0x0(%rbp),%eax
  add    $0x1,%rbx
  add    $0x1,%rbp
  mov    %al,-0x1(%rbx)
  test   $0x7,%bl
  jne    L134
L38:
  mov    %r13,%r14
  xor    %edi,%edi
  and    $0xfffffffffffffff8,%r14
  lea    -0x40(%r14),%r15
  cmp    %rbx,%r15
  seta   %dil
  xor    %esi,%esi
  call   <__builtin_expect@plt>
  test   %rax,%rax
  je     L51
  cmp    %rbx,%r15
  jbe    L51
  nopl   0x0(%rax)
L68:
  mov    0x0(%rbp),%r11
  mov    0x8(%rbp),%r10
  add    $0x48,%rbp
  add    $0x48,%rbx
  mov    -0x38(%rbp),%r9
  mov    -0x30(%rbp),%r8
  mov    -0x28(%rbp),%rdi
  mov    -0x20(%rbp),%rsi
  mov    -0x18(%rbp),%rcx
  mov    -0x10(%rbp),%rdx
  mov    -0x8(%rbp),%rax
  mov    %r11,-0x48(%rbx)
  mov    %r10,-0x40(%rbx)
  mov    %r9,-0x38(%rbx)
  mov    %r8,-0x30(%rbx)
  mov    %rdi,-0x28(%rbx)
  mov    %rsi,-0x20(%rbx)
  mov    %rcx,-0x18(%rbx)
  mov    %rdx,-0x10(%rbx)
  mov    %rax,-0x8(%rbx)
  cmp    %rbx,%r15
  ja     L68
L51:
  mov    %rbp,%rdx
  mov    %rbx,%rax
  cmp    %rbx,%r14
  jbe    L66
L56:
  mov    (%rdx),%rcx
  add    $0x8,%rax
  add    $0x8,%rdx
  mov    %rcx,-0x8(%rax)
  cmp    %rax,%r14
  ja     L56
  sub    $0x1,%r14
  sub    %rbx,%r14
  shr    $0x3,%r14
  lea    0x8(,%r14,8),%rax
  add    %rax,%rbx
  add    %rax,%rbp
L66:
  xor    %r14d,%r14d
  cmp    %rbx,%r13
  seta   %r14b
  xor    %esi,%esi
  mov    %r14d,%edi
  call   <__builtin_expect@plt>
  test   %rax,%rax
  jne    L15
L19:
  add    $0x8,%rsp
  mov    %r12,%rax
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   0x0(%rax,%rax,1)
L137:
  xor    %r14d,%r14d
  cmp    %r13,%r12
  mov    %r12,%rbx
  setb   %r14b
L15:
  mov    $0x1,%esi
  mov    %r14d,%edi
  call   <__builtin_expect@plt>
  test   %rax,%rax
  je     L19
  cmp    %r13,%rbx
  jae    L19
  sub    %rbx,%r13
  xor    %eax,%eax
  nopl   0x0(%rax)
L43:
  movzbl 0x0(%rbp,%rax,1),%edx
  mov    %dl,(%rbx,%rax,1)
  add    $0x1,%rax
  cmp    %rax,%r13
  jne    L43
  jmp    L19
```

assistant: ```c
void *__memcpy(void *aa, const void *bb, size_t n) {
  char *a = (char *)aa;
  const char *b = (const char *)bb;
  char *end = a + n;
  uintptr_t msk = sizeof(long) - 1;
  if (__builtin_expect(((uintptr_t)a & msk) != ((uintptr_t)b & msk) || n < sizeof(long), 0)) {
  small:
    if (__builtin_expect(a < end, 1))
      while (a < end) {
        char tt = *b;
        a++, b++;
        *(a - 1) = tt;
      };
    return aa;
  }
  if (__builtin_expect(((uintptr_t)a & msk) != 0, 0))
    while ((uintptr_t)a & msk) {
      char tt = *b;
      a++, b++;
      *(a - 1) = tt;
    };
  long *la = (long *)a;
  const long *lb = (const long *)b;
  long *lend = (long *)((uintptr_t)end & ~msk);
  if (__builtin_expect(la < lend - 8, 0)) {
    while (la < lend - 8) {
      long b0 = *lb++;
      long b1 = *lb++;
      long b2 = *lb++;
      long b3 = *lb++;
      long b4 = *lb++;
      long b5 = *lb++;
      long b6 = *lb++;
      long b7 = *lb++;
      long b8 = *lb++;
      *la++ = b0;
      *la++ = b1;
      *la++ = b2;
      *la++ = b3;
      *la++ = b4;
      *la++ = b5;
      *la++ = b6;
      *la++ = b7;
      *la++ = b8;
    }
  }
  while (la < lend) {
    long tt = *lb;
    la++, lb++;
    *(la - 1) = tt;
  };
  a = (char *)la;
  b = (const char *)lb;
  if (__builtin_expect(a < end, 0))
    goto small;
  return aa;
}
```