user: What would the C source look like for the assembly code provided here:

```asm
<interpSP6_b>:
  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    L110
  movl   $0x0,-0x70(%rbp)
L110:
  mov    -0x70(%rbp),%eax
  add    $0x6,%eax
  cmp    %eax,-0x8c(%rbp)
  jg     L26
  mov    -0x8c(%rbp),%eax
  sub    $0x6,%eax
  mov    %eax,-0x70(%rbp)
L26:
  mov    -0x98(%rbp),%eax
  movd   %eax,%xmm0
  call   <ceilf@plt>
  sub    $0x3,%eax
  mov    %eax,-0x6c(%rbp)
  cmpl   $0x0,-0x6c(%rbp)
  jns    L107
  movl   $0x0,-0x6c(%rbp)
L107:
  mov    -0x6c(%rbp),%eax
  add    $0x6,%eax
  cmp    %eax,-0x90(%rbp)
  jg     L3
  mov    -0x90(%rbp),%eax
  sub    $0x6,%eax
  mov    %eax,-0x6c(%rbp)
L3:
  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  D322(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D765(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D598(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D322(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D247(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D322(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x20(%rbp)
  movss  -0x64(%rbp),%xmm0
  movss  D640(%rip),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D158(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D377(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D471(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D158(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D113(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D158(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x1c(%rbp)
  movss  -0x64(%rbp),%xmm0
  movss  D640(%rip),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm1,%xmm1
  cvtss2sd -0x64(%rbp),%xmm1
  movsd  D227(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D755(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D213(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D158(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x18(%rbp)
  movss  D640(%rip),%xmm0
  subss  -0x64(%rbp),%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm1,%xmm1
  cvtss2sd -0x64(%rbp),%xmm1
  movsd  D227(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D755(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D213(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D158(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x14(%rbp)
  movss  -0x64(%rbp),%xmm1
  movss  D640(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D158(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D377(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D471(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D158(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D113(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D158(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x10(%rbp)
  movss  -0x64(%rbp),%xmm1
  movss  D640(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D322(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D765(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D598(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D322(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D247(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D322(%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  D322(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D765(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D598(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D322(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D247(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D322(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x40(%rbp)
  movss  -0x64(%rbp),%xmm0
  movss  D640(%rip),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D158(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D377(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D471(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D158(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D113(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D158(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x3c(%rbp)
  movss  -0x64(%rbp),%xmm0
  movss  D640(%rip),%xmm1
  subss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm1,%xmm1
  cvtss2sd -0x64(%rbp),%xmm1
  movsd  D227(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D755(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D213(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D158(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x38(%rbp)
  movss  D640(%rip),%xmm0
  subss  -0x64(%rbp),%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm1,%xmm1
  cvtss2sd -0x64(%rbp),%xmm1
  movsd  D227(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D755(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D213(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D158(%rip),%xmm0
  addsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x34(%rbp)
  movss  -0x64(%rbp),%xmm1
  movss  D640(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D158(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D377(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D471(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D158(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D113(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D158(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x30(%rbp)
  movss  -0x64(%rbp),%xmm1
  movss  D640(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x64(%rbp)
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D322(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D765(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D598(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D322(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D247(%rip),%xmm0
  addsd  %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  cvtss2sd -0x64(%rbp),%xmm0
  movsd  D322(%rip),%xmm2
  subsd  %xmm2,%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x2c(%rbp)
  movl   $0x0,-0x78(%rbp)
  jmp    L4
L59:
  mov    -0x78(%rbp),%eax
  cltq
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x60(%rbp,%rax,4)
  movl   $0x0,-0x74(%rbp)
  jmp    L14
L95:
  mov    -0x78(%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    -0x78(%rbp),%eax
  add    %eax,%edx
  mov    -0x70(%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    -0x78(%rbp),%eax
  cltq
  movss  %xmm0,-0x60(%rbp,%rax,4)
  addl   $0x1,-0x74(%rbp)
L14:
  cmpl   $0x5,-0x74(%rbp)
  jle    L95
  addl   $0x1,-0x78(%rbp)
L4:
  cmpl   $0x5,-0x78(%rbp)
  jle    L59
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x68(%rbp)
  movl   $0x0,-0x78(%rbp)
  jmp    L6
L92:
  mov    -0x78(%rbp),%eax
  cltq
  movss  -0x40(%rbp,%rax,4),%xmm1
  mov    -0x78(%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,-0x78(%rbp)
L6:
  cmpl   $0x5,-0x78(%rbp)
  jle    L92
  pxor   %xmm1,%xmm1
  cvtss2sd -0x68(%rbp),%xmm1
  movsd  D657(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x68(%rbp)
  pxor   %xmm0,%xmm0
  comiss -0x68(%rbp),%xmm0
  jbe    L74
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x68(%rbp)
L74:
  movss  -0x68(%rbp),%xmm0
  comiss D21(%rip),%xmm0
  jbe    L18
  movss  D343(%rip),%xmm0
  movss  %xmm0,-0x68(%rbp)
L18:
  cvttss2si -0x68(%rbp),%eax
  mov    %eax,%edx
  mov    -0xa0(%rbp),%rax
  mov    %dl,(%rax)
  mov    $0x0,%eax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L56
  call   <__stack_chk_fail@plt>
L56:
  leave
  ret
```

tool_calls: name: read_data
arguments: label: D322
type_infered: f64
name: read_data
arguments: label: D765
type_infered: f64
name: read_data
arguments: label: D598
type_infered: f64
name: read_data
arguments: label: D247
type_infered: f64
name: read_data
arguments: label: D640
type_infered: f32
name: read_data
arguments: label: D158
type_infered: f32[2]
name: read_data
arguments: label: D377
type_infered: byte[8]
name: read_data
arguments: label: D471
type_infered: f64
name: read_data
arguments: label: D113
type_infered: f64
name: read_data
arguments: label: D227
type_infered: f64
name: read_data
arguments: label: D755
type_infered: f64
name: read_data
arguments: label: D213
type_infered: f64
name: read_data
arguments: label: D657
type_infered: f64
name: read_data
arguments: label: D21
type_infered: f32
name: read_data
arguments: label: D343
type_infered: f32

tool: D322: 2

tool: D765: 0.090909

tool: D598: 0.215311

tool: D247: 0.124402

tool: D640: 1

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

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

tool: D471: 1.291866

tool: D113: 0.746411

tool: D227: 1.181818

tool: D755: 2.167464

tool: D213: 0.014354

tool: D657: 0.947

tool: D21: 256

tool: D343: 255

assistant: ```c
int interpSP6_b(unsigned char *sl, int w, int h, float x, float y, unsigned char *v) {
  int i, 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 (i = 0; i < 6; i++) {
    p[i] = 0.0;
    for (j = 0; j < 6; j++) {
      p[i] = p[i] + wy[j] * sl[(j + n) * w + i + m];
    }
  }
  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 = pp;
  return 0;
}
```