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

```asm
<SHA256_Xcompare_38>:
  endbr64
  push   %r13
  xor    %esi,%esi
  mov    $0x20,%edx
  push   %r12
  push   %rbp
  sub    $0xb0,%rsp
  movdqa D42(%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 D3(%rip),%xmm0
  mov    $0xffffb583,%eax
  mov    %rbp,%rdi
  mov    %ax,0xa0(%rsp)
  movaps %xmm0,0x50(%rsp)
  movdqa D29(%rip),%xmm0
  movaps %xmm0,0x60(%rsp)
  movdqa D74(%rip),%xmm0
  movaps %xmm0,0x70(%rsp)
  movdqa D79(%rip),%xmm0
  movaps %xmm0,0x80(%rsp)
  movdqa D16(%rip),%xmm0
  movaps %xmm0,0x90(%rsp)
  movdqa D7(%rip),%xmm0
  movaps %xmm0,(%rsp)
  movdqa D60(%rip),%xmm0
  movaps %xmm0,0x10(%rsp)
  call   <memset@plt>
  mov    $0x62,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_VST@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D40(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0x62,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_NSS@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D41(%rip),%rcx
  call   <check_test@plt>
  xor    %esi,%esi
  mov    $0x20,%edx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    $0x62,%edx
  mov    %rbp,%rsi
  mov    %r13,%rdi
  call   <SHA256_sodium@plt>
  mov    $0x20,%edx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  lea    D109(%rip),%rcx
  call   <check_test@plt>
  mov    0xa8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L4
  add    $0xb0,%rsp
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
L4:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: tag: D42
datatype: byte[16]
name: disassemble_data
arguments: tag: D3
datatype: byte[16]
name: disassemble_data
arguments: tag: D29
datatype: byte[16]
name: disassemble_data
arguments: tag: D74
datatype: byte[16]
name: disassemble_data
arguments: tag: D79
datatype: byte[16]
name: disassemble_data
arguments: tag: D16
datatype: byte[16]
name: disassemble_data
arguments: tag: D7
datatype: byte[16]
name: disassemble_data
arguments: tag: D60
datatype: byte[16]
name: disassemble_data
arguments: tag: D40
datatype: string
name: disassemble_data
arguments: tag: D41
datatype: string
name: disassemble_data
arguments: tag: D109
datatype: string

tool: {"D42": [0x88,0x69,0xfd,0xf0,0x50,0xfe,0xdd,0xba,0xc0,0x15,0xba,0x9c,0x2c,0xba,0x6f,0x8f]}

tool: {"D3": [0xc9,0x2a,0x90,0x72,0x25,0x96,0xcc,0x14,0xe4,0x63,0x9f,0x0a,0xc0,0xeb,0xfe,0x30]}

tool: {"D29": [0x83,0x44,0xaf,0x3a,0x6b,0x09,0xf0,0x4a,0x8a,0xea,0xd5,0x16,0x68,0x54,0x92,0x26]}

tool: {"D74": [0xc6,0x97,0xc6,0x22,0x22,0x71,0xb8,0xf0,0xc4,0x18,0xf3,0x42,0x3c,0xd3,0x83,0x33]}

tool: {"D79": [0x2d,0xf2,0xae,0xb8,0x1a,0xb9,0x5a,0x5a,0x45,0xd3,0xae,0xef,0xc6,0xa2,0xfb,0x1c]}

tool: {"D16": [0x52,0x83,0xf3,0x13,0x4d,0xda,0xd9,0xb1,0xec,0x28,0x77,0x28,0x0c,0x34,0x81,0xdc]}

tool: {"D7": [0xa2,0x61,0xde,0x5c,0xa7,0x72,0xa9,0x92,0x19,0x25,0xcd,0x1d,0x10,0x6b,0x21,0x7c]}

tool: {"D60": [0x02,0xc1,0x2f,0x2f,0x2b,0xd7,0xea,0x49,0x7e,0x41,0x1e,0xfb,0xcf,0x92,0xa2,0x5f]}

tool: D40: Disagreement between given answer and SHA256_VST in SHA256_Xcompare_38


tool: D41: Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_38


tool: D109: Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_38


assistant: ```c
void SHA256_Xcompare_38() {
  unsigned char input[98] = {136, 105, 253, 240, 80, 254, 221, 186, 192, 21, 186, 156, 44, 186, 111, 143, 201, 42, 144, 114, 37, 150, 204, 20, 228, 99, 159, 10, 192, 235, 254, 48, 131, 68, 175, 58, 107, 9, 240, 74, 138, 234, 213, 22, 104, 84, 146, 38, 198, 151, 198, 34, 34, 113, 184, 240, 196, 24, 243, 66, 60, 211, 131, 51, 45, 242, 174, 184, 26, 185, 90, 90, 69, 211, 174, 239, 198, 162, 251, 28, 82, 131, 243, 19, 77, 218, 217, 177, 236, 40, 119, 40, 12, 52, 129, 220, 131, 181};
  unsigned char result0[32] = {0xA2, 0x61, 0xDE, 0x5C, 0xA7, 0x72, 0xA9, 0x92, 0x19, 0x25, 0xCD, 0x1D, 0x10, 0x6B, 0x21, 0x7C, 0x02, 0xC1, 0x2F, 0x2F, 0x2B, 0xD7, 0xEA, 0x49, 0x7E, 0x41, 0x1E, 0xFB, 0xCF, 0x92, 0xA2, 0x5F};
  unsigned char result1[32];
  memset(result1, 0, 32);
  SHA256_VST(input, result1, 98);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_VST in SHA256_Xcompare_38\n");
  memset(result1, 0, 32);
  SHA256_NSS(input, result1, 98);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_NSS in SHA256_Xcompare_38\n");
  memset(result1, 0, 32);
  SHA256_sodium(input, result1, 98);
  check_test(result0, result1, 32, "Disagreement between given answer and SHA256_sodium in SHA256_Xcompare_38\n");
}
```