#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 */
scalar_t__ sqrt(float);
void hippo_view_bound(float *v, const float *M) {
  int i;
  v[0] = M[12] + M[0];
  v[1] = M[13] + M[1];
  v[2] = M[14] + M[2];
  v[3] = M[15] + M[3];
  v[4] = M[12] - M[0];
  v[5] = M[13] - M[1];
  v[6] = M[14] - M[2];
  v[7] = M[15] - M[3];
  v[8] = M[12] + M[4];
  v[9] = M[13] + M[5];
  v[10] = M[14] + M[6];
  v[11] = M[15] + M[7];
  v[12] = M[12] - M[4];
  v[13] = M[13] - M[5];
  v[14] = M[14] - M[6];
  v[15] = M[15] - M[7];
  v[16] = M[12] + M[8];
  v[17] = M[13] + M[9];
  v[18] = M[14] + M[10];
  v[19] = M[15] + M[11];
  v[20] = M[12] - M[8];
  v[21] = M[13] - M[9];
  v[22] = M[14] - M[10];
  v[23] = M[15] - M[11];
  for (i = 0; i < 6; ++i) {
    float k =
        (float)sqrt(v[4 * i + 0] * v[4 * i + 0] + v[4 * i + 1] * v[4 * i + 1] +
                    v[4 * i + 2] * v[4 * i + 2]);
    v[i * 4 + 0] /= k;
    v[i * 4 + 1] /= k;
    v[i * 4 + 2] /= k;
    v[i * 4 + 3] /= k;
  }
}


