int check_foldedness(double array[], double omega, int size) {
  int i, count = 0, folded = 0;
  double diff_upper, diff_lower;
  for (i = 0; i < size; i++) {
    diff_upper = array[i] + (omega / 2.0);
    diff_lower = array[i] - (omega / 2.0);
    if ((diff_lower <= 1E-5) && (diff_upper >= 1E-5))
      count++;
  }
  if (count == size)
    folded = 1;
  return (folded);
}


x86 assembly (clang, -O0):
<check_foldedness>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movsd  %xmm0,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11c5 <check_foldedness+0xc5>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  0xebd(%rip),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  0xe96(%rip),%xmm2
divsd  %xmm2,%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  0xe79(%rip),%xmm0
ucomisd -0x30(%rbp),%xmm0
jb     11b2 <check_foldedness+0xb2>
movsd  -0x28(%rbp),%xmm0
movsd  0xe61(%rip),%xmm1
ucomisd %xmm1,%xmm0
jb     11b2 <check_foldedness+0xb2>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11b7 <check_foldedness+0xb7>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1125 <check_foldedness+0x25>
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    11d8 <check_foldedness+0xd8>
movl   $0x1,-0x20(%rbp)
mov    -0x20(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_foldedness>:
test   %esi,%esi
jle    111e <check_foldedness+0x1e>
mulsd  0xef4(%rip),%xmm0
mov    %esi,%r8d
cmp    $0x4,%esi
jae    1125 <check_foldedness+0x25>
xor    %r9d,%r9d
xor    %edx,%edx
jmp    11ea <check_foldedness+0xea>
xor    %edx,%edx
jmp    1230 <check_foldedness+0x130>
mov    %r8d,%r9d
and    $0xfffffffc,%r9d
movapd %xmm0,%xmm9
unpcklpd %xmm0,%xmm9
lea    0x0(,%r8,8),%rdx
and    $0xffffffffffffffe0,%rdx
pxor   %xmm2,%xmm2
xor    %eax,%eax
movapd 0xebf(%rip),%xmm8
pxor   %xmm3,%xmm3
cs nopw 0x0(%rax,%rax,1)
nop
movupd (%rdi,%rax,1),%xmm5
movupd 0x10(%rdi,%rax,1),%xmm6
movapd %xmm9,%xmm7
addpd  %xmm5,%xmm7
movapd %xmm9,%xmm1
addpd  %xmm6,%xmm1
subpd  %xmm9,%xmm5
subpd  %xmm9,%xmm6
cmplepd %xmm8,%xmm5
cmplepd %xmm8,%xmm6
movapd %xmm8,%xmm4
cmplepd %xmm7,%xmm4
andpd  %xmm5,%xmm4
movapd %xmm8,%xmm5
cmplepd %xmm1,%xmm5
andpd  %xmm6,%xmm5
psrlq  $0x3f,%xmm4
psrlq  $0x3f,%xmm5
pshufd $0xe8,%xmm4,%xmm1
paddd  %xmm1,%xmm2
pshufd $0xe8,%xmm5,%xmm1
paddd  %xmm1,%xmm3
add    $0x20,%rax
cmp    %rax,%rdx
jne    1160 <check_foldedness+0x60>
paddd  %xmm2,%xmm3
pshufd $0x55,%xmm3,%xmm1
paddd  %xmm3,%xmm1
movd   %xmm1,%edx
cmp    %r8,%r9
je     1230 <check_foldedness+0x130>
movsd  0xe16(%rip),%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movsd  (%rdi,%r9,8),%xmm2
movapd %xmm0,%xmm3
addsd  %xmm2,%xmm3
subsd  %xmm0,%xmm2
ucomisd %xmm2,%xmm1
setae  %al
ucomisd %xmm1,%xmm3
setae  %cl
and    %al,%cl
movzbl %cl,%eax
add    %eax,%edx
add    $0x1,%r9
cmp    %r9,%r8
jne    1200 <check_foldedness+0x100>
xor    %eax,%eax
cmp    %esi,%edx
sete   %al
ret

LLVM IR (-O0):
define i32 @check_foldedness(double* %0, double %1, i32 %2) {
%4 = alloca double*
%5 = alloca double
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca double
%11 = alloca double
store double* %0, double** %4
store double %1, double* %5
store i32 %2, i32* %6
store i32 0, i32* %8
store i32 0, i32* %9
store i32 0, i32* %7
br label %12
12: ; preds = %42, %3
%13 = load i32, i32* %7
%14 = load i32, i32* %6
%15 = icmp slt i32 %13, %14
br i1 %15, label %16, label %45
16: ; preds = %12
%17 = load double*, double** %4
%18 = load i32, i32* %7
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds double, double* %17, i64 %19
%21 = load double, double* %20
%22 = load double, double* %5
%23 = fdiv double %22, 2.000000e+00
%24 = fadd double %21, %23
store double %24, double* %10
%25 = load double*, double** %4
%26 = load i32, i32* %7
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds double, double* %25, i64 %27
%29 = load double, double* %28
%30 = load double, double* %5
%31 = fdiv double %30, 2.000000e+00
%32 = fsub double %29, %31
store double %32, double* %11
%33 = load double, double* %11
%34 = fcmp ole double %33, 1.000000e-05
br i1 %34, label %35, label %41
35: ; preds = %16
%36 = load double, double* %10
%37 = fcmp oge double %36, 1.000000e-05
br i1 %37, label %38, label %41
38: ; preds = %35
%39 = load i32, i32* %8
%40 = add nsw i32 %39, 1
store i32 %40, i32* %8
br label %41
41: ; preds = %38, %35, %16
br label %42
42: ; preds = %41
%43 = load i32, i32* %7
%44 = add nsw i32 %43, 1
store i32 %44, i32* %7
br label %12
45: ; preds = %12
%46 = load i32, i32* %8
%47 = load i32, i32* %6
%48 = icmp eq i32 %46, %47
br i1 %48, label %49, label %50
49: ; preds = %45
store i32 1, i32* %9
br label %50
50: ; preds = %49, %45
%51 = load i32, i32* %9
ret i32 %51
}

LLVM IR (-O2):
define i32 @check_foldedness(double* nocapture %0, double %1, i32 %2) {
%4 = icmp sgt i32 %2, 0
br i1 %4, label %5, label %62
5: ; preds = %3
%6 = fmul double %1, 5.000000e-01
%7 = zext i32 %2 to i64
%8 = icmp ult i32 %2, 4
br i1 %8, label %45, label %9
9: ; preds = %5
%10 = and i64 %7, 4294967292
%11 = insertelement <2 x double> poison, double %6, i64 0
%12 = shufflevector <2 x double> %11, <2 x double> poison, <2 x i32> zeroinitializer
%13 = insertelement <2 x double> poison, double %6, i64 0
%14 = shufflevector <2 x double> %13, <2 x double> poison, <2 x i32> zeroinitializer
br label %15
15: ; preds = %15, %9
%16 = phi i64 [ 0, %9 ], [ %39, %15 ]
%17 = phi <2 x i32> [ zeroinitializer, %9 ], [ %37, %15 ]
%18 = phi <2 x i32> [ zeroinitializer, %9 ], [ %38, %15 ]
%19 = getelementptr inbounds double, double* %0, i64 %16
%20 = bitcast double* %19 to <2 x double>*
%21 = load <2 x double>, <2 x double>* %20
%22 = getelementptr inbounds double, double* %19, i64 2
%23 = bitcast double* %22 to <2 x double>*
%24 = load <2 x double>, <2 x double>* %23
%25 = fadd <2 x double> %12, %21
%26 = fadd <2 x double> %14, %24
%27 = fsub <2 x double> %21, %12
%28 = fsub <2 x double> %24, %14
%29 = fcmp ole <2 x double> %27, <double 1.000000e-05, double 1.000000e-05>
%30 = fcmp ole <2 x double> %28, <double 1.000000e-05, double 1.000000e-05>
%31 = fcmp oge <2 x double> %25, <double 1.000000e-05, double 1.000000e-05>
%32 = fcmp oge <2 x double> %26, <double 1.000000e-05, double 1.000000e-05>
%33 = and <2 x i1> %29, %31
%34 = and <2 x i1> %30, %32
%35 = zext <2 x i1> %33 to <2 x i32>
%36 = zext <2 x i1> %34 to <2 x i32>
%37 = add <2 x i32> %17, %35
%38 = add <2 x i32> %18, %36
%39 = add nuw i64 %16, 4
%40 = icmp eq i64 %39, %10
br i1 %40, label %41, label %15
41: ; preds = %15
%42 = add <2 x i32> %38, %37
%43 = call i32 @llvm.vector.reduce.add.v2i32(<2 x i32> %42)
%44 = icmp eq i64 %10, %7
br i1 %44, label %62, label %45
45: ; preds = %5, %41
%46 = phi i64 [ 0, %5 ], [ %10, %41 ]
%47 = phi i32 [ 0, %5 ], [ %43, %41 ]
br label %48
48: ; preds = %45, %48
%49 = phi i64 [ %60, %48 ], [ %46, %45 ]
%50 = phi i32 [ %59, %48 ], [ %47, %45 ]
%51 = getelementptr inbounds double, double* %0, i64 %49
%52 = load double, double* %51
%53 = fadd double %6, %52
%54 = fsub double %52, %6
%55 = fcmp ole double %54, 1.000000e-05
%56 = fcmp oge double %53, 1.000000e-05
%57 = and i1 %55, %56
%58 = zext i1 %57 to i32
%59 = add nuw nsw i32 %50, %58
%60 = add nuw nsw i64 %49, 1
%61 = icmp eq i64 %60, %7
br i1 %61, label %62, label %48
62: ; preds = %48, %41, %3
%63 = phi i32 [ 0, %3 ], [ %43, %41 ], [ %59, %48 ]
%64 = icmp eq i32 %63, %2
%65 = zext i1 %64 to i32
ret i32 %65
}