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

```asm
<SHA256_Xcompare_14>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movabs $0x78b0dea484fe1a8,%rax
  movabs $0x421254e62d4d6639,%rdx
  mov    %rax,-0x70(%rbp)
  mov    %rdx,-0x68(%rbp)
  movl   $0x3507713b,-0x60(%rbp)
  movw   $0xae4e,-0x5c(%rbp)
  movabs $0x8b17dc4a27bca23d,%rax
  movabs $0x5c4e1f8dacf5a5aa,%rdx
  mov    %rax,-0x50(%rbp)
  mov    %rdx,-0x48(%rbp)
  movabs $0x885733387bf887aa,%rax
  movabs $0x2429e3ac2c0be0cd,%rdx
  mov    %rax,-0x40(%rbp)
  mov    %rdx,-0x38(%rbp)
  lea    -0x30(%rbp),%rax
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  lea    -0x30(%rbp),%rcx
  lea    -0x70(%rbp),%rax
  mov    $0x16,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <SHA256_VST@plt>
  lea    -0x30(%rbp),%rsi
  lea    -0x50(%rbp),%rax
  lea    D21(%rip),%rdx
  mov    %rdx,%rcx
  mov    $0x20,%edx
  mov    %rax,%rdi
  call   <check_test@plt>
  lea    -0x30(%rbp),%rax
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  lea    -0x30(%rbp),%rcx
  lea    -0x70(%rbp),%rax
  mov    $0x16,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <SHA256_NSS@plt>
  lea    -0x30(%rbp),%rsi
  lea    -0x50(%rbp),%rax
  lea    D14(%rip),%rdx
  mov    %rdx,%rcx
  mov    $0x20,%edx
  mov    %rax,%rdi
  call   <check_test@plt>
  lea    -0x30(%rbp),%rax
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rax,%rdi
  call   <memset@plt>
  lea    -0x30(%rbp),%rcx
  lea    -0x70(%rbp),%rax
  mov    $0x16,%edx
  mov    %rcx,%rsi
  mov    %rax,%rdi
  call   <SHA256_sodium@plt>
  lea    -0x30(%rbp),%rsi
  lea    -0x50(%rbp),%rax
  lea    D7(%rip),%rdx
  mov    %rdx,%rcx
  mov    $0x20,%edx
  mov    %rax,%rdi
  call   <check_test@plt>
  nop
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L0
  call   <__stack_chk_fail@plt>
L0:
  leave
  ret
```

tool_calls: name: read_data
arguments: data_label: D21
type: string
name: read_data
arguments: data_label: D14
type: string
name: read_data
arguments: data_label: D7
type: string

tool: D21: Disagreement between given answer and SHA256_VST in SHA256_Xcompare_14


tool: D14: Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_14


tool: D7: Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_14


assistant: ```c
void SHA256_Xcompare_14() {
  unsigned char input[22] = {168, 225, 79, 72, 234, 13, 139, 7, 57, 102, 77, 45, 230, 84, 18, 66, 59, 113, 7, 53, 78, 174};
  unsigned char result0[32] = {0x3D, 0xA2, 0xBC, 0x27, 0x4A, 0xDC, 0x17, 0x8B, 0xAA, 0xA5, 0xF5, 0xAC, 0x8D, 0x1F, 0x4E, 0x5C, 0xAA, 0x87, 0xF8, 0x7B, 0x38, 0x33, 0x57, 0x88, 0xCD, 0xE0, 0x0B, 0x2C, 0xAC, 0xE3, 0x29, 0x24};
  unsigned char result1[32];
  memset(result1, 0, 32);
  SHA256_VST(input, result1, 22);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_VST in SHA256_Xcompare_14\n");
  memset(result1, 0, 32);
  SHA256_NSS(input, result1, 22);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_14\n");
  memset(result1, 0, 32);
  SHA256_sodium(input, result1, 22);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_14\n");
}
```