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

```asm
<interpSP6_b>:
  endbr64
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x70,%rsp
  mov    %rdi,%r12
  mov    %esi,%ebp
  mov    %edx,%r14d
  movss  %xmm1,0x8(%rsp)
  mov    %rcx,%rbx
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  xor    %eax,%eax
  movss  %xmm0,0xc(%rsp)
  call   <ceilf@plt>
  lea    -0x3(%rax),%r13d
  test   %r13d,%r13d
  mov    $0x0,%eax
  cmovs  %eax,%r13d
  lea    0x6(%r13),%edx
  lea    -0x6(%rbp),%eax
  cmp    %ebp,%edx
  cmovge %eax,%r13d
  movss  0x8(%rsp),%xmm0
  call   <ceilf@plt>
  sub    $0x3,%eax
  mov    $0x0,%edx
  cmovs  %edx,%eax
  lea    0x6(%rax),%ecx
  lea    -0x6(%r14),%edx
  cmp    %r14d,%ecx
  cmovge %edx,%eax
  pxor   %xmm0,%xmm0
  cvtsi2ss %eax,%xmm0
  movss  0x8(%rsp),%xmm11
  subss  %xmm0,%xmm11
  pxor   %xmm2,%xmm2
  cvtss2sd %xmm11,%xmm2
  movsd  D64(%rip),%xmm8
  subsd  %xmm8,%xmm2
  movsd  D139(%rip),%xmm1
  movapd %xmm2,%xmm6
  mulsd  %xmm1,%xmm6
  movapd %xmm6,%xmm0
  movsd  D100(%rip),%xmm7
  subsd  %xmm7,%xmm0
  mulsd  %xmm2,%xmm0
  movsd  D7(%rip),%xmm6
  addsd  %xmm6,%xmm0
  mulsd  %xmm2,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,0x50(%rsp)
  movss  D60(%rip),%xmm4
  subss  %xmm4,%xmm11
  pxor   %xmm3,%xmm3
  cvtss2sd %xmm11,%xmm3
  movsd  D111(%rip),%xmm5
  subsd  %xmm5,%xmm3
  movsd  D102(%rip),%xmm2
  movapd %xmm3,%xmm15
  mulsd  %xmm2,%xmm15
  movapd %xmm15,%xmm0
  movsd  D77(%rip),%xmm10
  addsd  %xmm10,%xmm0
  mulsd  %xmm3,%xmm0
  movsd  D8(%rip),%xmm9
  subsd  %xmm9,%xmm0
  mulsd  %xmm3,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,0x54(%rsp)
  subss  %xmm4,%xmm11
  pxor   %xmm14,%xmm14
  cvtss2sd %xmm11,%xmm14
  movsd  D57(%rip),%xmm0
  movapd %xmm14,%xmm3
  mulsd  %xmm0,%xmm3
  movsd  D45(%rip),%xmm13
  subsd  %xmm13,%xmm3
  mulsd  %xmm14,%xmm3
  movsd  D99(%rip),%xmm12
  addsd  %xmm12,%xmm3
  mulsd  %xmm14,%xmm3
  addsd  %xmm5,%xmm3
  cvtsd2ss %xmm3,%xmm3
  movss  %xmm3,0x58(%rsp)
  movaps %xmm4,%xmm3
  subss  %xmm11,%xmm3
  pxor   %xmm14,%xmm14
  cvtss2sd %xmm3,%xmm14
  movapd %xmm14,%xmm15
  mulsd  %xmm0,%xmm15
  movapd %xmm15,%xmm11
  subsd  %xmm13,%xmm11
  mulsd  %xmm14,%xmm11
  addsd  %xmm12,%xmm11
  mulsd  %xmm14,%xmm11
  addsd  %xmm5,%xmm11
  cvtsd2ss %xmm11,%xmm11
  movss  %xmm11,0x5c(%rsp)
  addss  %xmm4,%xmm3
  pxor   %xmm11,%xmm11
  cvtss2sd %xmm3,%xmm11
  subsd  %xmm5,%xmm11
  movapd %xmm11,%xmm14
  mulsd  %xmm2,%xmm14
  addsd  %xmm10,%xmm14
  mulsd  %xmm11,%xmm14
  subsd  %xmm9,%xmm14
  mulsd  %xmm11,%xmm14
  cvtsd2ss %xmm14,%xmm14
  movss  %xmm14,0x60(%rsp)
  addss  %xmm4,%xmm3
  pxor   %xmm11,%xmm11
  cvtss2sd %xmm3,%xmm11
  subsd  %xmm8,%xmm11
  movapd %xmm11,%xmm3
  mulsd  %xmm1,%xmm3
  subsd  %xmm7,%xmm3
  mulsd  %xmm11,%xmm3
  addsd  %xmm6,%xmm3
  mulsd  %xmm11,%xmm3
  cvtsd2ss %xmm3,%xmm3
  movss  %xmm3,0x64(%rsp)
  pxor   %xmm3,%xmm3
  cvtsi2ss %r13d,%xmm3
  movss  0xc(%rsp),%xmm11
  subss  %xmm3,%xmm11
  pxor   %xmm14,%xmm14
  cvtss2sd %xmm11,%xmm14
  subsd  %xmm8,%xmm14
  movapd %xmm14,%xmm3
  mulsd  %xmm1,%xmm3
  subsd  %xmm7,%xmm3
  mulsd  %xmm14,%xmm3
  addsd  %xmm6,%xmm3
  mulsd  %xmm14,%xmm3
  cvtsd2ss %xmm3,%xmm3
  movss  %xmm3,0x30(%rsp)
  subss  %xmm4,%xmm11
  pxor   %xmm14,%xmm14
  cvtss2sd %xmm11,%xmm14
  subsd  %xmm5,%xmm14
  movapd %xmm14,%xmm3
  mulsd  %xmm2,%xmm3
  addsd  %xmm10,%xmm3
  mulsd  %xmm14,%xmm3
  subsd  %xmm9,%xmm3
  mulsd  %xmm14,%xmm3
  cvtsd2ss %xmm3,%xmm3
  movss  %xmm3,0x34(%rsp)
  subss  %xmm4,%xmm11
  pxor   %xmm14,%xmm14
  cvtss2sd %xmm11,%xmm14
  movapd %xmm14,%xmm3
  mulsd  %xmm0,%xmm3
  subsd  %xmm13,%xmm3
  mulsd  %xmm14,%xmm3
  addsd  %xmm12,%xmm3
  mulsd  %xmm14,%xmm3
  addsd  %xmm5,%xmm3
  cvtsd2ss %xmm3,%xmm3
  movss  %xmm3,0x38(%rsp)
  movaps %xmm4,%xmm3
  subss  %xmm11,%xmm3
  pxor   %xmm11,%xmm11
  cvtss2sd %xmm3,%xmm11
  mulsd  %xmm11,%xmm0
  subsd  %xmm13,%xmm0
  mulsd  %xmm11,%xmm0
  addsd  %xmm12,%xmm0
  mulsd  %xmm11,%xmm0
  addsd  %xmm5,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,0x3c(%rsp)
  addss  %xmm4,%xmm3
  pxor   %xmm11,%xmm11
  cvtss2sd %xmm3,%xmm11
  subsd  %xmm5,%xmm11
  mulsd  %xmm11,%xmm2
  addsd  %xmm10,%xmm2
  movapd %xmm2,%xmm0
  mulsd  %xmm11,%xmm0
  subsd  %xmm9,%xmm0
  mulsd  %xmm11,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,0x40(%rsp)
  addss  %xmm4,%xmm3
  pxor   %xmm2,%xmm2
  cvtss2sd %xmm3,%xmm2
  subsd  %xmm8,%xmm2
  mulsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  subsd  %xmm7,%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm6,%xmm0
  mulsd  %xmm2,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,0x44(%rsp)
  lea    0x10(%rsp),%r9
  movslq %r13d,%r13
  add    %r13,%r12
  imul   %ebp,%eax
  cltq
  add    %rax,%r12
  mov    $0x0,%r8d
  movslq %ebp,%rsi
  lea    0x68(%rsp),%rdi
L67:
  mov    %r9,%r10
  lea    0x50(%rsp),%rax
  lea    (%r8,%r12,1),%rdx
  pxor   %xmm1,%xmm1
L2:
  movzbl (%rdx),%ecx
  pxor   %xmm0,%xmm0
  cvtsi2ss %ecx,%xmm0
  mulss  (%rax),%xmm0
  addss  %xmm0,%xmm1
  add    $0x4,%rax
  add    %rsi,%rdx
  cmp    %rdi,%rax
  jne    L2
  movss  %xmm1,(%r10)
  add    $0x1,%r8
  add    $0x4,%r9
  cmp    $0x6,%r8
  jne    L67
  mov    $0x0,%eax
  pxor   %xmm1,%xmm1
  lea    0x10(%rsp),%rdx
L65:
  movss  0x30(%rsp,%rax,1),%xmm0
  mulss  (%rax,%rdx,1),%xmm0
  addss  %xmm0,%xmm1
  add    $0x4,%rax
  cmp    $0x18,%rax
  jne    L65
  cvtss2sd %xmm1,%xmm1
  mulsd  D86(%rip),%xmm1
  pxor   %xmm0,%xmm0
  cvtsd2ss %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  comiss %xmm0,%xmm1
  ja     L6
  comiss D78(%rip),%xmm0
  jbe    L68
  movss  D61(%rip),%xmm0
L68:
  cvttss2si %xmm0,%eax
  mov    %al,(%rbx)
  mov    0x68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L22
  mov    $0x0,%eax
  add    $0x70,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
L6:
  pxor   %xmm0,%xmm0
  jmp    L68
L22:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: tag: D64
type_guessed: f64
name: read_data
arguments: tag: D139
type_guessed: f64
name: read_data
arguments: tag: D100
type_guessed: f64
name: read_data
arguments: tag: D7
type_guessed: f64
name: read_data
arguments: tag: D60
type_guessed: f32
name: read_data
arguments: tag: D111
type_guessed: f32[2]
name: read_data
arguments: tag: D102
type_guessed: byte[8]
name: read_data
arguments: tag: D77
type_guessed: f64
name: read_data
arguments: tag: D8
type_guessed: f64
name: read_data
arguments: tag: D57
type_guessed: f64
name: read_data
arguments: tag: D45
type_guessed: f64
name: read_data
arguments: tag: D99
type_guessed: f64
name: read_data
arguments: tag: D86
type_guessed: f64
name: read_data
arguments: tag: D78
type_guessed: f32
name: read_data
arguments: tag: D61
type_guessed: f32

tool: D64: 2

tool: D139: 0.090909

tool: D100: 0.215311

tool: D7: 0.124402

tool: D60: 1

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

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

tool: D77: 1.291866

tool: D8: 0.746411

tool: D57: 1.181818

tool: D45: 2.167464

tool: D99: 0.014354

tool: D86: 0.947

tool: D78: 256

tool: D61: 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;
}
```