// File: /workspace/github_c_makefile_star2_O0/zpole[P]IICV/vl/mathop_sse2.c
// Function: vl_dot_sse2_d
VL_EXPORT T
VL_XCAT(_vl_dot_sse2_, SFX)
(vl_size dimension, T const * X, T const * Y)
{
  T const * X_end = X + dimension ;
  T const * X_vec_end = X_end - VSIZE + 1 ;
  T acc ;
  VTYPE vacc = VSTZ() ;
  vl_bool dataAligned = VALIGNED(X) & VALIGNED(Y) ;

  if (dataAligned) {
    while (X < X_vec_end) {
      VTYPE a = *(VTYPE*)X ;
      VTYPE b = *(VTYPE*)Y ;
      VTYPE d = VMUL(a, b) ;
      vacc = VADD(vacc, d) ;
      X += VSIZE ;
      Y += VSIZE ;
    }
  } else {
    while (X < X_vec_end) {
      VTYPE a = VLDU(X) ;
      VTYPE b = VLDU(Y) ;
      VTYPE d = VMUL(a, b) ;
      vacc = VADD(vacc, d) ;
      X += VSIZE ;
      Y += VSIZE ;
    }
  }

  acc = VL_XCAT(_vl_vhsum_sse2_, SFX)(vacc) ;

  while (X < X_end) {
    T a = *X++ ;
    T b = *Y++ ;
    acc += a * b ;
  }

  return acc ;
}

// Assembly:
subq $0x168, %rsp            # imm = 0x168
movq %rdi, 0xb8(%rsp)
movq %rsi, 0xb0(%rsp)
movq %rdx, 0xa8(%rsp)
movq 0xb0(%rsp), %rax
movq 0xb8(%rsp), %rcx
leaq (%rax,%rcx,8), %rax
movq %rax, 0xa0(%rsp)
movq 0xa0(%rsp), %rax
addq $-0x8, %rax
movq %rax, 0x98(%rsp)
xorps %xmm0, %xmm0
movapd %xmm0, 0xc0(%rsp)
movapd 0xc0(%rsp), %xmm0
movapd %xmm0, 0x80(%rsp)
movq 0xb0(%rsp), %rax
andq $0xf, %rax
cmpq $0x0, %rax
setne %al
xorb $-0x1, %al
andb $0x1, %al
movzbl %al, %eax
movq 0xa8(%rsp), %rcx
andq $0xf, %rcx
cmpq $0x0, %rcx
setne %cl
xorb $-0x1, %cl
andb $0x1, %cl
movzbl %cl, %ecx
andl %ecx, %eax
movl %eax, 0x7c(%rsp)
cmpl $0x0, 0x7c(%rsp)
je 0x3f0d4
jmp 0x3eff6
movq 0xb0(%rsp), %rax
cmpq 0x98(%rsp), %rax
jae 0x3f0cf
movq 0xb0(%rsp), %rax
movapd (%rax), %xmm0
movapd %xmm0, 0x60(%rsp)
movq 0xa8(%rsp), %rax
movapd (%rax), %xmm0
movapd %xmm0, 0x50(%rsp)
movapd 0x60(%rsp), %xmm1
movapd 0x50(%rsp), %xmm0
movapd %xmm1, 0x100(%rsp)
movapd %xmm0, 0xf0(%rsp)
movapd 0x100(%rsp), %xmm0
mulpd 0xf0(%rsp), %xmm0
movapd %xmm0, 0x40(%rsp)
movapd 0x80(%rsp), %xmm1
movapd 0x40(%rsp), %xmm0
movapd %xmm1, 0x140(%rsp)
movapd %xmm0, 0x130(%rsp)
movapd 0x140(%rsp), %xmm0
addpd 0x130(%rsp), %xmm0
movapd %xmm0, 0x80(%rsp)
movq 0xb0(%rsp), %rax
addq $0x10, %rax
movq %rax, 0xb0(%rsp)
movq 0xa8(%rsp), %rax
addq $0x10, %rax
movq %rax, 0xa8(%rsp)
jmp 0x3eff6
jmp 0x3f1d1
jmp 0x3f0d6
movq 0xb0(%rsp), %rax
cmpq 0x98(%rsp), %rax
jae 0x3f1cf
movq 0xb0(%rsp), %rax
movq %rax, 0x160(%rsp)
movq 0x160(%rsp), %rax
movupd (%rax), %xmm0
movapd %xmm0, 0x30(%rsp)
movq 0xa8(%rsp), %rax
movq %rax, 0x158(%rsp)
movq 0x158(%rsp), %rax
movupd (%rax), %xmm0
movapd %xmm0, 0x20(%rsp)
movapd 0x30(%rsp), %xmm1
movapd 0x20(%rsp), %xmm0
movapd %xmm1, 0xe0(%rsp)
movapd %xmm0, 0xd0(%rsp)
movapd 0xe0(%rsp), %xmm0
mulpd 0xd0(%rsp), %xmm0
movapd %xmm0, 0x10(%rsp)
movapd 0x80(%rsp), %xmm1
movapd 0x10(%rsp), %xmm0
movapd %xmm1, 0x120(%rsp)
movapd %xmm0, 0x110(%rsp)
movapd 0x120(%rsp), %xmm0
addpd 0x110(%rsp), %xmm0
movapd %xmm0, 0x80(%rsp)
movq 0xb0(%rsp), %rax
addq $0x10, %rax
movq %rax, 0xb0(%rsp)
movq 0xa8(%rsp), %rax
addq $0x10, %rax
movq %rax, 0xa8(%rsp)
jmp 0x3f0d6
jmp 0x3f1d1
movapd 0x80(%rsp), %xmm0
callq 0x3f280
movsd %xmm0, 0x90(%rsp)
movq 0xb0(%rsp), %rax
cmpq 0xa0(%rsp), %rax
jae 0x3f262
movq 0xb0(%rsp), %rax
movq %rax, %rcx
addq $0x8, %rcx
movq %rcx, 0xb0(%rsp)
movsd (%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
movq 0xa8(%rsp), %rax
movq %rax, %rcx
addq $0x8, %rcx
movq %rcx, 0xa8(%rsp)
movsd (%rax), %xmm0
movsd %xmm0, (%rsp)
movsd 0x8(%rsp), %xmm0
movsd (%rsp), %xmm2
movsd 0x90(%rsp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0x90(%rsp)
jmp 0x3f1e8
movsd 0x90(%rsp), %xmm0
addq $0x168, %rsp            # imm = 0x168
retq
nopw %cs:(%rax,%rax)