// File: /workspace/github_cpp_makefile_star2_O3/j-faria[P]kima/eigen/Eigen/src/Core/products/GeneralMatrixVector.h
// Function: Eigen::internal::general_matrix_vector_product<long, double, Eigen::internal::const_blas_data_mapper<double, long, 1>, 1, false, double, Eigen::internal::const_blas_data_mapper<double, long, 0>, false, 0>::run(long, long, Eigen::internal::const_blas_data_mapper<double, long, 1> const&, Eigen::internal::const_blas_data_mapper<double, long, 0> const&, double*, long, double)
EIGEN_DEVICE_FUNC EIGEN_DONT_INLINE void general_matrix_vector_product<Index,LhsScalar,LhsMapper,RowMajor,ConjugateLhs,RhsScalar,RhsMapper,ConjugateRhs,Version>::run(
  Index rows, Index cols,
  const LhsMapper& alhs,
  const RhsMapper& rhs,
  ResScalar* res, Index resIncr,
  ResScalar alpha)
{
  // The following copy tells the compiler that lhs's attributes are not modified outside this function
  // This helps GCC to generate propoer code.
  LhsMapper lhs(alhs);

  eigen_internal_assert(rhs.stride()==1);
  conj_helper<LhsScalar,RhsScalar,ConjugateLhs,ConjugateRhs> cj;
  conj_helper<LhsPacket,RhsPacket,ConjugateLhs,ConjugateRhs> pcj;
  conj_helper<LhsPacketHalf,RhsPacketHalf,ConjugateLhs,ConjugateRhs> pcj_half;
  conj_helper<LhsPacketQuarter,RhsPacketQuarter,ConjugateLhs,ConjugateRhs> pcj_quarter;

  // TODO: fine tune the following heuristic. The rationale is that if the matrix is very large,
  //       processing 8 rows at once might be counter productive wrt cache.
  const Index n8 = lhs.stride()*sizeof(LhsScalar)>32000 ? 0 : rows-7;
  const Index n4 = rows-3;
  const Index n2 = rows-1;

  // TODO: for padded aligned inputs, we could enable aligned reads
  enum { LhsAlignment = Unaligned,
         ResPacketSize = Traits::ResPacketSize,
         ResPacketSizeHalf = HalfTraits::ResPacketSize,
         ResPacketSizeQuarter = QuarterTraits::ResPacketSize,
         LhsPacketSize = Traits::LhsPacketSize,
         LhsPacketSizeHalf = HalfTraits::LhsPacketSize,
         LhsPacketSizeQuarter = QuarterTraits::LhsPacketSize,
         HasHalf = (int)ResPacketSizeHalf < (int)ResPacketSize,
         HasQuarter = (int)ResPacketSizeQuarter < (int)ResPacketSizeHalf
  };

  Index i=0;
  for(; i<n8; i+=8)
  {
    ResPacket c0 = pset1<ResPacket>(ResScalar(0)),
              c1 = pset1<ResPacket>(ResScalar(0)),
              c2 = pset1<ResPacket>(ResScalar(0)),
              c3 = pset1<ResPacket>(ResScalar(0)),
              c4 = pset1<ResPacket>(ResScalar(0)),
              c5 = pset1<ResPacket>(ResScalar(0)),
              c6 = pset1<ResPacket>(ResScalar(0)),
              c7 = pset1<ResPacket>(ResScalar(0));

    Index j=0;
    for(; j+LhsPacketSize<=cols; j+=LhsPacketSize)
    {
      RhsPacket b0 = rhs.template load<RhsPacket, Unaligned>(j,0);

      c0 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i+0,j),b0,c0);
      c1 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i+1,j),b0,c1);
      c2 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i+2,j),b0,c2);
      c3 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i+3,j),b0,c3);
      c4 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i+4,j),b0,c4);
      c5 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i+5,j),b0,c5);
      c6 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i+6,j),b0,c6);
      c7 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i+7,j),b0,c7);
    }
    ResScalar cc0 = predux(c0);
    ResScalar cc1 = predux(c1);
    ResScalar cc2 = predux(c2);
    ResScalar cc3 = predux(c3);
    ResScalar cc4 = predux(c4);
    ResScalar cc5 = predux(c5);
    ResScalar cc6 = predux(c6);
    ResScalar cc7 = predux(c7);
    for(; j<cols; ++j)
    {
      RhsScalar b0 = rhs(j,0);

      cc0 += cj.pmul(lhs(i+0,j), b0);
      cc1 += cj.pmul(lhs(i+1,j), b0);
      cc2 += cj.pmul(lhs(i+2,j), b0);
      cc3 += cj.pmul(lhs(i+3,j), b0);
      cc4 += cj.pmul(lhs(i+4,j), b0);
      cc5 += cj.pmul(lhs(i+5,j), b0);
      cc6 += cj.pmul(lhs(i+6,j), b0);
      cc7 += cj.pmul(lhs(i+7,j), b0);
    }
    res[(i+0)*resIncr] += alpha*cc0;
    res[(i+1)*resIncr] += alpha*cc1;
    res[(i+2)*resIncr] += alpha*cc2;
    res[(i+3)*resIncr] += alpha*cc3;
    res[(i+4)*resIncr] += alpha*cc4;
    res[(i+5)*resIncr] += alpha*cc5;
    res[(i+6)*resIncr] += alpha*cc6;
    res[(i+7)*resIncr] += alpha*cc7;
  }
  for(; i<n4; i+=4)
  {
    ResPacket c0 = pset1<ResPacket>(ResScalar(0)),
              c1 = pset1<ResPacket>(ResScalar(0)),
              c2 = pset1<ResPacket>(ResScalar(0)),
              c3 = pset1<ResPacket>(ResScalar(0));

    Index j=0;
    for(; j+LhsPacketSize<=cols; j+=LhsPacketSize)
    {
      RhsPacket b0 = rhs.template load<RhsPacket, Unaligned>(j,0);

      c0 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i+0,j),b0,c0);
      c1 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i+1,j),b0,c1);
      c2 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i+2,j),b0,c2);
      c3 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i+3,j),b0,c3);
    }
    ResScalar cc0 = predux(c0);
    ResScalar cc1 = predux(c1);
    ResScalar cc2 = predux(c2);
    ResScalar cc3 = predux(c3);
    for(; j<cols; ++j)
    {
      RhsScalar b0 = rhs(j,0);

      cc0 += cj.pmul(lhs(i+0,j), b0);
      cc1 += cj.pmul(lhs(i+1,j), b0);
      cc2 += cj.pmul(lhs(i+2,j), b0);
      cc3 += cj.pmul(lhs(i+3,j), b0);
    }
    res[(i+0)*resIncr] += alpha*cc0;
    res[(i+1)*resIncr] += alpha*cc1;
    res[(i+2)*resIncr] += alpha*cc2;
    res[(i+3)*resIncr] += alpha*cc3;
  }
  for(; i<n2; i+=2)
  {
    ResPacket c0 = pset1<ResPacket>(ResScalar(0)),
              c1 = pset1<ResPacket>(ResScalar(0));

    Index j=0;
    for(; j+LhsPacketSize<=cols; j+=LhsPacketSize)
    {
      RhsPacket b0 = rhs.template load<RhsPacket, Unaligned>(j,0);

      c0 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i+0,j),b0,c0);
      c1 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i+1,j),b0,c1);
    }
    ResScalar cc0 = predux(c0);
    ResScalar cc1 = predux(c1);
    for(; j<cols; ++j)
    {
      RhsScalar b0 = rhs(j,0);

      cc0 += cj.pmul(lhs(i+0,j), b0);
      cc1 += cj.pmul(lhs(i+1,j), b0);
    }
    res[(i+0)*resIncr] += alpha*cc0;
    res[(i+1)*resIncr] += alpha*cc1;
  }
  for(; i<rows; ++i)
  {
    ResPacket c0 = pset1<ResPacket>(ResScalar(0));
    ResPacketHalf c0_h = pset1<ResPacketHalf>(ResScalar(0));
    ResPacketQuarter c0_q = pset1<ResPacketQuarter>(ResScalar(0));
    Index j=0;
    for(; j+LhsPacketSize<=cols; j+=LhsPacketSize)
    {
      RhsPacket b0 = rhs.template load<RhsPacket,Unaligned>(j,0);
      c0 = pcj.pmadd(lhs.template load<LhsPacket,LhsAlignment>(i,j),b0,c0);
    }
    ResScalar cc0 = predux(c0);
    if (HasHalf) {
      for(; j+LhsPacketSizeHalf<=cols; j+=LhsPacketSizeHalf)
        {
          RhsPacketHalf b0 = rhs.template load<RhsPacketHalf,Unaligned>(j,0);
          c0_h = pcj_half.pmadd(lhs.template load<LhsPacketHalf,LhsAlignment>(i,j),b0,c0_h);
        }
      cc0 += predux(c0_h);
    }
    if (HasQuarter) {
      for(; j+LhsPacketSizeQuarter<=cols; j+=LhsPacketSizeQuarter)
        {
          RhsPacketQuarter b0 = rhs.template load<RhsPacketQuarter,Unaligned>(j,0);
          c0_q = pcj_quarter.pmadd(lhs.template load<LhsPacketQuarter,LhsAlignment>(i,j),b0,c0_q);
        }
      cc0 += predux(c0_q);
    }
    for(; j<cols; ++j)
    {
      cc0 += cj.pmul(lhs(i,j), rhs(j,0));
    }
    res[i*resIncr] += alpha*cc0;
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rsi, %r14
movq (%rdx), %r10
movq 0x8(%rdx), %r15
leaq (,%r15,8), %rax
cmpq $0x7d01, %rax           # imm = 0x7D01
setae %sil
leaq -0x3(%rdi), %rdx
movq %rdx, -0x30(%rsp)
cmpq $0x8, %rdi
setl %dl
orb %sil, %dl
movq %r9, -0x10(%rsp)
movq %r8, -0x18(%rsp)
movq %rdi, -0x38(%rsp)
movq %r10, -0x50(%rsp)
movq %r15, -0x58(%rsp)
movq %rcx, -0x48(%rsp)
jne 0x1fa4b
addq $-0x7, %rdi
movq (%rcx), %r11
movq %r15, %rbx
shlq $0x6, %rbx
imulq $0x38, %r15, %rbp
addq %r10, %rbp
leaq (%r15,%r15,2), %rsi
leaq (%r10,%rsi,8), %rdx
shlq $0x4, %rsi
addq %r10, %rsi
leaq (%r15,%r15,4), %rcx
leaq (%r10,%rcx,8), %rcx
movq %rcx, -0x70(%rsp)
movq %r15, %rcx
shlq $0x5, %rcx
addq %r10, %rcx
movq %rcx, -0x78(%rsp)
movq %r15, %rcx
movq %rdx, %r15
shlq $0x4, %rcx
addq %r10, %rcx
movq %rcx, -0x20(%rsp)
leaq (%r10,%rax), %rcx
movq %rcx, -0x28(%rsp)
movq %r10, %rdx
xorl %r9d, %r9d
movq %rdi, 0x40(%rsp)
movq %rbx, -0x8(%rsp)
movq %r11, 0x38(%rsp)
movq %rsi, -0x60(%rsp)
movq %r9, -0x80(%rsp)
cmpq $0x2, %r14
jge 0x1f68e
xorpd %xmm5, %xmm5
xorpd %xmm1, %xmm1
xorpd %xmm6, %xmm6
xorpd %xmm2, %xmm2
xorpd %xmm7, %xmm7
xorpd %xmm3, %xmm3
xorpd %xmm8, %xmm8
xorpd %xmm4, %xmm4
xorl %r12d, %r12d
jmp 0x1f761
xorpd %xmm4, %xmm4
xorl %ecx, %ecx
xorpd %xmm8, %xmm8
xorpd %xmm3, %xmm3
xorpd %xmm7, %xmm7
xorpd %xmm2, %xmm2
xorpd %xmm6, %xmm6
xorpd %xmm1, %xmm1
xorpd %xmm5, %xmm5
movupd (%r11,%rcx,8), %xmm9
leaq (%rdx,%rcx,8), %rsi
movupd (%rdx,%rcx,8), %xmm10
mulpd %xmm9, %xmm10
addpd %xmm10, %xmm4
movupd (%rax,%rsi), %xmm10
addq %rax, %rsi
mulpd %xmm9, %xmm10
addpd %xmm10, %xmm8
movupd (%rax,%rsi), %xmm10
addq %rax, %rsi
mulpd %xmm9, %xmm10
addpd %xmm10, %xmm3
movupd (%rax,%rsi), %xmm10
addq %rax, %rsi
mulpd %xmm9, %xmm10
addpd %xmm10, %xmm7
movupd (%rax,%rsi), %xmm10
addq %rax, %rsi
mulpd %xmm9, %xmm10
addpd %xmm10, %xmm2
movupd (%rax,%rsi), %xmm10
addq %rax, %rsi
mulpd %xmm9, %xmm10
addpd %xmm10, %xmm6
movupd (%rax,%rsi), %xmm10
addq %rax, %rsi
mulpd %xmm9, %xmm10
addpd %xmm10, %xmm1
movupd (%rax,%rsi), %xmm10
mulpd %xmm9, %xmm10
addpd %xmm10, %xmm5
leaq 0x2(%rcx), %r12
addq $0x4, %rcx
cmpq %r14, %rcx
movq %r12, %rcx
jle 0x1f6b1
movq %r15, -0x68(%rsp)
movapd %xmm4, %xmm9
unpcklpd %xmm8, %xmm9            # xmm9 = xmm9[0],xmm8[0]
movapd %xmm3, %xmm10
unpcklpd %xmm7, %xmm10           # xmm10 = xmm10[0],xmm7[0]
movapd %xmm2, %xmm11
unpcklpd %xmm6, %xmm11           # xmm11 = xmm11[0],xmm6[0]
movapd %xmm1, %xmm12
unpcklpd %xmm5, %xmm12           # xmm12 = xmm12[0],xmm5[0]
unpckhpd %xmm8, %xmm4            # xmm4 = xmm4[1],xmm8[1]
addpd %xmm9, %xmm4
unpckhpd %xmm7, %xmm3            # xmm3 = xmm3[1],xmm7[1]
addpd %xmm10, %xmm3
unpckhpd %xmm6, %xmm2            # xmm2 = xmm2[1],xmm6[1]
addpd %xmm11, %xmm2
unpckhpd %xmm5, %xmm1            # xmm1 = xmm1[1],xmm5[1]
addpd %xmm12, %xmm1
movq %r14, %rsi
subq %r12, %rsi
movq %rbp, -0x40(%rsp)
jle 0x1f8fd
movq -0x80(%rsp), %rcx
movq %rcx, %rdi
orq $0x1, %rdi
movq %rdi, (%rsp)
movq %rcx, %rdi
orq $0x2, %rdi
movq %rdi, 0x8(%rsp)
movq %rcx, %rdi
orq $0x3, %rdi
movq %rdi, 0x10(%rsp)
movq %rcx, %rdi
orq $0x4, %rdi
movq %rdi, 0x18(%rsp)
movq %rcx, %rdi
orq $0x5, %rdi
movq %rdi, 0x20(%rsp)
movq %rcx, %rdi
orq $0x6, %rdi
movq %rdi, 0x28(%rsp)
orq $0x7, %rcx
movq %rcx, 0x30(%rsp)
movq %r11, %rbx
leaq (,%r12,8), %r15
addq %rbp, %r15
movq -0x60(%rsp), %rcx
leaq (%rcx,%r12,8), %r8
movq -0x70(%rsp), %rcx
leaq (%rcx,%r12,8), %r10
movq -0x78(%rsp), %rcx
leaq (%rcx,%r12,8), %r13
movq -0x68(%rsp), %rcx
leaq (%rcx,%r12,8), %rcx
movq -0x20(%rsp), %rdi
leaq (%rdi,%r12,8), %rbp
movq -0x28(%rsp), %rdi
leaq (%rdi,%r12,8), %rdi
leaq (%rdx,%r12,8), %r11
leaq (%rbx,%r12,8), %r12
xorl %ebx, %ebx
movsd (%r12,%rbx,8), %xmm5
movsd (%r8,%rbx,8), %xmm6
movhpd (%r15,%rbx,8), %xmm6    # xmm6 = xmm6[0],mem[0]
unpcklpd %xmm5, %xmm5            # xmm5 = xmm5[0,0]
movsd (%r13,%rbx,8), %xmm7
movhpd (%r10,%rbx,8), %xmm7    # xmm7 = xmm7[0],mem[0]
movsd (%rbp,%rbx,8), %xmm8
movhpd (%rcx,%rbx,8), %xmm8    # xmm8 = xmm8[0],mem[0]
movsd (%r11,%rbx,8), %xmm9
movhpd (%rdi,%rbx,8), %xmm9    # xmm9 = xmm9[0],mem[0]
mulpd %xmm5, %xmm9
addpd %xmm9, %xmm4
mulpd %xmm5, %xmm8
addpd %xmm8, %xmm3
mulpd %xmm5, %xmm7
addpd %xmm7, %xmm2
mulpd %xmm5, %xmm6
addpd %xmm6, %xmm1
incq %rbx
cmpq %rbx, %rsi
jne 0x1f867
movq -0x80(%rsp), %r10
movq -0x8(%rsp), %rbx
movq 0x30(%rsp), %rsi
movq 0x28(%rsp), %r13
movq 0x20(%rsp), %rdi
movq 0x18(%rsp), %rbp
movq 0x10(%rsp), %r15
movq 0x8(%rsp), %r11
movq (%rsp), %r9
jmp 0x1f933
movq -0x80(%rsp), %r10
movq %r10, %r9
orq $0x1, %r9
movq %r10, %r11
orq $0x2, %r11
movq %r10, %r15
orq $0x3, %r15
movq %r10, %rbp
orq $0x4, %rbp
movq %r10, %rdi
orq $0x5, %rdi
movq %r10, %r13
orq $0x6, %r13
movq %r10, %rsi
orq $0x7, %rsi
movq %r10, %rcx
movq -0x10(%rsp), %r12
imulq %r12, %rcx
movapd %xmm0, %xmm5
mulsd %xmm4, %xmm5
movq -0x18(%rsp), %r8
addsd (%r8,%rcx,8), %xmm5
movsd %xmm5, (%r8,%rcx,8)
imulq %r12, %r9
unpckhpd %xmm4, %xmm4            # xmm4 = xmm4[1,1]
mulsd %xmm0, %xmm4
addsd (%r8,%r9,8), %xmm4
movsd %xmm4, (%r8,%r9,8)
imulq %r12, %r11
movapd %xmm0, %xmm4
mulsd %xmm3, %xmm4
addsd (%r8,%r11,8), %xmm4
movsd %xmm4, (%r8,%r11,8)
imulq %r12, %r15
unpckhpd %xmm3, %xmm3            # xmm3 = xmm3[1,1]
mulsd %xmm0, %xmm3
addsd (%r8,%r15,8), %xmm3
movsd %xmm3, (%r8,%r15,8)
imulq %r12, %rbp
movapd %xmm0, %xmm3
mulsd %xmm2, %xmm3
addsd (%r8,%rbp,8), %xmm3
movsd %xmm3, (%r8,%rbp,8)
imulq %r12, %rdi
unpckhpd %xmm2, %xmm2            # xmm2 = xmm2[1,1]
mulsd %xmm0, %xmm2
addsd (%r8,%rdi,8), %xmm2
movsd %xmm2, (%r8,%rdi,8)
imulq %r12, %r13
movapd %xmm0, %xmm2
mulsd %xmm1, %xmm2
addsd (%r8,%r13,8), %xmm2
movsd %xmm2, (%r8,%r13,8)
imulq %r12, %rsi
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
mulsd %xmm0, %xmm1
addsd (%r8,%rsi,8), %xmm1
movsd %xmm1, (%r8,%rsi,8)
addq $0x8, %r10
addq %rbx, %rdx
movq -0x40(%rsp), %rbp
addq %rbx, %rbp
movq -0x60(%rsp), %rsi
addq %rbx, %rsi
addq %rbx, -0x70(%rsp)
addq %rbx, -0x78(%rsp)
movq -0x68(%rsp), %r15
addq %rbx, %r15
addq %rbx, -0x20(%rsp)
addq %rbx, -0x28(%rsp)
movq 0x40(%rsp), %rdi
cmpq %r10, %rdi
movq 0x38(%rsp), %r11
movq %r10, %r9
jg 0x1f655
jmp 0x1fa51
movq %r9, %r12
xorl %r9d, %r9d
movq -0x38(%rsp), %rcx
decq %rcx
movq %rcx, -0x78(%rsp)
cmpq -0x30(%rsp), %r9
jge 0x1fc7f
movq -0x48(%rsp), %rcx
movq (%rcx), %rdi
leaq 0x3(%r9), %rcx
movq -0x58(%rsp), %rsi
imulq %rsi, %rcx
movq -0x50(%rsp), %rdx
leaq (%rdx,%rcx,8), %r10
movq %rsi, %r11
shlq $0x5, %r11
leaq 0x2(%r9), %rcx
imulq %rsi, %rcx
leaq (%rdx,%rcx,8), %rbx
leaq 0x1(%r9), %rcx
imulq %rsi, %rcx
leaq (%rdx,%rcx,8), %r13
movq %r9, %rcx
imulq %rsi, %rcx
leaq (%rdx,%rcx,8), %r15
movq %r11, -0x70(%rsp)
cmpq $0x2, %r14
jge 0x1fad0
xorpd %xmm3, %xmm3
xorpd %xmm1, %xmm1
xorpd %xmm4, %xmm4
xorpd %xmm2, %xmm2
xorl %edx, %edx
jmp 0x1fb2f
xorpd %xmm2, %xmm2
xorl %esi, %esi
xorpd %xmm4, %xmm4
xorpd %xmm1, %xmm1
xorpd %xmm3, %xmm3
movupd (%rdi,%rsi,8), %xmm5
movupd (%r15,%rsi,8), %xmm6
mulpd %xmm5, %xmm6
addpd %xmm6, %xmm2
movupd (%r13,%rsi,8), %xmm6
mulpd %xmm5, %xmm6
addpd %xmm6, %xmm4
movupd (%rbx,%rsi,8), %xmm6
mulpd %xmm5, %xmm6
addpd %xmm6, %xmm1
movupd (%r10,%rsi,8), %xmm6
mulpd %xmm5, %xmm6
addpd %xmm6, %xmm3
leaq 0x2(%rsi), %rdx
addq $0x4, %rsi
cmpq %r14, %rsi
movq %rdx, %rsi
jle 0x1fae2
movapd %xmm2, %xmm5
unpcklpd %xmm4, %xmm5            # xmm5 = xmm5[0],xmm4[0]
movapd %xmm1, %xmm6
unpcklpd %xmm3, %xmm6            # xmm6 = xmm6[0],xmm3[0]
unpckhpd %xmm4, %xmm2            # xmm2 = xmm2[1],xmm4[1]
addpd %xmm5, %xmm2
unpckhpd %xmm3, %xmm1            # xmm1 = xmm1[1],xmm3[1]
addpd %xmm6, %xmm1
movq %r14, %rbp
subq %rdx, %rbp
jle 0x1fbf5
leaq 0x1(%r9), %rcx
movq %rcx, -0x40(%rsp)
leaq 0x2(%r9), %rcx
movq %rcx, -0x68(%rsp)
movq %r9, -0x80(%rsp)
leaq 0x3(%r9), %rcx
movq %rcx, -0x60(%rsp)
leaq (%r10,%rdx,8), %rcx
leaq (%rbx,%rdx,8), %r11
leaq (,%rdx,8), %r12
addq %r13, %r12
leaq (%r15,%rdx,8), %rsi
leaq (%rdi,%rdx,8), %r8
xorl %edx, %edx
movsd (%r8,%rdx,8), %xmm3
unpcklpd %xmm3, %xmm3            # xmm3 = xmm3[0,0]
movsd (%r11,%rdx,8), %xmm4
movhpd (%rcx,%rdx,8), %xmm4    # xmm4 = xmm4[0],mem[0]
movsd (%rsi,%rdx,8), %xmm5
movhpd (%r12,%rdx,8), %xmm5    # xmm5 = xmm5[0],mem[0]
mulpd %xmm3, %xmm5
addpd %xmm5, %xmm2
mulpd %xmm3, %xmm4
addpd %xmm4, %xmm1
incq %rdx
cmpq %rdx, %rbp
jne 0x1fb98
movq -0x10(%rsp), %r12
movq -0x18(%rsp), %r8
movq -0x80(%rsp), %r9
movq -0x70(%rsp), %r11
movq -0x60(%rsp), %rdx
movq -0x68(%rsp), %rsi
movq -0x40(%rsp), %rbp
jmp 0x1fc01
leaq 0x1(%r9), %rbp
leaq 0x2(%r9), %rsi
leaq 0x3(%r9), %rdx
movq %r9, %rcx
imulq %r12, %rcx
movapd %xmm0, %xmm3
mulsd %xmm2, %xmm3
addsd (%r8,%rcx,8), %xmm3
movsd %xmm3, (%r8,%rcx,8)
imulq %r12, %rbp
unpckhpd %xmm2, %xmm2            # xmm2 = xmm2[1,1]
mulsd %xmm0, %xmm2
addsd (%r8,%rbp,8), %xmm2
movsd %xmm2, (%r8,%rbp,8)
imulq %r12, %rsi
movapd %xmm0, %xmm2
mulsd %xmm1, %xmm2
addsd (%r8,%rsi,8), %xmm2
movsd %xmm2, (%r8,%rsi,8)
imulq %r12, %rdx
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
mulsd %xmm0, %xmm1
addsd (%r8,%rdx,8), %xmm1
movsd %xmm1, (%r8,%rdx,8)
addq $0x4, %r9
addq %r11, %r10
addq %r11, %rbx
addq %r11, %r13
addq %r11, %r15
cmpq -0x30(%rsp), %r9
jl 0x1fab6
movq -0x78(%rsp), %r15
cmpq %r15, %r9
jge 0x1fd8c
movq -0x48(%rsp), %rcx
movq (%rcx), %rdi
leaq 0x1(%r9), %rcx
movq -0x58(%rsp), %rsi
imulq %rsi, %rcx
movq -0x50(%rsp), %rdx
leaq (%rdx,%rcx,8), %r10
movq %rsi, %r11
shlq $0x4, %r11
movq %r9, %rcx
imulq %rsi, %rcx
leaq (%rdx,%rcx,8), %rbx
cmpq $0x2, %r14
jge 0x1fccf
xorpd %xmm1, %xmm1
xorpd %xmm2, %xmm2
xorl %esi, %esi
jmp 0x1fd09
xorpd %xmm2, %xmm2
xorl %ecx, %ecx
xorpd %xmm1, %xmm1
movupd (%rdi,%rcx,8), %xmm3
movupd (%rbx,%rcx,8), %xmm4
mulpd %xmm3, %xmm4
addpd %xmm4, %xmm1
movupd (%r10,%rcx,8), %xmm4
mulpd %xmm3, %xmm4
addpd %xmm4, %xmm2
leaq 0x2(%rcx), %rsi
addq $0x4, %rcx
cmpq %r14, %rcx
movq %rsi, %rcx
jle 0x1fcd9
movapd %xmm1, %xmm3
unpcklpd %xmm2, %xmm3            # xmm3 = xmm3[0],xmm2[0]
unpckhpd %xmm2, %xmm1            # xmm1 = xmm1[1],xmm2[1]
addpd %xmm3, %xmm1
leaq 0x1(%r9), %rdx
cmpq %r14, %rsi
jge 0x1fd46
movsd (%rdi,%rsi,8), %xmm2
unpcklpd %xmm2, %xmm2            # xmm2 = xmm2[0,0]
movsd (%rbx,%rsi,8), %xmm3
movhpd (%r10,%rsi,8), %xmm3    # xmm3 = xmm3[0],mem[0]
mulpd %xmm2, %xmm3
addpd %xmm3, %xmm1
incq %rsi
cmpq %rsi, %r14
jne 0x1fd22
movq %r9, %rcx
imulq %r12, %rcx
movapd %xmm0, %xmm2
mulsd %xmm1, %xmm2
addsd (%r8,%rcx,8), %xmm2
movsd %xmm2, (%r8,%rcx,8)
imulq %r12, %rdx
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
mulsd %xmm0, %xmm1
addsd (%r8,%rdx,8), %xmm1
movsd %xmm1, (%r8,%rdx,8)
addq $0x2, %r9
addq %r11, %r10
addq %r11, %rbx
cmpq %r15, %r9
jl 0x1fcbd
movq -0x38(%rsp), %r10
cmpq %r10, %r9
jge 0x1fe2f
movq -0x48(%rsp), %rcx
movq (%rcx), %rcx
movq -0x58(%rsp), %rsi
imulq %r9, %rsi
movq -0x50(%rsp), %rdx
leaq (%rdx,%rsi,8), %rdi
xorpd %xmm2, %xmm2
cmpq $0x2, %r14
jge 0x1fdc2
xorl %esi, %esi
jmp 0x1fde6
xorl %edx, %edx
movupd (%rcx,%rdx,8), %xmm1
movupd (%rdi,%rdx,8), %xmm3
mulpd %xmm1, %xmm3
addpd %xmm3, %xmm2
leaq 0x2(%rdx), %rsi
addq $0x4, %rdx
cmpq %r14, %rdx
movq %rsi, %rdx
jle 0x1fdc4
movapd %xmm2, %xmm1
unpckhpd %xmm2, %xmm1            # xmm1 = xmm1[1],xmm2[1]
addsd %xmm2, %xmm1
cmpq %r14, %rsi
jge 0x1fe0d
movsd (%rdi,%rsi,8), %xmm2
mulsd (%rcx,%rsi,8), %xmm2
addsd %xmm2, %xmm1
incq %rsi
cmpq %rsi, %r14
jne 0x1fdf7
movq %r9, %rdx
imulq %r12, %rdx
mulsd %xmm0, %xmm1
addsd (%r8,%rdx,8), %xmm1
movsd %xmm1, (%r8,%rdx,8)
incq %r9
addq %rax, %rdi
cmpq %r10, %r9
jne 0x1fdb4
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq