user: 提供的汇编代码用C语言表示会是什么样子：

```asm
<SHA256_Xcompare_8>:
  endbr64
  push   %r13
  xor    %esi,%esi
  mov    $0x20,%edx
  push   %r12
  push   %rbp
  sub    $0xb0,%rsp
  movdqa D15(%rip),%xmm0
  mov    %fs:0x28,%rax
  mov    %rax,0xa8(%rsp)
  xor    %eax,%eax
  lea    0x20(%rsp),%rbp
  lea    0x40(%rsp),%r13
  mov    %rsp,%r12
  movaps %xmm0,0x40(%rsp)
  movdqa D71(%rip),%xmm0
  mov    %rbp,%rdi
  movabs $0xb0b20f296082f7a4,%rax
  mov    %rax,0x90(%rsp)
  mov    $0xffff9cdb,%eax
  movaps %xmm0,0x50(%rsp)
  movdqa D48(%rip),%xmm0
  mov    %ax,0x98(%rsp)
  movaps %xmm0,0x60(%rsp)
  movdqa D87(%rip),%xmm0
  movaps %xmm0,0x70(%rsp)
  movdqa D95(%rip),%xmm0
  movaps %xmm0,0x80(%rsp)
  movdqa D72(%rip),%xmm0
  movaps %xmm0,(%rsp)
  movdqa D54(%rip),%xmm0
  movaps %xmm0,0x10(%rsp)
  call   <memset@plt>
  mov    $0x5a,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_VST@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D67(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0x5a,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_NSS@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D3(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0x5a,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_sodium@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D93(%rip),%rcx
  call   <check_test@plt>
  mov    0xa8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L7
  add    $0xb0,%rsp
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L7:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: parse_data
arguments: tag: D15
type_infered: byte[16]
name: parse_data
arguments: tag: D71
type_infered: byte[16]
name: parse_data
arguments: tag: D48
type_infered: byte[16]
name: parse_data
arguments: tag: D87
type_infered: byte[16]
name: parse_data
arguments: tag: D95
type_infered: byte[16]
name: parse_data
arguments: tag: D72
type_infered: byte[16]
name: parse_data
arguments: tag: D54
type_infered: byte[16]
name: parse_data
arguments: tag: D67
type_infered: string
name: parse_data
arguments: tag: D3
type_infered: string
name: parse_data
arguments: tag: D93
type_infered: string

tool: {"D15": [0x43,0xc5,0x63,0x8b,0xfd,0xee,0xd5,0xd4,0x2f,0x72,0x75,0x82,0x3b,0x57,0xd3,0xf4]}

tool: {"D71": [0xb1,0xe5,0x8e,0x59,0x14,0x8a,0xef,0x83,0x1d,0x2a,0x8e,0x66,0x1f,0x8e,0x77,0xe1]}

tool: {"D48": [0x2f,0xe9,0xc3,0x53,0x48,0x6b,0x04,0xf8,0xa1,0xd2,0x09,0xb0,0x35,0x86,0x8e,0x7c]}

tool: {"D87": [0xc2,0x6d,0xa0,0xd1,0xc8,0x0a,0x2c,0x95,0x1d,0x02,0xe6,0x1c,0x35,0xd5,0xef,0x93]}

tool: {"D95": [0x6e,0x76,0xde,0x82,0x3c,0x9b,0x6d,0xff,0x80,0x8a,0xef,0x31,0x80,0x53,0xe7,0x6e]}

tool: {"D72": [0xe5,0x0f,0x30,0x51,0xa2,0xa5,0xf7,0xee,0xd0,0x3d,0xeb,0xd1,0x1b,0x32,0xdb,0x51]}

tool: {"D54": [0x93,0x63,0xa8,0x7a,0xdc,0xe4,0x84,0x5f,0x60,0x58,0x60,0xd9,0x22,0x42,0x28,0x69]}

tool: D67: Disagreement between given answer and SHA256_VST in SHA256_Xcompare_8


tool: D3: Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_8


tool: D93: Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_8


assistant: ```c
void SHA256_Xcompare_8() {
  unsigned char input[90] = {67, 197, 99, 139, 253, 238, 213, 212, 47, 114, 117, 130, 59, 87, 211, 244, 177, 229, 142, 89, 20, 138, 239, 131, 29, 42, 142, 102, 31, 142, 119, 225, 47, 233, 195, 83, 72, 107, 4, 248, 161, 210, 9, 176, 53, 134, 142, 124, 194, 109, 160, 209, 200, 10, 44, 149, 29, 2, 230, 28, 53, 213, 239, 147, 110, 118, 222, 130, 60, 155, 109, 255, 128, 138, 239, 49, 128, 83, 231, 110, 164, 247, 130, 96, 41, 15, 178, 176, 219, 156};
  unsigned char result0[32] = {0xE5, 0x0F, 0x30, 0x51, 0xA2, 0xA5, 0xF7, 0xEE, 0xD0, 0x3D, 0xEB, 0xD1, 0x1B, 0x32, 0xDB, 0x51, 0x93, 0x63, 0xA8, 0x7A, 0xDC, 0xE4, 0x84, 0x5F, 0x60, 0x58, 0x60, 0xD9, 0x22, 0x42, 0x28, 0x69};
  unsigned char result1[32];
  memset(result1, 0, 32);
  SHA256_VST(input, result1, 90);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_VST in SHA256_Xcompare_8\n");
  memset(result1, 0, 32);
  SHA256_NSS(input, result1, 90);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_8\n");
  memset(result1, 0, 32);
  SHA256_sodium(input, result1, 90);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_8\n");
}
```