int v2_eq(const float p0[], const float p1[]) {
  const float dx = p0[0] - p1[0];
  const float dy = p0[1] - p1[1];
  if (-0.00001 < dx && dx < 0.00001 && -0.00001 < dy && dy < 0.00001)
    return 1;
  return 0;
}


x86 assembly (clang, -O0):
<v2_eq>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  (%rax),%xmm0
movss  %xmm0,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  0x4(%rax),%xmm0
movss  %xmm0,-0x20(%rbp)
movss  -0x1c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xeb7(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    11b0 <v2_eq+0xb0>
movss  -0x1c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xea4(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    11b0 <v2_eq+0xb0>
movss  -0x20(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe81(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    11b0 <v2_eq+0xb0>
movss  -0x20(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xe6e(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    11b0 <v2_eq+0xb0>
movl   $0x1,-0x4(%rbp)
jmp    11b7 <v2_eq+0xb7>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<v2_eq>:
movss  (%rdi),%xmm0
subss  (%rsi),%xmm0
cvtss2sd %xmm0,%xmm1
ucomisd 0xeec(%rip),%xmm1
jbe    1148 <v2_eq+0x48>
movsd  0xeea(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    1148 <v2_eq+0x48>
movss  0x4(%rdi),%xmm1
subss  0x4(%rsi),%xmm1
cvtss2sd %xmm1,%xmm1
ucomisd 0xec6(%rip),%xmm1
jbe    1148 <v2_eq+0x48>
mov    $0x1,%eax
ucomisd %xmm1,%xmm0
jbe    1148 <v2_eq+0x48>
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @v2_eq(float* %0, float* %1) {
%3 = alloca i32
%4 = alloca float*
%5 = alloca float*
%6 = alloca float
%7 = alloca float
store float* %0, float** %4
store float* %1, float** %5
%8 = load float*, float** %4
%9 = getelementptr inbounds float, float* %8, i64 0
%10 = load float, float* %9
%11 = load float*, float** %5
%12 = getelementptr inbounds float, float* %11, i64 0
%13 = load float, float* %12
%14 = fsub float %10, %13
store float %14, float* %6
%15 = load float*, float** %4
%16 = getelementptr inbounds float, float* %15, i64 1
%17 = load float, float* %16
%18 = load float*, float** %5
%19 = getelementptr inbounds float, float* %18, i64 1
%20 = load float, float* %19
%21 = fsub float %17, %20
store float %21, float* %7
%22 = load float, float* %6
%23 = fpext float %22 to double
%24 = fcmp olt double -1.000000e-05, %23
br i1 %24, label %25, label %38
25: ; preds = %2
%26 = load float, float* %6
%27 = fpext float %26 to double
%28 = fcmp olt double %27, 1.000000e-05
br i1 %28, label %29, label %38
29: ; preds = %25
%30 = load float, float* %7
%31 = fpext float %30 to double
%32 = fcmp olt double -1.000000e-05, %31
br i1 %32, label %33, label %38
33: ; preds = %29
%34 = load float, float* %7
%35 = fpext float %34 to double
%36 = fcmp olt double %35, 1.000000e-05
br i1 %36, label %37, label %38
37: ; preds = %33
store i32 1, i32* %3
br label %39
38: ; preds = %33, %29, %25, %2
store i32 0, i32* %3
br label %39
39: ; preds = %38, %37
%40 = load i32, i32* %3
ret i32 %40
}

LLVM IR (-O2):
define i32 @v2_eq(float* nocapture %0, float* nocapture %1) {
%3 = load float, float* %0
%4 = load float, float* %1
%5 = fsub float %3, %4
%6 = fpext float %5 to double
%7 = fcmp ogt double %6, -1.000000e-05
%8 = fcmp olt double %6, 1.000000e-05
%9 = and i1 %7, %8
br i1 %9, label %10, label %20
10: ; preds = %2
%11 = getelementptr inbounds float, float* %0, i64 1
%12 = load float, float* %11
%13 = getelementptr inbounds float, float* %1, i64 1
%14 = load float, float* %13
%15 = fsub float %12, %14
%16 = fpext float %15 to double
%17 = fcmp ogt double %16, -1.000000e-05
%18 = fcmp olt double %16, 1.000000e-05
%19 = and i1 %17, %18
br i1 %19, label %21, label %20
20: ; preds = %10, %2
br label %21
21: ; preds = %10, %20
%22 = phi i32 [ 0, %20 ], [ 1, %10 ]
ret i32 %22
}