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

```asm
<cg_update_inf>:
  endbr64
  mov    %rcx,%rax
  mov    %rdx,%r8
  pxor   %xmm0,%xmm0
  movabs $0x6666666666666667,%rdx
  imul   %rdx
  mov    %rcx,%rax
  sar    $0x3f,%rax
  sar    %rdx
  sub    %rax,%rdx
  lea    (%rdx,%rdx,4),%rax
  mov    %rcx,%rdx
  sub    %rax,%rdx
  test   %r8,%r8
  je     L92
  test   %rdx,%rdx
  jle    L6
  movq   D24(%rip),%xmm1
  movq   D15(%rip),%xmm3
  xor    %eax,%eax
L97:
  movsd  (%rsi,%rax,8),%xmm2
  movsd  %xmm2,(%rdi,%rax,8)
  movapd %xmm2,%xmm4
  andpd  %xmm1,%xmm2
  maxsd  %xmm0,%xmm2
  xorpd  %xmm3,%xmm4
  movsd  %xmm4,(%r8,%rax,8)
  add    $0x1,%rax
  movapd %xmm2,%xmm0
  cmp    %rax,%rdx
  jne    L97
L43:
  cmp    %rdx,%rcx
  jle    L16
  movq   D24(%rip),%xmm1
  movq   D15(%rip),%xmm3
  nopl   0x0(%rax)
L24:
  movsd  (%rsi,%rdx,8),%xmm2
  movsd  %xmm2,(%rdi,%rdx,8)
  movapd %xmm2,%xmm4
  andpd  %xmm1,%xmm2
  maxsd  %xmm0,%xmm2
  xorpd  %xmm3,%xmm4
  movsd  %xmm4,(%r8,%rdx,8)
  movapd %xmm2,%xmm0
  movsd  0x8(%rsi,%rdx,8),%xmm2
  movsd  %xmm2,0x8(%rdi,%rdx,8)
  movapd %xmm2,%xmm4
  andpd  %xmm1,%xmm2
  maxsd  %xmm0,%xmm2
  xorpd  %xmm3,%xmm4
  movsd  %xmm4,0x8(%r8,%rdx,8)
  movapd %xmm2,%xmm0
  movsd  0x10(%rsi,%rdx,8),%xmm2
  movsd  %xmm2,0x10(%rdi,%rdx,8)
  movapd %xmm2,%xmm4
  andpd  %xmm1,%xmm2
  maxsd  %xmm0,%xmm2
  xorpd  %xmm3,%xmm4
  movsd  %xmm4,0x10(%r8,%rdx,8)
  movapd %xmm2,%xmm0
  movsd  0x18(%rsi,%rdx,8),%xmm2
  movsd  %xmm2,0x18(%rdi,%rdx,8)
  movapd %xmm2,%xmm4
  andpd  %xmm1,%xmm2
  maxsd  %xmm0,%xmm2
  xorpd  %xmm3,%xmm4
  movsd  %xmm4,0x18(%r8,%rdx,8)
  movapd %xmm2,%xmm0
  movsd  0x20(%rsi,%rdx,8),%xmm2
  movsd  %xmm2,0x20(%rdi,%rdx,8)
  movapd %xmm2,%xmm4
  andpd  %xmm1,%xmm2
  maxsd  %xmm0,%xmm2
  xorpd  %xmm3,%xmm4
  movsd  %xmm4,0x20(%r8,%rdx,8)
  add    $0x5,%rdx
  movapd %xmm2,%xmm0
  cmp    %rdx,%rcx
  jg     L24
L16:
  ret
  xchg   %ax,%ax
L92:
  test   %rdx,%rdx
  jle    L25
  movq   D24(%rip),%xmm1
  xor    %eax,%eax
L49:
  movsd  (%rsi,%rax,8),%xmm2
  movsd  %xmm2,(%rdi,%rax,8)
  andpd  %xmm1,%xmm2
  add    $0x1,%rax
  maxsd  %xmm0,%xmm2
  movapd %xmm2,%xmm0
  cmp    %rax,%rdx
  jne    L49
L42:
  cmp    %rdx,%rcx
  jle    L16
  movq   D24(%rip),%xmm1
  nop
L45:
  movsd  (%rsi,%rdx,8),%xmm2
  movsd  %xmm2,(%rdi,%rdx,8)
  andpd  %xmm1,%xmm2
  maxsd  %xmm0,%xmm2
  movapd %xmm2,%xmm0
  movsd  0x8(%rsi,%rdx,8),%xmm2
  movsd  %xmm2,0x8(%rdi,%rdx,8)
  andpd  %xmm1,%xmm2
  maxsd  %xmm0,%xmm2
  movapd %xmm2,%xmm0
  movsd  0x10(%rsi,%rdx,8),%xmm2
  movsd  %xmm2,0x10(%rdi,%rdx,8)
  andpd  %xmm1,%xmm2
  maxsd  %xmm0,%xmm2
  movapd %xmm2,%xmm0
  movsd  0x18(%rsi,%rdx,8),%xmm2
  movsd  %xmm2,0x18(%rdi,%rdx,8)
  andpd  %xmm1,%xmm2
  maxsd  %xmm0,%xmm2
  movapd %xmm2,%xmm0
  movsd  0x20(%rsi,%rdx,8),%xmm2
  movsd  %xmm2,0x20(%rdi,%rdx,8)
  andpd  %xmm1,%xmm2
  add    $0x5,%rdx
  maxsd  %xmm0,%xmm2
  movapd %xmm2,%xmm0
  cmp    %rdx,%rcx
  jg     L45
  ret
L6:
  xor    %edx,%edx
  jmp    L43
L25:
  xor    %edx,%edx
  jmp    L42
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D24
datatype: qword
name: extract_symbolic_data
arguments: data_label: D15
datatype: byte[8]

tool: D24: 9223372036854775807

tool: {"D15": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80]}

assistant: ```c
double cg_update_inf(double *gold, double *gnew, double *d, long int n) {
  long int i, n5;
  double s, t;
  t = ((double)0);
  n5 = n % 5;
  if (d == 0) {
    for (i = 0; i < n5; i++) {
      s = gnew[i];
      gold[i] = s;
      if (t < fabs(s))
        t = fabs(s);
    }
    for (; i < n;) {
      s = gnew[i];
      gold[i] = s;
      if (t < fabs(s))
        t = fabs(s);
      i++;
      s = gnew[i];
      gold[i] = s;
      if (t < fabs(s))
        t = fabs(s);
      i++;
      s = gnew[i];
      gold[i] = s;
      if (t < fabs(s))
        t = fabs(s);
      i++;
      s = gnew[i];
      gold[i] = s;
      if (t < fabs(s))
        t = fabs(s);
      i++;
      s = gnew[i];
      gold[i] = s;
      if (t < fabs(s))
        t = fabs(s);
      i++;
    }
  } else {
    for (i = 0; i < n5; i++) {
      s = gnew[i];
      gold[i] = s;
      d[i] = -s;
      if (t < fabs(s))
        t = fabs(s);
    }
    for (; i < n;) {
      s = gnew[i];
      gold[i] = s;
      d[i] = -s;
      if (t < fabs(s))
        t = fabs(s);
      i++;
      s = gnew[i];
      gold[i] = s;
      d[i] = -s;
      if (t < fabs(s))
        t = fabs(s);
      i++;
      s = gnew[i];
      gold[i] = s;
      d[i] = -s;
      if (t < fabs(s))
        t = fabs(s);
      i++;
      s = gnew[i];
      gold[i] = s;
      d[i] = -s;
      if (t < fabs(s))
        t = fabs(s);
      i++;
      s = gnew[i];
      gold[i] = s;
      d[i] = -s;
      if (t < fabs(s))
        t = fabs(s);
      i++;
    }
  }
  return (t);
}
```