user: 下面的汇编指令对应的C源代码是什么：

```asm
<check_stability>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  mov    %esi,%r12d
  lea    -0x1(%rsi,%rsi,1),%esi
  push   %rbx
  sub    $0x58,%rsp
  mov    %rdi,-0x58(%rbp)
  mov    %rsp,%rcx
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  movslq %r12d,%rax
  mov    %esi,-0x68(%rbp)
  lea    0x0(,%rax,8),%rdi
  movslq %esi,%rax
  imul   %rdi,%rax
  mov    %rdi,-0x70(%rbp)
  add    $0xf,%rax
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rcx
  and    $0xfffffffffffffff0,%rdx
  cmp    %rcx,%rsp
  je     L217
L154:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L154
L217:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  jne    L405
L201:
  lea    0x7(%rsp),%rbx
  mov    %rsp,%rcx
  mov    %rbx,%rax
  and    $0xfffffffffffffff8,%rbx
  shr    $0x3,%rax
  mov    %rax,-0x80(%rbp)
  mov    -0x70(%rbp),%rax
  add    $0xf,%rax
  mov    %rax,%rdx
  and    $0xfffffffffffff000,%rax
  sub    %rax,%rcx
  and    $0xfffffffffffffff0,%rdx
  cmp    %rcx,%rsp
  je     L165
L352:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rcx,%rsp
  jne    L352
L165:
  and    $0xfff,%edx
  sub    %rdx,%rsp
  test   %rdx,%rdx
  jne    L373
L400:
  mov    %rsp,%rdi
  test   %r12d,%r12d
  jle    L137
  mov    -0x58(%rbp),%r15
  mov    %r12d,%r13d
  lea    -0x1(%r12),%eax
  shl    $0x3,%r13
  mov    %eax,-0x60(%rbp)
  mov    %eax,%r14d
  mov    %r13,%rdx
  mov    %r15,%rsi
  call   <memcpy@plt>
  cmp    $0x1,%r12d
  je     L360
  mov    %r12d,%edx
  pxor   %xmm4,%xmm4
  mov    %r15,%rax
  shr    %edx
  movsd  %xmm4,-0x78(%rbp)
  movapd %xmm4,%xmm0
  sub    $0x1,%edx
  shl    $0x4,%rdx
  lea    0x10(%r15,%rdx,1),%rdx
  xchg   %ax,%ax
L237:
  movsd  (%rax),%xmm1
  add    $0x10,%rax
  addsd  %xmm1,%xmm0
  movsd  -0x8(%rax),%xmm1
  addsd  %xmm1,%xmm0
  cmp    %rdx,%rax
  jne    L237
  mov    %r12d,%eax
  and    $0xfffffffe,%eax
  test   $0x1,%r12b
  je     L273
L286:
  mov    -0x58(%rbp),%rdi
  cltq
  addsd  (%rdi,%rax,8),%xmm0
L273:
  movsd  -0x78(%rbp),%xmm5
  comisd %xmm0,%xmm5
  jae    L137
  mov    -0x58(%rbp),%r15
  movsd  %xmm5,-0x48(%rbp)
  nopl   0x0(%rax)
L387:
  movsd  (%r15),%xmm2
  mov    %r14d,%esi
  mov    $0xffffffff,%edi
  add    $0x8,%r15
  movsd  %xmm2,-0x50(%rbp)
  call   <internal_pow@plt>
  mulsd  -0x50(%rbp),%xmm0
  addsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  sub    $0x1,%r14d
  jae    L387
  mov    -0x60(%rbp),%esi
  mov    $0xffffffff,%edi
  call   <internal_pow@plt>
  mulsd  -0x48(%rbp),%xmm0
  movsd  -0x78(%rbp),%xmm7
  comisd %xmm0,%xmm7
  jae    L180
  mov    -0x58(%rbp),%rax
  mov    -0x70(%rbp),%r15
  movsd  -0x8(%rax,%r15,1),%xmm0
  call   <internal_abs@plt>
  mov    -0x58(%rbp),%rax
  comisd (%rax),%xmm0
  ja     L174
  mov    -0x68(%rbp),%eax
  shr    $0x3,%r15
  mov    %rbx,%rcx
  mov    %r15,-0x60(%rbp)
  xor    %r15d,%r15d
  test   %eax,%eax
  jle    L294
  mov    %r12d,-0x48(%rbp)
  mov    %r15d,%r12d
  mov    %r13,%r15
  mov    -0x70(%rbp),%r13
  mov    %rbx,-0x50(%rbp)
  mov    -0x68(%rbp),%ebx
  nopl   0x0(%rax)
L221:
  mov    %rcx,%rdi
  mov    %r15,%rdx
  xor    %esi,%esi
  add    $0x1,%r12d
  call   <memset@plt>
  mov    %rax,%rcx
  add    %r13,%rcx
  cmp    %r12d,%ebx
  jne    L221
  mov    -0x60(%rbp),%rax
  mov    -0x50(%rbp),%rbx
  mov    %r14d,-0x64(%rbp)
  xor    %edi,%edi
  mov    -0x48(%rbp),%r12d
  mov    -0x58(%rbp),%r14
  xor    %r15d,%r15d
  neg    %rax
  mov    %rax,-0x50(%rbp)
  nopl   0x0(%rax)
L381:
  mov    -0x60(%rbp),%rcx
  movslq -0x64(%rbp),%r8
  lea    -0x2(%rdi),%esi
  movslq %edi,%r9
  movslq %esi,%rsi
  mov    %edi,%r11d
  mov    %r15,-0x48(%rbp)
  xor    %eax,%eax
  imul   %rcx,%r9
  and    $0x1,%r11d
  imul   %rcx,%rsi
  imul   %rcx,%r8
  lea    (%rbx,%r15,1),%rcx
  mov    %rcx,-0x58(%rbp)
  jmp    L258
  nopl   0x0(%rax)
L379:
  test   %r11d,%r11d
  jne    L347
  movslq %eax,%rdx
  movslq %r12d,%rcx
  add    $0x1,%eax
  lea    (%rdx,%r9,1),%r10
  lea    (%rdx,%rsi,1),%r13
  add    %rsi,%rcx
  add    %r8,%rdx
  movsd  (%rbx,%rcx,8),%xmm0
  divsd  (%rbx,%rsi,8),%xmm0
  mulsd  (%rbx,%rdx,8),%xmm0
  movsd  (%rbx,%r13,8),%xmm1
  subsd  %xmm0,%xmm1
  movsd  %xmm1,(%rbx,%r10,8)
L170:
  cmp    %eax,%r12d
  jle    L17
L258:
  test   %edi,%edi
  jne    L379
  movslq %eax,%rdx
  add    $0x1,%eax
  movsd  (%r14,%rdx,8),%xmm0
  movsd  %xmm0,(%rbx,%rdx,8)
  cmp    %eax,%r12d
  jg     L258
L17:
  mov    -0x48(%rbp),%r15
  add    $0x1,%edi
  cmp    %edi,-0x68(%rbp)
  je     L245
  mov    -0x60(%rbp),%rsi
  addl   $0x1,-0x64(%rbp)
  add    %rsi,-0x50(%rbp)
  add    -0x70(%rbp),%r15
  test   %r12d,%r12d
  jne    L381
  mov    %rsi,%rdi
L50:
  mov    -0x80(%rbp),%rax
  mov    -0x68(%rbp),%esi
  movsd  0x0(,%rax,8),%xmm0
  comisd -0x78(%rbp),%xmm0
  setae  %cl
  xor    %eax,%eax
L213:
  test   $0x1,%al
  jne    L417
  movslq %eax,%rdx
  imul   %rdi,%rdx
  movsd  (%rbx,%rdx,8),%xmm0
  comisd -0x78(%rbp),%xmm0
  setae  %dl
  cmp    %cl,%dl
  je     L417
  xor    %eax,%eax
L84:
  mov    -0x38(%rbp),%rdx
  sub    %fs:0x28,%rdx
  jne    L209
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
L405:
  orq    $0x0,-0x8(%rsp,%rdx,1)
  jmp    L201
  nopw   0x0(%rax,%rax,1)
L347:
  mov    -0x50(%rbp),%rax
  movslq %r12d,%rdx
  mov    -0x48(%rbp),%r15
  mov    $0x8,%ecx
  mov    $0x8,%r10d
  add    %rdx,%rax
  shl    $0x3,%rdx
  shl    $0x3,%rax
  test   %r12d,%r12d
  cmovg  %rdx,%r10
  sub    %rdx,%rcx
  xor    %edx,%edx
  add    %r15,%r10
  test   %r12d,%r12d
  cmovle %rdx,%rcx
  lea    -0x8(%rax,%rcx,1),%rdx
  cmp    %rdx,%r10
  setle  %dl
  cmp    %r15,%rax
  setle  %cl
  or     %cl,%dl
  je     L351
  cmp    $0x3,%r12d
  jle    L351
  test   %r12d,%r12d
  mov    $0x1,%r13d
  lea    -0x10(%rbx,%rax,1),%rcx
  mov    -0x58(%rbp),%rdx
  cmovg  %r12d,%r13d
  lea    -0x10(%rcx),%rax
  mov    %r13d,%r10d
  shr    %r10d
  lea    -0x1(%r10),%r15d
  mov    %rax,%r10
  shl    $0x4,%r15
  sub    %r15,%r10
  jmp    L9
  nopw   0x0(%rax,%rax,1)
L36:
  sub    $0x10,%rax
L9:
  movupd (%rcx),%xmm0
  add    $0x10,%rdx
  mov    %rax,%rcx
  shufpd $0x1,%xmm0,%xmm0
  movups %xmm0,-0x10(%rdx)
  cmp    %rax,%r10
  jne    L36
  mov    %r13d,%edx
  and    $0xfffffffe,%edx
  and    $0x1,%r13d
  je     L125
  mov    %r12d,%eax
  sub    %edx,%eax
  movslq %edx,%rdx
  sub    $0x1,%eax
  add    %r9,%rdx
  cltq
  add    %r8,%rax
  movsd  (%rbx,%rax,8),%xmm0
  movsd  %xmm0,(%rbx,%rdx,8)
L125:
  mov    %r12d,%eax
  sub    $0x1,%r12d
  jmp    L170
  nopw   0x0(%rax,%rax,1)
L351:
  mov    -0x58(%rbp),%rcx
  add    %rbx,%rax
  xor    %edx,%edx
  nopl   0x0(%rax)
L75:
  movsd  -0x8(%rax),%xmm0
  sub    $0x8,%rax
  movsd  %xmm0,(%rcx,%rdx,8)
  add    $0x1,%rdx
  cmp    %edx,%r12d
  jg     L75
  jmp    L125
  nopl   0x0(%rax)
L417:
  add    $0x1,%eax
  cmp    %eax,%esi
  jne    L213
L294:
  mov    $0x1,%eax
  jmp    L84
L137:
  lea    D7(%rip),%rdi
  call   <printf@plt>
  xor    %eax,%eax
  jmp    L84
L180:
  lea    D27(%rip),%rdi
  call   <printf@plt>
  xor    %eax,%eax
  jmp    L84
L174:
  lea    D12(%rip),%rdi
  call   <printf@plt>
  xor    %eax,%eax
  jmp    L84
L360:
  pxor   %xmm5,%xmm5
  xor    %eax,%eax
  movsd  %xmm5,-0x78(%rbp)
  movapd %xmm5,%xmm0
  jmp    L286
L373:
  orq    $0x0,-0x8(%rsp,%rdx,1)
  jmp    L400
L209:
  call   <__stack_chk_fail@plt>
L245:
  mov    -0x60(%rbp),%rdi
  jmp    L50
```

