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

```asm
<kernel_dtrsm_nn_ll_diag_4x2_vs_lib4>:
  endbr64
  push   %r13
  mov    %edi,%r10d
  push   %r12
  push   %rbp
  push   %rbx
  mov    %esi,%ebx
  mov    0x30(%rsp),%r13
  mov    0x38(%rsp),%r11
  mov    0x40(%rsp),%r12
  test   %edx,%edx
  jle    L74
  mov    %edx,%ebp
  mov    %rcx,%rsi
  cmp    $0x3,%edx
  jle    L91
  lea    -0x4(%rdx),%edi
  shl    $0x2,%r9d
  pxor   %xmm1,%xmm1
  mov    %rcx,%rax
  movslq %r9d,%r9
  shr    $0x2,%edi
  mov    %r8,%rdx
  xor    %ecx,%ecx
  shl    $0x3,%r9
  movapd %xmm1,%xmm2
  movapd %xmm1,%xmm0
  add    $0x1,%edi
  movapd %xmm1,%xmm3
L107:
  movupd 0x10(%rax),%xmm4
  movupd (%rdx),%xmm7
  add    $0x1,%ecx
  sub    $0xffffffffffffff80,%rax
  movupd 0x20(%rdx),%xmm8
  movlpd 0x28(%rdx),%xmm7
  unpckhpd %xmm4,%xmm4
  movupd 0x30(%rdx),%xmm6
  movupd 0x10(%rdx),%xmm5
  movhpd (%rdx),%xmm8
  movlpd 0x38(%rdx),%xmm5
  mulpd  %xmm8,%xmm4
  movhpd 0x10(%rdx),%xmm6
  add    %r9,%rdx
  subpd  %xmm4,%xmm3
  movupd -0x50(%rax),%xmm4
  unpckhpd %xmm4,%xmm4
  mulpd  %xmm7,%xmm4
  subpd  %xmm4,%xmm3
  movupd -0x30(%rax),%xmm4
  unpckhpd %xmm4,%xmm4
  mulpd  %xmm6,%xmm4
  subpd  %xmm4,%xmm3
  movupd -0x10(%rax),%xmm4
  unpckhpd %xmm4,%xmm4
  mulpd  %xmm5,%xmm4
  subpd  %xmm4,%xmm3
  movupd -0x70(%rax),%xmm4
  unpcklpd %xmm4,%xmm4
  mulpd  %xmm8,%xmm4
  subpd  %xmm4,%xmm0
  movupd -0x50(%rax),%xmm4
  unpcklpd %xmm4,%xmm4
  mulpd  %xmm7,%xmm4
  subpd  %xmm4,%xmm0
  movupd -0x30(%rax),%xmm4
  unpcklpd %xmm4,%xmm4
  mulpd  %xmm6,%xmm4
  subpd  %xmm4,%xmm0
  movupd -0x10(%rax),%xmm4
  unpcklpd %xmm4,%xmm4
  mulpd  %xmm5,%xmm4
  subpd  %xmm4,%xmm0
  movupd -0x80(%rax),%xmm4
  unpckhpd %xmm4,%xmm4
  mulpd  %xmm8,%xmm4
  subpd  %xmm4,%xmm2
  movupd -0x60(%rax),%xmm4
  unpckhpd %xmm4,%xmm4
  mulpd  %xmm7,%xmm4
  subpd  %xmm4,%xmm2
  movupd -0x40(%rax),%xmm4
  unpckhpd %xmm4,%xmm4
  mulpd  %xmm6,%xmm4
  subpd  %xmm4,%xmm2
  movupd -0x20(%rax),%xmm4
  unpckhpd %xmm4,%xmm4
  mulpd  %xmm5,%xmm4
  subpd  %xmm4,%xmm2
  movupd -0x80(%rax),%xmm4
  unpcklpd %xmm4,%xmm4
  mulpd  %xmm8,%xmm4
  subpd  %xmm4,%xmm1
  movupd -0x60(%rax),%xmm4
  unpcklpd %xmm4,%xmm4
  mulpd  %xmm7,%xmm4
  subpd  %xmm4,%xmm1
  movupd -0x40(%rax),%xmm4
  unpcklpd %xmm4,%xmm4
  mulpd  %xmm6,%xmm4
  subpd  %xmm4,%xmm1
  movupd -0x20(%rax),%xmm4
  unpcklpd %xmm4,%xmm4
  mulpd  %xmm5,%xmm4
  subpd  %xmm4,%xmm1
  cmp    %ecx,%edi
  ja     L107
  movapd %xmm3,%xmm6
  movapd %xmm0,%xmm8
  movapd %xmm2,%xmm7
  mov    %edi,%eax
  mov    %rax,%rdx
  imul   %r9,%rax
  shl    $0x2,%edi
  movapd %xmm1,%xmm9
  unpckhpd %xmm3,%xmm3
  shl    $0x7,%rdx
  unpckhpd %xmm0,%xmm0
  unpckhpd %xmm2,%xmm2
  unpckhpd %xmm1,%xmm1
  add    %rdx,%rsi
  add    %rax,%r8
  cmp    %edi,%ebp
  jle    L57
L2:
  mov    %ebp,%edx
  mov    $0x1,%eax
  sub    %edi,%edx
  cmp    %ebp,%edi
  cmovl  %edx,%eax
  cmp    $0x1,%edx
  je     L11
  cmp    %ebp,%edi
  jge    L11
  movupd (%rsi),%xmm10
  movupd 0x20(%rsi),%xmm5
  mov    %eax,%edx
  movupd 0x10(%rsi),%xmm4
  movlpd 0x8(%rsi),%xmm4
  shr    %edx
  movhpd 0x10(%rsi),%xmm10
  movhpd 0x30(%rsi),%xmm5
  movupd 0x30(%rsi),%xmm11
  movlpd 0x28(%rsi),%xmm11
  movapd %xmm10,%xmm13
  movapd %xmm4,%xmm12
  unpckhpd %xmm5,%xmm10
  unpcklpd %xmm5,%xmm13
  movapd %xmm4,%xmm5
  movupd (%r8),%xmm4
  unpcklpd %xmm11,%xmm12
  unpckhpd %xmm11,%xmm5
  movupd 0x20(%r8),%xmm11
  movapd %xmm4,%xmm14
  mulpd  %xmm13,%xmm14
  subsd  %xmm14,%xmm1
  unpckhpd %xmm14,%xmm14
  subsd  %xmm14,%xmm1
  movapd %xmm12,%xmm14
  mulpd  %xmm4,%xmm14
  subsd  %xmm14,%xmm2
  unpckhpd %xmm14,%xmm14
  subsd  %xmm14,%xmm2
  movapd %xmm4,%xmm14
  mulpd  %xmm5,%xmm4
  mulpd  %xmm10,%xmm14
  mulpd  %xmm11,%xmm5
  mulpd  %xmm11,%xmm10
  subsd  %xmm4,%xmm3
  unpckhpd %xmm4,%xmm4
  subsd  %xmm14,%xmm0
  unpckhpd %xmm14,%xmm14
  subsd  %xmm5,%xmm6
  subsd  %xmm4,%xmm3
  movapd %xmm13,%xmm4
  subsd  %xmm10,%xmm8
  mulpd  %xmm11,%xmm4
  unpckhpd %xmm10,%xmm10
  subsd  %xmm14,%xmm0
  subsd  %xmm10,%xmm8
  subsd  %xmm4,%xmm9
  unpckhpd %xmm4,%xmm4
  subsd  %xmm4,%xmm9
  movapd %xmm12,%xmm4
  mulpd  %xmm11,%xmm4
  subsd  %xmm4,%xmm7
  unpckhpd %xmm4,%xmm4
  subsd  %xmm4,%xmm7
  movapd %xmm5,%xmm4
  unpckhpd %xmm4,%xmm4
  subsd  %xmm4,%xmm6
  cmp    $0x1,%edx
  je     L76
  movupd 0x40(%rsi),%xmm5
  movupd 0x60(%rsi),%xmm4
  movupd 0x50(%rsi),%xmm12
  movlpd 0x48(%rsi),%xmm12
  movhpd 0x70(%rsi),%xmm4
  movhpd 0x50(%rsi),%xmm5
  movupd 0x70(%rsi),%xmm11
  movlpd 0x68(%rsi),%xmm11
  movapd %xmm5,%xmm13
  unpckhpd %xmm4,%xmm5
  movapd %xmm5,%xmm10
  movupd 0x10(%r8),%xmm5
  unpcklpd %xmm4,%xmm13
  movapd %xmm12,%xmm4
  unpcklpd %xmm11,%xmm4
  unpckhpd %xmm11,%xmm12
  movupd 0x30(%r8),%xmm11
  movapd %xmm5,%xmm14
  mulpd  %xmm13,%xmm14
  subsd  %xmm14,%xmm1
  unpckhpd %xmm14,%xmm14
  subsd  %xmm14,%xmm1
  movapd %xmm5,%xmm14
  mulpd  %xmm4,%xmm14
  mulpd  %xmm11,%xmm4
  subsd  %xmm14,%xmm2
  unpckhpd %xmm14,%xmm14
  subsd  %xmm4,%xmm7
  unpckhpd %xmm4,%xmm4
  subsd  %xmm14,%xmm2
  movapd %xmm5,%xmm14
  mulpd  %xmm12,%xmm5
  subsd  %xmm4,%xmm7
  movapd %xmm11,%xmm4
  mulpd  %xmm10,%xmm14
  mulpd  %xmm12,%xmm4
  subsd  %xmm5,%xmm3
  unpckhpd %xmm5,%xmm5
  subsd  %xmm14,%xmm0
  unpckhpd %xmm14,%xmm14
  subsd  %xmm4,%xmm6
  unpckhpd %xmm4,%xmm4
  subsd  %xmm5,%xmm3
  movapd %xmm13,%xmm5
  mulpd  %xmm11,%xmm5
  subsd  %xmm14,%xmm0
  subsd  %xmm4,%xmm6
  subsd  %xmm5,%xmm9
  unpckhpd %xmm5,%xmm5
  subsd  %xmm5,%xmm9
  movapd %xmm10,%xmm5
  mulpd  %xmm11,%xmm5
  subsd  %xmm5,%xmm8
  unpckhpd %xmm5,%xmm5
  subsd  %xmm5,%xmm8
L76:
  mov    %eax,%edx
  and    $0xfffffffe,%edx
  mov    %edx,%ecx
  mov    %rcx,%rdi
  lea    (%r8,%rcx,8),%r8
  shl    $0x5,%rdi
  add    %rdi,%rsi
  cmp    %eax,%edx
  je     L57
L11:
  movsd  (%r8),%xmm5
  movsd  (%rsi),%xmm13
  movsd  0x8(%rsi),%xmm11
  movsd  0x20(%r8),%xmm4
  movapd %xmm5,%xmm14
  movsd  0x10(%rsi),%xmm10
  movsd  0x18(%rsi),%xmm12
  mulsd  %xmm13,%xmm14
  mulsd  %xmm4,%xmm13
  subsd  %xmm14,%xmm1
  movapd %xmm5,%xmm14
  mulsd  %xmm11,%xmm14
  subsd  %xmm13,%xmm9
  mulsd  %xmm4,%xmm11
  subsd  %xmm14,%xmm2
  movapd %xmm5,%xmm14
  mulsd  %xmm10,%xmm14
  subsd  %xmm11,%xmm7
  mulsd  %xmm4,%xmm10
  mulsd  %xmm12,%xmm5
  mulsd  %xmm12,%xmm4
  subsd  %xmm14,%xmm0
  subsd  %xmm10,%xmm8
  subsd  %xmm5,%xmm3
  subsd  %xmm4,%xmm6
L57:
  mov    0x28(%rsp),%eax
  test   %eax,%eax
  je     L33
  addsd  0x0(%r13),%xmm1
  addsd  0x8(%r13),%xmm2
  addsd  0x10(%r13),%xmm0
  addsd  0x18(%r13),%xmm3
  addsd  0x20(%r13),%xmm9
  addsd  0x28(%r13),%xmm7
  addsd  0x30(%r13),%xmm8
  addsd  0x38(%r13),%xmm6
L33:
  movsd  %xmm1,(%r11)
  cmp    $0x1,%ebx
  jle    L38
  movsd  %xmm9,0x20(%r11)
  movsd  0x8(%r12),%xmm10
  movapd %xmm1,%xmm11
  movsd  0x18(%r12),%xmm5
  movsd  0x10(%r12),%xmm4
  mulsd  %xmm10,%xmm11
  mulsd  %xmm9,%xmm10
  subsd  %xmm11,%xmm2
  movapd %xmm1,%xmm11
  mulsd  %xmm5,%xmm1
  subsd  %xmm10,%xmm7
  mulsd  %xmm4,%xmm11
  movsd  %xmm2,0x8(%r11)
  mulsd  %xmm9,%xmm4
  movsd  %xmm7,0x28(%r11)
  movsd  0x38(%r12),%xmm10
  subsd  %xmm1,%xmm3
  movsd  0x30(%r12),%xmm1
  subsd  %xmm11,%xmm0
  movapd %xmm1,%xmm11
  mulsd  %xmm2,%xmm11
  mulsd  %xmm7,%xmm1
  subsd  %xmm11,%xmm0
  movapd %xmm4,%xmm11
  movapd %xmm8,%xmm4
  subsd  %xmm11,%xmm4
  movsd  %xmm0,0x10(%r11)
  subsd  %xmm1,%xmm4
  movsd  %xmm4,0x30(%r11)
  cmp    $0x3,%r10d
  jle    L127
  mulsd  %xmm10,%xmm2
  movsd  0x58(%r12),%xmm8
  mulsd  %xmm10,%xmm7
  mulsd  %xmm8,%xmm0
  mulsd  %xmm4,%xmm8
  subsd  %xmm2,%xmm3
  movapd %xmm9,%xmm2
  mulsd  %xmm5,%xmm2
  subsd  %xmm0,%xmm3
  subsd  %xmm2,%xmm6
  movsd  %xmm3,0x18(%r11)
  movapd %xmm6,%xmm1
  subsd  %xmm7,%xmm1
  subsd  %xmm8,%xmm1
  movsd  %xmm1,0x38(%r11)
L127:
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopl   0x0(%rax)
L38:
  movsd  0x8(%r12),%xmm4
  mulsd  %xmm1,%xmm4
  subsd  %xmm4,%xmm2
  movsd  0x10(%r12),%xmm4
  mulsd  %xmm1,%xmm4
  mulsd  0x18(%r12),%xmm1
  movsd  %xmm2,0x8(%r11)
  subsd  %xmm4,%xmm0
  movsd  0x30(%r12),%xmm4
  subsd  %xmm1,%xmm3
  movsd  0x38(%r12),%xmm1
  mulsd  %xmm2,%xmm4
  subsd  %xmm4,%xmm0
  movsd  %xmm0,0x10(%r11)
  cmp    $0x3,%r10d
  jle    L127
  mulsd  %xmm2,%xmm1
  mulsd  0x58(%r12),%xmm0
  subsd  %xmm1,%xmm3
  subsd  %xmm0,%xmm3
  movsd  %xmm3,0x18(%r11)
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  ret
  nopl   0x0(%rax)
L74:
  pxor   %xmm6,%xmm6
  movapd %xmm6,%xmm3
  movapd %xmm6,%xmm8
  movapd %xmm6,%xmm0
  movapd %xmm6,%xmm7
  movapd %xmm6,%xmm2
  movapd %xmm6,%xmm9
  movapd %xmm6,%xmm1
  jmp    L57
  nopw   0x0(%rax,%rax,1)
L91:
  pxor   %xmm6,%xmm6
  xor    %edi,%edi
  movapd %xmm6,%xmm3
  movapd %xmm6,%xmm8
  movapd %xmm6,%xmm0
  movapd %xmm6,%xmm7
  movapd %xmm6,%xmm2
  movapd %xmm6,%xmm9
  movapd %xmm6,%xmm1
  jmp    L2
```

