#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 correlationLength(double *points, size_t n) {
  size_t i;
  double pMin[3], pMax[3];
  pMin[0] = points[0];
  pMin[1] = points[1];
  pMin[2] = points[2];
  pMax[0] = points[0];
  pMax[1] = points[1];
  pMax[2] = points[2];
  for (i = 0; i < n; i++) {
    if (points[3 * i] < pMin[0])
      pMin[0] = points[3 * i];
    if (points[3 * i] > pMax[0])
      pMax[0] = points[3 * i];
    if (points[3 * i + 1] < pMin[1])
      pMin[1] = points[3 * i + 1];
    if (points[3 * i + 1] > pMax[1])
      pMax[1] = points[3 * i + 1];
    if (points[3 * i + 2] < pMin[2])
      pMin[2] = points[3 * i + 2];
    if (points[3 * i + 2] > pMax[2])
      pMax[2] = points[3 * i + 2];
  }
  double l = pMax[0] - pMin[0];
  if (pMax[1] - pMin[1] > l)
    l = pMax[1] - pMin[1];
  if (pMax[2] - pMin[2] > l)
    l = pMax[2] - pMin[2];
  return 0.1 * l;
}


x86 assembly (clang, -O0):
<correlationLength>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movsd  0x10(%rax),%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    -0x8(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x8(%rbp),%rax
movsd  0x10(%rax),%xmm0
movsd  %xmm0,-0x40(%rbp)
movq   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    12a6 <correlationLength+0x1a6>
mov    -0x8(%rbp),%rax
imul   $0x3,-0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
movsd  -0x30(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11a4 <correlationLength+0xa4>
mov    -0x8(%rbp),%rax
imul   $0x3,-0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x8(%rbp),%rax
imul   $0x3,-0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd -0x50(%rbp),%xmm0
jbe    11d0 <correlationLength+0xd0>
mov    -0x8(%rbp),%rax
imul   $0x3,-0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    -0x8(%rbp),%rax
imul   $0x3,-0x18(%rbp),%rcx
movsd  0x8(%rax,%rcx,8),%xmm1
movsd  -0x28(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1202 <correlationLength+0x102>
mov    -0x8(%rbp),%rax
imul   $0x3,-0x18(%rbp),%rcx
movsd  0x8(%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
imul   $0x3,-0x18(%rbp),%rcx
movsd  0x8(%rax,%rcx,8),%xmm0
ucomisd -0x48(%rbp),%xmm0
jbe    1230 <correlationLength+0x130>
mov    -0x8(%rbp),%rax
imul   $0x3,-0x18(%rbp),%rcx
movsd  0x8(%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x8(%rbp),%rax
imul   $0x3,-0x18(%rbp),%rcx
movsd  0x10(%rax,%rcx,8),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1262 <correlationLength+0x162>
mov    -0x8(%rbp),%rax
imul   $0x3,-0x18(%rbp),%rcx
movsd  0x10(%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
imul   $0x3,-0x18(%rbp),%rcx
movsd  0x10(%rax,%rcx,8),%xmm0
ucomisd -0x40(%rbp),%xmm0
jbe    1290 <correlationLength+0x190>
mov    -0x8(%rbp),%rax
imul   $0x3,-0x18(%rbp),%rcx
movsd  0x10(%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
jmp    1295 <correlationLength+0x195>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1166 <correlationLength+0x66>
movsd  -0x50(%rbp),%xmm0
subsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x48(%rbp),%xmm0
subsd  -0x28(%rbp),%xmm0
ucomisd -0x58(%rbp),%xmm0
jbe    12d9 <correlationLength+0x1d9>
movsd  -0x48(%rbp),%xmm0
subsd  -0x28(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x40(%rbp),%xmm0
subsd  -0x20(%rbp),%xmm0
ucomisd -0x58(%rbp),%xmm0
jbe    12fd <correlationLength+0x1fd>
movsd  -0x40(%rbp),%xmm0
subsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  0xcfb(%rip),%xmm0
mulsd  -0x58(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<correlationLength>:
movupd (%rdi),%xmm1
movsd  0x10(%rdi),%xmm0
test   %rsi,%rsi
je     1120 <correlationLength+0x20>
cmp    $0x1,%rsi
jne    112d <correlationLength+0x2d>
xor    %eax,%eax
movapd %xmm0,%xmm2
movapd %xmm1,%xmm3
jmp    1191 <correlationLength+0x91>
movapd %xmm0,%xmm2
movapd %xmm1,%xmm3
jmp    11ca <correlationLength+0xca>
mov    %rsi,%rcx
and    $0xfffffffffffffffe,%rcx
xor    %eax,%eax
movapd %xmm0,%xmm2
movapd %xmm1,%xmm3
xchg   %ax,%ax
movupd (%rdi,%rax,8),%xmm4
movapd %xmm4,%xmm5
minpd  %xmm3,%xmm5
maxpd  %xmm1,%xmm4
movsd  0x10(%rdi,%rax,8),%xmm6
movapd %xmm6,%xmm7
minsd  %xmm2,%xmm7
maxsd  %xmm0,%xmm6
movupd 0x18(%rdi,%rax,8),%xmm1
movapd %xmm1,%xmm3
minpd  %xmm5,%xmm3
maxpd  %xmm4,%xmm1
movsd  0x28(%rdi,%rax,8),%xmm0
movapd %xmm0,%xmm2
minsd  %xmm7,%xmm2
maxsd  %xmm6,%xmm0
add    $0x6,%rax
add    $0xfffffffffffffffe,%rcx
jne    1140 <correlationLength+0x40>
test   $0x1,%sil
je     11ca <correlationLength+0xca>
movupd (%rdi,%rax,8),%xmm4
movapd %xmm4,%xmm5
minpd  %xmm3,%xmm5
maxpd  %xmm1,%xmm4
movsd  0x10(%rdi,%rax,8),%xmm1
movapd %xmm1,%xmm3
minsd  %xmm2,%xmm3
maxsd  %xmm0,%xmm1
movapd %xmm3,%xmm2
movapd %xmm1,%xmm0
movapd %xmm4,%xmm1
movapd %xmm5,%xmm3
subsd  %xmm2,%xmm0
subpd  %xmm3,%xmm1
movapd %xmm1,%xmm2
unpckhpd %xmm1,%xmm2
maxsd  %xmm1,%xmm2
maxsd  %xmm2,%xmm0
mulsd  0xe16(%rip),%xmm0
ret

LLVM IR (-O0):
define double @correlationLength(double* %0, i64 %1) {
%3 = alloca double*
%4 = alloca i64
%5 = alloca i64
%6 = alloca [3 x double]
%7 = alloca [3 x double]
%8 = alloca double
store double* %0, double** %3
store i64 %1, i64* %4
%9 = load double*, double** %3
%10 = getelementptr inbounds double, double* %9, i64 0
%11 = load double, double* %10
%12 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 0
store double %11, double* %12
%13 = load double*, double** %3
%14 = getelementptr inbounds double, double* %13, i64 1
%15 = load double, double* %14
%16 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 1
store double %15, double* %16
%17 = load double*, double** %3
%18 = getelementptr inbounds double, double* %17, i64 2
%19 = load double, double* %18
%20 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 2
store double %19, double* %20
%21 = load double*, double** %3
%22 = getelementptr inbounds double, double* %21, i64 0
%23 = load double, double* %22
%24 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 0
store double %23, double* %24
%25 = load double*, double** %3
%26 = getelementptr inbounds double, double* %25, i64 1
%27 = load double, double* %26
%28 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 1
store double %27, double* %28
%29 = load double*, double** %3
%30 = getelementptr inbounds double, double* %29, i64 2
%31 = load double, double* %30
%32 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 2
store double %31, double* %32
store i64 0, i64* %5
br label %33
33: ; preds = %142, %2
%34 = load i64, i64* %5
%35 = load i64, i64* %4
%36 = icmp ult i64 %34, %35
br i1 %36, label %37, label %145
37: ; preds = %33
%38 = load double*, double** %3
%39 = load i64, i64* %5
%40 = mul i64 3, %39
%41 = getelementptr inbounds double, double* %38, i64 %40
%42 = load double, double* %41
%43 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 0
%44 = load double, double* %43
%45 = fcmp olt double %42, %44
br i1 %45, label %46, label %53
46: ; preds = %37
%47 = load double*, double** %3
%48 = load i64, i64* %5
%49 = mul i64 3, %48
%50 = getelementptr inbounds double, double* %47, i64 %49
%51 = load double, double* %50
%52 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 0
store double %51, double* %52
br label %53
53: ; preds = %46, %37
%54 = load double*, double** %3
%55 = load i64, i64* %5
%56 = mul i64 3, %55
%57 = getelementptr inbounds double, double* %54, i64 %56
%58 = load double, double* %57
%59 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 0
%60 = load double, double* %59
%61 = fcmp ogt double %58, %60
br i1 %61, label %62, label %69
62: ; preds = %53
%63 = load double*, double** %3
%64 = load i64, i64* %5
%65 = mul i64 3, %64
%66 = getelementptr inbounds double, double* %63, i64 %65
%67 = load double, double* %66
%68 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 0
store double %67, double* %68
br label %69
69: ; preds = %62, %53
%70 = load double*, double** %3
%71 = load i64, i64* %5
%72 = mul i64 3, %71
%73 = add i64 %72, 1
%74 = getelementptr inbounds double, double* %70, i64 %73
%75 = load double, double* %74
%76 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 1
%77 = load double, double* %76
%78 = fcmp olt double %75, %77
br i1 %78, label %79, label %87
79: ; preds = %69
%80 = load double*, double** %3
%81 = load i64, i64* %5
%82 = mul i64 3, %81
%83 = add i64 %82, 1
%84 = getelementptr inbounds double, double* %80, i64 %83
%85 = load double, double* %84
%86 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 1
store double %85, double* %86
br label %87
87: ; preds = %79, %69
%88 = load double*, double** %3
%89 = load i64, i64* %5
%90 = mul i64 3, %89
%91 = add i64 %90, 1
%92 = getelementptr inbounds double, double* %88, i64 %91
%93 = load double, double* %92
%94 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 1
%95 = load double, double* %94
%96 = fcmp ogt double %93, %95
br i1 %96, label %97, label %105
97: ; preds = %87
%98 = load double*, double** %3
%99 = load i64, i64* %5
%100 = mul i64 3, %99
%101 = add i64 %100, 1
%102 = getelementptr inbounds double, double* %98, i64 %101
%103 = load double, double* %102
%104 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 1
store double %103, double* %104
br label %105
105: ; preds = %97, %87
%106 = load double*, double** %3
%107 = load i64, i64* %5
%108 = mul i64 3, %107
%109 = add i64 %108, 2
%110 = getelementptr inbounds double, double* %106, i64 %109
%111 = load double, double* %110
%112 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 2
%113 = load double, double* %112
%114 = fcmp olt double %111, %113
br i1 %114, label %115, label %123
115: ; preds = %105
%116 = load double*, double** %3
%117 = load i64, i64* %5
%118 = mul i64 3, %117
%119 = add i64 %118, 2
%120 = getelementptr inbounds double, double* %116, i64 %119
%121 = load double, double* %120
%122 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 2
store double %121, double* %122
br label %123
123: ; preds = %115, %105
%124 = load double*, double** %3
%125 = load i64, i64* %5
%126 = mul i64 3, %125
%127 = add i64 %126, 2
%128 = getelementptr inbounds double, double* %124, i64 %127
%129 = load double, double* %128
%130 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 2
%131 = load double, double* %130
%132 = fcmp ogt double %129, %131
br i1 %132, label %133, label %141
133: ; preds = %123
%134 = load double*, double** %3
%135 = load i64, i64* %5
%136 = mul i64 3, %135
%137 = add i64 %136, 2
%138 = getelementptr inbounds double, double* %134, i64 %137
%139 = load double, double* %138
%140 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 2
store double %139, double* %140
br label %141
141: ; preds = %133, %123
br label %142
142: ; preds = %141
%143 = load i64, i64* %5
%144 = add i64 %143, 1
store i64 %144, i64* %5
br label %33
145: ; preds = %33
%146 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 0
%147 = load double, double* %146
%148 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 0
%149 = load double, double* %148
%150 = fsub double %147, %149
store double %150, double* %8
%151 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 1
%152 = load double, double* %151
%153 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 1
%154 = load double, double* %153
%155 = fsub double %152, %154
%156 = load double, double* %8
%157 = fcmp ogt double %155, %156
br i1 %157, label %158, label %164
158: ; preds = %145
%159 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 1
%160 = load double, double* %159
%161 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 1
%162 = load double, double* %161
%163 = fsub double %160, %162
store double %163, double* %8
br label %164
164: ; preds = %158, %145
%165 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 2
%166 = load double, double* %165
%167 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 2
%168 = load double, double* %167
%169 = fsub double %166, %168
%170 = load double, double* %8
%171 = fcmp ogt double %169, %170
br i1 %171, label %172, label %178
172: ; preds = %164
%173 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 2
%174 = load double, double* %173
%175 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 2
%176 = load double, double* %175
%177 = fsub double %174, %176
store double %177, double* %8
br label %178
178: ; preds = %172, %164
%179 = load double, double* %8
%180 = fmul double 1.000000e-01, %179
ret double %180
}

LLVM IR (-O2):
define double @correlationLength(double* nocapture %0, i64 %1) {
%3 = bitcast double* %0 to <2 x double>*
%4 = load <2 x double>, <2 x double>* %3
%5 = getelementptr inbounds double, double* %0, i64 2
%6 = load double, double* %5
%7 = icmp eq i64 %1, 0
br i1 %7, label %82, label %8
8: ; preds = %2
%9 = and i64 %1, 1
%10 = icmp eq i64 %1, 1
br i1 %10, label %56, label %11
11: ; preds = %8
%12 = and i64 %1, -2
br label %13
13: ; preds = %13, %11
%14 = phi double [ %6, %11 ], [ %50, %13 ]
%15 = phi double [ %6, %11 ], [ %48, %13 ]
%16 = phi i64 [ 0, %11 ], [ %51, %13 ]
%17 = phi <2 x double> [ %4, %11 ], [ %43, %13 ]
%18 = phi <2 x double> [ %4, %11 ], [ %41, %13 ]
%19 = phi i64 [ 0, %11 ], [ %52, %13 ]
%20 = mul i64 %16, 3
%21 = getelementptr inbounds double, double* %0, i64 %20
%22 = bitcast double* %21 to <2 x double>*
%23 = load <2 x double>, <2 x double>* %22
%24 = fcmp olt <2 x double> %23, %18
%25 = select <2 x i1> %24, <2 x double> %23, <2 x double> %18
%26 = fcmp ogt <2 x double> %23, %17
%27 = select <2 x i1> %26, <2 x double> %23, <2 x double> %17
%28 = add i64 %20, 2
%29 = getelementptr inbounds double, double* %0, i64 %28
%30 = load double, double* %29
%31 = fcmp olt double %30, %15
%32 = select i1 %31, double %30, double %15
%33 = fcmp ogt double %30, %14
%34 = select i1 %33, double %30, double %14
%35 = or i64 %16, 1
%36 = mul i64 %35, 3
%37 = getelementptr inbounds double, double* %0, i64 %36
%38 = bitcast double* %37 to <2 x double>*
%39 = load <2 x double>, <2 x double>* %38
%40 = fcmp olt <2 x double> %39, %25
%41 = select <2 x i1> %40, <2 x double> %39, <2 x double> %25
%42 = fcmp ogt <2 x double> %39, %27
%43 = select <2 x i1> %42, <2 x double> %39, <2 x double> %27
%44 = add i64 %36, 2
%45 = getelementptr inbounds double, double* %0, i64 %44
%46 = load double, double* %45
%47 = fcmp olt double %46, %32
%48 = select i1 %47, double %46, double %32
%49 = fcmp ogt double %46, %34
%50 = select i1 %49, double %46, double %34
%51 = add nuw i64 %16, 2
%52 = add i64 %19, 2
%53 = icmp eq i64 %52, %12
br i1 %53, label %54, label %13
54: ; preds = %13
%55 = mul i64 %51, 3
br label %56
56: ; preds = %54, %8
%57 = phi <2 x double> [ undef, %8 ], [ %41, %54 ]
%58 = phi <2 x double> [ undef, %8 ], [ %43, %54 ]
%59 = phi double [ undef, %8 ], [ %48, %54 ]
%60 = phi double [ undef, %8 ], [ %50, %54 ]
%61 = phi double [ %6, %8 ], [ %50, %54 ]
%62 = phi double [ %6, %8 ], [ %48, %54 ]
%63 = phi i64 [ 0, %8 ], [ %55, %54 ]
%64 = phi <2 x double> [ %4, %8 ], [ %43, %54 ]
%65 = phi <2 x double> [ %4, %8 ], [ %41, %54 ]
%66 = icmp eq i64 %9, 0
br i1 %66, label %82, label %67
67: ; preds = %56
%68 = getelementptr inbounds double, double* %0, i64 %63
%69 = bitcast double* %68 to <2 x double>*
%70 = load <2 x double>, <2 x double>* %69
%71 = fcmp olt <2 x double> %70, %65
%72 = select <2 x i1> %71, <2 x double> %70, <2 x double> %65
%73 = fcmp ogt <2 x double> %70, %64
%74 = select <2 x i1> %73, <2 x double> %70, <2 x double> %64
%75 = add i64 %63, 2
%76 = getelementptr inbounds double, double* %0, i64 %75
%77 = load double, double* %76
%78 = fcmp olt double %77, %62
%79 = select i1 %78, double %77, double %62
%80 = fcmp ogt double %77, %61
%81 = select i1 %80, double %77, double %61
br label %82
82: ; preds = %67, %56, %2
%83 = phi double [ %6, %2 ], [ %59, %56 ], [ %79, %67 ]
%84 = phi double [ %6, %2 ], [ %60, %56 ], [ %81, %67 ]
%85 = phi <2 x double> [ %4, %2 ], [ %58, %56 ], [ %74, %67 ]
%86 = phi <2 x double> [ %4, %2 ], [ %57, %56 ], [ %72, %67 ]
%87 = fsub <2 x double> %85, %86
%88 = extractelement <2 x double> %87, i64 0
%89 = extractelement <2 x double> %87, i64 1
%90 = fcmp ogt double %89, %88
%91 = select i1 %90, double %89, double %88
%92 = fsub double %84, %83
%93 = fcmp ogt double %92, %91
%94 = select i1 %93, double %92, double %91
%95 = fmul double %94, 1.000000e-01
ret double %95
}