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

```asm
<kernel_strmv_u_t_8_lib4>:
  endbr64
  mov    %edi,%r10d
  lea    0x0(,%rdx,4),%edi
  push   %rbx
  movslq %edi,%rdi
  lea    0x0(,%rdi,4),%r11
  cmp    $0x7,%r10d
  jle    L35
  lea    -0x8(%r10),%ebx
  pxor   %xmm0,%xmm0
  shl    $0x3,%rdi
  lea    (%rsi,%r11,1),%rdx
  shr    $0x3,%ebx
  movaps %xmm0,%xmm9
  movaps %xmm0,%xmm7
  mov    %rsi,%rax
  movaps %xmm0,%xmm5
  movaps %xmm0,%xmm10
  movaps %xmm0,%xmm11
  add    $0x1,%ebx
  mov    %rbx,%r10
  movaps %xmm0,%xmm8
  movaps %xmm0,%xmm6
  shl    $0x5,%r10
  add    %rcx,%r10
L45:
  movss  (%rcx),%xmm4
  movss  (%rax),%xmm12
  add    $0x20,%rcx
  movss  0x30(%rax),%xmm13
  movss  -0x1c(%rcx),%xmm3
  mulss  %xmm4,%xmm12
  movss  -0x18(%rcx),%xmm2
  movss  -0x14(%rcx),%xmm1
  mulss  %xmm4,%xmm13
  addss  %xmm6,%xmm12
  movss  0x10(%rax),%xmm6
  addss  %xmm10,%xmm13
  movss  0x40(%rax),%xmm10
  mulss  %xmm4,%xmm6
  mulss  %xmm4,%xmm10
  addss  %xmm6,%xmm8
  movss  0x20(%rax),%xmm6
  addss  %xmm5,%xmm10
  movss  0x50(%rax),%xmm5
  mulss  %xmm4,%xmm6
  mulss  %xmm4,%xmm5
  addss  %xmm6,%xmm11
  movss  0x60(%rax),%xmm6
  addss  %xmm7,%xmm5
  movss  0x44(%rax),%xmm7
  mulss  %xmm4,%xmm6
  mulss  0x70(%rax),%xmm4
  mulss  %xmm3,%xmm7
  addss  %xmm9,%xmm6
  movss  0x4(%rax),%xmm9
  addss  %xmm0,%xmm4
  movss  0x24(%rax),%xmm0
  mulss  %xmm3,%xmm9
  addss  %xmm10,%xmm7
  movss  0x18(%rax),%xmm10
  mulss  %xmm3,%xmm0
  mulss  %xmm2,%xmm10
  addss  %xmm12,%xmm9
  movss  0x14(%rax),%xmm12
  addss  %xmm0,%xmm11
  movss  0x54(%rax),%xmm0
  mulss  %xmm3,%xmm12
  mulss  %xmm3,%xmm0
  addss  %xmm8,%xmm12
  movss  0x34(%rax),%xmm8
  addss  %xmm5,%xmm0
  movss  0x64(%rax),%xmm5
  mulss  %xmm3,%xmm8
  mulss  %xmm3,%xmm5
  addss  %xmm12,%xmm10
  movss  0x3c(%rax),%xmm12
  mulss  0x74(%rax),%xmm3
  mulss  %xmm1,%xmm12
  addss  %xmm13,%xmm8
  movss  0x8(%rax),%xmm13
  addss  %xmm6,%xmm5
  movss  0x38(%rax),%xmm6
  addss  %xmm4,%xmm3
  movss  0x58(%rax),%xmm4
  mulss  %xmm2,%xmm13
  mulss  %xmm2,%xmm6
  mulss  %xmm2,%xmm4
  addss  %xmm9,%xmm13
  movss  0x28(%rax),%xmm9
  addss  %xmm8,%xmm6
  movss  0x48(%rax),%xmm8
  addss  %xmm0,%xmm4
  movss  0x68(%rax),%xmm0
  mulss  %xmm2,%xmm9
  mulss  %xmm2,%xmm8
  mulss  %xmm2,%xmm0
  addss  %xmm6,%xmm12
  mulss  0x78(%rax),%xmm2
  addss  %xmm11,%xmm9
  movss  0x2c(%rax),%xmm11
  addss  %xmm7,%xmm8
  movss  0x1c(%rax),%xmm7
  addss  %xmm5,%xmm0
  movss  0xc(%rax),%xmm5
  movss  0x4c(%rax),%xmm6
  mulss  %xmm1,%xmm11
  mulss  %xmm1,%xmm7
  addss  %xmm2,%xmm3
  mulss  %xmm1,%xmm6
  mulss  %xmm1,%xmm5
  addss  %xmm9,%xmm11
  movss  (%rdx),%xmm9
  addss  %xmm10,%xmm7
  movss  0x6c(%rax),%xmm10
  addss  %xmm8,%xmm6
  movss  0x5c(%rax),%xmm8
  mulss  %xmm1,%xmm10
  addss  %xmm13,%xmm5
  mulss  %xmm1,%xmm8
  mulss  0x7c(%rax),%xmm1
  add    %rdi,%rax
  addss  %xmm0,%xmm10
  movss  -0x4(%rcx),%xmm0
  addss  %xmm4,%xmm8
  movss  -0xc(%rcx),%xmm4
  movaps %xmm1,%xmm2
  movss  -0x8(%rcx),%xmm1
  addss  %xmm3,%xmm2
  movss  -0x10(%rcx),%xmm3
  mulss  %xmm3,%xmm9
  addss  %xmm5,%xmm9
  movss  0x10(%rdx),%xmm5
  mulss  %xmm3,%xmm5
  addss  %xmm7,%xmm5
  movss  0x20(%rdx),%xmm7
  mulss  %xmm3,%xmm7
  addss  %xmm11,%xmm7
  movss  0x30(%rdx),%xmm11
  mulss  %xmm3,%xmm11
  addss  %xmm12,%xmm11
  movss  0x40(%rdx),%xmm12
  mulss  %xmm3,%xmm12
  addss  %xmm6,%xmm12
  movss  0x50(%rdx),%xmm6
  mulss  %xmm3,%xmm6
  addss  %xmm8,%xmm6
  movss  0x60(%rdx),%xmm8
  mulss  %xmm3,%xmm8
  mulss  0x70(%rdx),%xmm3
  addss  %xmm10,%xmm8
  movss  0x4(%rdx),%xmm10
  addss  %xmm2,%xmm3
  movss  0x54(%rdx),%xmm2
  mulss  %xmm4,%xmm10
  mulss  %xmm4,%xmm2
  addss  %xmm9,%xmm10
  movss  0x14(%rdx),%xmm9
  addss  %xmm6,%xmm2
  movss  0x64(%rdx),%xmm6
  mulss  %xmm4,%xmm9
  mulss  %xmm4,%xmm6
  addss  %xmm5,%xmm9
  movss  0x24(%rdx),%xmm5
  addss  %xmm8,%xmm6
  movss  0x8(%rdx),%xmm8
  mulss  %xmm4,%xmm5
  mulss  %xmm1,%xmm8
  addss  %xmm7,%xmm5
  movss  0x34(%rdx),%xmm7
  addss  %xmm10,%xmm8
  movss  0x18(%rdx),%xmm10
  mulss  %xmm4,%xmm7
  mulss  %xmm1,%xmm10
  addss  %xmm11,%xmm7
  movss  0x44(%rdx),%xmm11
  addss  %xmm9,%xmm10
  movss  0x28(%rdx),%xmm9
  mulss  %xmm4,%xmm11
  mulss  0x74(%rdx),%xmm4
  mulss  %xmm1,%xmm9
  addss  %xmm12,%xmm11
  addss  %xmm3,%xmm4
  movss  0x58(%rdx),%xmm3
  addss  %xmm5,%xmm9
  movss  0x38(%rdx),%xmm5
  mulss  %xmm1,%xmm3
  mulss  %xmm1,%xmm5
  addss  %xmm2,%xmm3
  movss  0x68(%rdx),%xmm2
  addss  %xmm7,%xmm5
  movss  0x48(%rdx),%xmm7
  mulss  %xmm1,%xmm2
  mulss  %xmm1,%xmm7
  mulss  0x78(%rdx),%xmm1
  addss  %xmm6,%xmm2
  movss  0xc(%rdx),%xmm6
  addss  %xmm11,%xmm7
  movss  0x2c(%rdx),%xmm11
  mulss  %xmm0,%xmm6
  addss  %xmm4,%xmm1
  mulss  %xmm0,%xmm11
  addss  %xmm8,%xmm6
  movss  0x1c(%rdx),%xmm8
  addss  %xmm9,%xmm11
  movss  0x6c(%rdx),%xmm9
  mulss  %xmm0,%xmm8
  mulss  %xmm0,%xmm9
  addss  %xmm10,%xmm8
  movss  0x3c(%rdx),%xmm10
  addss  %xmm2,%xmm9
  mulss  %xmm0,%xmm10
  addss  %xmm5,%xmm10
  movss  0x4c(%rdx),%xmm5
  mulss  %xmm0,%xmm5
  addss  %xmm7,%xmm5
  movss  0x5c(%rdx),%xmm7
  mulss  %xmm0,%xmm7
  mulss  0x7c(%rdx),%xmm0
  add    %rdi,%rdx
  addss  %xmm3,%xmm7
  addss  %xmm1,%xmm0
  cmp    %r10,%rcx
  jne    L45
  imul   %rbx,%rdi
  add    %rdi,%rsi
L28:
  movups (%r10),%xmm3
  movss  0x20(%rsi),%xmm4
  lea    (%rsi,%r11,1),%rax
  movss  0x4(%r10),%xmm1
  movss  0x30(%rsi),%xmm14
  mulss  %xmm3,%xmm4
  movaps %xmm3,%xmm13
  movss  0x8(%r10),%xmm2
  movss  0xc(%r10),%xmm12
  mulss  0x50(%rsi),%xmm13
  mulss  %xmm3,%xmm14
  addss  %xmm4,%xmm11
  movss  0x60(%rsi),%xmm4
  addss  %xmm7,%xmm13
  movss  0x64(%rsi),%xmm7
  mulss  %xmm3,%xmm4
  addss  %xmm10,%xmm14
  movss  0x34(%rsi),%xmm10
  mulss  %xmm1,%xmm7
  mulss  %xmm1,%xmm10
  addss  %xmm4,%xmm9
  movss  0x70(%rsi),%xmm4
  mulss  %xmm3,%xmm4
  addss  %xmm14,%xmm10
  addss  %xmm9,%xmm7
  movss  0x78(%rsi),%xmm9
  mulss  %xmm2,%xmm9
  addss  %xmm0,%xmm4
  movss  0x74(%rsi),%xmm0
  mulss  %xmm1,%xmm0
  addss  %xmm4,%xmm0
  movss  0x10(%rsi),%xmm4
  mulss  %xmm3,%xmm4
  addss  %xmm0,%xmm9
  movaps %xmm5,%xmm0
  movss  0x7c(%rsi),%xmm5
  unpcklps %xmm13,%xmm0
  unpcklps %xmm9,%xmm7
  movss  0x54(%rsi),%xmm9
  addss  %xmm4,%xmm8
  movss  0x24(%rsi),%xmm4
  movlhps %xmm7,%xmm0
  movss  0x68(%rsi),%xmm7
  mulss  %xmm1,%xmm4
  unpcklps %xmm5,%xmm7
  movss  0x40(%rsi),%xmm5
  mulss  0x44(%rsi),%xmm1
  unpcklps %xmm8,%xmm6
  movss  0x28(%rsi),%xmm8
  unpcklps %xmm9,%xmm5
  movlhps %xmm7,%xmm5
  movss  0x70(%rax),%xmm7
  addss  %xmm11,%xmm4
  movss  0x38(%rsi),%xmm11
  mulss  %xmm2,%xmm11
  addss  %xmm10,%xmm11
  movss  0x14(%rsi),%xmm10
  unpcklps %xmm11,%xmm4
  movlhps %xmm4,%xmm6
  movss  0x3c(%rsi),%xmm4
  unpcklps %xmm4,%xmm8
  movss  (%rsi),%xmm4
  unpcklps %xmm10,%xmm4
  movlhps %xmm8,%xmm4
  movss  0x14(%r10),%xmm8
  mulps  %xmm3,%xmm4
  mulps  %xmm5,%xmm3
  movss  0x58(%rsi),%xmm5
  mulss  %xmm2,%xmm5
  mulss  0x48(%rsi),%xmm2
  addps  %xmm4,%xmm6
  movups 0x10(%r10),%xmm4
  addps  %xmm3,%xmm0
  movss  0x6c(%rsi),%xmm3
  mulss  %xmm4,%xmm7
  movaps %xmm4,%xmm10
  mulss  %xmm12,%xmm3
  unpcklps %xmm5,%xmm1
  unpcklps %xmm7,%xmm3
  movlhps %xmm3,%xmm1
  movss  0x5c(%rsi),%xmm3
  addps  %xmm1,%xmm0
  movss  0x60(%rax),%xmm1
  movss  0x74(%rax),%xmm5
  mulss  %xmm12,%xmm3
  mulss  %xmm8,%xmm5
  mulss  %xmm4,%xmm1
  mulss  0x64(%rax),%xmm8
  mulss  0x4c(%rsi),%xmm12
  mulss  0x50(%rax),%xmm10
  unpcklps %xmm3,%xmm2
  movss  0x54(%rax),%xmm3
  unpcklps %xmm5,%xmm1
  movlhps %xmm1,%xmm2
  movaps %xmm4,%xmm1
  unpckhps %xmm4,%xmm1
  addps  %xmm2,%xmm0
  movss  0x68(%rax),%xmm2
  mulss  0x78(%rax),%xmm1
  unpcklps %xmm10,%xmm12
  unpcklps %xmm1,%xmm8
  movss  0x7c(%rax),%xmm1
  movlhps %xmm8,%xmm12
  unpcklps %xmm1,%xmm2
  movss  0x40(%rax),%xmm1
  addps  %xmm12,%xmm0
  unpcklps %xmm3,%xmm1
  movlhps %xmm2,%xmm1
  mulps  %xmm4,%xmm1
  addps  %xmm1,%xmm0
  test   %r9d,%r9d
  je     L25
  movups (%r8),%xmm1
  movups 0x10(%r8),%xmm2
  cmp    $0x1,%r9d
  je     L1
  subps  %xmm0,%xmm2
  subps  %xmm6,%xmm1
  movaps %xmm2,%xmm0
  movaps %xmm1,%xmm6
L25:
  movups %xmm6,(%r8)
  pop    %rbx
  movups %xmm0,0x10(%r8)
  ret
  nopl   0x0(%rax,%rax,1)
L1:
  addps  %xmm2,%xmm0
  addps  %xmm1,%xmm6
  pop    %rbx
  movups %xmm6,(%r8)
  movups %xmm0,0x10(%r8)
  ret
  nopl   0x0(%rax)
L35:
  pxor   %xmm0,%xmm0
  mov    %rcx,%r10
  movaps %xmm0,%xmm9
  movaps %xmm0,%xmm7
  movaps %xmm0,%xmm5
  movaps %xmm0,%xmm10
  movaps %xmm0,%xmm11
  movaps %xmm0,%xmm8
  movaps %xmm0,%xmm6
  jmp    L28
```

