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

```asm
<kernel_strsv_t_1_lib8>:
  endbr64
  test   %edi,%edi
  jle    L43
  push   %rbp
  push   %rbx
  mov    %rdx,%r9
  mov    %ecx,%ebx
  movss  0x4(%rdx),%xmm0
  mulss  0x4(%r8),%xmm0
  addss  D6(%rip),%xmm0
  movss  0x8(%rdx),%xmm1
  mulss  0x8(%r8),%xmm1
  addss  %xmm0,%xmm1
  movss  0xc(%rdx),%xmm0
  mulss  0xc(%r8),%xmm0
  addss  %xmm1,%xmm0
  lea    0x10(%rdx),%r11
  lea    0x10(%r8),%rax
  cmp    $0x3,%esi
  jle    L77
  sub    $0x4,%esi
  shr    $0x2,%esi
  mov    %esi,%ebp
  lea    0x2(%rbp),%r10
  shl    $0x4,%r10
  add    %rdx,%r10
  mov    %rax,%rcx
  mov    %r11,%rdx
L18:
  movss  (%rdx),%xmm1
  mulss  (%rcx),%xmm1
  addss  %xmm0,%xmm1
  movss  0x4(%rdx),%xmm0
  mulss  0x4(%rcx),%xmm0
  addss  %xmm1,%xmm0
  movss  0x8(%rdx),%xmm1
  mulss  0x8(%rcx),%xmm1
  addss  %xmm0,%xmm1
  movss  0xc(%rdx),%xmm0
  mulss  0xc(%rcx),%xmm0
  addss  %xmm1,%xmm0
  add    $0x10,%rdx
  add    $0x10,%rcx
  cmp    %r10,%rdx
  jne    L18
  lea    0x1(%rbp),%rdx
  shl    $0x4,%rdx
  add    %rdx,%r11
  add    %rdx,%rax
  lea    0x8(,%rsi,4),%ecx
L23:
  lea    -0x8(,%rbx,8),%esi
  movslq %esi,%rsi
  shl    $0x2,%rsi
  add    %rsi,%r11
  lea    -0x4(%rdi),%edx
  cmp    %ecx,%edx
  jle    L81
  add    $0x20,%rsi
  lea    -0x5(%rdi),%ebx
  sub    %ecx,%ebx
  shr    $0x3,%ebx
  lea    0x1(%rbx),%ebp
  mov    %ebp,%ebp
  mov    %rbp,%r10
  shl    $0x5,%r10
  add    %rax,%r10
  mov    %r11,%rdx
L0:
  movss  (%rdx),%xmm1
  mulss  (%rax),%xmm1
  addss  %xmm0,%xmm1
  movss  0x4(%rdx),%xmm0
  mulss  0x4(%rax),%xmm0
  addss  %xmm1,%xmm0
  movss  0x8(%rdx),%xmm1
  mulss  0x8(%rax),%xmm1
  addss  %xmm0,%xmm1
  movss  0xc(%rdx),%xmm0
  mulss  0xc(%rax),%xmm0
  addss  %xmm1,%xmm0
  movss  0x10(%rdx),%xmm1
  mulss  0x10(%rax),%xmm1
  addss  %xmm0,%xmm1
  movss  0x14(%rdx),%xmm0
  mulss  0x14(%rax),%xmm0
  addss  %xmm1,%xmm0
  movss  0x18(%rdx),%xmm1
  mulss  0x18(%rax),%xmm1
  addss  %xmm0,%xmm1
  movss  0x1c(%rdx),%xmm0
  mulss  0x1c(%rax),%xmm0
  addss  %xmm1,%xmm0
  add    %rsi,%rdx
  add    $0x20,%rax
  cmp    %r10,%rax
  jne    L0
  imul   %rbp,%rsi
  add    %rsi,%r11
  lea    0x8(%rcx,%rbx,8),%ecx
L50:
  cmp    %ecx,%edi
  jle    L33
  movss  (%r11),%xmm4
  mulss  (%r10),%xmm4
  movss  0x4(%r11),%xmm3
  mulss  0x4(%r10),%xmm3
  movss  0x8(%r11),%xmm2
  mulss  0x8(%r10),%xmm2
  movss  0xc(%r11),%xmm1
  mulss  0xc(%r10),%xmm1
L16:
  addss  %xmm4,%xmm0
  addss  %xmm3,%xmm0
  addss  %xmm2,%xmm0
  addss  %xmm1,%xmm0
  add    $0x4,%ecx
  cmp    %ecx,%edi
  jg     L16
L33:
  movss  (%r8),%xmm1
  subss  %xmm0,%xmm1
  mulss  (%r9),%xmm1
  movss  %xmm1,(%r8)
  pop    %rbx
  pop    %rbp
  ret
L77:
  mov    $0x4,%ecx
  jmp    L23
L81:
  mov    %rax,%r10
  jmp    L50
L43:
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D6
data_type: f32

tool: D6: 0

assistant: ```c
void kernel_strsv_t_1_lib8(int kmax, int kna, float *A, int sda, float *x) {
  if (kmax <= 0)
    return;
  const int lda = 8;
  const int bs = 8;
  int k;
  float *tA, *tx;
  tA = A;
  tx = x;
  float x_0, x_1, x_2, x_3, y_0 = 0;
  x_1 = x[1];
  x_2 = x[2];
  x_3 = x[3];
  y_0 += A[1 + lda * 0] * x_1;
  y_0 += A[2 + lda * 0] * x_2;
  y_0 += A[3 + lda * 0] * x_3;
  k = 4;
  A += 4;
  x += 4;
  for (; k < 4 + kna - 3; k += 4) {
    x_0 = x[0];
    x_1 = x[1];
    x_2 = x[2];
    x_3 = x[3];
    y_0 += A[0 + lda * 0] * x_0;
    y_0 += A[1 + lda * 0] * x_1;
    y_0 += A[2 + lda * 0] * x_2;
    y_0 += A[3 + lda * 0] * x_3;
    A += 4;
    x += 4;
  }
  A += (sda - 1) * lda;
  for (; k < kmax - 4; k += 8) {
    x_0 = x[0];
    x_1 = x[1];
    x_2 = x[2];
    x_3 = x[3];
    y_0 += A[0 + lda * 0] * x_0;
    y_0 += A[1 + lda * 0] * x_1;
    y_0 += A[2 + lda * 0] * x_2;
    y_0 += A[3 + lda * 0] * x_3;
    x_0 = x[4];
    x_1 = x[5];
    x_2 = x[6];
    x_3 = x[7];
    y_0 += A[4 + lda * 0] * x_0;
    y_0 += A[5 + lda * 0] * x_1;
    y_0 += A[6 + lda * 0] * x_2;
    y_0 += A[7 + lda * 0] * x_3;
    A += sda * bs;
    x += 8;
  }
  for (; k < kmax; k += 4) {
    x_0 = x[0];
    x_1 = x[1];
    x_2 = x[2];
    x_3 = x[3];
    y_0 += A[0 + lda * 0] * x_0;
    y_0 += A[1 + lda * 0] * x_1;
    y_0 += A[2 + lda * 0] * x_2;
    y_0 += A[3 + lda * 0] * x_3;
  }
  A = tA;
  x = tx;
  y_0 = x[0] - y_0;
  y_0 *= A[0 + lda * 0];
  x[0] = y_0;
}
```