#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_within3f(float *v1, float *v2, float dist) {
  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) <= (dist * dist));
}


x86 assembly (clang, -O0):
<slow_within3f>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movss  %xmm0,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  (%rax),%xmm0
movss  %xmm0,-0x20(%rbp)
movss  -0x20(%rbp),%xmm0
call   1030 <fabs@plt>
ucomiss -0x1c(%rbp),%xmm0
jbe    115a <slow_within3f+0x4a>
movl   $0x0,-0x4(%rbp)
jmp    120e <slow_within3f+0xfe>
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  0x4(%rax),%xmm0
movss  %xmm0,-0x24(%rbp)
movss  -0x24(%rbp),%xmm0
call   1030 <fabs@plt>
ucomiss -0x1c(%rbp),%xmm0
jbe    1191 <slow_within3f+0x81>
movl   $0x0,-0x4(%rbp)
jmp    120e <slow_within3f+0xfe>
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x18(%rbp),%rax
subss  0x8(%rax),%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x28(%rbp),%xmm0
call   1030 <fabs@plt>
ucomiss -0x1c(%rbp),%xmm0
jbe    11c8 <slow_within3f+0xb8>
movl   $0x0,-0x4(%rbp)
jmp    120e <slow_within3f+0xfe>
movss  -0x20(%rbp),%xmm0
movss  -0x20(%rbp),%xmm2
movss  -0x24(%rbp),%xmm1
mulss  -0x24(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  -0x28(%rbp),%xmm1
movss  -0x28(%rbp),%xmm2
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x1c(%rbp),%xmm0
mulss  -0x1c(%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_within3f>:
movss  (%rdi),%xmm1
subss  (%rsi),%xmm1
movaps 0xef1(%rip),%xmm2
andps  %xmm1,%xmm2
xor    %eax,%eax
ucomiss %xmm0,%xmm2
ja     116b <slow_within3f+0x6b>
movss  0x4(%rdi),%xmm2
subss  0x4(%rsi),%xmm2
movaps 0xed6(%rip),%xmm3
andps  %xmm2,%xmm3
ucomiss %xmm0,%xmm3
ja     116b <slow_within3f+0x6b>
movss  0x8(%rdi),%xmm3
subss  0x8(%rsi),%xmm3
movaps 0xebd(%rip),%xmm4
andps  %xmm3,%xmm4
ucomiss %xmm0,%xmm4
ja     116b <slow_within3f+0x6b>
mulss  %xmm2,%xmm2
mulss  %xmm1,%xmm1
addss  %xmm2,%xmm1
mulss  %xmm3,%xmm3
addss  %xmm1,%xmm3
mulss  %xmm0,%xmm0
xor    %eax,%eax
ucomiss %xmm3,%xmm0
setae  %al
ret

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

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