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

```asm
<memrev64>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %edi,-0x14(%rbp)
  lea    -0x14(%rbp),%rax
  mov    %rax,-0x8(%rbp)
  mov    -0x8(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x1c,%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x8(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x1c,%rax
  mov    (%rax),%ecx
  mov    -0x8(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x1c,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x8(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x1c,%rax
  mov    (%rax),%eax
  xor    %eax,%edx
  mov    -0x8(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%ecx
  mov    -0x8(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%ecx
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x18,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%ecx
  mov    -0x8(%rbp),%rax
  add    $0x18,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x4,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%ecx
  mov    -0x8(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%ecx
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x14,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%ecx
  mov    -0x8(%rbp),%rax
  add    $0x14,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x8,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%ecx
  mov    -0x8(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0xc,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%ecx
  mov    -0x8(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0x10,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x8(%rbp),%rax
  add    $0xc,%rax
  mov    (%rax),%ecx
  mov    -0x8(%rbp),%rax
  add    $0x10,%rax
  mov    (%rax),%edx
  mov    -0x8(%rbp),%rax
  add    $0xc,%rax
  xor    %ecx,%edx
  mov    %edx,(%rax)
  mov    -0x14(%rbp),%eax
  pop    %rbp
  ret
```

assistant: ```c
uint64_t memrev64(uint64_t _dat) {
  uint8_t *ptr = (uint8_t *)&_dat;
  do {
    (ptr[0]) ^= (ptr[7]);
    (ptr[7]) ^= (ptr[0]);
    (ptr[0]) ^= (ptr[7]);
  } while (0);
  do {
    (ptr[1]) ^= (ptr[6]);
    (ptr[6]) ^= (ptr[1]);
    (ptr[1]) ^= (ptr[6]);
  } while (0);
  do {
    (ptr[2]) ^= (ptr[5]);
    (ptr[5]) ^= (ptr[2]);
    (ptr[2]) ^= (ptr[5]);
  } while (0);
  do {
    (ptr[3]) ^= (ptr[4]);
    (ptr[4]) ^= (ptr[3]);
    (ptr[3]) ^= (ptr[4]);
  } while (0);
  return _dat;
}
```