#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*/ exact(int, int, int, double *, int, int, int);
void setbv(double ****u, int nx, int nxmax, int ny, int nz) {
  int i, j, k, m;
  double temp1[5], temp2[5];
  for (j = 0; j < ny; j++) {
    for (i = 0; i < nx; i++) {
      exact(i, j, 0, temp1, nx, ny, nz);
      exact(i, j, nz - 1, temp2, nx, ny, nz);
      for (m = 0; m < 5; m++) {
        u[m][i][j][0] = temp1[m];
        u[m][i][j][nz - 1] = temp2[m];
      }
    }
  }
  for (k = 0; k < nz; k++) {
    for (i = 0; i < nx; i++) {
      exact(i, 0, k, temp1, nx, ny, nz);
      exact(i, ny - 1, k, temp2, nx, ny, nz);
      for (m = 0; m < 5; m++) {
        u[m][i][0][k] = temp1[m];
        u[m][i][ny - 1][k] = temp2[m];
      }
    }
  }
  for (k = 0; k < nz; k++) {
    for (j = 0; i < ny; i++) {
      exact(0, j, k, temp1, nx, ny, nz);
      exact(nx - 1, j, k, temp2, nx, ny, nz);
      for (m = 0; m < 5; m++) {
        u[m][1][j][k] = temp1[m];
        u[m][nx - 1][j][k] = temp2[m];
      }
    }
  }
}


x86 assembly (clang, -O0):
<setbv>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8d,-0x18(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1237 <setbv+0x127>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1224 <setbv+0x114>
mov    -0x1c(%rbp),%edi
mov    -0x20(%rbp),%esi
lea    -0x50(%rbp),%rcx
mov    -0xc(%rbp),%r8d
mov    -0x14(%rbp),%r9d
mov    -0x18(%rbp),%eax
xor    %edx,%edx
mov    %eax,(%rsp)
call   1030 <exact@plt>
mov    -0x1c(%rbp),%edi
mov    -0x20(%rbp),%esi
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
lea    -0x80(%rbp),%rcx
mov    -0xc(%rbp),%r8d
mov    -0x14(%rbp),%r9d
mov    -0x18(%rbp),%eax
mov    %eax,(%rsp)
call   1030 <exact@plt>
movl   $0x0,-0x28(%rbp)
cmpl   $0x5,-0x28(%rbp)
jge    1211 <setbv+0x101>
movslq -0x28(%rbp),%rax
movsd  -0x50(%rbp,%rax,8),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movsd  %xmm0,(%rax)
movslq -0x28(%rbp),%rax
movsd  -0x80(%rbp,%rax,8),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    119b <setbv+0x8b>
jmp    1216 <setbv+0x106>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1146 <setbv+0x36>
jmp    1229 <setbv+0x119>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1133 <setbv+0x23>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1342 <setbv+0x232>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    132f <setbv+0x21f>
mov    -0x1c(%rbp),%edi
mov    -0x24(%rbp),%edx
lea    -0x50(%rbp),%rcx
mov    -0xc(%rbp),%r8d
mov    -0x14(%rbp),%r9d
mov    -0x18(%rbp),%eax
xor    %esi,%esi
mov    %eax,(%rsp)
call   1030 <exact@plt>
mov    -0x1c(%rbp),%edi
mov    -0x14(%rbp),%esi
sub    $0x1,%esi
mov    -0x24(%rbp),%edx
lea    -0x80(%rbp),%rcx
mov    -0xc(%rbp),%r8d
mov    -0x14(%rbp),%r9d
mov    -0x18(%rbp),%eax
mov    %eax,(%rsp)
call   1030 <exact@plt>
movl   $0x0,-0x28(%rbp)
cmpl   $0x5,-0x28(%rbp)
jge    131c <setbv+0x20c>
movslq -0x28(%rbp),%rax
movsd  -0x50(%rbp,%rax,8),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%rax
movslq -0x24(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movslq -0x28(%rbp),%rax
movsd  -0x80(%rbp,%rax,8),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x24(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12a6 <setbv+0x196>
jmp    1321 <setbv+0x211>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1251 <setbv+0x141>
jmp    1334 <setbv+0x224>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    123e <setbv+0x12e>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    144e <setbv+0x33e>
movl   $0x0,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    143b <setbv+0x32b>
mov    -0x20(%rbp),%esi
mov    -0x24(%rbp),%edx
lea    -0x50(%rbp),%rcx
mov    -0xc(%rbp),%r8d
mov    -0x14(%rbp),%r9d
mov    -0x18(%rbp),%eax
xor    %edi,%edi
mov    %eax,(%rsp)
call   1030 <exact@plt>
mov    -0xc(%rbp),%edi
sub    $0x1,%edi
mov    -0x20(%rbp),%esi
mov    -0x24(%rbp),%edx
lea    -0x80(%rbp),%rcx
mov    -0xc(%rbp),%r8d
mov    -0x14(%rbp),%r9d
mov    -0x18(%rbp),%eax
mov    %eax,(%rsp)
call   1030 <exact@plt>
movl   $0x0,-0x28(%rbp)
cmpl   $0x5,-0x28(%rbp)
jge    1428 <setbv+0x318>
movslq -0x28(%rbp),%rax
movsd  -0x50(%rbp,%rax,8),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x8(%rax),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x24(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movslq -0x28(%rbp),%rax
movsd  -0x80(%rbp,%rax,8),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x24(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    13b1 <setbv+0x2a1>
jmp    142d <setbv+0x31d>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    135c <setbv+0x24c>
jmp    1440 <setbv+0x330>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1349 <setbv+0x239>
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<setbv>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x98,%rsp
mov    %r8,0x18(%rsp)
mov    %rdi,0x38(%rsp)
mov    %rsi,0x10(%rsp)
mov    %esi,%eax
mov    %rax,0x20(%rsp)
mov    %rcx,0x28(%rsp)
test   %ecx,%ecx
jle    1293 <setbv+0x183>
mov    0x18(%rsp),%rax
add    $0xffffffff,%eax
movslq %eax,%rbp
mov    0x28(%rsp),%eax
mov    %rax,0x30(%rsp)
xor    %ebx,%ebx
lea    0x70(%rsp),%r12
mov    0x28(%rsp),%r14
jmp    117f <setbv+0x6f>
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%rbx
cmp    0x30(%rsp),%rbx
je     1293 <setbv+0x183>
cmpl   $0x0,0x10(%rsp)
mov    0x18(%rsp),%rcx
jle    1170 <setbv+0x60>
xor    %r15d,%r15d
xchg   %ax,%ax
mov    %ecx,(%rsp)
mov    %r15d,%edi
mov    %ebx,%esi
xor    %edx,%edx
mov    %rcx,%r13
mov    %r12,%rcx
mov    0x20(%rsp),%r8
mov    %r14d,%r9d
call   1030 <exact@plt>
mov    %r13d,(%rsp)
mov    %r15d,%edi
mov    %ebx,%esi
mov    %ebp,%edx
lea    0x40(%rsp),%rcx
mov    0x10(%rsp),%r8
mov    %r14d,%r9d
call   1030 <exact@plt>
mov    0x38(%rsp),%rdx
mov    %r13,%rcx
movsd  0x70(%rsp),%xmm0
mov    (%rdx),%rax
mov    (%rax,%r15,8),%rax
mov    (%rax,%rbx,8),%rax
movsd  %xmm0,(%rax)
movsd  0x40(%rsp),%xmm0
movsd  %xmm0,(%rax,%rbp,8)
movsd  0x78(%rsp),%xmm0
mov    0x8(%rdx),%rax
mov    (%rax,%r15,8),%rax
mov    (%rax,%rbx,8),%rax
movsd  %xmm0,(%rax)
movsd  0x48(%rsp),%xmm0
movsd  %xmm0,(%rax,%rbp,8)
movsd  0x80(%rsp),%xmm0
mov    0x10(%rdx),%rax
mov    (%rax,%r15,8),%rax
mov    (%rax,%rbx,8),%rax
movsd  %xmm0,(%rax)
movsd  0x50(%rsp),%xmm0
movsd  %xmm0,(%rax,%rbp,8)
movsd  0x88(%rsp),%xmm0
mov    0x18(%rdx),%rax
mov    (%rax,%r15,8),%rax
mov    (%rax,%rbx,8),%rax
movsd  %xmm0,(%rax)
movsd  0x58(%rsp),%xmm0
movsd  %xmm0,(%rax,%rbp,8)
movsd  0x90(%rsp),%xmm0
mov    0x20(%rdx),%rax
mov    (%rax,%r15,8),%rax
mov    (%rax,%rbx,8),%rax
movsd  %xmm0,(%rax)
movsd  0x60(%rsp),%xmm0
movsd  %xmm0,(%rax,%rbp,8)
add    $0x1,%r15
cmp    %r15,0x20(%rsp)
jne    1190 <setbv+0x80>
jmp    1170 <setbv+0x60>
mov    0x18(%rsp),%rcx
test   %ecx,%ecx
mov    0x28(%rsp),%r9
mov    0x38(%rsp),%rbp
jle    15a0 <setbv+0x490>
lea    -0x1(%r9),%eax
movslq %eax,%r14
mov    %ecx,%eax
mov    %rax,0x30(%rsp)
xor    %r15d,%r15d
lea    0x70(%rsp),%r13
mov    0x10(%rsp),%rax
mov    0x28(%rsp),%r12
jmp    12df <setbv+0x1cf>
nopl   0x0(%rax)
add    $0x1,%r15
cmp    0x30(%rsp),%r15
je     1425 <setbv+0x315>
mov    $0x0,%edx
test   %eax,%eax
jle    12d0 <setbv+0x1c0>
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
mov    %r14,%rbp
mov    0x18(%rsp),%r14
mov    %r14d,(%rsp)
mov    %ebx,%edi
xor    %esi,%esi
mov    %r15d,%edx
mov    %r13,%rcx
mov    0x20(%rsp),%r8
mov    %r12d,%r9d
call   1030 <exact@plt>
mov    %r14d,(%rsp)
mov    %rbp,%r14
mov    0x38(%rsp),%rbp
mov    %ebx,%edi
mov    %r14d,%esi
mov    %r15d,%edx
lea    0x40(%rsp),%rcx
mov    0x10(%rsp),%r8
mov    %r12d,%r9d
call   1030 <exact@plt>
movsd  0x70(%rsp),%xmm0
mov    0x0(%rbp),%rax
mov    (%rax,%rbx,8),%rax
mov    (%rax),%rcx
movsd  %xmm0,(%rcx,%r15,8)
movsd  0x40(%rsp),%xmm0
mov    (%rax,%r14,8),%rax
movsd  %xmm0,(%rax,%r15,8)
movsd  0x78(%rsp),%xmm0
mov    0x8(%rbp),%rax
mov    (%rax,%rbx,8),%rax
mov    (%rax),%rcx
movsd  %xmm0,(%rcx,%r15,8)
movsd  0x48(%rsp),%xmm0
mov    (%rax,%r14,8),%rax
movsd  %xmm0,(%rax,%r15,8)
movsd  0x80(%rsp),%xmm0
mov    0x10(%rbp),%rax
mov    (%rax,%rbx,8),%rax
mov    (%rax),%rcx
movsd  %xmm0,(%rcx,%r15,8)
movsd  0x50(%rsp),%xmm0
mov    (%rax,%r14,8),%rax
movsd  %xmm0,(%rax,%r15,8)
movsd  0x88(%rsp),%xmm0
mov    0x18(%rbp),%rax
mov    (%rax,%rbx,8),%rax
mov    (%rax),%rcx
movsd  %xmm0,(%rcx,%r15,8)
movsd  0x58(%rsp),%xmm0
mov    (%rax,%r14,8),%rax
movsd  %xmm0,(%rax,%r15,8)
movsd  0x90(%rsp),%xmm0
mov    0x20(%rbp),%rax
mov    (%rax,%rbx,8),%rax
mov    (%rax),%rcx
movsd  %xmm0,(%rcx,%r15,8)
movsd  0x60(%rsp),%xmm0
mov    (%rax,%r14,8),%rax
movsd  %xmm0,(%rax,%r15,8)
add    $0x1,%rbx
cmp    %rbx,0x20(%rsp)
jne    12f0 <setbv+0x1e0>
mov    0x10(%rsp),%rax
mov    %eax,%edx
mov    0x28(%rsp),%r9
jmp    12d0 <setbv+0x1c0>
mov    0x18(%rsp),%r12
test   %r12d,%r12d
jle    15a0 <setbv+0x490>
mov    0x10(%rsp),%rax
add    $0xffffffff,%eax
movslq %eax,%rbx
xor    %r14d,%r14d
mov    0x18(%rsp),%r12
mov    0x10(%rsp),%r13
jmp    145f <setbv+0x34f>
nopl   (%rax)
add    $0x1,%r14
cmp    0x30(%rsp),%r14
je     15a0 <setbv+0x490>
cmp    %r9d,%edx
jge    1450 <setbv+0x340>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %edx,0x20(%rsp)
mov    %r12d,(%rsp)
xor    %edi,%edi
xor    %esi,%esi
mov    %r14d,%edx
lea    0x70(%rsp),%rcx
mov    %r13d,%r8d
mov    %r9,%r15
call   1030 <exact@plt>
mov    %r12d,(%rsp)
mov    %ebx,%edi
xor    %esi,%esi
mov    %r14d,%edx
lea    0x40(%rsp),%rcx
mov    %r13d,%r8d
mov    %r15d,%r9d
call   1030 <exact@plt>
mov    0x20(%rsp),%edx
mov    %r15,%r9
mov    0x0(%rbp),%rax
mov    0x8(%rax),%rcx
movsd  0x70(%rsp),%xmm0
mov    (%rcx),%rcx
movsd  %xmm0,(%rcx,%r14,8)
mov    (%rax,%rbx,8),%rax
movsd  0x40(%rsp),%xmm0
mov    (%rax),%rax
movsd  %xmm0,(%rax,%r14,8)
mov    0x8(%rbp),%rax
movsd  0x78(%rsp),%xmm0
mov    0x8(%rax),%rcx
mov    (%rcx),%rcx
movsd  %xmm0,(%rcx,%r14,8)
movsd  0x48(%rsp),%xmm0
mov    (%rax,%rbx,8),%rax
mov    (%rax),%rax
movsd  %xmm0,(%rax,%r14,8)
movsd  0x80(%rsp),%xmm0
mov    0x10(%rbp),%rax
mov    0x8(%rax),%rcx
mov    (%rcx),%rcx
movsd  %xmm0,(%rcx,%r14,8)
movsd  0x50(%rsp),%xmm0
mov    (%rax,%rbx,8),%rax
mov    (%rax),%rax
movsd  %xmm0,(%rax,%r14,8)
movsd  0x88(%rsp),%xmm0
mov    0x18(%rbp),%rax
mov    0x8(%rax),%rcx
mov    (%rcx),%rcx
movsd  %xmm0,(%rcx,%r14,8)
movsd  0x58(%rsp),%xmm0
mov    (%rax,%rbx,8),%rax
mov    (%rax),%rax
movsd  %xmm0,(%rax,%r14,8)
mov    0x20(%rbp),%rax
mov    0x8(%rax),%rcx
movsd  0x90(%rsp),%xmm0
mov    (%rcx),%rcx
movsd  %xmm0,(%rcx,%r14,8)
mov    (%rax,%rbx,8),%rax
movsd  0x60(%rsp),%xmm0
mov    (%rax),%rax
movsd  %xmm0,(%rax,%r14,8)
add    $0x1,%edx
cmp    %edx,%r9d
jne    1470 <setbv+0x360>
mov    %r9d,%edx
jmp    1450 <setbv+0x340>
add    $0x98,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @setbv(double**** nocapture %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca [5 x double]
%7 = alloca [5 x double]
%8 = bitcast [5 x double]* %6 to i8*
%9 = bitcast [5 x double]* %7 to i8*
%10 = icmp sgt i32 %3, 0
br i1 %10, label %11, label %35
11: ; preds = %5
%12 = icmp sgt i32 %1, 0
%13 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 0
%14 = add nsw i32 %4, -1
%15 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 0
%16 = sext i32 %14 to i64
%17 = zext i32 %3 to i64
%18 = zext i32 %1 to i64
%19 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 1
%20 = getelementptr inbounds double***, double**** %0, i64 1
%21 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 1
%22 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 2
%23 = getelementptr inbounds double***, double**** %0, i64 2
%24 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 2
%25 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 3
%26 = getelementptr inbounds double***, double**** %0, i64 3
%27 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 3
%28 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 4
%29 = getelementptr inbounds double***, double**** %0, i64 4
%30 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 4
br label %31
31: ; preds = %11, %104
%32 = phi i64 [ 0, %11 ], [ %105, %104 ]
br i1 %12, label %33, label %104
33: ; preds = %31
%34 = trunc i64 %32 to i32
br label %57
35: ; preds = %104, %5
%36 = icmp sgt i32 %4, 0
br i1 %36, label %37, label %262
37: ; preds = %35
%38 = icmp sgt i32 %1, 0
%39 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 0
%40 = add nsw i32 %3, -1
%41 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 0
%42 = sext i32 %40 to i64
%43 = zext i32 %4 to i64
%44 = zext i32 %1 to i64
%45 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 1
%46 = getelementptr inbounds double***, double**** %0, i64 1
%47 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 1
%48 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 2
%49 = getelementptr inbounds double***, double**** %0, i64 2
%50 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 2
%51 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 3
%52 = getelementptr inbounds double***, double**** %0, i64 3
%53 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 3
%54 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 4
%55 = getelementptr inbounds double***, double**** %0, i64 4
%56 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 4
br label %107
57: ; preds = %33, %57
%58 = phi i64 [ 0, %33 ], [ %102, %57 ]
%59 = trunc i64 %58 to i32
%60 = call i32 @exact(i32 %59, i32 %34, i32 0, double* %13, i32 %1, i32 %3, i32 %4)
%61 = call i32 @exact(i32 %59, i32 %34, i32 %14, double* %15, i32 %1, i32 %3, i32 %4)
%62 = load double, double* %13
%63 = load double***, double**** %0
%64 = getelementptr inbounds double**, double*** %63, i64 %58
%65 = load double**, double*** %64
%66 = getelementptr inbounds double*, double** %65, i64 %32
%67 = load double*, double** %66
store double %62, double* %67
%68 = load double, double* %15
%69 = getelementptr inbounds double, double* %67, i64 %16
store double %68, double* %69
%70 = load double, double* %19
%71 = load double***, double**** %20
%72 = getelementptr inbounds double**, double*** %71, i64 %58
%73 = load double**, double*** %72
%74 = getelementptr inbounds double*, double** %73, i64 %32
%75 = load double*, double** %74
store double %70, double* %75
%76 = load double, double* %21
%77 = getelementptr inbounds double, double* %75, i64 %16
store double %76, double* %77
%78 = load double, double* %22
%79 = load double***, double**** %23
%80 = getelementptr inbounds double**, double*** %79, i64 %58
%81 = load double**, double*** %80
%82 = getelementptr inbounds double*, double** %81, i64 %32
%83 = load double*, double** %82
store double %78, double* %83
%84 = load double, double* %24
%85 = getelementptr inbounds double, double* %83, i64 %16
store double %84, double* %85
%86 = load double, double* %25
%87 = load double***, double**** %26
%88 = getelementptr inbounds double**, double*** %87, i64 %58
%89 = load double**, double*** %88
%90 = getelementptr inbounds double*, double** %89, i64 %32
%91 = load double*, double** %90
store double %86, double* %91
%92 = load double, double* %27
%93 = getelementptr inbounds double, double* %91, i64 %16
store double %92, double* %93
%94 = load double, double* %28
%95 = load double***, double**** %29
%96 = getelementptr inbounds double**, double*** %95, i64 %58
%97 = load double**, double*** %96
%98 = getelementptr inbounds double*, double** %97, i64 %32
%99 = load double*, double** %98
store double %94, double* %99
%100 = load double, double* %30
%101 = getelementptr inbounds double, double* %99, i64 %16
store double %100, double* %101
%102 = add nuw nsw i64 %58, 1
%103 = icmp eq i64 %102, %18
br i1 %103, label %104, label %57
104: ; preds = %57, %31
%105 = add nuw nsw i64 %32, 1
%106 = icmp eq i64 %105, %17
br i1 %106, label %35, label %31
107: ; preds = %37, %187
%108 = phi i64 [ 0, %37 ], [ %189, %187 ]
br i1 %38, label %109, label %187
109: ; preds = %107
%110 = trunc i64 %108 to i32
br label %130
111: ; preds = %187
br i1 %36, label %112, label %262
112: ; preds = %111
%113 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 0
%114 = add nsw i32 %1, -1
%115 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 0
%116 = sext i32 %114 to i64
%117 = zext i32 %4 to i64
%118 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 1
%119 = getelementptr inbounds double***, double**** %0, i64 1
%120 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 1
%121 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 2
%122 = getelementptr inbounds double***, double**** %0, i64 2
%123 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 2
%124 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 3
%125 = getelementptr inbounds double***, double**** %0, i64 3
%126 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 3
%127 = getelementptr inbounds [5 x double], [5 x double]* %6, i64 0, i64 4
%128 = getelementptr inbounds double***, double**** %0, i64 4
%129 = getelementptr inbounds [5 x double], [5 x double]* %7, i64 0, i64 4
br label %191
130: ; preds = %109, %130
%131 = phi i64 [ 0, %109 ], [ %185, %130 ]
%132 = trunc i64 %131 to i32
%133 = call i32 @exact(i32 %132, i32 0, i32 %110, double* %39, i32 %1, i32 %3, i32 %4)
%134 = call i32 @exact(i32 %132, i32 %40, i32 %110, double* %41, i32 %1, i32 %3, i32 %4)
%135 = load double, double* %39
%136 = load double***, double**** %0
%137 = getelementptr inbounds double**, double*** %136, i64 %131
%138 = load double**, double*** %137
%139 = load double*, double** %138
%140 = getelementptr inbounds double, double* %139, i64 %108
store double %135, double* %140
%141 = load double, double* %41
%142 = getelementptr inbounds double*, double** %138, i64 %42
%143 = load double*, double** %142
%144 = getelementptr inbounds double, double* %143, i64 %108
store double %141, double* %144
%145 = load double, double* %45
%146 = load double***, double**** %46
%147 = getelementptr inbounds double**, double*** %146, i64 %131
%148 = load double**, double*** %147
%149 = load double*, double** %148
%150 = getelementptr inbounds double, double* %149, i64 %108
store double %145, double* %150
%151 = load double, double* %47
%152 = getelementptr inbounds double*, double** %148, i64 %42
%153 = load double*, double** %152
%154 = getelementptr inbounds double, double* %153, i64 %108
store double %151, double* %154
%155 = load double, double* %48
%156 = load double***, double**** %49
%157 = getelementptr inbounds double**, double*** %156, i64 %131
%158 = load double**, double*** %157
%159 = load double*, double** %158
%160 = getelementptr inbounds double, double* %159, i64 %108
store double %155, double* %160
%161 = load double, double* %50
%162 = getelementptr inbounds double*, double** %158, i64 %42
%163 = load double*, double** %162
%164 = getelementptr inbounds double, double* %163, i64 %108
store double %161, double* %164
%165 = load double, double* %51
%166 = load double***, double**** %52
%167 = getelementptr inbounds double**, double*** %166, i64 %131
%168 = load double**, double*** %167
%169 = load double*, double** %168
%170 = getelementptr inbounds double, double* %169, i64 %108
store double %165, double* %170
%171 = load double, double* %53
%172 = getelementptr inbounds double*, double** %168, i64 %42
%173 = load double*, double** %172
%174 = getelementptr inbounds double, double* %173, i64 %108
store double %171, double* %174
%175 = load double, double* %54
%176 = load double***, double**** %55
%177 = getelementptr inbounds double**, double*** %176, i64 %131
%178 = load double**, double*** %177
%179 = load double*, double** %178
%180 = getelementptr inbounds double, double* %179, i64 %108
store double %175, double* %180
%181 = load double, double* %56
%182 = getelementptr inbounds double*, double** %178, i64 %42
%183 = load double*, double** %182
%184 = getelementptr inbounds double, double* %183, i64 %108
store double %181, double* %184
%185 = add nuw nsw i64 %131, 1
%186 = icmp eq i64 %185, %44
br i1 %186, label %187, label %130
187: ; preds = %130, %107
%188 = phi i32 [ 0, %107 ], [ %1, %130 ]
%189 = add nuw nsw i64 %108, 1
%190 = icmp eq i64 %189, %43
br i1 %190, label %111, label %107
191: ; preds = %112, %258
%192 = phi i64 [ 0, %112 ], [ %260, %258 ]
%193 = phi i32 [ %188, %112 ], [ %259, %258 ]
%194 = icmp slt i32 %193, %3
br i1 %194, label %195, label %258
195: ; preds = %191
%196 = trunc i64 %192 to i32
br label %197
197: ; preds = %195, %197
%198 = phi i32 [ %193, %195 ], [ %256, %197 ]
%199 = call i32 @exact(i32 0, i32 0, i32 %196, double* %113, i32 %1, i32 %3, i32 %4)
%200 = call i32 @exact(i32 %114, i32 0, i32 %196, double* %115, i32 %1, i32 %3, i32 %4)
%201 = load double, double* %113
%202 = load double***, double**** %0
%203 = getelementptr inbounds double**, double*** %202, i64 1
%204 = load double**, double*** %203
%205 = load double*, double** %204
%206 = getelementptr inbounds double, double* %205, i64 %192
store double %201, double* %206
%207 = load double, double* %115
%208 = getelementptr inbounds double**, double*** %202, i64 %116
%209 = load double**, double*** %208
%210 = load double*, double** %209
%211 = getelementptr inbounds double, double* %210, i64 %192
store double %207, double* %211
%212 = load double, double* %118
%213 = load double***, double**** %119
%214 = getelementptr inbounds double**, double*** %213, i64 1
%215 = load double**, double*** %214
%216 = load double*, double** %215
%217 = getelementptr inbounds double, double* %216, i64 %192
store double %212, double* %217
%218 = load double, double* %120
%219 = getelementptr inbounds double**, double*** %213, i64 %116
%220 = load double**, double*** %219
%221 = load double*, double** %220
%222 = getelementptr inbounds double, double* %221, i64 %192
store double %218, double* %222
%223 = load double, double* %121
%224 = load double***, double**** %122
%225 = getelementptr inbounds double**, double*** %224, i64 1
%226 = load double**, double*** %225
%227 = load double*, double** %226
%228 = getelementptr inbounds double, double* %227, i64 %192
store double %223, double* %228
%229 = load double, double* %123
%230 = getelementptr inbounds double**, double*** %224, i64 %116
%231 = load double**, double*** %230
%232 = load double*, double** %231
%233 = getelementptr inbounds double, double* %232, i64 %192
store double %229, double* %233
%234 = load double, double* %124
%235 = load double***, double**** %125
%236 = getelementptr inbounds double**, double*** %235, i64 1
%237 = load double**, double*** %236
%238 = load double*, double** %237
%239 = getelementptr inbounds double, double* %238, i64 %192
store double %234, double* %239
%240 = load double, double* %126
%241 = getelementptr inbounds double**, double*** %235, i64 %116
%242 = load double**, double*** %241
%243 = load double*, double** %242
%244 = getelementptr inbounds double, double* %243, i64 %192
store double %240, double* %244
%245 = load double, double* %127
%246 = load double***, double**** %128
%247 = getelementptr inbounds double**, double*** %246, i64 1
%248 = load double**, double*** %247
%249 = load double*, double** %248
%250 = getelementptr inbounds double, double* %249, i64 %192
store double %245, double* %250
%251 = load double, double* %129
%252 = getelementptr inbounds double**, double*** %246, i64 %116
%253 = load double**, double*** %252
%254 = load double*, double** %253
%255 = getelementptr inbounds double, double* %254, i64 %192
store double %251, double* %255
%256 = add i32 %198, 1
%257 = icmp eq i32 %256, %3
br i1 %257, label %258, label %197
258: ; preds = %197, %191
%259 = phi i32 [ %193, %191 ], [ %3, %197 ]
%260 = add nuw nsw i64 %192, 1
%261 = icmp eq i64 %260, %117
br i1 %261, label %262, label %191
262: ; preds = %258, %35, %111
ret void
}