#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
float sqrt(float);
float getCorrelation(float *tvec, float tavg, float *svec, float savg,
                     int len) {
  float ta, sa;
  float dt, ds;
  float sum;
  int k;
  ta = sa = sum = 0;
  for (k = 0; k < len; k++) {
    dt = tvec[k] - tavg;
    ds = svec[k] - savg;
    ta += dt * dt;
    sa += ds * ds;
    sum += dt * ds;
  }
  if (sa == 0 || ta == 0)
    return -1;
  return sum / (sqrt(ta) * sqrt(sa));
}


x86 assembly (clang, -O0):
<getCorrelation>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
movss  %xmm0,-0x14(%rbp)
mov    %rsi,-0x20(%rbp)
movss  %xmm1,-0x24(%rbp)
mov    %edx,-0x28(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x3c(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x30(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x2c(%rbp)
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    11e8 <getCorrelation+0xd8>
mov    -0x10(%rbp),%rax
movslq -0x40(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
subss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
subss  -0x24(%rbp),%xmm0
movss  %xmm0,-0x38(%rbp)
movss  -0x34(%rbp),%xmm0
movss  -0x34(%rbp),%xmm2
movss  -0x2c(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x38(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
movss  -0x30(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x34(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
movss  -0x3c(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    114c <getCorrelation+0x3c>
movss  -0x30(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    1204 <getCorrelation+0xf4>
jp     1204 <getCorrelation+0xf4>
jmp    121b <getCorrelation+0x10b>
movss  -0x2c(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    122d <getCorrelation+0x11d>
jp     122d <getCorrelation+0x11d>
movss  0xddd(%rip),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    126a <getCorrelation+0x15a>
movss  -0x3c(%rbp),%xmm0
movss  %xmm0,-0x44(%rbp)
movss  -0x2c(%rbp),%xmm0
call   1030 <sqrt@plt>
movss  %xmm0,-0x48(%rbp)
movss  -0x30(%rbp),%xmm0
call   1030 <sqrt@plt>
movss  -0x48(%rbp),%xmm1
movaps %xmm0,%xmm2
movss  -0x44(%rbp),%xmm0
mulss  %xmm2,%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<getCorrelation>:
sub    $0x28,%rsp
movaps %xmm0,%xmm2
movss  0xee1(%rip),%xmm0
test   %edx,%edx
jle    1245 <getCorrelation+0x135>
mov    %edx,%eax
unpcklps %xmm1,%xmm2
cmp    $0x1,%edx
jne    113b <getCorrelation+0x2b>
xorps  %xmm1,%xmm1
xorps  %xmm6,%xmm6
xor    %ecx,%ecx
jmp    11a5 <getCorrelation+0x95>
mov    %eax,%edx
and    $0xfffffffe,%edx
xorps  %xmm1,%xmm1
xorps  %xmm6,%xmm6
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movss  (%rsi,%rcx,4),%xmm3
movss  0x4(%rsi,%rcx,4),%xmm4
movss  (%rdi,%rcx,4),%xmm5
unpcklps %xmm3,%xmm5
subps  %xmm2,%xmm5
movaps %xmm5,%xmm3
shufps $0x55,%xmm5,%xmm3
mulss  %xmm5,%xmm3
mulps  %xmm5,%xmm5
addps  %xmm1,%xmm5
movss  0x4(%rdi,%rcx,4),%xmm1
unpcklps %xmm4,%xmm1
addss  %xmm6,%xmm3
subps  %xmm2,%xmm1
movaps %xmm1,%xmm6
shufps $0x55,%xmm1,%xmm6
mulss  %xmm1,%xmm6
mulps  %xmm1,%xmm1
addps  %xmm5,%xmm1
addss  %xmm3,%xmm6
add    $0x2,%rcx
cmp    %rcx,%rdx
jne    1150 <getCorrelation+0x40>
test   $0x1,%al
je     11ce <getCorrelation+0xbe>
movss  (%rsi,%rcx,4),%xmm3
movss  (%rdi,%rcx,4),%xmm4
unpcklps %xmm3,%xmm4
subps  %xmm2,%xmm4
movaps %xmm4,%xmm2
shufps $0x55,%xmm4,%xmm2
mulss  %xmm4,%xmm2
mulps  %xmm4,%xmm4
addps  %xmm4,%xmm1
addss  %xmm2,%xmm6
movaps %xmm1,%xmm3
shufps $0x55,%xmm1,%xmm3
xorps  %xmm2,%xmm2
ucomiss %xmm2,%xmm3
jne    11df <getCorrelation+0xcf>
jnp    1245 <getCorrelation+0x135>
ucomiss %xmm2,%xmm1
jne    11e6 <getCorrelation+0xd6>
jnp    1245 <getCorrelation+0x135>
xorps  %xmm0,%xmm0
ucomiss %xmm0,%xmm1
movaps %xmm6,0x10(%rsp)
jb     1208 <getCorrelation+0xf8>
xorps  %xmm2,%xmm2
sqrtss %xmm1,%xmm2
ucomiss %xmm0,%xmm3
jb     1223 <getCorrelation+0x113>
xorps  %xmm0,%xmm0
sqrtss %xmm3,%xmm0
jmp    1235 <getCorrelation+0x125>
movaps %xmm1,%xmm0
movaps %xmm3,(%rsp)
call   1030 <sqrt@plt>
movaps (%rsp),%xmm3
movaps %xmm0,%xmm2
xorps  %xmm0,%xmm0
ucomiss %xmm0,%xmm3
jae    11ff <getCorrelation+0xef>
movaps %xmm3,%xmm0
movss  %xmm2,(%rsp)
call   1030 <sqrt@plt>
movss  (%rsp),%xmm2
movaps 0x10(%rsp),%xmm1
mulss  %xmm0,%xmm2
divss  %xmm2,%xmm1
movaps %xmm1,%xmm0
add    $0x28,%rsp
ret

LLVM IR (-O0):
define float @getCorrelation(float* %0, float %1, float* %2, float %3, i32 %4) {
%6 = alloca float
%7 = alloca float*
%8 = alloca float
%9 = alloca float*
%10 = alloca float
%11 = alloca i32
%12 = alloca float
%13 = alloca float
%14 = alloca float
%15 = alloca float
%16 = alloca float
%17 = alloca i32
store float* %0, float** %7
store float %1, float* %8
store float* %2, float** %9
store float %3, float* %10
store i32 %4, i32* %11
store float 0.000000e+00, float* %16
store float 0.000000e+00, float* %13
store float 0.000000e+00, float* %12
store i32 0, i32* %17
br label %18
18: ; preds = %49, %5
%19 = load i32, i32* %17
%20 = load i32, i32* %11
%21 = icmp slt i32 %19, %20
br i1 %21, label %22, label %52
22: ; preds = %18
%23 = load float*, float** %7
%24 = load i32, i32* %17
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds float, float* %23, i64 %25
%27 = load float, float* %26
%28 = load float, float* %8
%29 = fsub float %27, %28
store float %29, float* %14
%30 = load float*, float** %9
%31 = load i32, i32* %17
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds float, float* %30, i64 %32
%34 = load float, float* %33
%35 = load float, float* %10
%36 = fsub float %34, %35
store float %36, float* %15
%37 = load float, float* %14
%38 = load float, float* %14
%39 = load float, float* %12
%40 = call float @llvm.fmuladd.f32(float %37, float %38, float %39)
store float %40, float* %12
%41 = load float, float* %15
%42 = load float, float* %15
%43 = load float, float* %13
%44 = call float @llvm.fmuladd.f32(float %41, float %42, float %43)
store float %44, float* %13
%45 = load float, float* %14
%46 = load float, float* %15
%47 = load float, float* %16
%48 = call float @llvm.fmuladd.f32(float %45, float %46, float %47)
store float %48, float* %16
br label %49
49: ; preds = %22
%50 = load i32, i32* %17
%51 = add nsw i32 %50, 1
store i32 %51, i32* %17
br label %18
52: ; preds = %18
%53 = load float, float* %13
%54 = fcmp oeq float %53, 0.000000e+00
br i1 %54, label %58, label %55
55: ; preds = %52
%56 = load float, float* %12
%57 = fcmp oeq float %56, 0.000000e+00
br i1 %57, label %58, label %59
58: ; preds = %55, %52
store float -1.000000e+00, float* %6
br label %67
59: ; preds = %55
%60 = load float, float* %16
%61 = load float, float* %12
%62 = call float @sqrt(float %61)
%63 = load float, float* %13
%64 = call float @sqrt(float %63)
%65 = fmul float %62, %64
%66 = fdiv float %60, %65
store float %66, float* %6
br label %67
67: ; preds = %59, %58
%68 = load float, float* %6
ret float %68
}

LLVM IR (-O2):
define float @getCorrelation(float* nocapture %0, float %1, float* nocapture %2, float %3, i32 %4) {
%6 = icmp sgt i32 %4, 0
br i1 %6, label %7, label %78
7: ; preds = %5
%8 = zext i32 %4 to i64
%9 = insertelement <2 x float> poison, float %1, i64 0
%10 = insertelement <2 x float> %9, float %3, i64 1
%11 = and i64 %8, 1
%12 = icmp eq i32 %4, 1
br i1 %12, label %46, label %13
13: ; preds = %7
%14 = and i64 %8, 4294967294
br label %15
15: ; preds = %15, %13
%16 = phi i64 [ 0, %13 ], [ %43, %15 ]
%17 = phi float [ 0.000000e+00, %13 ], [ %42, %15 ]
%18 = phi <2 x float> [ zeroinitializer, %13 ], [ %39, %15 ]
%19 = phi i64 [ 0, %13 ], [ %44, %15 ]
%20 = getelementptr inbounds float, float* %0, i64 %16
%21 = load float, float* %20
%22 = getelementptr inbounds float, float* %2, i64 %16
%23 = load float, float* %22
%24 = insertelement <2 x float> poison, float %21, i64 0
%25 = insertelement <2 x float> %24, float %23, i64 1
%26 = fsub <2 x float> %25, %10
%27 = call <2 x float> @llvm.fmuladd.v2f32(<2 x float> %26, <2 x float> %26, <2 x float> %18)
%28 = extractelement <2 x float> %26, i64 0
%29 = extractelement <2 x float> %26, i64 1
%30 = tail call float @llvm.fmuladd.f32(float %28, float %29, float %17)
%31 = or i64 %16, 1
%32 = getelementptr inbounds float, float* %0, i64 %31
%33 = load float, float* %32
%34 = getelementptr inbounds float, float* %2, i64 %31
%35 = load float, float* %34
%36 = insertelement <2 x float> poison, float %33, i64 0
%37 = insertelement <2 x float> %36, float %35, i64 1
%38 = fsub <2 x float> %37, %10
%39 = call <2 x float> @llvm.fmuladd.v2f32(<2 x float> %38, <2 x float> %38, <2 x float> %27)
%40 = extractelement <2 x float> %38, i64 0
%41 = extractelement <2 x float> %38, i64 1
%42 = tail call float @llvm.fmuladd.f32(float %40, float %41, float %30)
%43 = add nuw nsw i64 %16, 2
%44 = add i64 %19, 2
%45 = icmp eq i64 %44, %14
br i1 %45, label %46, label %15
46: ; preds = %15, %7
%47 = phi <2 x float> [ undef, %7 ], [ %39, %15 ]
%48 = phi float [ undef, %7 ], [ %42, %15 ]
%49 = phi i64 [ 0, %7 ], [ %43, %15 ]
%50 = phi float [ 0.000000e+00, %7 ], [ %42, %15 ]
%51 = phi <2 x float> [ zeroinitializer, %7 ], [ %39, %15 ]
%52 = icmp eq i64 %11, 0
br i1 %52, label %65, label %53
53: ; preds = %46
%54 = getelementptr inbounds float, float* %0, i64 %49
%55 = load float, float* %54
%56 = getelementptr inbounds float, float* %2, i64 %49
%57 = load float, float* %56
%58 = insertelement <2 x float> poison, float %55, i64 0
%59 = insertelement <2 x float> %58, float %57, i64 1
%60 = fsub <2 x float> %59, %10
%61 = call <2 x float> @llvm.fmuladd.v2f32(<2 x float> %60, <2 x float> %60, <2 x float> %51)
%62 = extractelement <2 x float> %60, i64 0
%63 = extractelement <2 x float> %60, i64 1
%64 = tail call float @llvm.fmuladd.f32(float %62, float %63, float %50)
br label %65
65: ; preds = %46, %53
%66 = phi <2 x float> [ %47, %46 ], [ %61, %53 ]
%67 = phi float [ %48, %46 ], [ %64, %53 ]
%68 = extractelement <2 x float> %66, i64 1
%69 = fcmp oeq float %68, 0.000000e+00
%70 = extractelement <2 x float> %66, i64 0
%71 = fcmp oeq float %70, 0.000000e+00
%72 = select i1 %69, i1 true, i1 %71
br i1 %72, label %78, label %73
73: ; preds = %65
%74 = tail call float @sqrt(float %70)
%75 = tail call float @sqrt(float %68)
%76 = fmul float %74, %75
%77 = fdiv float %67, %76
br label %78
78: ; preds = %5, %65, %73
%79 = phi float [ %77, %73 ], [ -1.000000e+00, %65 ], [ -1.000000e+00, %5 ]
ret float %79
}