assistant: ```c
void kernel_dtrsm_nn_ll_diag_4x2_vs_lib4(int km, int kn, int kmax, double *A, double *B, int sdb, int alg, double *C, double *D, double *E) {
  const int bs = 4;
  int k;
  double tmp, a_0, a_1, a_2, a_3, b_0, b_1, e_1, e_2, e_3, d_00 = 0, d_01 = 0, d_10 = 0, d_11 = 0, d_20 = 0, d_21 = 0, d_30 = 0, d_31 = 0;
  if (kmax <= 0)
    goto add;
  for (k = 0; k < kmax - 3; k += 4) {
    a_0 = A[0 + bs * 0];
    a_1 = A[1 + bs * 0];
    a_2 = A[2 + bs * 0];
    a_3 = A[3 + bs * 0];
    b_0 = B[0 + bs * 0];
    b_1 = B[0 + bs * 1];
    d_00 -= a_0 * b_0;
    d_10 -= a_1 * b_0;
    d_20 -= a_2 * b_0;
    d_30 -= a_3 * b_0;
    d_01 -= a_0 * b_1;
    d_11 -= a_1 * b_1;
    d_21 -= a_2 * b_1;
    d_31 -= a_3 * b_1;
    a_0 = A[0 + bs * 1];
    a_1 = A[1 + bs * 1];
    a_2 = A[2 + bs * 1];
    a_3 = A[3 + bs * 1];
    b_0 = B[1 + bs * 0];
    b_1 = B[1 + bs * 1];
    d_00 -= a_0 * b_0;
    d_10 -= a_1 * b_0;
    d_20 -= a_2 * b_0;
    d_30 -= a_3 * b_0;
    d_01 -= a_0 * b_1;
    d_11 -= a_1 * b_1;
    d_21 -= a_2 * b_1;
    d_31 -= a_3 * b_1;
    a_0 = A[0 + bs * 2];
    a_1 = A[1 + bs * 2];
    a_2 = A[2 + bs * 2];
    a_3 = A[3 + bs * 2];
    b_0 = B[2 + bs * 0];
    b_1 = B[2 + bs * 1];
    d_00 -= a_0 * b_0;
    d_10 -= a_1 * b_0;
    d_20 -= a_2 * b_0;
    d_30 -= a_3 * b_0;
    d_01 -= a_0 * b_1;
    d_11 -= a_1 * b_1;
    d_21 -= a_2 * b_1;
    d_31 -= a_3 * b_1;
    a_0 = A[0 + bs * 3];
    a_1 = A[1 + bs * 3];
    a_2 = A[2 + bs * 3];
    a_3 = A[3 + bs * 3];
    b_0 = B[3 + bs * 0];
    b_1 = B[3 + bs * 1];
    d_00 -= a_0 * b_0;
    d_10 -= a_1 * b_0;
    d_20 -= a_2 * b_0;
    d_30 -= a_3 * b_0;
    d_01 -= a_0 * b_1;
    d_11 -= a_1 * b_1;
    d_21 -= a_2 * b_1;
    d_31 -= a_3 * b_1;
    A += 16;
    B += 4 * sdb;
  }
  for (; k < kmax; k++) {
    a_0 = A[0 + bs * 0];
    a_1 = A[1 + bs * 0];
    a_2 = A[2 + bs * 0];
    a_3 = A[3 + bs * 0];
    b_0 = B[0 + bs * 0];
    b_1 = B[0 + bs * 1];
    d_00 -= a_0 * b_0;
    d_10 -= a_1 * b_0;
    d_20 -= a_2 * b_0;
    d_30 -= a_3 * b_0;
    d_01 -= a_0 * b_1;
    d_11 -= a_1 * b_1;
    d_21 -= a_2 * b_1;
    d_31 -= a_3 * b_1;
    A += 4;
    B += 1;
  }
add:
  if (alg != 0) {
    d_00 += C[0 + bs * 0];
    d_10 += C[1 + bs * 0];
    d_20 += C[2 + bs * 0];
    d_30 += C[3 + bs * 0];
    d_01 += C[0 + bs * 1];
    d_11 += C[1 + bs * 1];
    d_21 += C[2 + bs * 1];
    d_31 += C[3 + bs * 1];
  }
  D[0 + bs * 0] = d_00;
  if (kn >= 2)
    D[0 + bs * 1] = d_01;
  e_1 = E[1 + bs * 0];
  e_2 = E[2 + bs * 0];
  e_3 = E[3 + bs * 0];
  d_10 -= e_1 * d_00;
  d_20 -= e_2 * d_00;
  d_30 -= e_3 * d_00;
  d_11 -= e_1 * d_01;
  d_21 -= e_2 * d_01;
  d_31 -= e_3 * d_01;
  D[1 + bs * 0] = d_10;
  if (kn >= 2)
    D[1 + bs * 1] = d_11;
  e_2 = E[2 + bs * 1];
  e_3 = E[3 + bs * 1];
  d_20 -= e_2 * d_10;
  d_30 -= e_3 * d_10;
  d_21 -= e_2 * d_11;
  d_31 -= e_3 * d_11;
  D[2 + bs * 0] = d_20;
  if (kn >= 2)
    D[2 + bs * 1] = d_21;
  if (km < 4)
    return;
  e_3 = E[3 + bs * 2];
  d_30 -= e_3 * d_20;
  d_31 -= e_3 * d_21;
  D[3 + bs * 0] = d_30;
  if (kn >= 2)
    D[3 + bs * 1] = d_31;
  return;
}
```