user: Converte this assembly snippet into its equivalent C code:

```asm
<interpSP6_b32>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xa0,%rsp
  mov    %rdi,-0x88(%rbp)
  mov    %esi,-0x8c(%rbp)
  mov    %edx,-0x90(%rbp)
  movss  %xmm0,-0x94(%rbp)
  movss  %xmm1,-0x98(%rbp)
  mov    %rcx,-0xa0(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  mov    -0x94(%rbp),%eax
  movd   %eax,%xmm0
  call   <ceilf@plt>
  sub    $0x3,%eax
  mov    %eax,-0x70(%rbp)
  cmpl   $0x0,-0x70(%rbp)
  jns    L3
  movl   $0x0,-0x70(%rbp)
L3:
  mov    -0x70(%rbp),%eax
  add    $0x6,%eax
  cmp    %eax,-0x8c(%rbp)
  jg     L125
  mov    -0x8c(%rbp),%eax
  sub    $0x6,%eax
  mov    %eax,-0x70(%rbp)
L125:
  mov    -0x98(%rbp),%eax
  movd   %eax,%xmm0
  call   <ceilf@plt>
  sub    $0x3,%eax
  mov    %eax,-0x6c(%rbp)
  cmpl   $0x0,-0x6c(%rbp)
  jns    L114
  movl   $0x0,-0x6c(%rbp)
L114:
  mov    -0x6c(%rbp),%eax
  add    $0x6,%eax
  cmp    %eax,-0x90(%rbp)
  jg     L120
  mov    -0x90(%rbp),%eax
  sub    $0x6,%eax
  mov    %eax,-0x6c(%rbp)
L120:
  pxor   %xmm1,%xmm1
  cvtsi2ssl -0x6c(%rbp),%xmm1
  movss  -0x98(%rbp),%xmm0
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D70(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D762(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D642(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D70(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D113(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D70(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x20(%rbp)
  movss  -0x64(%rbp),%xmm0
  movss  D88(%rip),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D98(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D558(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D248(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D98(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D456(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D98(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x1c(%rbp)
  movss  -0x64(%rbp),%xmm0
  movss  D88(%rip),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm1,%xmm1
  cvtss2sd -0x64(%rbp),%xmm1
  movsd  D274(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D655(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D396(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D98(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x18(%rbp)
  movss  D88(%rip),%xmm0
  subss  -0x64(%rbp),%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm1,%xmm1
  cvtss2sd -0x64(%rbp),%xmm1
  movsd  D274(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D655(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D396(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D98(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x14(%rbp)
  movss  -0x64(%rbp),%xmm1
  movss  D88(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D98(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D558(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D248(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D98(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D456(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D98(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x10(%rbp)
  movss  -0x64(%rbp),%xmm1
  movss  D88(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D70(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D762(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D642(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D70(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D113(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D70(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0xc(%rbp)
  pxor   %xmm1,%xmm1
  cvtsi2ssl -0x70(%rbp),%xmm1
  movss  -0x94(%rbp),%xmm0
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D70(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D762(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D642(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D70(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D113(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D70(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x40(%rbp)
  movss  -0x64(%rbp),%xmm0
  movss  D88(%rip),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D98(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D558(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D248(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D98(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D456(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D98(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x3c(%rbp)
  movss  -0x64(%rbp),%xmm0
  movss  D88(%rip),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm1,%xmm1
  cvtss2sd -0x64(%rbp),%xmm1
  movsd  D274(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D655(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D396(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D98(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x38(%rbp)
  movss  D88(%rip),%xmm0
  subss  -0x64(%rbp),%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm1,%xmm1
  cvtss2sd -0x64(%rbp),%xmm1
  movsd  D274(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D655(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D396(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D98(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x34(%rbp)
  movss  -0x64(%rbp),%xmm1
  movss  D88(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D98(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D558(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D248(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D98(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D456(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D98(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x30(%rbp)
  movss  -0x64(%rbp),%xmm1
  movss  D88(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D70(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D762(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D642(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D70(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D113(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D70(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x2c(%rbp)
  movl   $0x0,-0x78(%rbp)
  jmp    L43
L74:
  movl   $0x0,-0x7c(%rbp)
  jmp    L79
L65:
  mov    -0x7c(%rbp),%eax
  cltq
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x60(%rbp,%rax,4)
  movl   $0x0,-0x74(%rbp)
  jmp    L97
L60:
  mov    -0x7c(%rbp),%eax
  cltq
  movss  -0x60(%rbp,%rax,4),%xmm1
  mov    -0x74(%rbp),%eax
  cltq
  movss  -0x20(%rbp,%rax,4),%xmm2
  mov    -0x74(%rbp),%edx
  mov    -0x6c(%rbp),%eax
  add    %edx,%eax
  imul   -0x8c(%rbp),%eax
  mov    %eax,%edx
  mov    -0x7c(%rbp),%eax
  add    %eax,%edx
  mov    -0x70(%rbp),%eax
  add    %edx,%eax
  lea    0x0(,%rax,4),%edx
  mov    -0x78(%rbp),%eax
  add    %edx,%eax
  movslq %eax,%rdx
  mov    -0x88(%rbp),%rax
  add    %rdx,%rax
  movzbl (%rax),%eax
  movzbl %al,%eax
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  mulss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  mov    -0x7c(%rbp),%eax
  cltq
  movss  %xmm0,-0x60(%rbp,%rax,4)
  addl   $0x1,-0x74(%rbp)
L97:
  cmpl   $0x5,-0x74(%rbp)
  jle    L60
  addl   $0x1,-0x7c(%rbp)
L79:
  cmpl   $0x5,-0x7c(%rbp)
  jle    L65
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x68(%rbp)
  movl   $0x0,-0x7c(%rbp)
  jmp    L141
L127:
  mov    -0x7c(%rbp),%eax
  cltq
  movss  -0x40(%rbp,%rax,4),%xmm1
  mov    -0x7c(%rbp),%eax
  cltq
  movss  -0x60(%rbp,%rax,4),%xmm0
  mulss  %xmm1,%xmm0
  movss  -0x68(%rbp),%xmm1
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x68(%rbp)
  addl   $0x1,-0x7c(%rbp)
L141:
  cmpl   $0x5,-0x7c(%rbp)
  jle    L127
  pxor   %xmm1,%xmm1
  cvtss2sd -0x68(%rbp),%xmm1
  movsd  D532(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x68(%rbp)
  pxor   %xmm0,%xmm0
  comiss -0x68(%rbp),%xmm0
  jbe    L91
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x68(%rbp)
L91:
  movss  -0x68(%rbp),%xmm0
  comiss D200(%rip),%xmm0
  jbe    L102
  movss  D651(%rip),%xmm0
  movss  %xmm0,-0x68(%rbp)
L102:
  mov    -0x78(%rbp),%eax
  movslq %eax,%rdx
  mov    -0xa0(%rbp),%rax
  add    %rdx,%rax
  cvttss2si -0x68(%rbp),%edx
  mov    %dl,(%rax)
  addl   $0x1,-0x78(%rbp)
L43:
  cmpl   $0x3,-0x78(%rbp)
  jle    L74
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L15
  call   <__stack_chk_fail@plt>
L15:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D70
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D762
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D642
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D113
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D88
type_guessed: f32
name: extract_symbolic_data
arguments: data_label: D98
type_guessed: f32[2]
name: extract_symbolic_data
arguments: data_label: D558
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D248
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D456
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D274
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D655
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D396
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D532
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D200
type_guessed: f32
name: extract_symbolic_data
arguments: data_label: D651
type_guessed: f32

tool: D70: 2

tool: D762: 0.090909

tool: D642: 0.215311

tool: D113: 0.124402

tool: D88: 1

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

tool: {"D558": [0xdc,0x11,0x4e,0x0b,0x5e,0x74,0xe1,0xbf]}

tool: D248: 1.291866

tool: D456: 0.746411

tool: D274: 1.181818

tool: D655: 2.167464

tool: D396: 0.014354

tool: D532: 0.947

tool: D200: 256

tool: D651: 255

assistant: ```c
int interpSP6_b32(unsigned char *sl, int w, int h, float x, float y, unsigned char *v) {
  int i, b, j, m, n;
  float pp, p[6], wx[6], wy[6], xx;
  m = (int)ceilf(x) - 3;
  if (m < 0)
    m = 0;
  if ((m + 7) > w)
    m = w - 6;
  n = (int)ceilf(y) - 3;
  if (n < 0)
    n = 0;
  if ((n + 7) > h)
    n = h - 6;
  xx = y - n;
  wy[0] = ((0.090909 * (xx - 2.0) - 0.215311) * (xx - 2.0) + 0.124402) * (xx - 2.0);
  xx = xx - 1.0;
  wy[1] = ((-0.545455 * (xx - 1.0) + 1.291866) * (xx - 1.0) - 0.746411) * (xx - 1.0);
  xx = xx - 1.0;
  wy[2] = ((1.181818 * xx - 2.167464) * xx + 0.014354) * xx + 1.0;
  xx = 1.0 - xx;
  wy[3] = ((1.181818 * xx - 2.167464) * xx + 0.014354) * xx + 1.0;
  xx = xx + 1.0;
  wy[4] = ((-0.545455 * (xx - 1.0) + 1.291866) * (xx - 1.0) - 0.746411) * (xx - 1.0);
  xx = xx + 1.0;
  wy[5] = ((0.090909 * (xx - 2.0) - 0.215311) * (xx - 2.0) + 0.124402) * (xx - 2.0);
  xx = x - m;
  wx[0] = ((0.090909 * (xx - 2.0) - 0.215311) * (xx - 2.0) + 0.124402) * (xx - 2.0);
  xx = xx - 1.0;
  wx[1] = ((-0.545455 * (xx - 1.0) + 1.291866) * (xx - 1.0) - 0.746411) * (xx - 1.0);
  xx = xx - 1.0;
  wx[2] = ((1.181818 * xx - 2.167464) * xx + 0.014354) * xx + 1.0;
  xx = 1.0 - xx;
  wx[3] = ((1.181818 * xx - 2.167464) * xx + 0.014354) * xx + 1.0;
  xx = xx + 1.0;
  wx[4] = ((-0.545455 * (xx - 1.0) + 1.291866) * (xx - 1.0) - 0.746411) * (xx - 1.0);
  xx = xx + 1.0;
  wx[5] = ((0.090909 * (xx - 2.0) - 0.215311) * (xx - 2.0) + 0.124402) * (xx - 2.0);
  for (b = 0; b < 4; b++) {
    for (i = 0; i < 6; i++) {
      p[i] = 0.0;
      for (j = 0; j < 6; j++) {
        p[i] = p[i] + wy[j] * sl[4 * ((j + n) * w + i + m) + b];
      }
    }
    pp = 0.0;
    for (i = 0; i < 6; i++)
      pp = pp + wx[i] * p[i];
    pp = 0.947 * pp;
    if (pp < 0.0)
      pp = 0.0;
    if (pp > 256.0)
      pp = 255.0;
    v[b] = pp;
  }
  return 0;
}
```