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

```asm
<kernel_adi>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x1b8,%rsp
  mov    %edi,0x8c(%rsp)
  mov    %esi,0x88(%rsp)
  mov    %fs:0x28,%rax
  mov    %rax,0x1a8(%rsp)
  xor    %eax,%eax
  mov    %esi,%eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %esi,%xmm0
  movsd  D136(%rip),%xmm2
  movapd %xmm2,%xmm1
  divsd  %xmm0,%xmm1
  pxor   %xmm3,%xmm3
  cvtsi2sd %edi,%xmm3
  movapd %xmm2,%xmm0
  divsd  %xmm3,%xmm0
  mulsd  %xmm1,%xmm1
  movapd %xmm0,%xmm3
  addsd  %xmm0,%xmm3
  divsd  %xmm1,%xmm3
  divsd  %xmm1,%xmm0
  movq   D35(%rip),%xmm1
  movapd %xmm3,%xmm5
  xorpd  %xmm1,%xmm5
  movsd  D80(%rip),%xmm4
  mulsd  %xmm4,%xmm5
  movsd  %xmm5,(%rsp)
  addsd  %xmm2,%xmm3
  movsd  %xmm3,0x10(%rsp)
  xorpd  %xmm0,%xmm1
  mulsd  %xmm4,%xmm1
  movsd  %xmm1,0x8(%rsp)
  addsd  %xmm2,%xmm0
  movsd  %xmm0,0x18(%rsp)
  test   %edi,%edi
  jle    L76
  mov    %rdx,%r14
  mov    %rcx,%r13
  lea    -0x1(%rsi),%ecx
  mov    %ecx,0x50(%rsp)
  cltq
  lea    0x0(,%rax,8),%rdi
  mov    %rdi,0x28(%rsp)
  lea    (%r8,%rdi,1),%rbx
  mov    %rbx,0xb0(%rsp)
  lea    (%r9,%rdi,1),%rbx
  mov    %rbx,0xb8(%rsp)
  add    $0x8,%rdi
  mov    %rdi,0xd8(%rsp)
  add    %rdx,%rdi
  mov    %rdi,0xc0(%rsp)
  lea    -0x3(%rsi),%ebx
  mov    %rbx,0x38(%rsp)
  lea    (%rax,%rbx,1),%rdx
  lea    0x8(%r8,%rdx,8),%rdi
  mov    %rdi,0xc8(%rsp)
  mov    %esi,%edx
  imul   %ecx,%edx
  movslq %edx,%rdx
  lea    0x8(%r13,%rdx,8),%rdi
  mov    %rdi,0xd0(%rsp)
  lea    0x0(%r13,%rdx,8),%rdi
  mov    %rdi,0x40(%rsp)
  mov    %esi,%ecx
  neg    %ecx
  movslq %ecx,%rcx
  lea    0x0(,%rcx,8),%rdi
  mov    %rdi,0x20(%rsp)
  lea    -0x2(%rsi),%ecx
  mov    %esi,%edi
  imul   %ecx,%esi
  movslq %esi,%rsi
  sub    %rdx,%rsi
  mov    %rsi,0xa8(%rsp)
  mov    %rax,%rdx
  neg    %rdx
  lea    0x0(,%rdx,8),%rsi
  mov    %rsi,0x30(%rsp)
  lea    (%rdi,%rdi,1),%edx
  movslq %edx,%rdx
  lea    0x0(,%rdx,8),%rsi
  mov    %rsi,0x90(%rsp)
  lea    0x2(%rax,%rbx,1),%rdx
  lea    0x0(,%rdx,8),%rsi
  mov    %rsi,0x98(%rsp)
  add    %rax,%rax
  sub    %rbx,%rax
  lea    -0x18(,%rax,8),%rax
  mov    %rax,0xa0(%rsp)
  movslq %ecx,%rcx
  movl   $0x1,0x54(%rsp)
  lea    -0x8(,%rcx,8),%rax
  mov    %rax,0x48(%rsp)
  mov    %r14,0xe0(%rsp)
  mov    %r8,0xe8(%rsp)
  mov    %r13,%r15
  mov    %r9,0x78(%rsp)
  jmp    L144
L12:
  mov    %rax,%r9
L121:
  movsd  %xmm6,0x8(%r15,%r9,8)
  mov    %r10,%r8
  movq   $0x0,(%r10)
  movsd  0x8(%r15,%r9,8),%xmm0
  mov    %r11,%rbp
  movsd  %xmm0,(%r11)
  mov    %r11,%rcx
  mov    %rbx,%rdx
  mov    %r10,%rax
L64:
  movsd  (%rsp),%xmm8
  movapd %xmm8,%xmm1
  mulsd  (%rax),%xmm1
  addsd  0x10(%rsp),%xmm1
  movapd %xmm5,%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rax)
  movapd %xmm4,%xmm0
  mulsd  -0x8(%rdx),%xmm0
  movapd %xmm3,%xmm2
  mulsd  (%rdx),%xmm2
  addsd  %xmm2,%xmm0
  movsd  0x8(%rsp),%xmm2
  mulsd  0x8(%rdx),%xmm2
  subsd  %xmm2,%xmm0
  movapd %xmm8,%xmm2
  mulsd  (%rcx),%xmm2
  subsd  %xmm2,%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,0x8(%rcx)
  add    $0x8,%rax
  add    %rdi,%rdx
  add    $0x8,%rcx
  cmp    %rsi,%rax
  jne    L64
  mov    0x40(%rsp),%rax
  movsd  %xmm7,0x8(%rax,%r9,8)
  test   %r12d,%r12d
  jle    L114
  movslq %r12d,%rax
  mov    %r14,%rdx
L24:
  movsd  (%r8,%rax,8),%xmm0
  mulsd  (%rdx),%xmm0
  addsd  0x0(%rbp,%rax,8),%xmm0
  movsd  %xmm0,(%rdx,%r13,8)
  sub    $0x1,%rax
  add    0x20(%rsp),%rdx
  test   %eax,%eax
  jg     L24
L114:
  lea    0x1(%r9),%rax
  add    %rdi,%r10
  add    %rdi,%r11
  add    $0x8,%rbx
  add    %rdi,%rsi
  add    $0x8,%r14
  cmp    0x38(%rsp),%r9
  jne    L12
  movsd  (%rsp),%xmm6
  movapd %xmm6,%xmm3
  addsd  %xmm6,%xmm3
  addsd  D136(%rip),%xmm3
  mov    0xa0(%rsp),%rdi
  mov    0x98(%rsp),%rsi
  mov    0x90(%rsp),%r10
  mov    0x30(%rsp),%r9
  mov    0xd8(%rsp),%r8
  mov    $0x0,%ebx
  mov    $0x1,%r11d
  movsd  D136(%rip),%xmm7
  movsd  0x8(%rsp),%xmm5
  xorpd  D35(%rip),%xmm5
  xorpd  D35(%rip),%xmm6
  movapd %xmm6,%xmm4
  movapd %xmm7,%xmm6
  mov    0xe0(%rsp),%r13
  mov    0xe8(%rsp),%r14
  mov    0x78(%rsp),%rbp
L132:
  movsd  %xmm7,-0x8(%r13,%r8,1)
  movq   $0x0,-0x8(%r14,%r8,1)
  movsd  -0x8(%r13,%r8,1),%xmm0
  movsd  %xmm0,-0x8(%rbp,%r8,1)
  mov    %r8,%rax
  lea    (%r9,%rbx,1),%rcx
  add    %r15,%rcx
  lea    (%r9,%r10,1),%rdx
  add    %r15,%rdx
L154:
  movsd  0x8(%rsp),%xmm9
  movapd %xmm9,%xmm1
  mulsd  -0x8(%r14,%rax,1),%xmm1
  addsd  0x18(%rsp),%xmm1
  movapd %xmm5,%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%r14,%rax,1)
  movapd %xmm4,%xmm0
  mulsd  (%rcx,%rax,1),%xmm0
  movapd %xmm3,%xmm2
  mulsd  (%r15,%rax,1),%xmm2
  addsd  %xmm2,%xmm0
  movsd  (%rsp),%xmm2
  mulsd  (%rdx,%rax,1),%xmm2
  subsd  %xmm2,%xmm0
  movapd %xmm9,%xmm2
  mulsd  -0x8(%rbp,%rax,1),%xmm2
  subsd  %xmm2,%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,0x0(%rbp,%rax,1)
  add    $0x8,%rax
  cmp    %rsi,%rax
  jne    L154
  movsd  %xmm6,-0x8(%r13,%r10,1)
  test   %r12d,%r12d
  jle    L23
  mov    0x48(%rsp),%rax
  add    %r8,%rax
L147:
  movsd  (%r14,%rax,1),%xmm0
  mulsd  0x8(%r13,%rax,1),%xmm0
  addsd  0x0(%rbp,%rax,1),%xmm0
  movsd  %xmm0,0x0(%r13,%rax,1)
  sub    $0x8,%rax
  cmp    %rdi,%rax
  jne    L147
L23:
  add    $0x1,%r11d
  mov    0x28(%rsp),%rax
  add    %rax,%r8
  add    0x30(%rsp),%r9
  add    %rax,%rbx
  add    %rax,%r10
  add    %rax,%rsi
  add    %rax,%rdi
  cmp    0x50(%rsp),%r11d
  jne    L132
L101:
  lea    0xf0(%rsp),%r13
  mov    0x54(%rsp),%r14d
  mov    %r14d,%edx
  lea    D127(%rip),%rbx
  mov    %rbx,%rsi
  mov    %r13,%rdi
  call   <sprintf@plt>
  lea    0x120(%rsp),%rbp
  mov    %r14d,%edx
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <sprintf@plt>
  lea    0x150(%rsp),%r12
  mov    %r14d,%edx
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <sprintf@plt>
  lea    0x180(%rsp),%rax
  mov    %r14d,%edx
  mov    %rbx,%rsi
  mov    %rax,%rbx
  mov    %rax,%rdi
  call   <sprintf@plt>
  lea    D160(%rip),%rsi
  mov    %r13,%rdi
  call   <strcat@plt>
  lea    D63(%rip),%rsi
  mov    %rbp,%r14
  mov    %rbp,%rdi
  call   <strcat@plt>
  lea    D163(%rip),%rsi
  mov    %r12,%rdi
  call   <strcat@plt>
  lea    D156(%rip),%rsi
  mov    %rbx,%rbp
  mov    %rbx,%rdi
  call   <strcat@plt>
  lea    D138(%rip),%rbx
  mov    %rbx,%rsi
  mov    %r13,%rdi
  call   <fopen@plt>
  mov    %rax,0x58(%rsp)
  mov    %rbx,%rsi
  mov    %r14,%rdi
  call   <fopen@plt>
  mov    %rax,0x60(%rsp)
  mov    %rbx,%rsi
  mov    %r12,%rdi
  call   <fopen@plt>
  mov    %rax,0x68(%rsp)
  mov    %rbx,%rsi
  mov    %rbp,%rdi
  call   <fopen@plt>
  mov    %rax,0x70(%rsp)
  mov    0x88(%rsp),%ebp
  test   %ebp,%ebp
  jle    L18
  mov    0x78(%rsp),%r12
  mov    $0x0,%r13d
  mov    %r15,0x80(%rsp)
  mov    %rax,%r15
L92:
  mov    0x50(%rsp),%r14d
  mov    $0x0,%ebx
L7:
  movsd  (%r12,%rbx,8),%xmm0
  mov    %ebx,%ecx
  mov    %r13d,%edx
  lea    D8(%rip),%rsi
  mov    %r15,%rdi
  call   <fprintf@plt>
  mov    %rbx,%rax
  add    $0x1,%rbx
  cmp    %r14,%rax
  jne    L7
  add    $0x1,%r13d
  add    0x28(%rsp),%r12
  cmp    %r13d,%ebp
  jne    L92
  mov    0x80(%rsp),%r15
L18:
  mov    0x58(%rsp),%rdi
  call   <fclose@plt>
  mov    0x60(%rsp),%rdi
  call   <fclose@plt>
  mov    0x68(%rsp),%rdi
  call   <fclose@plt>
  mov    0x70(%rsp),%rdi
  call   <fclose@plt>
  addl   $0x1,0x54(%rsp)
  mov    0x54(%rsp),%eax
  cmp    %eax,0x8c(%rsp)
  jl     L76
L144:
  cmpl   $0x1,0x50(%rsp)
  jle    L101
  mov    0xd0(%rsp),%r14
  mov    0xc8(%rsp),%rsi
  mov    0xc0(%rsp),%rbx
  mov    0xb8(%rsp),%r11
  mov    0xb0(%rsp),%r10
  mov    $0x0,%r9d
  movsd  D136(%rip),%xmm6
  movsd  0x8(%rsp),%xmm7
  movapd %xmm7,%xmm3
  addsd  %xmm7,%xmm3
  addsd  %xmm6,%xmm3
  movsd  (%rsp),%xmm5
  xorpd  D35(%rip),%xmm5
  xorpd  D35(%rip),%xmm7
  movapd %xmm7,%xmm4
  movapd %xmm6,%xmm7
  mov    0x88(%rsp),%eax
  lea    -0x2(%rax),%r12d
  mov    0xa8(%rsp),%r13
  mov    0x28(%rsp),%rdi
  jmp    L121
L76:
  mov    0x1a8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L89
  add    $0x1b8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L89:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D136
type: f64
name: extract_symbolic_data
arguments: data_tag: D35
type: f32[4]
name: extract_symbolic_data
arguments: data_tag: D80
type: f32[2]
name: extract_symbolic_data
arguments: data_tag: D127
type: string
name: extract_symbolic_data
arguments: data_tag: D160
type: string
name: extract_symbolic_data
arguments: data_tag: D63
type: string
name: extract_symbolic_data
arguments: data_tag: D163
type: string
name: extract_symbolic_data
arguments: data_tag: D156
type: string
name: extract_symbolic_data
arguments: data_tag: D138
type: string
name: extract_symbolic_data
arguments: data_tag: D8
type: string

tool: D136: 1

tool: {"D35": [0.0,-0.0,0.0,0.0]}

tool: {"D80": [0.0,1.75]}

tool: D127: %d

tool: D160: _simData_u.dat

tool: D63: _simData_v.dat

tool: D163: _simData_p.dat

tool: D156: _simData_q.dat

tool: D138: wb

tool: D8: %d %d %lf


assistant: ```c
void kernel_adi(int tsteps, int n, double *u, double *v, double *p, double *q) {
  FILE *fp_u;
  FILE *fp_v;
  FILE *fp_p;
  FILE *fp_q;
  int t, i, j;
  double DX, DY, DT;
  double B1, B2;
  double mul1, mul2;
  double a, b, c, d, e, f;
#pragma scop
  DX = 1.0 / (double)n;
  DY = 1.0 / (double)n;
  DT = 1.0 / (double)tsteps;
  B1 = 2.0;
  B2 = 1.0;
  mul1 = B1 * DT / (DX * DX);
  mul2 = B2 * DT / (DY * DY);
  a = -mul1 / 2.0;
  b = 1.0 + mul1;
  c = a;
  d = -mul2 / 2.0;
  e = 1.0 + mul2;
  f = d;
  for (t = 1; t <= tsteps; t++) {
    for (i = 1; i < n - 1; i++) {
      v[i] = 1.0;
      p[i * n] = 0.0;
      q[i * n] = v[i];
      for (j = 1; j < n - 1; j++) {
        p[i * n + j] = -c / (a * p[i * n + (j - 1)] + b);
        q[i * n + j] = (-d * u[j * n + (i - 1)] + (1.0 + 2.0 * d) * u[j * n + i] - f * u[j * n + (i + 1)] - a * q[i * n + (j - 1)]) / (a * p[i * n + (j - 1)] + b);
      }
      v[n * (n - 1) + i] = 1.0;
      for (j = n - 2; j >= 1; j--) {
        v[j * n + i] = p[i * n + j] * v[(j + 1) * n + i] + q[i * n + j];
      }
    }
    for (i = 1; i < n - 1; i++) {
      u[i * n] = 1.0;
      p[i * n] = 0.0;
      q[i * n] = u[i * n];
      for (j = 1; j < n - 1; j++) {
        p[i * n + j] = -f / (d * p[i * n + (j - 1)] + e);
        q[i * n + j] = (-a * v[(i - 1) * n + j] + (1.0 + 2.0 * a) * v[i * n + j] - c * v[(i + 1) * n + j] - d * q[i * n + (j - 1)]) / (d * p[i * n + (j - 1)] + e);
      }
      u[i * n + (n - 1)] = 1.0;
      for (j = n - 2; j >= 1; j--) {
        u[i * n + j] = p[i * n + j] * u[i * n + (j + 1)] + q[i * n + j];
      }
    }
    char buffer_u[40];
    char buffer_v[40];
    char buffer_p[40];
    char buffer_q[40];
    sprintf(buffer_u, "%d", t);
    sprintf(buffer_v, "%d", t);
    sprintf(buffer_p, "%d", t);
    sprintf(buffer_q, "%d", t);
    strcat(buffer_u, "_simData_u.dat");
    strcat(buffer_v, "_simData_v.dat");
    strcat(buffer_p, "_simData_p.dat");
    strcat(buffer_q, "_simData_q.dat");
    fp_u = fopen(buffer_u, "wb");
    fp_v = fopen(buffer_v, "wb");
    fp_p = fopen(buffer_p, "wb");
    fp_q = fopen(buffer_q, "wb");
    for (int i = 0; i < n; i++) {
      for (int j = 0; j < n; j++) {
        fprintf(fp_q, "%d %d %lf\n", i, j, q[i * n + j]);
      }
    }
    fclose(fp_u);
    fclose(fp_v);
    fclose(fp_p);
    fclose(fp_q);
  }
#pragma endscop
}
```