#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 round(float const);
void bbox_to_aabb(const float b[4][4], int aabb[2][3]) {
  aabb[0][0] = round(b[3][0] - b[0][0]);
  aabb[0][1] = round(b[3][1] - b[1][1]);
  aabb[0][2] = round(b[3][2] - b[2][2]);
  aabb[1][0] = round(b[3][0] + b[0][0]);
  aabb[1][1] = round(b[3][1] + b[1][1]);
  aabb[1][2] = round(b[3][2] + b[2][2]);
}


x86 assembly (clang, -O0):
<bbox_to_aabb>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movss  0x30(%rax),%xmm0
mov    -0x8(%rbp),%rax
subss  (%rax),%xmm0
call   1030 <round@plt>
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
movss  0x34(%rax),%xmm0
mov    -0x8(%rbp),%rax
subss  0x14(%rax),%xmm0
call   1030 <round@plt>
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x4(%rax)
mov    -0x8(%rbp),%rax
movss  0x38(%rax),%xmm0
mov    -0x8(%rbp),%rax
subss  0x28(%rax),%xmm0
call   1030 <round@plt>
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x8(%rax)
mov    -0x8(%rbp),%rax
movss  0x30(%rax),%xmm0
mov    -0x8(%rbp),%rax
addss  (%rax),%xmm0
call   1030 <round@plt>
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0xc(%rax)
mov    -0x8(%rbp),%rax
movss  0x34(%rax),%xmm0
mov    -0x8(%rbp),%rax
addss  0x14(%rax),%xmm0
call   1030 <round@plt>
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x10(%rax)
mov    -0x8(%rbp),%rax
movss  0x38(%rax),%xmm0
mov    -0x8(%rbp),%rax
addss  0x28(%rax),%xmm0
call   1030 <round@plt>
mov    %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x14(%rax)
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bbox_to_aabb>:
push   %r14
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%rbx
movss  0x30(%rdi),%xmm0
subss  (%rdi),%xmm0
call   1030 <round@plt>
mov    %eax,(%r14)
movss  0x34(%rbx),%xmm0
subss  0x14(%rbx),%xmm0
call   1030 <round@plt>
mov    %eax,0x4(%r14)
movss  0x38(%rbx),%xmm0
subss  0x28(%rbx),%xmm0
call   1030 <round@plt>
mov    %eax,0x8(%r14)
movss  0x30(%rbx),%xmm0
addss  (%rbx),%xmm0
call   1030 <round@plt>
mov    %eax,0xc(%r14)
movss  0x34(%rbx),%xmm0
addss  0x14(%rbx),%xmm0
call   1030 <round@plt>
mov    %eax,0x10(%r14)
movss  0x38(%rbx),%xmm0
addss  0x28(%rbx),%xmm0
call   1030 <round@plt>
mov    %eax,0x14(%r14)
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define void @bbox_to_aabb([4 x float]* %0, [3 x i32]* %1) {
%3 = alloca [4 x float]*
%4 = alloca [3 x i32]*
store [4 x float]* %0, [4 x float]** %3
store [3 x i32]* %1, [3 x i32]** %4
%5 = load [4 x float]*, [4 x float]** %3
%6 = getelementptr inbounds [4 x float], [4 x float]* %5, i64 3
%7 = getelementptr inbounds [4 x float], [4 x float]* %6, i64 0, i64 0
%8 = load float, float* %7
%9 = load [4 x float]*, [4 x float]** %3
%10 = getelementptr inbounds [4 x float], [4 x float]* %9, i64 0
%11 = getelementptr inbounds [4 x float], [4 x float]* %10, i64 0, i64 0
%12 = load float, float* %11
%13 = fsub float %8, %12
%14 = call i32 @round(float %13)
%15 = load [3 x i32]*, [3 x i32]** %4
%16 = getelementptr inbounds [3 x i32], [3 x i32]* %15, i64 0
%17 = getelementptr inbounds [3 x i32], [3 x i32]* %16, i64 0, i64 0
store i32 %14, i32* %17
%18 = load [4 x float]*, [4 x float]** %3
%19 = getelementptr inbounds [4 x float], [4 x float]* %18, i64 3
%20 = getelementptr inbounds [4 x float], [4 x float]* %19, i64 0, i64 1
%21 = load float, float* %20
%22 = load [4 x float]*, [4 x float]** %3
%23 = getelementptr inbounds [4 x float], [4 x float]* %22, i64 1
%24 = getelementptr inbounds [4 x float], [4 x float]* %23, i64 0, i64 1
%25 = load float, float* %24
%26 = fsub float %21, %25
%27 = call i32 @round(float %26)
%28 = load [3 x i32]*, [3 x i32]** %4
%29 = getelementptr inbounds [3 x i32], [3 x i32]* %28, i64 0
%30 = getelementptr inbounds [3 x i32], [3 x i32]* %29, i64 0, i64 1
store i32 %27, i32* %30
%31 = load [4 x float]*, [4 x float]** %3
%32 = getelementptr inbounds [4 x float], [4 x float]* %31, i64 3
%33 = getelementptr inbounds [4 x float], [4 x float]* %32, i64 0, i64 2
%34 = load float, float* %33
%35 = load [4 x float]*, [4 x float]** %3
%36 = getelementptr inbounds [4 x float], [4 x float]* %35, i64 2
%37 = getelementptr inbounds [4 x float], [4 x float]* %36, i64 0, i64 2
%38 = load float, float* %37
%39 = fsub float %34, %38
%40 = call i32 @round(float %39)
%41 = load [3 x i32]*, [3 x i32]** %4
%42 = getelementptr inbounds [3 x i32], [3 x i32]* %41, i64 0
%43 = getelementptr inbounds [3 x i32], [3 x i32]* %42, i64 0, i64 2
store i32 %40, i32* %43
%44 = load [4 x float]*, [4 x float]** %3
%45 = getelementptr inbounds [4 x float], [4 x float]* %44, i64 3
%46 = getelementptr inbounds [4 x float], [4 x float]* %45, i64 0, i64 0
%47 = load float, float* %46
%48 = load [4 x float]*, [4 x float]** %3
%49 = getelementptr inbounds [4 x float], [4 x float]* %48, i64 0
%50 = getelementptr inbounds [4 x float], [4 x float]* %49, i64 0, i64 0
%51 = load float, float* %50
%52 = fadd float %47, %51
%53 = call i32 @round(float %52)
%54 = load [3 x i32]*, [3 x i32]** %4
%55 = getelementptr inbounds [3 x i32], [3 x i32]* %54, i64 1
%56 = getelementptr inbounds [3 x i32], [3 x i32]* %55, i64 0, i64 0
store i32 %53, i32* %56
%57 = load [4 x float]*, [4 x float]** %3
%58 = getelementptr inbounds [4 x float], [4 x float]* %57, i64 3
%59 = getelementptr inbounds [4 x float], [4 x float]* %58, i64 0, i64 1
%60 = load float, float* %59
%61 = load [4 x float]*, [4 x float]** %3
%62 = getelementptr inbounds [4 x float], [4 x float]* %61, i64 1
%63 = getelementptr inbounds [4 x float], [4 x float]* %62, i64 0, i64 1
%64 = load float, float* %63
%65 = fadd float %60, %64
%66 = call i32 @round(float %65)
%67 = load [3 x i32]*, [3 x i32]** %4
%68 = getelementptr inbounds [3 x i32], [3 x i32]* %67, i64 1
%69 = getelementptr inbounds [3 x i32], [3 x i32]* %68, i64 0, i64 1
store i32 %66, i32* %69
%70 = load [4 x float]*, [4 x float]** %3
%71 = getelementptr inbounds [4 x float], [4 x float]* %70, i64 3
%72 = getelementptr inbounds [4 x float], [4 x float]* %71, i64 0, i64 2
%73 = load float, float* %72
%74 = load [4 x float]*, [4 x float]** %3
%75 = getelementptr inbounds [4 x float], [4 x float]* %74, i64 2
%76 = getelementptr inbounds [4 x float], [4 x float]* %75, i64 0, i64 2
%77 = load float, float* %76
%78 = fadd float %73, %77
%79 = call i32 @round(float %78)
%80 = load [3 x i32]*, [3 x i32]** %4
%81 = getelementptr inbounds [3 x i32], [3 x i32]* %80, i64 1
%82 = getelementptr inbounds [3 x i32], [3 x i32]* %81, i64 0, i64 2
store i32 %79, i32* %82
ret void
}

