user: 请从给定的汇编指令推导出C源代码:

```asm
<SHA256_Xcompare_7>:
  endbr64
  push   %r13
  xor    %esi,%esi
  mov    $0x20,%edx
  push   %r12
  push   %rbp
  sub    $0xa0,%rsp
  movdqa D82(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x98(%rsp)
  xor    %eax,%eax
  lea    0x20(%rsp),%rbp
  lea    0x40(%rsp),%r13
  mov    %rsp,%r12
  movaps %xmm0,0x40(%rsp)
  mov    %rbp,%rdi
  movdqa D45(%rip),%xmm0
  movl   $0x1a977dae,0x90(%rsp)
  movaps %xmm0,0x50(%rsp)
  movdqa D13(%rip),%xmm0
  movaps %xmm0,0x60(%rsp)
  movdqa D2(%rip),%xmm0
  movaps %xmm0,0x70(%rsp)
  movdqa D3(%rip),%xmm0
  movaps %xmm0,0x80(%rsp)
  movdqa D57(%rip),%xmm0
  movaps %xmm0,(%rsp)
  movdqa D6(%rip),%xmm0
  movaps %xmm0,0x10(%rsp)
  call   <memset@plt>
  mov    $0x54,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_VST@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D34(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0x54,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_NSS@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D83(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0x54,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_sodium@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D71(%rip),%rcx
  call   <check_test@plt>
  mov    0x98(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L9
  add    $0xa0,%rsp
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L9:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D82
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_label: D45
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_label: D13
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_label: D2
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_label: D3
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_label: D57
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_label: D6
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_label: D34
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D83
type_guessed: string
name: extract_symbolic_data
arguments: data_label: D71
type_guessed: string

tool: {"D82": [0xca,0x5c,0x98,0x81,0x7f,0x42,0x20,0x54,0x27,0xd4,0xd9,0x7b,0xb5,0x7b,0x4d,0x78]}

tool: {"D45": [0x32,0xb0,0x0c,0xa3,0x94,0xd5,0x7a,0x2d,0x90,0x0f,0x14,0x47,0x0a,0x0a,0xa6,0x2d]}

tool: {"D13": [0x99,0xad,0xfa,0x21,0x95,0x85,0x7e,0x52,0x42,0xfa,0xd0,0x22,0x94,0x3b,0xe1,0xf0]}

tool: {"D2": [0x37,0x23,0xc0,0x4e,0xb6,0x98,0x09,0x95,0x68,0xca,0x1f,0xe4,0x3c,0x6e,0x99,0x9f]}

tool: {"D3": [0x97,0x73,0x4b,0xfb,0xf8,0x14,0xe5,0xc2,0xa4,0xe1,0x1f,0xbb,0x2c,0xa5,0xc7,0x1f]}

tool: {"D57": [0xe1,0xdb,0xd3,0x47,0xea,0xa0,0xa4,0xbb,0x35,0x15,0xfe,0x9b,0xf8,0x31,0x71,0x36]}

tool: {"D6": [0xfd,0xd9,0x5c,0x30,0xec,0x8f,0xc2,0x5c,0xd8,0x85,0x29,0x4a,0xdd,0x85,0x06,0xd7]}

tool: D34: Disagreement between given answer and SHA256_VST in SHA256_Xcompare_7


tool: D83: Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_7


tool: D71: Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_7


assistant: ```c
void SHA256_Xcompare_7() {
  unsigned char input[84] = {202, 92, 152, 129, 127, 66, 32, 84, 39, 212, 217, 123, 181, 123, 77, 120, 50, 176, 12, 163, 148, 213, 122, 45, 144, 15, 20, 71, 10, 10, 166, 45, 153, 173, 250, 33, 149, 133, 126, 82, 66, 250, 208, 34, 148, 59, 225, 240, 55, 35, 192, 78, 182, 152, 9, 149, 104, 202, 31, 228, 60, 110, 153, 159, 151, 115, 75, 251, 248, 20, 229, 194, 164, 225, 31, 187, 44, 165, 199, 31, 174, 125, 151, 26};
  unsigned char result0[32] = {0xE1, 0xDB, 0xD3, 0x47, 0xEA, 0xA0, 0xA4, 0xBB, 0x35, 0x15, 0xFE, 0x9B, 0xF8, 0x31, 0x71, 0x36, 0xFD, 0xD9, 0x5C, 0x30, 0xEC, 0x8F, 0xC2, 0x5C, 0xD8, 0x85, 0x29, 0x4A, 0xDD, 0x85, 0x06, 0xD7};
  unsigned char result1[32];
  memset(result1, 0, 32);
  SHA256_VST(input, result1, 84);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_VST in SHA256_Xcompare_7\n");
  memset(result1, 0, 32);
  SHA256_NSS(input, result1, 84);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_7\n");
  memset(result1, 0, 32);
  SHA256_sodium(input, result1, 84);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_7\n");
}
```