user: 请显示与下面列出的汇编代码相匹配的C语言实现：

```asm
<poisson>:
  endbr64
  push   %r15
  mulsd  %xmm0,%xmm0
  movapd %xmm3,%xmm8
  push   %r14
  mulsd  %xmm1,%xmm1
  push   %r13
  push   %r12
  push   %rbp
  mov    %rsi,%rbp
  push   %rbx
  sub    $0x88,%rsp
  movsd  D26(%rip),%xmm4
  xorpd  D25(%rip),%xmm8
  mov    %rdi,0x18(%rsp)
  mov    0xc0(%rsp),%r15
  movapd %xmm4,%xmm5
  movapd %xmm4,%xmm6
  movapd %xmm8,%xmm7
  mov    %rdx,0x20(%rsp)
  divsd  %xmm0,%xmm5
  mov    %ecx,0x14(%rsp)
  mov    %r8d,0x28(%rsp)
  mov    %r9d,0x2c(%rsp)
  divsd  %xmm1,%xmm6
  movapd %xmm5,%xmm0
  addsd  %xmm6,%xmm0
  addsd  %xmm0,%xmm0
  divsd  %xmm0,%xmm7
  test   %ecx,%ecx
  jle    L20
  mov    %r8d,%eax
  mov    %rdi,%rbx
  pxor   %xmm1,%xmm1
  mov    $0x1,%edi
  lea    0x1(%rcx),%r8d
  movapd %xmm1,%xmm9
  lea    0x1(%rax),%ecx
  mov    %rbx,%r9
  mov    %rdx,%r11
  mov    %eax,%r10d
L102:
  test   %r10d,%r10d
  jle    L307
  mov    (%r11,%rdi,8),%rdx
  mov    $0x1,%eax
  nopl   (%rax)
L210:
  testb  $0x10,(%rdx,%rax,1)
  je     L252
  mov    (%r9,%rdi,8),%rsi
  movsd  (%rsi,%rax,8),%xmm0
  mulsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm9
L252:
  add    $0x1,%rax
  cmp    %rcx,%rax
  jne    L210
L307:
  add    $0x1,%rdi
  cmp    %r8,%rdi
  jne    L102
L29:
  pxor   %xmm10,%xmm10
  cvtsi2sdl 0xc8(%rsp),%xmm10
  divsd  %xmm10,%xmm9
  ucomisd %xmm9,%xmm1
  ja     L363
  sqrtsd %xmm9,%xmm9
L126:
  movapd %xmm9,%xmm0
  mov    0x2c(%rsp),%ecx
  cmpnltsd D11(%rip),%xmm0
  andpd  %xmm0,%xmm9
  andnpd %xmm4,%xmm0
  orpd   %xmm0,%xmm9
  test   %ecx,%ecx
  jle    L202
  mov    0x14(%rsp),%eax
  mov    0x18(%rsp),%rbx
  movl   $0x0,0x8(%rsp)
  sub    $0x1,%eax
  mov    %rax,0x38(%rsp)
  lea    0x8(%rbx,%rax,8),%rax
  mov    %rax,0x30(%rsp)
L350:
  mov    0x38(%rsp),%rax
  mov    %r15,0xc0(%rsp)
  xor    %r8d,%r8d
  add    $0x2,%rax
  mov    %rax,(%rsp)
  mov    0x28(%rsp),%eax
  lea    0x1(%rax),%r9d
  mov    %eax,%r15d
L265:
  mov    0x14(%rsp),%edx
  test   %edx,%edx
  jle    L163
  mov    0x20(%rsp),%rdi
  mov    0x18(%rsp),%rcx
  mov    $0x1,%edx
  nop
L151:
  mov    $0x1,%eax
  test   %r15d,%r15d
  jg     L45
  jmp    L273
  nopl   0x0(%rax,%rax,1)
L42:
  and    $0x10,%r10d
  je     L216
  mov    0x10(%rdi),%r10
  movzbl 0x1(%rsi,%rax,1),%ebx
  pxor   %xmm0,%xmm0
  pxor   %xmm11,%xmm11
  movzbl -0x1(%rsi,%rax,1),%r14d
  movapd %xmm8,%xmm13
  movapd %xmm4,%xmm12
  movzbl (%r10,%rax,1),%r13d
  mov    (%rdi),%r10
  subsd  %xmm3,%xmm12
  movzbl (%r10,%rax,1),%r12d
  mov    %r13d,%r10d
  shr    $0x4,%r10d
  mov    %r12d,%esi
  and    $0x1,%r10d
  shr    $0x4,%esi
  and    $0x1,%esi
  add    %r10d,%esi
  mov    %ebx,%r10d
  cvtsi2sd %esi,%xmm0
  mov    %r14d,%esi
  shr    $0x4,%r10d
  shr    $0x4,%esi
  and    $0x1,%r10d
  and    $0x1,%esi
  add    %r10d,%esi
  mov    0x8(%rcx),%r10
  and    $0x10,%r13d
  cvtsi2sd %esi,%xmm11
  mulsd  %xmm5,%xmm0
  lea    0x0(,%rax,8),%rsi
  lea    (%r10,%rsi,1),%r11
  mulsd  (%r11),%xmm12
  mulsd  %xmm6,%xmm11
  addsd  %xmm11,%xmm0
  movapd %xmm4,%xmm11
  divsd  %xmm0,%xmm13
  jne    L145
  movapd %xmm1,%xmm11
L145:
  mov    0x10(%rcx),%r13
  and    $0x10,%r12d
  movapd %xmm4,%xmm0
  mulsd  0x0(%r13,%rsi,1),%xmm11
  jne    L134
  movapd %xmm1,%xmm0
L134:
  mov    (%rcx),%r12
  and    $0x10,%ebx
  movapd %xmm4,%xmm15
  mulsd  (%r12,%rsi,1),%xmm0
  addsd  %xmm11,%xmm0
  mulsd  %xmm5,%xmm0
  movapd %xmm0,%xmm14
  jne    L184
  movapd %xmm1,%xmm15
L184:
  mulsd  0x8(%r10,%rsi,1),%xmm15
  and    $0x10,%r14d
  movapd %xmm4,%xmm11
  jne    L37
  movapd %xmm1,%xmm11
L37:
  mulsd  -0x8(%r10,%rsi,1),%xmm11
  mov    0x0(%rbp,%rdx,8),%r10
  movapd %xmm11,%xmm0
  addsd  %xmm15,%xmm0
  mulsd  %xmm6,%xmm0
  addsd  %xmm14,%xmm0
  subsd  (%r10,%rsi,1),%xmm0
  mulsd  %xmm13,%xmm0
  subsd  %xmm0,%xmm12
  movsd  %xmm12,(%r11)
L216:
  add    $0x1,%rax
  cmp    %rax,%r9
  je     L273
L45:
  lea    (%rax,%rdx,1),%esi
  and    $0x1,%esi
  cmp    %r8d,%esi
  jne    L216
  mov    0x8(%rdi),%rsi
  movzbl (%rsi,%rax,1),%r10d
  cmp    $0x1f,%r10b
  jne    L42
  mov    0x8(%rcx),%r10
  mov    (%rcx),%rbx
  lea    0x0(,%rax,8),%rsi
  movapd %xmm4,%xmm11
  mov    0x10(%rcx),%r12
  subsd  %xmm3,%xmm11
  movsd  0x8(%r10,%rsi,1),%xmm12
  addsd  -0x8(%r10,%rsi,1),%xmm12
  lea    (%r10,%rsi,1),%r11
  movsd  (%r12,%rax,8),%xmm0
  addsd  (%rbx,%rax,8),%xmm0
  mov    0x0(%rbp,%rdx,8),%rsi
  mulsd  (%r11),%xmm11
  mulsd  %xmm6,%xmm12
  mulsd  %xmm5,%xmm0
  addsd  %xmm12,%xmm0
  subsd  (%rsi,%rax,8),%xmm0
  add    $0x1,%rax
  mulsd  %xmm7,%xmm0
  subsd  %xmm0,%xmm11
  movsd  %xmm11,(%r11)
  cmp    %rax,%r9
  jne    L45
  nopl   0x0(%rax)
L273:
  add    $0x1,%rdx
  add    $0x8,%rcx
  add    $0x8,%rdi
  cmp    (%rsp),%rdx
  jne    L151
L163:
  cmp    $0x1,%r8d
  je     L226
  mov    $0x1,%r8d
  jmp    L265
L226:
  mov    0xc0(%rsp),%r15
  mov    0x14(%rsp),%eax
  movq   $0x0,(%r15)
  test   %eax,%eax
  jle    L165
  mov    0x28(%rsp),%r13d
  mov    0x20(%rsp),%r9
  lea    0x8(%rbp),%rbx
  movapd %xmm1,%xmm11
  mov    0x18(%rsp),%r8
  mov    0x30(%rsp),%r12
  lea    0x1(%r13),%r10d
  nopl   0x0(%rax,%rax,1)
L107:
  test   %r13d,%r13d
  jle    L2
  mov    0x8(%r9),%rsi
  xor    %edx,%edx
  mov    $0x1,%eax
  nopl   0x0(%rax)
L281:
  lea    0x8(%rdx),%rcx
  testb  $0x10,(%rsi,%rax,1)
  je     L384
  mov    0x10(%r9),%rcx
  movapd %xmm4,%xmm0
  testb  $0x10,(%rcx,%rax,1)
  jne    L209
  movapd %xmm1,%xmm0
L209:
  mov    0x10(%r8),%r11
  mov    0x8(%r8),%rdi
  lea    0x8(%rdx),%rcx
  movapd %xmm4,%xmm14
  movsd  0x8(%r11,%rdx,1),%xmm12
  movsd  0x8(%rdi,%rdx,1),%xmm13
  mov    (%r9),%r11
  subsd  %xmm13,%xmm12
  mulsd  %xmm0,%xmm12
  testb  $0x10,(%r11,%rax,1)
  jne    L334
  movapd %xmm1,%xmm14
L334:
  mov    (%r8),%r11
  movapd %xmm13,%xmm0
  movapd %xmm4,%xmm15
  subsd  (%r11,%rcx,1),%xmm0
  mulsd  %xmm14,%xmm0
  subsd  %xmm0,%xmm12
  mulsd  %xmm5,%xmm12
  testb  $0x10,0x1(%rsi,%rax,1)
  jne    L169
  movapd %xmm1,%xmm15
L169:
  movsd  0x10(%rdi,%rdx,1),%xmm14
  movapd %xmm14,%xmm0
  movapd %xmm4,%xmm14
  subsd  %xmm13,%xmm0
  mulsd  %xmm15,%xmm0
  testb  $0x10,-0x1(%rsi,%rax,1)
  jne    L355
  movapd %xmm1,%xmm14
L355:
  subsd  (%rdi,%rdx,1),%xmm13
  mov    (%rbx),%rdx
  mulsd  %xmm14,%xmm13
  subsd  %xmm13,%xmm0
  mulsd  %xmm6,%xmm0
  addsd  %xmm12,%xmm0
  subsd  (%rdx,%rcx,1),%xmm0
  mulsd  %xmm0,%xmm0
  addsd  %xmm0,%xmm11
  movsd  %xmm11,(%r15)
L384:
  add    $0x1,%rax
  mov    %rcx,%rdx
  cmp    %rax,%r10
  jne    L281
L2:
  add    $0x8,%r8
  add    $0x8,%rbx
  add    $0x8,%r9
  cmp    %r8,%r12
  jne    L107
L167:
  divsd  %xmm10,%xmm11
  ucomisd %xmm11,%xmm1
  ja     L38
  sqrtsd %xmm11,%xmm11
L336:
  divsd  %xmm9,%xmm11
  comisd %xmm11,%xmm2
  movsd  %xmm11,(%r15)
  ja     L99
  addl   $0x1,0x8(%rsp)
  mov    0x8(%rsp),%eax
  cmp    %eax,0x2c(%rsp)
  jne    L350
L99:
  mov    0x8(%rsp),%eax
  add    $0x88,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L165:
  movapd %xmm1,%xmm11
  jmp    L167
L20:
  pxor   %xmm1,%xmm1
  movapd %xmm1,%xmm9
  jmp    L29
L202:
  movl   $0x0,0x8(%rsp)
  jmp    L99
L363:
  movapd %xmm9,%xmm0
  movsd  %xmm1,0x58(%rsp)
  movsd  %xmm3,0x50(%rsp)
  movsd  %xmm2,0x48(%rsp)
  movsd  %xmm7,0x40(%rsp)
  movsd  %xmm6,0x38(%rsp)
  movsd  %xmm5,0x30(%rsp)
  movsd  %xmm10,0x8(%rsp)
  movsd  %xmm8,(%rsp)
  call   <sqrt@plt>
  mov    D26(%rip),%rax
  movsd  0x58(%rsp),%xmm1
  movsd  0x50(%rsp),%xmm3
  movsd  0x48(%rsp),%xmm2
  movapd %xmm0,%xmm9
  movsd  0x40(%rsp),%xmm7
  movsd  0x38(%rsp),%xmm6
  movq   %rax,%xmm4
  movsd  0x30(%rsp),%xmm5
  movsd  0x8(%rsp),%xmm10
  movsd  (%rsp),%xmm8
  jmp    L126
L38:
  movapd %xmm11,%xmm0
  movsd  %xmm1,0x78(%rsp)
  movsd  %xmm2,0x70(%rsp)
  movsd  %xmm8,0x68(%rsp)
  movsd  %xmm3,0x60(%rsp)
  movsd  %xmm9,0x58(%rsp)
  movsd  %xmm7,0x50(%rsp)
  movsd  %xmm6,0x48(%rsp)
  movsd  %xmm5,0x40(%rsp)
  movsd  %xmm10,(%rsp)
  call   <sqrt@plt>
  mov    D26(%rip),%rax
  movsd  0x78(%rsp),%xmm1
  movsd  0x70(%rsp),%xmm2
  movsd  0x68(%rsp),%xmm8
  movapd %xmm0,%xmm11
  movsd  0x60(%rsp),%xmm3
  movsd  0x58(%rsp),%xmm9
  movq   %rax,%xmm4
  movsd  0x50(%rsp),%xmm7
  movsd  0x48(%rsp),%xmm6
  movsd  0x40(%rsp),%xmm5
  movsd  (%rsp),%xmm10
  jmp    L336
```

