user: 下面的汇编指令对应的C源代码是什么：

```asm
<sumCATMULT>:
  endbr64
  push   %rbp
  push   %rbx
  sub    $0x8,%rsp
  mov    %edi,%ebp
  mov    %rsi,%rbx
  mov    %rcx,%rax
  mov    0x20(%rsp),%r11
  mov    0x28(%rsp),%rsi
  mov    0x30(%rsp),%edi
  mov    0x38(%rsp),%ecx
  cmp    $0x1,%ebp
  je     L20
  cmp    $0x2,%ebp
  je     L6
  test   %ebp,%ebp
  je     L109
  mov    $0x0,%edi
  call   <assert@plt>
L59:
  add    $0x8,%rsp
  pop    %rbx
  pop    %rbp
  ret
L6:
  cmp    %ecx,%edi
  jge    L59
  lea    0x0(,%rdi,4),%r8d
  movslq %r8d,%r8
  shl    $0x3,%r8
  lea    (%rbx,%r8,1),%rsi
  add    %r8,%rdx
  add    %r8,%rax
  sub    $0x1,%ecx
  sub    %edi,%ecx
  movslq %edi,%rdi
  add    %rdi,%rcx
  shl    $0x5,%rcx
  lea    0x20(%rbx,%rcx,1),%rcx
L7:
  movsd  (%rdx),%xmm0
  mulsd  (%rax),%xmm0
  movsd  %xmm0,(%rsi)
  movsd  0x8(%rdx),%xmm0
  mulsd  0x8(%rax),%xmm0
  movsd  %xmm0,0x8(%rsi)
  movsd  0x10(%rdx),%xmm0
  mulsd  0x10(%rax),%xmm0
  movsd  %xmm0,0x10(%rsi)
  movsd  0x18(%rdx),%xmm0
  mulsd  0x18(%rax),%xmm0
  movsd  %xmm0,0x18(%rsi)
  add    $0x20,%rsi
  add    $0x20,%rdx
  add    $0x20,%rax
  cmp    %rcx,%rsi
  jne    L7
  jmp    L59
L20:
  cmp    %ecx,%edi
  jge    L59
  movslq %edi,%r10
  mov    %r10,%rdx
  shl    $0x5,%rdx
  lea    (%rax,%rdx,1),%rdi
  add    %rbx,%rdx
L18:
  mov    (%rsi,%r10,4),%eax
  shl    $0x4,%eax
  movsbl (%r9,%r10,1),%r11d
  add    %r11d,%eax
  shl    $0x2,%eax
  cltq
  lea    (%r8,%rax,8),%rax
  movsd  (%rax),%xmm0
  mulsd  (%rdi),%xmm0
  movsd  %xmm0,(%rdx)
  movsd  0x8(%rax),%xmm0
  mulsd  0x8(%rdi),%xmm0
  movsd  %xmm0,0x8(%rdx)
  movsd  0x10(%rax),%xmm0
  mulsd  0x10(%rdi),%xmm0
  movsd  %xmm0,0x10(%rdx)
  movsd  0x18(%rax),%xmm0
  mulsd  0x18(%rdi),%xmm0
  movsd  %xmm0,0x18(%rdx)
  add    $0x1,%r10
  add    $0x20,%rdi
  add    $0x20,%rdx
  cmp    %r10d,%ecx
  jg     L18
  jmp    L59
L109:
  cmp    %ecx,%edi
  jge    L59
  movslq %edi,%rdi
  mov    %rdi,%rax
  shl    $0x5,%rax
  lea    (%rbx,%rax,1),%rdx
L65:
  mov    (%rsi,%rdi,4),%ebx
  shl    $0x4,%ebx
  movsbl (%r9,%rdi,1),%eax
  add    %ebx,%eax
  shl    $0x2,%eax
  cltq
  lea    (%r8,%rax,8),%r10
  movsbl (%r11,%rdi,1),%eax
  add    %ebx,%eax
  shl    $0x2,%eax
  cltq
  lea    (%r8,%rax,8),%rax
  movsd  (%r10),%xmm0
  mulsd  (%rax),%xmm0
  movsd  %xmm0,(%rdx)
  movsd  0x8(%r10),%xmm0
  mulsd  0x8(%rax),%xmm0
  movsd  %xmm0,0x8(%rdx)
  movsd  0x10(%r10),%xmm0
  mulsd  0x10(%rax),%xmm0
  movsd  %xmm0,0x10(%rdx)
  movsd  0x18(%r10),%xmm0
  mulsd  0x18(%rax),%xmm0
  movsd  %xmm0,0x18(%rdx)
  add    $0x1,%rdi
  add    $0x20,%rdx
  cmp    %edi,%ecx
  jg     L65
  jmp    L59
```

assistant: ```c
void sumCATMULT(int tipCase, double *sum, double *x1_start, double *x2_start, double *tipVector, char *tipX1, char *tipX2, int *modelptr, int loopStart, int n) {
  double *x1, *x2;
  int i, model;
  switch (tipCase) {
  case 0:
    for (i = loopStart; i < n; i++) {
      model = modelptr[i];
      x1 = &(tipVector[model * 64 + tipX1[i] * 4]);
      x2 = &(tipVector[model * 64 + tipX2[i] * 4]);
      sum[i * 4] = x1[0] * x2[0];
      sum[i * 4 + 1] = x1[1] * x2[1];
      sum[i * 4 + 2] = x1[2] * x2[2];
      sum[i * 4 + 3] = x1[3] * x2[3];
    }
    break;
  case 1:
    for (i = loopStart; i < n; i++) {
      model = modelptr[i];
      x1 = &(tipVector[model * 64 + 4 * tipX1[i]]);
      x2 = &x2_start[4 * i];
      sum[i * 4] = x1[0] * x2[0];
      sum[i * 4 + 1] = x1[1] * x2[1];
      sum[i * 4 + 2] = x1[2] * x2[2];
      sum[i * 4 + 3] = x1[3] * x2[3];
    }
    break;
  case 2:
    for (i = loopStart; i < n; i++) {
      x1 = &x1_start[4 * i];
      x2 = &x2_start[4 * i];
      sum[i * 4] = x1[0] * x2[0];
      sum[i * 4 + 1] = x1[1] * x2[1];
      sum[i * 4 + 2] = x1[2] * x2[2];
      sum[i * 4 + 3] = x1[3] * x2[3];
    }
    break;
  default:
    assert(0);
  }
}
```