double fv_bound(float *vp, int N, float alpha) {
  int i;
  double count = 0;
  if (!vp)
    return 0;
  for (i = 0; i < N; i++) {
    if (vp[i] > alpha)
      count++;
  }
  return count;
}


x86 assembly (clang, -O0):
<fv_bound>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movss  %xmm0,-0x18(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    1130 <fv_bound+0x30>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1189 <fv_bound+0x89>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    117f <fv_bound+0x7f>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
ucomiss -0x18(%rbp),%xmm0
jbe    116c <fv_bound+0x6c>
movsd  0xe9e(%rip),%xmm0
addsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x28(%rbp)
jmp    1171 <fv_bound+0x71>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1137 <fv_bound+0x37>
movsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<fv_bound>:
xorpd  %xmm1,%xmm1
test   %rdi,%rdi
je     1171 <fv_bound+0x71>
test   %esi,%esi
jle    1171 <fv_bound+0x71>
mov    %esi,%ecx
lea    -0x1(%rcx),%rdx
mov    %ecx,%eax
and    $0x3,%eax
cmp    $0x3,%rdx
jae    1176 <fv_bound+0x76>
xorpd  %xmm2,%xmm2
xor    %edx,%edx
movapd %xmm2,%xmm1
test   %rax,%rax
je     1171 <fv_bound+0x71>
lea    (%rdi,%rdx,4),%rcx
xor    %edx,%edx
movsd  0xec5(%rip),%xmm3
movapd %xmm2,%xmm1
jmp    115d <fv_bound+0x5d>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%rdx
movapd %xmm1,%xmm2
cmp    %rdx,%rax
je     1171 <fv_bound+0x71>
movss  (%rcx,%rdx,4),%xmm4
ucomiss %xmm0,%xmm4
addsd  %xmm3,%xmm1
ja     1150 <fv_bound+0x50>
movapd %xmm2,%xmm1
jmp    1150 <fv_bound+0x50>
movapd %xmm1,%xmm0
ret
and    $0xfffffffc,%ecx
xorpd  %xmm2,%xmm2
xor    %edx,%edx
movsd  0xe79(%rip),%xmm1
jmp    1199 <fv_bound+0x99>
nopl   0x0(%rax)
add    $0x4,%rdx
cmp    %rdx,%rcx
je     1124 <fv_bound+0x24>
movss  (%rdi,%rdx,4),%xmm3
ucomiss %xmm0,%xmm3
jbe    11a7 <fv_bound+0xa7>
addsd  %xmm1,%xmm2
movss  0x4(%rdi,%rdx,4),%xmm3
ucomiss %xmm0,%xmm3
jbe    11b6 <fv_bound+0xb6>
addsd  %xmm1,%xmm2
movss  0x8(%rdi,%rdx,4),%xmm3
ucomiss %xmm0,%xmm3
jbe    11c5 <fv_bound+0xc5>
addsd  %xmm1,%xmm2
movss  0xc(%rdi,%rdx,4),%xmm3
ucomiss %xmm0,%xmm3
jbe    1190 <fv_bound+0x90>
addsd  %xmm1,%xmm2
jmp    1190 <fv_bound+0x90>

LLVM IR (-O0):
define double @fv_bound(float* %0, i32 %1, float %2) {
%4 = alloca double
%5 = alloca float*
%6 = alloca i32
%7 = alloca float
%8 = alloca i32
%9 = alloca double
store float* %0, float** %5
store i32 %1, i32* %6
store float %2, float* %7
store double 0.000000e+00, double* %9
%10 = load float*, float** %5
%11 = icmp ne float* %10, null
br i1 %11, label %13, label %12
12: ; preds = %3
store double 0.000000e+00, double* %4
br label %35
13: ; preds = %3
store i32 0, i32* %8
br label %14
14: ; preds = %30, %13
%15 = load i32, i32* %8
%16 = load i32, i32* %6
%17 = icmp slt i32 %15, %16
br i1 %17, label %18, label %33
18: ; preds = %14
%19 = load float*, float** %5
%20 = load i32, i32* %8
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds float, float* %19, i64 %21
%23 = load float, float* %22
%24 = load float, float* %7
%25 = fcmp ogt float %23, %24
br i1 %25, label %26, label %29
26: ; preds = %18
%27 = load double, double* %9
%28 = fadd double %27, 1.000000e+00
store double %28, double* %9
br label %29
29: ; preds = %26, %18
br label %30
30: ; preds = %29
%31 = load i32, i32* %8
%32 = add nsw i32 %31, 1
store i32 %32, i32* %8
br label %14
33: ; preds = %14
%34 = load double, double* %9
store double %34, double* %4
br label %35
35: ; preds = %33, %12
%36 = load double, double* %4
ret double %36
}

LLVM IR (-O2):
define double @fv_bound(float* %0, i32 %1, float %2) {
%4 = icmp ne float* %0, null
%5 = icmp sgt i32 %1, 0
%6 = and i1 %4, %5
br i1 %6, label %7, label %61
7: ; preds = %3
%8 = zext i32 %1 to i64
%9 = add nsw i64 %8, -1
%10 = and i64 %8, 3
%11 = icmp ult i64 %9, 3
br i1 %11, label %44, label %12
12: ; preds = %7
%13 = and i64 %8, 4294967292
br label %14
14: ; preds = %14, %12
%15 = phi i64 [ 0, %12 ], [ %41, %14 ]
%16 = phi double [ 0.000000e+00, %12 ], [ %40, %14 ]
%17 = phi i64 [ 0, %12 ], [ %42, %14 ]
%18 = getelementptr inbounds float, float* %0, i64 %15
%19 = load float, float* %18
%20 = fcmp ogt float %19, %2
%21 = fadd double %16, 1.000000e+00
%22 = select i1 %20, double %21, double %16
%23 = or i64 %15, 1
%24 = getelementptr inbounds float, float* %0, i64 %23
%25 = load float, float* %24
%26 = fcmp ogt float %25, %2
%27 = fadd double %22, 1.000000e+00
%28 = select i1 %26, double %27, double %22
%29 = or i64 %15, 2
%30 = getelementptr inbounds float, float* %0, i64 %29
%31 = load float, float* %30
%32 = fcmp ogt float %31, %2
%33 = fadd double %28, 1.000000e+00
%34 = select i1 %32, double %33, double %28
%35 = or i64 %15, 3
%36 = getelementptr inbounds float, float* %0, i64 %35
%37 = load float, float* %36
%38 = fcmp ogt float %37, %2
%39 = fadd double %34, 1.000000e+00
%40 = select i1 %38, double %39, double %34
%41 = add nuw nsw i64 %15, 4
%42 = add i64 %17, 4
%43 = icmp eq i64 %42, %13
br i1 %43, label %44, label %14
44: ; preds = %14, %7
%45 = phi double [ undef, %7 ], [ %40, %14 ]
%46 = phi i64 [ 0, %7 ], [ %41, %14 ]
%47 = phi double [ 0.000000e+00, %7 ], [ %40, %14 ]
%48 = icmp eq i64 %10, 0
br i1 %48, label %61, label %49
49: ; preds = %44, %49
%50 = phi i64 [ %58, %49 ], [ %46, %44 ]
%51 = phi double [ %57, %49 ], [ %47, %44 ]
%52 = phi i64 [ %59, %49 ], [ 0, %44 ]
%53 = getelementptr inbounds float, float* %0, i64 %50
%54 = load float, float* %53
%55 = fcmp ogt float %54, %2
%56 = fadd double %51, 1.000000e+00
%57 = select i1 %55, double %56, double %51
%58 = add nuw nsw i64 %50, 1
%59 = add i64 %52, 1
%60 = icmp eq i64 %59, %10
br i1 %60, label %61, label %49
61: ; preds = %44, %49, %3
%62 = phi double [ 0.000000e+00, %3 ], [ %45, %44 ], [ %57, %49 ]
ret double %62
}