#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 */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ bbox_from_extents(float **, float *, float, float, float);
float max(float, float const);
float min(float, float const);
int /*<<< orphan*/ vec3_copy(float const *, float *);
int /*<<< orphan*/ vec3_mix(float *, float *, double, float *);
void bbox_from_npoints(float box[4][4], int n, const float (*points)[3]) {
  assert(n >= 1);
  int i;
  float v0[3], v1[3], mid[3];
  vec3_copy(points[0], v0);
  vec3_copy(points[0], v1);
  for (i = 1; i < n; i++) {
    v0[0] = min(v0[0], points[i][0]);
    v0[1] = min(v0[1], points[i][1]);
    v0[2] = min(v0[2], points[i][2]);
    v1[0] = max(v1[0], points[i][0]);
    v1[1] = max(v1[1], points[i][1]);
    v1[2] = max(v1[2], points[i][2]);
  }
  vec3_mix(v0, v1, 0.5, mid);
  bbox_from_extents(box, mid, (v1[0] - v0[0]) / 2, (v1[1] - v0[1]) / 2,
                    (v1[2] - v0[2]) / 2);
}


x86 assembly (clang, -O0):
<bbox_from_npoints>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
cmpl   $0x1,-0xc(%rbp)
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x18(%rbp),%rdi
lea    -0x28(%rbp),%rsi
call   1060 <vec3_copy@plt>
mov    -0x18(%rbp),%rdi
lea    -0x34(%rbp),%rsi
call   1060 <vec3_copy@plt>
movl   $0x1,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    128f <bbox_from_npoints+0x12f>
movss  -0x28(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
imul   $0xc,%rcx,%rcx
add    %rcx,%rax
movss  (%rax),%xmm1
call   1030 <min@plt>
movss  %xmm0,-0x28(%rbp)
movss  -0x24(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
imul   $0xc,%rcx,%rcx
add    %rcx,%rax
movss  0x4(%rax),%xmm1
call   1030 <min@plt>
movss  %xmm0,-0x24(%rbp)
movss  -0x20(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
imul   $0xc,%rcx,%rcx
add    %rcx,%rax
movss  0x8(%rax),%xmm1
call   1030 <min@plt>
movss  %xmm0,-0x20(%rbp)
movss  -0x34(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
imul   $0xc,%rcx,%rcx
add    %rcx,%rax
movss  (%rax),%xmm1
call   1040 <max@plt>
movss  %xmm0,-0x34(%rbp)
movss  -0x30(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
imul   $0xc,%rcx,%rcx
add    %rcx,%rax
movss  0x4(%rax),%xmm1
call   1040 <max@plt>
movss  %xmm0,-0x30(%rbp)
movss  -0x2c(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
imul   $0xc,%rcx,%rcx
add    %rcx,%rax
movss  0x8(%rax),%xmm1
call   1040 <max@plt>
movss  %xmm0,-0x2c(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11a5 <bbox_from_npoints+0x45>
lea    -0x28(%rbp),%rdi
lea    -0x34(%rbp),%rsi
lea    -0x40(%rbp),%rdx
movsd  0xd65(%rip),%xmm0
call   1080 <vec3_mix@plt>
mov    -0x8(%rbp),%rdi
lea    -0x40(%rbp),%rsi
movss  -0x34(%rbp),%xmm0
subss  -0x28(%rbp),%xmm0
movss  0xd3e(%rip),%xmm1
divss  %xmm1,%xmm0
movss  -0x30(%rbp),%xmm1
subss  -0x24(%rbp),%xmm1
movss  0xd28(%rip),%xmm2
divss  %xmm2,%xmm1
movss  -0x2c(%rbp),%xmm2
subss  -0x20(%rbp),%xmm2
movss  0xd12(%rip),%xmm3
divss  %xmm3,%xmm2
call   1070 <bbox_from_extents@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bbox_from_npoints>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x28,%rsp
mov    %rdx,%rbx
mov    %esi,%ebp
mov    %rdi,%r14
xor    %edi,%edi
test   %esi,%esi
setg   %dil
call   1050 <assert@plt>
lea    0x10(%rsp),%rsi
mov    %rbx,%rdi
call   1060 <vec3_copy@plt>
lea    0x4(%rsp),%rsi
mov    %rbx,%rdi
call   1060 <vec3_copy@plt>
cmp    $0x2,%ebp
jl     1257 <bbox_from_npoints+0xf7>
mov    %ebp,%eax
lea    (%rax,%rax,2),%rax
lea    -0xc(,%rax,4),%r15
ff
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movss  0x10(%rsp),%xmm0
movss  0xc(%rbx,%rbp,1),%xmm1
call   1030 <min@plt>
movss  %xmm0,0x10(%rsp)
movss  0x14(%rsp),%xmm0
movss  0x10(%rbx,%rbp,1),%xmm1
call   1030 <min@plt>
movss  %xmm0,0x14(%rsp)
movss  0x18(%rsp),%xmm0
movss  0x14(%rbx,%rbp,1),%xmm1
call   1030 <min@plt>
movss  %xmm0,0x18(%rsp)
movss  0x4(%rsp),%xmm0
movss  0xc(%rbx,%rbp,1),%xmm1
call   1040 <max@plt>
movss  %xmm0,0x4(%rsp)
movss  0x8(%rsp),%xmm0
movss  0x10(%rbx,%rbp,1),%xmm1
call   1040 <max@plt>
movss  %xmm0,0x8(%rsp)
movss  0xc(%rsp),%xmm0
movss  0x14(%rbx,%rbp,1),%xmm1
call   1040 <max@plt>
movss  %xmm0,0xc(%rsp)
add    $0xc,%rbp
cmp    %rbp,%r15
jne    11c0 <bbox_from_npoints+0x60>
lea    0x10(%rsp),%rdi
lea    0x4(%rsp),%rsi
movsd  0xd97(%rip),%xmm0
lea    0x1c(%rsp),%rbx
mov    %rbx,%rdx
call   1080 <vec3_mix@plt>
movss  0x4(%rsp),%xmm0
movss  0x8(%rsp),%xmm1
subss  0x10(%rsp),%xmm0
movss  0xd78(%rip),%xmm3
mulss  %xmm3,%xmm0
subss  0x14(%rsp),%xmm1
mulss  %xmm3,%xmm1
movss  0xc(%rsp),%xmm2
subss  0x18(%rsp),%xmm2
mulss  %xmm3,%xmm2
mov    %r14,%rdi
mov    %rbx,%rsi
call   1070 <bbox_from_extents@plt>
add    $0x28,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @bbox_from_npoints([4 x float]* %0, i32 %1, [3 x float]* %2) {
%4 = alloca [4 x float]*
%5 = alloca i32
%6 = alloca [3 x float]*
%7 = alloca i32
%8 = alloca [3 x float]
%9 = alloca [3 x float]
%10 = alloca [3 x float]
store [4 x float]* %0, [4 x float]** %4
store i32 %1, i32* %5
store [3 x float]* %2, [3 x float]** %6
%11 = load i32, i32* %5
%12 = icmp sge i32 %11, 1
%13 = zext i1 %12 to i32
%14 = call i32 @assert(i32 %13)
%15 = load [3 x float]*, [3 x float]** %6
%16 = getelementptr inbounds [3 x float], [3 x float]* %15, i64 0
%17 = getelementptr inbounds [3 x float], [3 x float]* %16, i64 0, i64 0
%18 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 0
%19 = call i32 @vec3_copy(float* %17, float* %18)
%20 = load [3 x float]*, [3 x float]** %6
%21 = getelementptr inbounds [3 x float], [3 x float]* %20, i64 0
%22 = getelementptr inbounds [3 x float], [3 x float]* %21, i64 0, i64 0
%23 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 0
%24 = call i32 @vec3_copy(float* %22, float* %23)
store i32 1, i32* %7
br label %25
25: ; preds = %90, %3
%26 = load i32, i32* %7
%27 = load i32, i32* %5
%28 = icmp slt i32 %26, %27
br i1 %28, label %29, label %93
29: ; preds = %25
%30 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 0
%31 = load float, float* %30
%32 = load [3 x float]*, [3 x float]** %6
%33 = load i32, i32* %7
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds [3 x float], [3 x float]* %32, i64 %34
%36 = getelementptr inbounds [3 x float], [3 x float]* %35, i64 0, i64 0
%37 = load float, float* %36
%38 = call float @min(float %31, float %37)
%39 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 0
store float %38, float* %39
%40 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 1
%41 = load float, float* %40
%42 = load [3 x float]*, [3 x float]** %6
%43 = load i32, i32* %7
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds [3 x float], [3 x float]* %42, i64 %44
%46 = getelementptr inbounds [3 x float], [3 x float]* %45, i64 0, i64 1
%47 = load float, float* %46
%48 = call float @min(float %41, float %47)
%49 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 1
store float %48, float* %49
%50 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 2
%51 = load float, float* %50
%52 = load [3 x float]*, [3 x float]** %6
%53 = load i32, i32* %7
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds [3 x float], [3 x float]* %52, i64 %54
%56 = getelementptr inbounds [3 x float], [3 x float]* %55, i64 0, i64 2
%57 = load float, float* %56
%58 = call float @min(float %51, float %57)
%59 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 2
store float %58, float* %59
%60 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 0
%61 = load float, float* %60
%62 = load [3 x float]*, [3 x float]** %6
%63 = load i32, i32* %7
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds [3 x float], [3 x float]* %62, i64 %64
%66 = getelementptr inbounds [3 x float], [3 x float]* %65, i64 0, i64 0
%67 = load float, float* %66
%68 = call float @max(float %61, float %67)
%69 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 0
store float %68, float* %69
%70 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 1
%71 = load float, float* %70
%72 = load [3 x float]*, [3 x float]** %6
%73 = load i32, i32* %7
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds [3 x float], [3 x float]* %72, i64 %74
%76 = getelementptr inbounds [3 x float], [3 x float]* %75, i64 0, i64 1
%77 = load float, float* %76
%78 = call float @max(float %71, float %77)
%79 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 1
store float %78, float* %79
%80 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 2
%81 = load float, float* %80
%82 = load [3 x float]*, [3 x float]** %6
%83 = load i32, i32* %7
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds [3 x float], [3 x float]* %82, i64 %84
%86 = getelementptr inbounds [3 x float], [3 x float]* %85, i64 0, i64 2
%87 = load float, float* %86
%88 = call float @max(float %81, float %87)
%89 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 2
store float %88, float* %89
br label %90
90: ; preds = %29
%91 = load i32, i32* %7
%92 = add nsw i32 %91, 1
store i32 %92, i32* %7
br label %25
93: ; preds = %25
%94 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 0
%95 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 0
%96 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 0
%97 = call i32 @vec3_mix(float* %94, float* %95, double 5.000000e-01, float* %96)
%98 = load [4 x float]*, [4 x float]** %4
%99 = bitcast [4 x float]* %98 to float**
%100 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 0
%101 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 0
%102 = load float, float* %101
%103 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 0
%104 = load float, float* %103
%105 = fsub float %102, %104
%106 = fdiv float %105, 2.000000e+00
%107 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 1
%108 = load float, float* %107
%109 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 1
%110 = load float, float* %109
%111 = fsub float %108, %110
%112 = fdiv float %111, 2.000000e+00
%113 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 2
%114 = load float, float* %113
%115 = getelementptr inbounds [3 x float], [3 x float]* %8, i64 0, i64 2
%116 = load float, float* %115
%117 = fsub float %114, %116
%118 = fdiv float %117, 2.000000e+00
%119 = call i32 @bbox_from_extents(float** %99, float* %100, float %106, float %112, float %118)
ret void
}

LLVM IR (-O2):
define void @bbox_from_npoints([4 x float]* %0, i32 %1, [3 x float]* %2) {
%4 = alloca [3 x float]
%5 = alloca [3 x float]
%6 = alloca [3 x float]
%7 = icmp sgt i32 %1, 0
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
%10 = bitcast [3 x float]* %4 to i8*
%11 = bitcast [3 x float]* %5 to i8*
%12 = bitcast [3 x float]* %6 to i8*
%13 = getelementptr inbounds [3 x float], [3 x float]* %2, i64 0, i64 0
%14 = getelementptr inbounds [3 x float], [3 x float]* %4, i64 0, i64 0
%15 = call i32 @vec3_copy(float* %13, float* %14)
%16 = getelementptr inbounds [3 x float], [3 x float]* %5, i64 0, i64 0
%17 = call i32 @vec3_copy(float* %13, float* %16)
%18 = icmp sgt i32 %1, 1
br i1 %18, label %19, label %50
19: ; preds = %3
%20 = getelementptr inbounds [3 x float], [3 x float]* %4, i64 0, i64 1
%21 = getelementptr inbounds [3 x float], [3 x float]* %4, i64 0, i64 2
%22 = getelementptr inbounds [3 x float], [3 x float]* %5, i64 0, i64 1
%23 = getelementptr inbounds [3 x float], [3 x float]* %5, i64 0, i64 2
%24 = zext i32 %1 to i64
br label %25
25: ; preds = %19, %25
%26 = phi i64 [ 1, %19 ], [ %48, %25 ]
%27 = load float, float* %14
%28 = getelementptr inbounds [3 x float], [3 x float]* %2, i64 %26, i64 0
%29 = load float, float* %28
%30 = call float @min(float %27, float %29)
store float %30, float* %14
%31 = load float, float* %20
%32 = getelementptr inbounds [3 x float], [3 x float]* %2, i64 %26, i64 1
%33 = load float, float* %32
%34 = call float @min(float %31, float %33)
store float %34, float* %20
%35 = load float, float* %21
%36 = getelementptr inbounds [3 x float], [3 x float]* %2, i64 %26, i64 2
%37 = load float, float* %36
%38 = call float @min(float %35, float %37)
store float %38, float* %21
%39 = load float, float* %16
%40 = load float, float* %28
%41 = call float @max(float %39, float %40)
store float %41, float* %16
%42 = load float, float* %22
%43 = load float, float* %32
%44 = call float @max(float %42, float %43)
store float %44, float* %22
%45 = load float, float* %23
%46 = load float, float* %36
%47 = call float @max(float %45, float %46)
store float %47, float* %23
%48 = add nuw nsw i64 %26, 1
%49 = icmp eq i64 %48, %24
br i1 %49, label %50, label %25
50: ; preds = %25, %3
%51 = getelementptr inbounds [3 x float], [3 x float]* %6, i64 0, i64 0
%52 = call i32 @vec3_mix(float* %14, float* %16, double 5.000000e-01, float* %51)
%53 = bitcast [4 x float]* %0 to float**
%54 = load float, float* %16
%55 = load float, float* %14
%56 = fsub float %54, %55
%57 = fmul float %56, 5.000000e-01
%58 = getelementptr inbounds [3 x float], [3 x float]* %5, i64 0, i64 1
%59 = load float, float* %58
%60 = getelementptr inbounds [3 x float], [3 x float]* %4, i64 0, i64 1
%61 = load float, float* %60
%62 = fsub float %59, %61
%63 = fmul float %62, 5.000000e-01
%64 = getelementptr inbounds [3 x float], [3 x float]* %5, i64 0, i64 2
%65 = load float, float* %64
%66 = getelementptr inbounds [3 x float], [3 x float]* %4, i64 0, i64 2
%67 = load float, float* %66
%68 = fsub float %65, %67
%69 = fmul float %68, 5.000000e-01
%70 = call i32 @bbox_from_extents(float** %53, float* %51, float %57, float %63, float %69)
ret void
}