double c_dsdot(const int N, const float *X, const int strideX, const float *Y,
               const int strideY) {
  double dot;
  int ix;
  int iy;
  int m;
  int i;
  dot = 0.0;
  if (N <= 0) {
    return dot;
  }
  if (strideX == 1 && strideY == 1) {
    m = N % 5;
    if (m > 0) {
      for (i = 0; i < m; i++) {
        dot += (double)X[i] * (double)Y[i];
      }
    }
    if (N < 5) {
      return dot;
    }
    for (i = m; i < N; i += 5) {
      dot += ((double)X[i] * (double)Y[i]) +
             ((double)X[i + 1] * (double)Y[i + 1]) +
             ((double)X[i + 2] * (double)Y[i + 2]) +
             ((double)X[i + 3] * (double)Y[i + 3]) +
             ((double)X[i + 4] * (double)Y[i + 4]);
    }
    return dot;
  }
  if (strideX < 0) {
    ix = (1 - N) * strideX;
  } else {
    ix = 0;
  }
  if (strideY < 0) {
    iy = (1 - N) * strideY;
  } else {
    iy = 0;
  }
  for (i = 0; i < N; i++) {
    dot += (double)X[ix] * (double)Y[iy];
    ix += strideX;
    iy += strideY;
  }
  return dot;
}


