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

```asm
<xor_64regs_stream_5>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x68,%rsp
  mov    %rdi,-0x48(%rbp)
  mov    %rsi,-0x50(%rbp)
  mov    %rdx,-0x58(%rbp)
  mov    %rcx,-0x60(%rbp)
  mov    %r8,-0x68(%rbp)
  mov    %r9,-0x70(%rbp)
  mov    -0x48(%rbp),%rax
  shr    $0x6,%rax
  mov    %rax,-0x38(%rbp)
L2:
  mov    -0x50(%rbp),%rax
  mov    (%rax),%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x50(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  mov    %rax,-0x80(%rbp)
  mov    -0x50(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  mov    %rax,-0x88(%rbp)
  mov    -0x50(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rax
  mov    %rax,%r15
  mov    -0x50(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rax
  mov    %rax,%r14
  mov    -0x50(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  mov    %rax,%r13
  mov    -0x50(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rax
  mov    %rax,%r12
  mov    -0x50(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rax
  mov    %rax,%rbx
  mov    -0x50(%rbp),%rax
  add    $0xa00,%rax
  mov    $0x0,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <__builtin_prefetch@plt>
  mov    -0x58(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x78(%rbp),%rdx
  xor    %rdx,%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  mov    -0x80(%rbp),%rdx
  xor    %rdx,%rax
  mov    %rax,-0x80(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  mov    -0x88(%rbp),%rdx
  xor    %rdx,%rax
  mov    %rax,-0x88(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rax
  mov    %r15,%rdx
  xor    %rdx,%rax
  mov    %rax,%r15
  mov    -0x58(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rax
  mov    %r14,%rdx
  xor    %rdx,%rax
  mov    %rax,%r14
  mov    -0x58(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  mov    %r13,%rdx
  xor    %rdx,%rax
  mov    %rax,%r13
  mov    -0x58(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rax
  mov    %r12,%rdx
  xor    %rdx,%rax
  mov    %rax,%r12
  mov    -0x58(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rax
  mov    %rbx,%rdx
  xor    %rdx,%rax
  mov    %rax,%rbx
  mov    -0x58(%rbp),%rax
  add    $0xa00,%rax
  mov    $0x0,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <__builtin_prefetch@plt>
  mov    -0x60(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x78(%rbp),%rdx
  xor    %rdx,%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x60(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  mov    -0x80(%rbp),%rdx
  xor    %rdx,%rax
  mov    %rax,-0x80(%rbp)
  mov    -0x60(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  mov    -0x88(%rbp),%rdx
  xor    %rdx,%rax
  mov    %rax,-0x88(%rbp)
  mov    -0x60(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rax
  mov    %r15,%rdx
  xor    %rdx,%rax
  mov    %rax,%r15
  mov    -0x60(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rax
  mov    %r14,%rdx
  xor    %rdx,%rax
  mov    %rax,%r14
  mov    -0x60(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  mov    %r13,%rdx
  xor    %rdx,%rax
  mov    %rax,%r13
  mov    -0x60(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rax
  mov    %r12,%rdx
  xor    %rdx,%rax
  mov    %rax,%r12
  mov    -0x60(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rax
  mov    %rbx,%rdx
  xor    %rdx,%rax
  mov    %rax,%rbx
  mov    -0x60(%rbp),%rax
  add    $0xa00,%rax
  mov    $0x0,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <__builtin_prefetch@plt>
  mov    -0x68(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x78(%rbp),%rdx
  xor    %rdx,%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x68(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  mov    -0x80(%rbp),%rdx
  xor    %rdx,%rax
  mov    %rax,-0x80(%rbp)
  mov    -0x68(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  mov    -0x88(%rbp),%rdx
  xor    %rdx,%rax
  mov    %rax,-0x88(%rbp)
  mov    -0x68(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rax
  mov    %r15,%rdx
  xor    %rdx,%rax
  mov    %rax,%r15
  mov    -0x68(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rax
  mov    %r14,%rdx
  xor    %rdx,%rax
  mov    %rax,%r14
  mov    -0x68(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  mov    %r13,%rdx
  xor    %rdx,%rax
  mov    %rax,%r13
  mov    -0x68(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rax
  mov    %r12,%rdx
  xor    %rdx,%rax
  mov    %rax,%r12
  mov    -0x68(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rax
  mov    %rbx,%rdx
  xor    %rdx,%rax
  mov    %rax,%rbx
  mov    -0x68(%rbp),%rax
  add    $0xa00,%rax
  mov    $0x0,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <__builtin_prefetch@plt>
  mov    -0x70(%rbp),%rax
  mov    (%rax),%rax
  mov    -0x78(%rbp),%rdx
  xor    %rdx,%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x70(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%rax
  mov    -0x80(%rbp),%rdx
  xor    %rdx,%rax
  mov    %rax,-0x80(%rbp)
  mov    -0x70(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%rax
  mov    -0x88(%rbp),%rdx
  xor    %rdx,%rax
  mov    %rax,-0x88(%rbp)
  mov    -0x70(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%rax
  mov    %r15,%rdx
  xor    %rdx,%rax
  mov    %rax,%r15
  mov    -0x70(%rbp),%rax
  add    $0x20,%rax
  mov    (%rax),%rax
  mov    %r14,%rdx
  xor    %rdx,%rax
  mov    %rax,%r14
  mov    -0x70(%rbp),%rax
  add    $0x28,%rax
  mov    (%rax),%rax
  mov    %r13,%rdx
  xor    %rdx,%rax
  mov    %rax,%r13
  mov    -0x70(%rbp),%rax
  add    $0x30,%rax
  mov    (%rax),%rax
  mov    %r12,%rdx
  xor    %rdx,%rax
  mov    %rax,%r12
  mov    -0x70(%rbp),%rax
  add    $0x38,%rax
  mov    (%rax),%rax
  mov    %rbx,%rdx
  xor    %rdx,%rax
  mov    %rax,%rbx
  mov    -0x70(%rbp),%rax
  add    $0xa00,%rax
  mov    $0x0,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <__builtin_prefetch@plt>
  mov    -0x50(%rbp),%rax
  mov    -0x78(%rbp),%rsi
  mov    %rax,%rdi
  call   <__builtin_ia32_movnti@plt>
  mov    -0x50(%rbp),%rax
  add    $0x8,%rax
  mov    -0x80(%rbp),%rsi
  mov    %rax,%rdi
  call   <__builtin_ia32_movnti@plt>
  mov    -0x50(%rbp),%rax
  add    $0x10,%rax
  mov    -0x88(%rbp),%rsi
  mov    %rax,%rdi
  call   <__builtin_ia32_movnti@plt>
  mov    -0x50(%rbp),%rax
  add    $0x18,%rax
  mov    %r15,%rsi
  mov    %rax,%rdi
  call   <__builtin_ia32_movnti@plt>
  mov    -0x50(%rbp),%rax
  add    $0x20,%rax
  mov    %r14,%rsi
  mov    %rax,%rdi
  call   <__builtin_ia32_movnti@plt>
  mov    -0x50(%rbp),%rax
  add    $0x28,%rax
  mov    %r13,%rsi
  mov    %rax,%rdi
  call   <__builtin_ia32_movnti@plt>
  mov    -0x50(%rbp),%rax
  add    $0x30,%rax
  mov    %r12,%rsi
  mov    %rax,%rdi
  call   <__builtin_ia32_movnti@plt>
  mov    -0x50(%rbp),%rax
  add    $0x38,%rax
  mov    %rbx,%rsi
  mov    %rax,%rdi
  call   <__builtin_ia32_movnti@plt>
  addq   $0x40,-0x50(%rbp)
  addq   $0x40,-0x58(%rbp)
  addq   $0x40,-0x60(%rbp)
  addq   $0x40,-0x68(%rbp)
  addq   $0x40,-0x70(%rbp)
  subq   $0x1,-0x38(%rbp)
  cmpq   $0x0,-0x38(%rbp)
  jg     L2
  nop
  nop
  add    $0x68,%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
```

