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

```asm
<SHA256_Xcompare_22>:
  endbr64
  push   %r13
  xor    %esi,%esi
  mov    $0x20,%edx
  push   %r12
  push   %rbp
  add    $0xffffffffffffff80,%rsp
  movdqa D45(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0x78(%rsp)
  xor    %eax,%eax
  lea    0x20(%rsp),%rbp
  lea    0x40(%rsp),%r13
  mov    %rsp,%r12
  movaps %xmm0,0x40(%rsp)
  mov    $0x1270,%eax
  mov    %rbp,%rdi
  movdqa D42(%rip),%xmm0
  movl   $0x6f96b406,0x70(%rsp)
  movaps %xmm0,0x50(%rsp)
  movdqa D77(%rip),%xmm0
  mov    %ax,0x74(%rsp)
  movaps %xmm0,0x60(%rsp)
  movdqa D11(%rip),%xmm0
  movaps %xmm0,(%rsp)
  movdqa D46(%rip),%xmm0
  movaps %xmm0,0x10(%rsp)
  call   <memset@plt>
  mov    $0x36,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_VST@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D17(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0x36,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_NSS@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D58(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0x36,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_sodium@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D33(%rip),%rcx
  call   <check_test@plt>
  mov    0x78(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L9
  sub    $0xffffffffffffff80,%rsp
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L9:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: tag: D45
data_type: byte[16]
name: read_data
arguments: tag: D42
data_type: byte[16]
name: read_data
arguments: tag: D77
data_type: byte[16]
name: read_data
arguments: tag: D11
data_type: byte[16]
name: read_data
arguments: tag: D46
data_type: byte[16]
name: read_data
arguments: tag: D17
data_type: string
name: read_data
arguments: tag: D58
data_type: string
name: read_data
arguments: tag: D33
data_type: string

tool: {"D45": [0x3e,0x4e,0x4b,0x1c,0xa5,0xdd,0x45,0xac,0x49,0x22,0x25,0x00,0xab,0xb3,0xbc,0x98]}

tool: {"D42": [0x55,0xab,0x77,0xbc,0x7e,0x4a,0x9b,0xc1,0xaf,0x58,0x37,0x67,0xf0,0x10,0x27,0x9c]}

tool: {"D77": [0xd3,0xbd,0x71,0xe6,0x03,0xe5,0xbe,0x24,0x41,0x91,0xff,0xe1,0x52,0x9c,0xfb,0x7b]}

tool: {"D11": [0xa9,0xfd,0x35,0xfa,0xd8,0xf1,0x1a,0x15,0xb2,0x77,0x2d,0x26,0xd2,0x03,0xc2,0xfe]}

tool: {"D46": [0x8a,0xf5,0xca,0x5c,0x27,0xa8,0xfd,0x75,0x6c,0xd9,0xa0,0xa1,0xd7,0x42,0x7f,0xce]}

tool: D17: Disagreement between given answer and SHA256_VST in SHA256_Xcompare_22


tool: D58: Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_22


tool: D33: Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_22


assistant: ```c
void SHA256_Xcompare_22() {
  unsigned char input[54] = {62, 78, 75, 28, 165, 221, 69, 172, 73, 34, 37, 0, 171, 179, 188, 152, 85, 171, 119, 188, 126, 74, 155, 193, 175, 88, 55, 103, 240, 16, 39, 156, 211, 189, 113, 230, 3, 229, 190, 36, 65, 145, 255, 225, 82, 156, 251, 123, 6, 180, 150, 111, 112, 18};
  unsigned char result0[32] = {0xA9, 0xFD, 0x35, 0xFA, 0xD8, 0xF1, 0x1A, 0x15, 0xB2, 0x77, 0x2D, 0x26, 0xD2, 0x03, 0xC2, 0xFE, 0x8A, 0xF5, 0xCA, 0x5C, 0x27, 0xA8, 0xFD, 0x75, 0x6C, 0xD9, 0xA0, 0xA1, 0xD7, 0x42, 0x7F, 0xCE};
  unsigned char result1[32];
  memset(result1, 0, 32);
  SHA256_VST(input, result1, 54);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_VST in SHA256_Xcompare_22\n");
  memset(result1, 0, 32);
  SHA256_NSS(input, result1, 54);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_22\n");
  memset(result1, 0, 32);
  SHA256_sodium(input, result1, 54);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_22\n");
}
```