assistant: ```c
void kernel_strmv_u_t_8_lib4(int kmax, float *A, int sda, float *x, float *y, int alg) {
  const int lda = 4;
  const int bs = 4;
  int k;
  float x_0, x_1, x_2, x_3, y_0 = 0, y_1 = 0, y_2 = 0, y_3 = 0, y_4 = 0, y_5 = 0, y_6 = 0, y_7 = 0;
  k = 0;
  for (; k < kmax - 7; 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_1 += A[0 + lda * 1] * x_0;
    y_2 += A[0 + lda * 2] * x_0;
    y_3 += A[0 + lda * 3] * x_0;
    y_4 += A[0 + lda * 4] * x_0;
    y_5 += A[0 + lda * 5] * x_0;
    y_6 += A[0 + lda * 6] * x_0;
    y_7 += A[0 + lda * 7] * x_0;
    y_0 += A[1 + lda * 0] * x_1;
    y_1 += A[1 + lda * 1] * x_1;
    y_2 += A[1 + lda * 2] * x_1;
    y_3 += A[1 + lda * 3] * x_1;
    y_4 += A[1 + lda * 4] * x_1;
    y_5 += A[1 + lda * 5] * x_1;
    y_6 += A[1 + lda * 6] * x_1;
    y_7 += A[1 + lda * 7] * x_1;
    y_0 += A[2 + lda * 0] * x_2;
    y_1 += A[2 + lda * 1] * x_2;
    y_2 += A[2 + lda * 2] * x_2;
    y_3 += A[2 + lda * 3] * x_2;
    y_4 += A[2 + lda * 4] * x_2;
    y_5 += A[2 + lda * 5] * x_2;
    y_6 += A[2 + lda * 6] * x_2;
    y_7 += A[2 + lda * 7] * x_2;
    y_0 += A[3 + lda * 0] * x_3;
    y_1 += A[3 + lda * 1] * x_3;
    y_2 += A[3 + lda * 2] * x_3;
    y_3 += A[3 + lda * 3] * x_3;
    y_4 += A[3 + lda * 4] * x_3;
    y_5 += A[3 + lda * 5] * x_3;
    y_6 += A[3 + lda * 6] * x_3;
    y_7 += A[3 + lda * 7] * x_3;
    A += sda * bs;
    x += 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_1 += A[0 + lda * 1] * x_0;
    y_2 += A[0 + lda * 2] * x_0;
    y_3 += A[0 + lda * 3] * x_0;
    y_4 += A[0 + lda * 4] * x_0;
    y_5 += A[0 + lda * 5] * x_0;
    y_6 += A[0 + lda * 6] * x_0;
    y_7 += A[0 + lda * 7] * x_0;
    y_0 += A[1 + lda * 0] * x_1;
    y_1 += A[1 + lda * 1] * x_1;
    y_2 += A[1 + lda * 2] * x_1;
    y_3 += A[1 + lda * 3] * x_1;
    y_4 += A[1 + lda * 4] * x_1;
    y_5 += A[1 + lda * 5] * x_1;
    y_6 += A[1 + lda * 6] * x_1;
    y_7 += A[1 + lda * 7] * x_1;
    y_0 += A[2 + lda * 0] * x_2;
    y_1 += A[2 + lda * 1] * x_2;
    y_2 += A[2 + lda * 2] * x_2;
    y_3 += A[2 + lda * 3] * x_2;
    y_4 += A[2 + lda * 4] * x_2;
    y_5 += A[2 + lda * 5] * x_2;
    y_6 += A[2 + lda * 6] * x_2;
    y_7 += A[2 + lda * 7] * x_2;
    y_0 += A[3 + lda * 0] * x_3;
    y_1 += A[3 + lda * 1] * x_3;
    y_2 += A[3 + lda * 2] * x_3;
    y_3 += A[3 + lda * 3] * x_3;
    y_4 += A[3 + lda * 4] * x_3;
    y_5 += A[3 + lda * 5] * x_3;
    y_6 += A[3 + lda * 6] * x_3;
    y_7 += A[3 + lda * 7] * x_3;
    A += sda * bs;
    x += 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_1 += A[0 + lda * 1] * x_0;
  y_2 += A[0 + lda * 2] * x_0;
  y_3 += A[0 + lda * 3] * x_0;
  y_4 += A[0 + lda * 4] * x_0;
  y_5 += A[0 + lda * 5] * x_0;
  y_6 += A[0 + lda * 6] * x_0;
  y_7 += A[0 + lda * 7] * x_0;
  y_1 += A[1 + lda * 1] * x_1;
  y_2 += A[1 + lda * 2] * x_1;
  y_3 += A[1 + lda * 3] * x_1;
  y_4 += A[1 + lda * 4] * x_1;
  y_5 += A[1 + lda * 5] * x_1;
  y_6 += A[1 + lda * 6] * x_1;
  y_7 += A[1 + lda * 7] * x_1;
  y_2 += A[2 + lda * 2] * x_2;
  y_3 += A[2 + lda * 3] * x_2;
  y_4 += A[2 + lda * 4] * x_2;
  y_5 += A[2 + lda * 5] * x_2;
  y_6 += A[2 + lda * 6] * x_2;
  y_7 += A[2 + lda * 7] * x_2;
  y_3 += A[3 + lda * 3] * x_3;
  y_4 += A[3 + lda * 4] * x_3;
  y_5 += A[3 + lda * 5] * x_3;
  y_6 += A[3 + lda * 6] * x_3;
  y_7 += A[3 + lda * 7] * x_3;
  A += sda * bs;
  x += 4;
  x_0 = x[0];
  x_1 = x[1];
  x_2 = x[2];
  x_3 = x[3];
  y_4 += A[0 + lda * 4] * x_0;
  y_5 += A[0 + lda * 5] * x_0;
  y_6 += A[0 + lda * 6] * x_0;
  y_7 += A[0 + lda * 7] * x_0;
  y_5 += A[1 + lda * 5] * x_1;
  y_6 += A[1 + lda * 6] * x_1;
  y_7 += A[1 + lda * 7] * x_1;
  y_6 += A[2 + lda * 6] * x_2;
  y_7 += A[2 + lda * 7] * x_2;
  y_7 += A[3 + lda * 7] * x_3;
  if (alg == 0) {
    y[0] = y_0;
    y[1] = y_1;
    y[2] = y_2;
    y[3] = y_3;
    y[4] = y_4;
    y[5] = y_5;
    y[6] = y_6;
    y[7] = y_7;
  } else if (alg == 1) {
    y[0] += y_0;
    y[1] += y_1;
    y[2] += y_2;
    y[3] += y_3;
    y[4] += y_4;
    y[5] += y_5;
    y[6] += y_6;
    y[7] += y_7;
  } else {
    y[0] -= y_0;
    y[1] -= y_1;
    y[2] -= y_2;
    y[3] -= y_3;
    y[4] -= y_4;
    y[5] -= y_5;
    y[6] -= y_6;
    y[7] -= y_7;
  }
}
```