tool_calls: name: read_data
arguments: data_label: D7
type: string
name: read_data
arguments: data_label: D27
type: string
name: read_data
arguments: data_label: D12
type: string

tool: D7: [DEBUG] the first constraint of Jury criteria failed: (F(1) > 0)

tool: D27: [DEBUG] the second constraint of Jury criteria failed: (F(-1)*(-1)^n > 0)

tool: D12: [DEBUG] the third constraint of Jury criteria failed: (abs(a0) < a_{n}*z^{n})

assistant: ```c
int check_stability(double a[], int n) {
  int lines = 2 * n - 1;
  int columns = n;
  double m[lines][n];
  int i, j;
  double current_stability[n];
  for (i = 0; i < n; i++) {
    current_stability[i] = a[i];
  }
  double sum = 0;
  for (i = 0; i < n; i++) {
    sum += a[i];
  }
  if (sum <= 0) {
    printf("[DEBUG] the first constraint of Jury criteria failed: (F(1) > 0)");
    return 0;
  }
  sum = 0;
  for (i = 0; i < n; i++) {
    sum += a[i] * internal_pow(-1, n - 1 - i);
  }
  sum = sum * internal_pow(-1, n - 1);
  if (sum <= 0) {
    printf("[DEBUG] the second constraint of Jury criteria "
           "failed: (F(-1)*(-1)^n > 0)");
    return 0;
  }
  if (internal_abs(a[n - 1]) > a[0]) {
    printf("[DEBUG] the third constraint of Jury criteria "
           "failed: (abs(a0) < a_{n}*z^{n})");
    return 0;
  }
  for (i = 0; i < lines; i++) {
    for (j = 0; j < columns; j++) {
      m[i][j] = 0;
    }
  }
  for (i = 0; i < lines; i++) {
    for (j = 0; j < columns; j++) {
      if (i == 0) {
        m[i][j] = a[j];
        continue;
      }
      if (i % 2 != 0) {
        int x;
        for (x = 0; x < columns; x++) {
          m[i][x] = m[i - 1][columns - x - 1];
        }
        columns = columns - 1;
        j = columns;
      } else {
        m[i][j] = m[i - 2][j] - (m[i - 2][columns] / m[i - 2][0]) * m[i - 1][j];
      }
    }
  }
  int first_is_positive = m[0][0] >= 0 ? 1 : 0;
  for (i = 0; i < lines; i++) {
    if (i % 2 == 0) {
      int line_is_positive = m[i][0] >= 0 ? 1 : 0;
      if (first_is_positive != line_is_positive) {
        return 0;
      }
      continue;
    }
  }
  return 1;
}
```