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

```asm
<Ipol2>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %rdi,-0x58(%rbp)
  mov    %esi,-0x5c(%rbp)
  mov    %edx,-0x60(%rbp)
  movss  %xmm0,-0x64(%rbp)
  movss  %xmm1,-0x68(%rbp)
  mov    %rcx,-0x70(%rbp)
  movss  D12(%rip),%xmm0
  movss  %xmm0,-0x4c(%rbp)
  pxor   %xmm3,%xmm3
  cvtss2sd -0x64(%rbp),%xmm3
  movq   %xmm3,%rax
  movq   %rax,%xmm0
  call   <floor@plt>
  cvttsd2si %xmm0,%eax
  mov    %eax,-0x48(%rbp)
  pxor   %xmm1,%xmm1
  cvtsi2ssl -0x48(%rbp),%xmm1
  movss  -0x64(%rbp),%xmm0
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x44(%rbp)
  pxor   %xmm4,%xmm4
  cvtss2sd -0x68(%rbp),%xmm4
  movq   %xmm4,%rax
  movq   %rax,%xmm0
  call   <floor@plt>
  cvttsd2si %xmm0,%eax
  mov    %eax,-0x40(%rbp)
  pxor   %xmm1,%xmm1
  cvtsi2ssl -0x40(%rbp),%xmm1
  movss  -0x68(%rbp),%xmm0
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x3c(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  pxor   %xmm0,%xmm0
  movss  %xmm0,(%rax)
  movl   $0x0,-0x34(%rbp)
  cmpq   $0x0,-0x58(%rbp)
  je     L11
  mov    -0x40(%rbp),%eax
  imul   -0x5c(%rbp),%eax
  mov    %eax,%edx
  mov    -0x48(%rbp),%eax
  add    %edx,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x58(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x20(%rbp)
  movss  -0x4c(%rbp),%xmm0
  comiss -0x44(%rbp),%xmm0
  jbe    L44
  movss  -0x4c(%rbp),%xmm0
  comiss -0x3c(%rbp),%xmm0
  jbe    L18
  addl   $0x1,-0x34(%rbp)
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,(%rax)
  jmp    L30
L18:
  addl   $0x1,-0x34(%rbp)
  movss  D54(%rip),%xmm0
  subss  -0x3c(%rbp),%xmm0
  movss  %xmm0,-0x30(%rbp)
  movss  -0x38(%rbp),%xmm0
  addss  -0x30(%rbp),%xmm0
  movss  %xmm0,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  -0x30(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x5c(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x10(%rbp)
  addl   $0x1,-0x34(%rbp)
  movss  -0x3c(%rbp),%xmm0
  movss  %xmm0,-0x28(%rbp)
  movss  -0x38(%rbp),%xmm0
  addss  -0x28(%rbp),%xmm0
  movss  %xmm0,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  -0x28(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,(%rax)
  cmpl   $0x0,-0x34(%rbp)
  je     L30
  mov    -0x70(%rbp),%rax
  movss  (%rax),%xmm0
  divss  -0x38(%rbp),%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,(%rax)
  jmp    L30
L44:
  movss  -0x4c(%rbp),%xmm0
  comiss -0x3c(%rbp),%xmm0
  jbe    L31
  addl   $0x1,-0x34(%rbp)
  movss  D54(%rip),%xmm0
  subss  -0x44(%rbp),%xmm0
  movss  %xmm0,-0x30(%rbp)
  movss  -0x38(%rbp),%xmm0
  addss  -0x30(%rbp),%xmm0
  movss  %xmm0,-0x38(%rbp)
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  -0x30(%rbp),%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    %rax,-0x18(%rbp)
  addl   $0x1,-0x34(%rbp)
  movss  -0x44(%rbp),%xmm0
  movss  %xmm0,-0x2c(%rbp)
  movss  -0x38(%rbp),%xmm0
  addss  -0x2c(%rbp),%xmm0
  movss  %xmm0,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x18(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  -0x2c(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,(%rax)
  cmpl   $0x0,-0x34(%rbp)
  je     L30
  mov    -0x70(%rbp),%rax
  movss  (%rax),%xmm0
  divss  -0x38(%rbp),%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,(%rax)
  jmp    L30
L31:
  addl   $0x1,-0x34(%rbp)
  pxor   %xmm2,%xmm2
  cvtss2sd -0x44(%rbp),%xmm2
  movsd  D59(%rip),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm2,%xmm2
  cvtss2sd -0x3c(%rbp),%xmm2
  movsd  D59(%rip),%xmm0
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x30(%rbp)
  movss  -0x38(%rbp),%xmm0
  addss  -0x30(%rbp),%xmm0
  movss  %xmm0,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x20(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  -0x30(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x20(%rbp),%rax
  add    $0x4,%rax
  mov    %rax,-0x18(%rbp)
  addl   $0x1,-0x34(%rbp)
  pxor   %xmm1,%xmm1
  cvtss2sd -0x44(%rbp),%xmm1
  pxor   %xmm2,%xmm2
  cvtss2sd -0x3c(%rbp),%xmm2
  movsd  D59(%rip),%xmm0
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x2c(%rbp)
  movss  -0x38(%rbp),%xmm0
  addss  -0x2c(%rbp),%xmm0
  movss  %xmm0,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x18(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  -0x2c(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x5c(%rbp),%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x10(%rbp)
  addl   $0x1,-0x34(%rbp)
  pxor   %xmm2,%xmm2
  cvtss2sd -0x44(%rbp),%xmm2
  movsd  D59(%rip),%xmm0
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x3c(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x28(%rbp)
  movss  -0x38(%rbp),%xmm0
  addss  -0x28(%rbp),%xmm0
  movss  %xmm0,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x10(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  -0x28(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,(%rax)
  mov    -0x5c(%rbp),%eax
  add    $0x1,%eax
  cltq
  lea    0x0(,%rax,4),%rdx
  mov    -0x20(%rbp),%rax
  add    %rdx,%rax
  mov    %rax,-0x8(%rbp)
  addl   $0x1,-0x34(%rbp)
  movss  -0x44(%rbp),%xmm0
  mulss  -0x3c(%rbp),%xmm0
  movss  %xmm0,-0x24(%rbp)
  movss  -0x38(%rbp),%xmm0
  addss  -0x24(%rbp),%xmm0
  movss  %xmm0,-0x38(%rbp)
  mov    -0x70(%rbp),%rax
  movss  (%rax),%xmm1
  mov    -0x8(%rbp),%rax
  movss  (%rax),%xmm0
  mulss  -0x24(%rbp),%xmm0
  addss  %xmm1,%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,(%rax)
  cmpl   $0x0,-0x34(%rbp)
  je     L30
  mov    -0x70(%rbp),%rax
  movss  (%rax),%xmm0
  divss  -0x38(%rbp),%xmm0
  mov    -0x70(%rbp),%rax
  movss  %xmm0,(%rax)
  jmp    L30
L11:
  nop
L30:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D12
datatype: byte[4]
name: extract_symbolic_data
arguments: data_label: D54
datatype: f32
name: extract_symbolic_data
arguments: data_label: D59
datatype: f32[2]

tool: {"D12": [0x17,0xb7,0xd1,0x38]}

tool: D54: 1

tool: {"D59": [0.0,1.875]}

assistant: ```c
void Ipol2(float *Data, int Dim_1, int Dim_2, float f_1, float f_2, float *value) {
  const float eps = 1e-4;
  int cnt;
  float *pval1, *pval2, *pval3, *pval4;
  float w1, w2, w3, w4;
  float weight;
  int i_1, i_2;
  float r_1, r_2;
  (i_1) = floor(f_1);
  (r_1) = (f_1) - (float)(i_1);
  (i_2) = floor(f_2);
  (r_2) = (f_2) - (float)(i_2);
  weight = 0.0;
  *value = 0.0;
  cnt = 0;
  if (!Data)
    return;
  pval1 = (Data) + ((i_1) + ((i_2) * (Dim_1)));
  if (r_1 < eps) {
    if (r_2 < eps) {
      cnt++;
      *value = *pval1;
    } else {
      cnt++;
      w1 = 1.0 - r_2;
      weight += w1;
      *value += *pval1 * w1;
      pval4 = (pval1) + (Dim_1);
      cnt++;
      w4 = r_2;
      weight += w4;
      *value += *pval4 * w4;
      if (cnt)
        *value = *value / weight;
    }
  } else {
    if (r_2 < eps) {
      cnt++;
      w1 = (1 - r_1);
      weight += w1;
      *value = *pval1 * w1;
      pval2 = (pval1) + 1;
      cnt++;
      w2 = r_1;
      weight += w2;
      *value += *pval2 * w2;
      if (cnt)
        *value = *value / weight;
    } else {
      cnt++;
      w1 = (1.0 - r_1) * (1.0 - r_2);
      weight += w1;
      *value += *pval1 * w1;
      pval2 = (pval1) + 1;
      cnt++;
      w2 = r_1 * (1.0 - r_2);
      weight += w2;
      *value += *pval2 * w2;
      pval4 = (pval1) + (Dim_1);
      cnt++;
      w4 = (1.0 - r_1) * r_2;
      weight += w4;
      *value += *pval4 * w4;
      pval3 = (pval1) + (1 + (Dim_1));
      cnt++;
      w3 = r_1 * r_2;
      weight += w3;
      *value += *pval3 * w3;
      if (cnt)
        *value = *value / weight;
    }
  }
}
```