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

```asm
<colorMap_rainbow>:
  endbr64
  push   %r15
  push   %r14
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x10,%rsp
  mov    %rdi,%rbx
  mulsd  D52(%rip),%xmm0
  addsd  D49(%rip),%xmm0
  movapd %xmm0,%xmm3
  movsd  %xmm0,0x8(%rsp)
  subsd  D11(%rip),%xmm3
  movapd %xmm3,%xmm0
  movq   %xmm3,%r14
  call   <fabs@plt>
  mov    %eax,%r12d
  movsd  0x8(%rsp),%xmm3
  subsd  D15(%rip),%xmm3
  movq   %xmm3,%rbp
  movapd %xmm3,%xmm0
  call   <fabs@plt>
  mov    %eax,%edx
  mov    $0x3,%eax
  sub    %r12d,%eax
  sub    %edx,%eax
  pxor   %xmm0,%xmm0
  cmp    $0xffffffff,%eax
  jge    L50
L36:
  movsd  %xmm0,(%rbx)
  movsd  0x8(%rsp),%xmm4
  subsd  D66(%rip),%xmm4
  movq   %xmm4,%r15
  movapd %xmm4,%xmm0
  call   <fabs@plt>
  mov    %eax,%ebp
  movq   %r14,%xmm0
  call   <fabs@plt>
  mov    %eax,%edx
  mov    $0x4,%eax
  sub    %ebp,%eax
  sub    %edx,%eax
  pxor   %xmm0,%xmm0
  cmp    $0xffffffff,%eax
  jge    L94
L67:
  movsd  %xmm0,0x8(%rbx)
  movsd  0x8(%rsp),%xmm5
  subsd  D59(%rip),%xmm5
  movq   %xmm5,%rbp
  movapd %xmm5,%xmm0
  call   <fabs@plt>
  mov    %eax,%r12d
  movq   %r15,%xmm0
  call   <fabs@plt>
  mov    %eax,%edx
  mov    $0x3,%eax
  sub    %r12d,%eax
  sub    %edx,%eax
  pxor   %xmm0,%xmm0
  cmp    $0xffffffff,%eax
  jge    L38
L35:
  movsd  %xmm0,0x10(%rbx)
  mov    %rbx,%rax
  add    $0x18,%rbx
  pxor   %xmm1,%xmm1
  movsd  D59(%rip),%xmm2
  jmp    L87
L50:
  movq   %r14,%xmm0
  call   <fabs@plt>
  mov    %eax,%r12d
  movq   %rbp,%xmm0
  call   <fabs@plt>
  mov    %eax,%edx
  mov    $0x3,%eax
  sub    %r12d,%eax
  sub    %edx,%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  jmp    L36
L94:
  movq   %r15,%xmm0
  call   <fabs@plt>
  mov    %eax,%ebp
  movq   %r14,%xmm0
  call   <fabs@plt>
  mov    %eax,%edx
  mov    $0x4,%eax
  sub    %ebp,%eax
  sub    %edx,%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  jmp    L67
L38:
  movq   %rbp,%xmm0
  call   <fabs@plt>
  mov    %eax,%ebp
  movq   %r15,%xmm0
  call   <fabs@plt>
  mov    %eax,%edx
  mov    $0x3,%eax
  sub    %ebp,%eax
  sub    %edx,%eax
  mov    %eax,%edx
  shr    $0x1f,%edx
  add    %edx,%eax
  sar    %eax
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  jmp    L35
L75:
  pxor   %xmm0,%xmm0
L52:
  movsd  %xmm0,(%rdx)
  add    $0x8,%rax
  cmp    %rbx,%rax
  je     L96
L87:
  mov    %rax,%rdx
  movsd  (%rax),%xmm0
  comisd %xmm1,%xmm0
  jbe    L75
  comisd %xmm0,%xmm2
  ja     L52
  movsd  D59(%rip),%xmm0
  jmp    L52
L96:
  add    $0x10,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: read_data
arguments: label: D52
type: byte[8]
name: read_data
arguments: label: D49
type: f64
name: read_data
arguments: label: D11
type: f32[2]
name: read_data
arguments: label: D15
type: f32[2]
name: read_data
arguments: label: D66
type: f64
name: read_data
arguments: label: D59
type: f64

tool: {"D52": [0x33,0x33,0x33,0x33,0x33,0x33,0x17,0x40]}

tool: D49: 0.1

tool: {"D11": [0.0,2.25]}

tool: {"D15": [0.0,2.3125]}

tool: D66: 2

tool: D59: 1

assistant: ```c
void colorMap_rainbow(GLfloat fin, GLfloat *fcol) {
  int i;
  GLfloat xmin, xmax;
  GLfloat dx = 0.10;
  GLfloat ga = (6.0 - 2.0 * dx) * fin + dx;
  fcol[0] = ((0) > ((3 - fabs(ga - 4) - fabs(ga - 5)) / 2) ? (0) : ((3 - fabs(ga - 4) - fabs(ga - 5)) / 2));
  fcol[1] = ((0) > ((4 - fabs(ga - 2) - fabs(ga - 4)) / 2) ? (0) : ((4 - fabs(ga - 2) - fabs(ga - 4)) / 2));
  fcol[2] = ((0) > ((3 - fabs(ga - 1) - fabs(ga - 2)) / 2) ? (0) : ((3 - fabs(ga - 1) - fabs(ga - 2)) / 2));
  for (i = 0; i < 3; i++) {
    xmin = ((fcol[i]) > (0.0) ? (fcol[i]) : (0.0));
    fcol[i] = ((xmin) < (1.0) ? (xmin) : (1.0));
  }
}
```