assistant: ```c
void xor_64regs_stream_5(unsigned long bytes, unsigned long *p1, unsigned long *p2, unsigned long *p3, unsigned long *p4, unsigned long *p5) {
  long lines = bytes / (sizeof(long)) / 8;
  do {
    register long d0, d1, d2, d3, d4, d5, d6, d7;
    d0 = p1[0];
    d1 = p1[1];
    d2 = p1[2];
    d3 = p1[3];
    d4 = p1[4];
    d5 = p1[5];
    d6 = p1[6];
    d7 = p1[7];
    __builtin_prefetch(p1 + 5 * 64, 0, 0);
    d0 ^= p2[0];
    d1 ^= p2[1];
    d2 ^= p2[2];
    d3 ^= p2[3];
    d4 ^= p2[4];
    d5 ^= p2[5];
    d6 ^= p2[6];
    d7 ^= p2[7];
    __builtin_prefetch(p2 + 5 * 64, 0, 0);
    d0 ^= p3[0];
    d1 ^= p3[1];
    d2 ^= p3[2];
    d3 ^= p3[3];
    d4 ^= p3[4];
    d5 ^= p3[5];
    d6 ^= p3[6];
    d7 ^= p3[7];
    __builtin_prefetch(p3 + 5 * 64, 0, 0);
    d0 ^= p4[0];
    d1 ^= p4[1];
    d2 ^= p4[2];
    d3 ^= p4[3];
    d4 ^= p4[4];
    d5 ^= p4[5];
    d6 ^= p4[6];
    d7 ^= p4[7];
    __builtin_prefetch(p4 + 5 * 64, 0, 0);
    d0 ^= p5[0];
    d1 ^= p5[1];
    d2 ^= p5[2];
    d3 ^= p5[3];
    d4 ^= p5[4];
    d5 ^= p5[5];
    d6 ^= p5[6];
    d7 ^= p5[7];
    __builtin_prefetch(p5 + 5 * 64, 0, 0);
    __builtin_ia32_movnti(&(p1[0]), (d0));
    __builtin_ia32_movnti(&(p1[1]), (d1));
    __builtin_ia32_movnti(&(p1[2]), (d2));
    __builtin_ia32_movnti(&(p1[3]), (d3));
    __builtin_ia32_movnti(&(p1[4]), (d4));
    __builtin_ia32_movnti(&(p1[5]), (d5));
    __builtin_ia32_movnti(&(p1[6]), (d6));
    __builtin_ia32_movnti(&(p1[7]), (d7));
    p1 += 8;
    p2 += 8;
    p3 += 8;
    p4 += 8;
    p5 += 8;
  } while (--lines > 0);
}
```