tool_calls: name: extract_symbolic_data
arguments: tag: D26
data_type: f64
name: extract_symbolic_data
arguments: tag: D25
data_type: f32[4]
name: extract_symbolic_data
arguments: tag: D11
data_type: f64

tool: D26: 1

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

tool: D11: 0.0001

assistant: ```c
int poisson(double **p, double **rhs, char **flag, int imax, int jmax, double delx, double dely, double eps, int itermax, double omega, double *res, int ifull) {
  int i, j, iter;
  double add, beta_2, beta_mod;
  double p0 = 0.0;
  int rb;
  double rdx2 = 1.0 / (delx * delx);
  double rdy2 = 1.0 / (dely * dely);
  beta_2 = -omega / (2.0 * (rdx2 + rdy2));
  for (i = 1; i <= imax; i++) {
    for (j = 1; j <= jmax; j++) {
      if (flag[i][j] & 0x0010) {
        p0 += p[i][j] * p[i][j];
      }
    }
  }
  p0 = sqrt(p0 / ifull);
  if (p0 < 0.0001) {
    p0 = 1.0;
  }
  for (iter = 0; iter < itermax; iter++) {
    for (rb = 0; rb <= 1; rb++) {
      for (i = 1; i <= imax; i++) {
        for (j = 1; j <= jmax; j++) {
          if ((i + j) % 2 != rb) {
            continue;
          }
          if (flag[i][j] == (0x0010 | (0x0001 | 0x0002 | 0x0008 | 0x0004))) {
            p[i][j] = (1. - omega) * p[i][j] - beta_2 * ((p[i + 1][j] + p[i - 1][j]) * rdx2 + (p[i][j + 1] + p[i][j - 1]) * rdy2 - rhs[i][j]);
          } else if (flag[i][j] & 0x0010) {
            beta_mod = -omega / ((((flag[i + 1][j] & 0x0010) ? 1 : 0) + ((flag[i - 1][j] & 0x0010) ? 1 : 0)) * rdx2 + (((flag[i][j + 1] & 0x0010) ? 1 : 0) + ((flag[i][j - 1] & 0x0010) ? 1 : 0)) * rdy2);
            p[i][j] = (1. - omega) * p[i][j] - beta_mod * ((((flag[i + 1][j] & 0x0010) ? 1 : 0) * p[i + 1][j] + ((flag[i - 1][j] & 0x0010) ? 1 : 0) * p[i - 1][j]) * rdx2 + (((flag[i][j + 1] & 0x0010) ? 1 : 0) * p[i][j + 1] + ((flag[i][j - 1] & 0x0010) ? 1 : 0) * p[i][j - 1]) * rdy2 - rhs[i][j]);
          }
        }
      }
    }
    *res = 0.0;
    for (i = 1; i <= imax; i++) {
      for (j = 1; j <= jmax; j++) {
        if (flag[i][j] & 0x0010) {
          add = (((flag[i + 1][j] & 0x0010) ? 1 : 0) * (p[i + 1][j] - p[i][j]) - ((flag[i - 1][j] & 0x0010) ? 1 : 0) * (p[i][j] - p[i - 1][j])) * rdx2 + (((flag[i][j + 1] & 0x0010) ? 1 : 0) * (p[i][j + 1] - p[i][j]) - ((flag[i][j - 1] & 0x0010) ? 1 : 0) * (p[i][j] - p[i][j - 1])) * rdy2 - rhs[i][j];
          *res += add * add;
        }
      }
    }
    *res = sqrt((*res) / ifull) / p0;
    if (*res < eps)
      break;
  }
  return iter;
}
```