x86 assembly (clang, -O0):
<hippo_view_bound>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movss  0x30(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x10(%rbp),%rax
movss  0x34(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x4(%rax)
mov    -0x10(%rbp),%rax
movss  0x38(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x8(%rax)
mov    -0x10(%rbp),%rax
movss  0x3c(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0xc(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0xc(%rax)
mov    -0x10(%rbp),%rax
movss  0x30(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x10(%rax)
mov    -0x10(%rbp),%rax
movss  0x34(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x4(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x14(%rax)
mov    -0x10(%rbp),%rax
movss  0x38(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x8(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x18(%rax)
mov    -0x10(%rbp),%rax
movss  0x3c(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0xc(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x1c(%rax)
mov    -0x10(%rbp),%rax
movss  0x30(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0x10(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x20(%rax)
mov    -0x10(%rbp),%rax
movss  0x34(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0x14(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x24(%rax)
mov    -0x10(%rbp),%rax
movss  0x38(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0x18(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x28(%rax)
mov    -0x10(%rbp),%rax
movss  0x3c(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0x1c(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x2c(%rax)
mov    -0x10(%rbp),%rax
movss  0x30(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x10(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x30(%rax)
mov    -0x10(%rbp),%rax
movss  0x34(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x14(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x34(%rax)
mov    -0x10(%rbp),%rax
movss  0x38(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x18(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x38(%rax)
mov    -0x10(%rbp),%rax
movss  0x3c(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x1c(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x3c(%rax)
mov    -0x10(%rbp),%rax
movss  0x30(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0x20(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x40(%rax)
mov    -0x10(%rbp),%rax
movss  0x34(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0x24(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x44(%rax)
mov    -0x10(%rbp),%rax
movss  0x38(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0x28(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x48(%rax)
mov    -0x10(%rbp),%rax
movss  0x3c(%rax),%xmm0
mov    -0x10(%rbp),%rax
addss  0x2c(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x4c(%rax)
mov    -0x10(%rbp),%rax
movss  0x30(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x20(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x50(%rax)
mov    -0x10(%rbp),%rax
movss  0x34(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x24(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x54(%rax)
mov    -0x10(%rbp),%rax
movss  0x38(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x28(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x58(%rax)
mov    -0x10(%rbp),%rax
movss  0x3c(%rax),%xmm0
mov    -0x10(%rbp),%rax
subss  0x2c(%rax),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,0x5c(%rax)
movl   $0x0,-0x14(%rbp)
cmpl   $0x6,-0x14(%rbp)
jge    14ed <hippo_view_bound+0x3dd>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x2,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x2,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm2
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x2,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x2,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mulss  (%rax,%rcx,4),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x2,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x2,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
call   1030 <sqrt@plt>
cvtsi2ss %rax,%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0x18(%rbp),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x2,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,(%rax,%rcx,4)
movss  -0x18(%rbp),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x2,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,(%rax,%rcx,4)
movss  -0x18(%rbp),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x2,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,(%rax,%rcx,4)
movss  -0x18(%rbp),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
shl    $0x2,%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    13ac <hippo_view_bound+0x29c>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<hippo_view_bound>:
push   %rbx
mov    %rdi,%rbx
movss  0x30(%rsi),%xmm0
addss  (%rsi),%xmm0
movss  %xmm0,(%rdi)
movss  0x34(%rsi),%xmm0
addss  0x4(%rsi),%xmm0
movss  %xmm0,0x4(%rdi)
movss  0x38(%rsi),%xmm0
addss  0x8(%rsi),%xmm0
movss  %xmm0,0x8(%rdi)
movss  0x3c(%rsi),%xmm0
addss  0xc(%rsi),%xmm0
movss  %xmm0,0xc(%rdi)
movss  0x30(%rsi),%xmm0
subss  (%rsi),%xmm0
movss  %xmm0,0x10(%rdi)
movss  0x34(%rsi),%xmm0
subss  0x4(%rsi),%xmm0
movss  %xmm0,0x14(%rdi)
movss  0x38(%rsi),%xmm0
subss  0x8(%rsi),%xmm0
movss  %xmm0,0x18(%rdi)
movss  0x3c(%rsi),%xmm0
subss  0xc(%rsi),%xmm0
movss  %xmm0,0x1c(%rdi)
movss  0x30(%rsi),%xmm0
addss  0x10(%rsi),%xmm0
movss  %xmm0,0x20(%rdi)
movss  0x34(%rsi),%xmm0
addss  0x14(%rsi),%xmm0
movss  %xmm0,0x24(%rdi)
movss  0x38(%rsi),%xmm0
addss  0x18(%rsi),%xmm0
movss  %xmm0,0x28(%rdi)
movss  0x3c(%rsi),%xmm0
addss  0x1c(%rsi),%xmm0
movss  %xmm0,0x2c(%rdi)
movss  0x30(%rsi),%xmm0
subss  0x10(%rsi),%xmm0
movss  %xmm0,0x30(%rdi)
movss  0x34(%rsi),%xmm0
subss  0x14(%rsi),%xmm0
movss  %xmm0,0x34(%rdi)
movss  0x38(%rsi),%xmm0
subss  0x18(%rsi),%xmm0
movss  %xmm0,0x38(%rdi)
movss  0x3c(%rsi),%xmm0
subss  0x1c(%rsi),%xmm0
movss  %xmm0,0x3c(%rdi)
movss  0x30(%rsi),%xmm0
addss  0x20(%rsi),%xmm0
movss  %xmm0,0x40(%rdi)
movss  0x34(%rsi),%xmm0
addss  0x24(%rsi),%xmm0
movss  %xmm0,0x44(%rdi)
movss  0x38(%rsi),%xmm0
addss  0x28(%rsi),%xmm0
movss  %xmm0,0x48(%rdi)
movss  0x3c(%rsi),%xmm0
addss  0x2c(%rsi),%xmm0
movss  %xmm0,0x4c(%rdi)
movss  0x30(%rsi),%xmm0
subss  0x20(%rsi),%xmm0
movss  %xmm0,0x50(%rdi)
movss  0x34(%rsi),%xmm0
subss  0x24(%rsi),%xmm0
movss  %xmm0,0x54(%rdi)
movss  0x38(%rsi),%xmm0
subss  0x28(%rsi),%xmm0
movss  %xmm0,0x58(%rdi)
movss  0x3c(%rsi),%xmm0
subss  0x2c(%rsi),%xmm0
movss  %xmm0,0x5c(%rdi)
movss  (%rdi),%xmm1
movss  0x4(%rdi),%xmm0
mulss  %xmm0,%xmm0
mulss  %xmm1,%xmm1
addss  %xmm0,%xmm1
movss  0x8(%rdi),%xmm0
mulss  %xmm0,%xmm0
addss  %xmm1,%xmm0
call   1030 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
movups (%rbx),%xmm1
shufps $0x0,%xmm0,%xmm0
divps  %xmm0,%xmm1
movups %xmm1,(%rbx)
movss  0x10(%rbx),%xmm1
movss  0x14(%rbx),%xmm0
mulss  %xmm0,%xmm0
mulss  %xmm1,%xmm1
addss  %xmm0,%xmm1
movss  0x18(%rbx),%xmm0
mulss  %xmm0,%xmm0
addss  %xmm1,%xmm0
call   1030 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
movups 0x10(%rbx),%xmm1
shufps $0x0,%xmm0,%xmm0
divps  %xmm0,%xmm1
movups %xmm1,0x10(%rbx)
movss  0x20(%rbx),%xmm1
movss  0x24(%rbx),%xmm0
mulss  %xmm0,%xmm0
mulss  %xmm1,%xmm1
addss  %xmm0,%xmm1
movss  0x28(%rbx),%xmm0
mulss  %xmm0,%xmm0
addss  %xmm1,%xmm0
call   1030 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
movups 0x20(%rbx),%xmm1
shufps $0x0,%xmm0,%xmm0
divps  %xmm0,%xmm1
movups %xmm1,0x20(%rbx)
movss  0x30(%rbx),%xmm1
movss  0x34(%rbx),%xmm0
mulss  %xmm0,%xmm0
mulss  %xmm1,%xmm1
addss  %xmm0,%xmm1
movss  0x38(%rbx),%xmm0
mulss  %xmm0,%xmm0
addss  %xmm1,%xmm0
call   1030 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
movups 0x30(%rbx),%xmm1
shufps $0x0,%xmm0,%xmm0
divps  %xmm0,%xmm1
movups %xmm1,0x30(%rbx)
movss  0x40(%rbx),%xmm1
movss  0x44(%rbx),%xmm0
mulss  %xmm0,%xmm0
mulss  %xmm1,%xmm1
addss  %xmm0,%xmm1
movss  0x48(%rbx),%xmm0
mulss  %xmm0,%xmm0
addss  %xmm1,%xmm0
call   1030 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
movups 0x40(%rbx),%xmm1
shufps $0x0,%xmm0,%xmm0
divps  %xmm0,%xmm1
movups %xmm1,0x40(%rbx)
movss  0x50(%rbx),%xmm1
movss  0x54(%rbx),%xmm0
mulss  %xmm0,%xmm0
mulss  %xmm1,%xmm1
addss  %xmm0,%xmm1
movss  0x58(%rbx),%xmm0
mulss  %xmm0,%xmm0
addss  %xmm1,%xmm0
call   1030 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
movups 0x50(%rbx),%xmm1
shufps $0x0,%xmm0,%xmm0
divps  %xmm0,%xmm1
movups %xmm1,0x50(%rbx)
pop    %rbx
ret

LLVM IR (-O0):
define void @hippo_view_bound(float* %0, float* %1) {
%3 = alloca float*
%4 = alloca float*
%5 = alloca i32
%6 = alloca float
store float* %0, float** %3
store float* %1, float** %4
%7 = load float*, float** %4
%8 = getelementptr inbounds float, float* %7, i64 12
%9 = load float, float* %8
%10 = load float*, float** %4
%11 = getelementptr inbounds float, float* %10, i64 0
%12 = load float, float* %11
%13 = fadd float %9, %12
%14 = load float*, float** %3
%15 = getelementptr inbounds float, float* %14, i64 0
store float %13, float* %15
%16 = load float*, float** %4
%17 = getelementptr inbounds float, float* %16, i64 13
%18 = load float, float* %17
%19 = load float*, float** %4
%20 = getelementptr inbounds float, float* %19, i64 1
%21 = load float, float* %20
%22 = fadd float %18, %21
%23 = load float*, float** %3
%24 = getelementptr inbounds float, float* %23, i64 1
store float %22, float* %24
%25 = load float*, float** %4
%26 = getelementptr inbounds float, float* %25, i64 14
%27 = load float, float* %26
%28 = load float*, float** %4
%29 = getelementptr inbounds float, float* %28, i64 2
%30 = load float, float* %29
%31 = fadd float %27, %30
%32 = load float*, float** %3
%33 = getelementptr inbounds float, float* %32, i64 2
store float %31, float* %33
%34 = load float*, float** %4
%35 = getelementptr inbounds float, float* %34, i64 15
%36 = load float, float* %35
%37 = load float*, float** %4
%38 = getelementptr inbounds float, float* %37, i64 3
%39 = load float, float* %38
%40 = fadd float %36, %39
%41 = load float*, float** %3
%42 = getelementptr inbounds float, float* %41, i64 3
store float %40, float* %42
%43 = load float*, float** %4
%44 = getelementptr inbounds float, float* %43, i64 12
%45 = load float, float* %44
%46 = load float*, float** %4
%47 = getelementptr inbounds float, float* %46, i64 0
%48 = load float, float* %47
%49 = fsub float %45, %48
%50 = load float*, float** %3
%51 = getelementptr inbounds float, float* %50, i64 4
store float %49, float* %51
%52 = load float*, float** %4
%53 = getelementptr inbounds float, float* %52, i64 13
%54 = load float, float* %53
%55 = load float*, float** %4
%56 = getelementptr inbounds float, float* %55, i64 1
%57 = load float, float* %56
%58 = fsub float %54, %57
%59 = load float*, float** %3
%60 = getelementptr inbounds float, float* %59, i64 5
store float %58, float* %60
%61 = load float*, float** %4
%62 = getelementptr inbounds float, float* %61, i64 14
%63 = load float, float* %62
%64 = load float*, float** %4
%65 = getelementptr inbounds float, float* %64, i64 2
%66 = load float, float* %65
%67 = fsub float %63, %66
%68 = load float*, float** %3
%69 = getelementptr inbounds float, float* %68, i64 6
store float %67, float* %69
%70 = load float*, float** %4
%71 = getelementptr inbounds float, float* %70, i64 15
%72 = load float, float* %71
%73 = load float*, float** %4
%74 = getelementptr inbounds float, float* %73, i64 3
%75 = load float, float* %74
%76 = fsub float %72, %75
%77 = load float*, float** %3
%78 = getelementptr inbounds float, float* %77, i64 7
store float %76, float* %78
%79 = load float*, float** %4
%80 = getelementptr inbounds float, float* %79, i64 12
%81 = load float, float* %80
%82 = load float*, float** %4
%83 = getelementptr inbounds float, float* %82, i64 4
%84 = load float, float* %83
%85 = fadd float %81, %84
%86 = load float*, float** %3
%87 = getelementptr inbounds float, float* %86, i64 8
store float %85, float* %87
%88 = load float*, float** %4
%89 = getelementptr inbounds float, float* %88, i64 13
%90 = load float, float* %89
%91 = load float*, float** %4
%92 = getelementptr inbounds float, float* %91, i64 5
%93 = load float, float* %92
%94 = fadd float %90, %93
%95 = load float*, float** %3
%96 = getelementptr inbounds float, float* %95, i64 9
store float %94, float* %96
%97 = load float*, float** %4
%98 = getelementptr inbounds float, float* %97, i64 14
%99 = load float, float* %98
%100 = load float*, float** %4
%101 = getelementptr inbounds float, float* %100, i64 6
%102 = load float, float* %101
%103 = fadd float %99, %102
%104 = load float*, float** %3
%105 = getelementptr inbounds float, float* %104, i64 10
store float %103, float* %105
%106 = load float*, float** %4
%107 = getelementptr inbounds float, float* %106, i64 15
%108 = load float, float* %107
%109 = load float*, float** %4
%110 = getelementptr inbounds float, float* %109, i64 7
%111 = load float, float* %110
%112 = fadd float %108, %111
%113 = load float*, float** %3
%114 = getelementptr inbounds float, float* %113, i64 11
store float %112, float* %114
%115 = load float*, float** %4
%116 = getelementptr inbounds float, float* %115, i64 12
%117 = load float, float* %116
%118 = load float*, float** %4
%119 = getelementptr inbounds float, float* %118, i64 4
%120 = load float, float* %119
%121 = fsub float %117, %120
%122 = load float*, float** %3
%123 = getelementptr inbounds float, float* %122, i64 12
store float %121, float* %123
%124 = load float*, float** %4
%125 = getelementptr inbounds float, float* %124, i64 13
%126 = load float, float* %125
%127 = load float*, float** %4
%128 = getelementptr inbounds float, float* %127, i64 5
%129 = load float, float* %128
%130 = fsub float %126, %129
%131 = load float*, float** %3
%132 = getelementptr inbounds float, float* %131, i64 13
store float %130, float* %132
%133 = load float*, float** %4
%134 = getelementptr inbounds float, float* %133, i64 14
%135 = load float, float* %134
%136 = load float*, float** %4
%137 = getelementptr inbounds float, float* %136, i64 6
%138 = load float, float* %137
%139 = fsub float %135, %138
%140 = load float*, float** %3
%141 = getelementptr inbounds float, float* %140, i64 14
store float %139, float* %141
%142 = load float*, float** %4
%143 = getelementptr inbounds float, float* %142, i64 15
%144 = load float, float* %143
%145 = load float*, float** %4
%146 = getelementptr inbounds float, float* %145, i64 7
%147 = load float, float* %146
%148 = fsub float %144, %147
%149 = load float*, float** %3
%150 = getelementptr inbounds float, float* %149, i64 15
store float %148, float* %150
%151 = load float*, float** %4
%152 = getelementptr inbounds float, float* %151, i64 12
%153 = load float, float* %152
%154 = load float*, float** %4
%155 = getelementptr inbounds float, float* %154, i64 8
%156 = load float, float* %155
%157 = fadd float %153, %156
%158 = load float*, float** %3
%159 = getelementptr inbounds float, float* %158, i64 16
store float %157, float* %159
%160 = load float*, float** %4
%161 = getelementptr inbounds float, float* %160, i64 13
%162 = load float, float* %161
%163 = load float*, float** %4
%164 = getelementptr inbounds float, float* %163, i64 9
%165 = load float, float* %164
%166 = fadd float %162, %165
%167 = load float*, float** %3
%168 = getelementptr inbounds float, float* %167, i64 17
store float %166, float* %168
%169 = load float*, float** %4
%170 = getelementptr inbounds float, float* %169, i64 14
%171 = load float, float* %170
%172 = load float*, float** %4
%173 = getelementptr inbounds float, float* %172, i64 10
%174 = load float, float* %173
%175 = fadd float %171, %174
%176 = load float*, float** %3
%177 = getelementptr inbounds float, float* %176, i64 18
store float %175, float* %177
%178 = load float*, float** %4
%179 = getelementptr inbounds float, float* %178, i64 15
%180 = load float, float* %179
%181 = load float*, float** %4
%182 = getelementptr inbounds float, float* %181, i64 11
%183 = load float, float* %182
%184 = fadd float %180, %183
%185 = load float*, float** %3
%186 = getelementptr inbounds float, float* %185, i64 19
store float %184, float* %186
%187 = load float*, float** %4
%188 = getelementptr inbounds float, float* %187, i64 12
%189 = load float, float* %188
%190 = load float*, float** %4
%191 = getelementptr inbounds float, float* %190, i64 8
%192 = load float, float* %191
%193 = fsub float %189, %192
%194 = load float*, float** %3
%195 = getelementptr inbounds float, float* %194, i64 20
store float %193, float* %195
%196 = load float*, float** %4
%197 = getelementptr inbounds float, float* %196, i64 13
%198 = load float, float* %197
%199 = load float*, float** %4
%200 = getelementptr inbounds float, float* %199, i64 9
%201 = load float, float* %200
%202 = fsub float %198, %201
%203 = load float*, float** %3
%204 = getelementptr inbounds float, float* %203, i64 21
store float %202, float* %204
%205 = load float*, float** %4
%206 = getelementptr inbounds float, float* %205, i64 14
%207 = load float, float* %206
%208 = load float*, float** %4
%209 = getelementptr inbounds float, float* %208, i64 10
%210 = load float, float* %209
%211 = fsub float %207, %210
%212 = load float*, float** %3
%213 = getelementptr inbounds float, float* %212, i64 22
store float %211, float* %213
%214 = load float*, float** %4
%215 = getelementptr inbounds float, float* %214, i64 15
%216 = load float, float* %215
%217 = load float*, float** %4
%218 = getelementptr inbounds float, float* %217, i64 11
%219 = load float, float* %218
%220 = fsub float %216, %219
%221 = load float*, float** %3
%222 = getelementptr inbounds float, float* %221, i64 23
store float %220, float* %222
store i32 0, i32* %5
br label %223
223: ; preds = %310, %2
%224 = load i32, i32* %5
%225 = icmp slt i32 %224, 6
br i1 %225, label %226, label %313
226: ; preds = %223
%227 = load float*, float** %3
%228 = load i32, i32* %5
%229 = mul nsw i32 4, %228
%230 = add nsw i32 %229, 0
%231 = sext i32 %230 to i64
%232 = getelementptr inbounds float, float* %227, i64 %231
%233 = load float, float* %232
%234 = load float*, float** %3
%235 = load i32, i32* %5
%236 = mul nsw i32 4, %235
%237 = add nsw i32 %236, 0
%238 = sext i32 %237 to i64
%239 = getelementptr inbounds float, float* %234, i64 %238
%240 = load float, float* %239
%241 = load float*, float** %3
%242 = load i32, i32* %5
%243 = mul nsw i32 4, %242
%244 = add nsw i32 %243, 1
%245 = sext i32 %244 to i64
%246 = getelementptr inbounds float, float* %241, i64 %245
%247 = load float, float* %246
%248 = load float*, float** %3
%249 = load i32, i32* %5
%250 = mul nsw i32 4, %249
%251 = add nsw i32 %250, 1
%252 = sext i32 %251 to i64
%253 = getelementptr inbounds float, float* %248, i64 %252
%254 = load float, float* %253
%255 = fmul float %247, %254
%256 = call float @llvm.fmuladd.f32(float %233, float %240, float %255)
%257 = load float*, float** %3
%258 = load i32, i32* %5
%259 = mul nsw i32 4, %258
%260 = add nsw i32 %259, 2
%261 = sext i32 %260 to i64
%262 = getelementptr inbounds float, float* %257, i64 %261
%263 = load float, float* %262
%264 = load float*, float** %3
%265 = load i32, i32* %5
%266 = mul nsw i32 4, %265
%267 = add nsw i32 %266, 2
%268 = sext i32 %267 to i64
%269 = getelementptr inbounds float, float* %264, i64 %268
%270 = load float, float* %269
%271 = call float @llvm.fmuladd.f32(float %263, float %270, float %256)
%272 = call i64 @sqrt(float %271)
%273 = sitofp i64 %272 to float
store float %273, float* %6
%274 = load float, float* %6
%275 = load float*, float** %3
%276 = load i32, i32* %5
%277 = mul nsw i32 %276, 4
%278 = add nsw i32 %277, 0
%279 = sext i32 %278 to i64
%280 = getelementptr inbounds float, float* %275, i64 %279
%281 = load float, float* %280
%282 = fdiv float %281, %274
store float %282, float* %280
%283 = load float, float* %6
%284 = load float*, float** %3
%285 = load i32, i32* %5
%286 = mul nsw i32 %285, 4
%287 = add nsw i32 %286, 1
%288 = sext i32 %287 to i64
%289 = getelementptr inbounds float, float* %284, i64 %288
%290 = load float, float* %289
%291 = fdiv float %290, %283
store float %291, float* %289
%292 = load float, float* %6
%293 = load float*, float** %3
%294 = load i32, i32* %5
%295 = mul nsw i32 %294, 4
%296 = add nsw i32 %295, 2
%297 = sext i32 %296 to i64
%298 = getelementptr inbounds float, float* %293, i64 %297
%299 = load float, float* %298
%300 = fdiv float %299, %292
store float %300, float* %298
%301 = load float, float* %6
%302 = load float*, float** %3
%303 = load i32, i32* %5
%304 = mul nsw i32 %303, 4
%305 = add nsw i32 %304, 3
%306 = sext i32 %305 to i64
%307 = getelementptr inbounds float, float* %302, i64 %306
%308 = load float, float* %307
%309 = fdiv float %308, %301
store float %309, float* %307
br label %310
310: ; preds = %226
%311 = load i32, i32* %5
%312 = add nsw i32 %311, 1
store i32 %312, i32* %5
br label %223
313: ; preds = %223
ret void
}

LLVM IR (-O2):
define void @hippo_view_bound(float* %0, float* nocapture %1) {
%3 = getelementptr inbounds float, float* %1, i64 12
%4 = load float, float* %3
%5 = load float, float* %1
%6 = fadd float %4, %5
store float %6, float* %0
%7 = getelementptr inbounds float, float* %1, i64 13
%8 = load float, float* %7
%9 = getelementptr inbounds float, float* %1, i64 1
%10 = load float, float* %9
%11 = fadd float %8, %10
%12 = getelementptr inbounds float, float* %0, i64 1
store float %11, float* %12
%13 = getelementptr inbounds float, float* %1, i64 14
%14 = load float, float* %13
%15 = getelementptr inbounds float, float* %1, i64 2
%16 = load float, float* %15
%17 = fadd float %14, %16
%18 = getelementptr inbounds float, float* %0, i64 2
store float %17, float* %18
%19 = getelementptr inbounds float, float* %1, i64 15
%20 = load float, float* %19
%21 = getelementptr inbounds float, float* %1, i64 3
%22 = load float, float* %21
%23 = fadd float %20, %22
%24 = getelementptr inbounds float, float* %0, i64 3
store float %23, float* %24
%25 = load float, float* %3
%26 = load float, float* %1
%27 = fsub float %25, %26
%28 = getelementptr inbounds float, float* %0, i64 4
store float %27, float* %28
%29 = load float, float* %7
%30 = load float, float* %9
%31 = fsub float %29, %30
%32 = getelementptr inbounds float, float* %0, i64 5
store float %31, float* %32
%33 = load float, float* %13
%34 = load float, float* %15
%35 = fsub float %33, %34
%36 = getelementptr inbounds float, float* %0, i64 6
store float %35, float* %36
%37 = load float, float* %19
%38 = load float, float* %21
%39 = fsub float %37, %38
%40 = getelementptr inbounds float, float* %0, i64 7
store float %39, float* %40
%41 = load float, float* %3
%42 = getelementptr inbounds float, float* %1, i64 4
%43 = load float, float* %42
%44 = fadd float %41, %43
%45 = getelementptr inbounds float, float* %0, i64 8
store float %44, float* %45
%46 = load float, float* %7
%47 = getelementptr inbounds float, float* %1, i64 5
%48 = load float, float* %47
%49 = fadd float %46, %48
%50 = getelementptr inbounds float, float* %0, i64 9
store float %49, float* %50
%51 = load float, float* %13
%52 = getelementptr inbounds float, float* %1, i64 6
%53 = load float, float* %52
%54 = fadd float %51, %53
%55 = getelementptr inbounds float, float* %0, i64 10
store float %54, float* %55
%56 = load float, float* %19
%57 = getelementptr inbounds float, float* %1, i64 7
%58 = load float, float* %57
%59 = fadd float %56, %58
%60 = getelementptr inbounds float, float* %0, i64 11
store float %59, float* %60
%61 = load float, float* %3
%62 = load float, float* %42
%63 = fsub float %61, %62
%64 = getelementptr inbounds float, float* %0, i64 12
store float %63, float* %64
%65 = load float, float* %7
%66 = load float, float* %47
%67 = fsub float %65, %66
%68 = getelementptr inbounds float, float* %0, i64 13
store float %67, float* %68
%69 = load float, float* %13
%70 = load float, float* %52
%71 = fsub float %69, %70
%72 = getelementptr inbounds float, float* %0, i64 14
store float %71, float* %72
%73 = load float, float* %19
%74 = load float, float* %57
%75 = fsub float %73, %74
%76 = getelementptr inbounds float, float* %0, i64 15
store float %75, float* %76
%77 = load float, float* %3
%78 = getelementptr inbounds float, float* %1, i64 8
%79 = load float, float* %78
%80 = fadd float %77, %79
%81 = getelementptr inbounds float, float* %0, i64 16
store float %80, float* %81
%82 = load float, float* %7
%83 = getelementptr inbounds float, float* %1, i64 9
%84 = load float, float* %83
%85 = fadd float %82, %84
%86 = getelementptr inbounds float, float* %0, i64 17
store float %85, float* %86
%87 = load float, float* %13
%88 = getelementptr inbounds float, float* %1, i64 10
%89 = load float, float* %88
%90 = fadd float %87, %89
%91 = getelementptr inbounds float, float* %0, i64 18
store float %90, float* %91
%92 = load float, float* %19
%93 = getelementptr inbounds float, float* %1, i64 11
%94 = load float, float* %93
%95 = fadd float %92, %94
%96 = getelementptr inbounds float, float* %0, i64 19
store float %95, float* %96
%97 = load float, float* %3
%98 = load float, float* %78
%99 = fsub float %97, %98
%100 = getelementptr inbounds float, float* %0, i64 20
store float %99, float* %100
%101 = load float, float* %7
%102 = load float, float* %83
%103 = fsub float %101, %102
%104 = getelementptr inbounds float, float* %0, i64 21
store float %103, float* %104
%105 = load float, float* %13
%106 = load float, float* %88
%107 = fsub float %105, %106
%108 = getelementptr inbounds float, float* %0, i64 22
store float %107, float* %108
%109 = load float, float* %19
%110 = load float, float* %93
%111 = fsub float %109, %110
%112 = getelementptr inbounds float, float* %0, i64 23
store float %111, float* %112
%113 = load float, float* %0
%114 = getelementptr inbounds float, float* %0, i64 1
%115 = load float, float* %114
%116 = fmul float %115, %115
%117 = tail call float @llvm.fmuladd.f32(float %113, float %113, float %116)
%118 = getelementptr inbounds float, float* %0, i64 2
%119 = load float, float* %118
%120 = tail call float @llvm.fmuladd.f32(float %119, float %119, float %117)
%121 = tail call i64 @sqrt(float %120)
%122 = sitofp i64 %121 to float
%123 = bitcast float* %0 to <4 x float>*
%124 = load <4 x float>, <4 x float>* %123
%125 = insertelement <4 x float> poison, float %122, i64 0
%126 = shufflevector <4 x float> %125, <4 x float> poison, <4 x i32> zeroinitializer
%127 = fdiv <4 x float> %124, %126
%128 = bitcast float* %0 to <4 x float>*
store <4 x float> %127, <4 x float>* %128
%129 = getelementptr inbounds float, float* %0, i64 4
%130 = load float, float* %129
%131 = getelementptr inbounds float, float* %0, i64 5
%132 = load float, float* %131
%133 = fmul float %132, %132
%134 = tail call float @llvm.fmuladd.f32(float %130, float %130, float %133)
%135 = getelementptr inbounds float, float* %0, i64 6
%136 = load float, float* %135
%137 = tail call float @llvm.fmuladd.f32(float %136, float %136, float %134)
%138 = tail call i64 @sqrt(float %137)
%139 = sitofp i64 %138 to float
%140 = bitcast float* %129 to <4 x float>*
%141 = load <4 x float>, <4 x float>* %140
%142 = insertelement <4 x float> poison, float %139, i64 0
%143 = shufflevector <4 x float> %142, <4 x float> poison, <4 x i32> zeroinitializer
%144 = fdiv <4 x float> %141, %143
%145 = bitcast float* %129 to <4 x float>*
store <4 x float> %144, <4 x float>* %145
%146 = getelementptr inbounds float, float* %0, i64 8
%147 = load float, float* %146
%148 = getelementptr inbounds float, float* %0, i64 9
%149 = load float, float* %148
%150 = fmul float %149, %149
%151 = tail call float @llvm.fmuladd.f32(float %147, float %147, float %150)
%152 = getelementptr inbounds float, float* %0, i64 10
%153 = load float, float* %152
%154 = tail call float @llvm.fmuladd.f32(float %153, float %153, float %151)
%155 = tail call i64 @sqrt(float %154)
%156 = sitofp i64 %155 to float
%157 = bitcast float* %146 to <4 x float>*
%158 = load <4 x float>, <4 x float>* %157
%159 = insertelement <4 x float> poison, float %156, i64 0
%160 = shufflevector <4 x float> %159, <4 x float> poison, <4 x i32> zeroinitializer
%161 = fdiv <4 x float> %158, %160
%162 = bitcast float* %146 to <4 x float>*
store <4 x float> %161, <4 x float>* %162
%163 = getelementptr inbounds float, float* %0, i64 12
%164 = load float, float* %163
%165 = getelementptr inbounds float, float* %0, i64 13
%166 = load float, float* %165
%167 = fmul float %166, %166
%168 = tail call float @llvm.fmuladd.f32(float %164, float %164, float %167)
%169 = getelementptr inbounds float, float* %0, i64 14
%170 = load float, float* %169
%171 = tail call float @llvm.fmuladd.f32(float %170, float %170, float %168)
%172 = tail call i64 @sqrt(float %171)
%173 = sitofp i64 %172 to float
%174 = bitcast float* %163 to <4 x float>*
%175 = load <4 x float>, <4 x float>* %174
%176 = insertelement <4 x float> poison, float %173, i64 0
%177 = shufflevector <4 x float> %176, <4 x float> poison, <4 x i32> zeroinitializer
%178 = fdiv <4 x float> %175, %177
%179 = bitcast float* %163 to <4 x float>*
store <4 x float> %178, <4 x float>* %179
%180 = getelementptr inbounds float, float* %0, i64 16
%181 = load float, float* %180
%182 = getelementptr inbounds float, float* %0, i64 17
%183 = load float, float* %182
%184 = fmul float %183, %183
%185 = tail call float @llvm.fmuladd.f32(float %181, float %181, float %184)
%186 = getelementptr inbounds float, float* %0, i64 18
%187 = load float, float* %186
%188 = tail call float @llvm.fmuladd.f32(float %187, float %187, float %185)
%189 = tail call i64 @sqrt(float %188)
%190 = sitofp i64 %189 to float
%191 = bitcast float* %180 to <4 x float>*
%192 = load <4 x float>, <4 x float>* %191
%193 = insertelement <4 x float> poison, float %190, i64 0
%194 = shufflevector <4 x float> %193, <4 x float> poison, <4 x i32> zeroinitializer
%195 = fdiv <4 x float> %192, %194
%196 = bitcast float* %180 to <4 x float>*
store <4 x float> %195, <4 x float>* %196
%197 = getelementptr inbounds float, float* %0, i64 20
%198 = load float, float* %197
%199 = getelementptr inbounds float, float* %0, i64 21
%200 = load float, float* %199
%201 = fmul float %200, %200
%202 = tail call float @llvm.fmuladd.f32(float %198, float %198, float %201)
%203 = getelementptr inbounds float, float* %0, i64 22
%204 = load float, float* %203
%205 = tail call float @llvm.fmuladd.f32(float %204, float %204, float %202)
%206 = tail call i64 @sqrt(float %205)
%207 = sitofp i64 %206 to float
%208 = bitcast float* %197 to <4 x float>*
%209 = load <4 x float>, <4 x float>* %208
%210 = insertelement <4 x float> poison, float %207, i64 0
%211 = shufflevector <4 x float> %210, <4 x float> poison, <4 x i32> zeroinitializer
%212 = fdiv <4 x float> %209, %211
%213 = bitcast float* %197 to <4 x float>*
store <4 x float> %212, <4 x float>* %213
ret void
}