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

```asm
<kernel_strmv_u_t_2_lib8>:
  endbr64
  push   %r12
  mov    %rsi,%r10
  mov    %rcx,%r11
  push   %rbp
  push   %rbx
  lea    -0x7(%rdi),%ebx
  test   %ebx,%ebx
  jle    L118
  shl    $0x3,%edx
  lea    -0x8(%rdi),%ebp
  pxor   %xmm4,%xmm4
  mov    %r10,%rax
  movslq %edx,%rsi
  shr    $0x3,%ebp
  mov    %rcx,%rdx
  movaps %xmm4,%xmm3
  shl    $0x2,%rsi
  add    $0x1,%ebp
  xor    %ecx,%ecx
  nopl   0x0(%rax,%rax,1)
L7:
  movups (%rdx),%xmm7
  movups (%rax),%xmm0
  add    $0x1,%ecx
  add    $0x20,%rdx
  movups 0x10(%rax),%xmm2
  mulps  %xmm7,%xmm0
  movups -0x10(%rdx),%xmm7
  mulps  %xmm7,%xmm2
  movups -0x20(%rdx),%xmm7
  movaps %xmm0,%xmm1
  addss  %xmm3,%xmm1
  movaps %xmm0,%xmm3
  shufps $0x55,%xmm0,%xmm3
  movaps %xmm2,%xmm5
  shufps $0x55,%xmm2,%xmm5
  addss  %xmm1,%xmm3
  movaps %xmm0,%xmm1
  unpckhps %xmm0,%xmm1
  shufps $0xff,%xmm0,%xmm0
  addss  %xmm3,%xmm1
  movaps %xmm2,%xmm3
  unpckhps %xmm2,%xmm3
  addss  %xmm1,%xmm0
  movups 0x30(%rax),%xmm1
  addss  %xmm2,%xmm0
  shufps $0xff,%xmm2,%xmm2
  addss  %xmm0,%xmm5
  movups 0x20(%rax),%xmm0
  add    %rsi,%rax
  mulps  %xmm7,%xmm0
  movups -0x10(%rdx),%xmm7
  addss  %xmm5,%xmm3
  mulps  %xmm7,%xmm1
  addss  %xmm2,%xmm3
  addss  %xmm0,%xmm4
  movaps %xmm0,%xmm6
  shufps $0x55,%xmm0,%xmm6
  addss  %xmm4,%xmm6
  movaps %xmm0,%xmm4
  unpckhps %xmm0,%xmm4
  shufps $0xff,%xmm0,%xmm0
  addss  %xmm6,%xmm4
  addss  %xmm4,%xmm0
  movaps %xmm1,%xmm4
  addss  %xmm0,%xmm4
  movaps %xmm1,%xmm0
  shufps $0x55,%xmm1,%xmm0
  addss  %xmm4,%xmm0
  movaps %xmm1,%xmm4
  unpckhps %xmm1,%xmm4
  shufps $0xff,%xmm1,%xmm1
  addss  %xmm0,%xmm4
  addss  %xmm1,%xmm4
  cmp    %ebp,%ecx
  jb     L7
  mov    %ebp,%eax
  shl    $0x3,%ebp
  imul   %rax,%rsi
  shl    $0x5,%rax
  add    %rax,%r11
  add    %rsi,%r10
  lea    -0x3(%rdi),%esi
  cmp    %ebp,%esi
  jle    L93
L98:
  lea    0x4(%rbp),%eax
  movss  0x10(%r10),%xmm6
  cmp    %eax,%ebx
  jle    L91
  cmp    $0x80000007,%edi
  jl     L91
  movss  0xc(%r10),%xmm11
  movss  0x1c(%r10),%xmm2
  mov    %ebp,%ecx
  mov    %r11,%rdx
  movss  0x8(%r10),%xmm10
  movss  0x18(%r10),%xmm9
  mov    %r10,%rax
  movss  0x4(%r10),%xmm8
  movss  0x14(%r10),%xmm7
  movss  (%r10),%xmm5
L68:
  movss  (%rdx),%xmm12
  movaps %xmm8,%xmm14
  movss  0x4(%rdx),%xmm13
  mov    %ecx,%r12d
  movss  0x8(%rdx),%xmm1
  add    $0xc,%r12d
  add    $0x20,%rax
  add    $0x8,%ecx
  mulss  %xmm12,%xmm5
  movss  0x4(%rax),%xmm8
  movss  0xc(%rdx),%xmm0
  add    $0x20,%rdx
  mulss  %xmm13,%xmm14
  addss  %xmm5,%xmm3
  movss  (%rax),%xmm5
  mulss  %xmm5,%xmm12
  addss  %xmm3,%xmm14
  movaps %xmm13,%xmm3
  mulss  %xmm8,%xmm3
  addss  %xmm4,%xmm12
  movaps %xmm10,%xmm4
  movss  0x8(%rax),%xmm10
  mulss  %xmm1,%xmm4
  mulss  %xmm10,%xmm1
  addss  %xmm12,%xmm3
  movss  -0x10(%rdx),%xmm12
  mulss  %xmm12,%xmm6
  addss  %xmm14,%xmm4
  addss  %xmm3,%xmm1
  movaps %xmm11,%xmm3
  movss  0xc(%rax),%xmm11
  mulss  %xmm0,%xmm3
  mulss  %xmm11,%xmm0
  addss  %xmm4,%xmm3
  movss  -0x4(%rdx),%xmm4
  addss  %xmm1,%xmm0
  movss  -0xc(%rdx),%xmm1
  mulss  %xmm4,%xmm2
  addss  %xmm6,%xmm3
  movss  0x10(%rax),%xmm6
  mulss  %xmm1,%xmm7
  movaps %xmm0,%xmm13
  movss  -0x8(%rdx),%xmm0
  mulss  %xmm6,%xmm12
  addss  %xmm13,%xmm12
  movaps %xmm7,%xmm13
  movss  0x14(%rax),%xmm7
  addss  %xmm3,%xmm13
  movaps %xmm9,%xmm3
  movss  0x18(%rax),%xmm9
  mulss  %xmm0,%xmm3
  mulss  %xmm7,%xmm1
  mulss  %xmm9,%xmm0
  addss  %xmm13,%xmm3
  addss  %xmm12,%xmm1
  addss  %xmm2,%xmm3
  movss  0x1c(%rax),%xmm2
  addss  %xmm1,%xmm0
  mulss  %xmm2,%xmm4
  addss  %xmm0,%xmm4
  cmp    %ebx,%r12d
  jl     L68
  nop
L102:
  movss  (%rdx),%xmm2
  movss  (%rax),%xmm7
  movaps %xmm6,%xmm8
  add    $0x4,%ecx
  movss  0x20(%rax),%xmm6
  movss  0x4(%rdx),%xmm1
  add    $0x10,%rax
  add    $0x10,%rdx
  mulss  %xmm2,%xmm7
  movss  -0x8(%rdx),%xmm0
  movss  -0x4(%rdx),%xmm5
  mulss  %xmm6,%xmm2
  addss  %xmm3,%xmm7
  movss  -0xc(%rax),%xmm3
  addss  %xmm4,%xmm2
  mulss  %xmm1,%xmm3
  mulss  0x14(%rax),%xmm1
  addss  %xmm7,%xmm3
  addss  %xmm2,%xmm1
  movss  -0x8(%rax),%xmm2
  mulss  %xmm0,%xmm2
  mulss  0x18(%rax),%xmm0
  addss  %xmm3,%xmm2
  movss  -0x4(%rax),%xmm3
  addss  %xmm1,%xmm0
  mulss  %xmm5,%xmm3
  mulss  0x1c(%rax),%xmm5
  addss  %xmm2,%xmm3
  addss  %xmm0,%xmm5
  movaps %xmm5,%xmm4
  cmp    %esi,%ecx
  jl     L102
  lea    -0x4(%rdi),%eax
  sub    %ebp,%eax
  shr    $0x2,%eax
  add    $0x1,%eax
  shl    $0x4,%rax
  add    %rax,%r10
  add    %rax,%r11
L113:
  movq   (%r11),%xmm1
  movss  0x20(%r10),%xmm0
  mulss  %xmm1,%xmm0
  addss  %xmm4,%xmm0
  unpcklps %xmm0,%xmm3
  movss  0x24(%r10),%xmm0
  unpcklps %xmm0,%xmm8
  mulps  %xmm1,%xmm8
  addps  %xmm8,%xmm3
  test   %r9d,%r9d
  je     L35
  movq   (%r8),%xmm0
  cmp    $0x1,%r9d
  je     L43
  subps  %xmm3,%xmm0
  movaps %xmm0,%xmm3
L35:
  pop    %rbx
  movlps %xmm3,(%r8)
  pop    %rbp
  pop    %r12
  ret
  nopl   0x0(%rax)
L43:
  addps  %xmm0,%xmm3
  pop    %rbx
  pop    %rbp
  pop    %r12
  movlps %xmm3,(%r8)
  ret
  nopl   0x0(%rax)
L118:
  pxor   %xmm4,%xmm4
  xor    %ebp,%ebp
  lea    -0x3(%rdi),%esi
  movaps %xmm4,%xmm3
  cmp    %ebp,%esi
  jg     L98
  nopl   0x0(%rax)
L93:
  movss  (%r10),%xmm8
  jmp    L113
L91:
  mov    %ebp,%ecx
  mov    %r11,%rdx
  mov    %r10,%rax
  jmp    L102
```

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