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

```asm
<main>:
  endbr64
  sub    $0x28,%rsp
  mov    $0x40,%edx
  mov    $0x40,%esi
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  mov    %rsp,%rdi
  call   <posix_memalign@plt>
  lea    0x8(%rsp),%rdi
  mov    $0x40,%edx
  mov    $0x40,%esi
  call   <posix_memalign@plt>
  lea    0x10(%rsp),%rdi
  mov    $0x40,%edx
  mov    $0x40,%esi
  call   <posix_memalign@plt>
  mov    (%rsp),%rdi
  mov    0x10(%rsp),%rdx
  mov    0x8(%rsp),%rsi
  lea    0x4(%rdi),%rax
  mov    %rdx,%rcx
  sub    %rax,%rcx
  mov    %rsi,%r8
  cmp    $0x8,%rcx
  seta   %cl
  sub    %rax,%r8
  cmp    $0x8,%r8
  seta   %al
  test   %al,%cl
  je     L236
  lea    0x4(%rsi),%rcx
  mov    %rdx,%rax
  sub    %rcx,%rax
  cmp    $0x8,%rax
  jbe    L236
  movaps D94(%rip),%xmm0
  movaps D159(%rip),%xmm1
  movups %xmm0,(%rdi)
  movaps D237(%rip),%xmm0
  movups %xmm0,(%rsi)
  pxor   %xmm0,%xmm0
  movups %xmm0,(%rdx)
  movups %xmm1,0x10(%rdi)
  movaps D221(%rip),%xmm1
  movups %xmm1,0x10(%rsi)
  movaps D199(%rip),%xmm1
  movups %xmm0,0x10(%rdx)
  movups %xmm1,0x20(%rdi)
  movaps D33(%rip),%xmm1
  movups %xmm1,0x20(%rsi)
  movaps D211(%rip),%xmm1
  movups %xmm0,0x20(%rdx)
  movups %xmm1,0x30(%rdi)
  movaps D229(%rip),%xmm1
  movups %xmm1,0x30(%rsi)
  movups %xmm0,0x30(%rdx)
L154:
  movss  D23(%rip),%xmm0
  mov    $0x10,%ecx
  call   <saxpy@plt>
  mov    (%rsp),%rcx
  mov    0x10(%rsp),%rax
  movss  D23(%rip),%xmm0
  mov    0x8(%rsp),%rdx
  movss  (%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  (%rdx),%xmm1
  ucomiss (%rax),%xmm1
  jp     L106
  jne    L106
  movss  0x4(%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  0x4(%rdx),%xmm1
  ucomiss 0x4(%rax),%xmm1
  jp     L106
  jne    L106
  movss  0x8(%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  0x8(%rdx),%xmm1
  ucomiss 0x8(%rax),%xmm1
  jp     L106
  jne    L106
  movss  0xc(%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  0xc(%rdx),%xmm1
  ucomiss 0xc(%rax),%xmm1
  jp     L106
  jne    L106
  movss  0x10(%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  0x10(%rdx),%xmm1
  ucomiss 0x10(%rax),%xmm1
  jp     L106
  jne    L106
  movss  0x14(%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  0x14(%rdx),%xmm1
  ucomiss 0x14(%rax),%xmm1
  jp     L106
  jne    L106
  movss  0x18(%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  0x18(%rdx),%xmm1
  ucomiss 0x18(%rax),%xmm1
  jp     L106
  jne    L106
  movss  0x1c(%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  0x1c(%rdx),%xmm1
  ucomiss 0x1c(%rax),%xmm1
  jp     L106
  jne    L106
  movss  0x20(%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  0x20(%rdx),%xmm1
  ucomiss 0x20(%rax),%xmm1
  jp     L106
  jne    L106
  movss  0x24(%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  0x24(%rdx),%xmm1
  ucomiss 0x24(%rax),%xmm1
  jp     L106
  jne    L106
  movss  0x28(%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  0x28(%rdx),%xmm1
  ucomiss 0x28(%rax),%xmm1
  jp     L106
  jne    L106
  movss  0x2c(%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  0x2c(%rdx),%xmm1
  ucomiss 0x2c(%rax),%xmm1
  jp     L106
  jne    L106
  movss  0x30(%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  0x30(%rdx),%xmm1
  ucomiss 0x30(%rax),%xmm1
  jp     L106
  jne    L106
  movss  0x34(%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  0x34(%rdx),%xmm1
  ucomiss 0x34(%rax),%xmm1
  jp     L106
  jne    L106
  movss  0x38(%rcx),%xmm1
  mulss  %xmm0,%xmm1
  addss  0x38(%rdx),%xmm1
  ucomiss 0x38(%rax),%xmm1
  jp     L106
  jne    L106
  mulss  0x3c(%rcx),%xmm0
  addss  0x3c(%rdx),%xmm0
  ucomiss 0x3c(%rax),%xmm0
  jp     L106
  jne    L106
  lea    D125(%rip),%rdi
  call   <printf@plt>
  xor    %eax,%eax
L356:
  mov    0x18(%rsp),%rdx
  sub    %fs:0x28,%rdx
  jne    L248
  add    $0x28,%rsp
  ret
L106:
  lea    D57(%rip),%rdi
  call   <printf@plt>
  mov    $0x1,%eax
  jmp    L356
L236:
  movss  D94(%rip),%xmm1
  movss  D96(%rip),%xmm0
  movss  D244(%rip),%xmm2
  movss  %xmm1,(%rdi)
  movl   $0xbf800000,(%rsi)
  movl   $0x0,(%rdx)
  movss  %xmm0,0x4(%rdi)
  movl   $0x0,0x4(%rsi)
  movl   $0x0,0x4(%rdx)
  movss  %xmm2,0x8(%rdi)
  movss  %xmm1,0x8(%rsi)
  movss  D54(%rip),%xmm1
  movl   $0x0,0x8(%rdx)
  movss  %xmm1,0xc(%rdi)
  movss  %xmm0,0xc(%rsi)
  movss  D159(%rip),%xmm0
  movl   $0x0,0xc(%rdx)
  movss  %xmm0,0x10(%rdi)
  movss  %xmm2,0x10(%rsi)
  movss  D15(%rip),%xmm2
  movl   $0x0,0x10(%rdx)
  movss  %xmm2,0x14(%rdi)
  movss  %xmm1,0x14(%rsi)
  movss  D90(%rip),%xmm1
  movl   $0x0,0x14(%rdx)
  movss  %xmm1,0x18(%rdi)
  movss  %xmm0,0x18(%rsi)
  movss  D149(%rip),%xmm0
  movl   $0x0,0x18(%rdx)
  movss  %xmm0,0x1c(%rdi)
  movss  %xmm2,0x1c(%rsi)
  movl   $0x0,0x1c(%rdx)
  movss  D199(%rip),%xmm2
  movss  %xmm2,0x20(%rdi)
  movss  %xmm1,0x20(%rsi)
  movss  D41(%rip),%xmm1
  movl   $0x0,0x20(%rdx)
  movss  %xmm1,0x24(%rdi)
  movss  %xmm0,0x24(%rsi)
  movss  D50(%rip),%xmm0
  movl   $0x0,0x24(%rdx)
  movss  %xmm0,0x28(%rdi)
  movss  %xmm2,0x28(%rsi)
  movss  D180(%rip),%xmm2
  movl   $0x0,0x28(%rdx)
  movss  %xmm2,0x2c(%rdi)
  movss  %xmm1,0x2c(%rsi)
  movss  D211(%rip),%xmm1
  movl   $0x0,0x2c(%rdx)
  movss  %xmm1,0x30(%rdi)
  movss  %xmm0,0x30(%rsi)
  movss  D252(%rip),%xmm0
  movl   $0x0,0x30(%rdx)
  movss  %xmm0,0x34(%rdi)
  movss  %xmm2,0x34(%rsi)
  movl   $0x0,0x34(%rdx)
  movl   $0x41700000,0x38(%rdi)
  movss  %xmm1,0x38(%rsi)
  movl   $0x0,0x38(%rdx)
  movl   $0x41800000,0x3c(%rdi)
  movss  %xmm0,0x3c(%rsi)
  movl   $0x0,0x3c(%rdx)
  jmp    L154
L248:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D94
type_guessed: byte[16]
name: extract_symbolic_data
arguments: label: D159
type_guessed: byte[16]
name: extract_symbolic_data
arguments: label: D237
type_guessed: byte[16]
name: extract_symbolic_data
arguments: label: D221
type_guessed: byte[16]
name: extract_symbolic_data
arguments: label: D199
type_guessed: byte[16]
name: extract_symbolic_data
arguments: label: D33
type_guessed: byte[16]
name: extract_symbolic_data
arguments: label: D211
type_guessed: byte[16]
name: extract_symbolic_data
arguments: label: D229
type_guessed: byte[16]
name: extract_symbolic_data
arguments: label: D23
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D125
type_guessed: string
name: extract_symbolic_data
arguments: label: D57
type_guessed: string
name: extract_symbolic_data
arguments: label: D96
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D244
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D54
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D15
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D90
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D149
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D41
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D50
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D180
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D252
type_guessed: byte[4]

tool: {"D94": [0x00,0x00,0x80,0x3f,0x00,0x00,0x00,0x40,0x00,0x00,0x40,0x40,0x00,0x00,0x80,0x40]}

tool: {"D159": [0x00,0x00,0xa0,0x40,0x00,0x00,0xc0,0x40,0x00,0x00,0xe0,0x40,0x00,0x00,0x00,0x41]}

tool: {"D237": [0x00,0x00,0x80,0xbf,0x00,0x00,0x00,0x00,0x00,0x00,0x80,0x3f,0x00,0x00,0x00,0x40]}

tool: {"D221": [0x00,0x00,0x40,0x40,0x00,0x00,0x80,0x40,0x00,0x00,0xa0,0x40,0x00,0x00,0xc0,0x40]}

tool: {"D199": [0x00,0x00,0x10,0x41,0x00,0x00,0x20,0x41,0x00,0x00,0x30,0x41,0x00,0x00,0x40,0x41]}

tool: {"D33": [0x00,0x00,0xe0,0x40,0x00,0x00,0x00,0x41,0x00,0x00,0x10,0x41,0x00,0x00,0x20,0x41]}

tool: {"D211": [0x00,0x00,0x50,0x41,0x00,0x00,0x60,0x41,0x00,0x00,0x70,0x41,0x00,0x00,0x80,0x41]}

tool: {"D229": [0x00,0x00,0x30,0x41,0x00,0x00,0x40,0x41,0x00,0x00,0x50,0x41,0x00,0x00,0x60,0x41]}

tool: {"D23": [0x7b,0x14,0x6e,0x3f]}

tool: D125: SUCCESS!


tool: D57: Error


tool: {"D96": [0x00,0x00,0x00,0x40]}

tool: {"D244": [0x00,0x00,0x40,0x40]}

tool: {"D54": [0x00,0x00,0x80,0x40]}

tool: {"D15": [0x00,0x00,0xc0,0x40]}

tool: {"D90": [0x00,0x00,0xe0,0x40]}

tool: {"D149": [0x00,0x00,0x00,0x41]}

tool: {"D41": [0x00,0x00,0x20,0x41]}

tool: {"D50": [0x00,0x00,0x30,0x41]}

tool: {"D180": [0x00,0x00,0x40,0x41]}

tool: {"D252": [0x00,0x00,0x60,0x41]}

assistant: ```c
int main(int argc, char *argv[]) {
  const int N = 16;
  const int iters = 1;
  float *x, *y, *z;
  posix_memalign((void **)&x, 64, N * sizeof(float));
  posix_memalign((void **)&y, 64, N * sizeof(float));
  posix_memalign((void **)&z, 64, N * sizeof(float));
  float a = 0.93f;
  int i, j;
  for (i = 0; i < N; i++) {
    x[i] = i + 1;
    y[i] = i - 1;
    z[i] = 0.0f;
  }
  for (i = 0; i < iters; i++) {
    saxpy(x, y, z, a, N);
  }
  for (i = 0; i < N; i++) {
    if (z[i] != (a * x[i] + y[i])) {
      printf("Error\n");
      return (1);
    }
  }
  printf("SUCCESS!\n");
  return 0;
}
```