x86 assembly (clang, -O0):
<c_dsdot>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0xc(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8d,-0x2c(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x38(%rbp)
cmpl   $0x0,-0xc(%rbp)
jg     1137 <c_dsdot+0x37>
movsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13c0 <c_dsdot+0x2c0>
cmpl   $0x1,-0x1c(%rbp)
jne    1305 <c_dsdot+0x205>
cmpl   $0x1,-0x2c(%rbp)
jne    1305 <c_dsdot+0x205>
mov    -0xc(%rbp),%eax
mov    $0x5,%ecx
cltd
idiv   %ecx
mov    %edx,-0x44(%rbp)
cmpl   $0x0,-0x44(%rbp)
jle    11bd <c_dsdot+0xbd>
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x44(%rbp),%eax
jge    11b8 <c_dsdot+0xb8>
mov    -0x18(%rbp),%rax
movslq -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
mov    -0x28(%rbp),%rax
movslq -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
cvtss2sd %xmm1,%xmm2
movsd  -0x38(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    116a <c_dsdot+0x6a>
jmp    11bd <c_dsdot+0xbd>
cmpl   $0x5,-0xc(%rbp)
jge    11d6 <c_dsdot+0xd6>
movsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13c0 <c_dsdot+0x2c0>
mov    -0x44(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    12f6 <c_dsdot+0x1f6>
mov    -0x18(%rbp),%rax
movslq -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm1
mov    -0x28(%rbp),%rax
movslq -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm2
mov    -0x18(%rbp),%rax
mov    -0x48(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm3
cvtss2sd %xmm3,%xmm3
mulsd  %xmm3,%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
mov    -0x18(%rbp),%rax
mov    -0x48(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm2
cvtss2sd %xmm2,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
mov    -0x48(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm1
cvtss2sd %xmm1,%xmm1
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm2
cvtss2sd %xmm2,%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
mov    -0x18(%rbp),%rax
mov    -0x48(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
mov    -0x28(%rbp),%rax
mov    -0x48(%rbp),%ecx
add    $0x4,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm2
cvtss2sd %xmm2,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x48(%rbp),%eax
add    $0x5,%eax
mov    %eax,-0x48(%rbp)
jmp    11dc <c_dsdot+0xdc>
movsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13c0 <c_dsdot+0x2c0>
cmpl   $0x0,-0x1c(%rbp)
jge    1323 <c_dsdot+0x223>
mov    $0x1,%eax
sub    -0xc(%rbp),%eax
imul   -0x1c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
jmp    132a <c_dsdot+0x22a>
movl   $0x0,-0x3c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jge    1348 <c_dsdot+0x248>
mov    $0x1,%eax
sub    -0xc(%rbp),%eax
imul   -0x2c(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    134f <c_dsdot+0x24f>
movl   $0x0,-0x40(%rbp)
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    13b6 <c_dsdot+0x2b6>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
cvtss2sd %xmm1,%xmm2
movsd  -0x38(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x40(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1356 <c_dsdot+0x256>
movsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<c_dsdot>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
test   %edi,%edi
jle    115c <c_dsdot+0x5c>
cmp    $0x1,%edx
jne    1165 <c_dsdot+0x65>
cmp    $0x1,%r8d
jne    1165 <c_dsdot+0x65>
mov    %edi,%eax
mov    $0xcccccccd,%edx
imul   %rax,%rdx
shr    $0x22,%rdx
lea    (%rdx,%rdx,4),%edx
mov    %edi,%r9d
sub    %edx,%r9d
je     1251 <c_dsdot+0x151>
mov    %r9d,%r8d
imul   $0xcccccccd,%edi,%edx
add    $0x33333333,%edx
cmp    $0x33333333,%edx
jae    1257 <c_dsdot+0x157>
xorpd  %xmm0,%xmm0
xor    %ebx,%ebx
jmp    12b5 <c_dsdot+0x1b5>
xorpd  %xmm0,%xmm0
jmp    13af <c_dsdot+0x2af>
lea    -0x1(%rdi),%eax
neg    %eax
mov    %eax,%r9d
imul   %r8d,%r9d
mov    %r8d,%r10d
sar    $0x1f,%r10d
and    %r9d,%r10d
imul   %edx,%eax
mov    %edx,%ebx
sar    $0x1f,%ebx
and    %eax,%ebx
mov    %edi,%r11d
movslq %r10d,%r9
movslq %ebx,%rax
dec    %r11d
jne    119c <c_dsdot+0x9c>
xorpd  %xmm0,%xmm0
jmp    1220 <c_dsdot+0x120>
movslq %r8d,%r8
movslq %edx,%r10
mov    %edi,%r11d
and    $0xfffffffe,%r11d
lea    (%rsi,%rax,4),%rdx
lea    0x0(,%r10,8),%r14
lea    (%rsi,%r10,4),%r15
lea    (%rcx,%r9,4),%rbx
lea    0x0(,%r8,8),%r12
lea    (%rcx,%r8,4),%r13
xorpd  %xmm0,%xmm0
nopl   (%rax)
movss  (%rdx),%xmm1
cvtss2sd %xmm1,%xmm1
movss  (%rbx),%xmm2
cvtss2sd %xmm2,%xmm2
mulsd  %xmm1,%xmm2
addsd  %xmm0,%xmm2
movss  (%r15,%rax,4),%xmm0
add    %r10,%rax
xorps  %xmm1,%xmm1
cvtss2sd %xmm0,%xmm1
movss  0x0(%r13,%r9,4),%xmm0
add    %r8,%r9
cvtss2sd %xmm0,%xmm0
mulsd  %xmm1,%xmm0
addsd  %xmm2,%xmm0
add    %r10,%rax
add    %r8,%r9
add    %r14,%rdx
add    %r12,%rbx
add    $0xfffffffe,%r11d
jne    11d0 <c_dsdot+0xd0>
test   $0x1,%dil
je     13af <c_dsdot+0x2af>
movss  (%rsi,%rax,4),%xmm1
xorps  %xmm2,%xmm2
cvtss2sd %xmm1,%xmm2
movss  (%rcx,%r9,4),%xmm1
cvtss2sd %xmm1,%xmm1
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movapd %xmm1,%xmm0
jmp    13af <c_dsdot+0x2af>
xorpd  %xmm0,%xmm0
jmp    12d5 <c_dsdot+0x1d5>
mov    %r8d,%edx
and    $0x6,%edx
xorpd  %xmm0,%xmm0
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movss  (%rsi,%rbx,4),%xmm1
movss  0x4(%rsi,%rbx,4),%xmm2
cvtss2sd %xmm1,%xmm1
movss  (%rcx,%rbx,4),%xmm3
movss  0x4(%rcx,%rbx,4),%xmm4
cvtss2sd %xmm3,%xmm3
mulsd  %xmm1,%xmm3
addsd  %xmm0,%xmm3
xorps  %xmm1,%xmm1
cvtss2sd %xmm2,%xmm1
xorps  %xmm0,%xmm0
cvtss2sd %xmm4,%xmm0
mulsd  %xmm1,%xmm0
addsd  %xmm3,%xmm0
add    $0x2,%rbx
cmp    %rbx,%rdx
jne    1270 <c_dsdot+0x170>
test   $0x1,%r8b
je     12d5 <c_dsdot+0x1d5>
movss  (%rsi,%rbx,4),%xmm1
cvtss2sd %xmm1,%xmm1
movss  (%rcx,%rbx,4),%xmm2
cvtss2sd %xmm2,%xmm2
mulsd  %xmm1,%xmm2
addsd  %xmm2,%xmm0
cmp    $0x5,%edi
jl     13af <c_dsdot+0x2af>
cmp    %edi,%r9d
jge    13af <c_dsdot+0x2af>
mov    $0xcccccccd,%ebx
imul   %rax,%rbx
shr    $0x22,%rbx
lea    (%rbx,%rbx,4),%r8
mov    $0x4,%edx
sub    %r8,%rdx
lea    (%rcx,%rdx,4),%rcx
lea    (%rsi,%rdx,4),%rdx
lea    (%rbx,%rbx,4),%esi
neg    %esi
nopl   (%rax)
movss  -0x10(%rdx,%rax,4),%xmm1
movss  -0xc(%rdx,%rax,4),%xmm2
cvtss2sd %xmm1,%xmm1
movss  -0x10(%rcx,%rax,4),%xmm3
movss  -0xc(%rcx,%rax,4),%xmm4
cvtss2sd %xmm3,%xmm3
mulsd  %xmm1,%xmm3
xorps  %xmm1,%xmm1
cvtss2sd %xmm2,%xmm1
xorps  %xmm2,%xmm2
cvtss2sd %xmm4,%xmm2
mulsd  %xmm1,%xmm2
addsd  %xmm3,%xmm2
movss  -0x8(%rdx,%rax,4),%xmm1
cvtss2sd %xmm1,%xmm1
movss  -0x8(%rcx,%rax,4),%xmm3
cvtss2sd %xmm3,%xmm3
mulsd  %xmm1,%xmm3
addsd  %xmm2,%xmm3
movss  -0x4(%rdx,%rax,4),%xmm1
cvtss2sd %xmm1,%xmm1
movss  -0x4(%rcx,%rax,4),%xmm2
cvtss2sd %xmm2,%xmm2
mulsd  %xmm1,%xmm2
addsd  %xmm3,%xmm2
movss  (%rdx,%rax,4),%xmm1
cvtss2sd %xmm1,%xmm1
movss  (%rcx,%rax,4),%xmm3
cvtss2sd %xmm3,%xmm3
mulsd  %xmm1,%xmm3
addsd  %xmm2,%xmm3
addsd  %xmm3,%xmm0
add    $0x5,%rax
lea    (%rsi,%rax,1),%ebx
cmp    %edi,%ebx
jl     1310 <c_dsdot+0x210>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define double @c_dsdot(i32 %0, float* %1, i32 %2, float* %3, i32 %4) {
%6 = alloca double
%7 = alloca i32
%8 = alloca float*
%9 = alloca i32
%10 = alloca float*
%11 = alloca i32
%12 = alloca double
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
store i32 %0, i32* %7
store float* %1, float** %8
store i32 %2, i32* %9
store float* %3, float** %10
store i32 %4, i32* %11
store double 0.000000e+00, double* %12
%17 = load i32, i32* %7
%18 = icmp sle i32 %17, 0
br i1 %18, label %19, label %21
19: ; preds = %5
%20 = load double, double* %12
store double %20, double* %6
br label %197
21: ; preds = %5
%22 = load i32, i32* %9
%23 = icmp eq i32 %22, 1
br i1 %23, label %24, label %148
24: ; preds = %21
%25 = load i32, i32* %11
%26 = icmp eq i32 %25, 1
br i1 %26, label %27, label %148
27: ; preds = %24
%28 = load i32, i32* %7
%29 = srem i32 %28, 5
store i32 %29, i32* %15
%30 = load i32, i32* %15
%31 = icmp sgt i32 %30, 0
br i1 %31, label %32, label %56
32: ; preds = %27
store i32 0, i32* %16
br label %33
33: ; preds = %52, %32
%34 = load i32, i32* %16
%35 = load i32, i32* %15
%36 = icmp slt i32 %34, %35
br i1 %36, label %37, label %55
37: ; preds = %33
%38 = load float*, float** %8
%39 = load i32, i32* %16
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds float, float* %38, i64 %40
%42 = load float, float* %41
%43 = fpext float %42 to double
%44 = load float*, float** %10
%45 = load i32, i32* %16
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds float, float* %44, i64 %46
%48 = load float, float* %47
%49 = fpext float %48 to double
%50 = load double, double* %12
%51 = call double @llvm.fmuladd.f64(double %43, double %49, double %50)
store double %51, double* %12
br label %52
52: ; preds = %37
%53 = load i32, i32* %16
%54 = add nsw i32 %53, 1
store i32 %54, i32* %16
br label %33
55: ; preds = %33
br label %56
56: ; preds = %55, %27
%57 = load i32, i32* %7
%58 = icmp slt i32 %57, 5
br i1 %58, label %59, label %61
59: ; preds = %56
%60 = load double, double* %12
store double %60, double* %6
br label %197
61: ; preds = %56
%62 = load i32, i32* %15
store i32 %62, i32* %16
br label %63
63: ; preds = %143, %61
%64 = load i32, i32* %16
%65 = load i32, i32* %7
%66 = icmp slt i32 %64, %65
br i1 %66, label %67, label %146
67: ; preds = %63
%68 = load float*, float** %8
%69 = load i32, i32* %16
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds float, float* %68, i64 %70
%72 = load float, float* %71
%73 = fpext float %72 to double
%74 = load float*, float** %10
%75 = load i32, i32* %16
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds float, float* %74, i64 %76
%78 = load float, float* %77
%79 = fpext float %78 to double
%80 = load float*, float** %8
%81 = load i32, i32* %16
%82 = add nsw i32 %81, 1
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds float, float* %80, i64 %83
%85 = load float, float* %84
%86 = fpext float %85 to double
%87 = load float*, float** %10
%88 = load i32, i32* %16
%89 = add nsw i32 %88, 1
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds float, float* %87, i64 %90
%92 = load float, float* %91
%93 = fpext float %92 to double
%94 = fmul double %86, %93
%95 = call double @llvm.fmuladd.f64(double %73, double %79, double %94)
%96 = load float*, float** %8
%97 = load i32, i32* %16
%98 = add nsw i32 %97, 2
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds float, float* %96, i64 %99
%101 = load float, float* %100
%102 = fpext float %101 to double
%103 = load float*, float** %10
%104 = load i32, i32* %16
%105 = add nsw i32 %104, 2
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds float, float* %103, i64 %106
%108 = load float, float* %107
%109 = fpext float %108 to double
%110 = call double @llvm.fmuladd.f64(double %102, double %109, double %95)
%111 = load float*, float** %8
%112 = load i32, i32* %16
%113 = add nsw i32 %112, 3
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds float, float* %111, i64 %114
%116 = load float, float* %115
%117 = fpext float %116 to double
%118 = load float*, float** %10
%119 = load i32, i32* %16
%120 = add nsw i32 %119, 3
%121 = sext i32 %120 to i64
%122 = getelementptr inbounds float, float* %118, i64 %121
%123 = load float, float* %122
%124 = fpext float %123 to double
%125 = call double @llvm.fmuladd.f64(double %117, double %124, double %110)
%126 = load float*, float** %8
%127 = load i32, i32* %16
%128 = add nsw i32 %127, 4
%129 = sext i32 %128 to i64
%130 = getelementptr inbounds float, float* %126, i64 %129
%131 = load float, float* %130
%132 = fpext float %131 to double
%133 = load float*, float** %10
%134 = load i32, i32* %16
%135 = add nsw i32 %134, 4
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds float, float* %133, i64 %136
%138 = load float, float* %137
%139 = fpext float %138 to double
%140 = call double @llvm.fmuladd.f64(double %132, double %139, double %125)
%141 = load double, double* %12
%142 = fadd double %141, %140
store double %142, double* %12
br label %143
143: ; preds = %67
%144 = load i32, i32* %16
%145 = add nsw i32 %144, 5
store i32 %145, i32* %16
br label %63
146: ; preds = %63
%147 = load double, double* %12
store double %147, double* %6
br label %197
148: ; preds = %24, %21
%149 = load i32, i32* %9
%150 = icmp slt i32 %149, 0
br i1 %150, label %151, label %156
151: ; preds = %148
%152 = load i32, i32* %7
%153 = sub nsw i32 1, %152
%154 = load i32, i32* %9
%155 = mul nsw i32 %153, %154
store i32 %155, i32* %13
br label %157
156: ; preds = %148
store i32 0, i32* %13
br label %157
157: ; preds = %156, %151
%158 = load i32, i32* %11
%159 = icmp slt i32 %158, 0
br i1 %159, label %160, label %165
160: ; preds = %157
%161 = load i32, i32* %7
%162 = sub nsw i32 1, %161
%163 = load i32, i32* %11
%164 = mul nsw i32 %162, %163
store i32 %164, i32* %14
br label %166
165: ; preds = %157
store i32 0, i32* %14
br label %166
166: ; preds = %165, %160
store i32 0, i32* %16
br label %167
167: ; preds = %192, %166
%168 = load i32, i32* %16
%169 = load i32, i32* %7
%170 = icmp slt i32 %168, %169
br i1 %170, label %171, label %195
171: ; preds = %167
%172 = load float*, float** %8
%173 = load i32, i32* %13
%174 = sext i32 %173 to i64
%175 = getelementptr inbounds float, float* %172, i64 %174
%176 = load float, float* %175
%177 = fpext float %176 to double
%178 = load float*, float** %10
%179 = load i32, i32* %14
%180 = sext i32 %179 to i64
%181 = getelementptr inbounds float, float* %178, i64 %180
%182 = load float, float* %181
%183 = fpext float %182 to double
%184 = load double, double* %12
%185 = call double @llvm.fmuladd.f64(double %177, double %183, double %184)
store double %185, double* %12
%186 = load i32, i32* %9
%187 = load i32, i32* %13
%188 = add nsw i32 %187, %186
store i32 %188, i32* %13
%189 = load i32, i32* %11
%190 = load i32, i32* %14
%191 = add nsw i32 %190, %189
store i32 %191, i32* %14
br label %192
192: ; preds = %171
%193 = load i32, i32* %16
%194 = add nsw i32 %193, 1
store i32 %194, i32* %16
br label %167
195: ; preds = %167
%196 = load double, double* %12
store double %196, double* %6
br label %197
197: ; preds = %195, %146, %59, %19
%198 = load double, double* %6
ret double %198
}

LLVM IR (-O2):
define double @c_dsdot(i32 %0, float* nocapture %1, i32 %2, float* nocapture %3, i32 %4) {
%6 = icmp slt i32 %0, 1
br i1 %6, label %165, label %7
7: ; preds = %5
%8 = icmp eq i32 %2, 1
%9 = icmp eq i32 %4, 1
%10 = and i1 %8, %9
br i1 %10, label %11, label %110
11: ; preds = %7
%12 = urem i32 %0, 5
%13 = icmp eq i32 %12, 0
br i1 %13, label %56, label %14
14: ; preds = %11
%15 = zext i32 %12 to i64
%16 = urem i32 %0, 5
%17 = and i64 %15, 1
%18 = icmp eq i32 %16, 1
br i1 %18, label %43, label %19
19: ; preds = %14
%20 = and i64 %15, 6
br label %21
21: ; preds = %21, %19
%22 = phi i64 [ 0, %19 ], [ %40, %21 ]
%23 = phi double [ 0.000000e+00, %19 ], [ %39, %21 ]
%24 = phi i64 [ 0, %19 ], [ %41, %21 ]
%25 = getelementptr inbounds float, float* %1, i64 %22
%26 = load float, float* %25
%27 = fpext float %26 to double
%28 = getelementptr inbounds float, float* %3, i64 %22
%29 = load float, float* %28
%30 = fpext float %29 to double
%31 = tail call double @llvm.fmuladd.f64(double %27, double %30, double %23)
%32 = or i64 %22, 1
%33 = getelementptr inbounds float, float* %1, i64 %32
%34 = load float, float* %33
%35 = fpext float %34 to double
%36 = getelementptr inbounds float, float* %3, i64 %32
%37 = load float, float* %36
%38 = fpext float %37 to double
%39 = tail call double @llvm.fmuladd.f64(double %35, double %38, double %31)
%40 = add nuw nsw i64 %22, 2
%41 = add i64 %24, 2
%42 = icmp eq i64 %41, %20
br i1 %42, label %43, label %21
43: ; preds = %21, %14
%44 = phi double [ undef, %14 ], [ %39, %21 ]
%45 = phi i64 [ 0, %14 ], [ %40, %21 ]
%46 = phi double [ 0.000000e+00, %14 ], [ %39, %21 ]
%47 = icmp eq i64 %17, 0
br i1 %47, label %56, label %48
48: ; preds = %43
%49 = getelementptr inbounds float, float* %1, i64 %45
%50 = load float, float* %49
%51 = fpext float %50 to double
%52 = getelementptr inbounds float, float* %3, i64 %45
%53 = load float, float* %52
%54 = fpext float %53 to double
%55 = tail call double @llvm.fmuladd.f64(double %51, double %54, double %46)
br label %56
56: ; preds = %48, %43, %11
%57 = phi double [ 0.000000e+00, %11 ], [ %44, %43 ], [ %55, %48 ]
%58 = icmp sgt i32 %0, 4
%59 = icmp slt i32 %12, %0
%60 = and i1 %58, %59
br i1 %60, label %61, label %165
61: ; preds = %56
%62 = urem i32 %0, 5
%63 = zext i32 %62 to i64
br label %64
64: ; preds = %61, %64
%65 = phi i64 [ %63, %61 ], [ %107, %64 ]
%66 = phi double [ %57, %61 ], [ %106, %64 ]
%67 = getelementptr inbounds float, float* %1, i64 %65
%68 = load float, float* %67
%69 = fpext float %68 to double
%70 = getelementptr inbounds float, float* %3, i64 %65
%71 = load float, float* %70
%72 = fpext float %71 to double
%73 = add nuw nsw i64 %65, 1
%74 = getelementptr inbounds float, float* %1, i64 %73
%75 = load float, float* %74
%76 = fpext float %75 to double
%77 = getelementptr inbounds float, float* %3, i64 %73
%78 = load float, float* %77
%79 = fpext float %78 to double
%80 = fmul double %76, %79
%81 = tail call double @llvm.fmuladd.f64(double %69, double %72, double %80)
%82 = add nuw nsw i64 %65, 2
%83 = getelementptr inbounds float, float* %1, i64 %82
%84 = load float, float* %83
%85 = fpext float %84 to double
%86 = getelementptr inbounds float, float* %3, i64 %82
%87 = load float, float* %86
%88 = fpext float %87 to double
%89 = tail call double @llvm.fmuladd.f64(double %85, double %88, double %81)
%90 = add nuw nsw i64 %65, 3
%91 = getelementptr inbounds float, float* %1, i64 %90
%92 = load float, float* %91
%93 = fpext float %92 to double
%94 = getelementptr inbounds float, float* %3, i64 %90
%95 = load float, float* %94
%96 = fpext float %95 to double
%97 = tail call double @llvm.fmuladd.f64(double %93, double %96, double %89)
%98 = add nuw nsw i64 %65, 4
%99 = getelementptr inbounds float, float* %1, i64 %98
%100 = load float, float* %99
%101 = fpext float %100 to double
%102 = getelementptr inbounds float, float* %3, i64 %98
%103 = load float, float* %102
%104 = fpext float %103 to double
%105 = tail call double @llvm.fmuladd.f64(double %101, double %104, double %97)
%106 = fadd double %66, %105
%107 = add nuw nsw i64 %65, 5
%108 = trunc i64 %107 to i32
%109 = icmp slt i32 %108, %0
br i1 %109, label %64, label %165
110: ; preds = %7
%111 = sub nsw i32 1, %0
%112 = icmp slt i32 %4, 0
%113 = mul nsw i32 %111, %4
%114 = select i1 %112, i32 %113, i32 0
%115 = icmp slt i32 %2, 0
%116 = mul nsw i32 %111, %2
%117 = select i1 %115, i32 %116, i32 0
%118 = sext i32 %114 to i64
%119 = sext i32 %4 to i64
%120 = sext i32 %117 to i64
%121 = sext i32 %2 to i64
%122 = and i32 %0, 1
%123 = icmp eq i32 %0, 1
br i1 %123, label %151, label %124
124: ; preds = %110
%125 = and i32 %0, -2
br label %126
126: ; preds = %126, %124
%127 = phi i64 [ %120, %124 ], [ %147, %126 ]
%128 = phi i64 [ %118, %124 ], [ %148, %126 ]
%129 = phi double [ 0.000000e+00, %124 ], [ %146, %126 ]
%130 = phi i32 [ 0, %124 ], [ %149, %126 ]
%131 = getelementptr inbounds float, float* %1, i64 %127
%132 = load float, float* %131
%133 = fpext float %132 to double
%134 = getelementptr inbounds float, float* %3, i64 %128
%135 = load float, float* %134
%136 = fpext float %135 to double
%137 = tail call double @llvm.fmuladd.f64(double %133, double %136, double %129)
%138 = add i64 %127, %121
%139 = add i64 %128, %119
%140 = getelementptr inbounds float, float* %1, i64 %138
%141 = load float, float* %140
%142 = fpext float %141 to double
%143 = getelementptr inbounds float, float* %3, i64 %139
%144 = load float, float* %143
%145 = fpext float %144 to double
%146 = tail call double @llvm.fmuladd.f64(double %142, double %145, double %137)
%147 = add i64 %138, %121
%148 = add i64 %139, %119
%149 = add i32 %130, 2
%150 = icmp eq i32 %149, %125
br i1 %150, label %151, label %126
151: ; preds = %126, %110
%152 = phi double [ undef, %110 ], [ %146, %126 ]
%153 = phi i64 [ %120, %110 ], [ %147, %126 ]
%154 = phi i64 [ %118, %110 ], [ %148, %126 ]
%155 = phi double [ 0.000000e+00, %110 ], [ %146, %126 ]
%156 = icmp eq i32 %122, 0
br i1 %156, label %165, label %157
157: ; preds = %151
%158 = getelementptr inbounds float, float* %1, i64 %153
%159 = load float, float* %158
%160 = fpext float %159 to double
%161 = getelementptr inbounds float, float* %3, i64 %154
%162 = load float, float* %161
%163 = fpext float %162 to double
%164 = tail call double @llvm.fmuladd.f64(double %160, double %163, double %155)
br label %165
165: ; preds = %157, %151, %64, %56, %5
%166 = phi double [ 0.000000e+00, %5 ], [ %57, %56 ], [ %106, %64 ], [ %152, %151 ], [ %164, %157 ]
ret double %166
}