#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 fabs(float);
size_t verify_floats(float *buf, size_t count, float expected_value) {
  size_t errors = 0;
  for (size_t i = 0; i < count; i++) {
    const float absdiff = fabs(buf[i] - expected_value);
    if (absdiff > 1.e-4)
      errors++;
  }
  return errors;
}


x86 assembly (clang, -O0):
<verify_floats>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movss  %xmm0,-0x14(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    119c <verify_floats+0x8c>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
subss  -0x14(%rbp),%xmm0
call   1030 <fabs@plt>
movss  %xmm0,-0x2c(%rbp)
movss  -0x2c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe90(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1186 <verify_floats+0x76>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    118b <verify_floats+0x7b>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1135 <verify_floats+0x25>
mov    -0x20(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<verify_floats>:
test   %rsi,%rsi
je     1114 <verify_floats+0x14>
cmp    $0x4,%rsi
jae    1117 <verify_floats+0x17>
xor    %eax,%eax
xor    %ecx,%ecx
jmp    1199 <verify_floats+0x99>
xor    %eax,%eax
ret
mov    %rsi,%rcx
and    $0xfffffffffffffffc,%rcx
movaps %xmm0,%xmm2
shufps $0x0,%xmm0,%xmm2
pxor   %xmm1,%xmm1
xor    %eax,%eax
movaps 0xecd(%rip),%xmm8
movapd 0xed5(%rip),%xmm4
pxor   %xmm3,%xmm3
nop
movsd  (%rdi,%rax,4),%xmm6
movsd  0x8(%rdi,%rax,4),%xmm7
subps  %xmm2,%xmm6
subps  %xmm2,%xmm7
andps  %xmm8,%xmm6
andps  %xmm8,%xmm7
cvtps2pd %xmm6,%xmm6
cvtps2pd %xmm7,%xmm7
movapd %xmm4,%xmm5
cmpltpd %xmm6,%xmm5
psubq  %xmm5,%xmm1
movapd %xmm4,%xmm5
cmpltpd %xmm7,%xmm5
psubq  %xmm5,%xmm3
add    $0x4,%rax
cmp    %rax,%rcx
jne    1140 <verify_floats+0x40>
paddq  %xmm1,%xmm3
pshufd $0xee,%xmm3,%xmm1
paddq  %xmm3,%xmm1
movq   %xmm1,%rax
cmp    %rsi,%rcx
je     11d5 <verify_floats+0xd5>
movaps 0xe60(%rip),%xmm1
movsd  0xe78(%rip),%xmm2
nopl   0x0(%rax,%rax,1)
movss  (%rdi,%rcx,4),%xmm3
subss  %xmm0,%xmm3
andps  %xmm1,%xmm3
cvtss2sd %xmm3,%xmm3
xor    %edx,%edx
ucomisd %xmm2,%xmm3
seta   %dl
add    %rdx,%rax
add    $0x1,%rcx
cmp    %rcx,%rsi
jne    11b0 <verify_floats+0xb0>
ret

LLVM IR (-O0):
define i64 @verify_floats(float* %0, i64 %1, float %2) {
%4 = alloca float*
%5 = alloca i64
%6 = alloca float
%7 = alloca i64
%8 = alloca i64
%9 = alloca float
store float* %0, float** %4
store i64 %1, i64* %5
store float %2, float* %6
store i64 0, i64* %7
store i64 0, i64* %8
br label %10
10: ; preds = %29, %3
%11 = load i64, i64* %8
%12 = load i64, i64* %5
%13 = icmp ult i64 %11, %12
br i1 %13, label %14, label %32
14: ; preds = %10
%15 = load float*, float** %4
%16 = load i64, i64* %8
%17 = getelementptr inbounds float, float* %15, i64 %16
%18 = load float, float* %17
%19 = load float, float* %6
%20 = fsub float %18, %19
%21 = call float @fabs(float %20)
store float %21, float* %9
%22 = load float, float* %9
%23 = fpext float %22 to double
%24 = fcmp ogt double %23, 1.000000e-04
br i1 %24, label %25, label %28
25: ; preds = %14
%26 = load i64, i64* %7
%27 = add i64 %26, 1
store i64 %27, i64* %7
br label %28
28: ; preds = %25, %14
br label %29
29: ; preds = %28
%30 = load i64, i64* %8
%31 = add i64 %30, 1
store i64 %31, i64* %8
br label %10
32: ; preds = %10
%33 = load i64, i64* %7
ret i64 %33
}

LLVM IR (-O2):
define i64 @verify_floats(float* nocapture %0, i64 %1, float %2) {
%4 = icmp eq i64 %1, 0
br i1 %4, label %44, label %5
5: ; preds = %3
%6 = icmp ult i64 %1, 4
br i1 %6, label %41, label %7
7: ; preds = %5
%8 = and i64 %1, -4
%9 = insertelement <2 x float> poison, float %2, i64 0
%10 = shufflevector <2 x float> %9, <2 x float> poison, <2 x i32> zeroinitializer
%11 = insertelement <2 x float> poison, float %2, i64 0
%12 = shufflevector <2 x float> %11, <2 x float> poison, <2 x i32> zeroinitializer
br label %13
13: ; preds = %13, %7
%14 = phi i64 [ 0, %7 ], [ %35, %13 ]
%15 = phi <2 x i64> [ zeroinitializer, %7 ], [ %33, %13 ]
%16 = phi <2 x i64> [ zeroinitializer, %7 ], [ %34, %13 ]
%17 = getelementptr inbounds float, float* %0, i64 %14
%18 = bitcast float* %17 to <2 x float>*
%19 = load <2 x float>, <2 x float>* %18
%20 = getelementptr inbounds float, float* %17, i64 2
%21 = bitcast float* %20 to <2 x float>*
%22 = load <2 x float>, <2 x float>* %21
%23 = fsub <2 x float> %19, %10
%24 = fsub <2 x float> %22, %12
%25 = call <2 x float> @llvm.fabs.v2f32(<2 x float> %23)
%26 = call <2 x float> @llvm.fabs.v2f32(<2 x float> %24)
%27 = fpext <2 x float> %25 to <2 x double>
%28 = fpext <2 x float> %26 to <2 x double>
%29 = fcmp ogt <2 x double> %27, <double 1.000000e-04, double 1.000000e-04>
%30 = fcmp ogt <2 x double> %28, <double 1.000000e-04, double 1.000000e-04>
%31 = zext <2 x i1> %29 to <2 x i64>
%32 = zext <2 x i1> %30 to <2 x i64>
%33 = add <2 x i64> %15, %31
%34 = add <2 x i64> %16, %32
%35 = add nuw i64 %14, 4
%36 = icmp eq i64 %35, %8
br i1 %36, label %37, label %13
37: ; preds = %13
%38 = add <2 x i64> %34, %33
%39 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %38)
%40 = icmp eq i64 %8, %1
br i1 %40, label %44, label %41
41: ; preds = %5, %37
%42 = phi i64 [ 0, %5 ], [ %39, %37 ]
%43 = phi i64 [ 0, %5 ], [ %8, %37 ]
br label %46
44: ; preds = %46, %37, %3
%45 = phi i64 [ 0, %3 ], [ %39, %37 ], [ %56, %46 ]
ret i64 %45
46: ; preds = %41, %46
%47 = phi i64 [ %56, %46 ], [ %42, %41 ]
%48 = phi i64 [ %57, %46 ], [ %43, %41 ]
%49 = getelementptr inbounds float, float* %0, i64 %48
%50 = load float, float* %49
%51 = fsub float %50, %2
%52 = tail call float @llvm.fabs.f32(float %51)
%53 = fpext float %52 to double
%54 = fcmp ogt double %53, 1.000000e-04
%55 = zext i1 %54 to i64
%56 = add i64 %47, %55
%57 = add nuw i64 %48, 1
%58 = icmp eq i64 %57, %1
br i1 %58, label %44, label %46
}