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

```asm
<xtheta>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  mov    %rdi,-0x28(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x28(%rbp),%rax
  mov    (%rax),%edx
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  shl    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  shl    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  sar    $0x18,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  shl    $0x8,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  sar    $0x8,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  shl    $0x18,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  shl    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  sar    $0x18,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  shl    $0x8,%eax
  xor    %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%edx
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  shl    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  shl    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  sar    $0x18,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  shl    $0x8,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  sar    $0x8,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  shl    $0x18,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  shl    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  sar    $0x18,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  shl    $0x8,%eax
  xor    %edx,%eax
  mov    %eax,-0x10(%rbp)
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%edx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  shl    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  shl    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  mov    (%rax),%eax
  sar    $0x18,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  shl    $0x8,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  sar    $0x8,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  shl    $0x18,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  sar    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  shl    $0x10,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x4,%rax
  mov    (%rax),%eax
  sar    $0x18,%eax
  xor    %eax,%edx
  mov    -0x28(%rbp),%rax
  add    $0x8,%rax
  mov    (%rax),%eax
  shl    $0x8,%eax
  xor    %edx,%eax
  mov    %eax,-0xc(%rbp)
  mov    -0x14(%rbp),%edx
  mov    -0x28(%rbp),%rax
  mov    %edx,(%rax)
  mov    -0x28(%rbp),%rax
  lea    0x4(%rax),%rdx
  mov    -0x10(%rbp),%eax
  mov    %eax,(%rdx)
  mov    -0x28(%rbp),%rax
  lea    0x8(%rax),%rdx
  mov    -0xc(%rbp),%eax
  mov    %eax,(%rdx)
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L3
  call   <__stack_chk_fail@plt>
L3:
  leave
  ret
```

assistant: ```c
void xtheta(uint32_t *a) {
  uint32_t b[3];
  b[0] = a[0] ^ (a[0] >> 16) ^ (a[1] << 16) ^ (a[1] >> 16) ^ (a[2] << 16) ^ (a[1] >> 24) ^ (a[2] << 8) ^ (a[2] >> 8) ^ (a[0] << 24) ^ (a[2] >> 16) ^ (a[0] << 16) ^ (a[2] >> 24) ^ (a[0] << 8);
  b[1] = a[1] ^ (a[1] >> 16) ^ (a[2] << 16) ^ (a[2] >> 16) ^ (a[0] << 16) ^ (a[2] >> 24) ^ (a[0] << 8) ^ (a[0] >> 8) ^ (a[1] << 24) ^ (a[0] >> 16) ^ (a[1] << 16) ^ (a[0] >> 24) ^ (a[1] << 8);
  b[2] = a[2] ^ (a[2] >> 16) ^ (a[0] << 16) ^ (a[0] >> 16) ^ (a[1] << 16) ^ (a[0] >> 24) ^ (a[1] << 8) ^ (a[1] >> 8) ^ (a[2] << 24) ^ (a[1] >> 16) ^ (a[2] << 16) ^ (a[1] >> 24) ^ (a[2] << 8);
  a[0] = b[0];
  a[1] = b[1];
  a[2] = b[2];
}
```