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

```asm
<internal_fiat_poly1305_to_bytes>:
  endbr64
  push   %r13
  push   %r12
  push   %rbp
  mov    %rsi,%rbp
  mov    $0x8,%esi
  push   %rbx
  mov    %rdi,%rbx
  mov    %ebp,%edi
  sub    $0x8,%rsp
  call   <_br2_load@plt>
  lea    0x8(%rbp),%edi
  mov    $0x8,%esi
  mov    %rax,%r13
  call   <_br2_load@plt>
  lea    0x10(%rbp),%edi
  mov    $0x8,%esi
  mov    %rax,%r12
  call   <_br2_load@plt>
  movabs $0xfffff00000000005,%rcx
  movabs $0xfffff80000000001,%r9
  movabs $0x7ffffffffff,%rdi
  add    %r13,%rcx
  add    %r12,%r9
  mov    %rax,%r10
  xor    %eax,%eax
  mov    %rcx,%rdx
  mov    %r10,%r11
  shr    $0x2c,%rdx
  add    %r9,%rdx
  cmp    %rcx,%r13
  setb   %al
  sub    %rdi,%r11
  xor    %esi,%esi
  shl    $0x14,%rax
  sub    %rax,%rdx
  mov    %rdx,%rax
  mov    %rdx,%r8
  shr    $0x2b,%rax
  and    %rdi,%r8
  add    %r11,%rax
  cmp    %r9,%r12
  movabs $0xffffffffffb,%r12
  setb   %sil
  cmp    %rdx,%r9
  mov    %rsi,%rdx
  adc    $0x0,%rdx
  shl    $0x15,%rdx
  sub    %rdx,%rax
  xor    %edx,%edx
  cmp    %r11,%r10
  setb   %dl
  cmp    %rax,%r11
  mov    %rax,%rsi
  adc    $0x0,%rdx
  shr    $0x2b,%rsi
  xor    %r9d,%r9d
  shl    $0x15,%rdx
  cmp    %rsi,%rdx
  movabs $0xfffffffffff,%rsi
  setne  %r9b
  and    %rsi,%rcx
  xor    %ebp,%ebp
  movabs $0x7ffffffffff0,%rsi
  mov    %r9,%rdx
  neg    %rdx
  and    %rdx,%r12
  and    %rdi,%rdx
  add    %rcx,%r12
  mov    %r12,%r10
  mov    %r12,%r13
  shr    $0x2c,%r10
  shr    $0x28,%r13
  add    %r8,%r10
  and    $0xf,%r13d
  add    %r10,%rdx
  mov    %rdx,%rcx
  shl    $0x4,%rcx
  and    %rsi,%rcx
  movzbl %r12b,%esi
  or     %rcx,%r13
  cmp    %r10,%r8
  seta   %bpl
  and    %rdi,%rax
  shr    $0x2b,%rdx
  mov    %ebx,%edi
  shl    $0x15,%rbp
  sub    %r9,%rax
  shr    $0x28,%rcx
  add    %rdx,%rax
  mov    $0x1,%edx
  add    %rax,%rbp
  movabs $0x3ffffffffff80,%rax
  shl    $0x7,%rbp
  and    %rax,%rbp
  add    %rcx,%rbp
  call   <_br2_store@plt>
  mov    %r12,%rax
  lea    0x1(%rbx),%edi
  mov    $0x1,%edx
  movzbl %ah,%esi
  call   <_br2_store@plt>
  mov    %r12,%rsi
  lea    0x2(%rbx),%edi
  mov    $0x1,%edx
  shr    $0x10,%rsi
  movzbl %sil,%esi
  call   <_br2_store@plt>
  mov    %r12,%rsi
  lea    0x3(%rbx),%edi
  shr    $0x20,%r12
  shr    $0x18,%rsi
  mov    $0x1,%edx
  movzbl %sil,%esi
  call   <_br2_store@plt>
  movzbl %r12b,%esi
  lea    0x4(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  movzbl %r13b,%esi
  lea    0x5(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  mov    %r13,%rax
  lea    0x6(%rbx),%edi
  mov    $0x1,%edx
  movzbl %ah,%esi
  call   <_br2_store@plt>
  mov    %r13,%rsi
  lea    0x7(%rbx),%edi
  mov    $0x1,%edx
  shr    $0x10,%rsi
  movzbl %sil,%esi
  call   <_br2_store@plt>
  mov    %r13,%rsi
  lea    0x8(%rbx),%edi
  shr    $0x20,%r13
  shr    $0x18,%rsi
  mov    $0x1,%edx
  movzbl %sil,%esi
  call   <_br2_store@plt>
  movzbl %r13b,%esi
  lea    0x9(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  movzbl %bpl,%esi
  lea    0xa(%rbx),%edi
  mov    $0x1,%edx
  call   <_br2_store@plt>
  mov    %rbp,%rax
  lea    0xb(%rbx),%edi
  mov    $0x1,%edx
  movzbl %ah,%esi
  call   <_br2_store@plt>
  mov    %rbp,%rsi
  lea    0xc(%rbx),%edi
  mov    $0x1,%edx
  shr    $0x10,%rsi
  movzbl %sil,%esi
  call   <_br2_store@plt>
  mov    %rbp,%rsi
  lea    0xd(%rbx),%edi
  mov    $0x1,%edx
  shr    $0x18,%rsi
  movzbl %sil,%esi
  call   <_br2_store@plt>
  mov    %rbp,%rsi
  lea    0xe(%rbx),%edi
  mov    $0x1,%edx
  shr    $0x20,%rsi
  movzbl %sil,%esi
  call   <_br2_store@plt>
  mov    %rbp,%rsi
  lea    0xf(%rbx),%edi
  mov    $0x1,%edx
  shr    $0x28,%rsi
  movzbl %sil,%esi
  call   <_br2_store@plt>
  add    $0x8,%rsp
  mov    %rbp,%rsi
  lea    0x10(%rbx),%edi
  shr    $0x30,%rsi
  pop    %rbx
  mov    $0x1,%edx
  pop    %rbp
  pop    %r12
  pop    %r13
  jmp    1060 <_br2_store@plt>
```

