#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);
int slow_within3fsq(float *v1, float *v2, float dist, float dist2) {
  register float dx, dy, dz;
  dx = (v1[0] - v2[0]);
  if (fabs(dx) > dist)
    return (0);
  dy = (v1[1] - v2[1]);
  if (fabs(dy) > dist)
    return (0);
  dz = (v1[2] - v2[2]);
  if (fabs(dz) > dist)
    return (0);
  return ((dx * dx + dy * dy + dz * dz) <= (dist2));
}


x86 assembly (clang, -O0):
<slow_within3fsq>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movss  %xmm0,-0x1c(%rbp)
movss  %xmm1,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  (%rax),%xmm0
movss  %xmm0,-0x24(%rbp)
movss  -0x24(%rbp),%xmm0
call   1030 <fabs@plt>
ucomiss -0x1c(%rbp),%xmm0
jbe    115f <slow_within3fsq+0x4f>
movl   $0x0,-0x4(%rbp)
jmp    120e <slow_within3fsq+0xfe>
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  0x4(%rax),%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x28(%rbp),%xmm0
call   1030 <fabs@plt>
ucomiss -0x1c(%rbp),%xmm0
jbe    1196 <slow_within3fsq+0x86>
movl   $0x0,-0x4(%rbp)
jmp    120e <slow_within3fsq+0xfe>
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  0x8(%rax),%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x2c(%rbp),%xmm0
call   1030 <fabs@plt>
ucomiss -0x1c(%rbp),%xmm0
jbe    11cd <slow_within3fsq+0xbd>
movl   $0x0,-0x4(%rbp)
jmp    120e <slow_within3fsq+0xfe>
movss  -0x24(%rbp),%xmm0
movss  -0x24(%rbp),%xmm2
movss  -0x28(%rbp),%xmm1
mulss  -0x28(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  -0x2c(%rbp),%xmm1
movss  -0x2c(%rbp),%xmm2
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x20(%rbp),%xmm0
ucomiss %xmm1,%xmm0
setae  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<slow_within3fsq>:
movss  (%rdi),%xmm2
subss  (%rsi),%xmm2
movaps 0xef1(%rip),%xmm3
andps  %xmm2,%xmm3
xor    %eax,%eax
ucomiss %xmm0,%xmm3
ja     1167 <slow_within3fsq+0x67>
movss  0x4(%rdi),%xmm3
subss  0x4(%rsi),%xmm3
movaps 0xed6(%rip),%xmm4
andps  %xmm3,%xmm4
ucomiss %xmm0,%xmm4
ja     1167 <slow_within3fsq+0x67>
movss  0x8(%rdi),%xmm4
subss  0x8(%rsi),%xmm4
movaps 0xebd(%rip),%xmm5
andps  %xmm4,%xmm5
ucomiss %xmm0,%xmm5
ja     1167 <slow_within3fsq+0x67>
mulss  %xmm3,%xmm3
mulss  %xmm2,%xmm2
addss  %xmm3,%xmm2
mulss  %xmm4,%xmm4
addss  %xmm2,%xmm4
xor    %eax,%eax
ucomiss %xmm4,%xmm1
setae  %al
ret

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

LLVM IR (-O2):
define i32 @slow_within3fsq(float* nocapture %0, float* nocapture %1, float %2, float %3) {
%5 = load float, float* %0
%6 = load float, float* %1
%7 = fsub float %5, %6
%8 = tail call float @llvm.fabs.f32(float %7)
%9 = fcmp ogt float %8, %2
br i1 %9, label %32, label %10
10: ; preds = %4
%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 = tail call float @llvm.fabs.f32(float %15)
%17 = fcmp ogt float %16, %2
br i1 %17, label %32, label %18
18: ; preds = %10
%19 = getelementptr inbounds float, float* %0, i64 2
%20 = load float, float* %19
%21 = getelementptr inbounds float, float* %1, i64 2
%22 = load float, float* %21
%23 = fsub float %20, %22
%24 = tail call float @llvm.fabs.f32(float %23)
%25 = fcmp ogt float %24, %2
br i1 %25, label %32, label %26
26: ; preds = %18
%27 = fmul float %15, %15
%28 = tail call float @llvm.fmuladd.f32(float %7, float %7, float %27)
%29 = tail call float @llvm.fmuladd.f32(float %23, float %23, float %28)
%30 = fcmp ole float %29, %3
%31 = zext i1 %30 to i32
br label %32
32: ; preds = %18, %10, %4, %26
%33 = phi i32 [ %31, %26 ], [ 0, %4 ], [ 0, %10 ], [ 0, %18 ]
ret i32 %33
}