user: Converte this assembly snippet into its equivalent C code:

```asm
<SHA256_Xcompare_8>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0xb0,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0xa8(%rsp)
  xor    %eax,%eax
  movabs $0xd4d5eefd8b63c543,%rax
  movabs $0xf4d3573b8275722f,%rdx
  mov    %rax,0x40(%rsp)
  mov    %rdx,0x48(%rsp)
  movabs $0x83ef8a14598ee5b1,%rax
  movabs $0xe1778e1f668e2a1d,%rdx
  mov    %rax,0x50(%rsp)
  mov    %rdx,0x58(%rsp)
  movabs $0xf8046b4853c3e92f,%rax
  movabs $0x7c8e8635b009d2a1,%rdx
  mov    %rax,0x60(%rsp)
  mov    %rdx,0x68(%rsp)
  movabs $0x952c0ac8d1a06dc2,%rax
  movabs $0x93efd5351ce6021d,%rdx
  mov    %rax,0x70(%rsp)
  mov    %rdx,0x78(%rsp)
  movabs $0xff6d9b3c82de766e,%rax
  movabs $0x6ee7538031ef8a80,%rdx
  mov    %rax,0x80(%rsp)
  mov    %rdx,0x88(%rsp)
  movabs $0xb0b20f296082f7a4,%rax
  mov    %rax,0x90(%rsp)
  movw   $0x9cdb,0x98(%rsp)
  movabs $0xeef7a5a251300fe5,%rax
  movabs $0x51db321bd1eb3dd0,%rdx
  mov    %rax,(%rsp)
  mov    %rdx,0x8(%rsp)
  movabs $0x5f84e4dc7aa86393,%rax
  movabs $0x69284222d9605860,%rdx
  mov    %rax,0x10(%rsp)
  mov    %rdx,0x18(%rsp)
  lea    0x20(%rsp),%rbx
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  call   <memset@plt>
  lea    0x40(%rsp),%r12
  mov    $0x5a,%edx
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <SHA256_VST@plt>
  mov    %rsp,%rbp
  lea    D5(%rip),%rcx
  mov    $0x20,%edx
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <check_test@plt>
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  call   <memset@plt>
  mov    $0x5a,%edx
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <SHA256_NSS@plt>
  lea    D16(%rip),%rcx
  mov    $0x20,%edx
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <check_test@plt>
  mov    $0x20,%edx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  call   <memset@plt>
  mov    $0x5a,%edx
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <SHA256_sodium@plt>
  lea    D9(%rip),%rcx
  mov    $0x20,%edx
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <check_test@plt>
  mov    0xa8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L5
  add    $0xb0,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L5:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: data_tag: D5
type: string
name: read_data
arguments: data_tag: D16
type: string
name: read_data
arguments: data_tag: D9
type: string

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


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


tool: D9: 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");
}
```