assistant: ```c
void internal_fiat_poly1305_to_bytes(uintptr_t out0, uintptr_t in0) {
  uintptr_t x0, x4, x3, x1, x6, x7, x8, x10, x11, x9, x2, x13, x14, x15, x17, x18, x16, x20, x5, x22, x23, x25, x12, x26, x27, x29, x28, x30, x32, x19, x33, x21, x34, x35, x31, x24, x39, x41, x43, x45, x37, x47, x48, x50, x52, x54, x56, x36, x58, x59, x61, x63, x65, x67, x69, x38, x40, x42, x44, x46, x49, x51, x53, x55, x57, x60, x62, x64, x66, x68, x70, x71, x72, x73, x74, x75, x76, x77, x78, x79, x80, x81, x82, x83, x84, x85, x86, x87, x88;
  x0 = _br2_load((in0) + ((uintptr_t)0ULL), sizeof(uintptr_t));
  x1 = _br2_load((in0) + ((uintptr_t)8ULL), sizeof(uintptr_t));
  x2 = _br2_load((in0) + ((uintptr_t)16ULL), sizeof(uintptr_t));
  x3 = (x0) - ((uintptr_t)17592186044411ULL);
  x4 = (x0) < (x3);
  x5 = (x3) & ((uintptr_t)17592186044415ULL);
  x6 = ((x4) << ((uintptr_t)20ULL)) - ((x3) >> ((uintptr_t)44ULL));
  x7 = (x1) - ((uintptr_t)8796093022207ULL);
  x8 = (x1) < (x7);
  x9 = (x7) - (x6);
  x10 = (x7) < (x9);
  x11 = (x8) + (x10);
  x12 = (x9) & ((uintptr_t)8796093022207ULL);
  x13 = ((x11) << ((uintptr_t)21ULL)) - ((x9) >> ((uintptr_t)43ULL));
  x14 = (x2) - ((uintptr_t)8796093022207ULL);
  x15 = (x2) < (x14);
  x16 = (x14) - (x13);
  x17 = (x14) < (x16);
  x18 = (x15) + (x17);
  x19 = (x16) & ((uintptr_t)8796093022207ULL);
  x20 = ((x18) << ((uintptr_t)21ULL)) - ((x16) >> ((uintptr_t)43ULL));
  x21 = ((uintptr_t)-1ULL) + ((x20) == ((uintptr_t)0ULL));
  x22 = (x5) + ((x21) & ((uintptr_t)17592186044411ULL));
  x23 = (x22) < (x5);
  x24 = (x22) & ((uintptr_t)17592186044415ULL);
  x25 = ((x22) >> ((uintptr_t)44ULL)) + ((x23) << ((uintptr_t)20ULL));
  x26 = (x25) + (x12);
  x27 = (x26) < (x12);
  x28 = (x26) + ((x21) & ((uintptr_t)8796093022207ULL));
  x29 = (x28) < ((x21) & ((uintptr_t)8796093022207ULL));
  x30 = (x27) + (x29);
  x31 = (x28) & ((uintptr_t)8796093022207ULL);
  x32 = ((x28) >> ((uintptr_t)43ULL)) + ((x30) << ((uintptr_t)21ULL));
  x33 = (x32) + (x19);
  x34 = (x33) + ((x21) & ((uintptr_t)8796093022207ULL));
  x35 = (x34) & ((uintptr_t)8796093022207ULL);
  x36 = (x35) << ((uintptr_t)7ULL);
  x37 = (x31) << ((uintptr_t)4ULL);
  x38 = (x24) & ((uintptr_t)255ULL);
  x39 = (x24) >> ((uintptr_t)8ULL);
  x40 = (x39) & ((uintptr_t)255ULL);
  x41 = (x39) >> ((uintptr_t)8ULL);
  x42 = (x41) & ((uintptr_t)255ULL);
  x43 = (x41) >> ((uintptr_t)8ULL);
  x44 = (x43) & ((uintptr_t)255ULL);
  x45 = (x43) >> ((uintptr_t)8ULL);
  x46 = (x45) & ((uintptr_t)255ULL);
  x47 = (x45) >> ((uintptr_t)8ULL);
  x48 = (x37) + (x47);
  x49 = (x48) & ((uintptr_t)255ULL);
  x50 = (x48) >> ((uintptr_t)8ULL);
  x51 = (x50) & ((uintptr_t)255ULL);
  x52 = (x50) >> ((uintptr_t)8ULL);
  x53 = (x52) & ((uintptr_t)255ULL);
  x54 = (x52) >> ((uintptr_t)8ULL);
  x55 = (x54) & ((uintptr_t)255ULL);
  x56 = (x54) >> ((uintptr_t)8ULL);
  x57 = (x56) & ((uintptr_t)255ULL);
  x58 = (x56) >> ((uintptr_t)8ULL);
  x59 = (x36) + (x58);
  x60 = (x59) & ((uintptr_t)255ULL);
  x61 = (x59) >> ((uintptr_t)8ULL);
  x62 = (x61) & ((uintptr_t)255ULL);
  x63 = (x61) >> ((uintptr_t)8ULL);
  x64 = (x63) & ((uintptr_t)255ULL);
  x65 = (x63) >> ((uintptr_t)8ULL);
  x66 = (x65) & ((uintptr_t)255ULL);
  x67 = (x65) >> ((uintptr_t)8ULL);
  x68 = (x67) & ((uintptr_t)255ULL);
  x69 = (x67) >> ((uintptr_t)8ULL);
  x70 = (x69) & ((uintptr_t)255ULL);
  x71 = (x69) >> ((uintptr_t)8ULL);
  x72 = x38;
  x73 = x40;
  x74 = x42;
  x75 = x44;
  x76 = x46;
  x77 = x49;
  x78 = x51;
  x79 = x53;
  x80 = x55;
  x81 = x57;
  x82 = x60;
  x83 = x62;
  x84 = x64;
  x85 = x66;
  x86 = x68;
  x87 = x70;
  x88 = x71;
  _br2_store((out0) + ((uintptr_t)0ULL), x72, 1);
  _br2_store((out0) + ((uintptr_t)1ULL), x73, 1);
  _br2_store((out0) + ((uintptr_t)2ULL), x74, 1);
  _br2_store((out0) + ((uintptr_t)3ULL), x75, 1);
  _br2_store((out0) + ((uintptr_t)4ULL), x76, 1);
  _br2_store((out0) + ((uintptr_t)5ULL), x77, 1);
  _br2_store((out0) + ((uintptr_t)6ULL), x78, 1);
  _br2_store((out0) + ((uintptr_t)7ULL), x79, 1);
  _br2_store((out0) + ((uintptr_t)8ULL), x80, 1);
  _br2_store((out0) + ((uintptr_t)9ULL), x81, 1);
  _br2_store((out0) + ((uintptr_t)10ULL), x82, 1);
  _br2_store((out0) + ((uintptr_t)11ULL), x83, 1);
  _br2_store((out0) + ((uintptr_t)12ULL), x84, 1);
  _br2_store((out0) + ((uintptr_t)13ULL), x85, 1);
  _br2_store((out0) + ((uintptr_t)14ULL), x86, 1);
  _br2_store((out0) + ((uintptr_t)15ULL), x87, 1);
  _br2_store((out0) + ((uintptr_t)16ULL), x88, 1);
  return;
}
```