LLVM IR (-O2):
define void @bbox_to_aabb([4 x float]* nocapture %0, [3 x i32]* nocapture writeonly %1) {
%3 = getelementptr inbounds [4 x float], [4 x float]* %0, i64 3, i64 0
%4 = load float, float* %3
%5 = getelementptr inbounds [4 x float], [4 x float]* %0, i64 0, i64 0
%6 = load float, float* %5
%7 = fsub float %4, %6
%8 = tail call i32 @round(float %7)
%9 = getelementptr inbounds [3 x i32], [3 x i32]* %1, i64 0, i64 0
store i32 %8, i32* %9
%10 = getelementptr inbounds [4 x float], [4 x float]* %0, i64 3, i64 1
%11 = load float, float* %10
%12 = getelementptr inbounds [4 x float], [4 x float]* %0, i64 1, i64 1
%13 = load float, float* %12
%14 = fsub float %11, %13
%15 = tail call i32 @round(float %14)
%16 = getelementptr inbounds [3 x i32], [3 x i32]* %1, i64 0, i64 1
store i32 %15, i32* %16
%17 = getelementptr inbounds [4 x float], [4 x float]* %0, i64 3, i64 2
%18 = load float, float* %17
%19 = getelementptr inbounds [4 x float], [4 x float]* %0, i64 2, i64 2
%20 = load float, float* %19
%21 = fsub float %18, %20
%22 = tail call i32 @round(float %21)
%23 = getelementptr inbounds [3 x i32], [3 x i32]* %1, i64 0, i64 2
store i32 %22, i32* %23
%24 = load float, float* %3
%25 = load float, float* %5
%26 = fadd float %24, %25
%27 = tail call i32 @round(float %26)
%28 = getelementptr inbounds [3 x i32], [3 x i32]* %1, i64 1, i64 0
store i32 %27, i32* %28
%29 = load float, float* %10
%30 = load float, float* %12
%31 = fadd float %29, %30
%32 = tail call i32 @round(float %31)
%33 = getelementptr inbounds [3 x i32], [3 x i32]* %1, i64 1, i64 1
store i32 %32, i32* %33
%34 = load float, float* %17
%35 = load float, float* %19
%36 = fadd float %34, %35
%37 = tail call i32 @round(float %36)
%38 = getelementptr inbounds [3 x i32], [3 x i32]* %1, i64 1, i64 2
store i32 %37, i32* %38
ret void
}