#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 */
double fabs(double);
int check_box(double ra[3], double rb[3], double H[3], int *box) {
  double d[] = {0, 0, 0};
  int i;
  for (i = 0; i < 3; i++) {
    if (H[i] == 0.)
      continue;
    d[i] = 2. * (ra[i] - rb[i]);
    if (H[i] < fabs(d[i])) {
      box[i] = box[i] + d[i] / fabs(d[i]);
      ;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<check_box>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
lea    -0x40(%rbp),%rdi
xor    %esi,%esi
mov    $0x18,%edx
call   1030 <memset@plt>
movl   $0x0,-0x44(%rbp)
cmpl   $0x3,-0x44(%rbp)
jge    1220 <check_box+0x110>
mov    -0x18(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    116e <check_box+0x5e>
jp     116e <check_box+0x5e>
jmp    1212 <check_box+0x102>
mov    -0x8(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm1
movsd  0xe80(%rip),%xmm0
mulsd  %xmm1,%xmm0
movslq -0x44(%rbp),%rax
movsd  %xmm0,-0x40(%rbp,%rax,8)
mov    -0x18(%rbp),%rax
movslq -0x44(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
movslq -0x44(%rbp),%rax
movsd  -0x40(%rbp,%rax,8),%xmm0
movaps 0xe44(%rip),%xmm2
pand   %xmm2,%xmm0
ucomisd %xmm1,%xmm0
jbe    120d <check_box+0xfd>
mov    -0x20(%rbp),%rax
movslq -0x44(%rbp),%rcx
cvtsi2sdl (%rax,%rcx,4),%xmm0
movslq -0x44(%rbp),%rax
movsd  -0x40(%rbp,%rax,8),%xmm1
movslq -0x44(%rbp),%rax
movsd  -0x40(%rbp,%rax,8),%xmm2
movaps 0xe0e(%rip),%xmm3
pand   %xmm3,%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%edx
mov    -0x20(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1212 <check_box+0x102>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    113f <check_box+0x2f>
mov    $0x1,%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_box>:
movsd  (%rdx),%xmm2
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm2
jne    1110 <check_box+0x10>
jnp    1143 <check_box+0x43>
movsd  (%rdi),%xmm1
subsd  (%rsi),%xmm1
addsd  %xmm1,%xmm1
movapd 0xedc(%rip),%xmm3
andpd  %xmm1,%xmm3
ucomisd %xmm2,%xmm3
jbe    1143 <check_box+0x43>
xorps  %xmm2,%xmm2
cvtsi2sdl (%rcx),%xmm2
divsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
cvttsd2si %xmm1,%eax
mov    %eax,(%rcx)
movsd  0x8(%rdx),%xmm1
ucomisd %xmm0,%xmm1
jne    1150 <check_box+0x50>
jnp    1187 <check_box+0x87>
movsd  0x8(%rdi),%xmm0
subsd  0x8(%rsi),%xmm0
addsd  %xmm0,%xmm0
movapd 0xe9a(%rip),%xmm2
andpd  %xmm0,%xmm2
ucomisd %xmm1,%xmm2
jbe    1187 <check_box+0x87>
xorps  %xmm1,%xmm1
cvtsi2sdl 0x4(%rcx),%xmm1
divsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%eax
mov    %eax,0x4(%rcx)
movsd  0x10(%rdx),%xmm1
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm1
jne    119e <check_box+0x9e>
jp     119e <check_box+0x9e>
mov    $0x1,%eax
ret
movsd  0x10(%rdi),%xmm0
subsd  0x10(%rsi),%xmm0
addsd  %xmm0,%xmm0
movapd 0xe4c(%rip),%xmm2
andpd  %xmm0,%xmm2
ucomisd %xmm1,%xmm2
jbe    1198 <check_box+0x98>
xorps  %xmm1,%xmm1
cvtsi2sdl 0x8(%rcx),%xmm1
divsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%eax
mov    %eax,0x8(%rcx)
mov    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @check_box(double* %0, double* %1, double* %2, i32* %3) {
%5 = alloca double*
%6 = alloca double*
%7 = alloca double*
%8 = alloca i32*
%9 = alloca [3 x double]
%10 = alloca i32
store double* %0, double** %5
store double* %1, double** %6
store double* %2, double** %7
store i32* %3, i32** %8
%11 = bitcast [3 x double]* %9 to i8*
store i32 0, i32* %10
br label %12
12: ; preds = %74, %4
%13 = load i32, i32* %10
%14 = icmp slt i32 %13, 3
br i1 %14, label %15, label %77
15: ; preds = %12
%16 = load double*, double** %7
%17 = load i32, i32* %10
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds double, double* %16, i64 %18
%20 = load double, double* %19
%21 = fcmp oeq double %20, 0.000000e+00
br i1 %21, label %22, label %23
22: ; preds = %15
br label %74
23: ; preds = %15
%24 = load double*, double** %5
%25 = load i32, i32* %10
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds double, double* %24, i64 %26
%28 = load double, double* %27
%29 = load double*, double** %6
%30 = load i32, i32* %10
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds double, double* %29, i64 %31
%33 = load double, double* %32
%34 = fsub double %28, %33
%35 = fmul double 2.000000e+00, %34
%36 = load i32, i32* %10
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds [3 x double], [3 x double]* %9, i64 0, i64 %37
store double %35, double* %38
%39 = load double*, double** %7
%40 = load i32, i32* %10
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds double, double* %39, i64 %41
%43 = load double, double* %42
%44 = load i32, i32* %10
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds [3 x double], [3 x double]* %9, i64 0, i64 %45
%47 = load double, double* %46
%48 = call double @llvm.fabs.f64(double %47)
%49 = fcmp olt double %43, %48
br i1 %49, label %50, label %73
50: ; preds = %23
%51 = load i32*, i32** %8
%52 = load i32, i32* %10
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i32, i32* %51, i64 %53
%55 = load i32, i32* %54
%56 = sitofp i32 %55 to double
%57 = load i32, i32* %10
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds [3 x double], [3 x double]* %9, i64 0, i64 %58
%60 = load double, double* %59
%61 = load i32, i32* %10
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds [3 x double], [3 x double]* %9, i64 0, i64 %62
%64 = load double, double* %63
%65 = call double @llvm.fabs.f64(double %64)
%66 = fdiv double %60, %65
%67 = fadd double %56, %66
%68 = fptosi double %67 to i32
%69 = load i32*, i32** %8
%70 = load i32, i32* %10
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i32, i32* %69, i64 %71
store i32 %68, i32* %72
br label %73
73: ; preds = %50, %23
br label %74
74: ; preds = %73, %22
%75 = load i32, i32* %10
%76 = add nsw i32 %75, 1
store i32 %76, i32* %10
br label %12
77: ; preds = %12
ret i32 1
}

LLVM IR (-O2):
define i32 @check_box(double* nocapture %0, double* nocapture %1, double* nocapture %2, i32* nocapture %3) {
%5 = load double, double* %2
%6 = fcmp oeq double %5, 0.000000e+00
br i1 %6, label %20, label %7
7: ; preds = %4
%8 = load double, double* %0
%9 = load double, double* %1
%10 = fsub double %8, %9
%11 = fmul double %10, 2.000000e+00
%12 = tail call double @llvm.fabs.f64(double %11)
%13 = fcmp olt double %5, %12
br i1 %13, label %14, label %20
14: ; preds = %7
%15 = load i32, i32* %3
%16 = sitofp i32 %15 to double
%17 = fdiv double %11, %12
%18 = fadd double %17, %16
%19 = fptosi double %18 to i32
store i32 %19, i32* %3
br label %20
20: ; preds = %7, %14, %4
%21 = getelementptr inbounds double, double* %2, i64 1
%22 = load double, double* %21
%23 = fcmp oeq double %22, 0.000000e+00
br i1 %23, label %40, label %24
24: ; preds = %20
%25 = getelementptr inbounds double, double* %0, i64 1
%26 = load double, double* %25
%27 = getelementptr inbounds double, double* %1, i64 1
%28 = load double, double* %27
%29 = fsub double %26, %28
%30 = fmul double %29, 2.000000e+00
%31 = tail call double @llvm.fabs.f64(double %30)
%32 = fcmp olt double %22, %31
br i1 %32, label %33, label %40
33: ; preds = %24
%34 = getelementptr inbounds i32, i32* %3, i64 1
%35 = load i32, i32* %34
%36 = sitofp i32 %35 to double
%37 = fdiv double %30, %31
%38 = fadd double %37, %36
%39 = fptosi double %38 to i32
store i32 %39, i32* %34
br label %40
40: ; preds = %33, %24, %20
%41 = getelementptr inbounds double, double* %2, i64 2
%42 = load double, double* %41
%43 = fcmp oeq double %42, 0.000000e+00
br i1 %43, label %60, label %44
44: ; preds = %40
%45 = getelementptr inbounds double, double* %0, i64 2
%46 = load double, double* %45
%47 = getelementptr inbounds double, double* %1, i64 2
%48 = load double, double* %47
%49 = fsub double %46, %48
%50 = fmul double %49, 2.000000e+00
%51 = tail call double @llvm.fabs.f64(double %50)
%52 = fcmp olt double %42, %51
br i1 %52, label %53, label %60
53: ; preds = %44
%54 = getelementptr inbounds i32, i32* %3, i64 2
%55 = load i32, i32* %54
%56 = sitofp i32 %55 to double
%57 = fdiv double %50, %51
%58 = fadd double %57, %56
%59 = fptosi double %58 to i32
store i32 %59, i32* %54
br label %60
60: ; preds = %53, %44, %40
ret i32 1
}