#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*/ printf(char *, ...);
scalar_t__ test_dist_t(double ****, int, int, int, int, int, int, int, int, int,
                       int);
scalar_t__ test_dist_x(double ****, int, int, int, int, int, int, int, int, int,
                       int);
scalar_t__ test_dist_y(double ****, int, int, int, int, int, int, int, int, int,
                       int);
scalar_t__ test_dist_z(double ****, int, int, int, int, int, int, int, int, int,
                       int);
int main(void) {
  int lst, ust, lsx, usx, lsy, usy, lsz, usz;
  int lw, uw;
  for (lst = 0; lst <= 2; lst += 2) {
    for (ust = 0; ust <= 2; ust += 2) {
      for (lsx = 0; lsx <= 2; lsx += 2) {
        for (usx = 0; usx <= 2; usx += 2) {
          for (lsy = 0; lsy <= 2; lsy += 2) {
            for (usy = 0; usy <= 2; usy += 2) {
              for (lsz = 0; lsz <= 2; lsz += 2) {
                for (usz = 0; usz <= 2; usz += 2) {
                  double array_t[6][8][10][12];
                  double array_x[6][8][10][12];
                  double array_y[6][8][10][12];
                  double array_z[6][8][10][12];
#pragma xmp align array_t[iz][iy][ix][it] with tt(it, ix, iy, iz)
#pragma xmp align array_x[iz][iy][ix][it] with tx(it, ix, iy, iz)
#pragma xmp align array_y[iz][iy][ix][it] with ty(it, ix, iy, iz)
#pragma xmp align array_z[iz][iy][ix][it] with tz(it, ix, iy, iz)
#pragma xmp shadow array_t[lsz : usz][lsy : usy][lsx : usx][lst : ust]
#pragma xmp shadow array_x[lsz : usz][lsy : usy][lsx : usx][lst : ust]
#pragma xmp shadow array_y[lsz : usz][lsy : usy][lsx : usx][lst : ust]
#pragma xmp shadow array_z[lsz : usz][lsy : usy][lsx : usx][lst : ust]
                  for (lw = 0; lw <= lst; lw++) {
                    for (uw = 0; uw <= ust; uw++) {
                      if (test_dist_t(array_t, lst, ust, lsx, usx, lsy, usy,
                                      lsz, usz, lw, uw)) {
#pragma xmp task on px(1, 1, 1, 1) nocomm
                        printf("[%d:%d][%d:%d][%d:%d][%d:%d], "
                               "width(%d:%d,%d:%d,%d:%d,%d:%d)\n",
                               lsz, usz, lsy, usy, lsx, usx, lst, ust, 0, 0, 0,
                               0, 0, 0, lw, uw);
                        return 1;
                      }
                    }
                  }
                  for (lw = 0; lw <= lsx; lw++) {
                    for (uw = 0; uw <= usx; uw++) {
                      if (test_dist_x(array_x, lst, ust, lsx, usx, lsy, usy,
                                      lsz, usz, lw, uw)) {
#pragma xmp task on px(1, 1, 1, 1) nocomm
                        printf("[%d:%d][%d:%d][%d:%d][%d:%d], "
                               "width(%d:%d,%d:%d,%d:%d,%d:%d)\n",
                               lsz, usz, lsy, usy, lsx, usx, lst, ust, 0, 0, 0,
                               0, lw, uw, 0, 0);
                        return 2;
                      }
                    }
                  }
                  for (lw = 0; lw <= lsy; lw++) {
                    for (uw = 0; uw <= usy; uw++) {
                      if (test_dist_y(array_y, lst, ust, lsx, usx, lsy, usy,
                                      lsz, usz, lw, uw)) {
#pragma xmp task on px(1, 1, 1, 1) nocomm
                        printf("[%d:%d][%d:%d][%d:%d][%d:%d], "
                               "width(%d:%d,%d:%d,%d:%d,%d:%d)\n",
                               lsz, usz, lsy, usy, lsx, usx, lst, ust, 0, 0, lw,
                               uw, 0, 0, 0, 0);
                        return 3;
                      }
                    }
                  }
                  for (lw = 0; lw <= lsz; lw++) {
                    for (uw = 0; uw <= usz; uw++) {
                      if (test_dist_z(array_z, lst, ust, lsx, usx, lsy, usy,
                                      lsz, usz, lw, uw)) {
#pragma xmp task on px(1, 1, 1, 1) nocomm
                        printf("[%d:%d][%d:%d][%d:%d][%d:%d], "
                               "width(%d:%d,%d:%d,%d:%d,%d:%d)\n",
                               lsz, usz, lsy, usy, lsx, usx, lst, ust, lw, uw,
                               0, 0, 0, 0, 0, 0);
                        return 4;
                      }
                    }
                  }
                }
              }
            }
          }
        }
      }
    }
  }
#pragma xmp task on px(1, 1, 1, 1)
  printf("PASS\n");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %rbx
sub    $0x2d098,%rsp
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x2,-0x20(%rbp)
jg     170b <main+0x5bb>
movl   $0x0,-0x24(%rbp)
cmpl   $0x2,-0x24(%rbp)
jg     16f8 <main+0x5a8>
movl   $0x0,-0x28(%rbp)
cmpl   $0x2,-0x28(%rbp)
jg     16e5 <main+0x595>
movl   $0x0,-0x2c(%rbp)
cmpl   $0x2,-0x2c(%rbp)
jg     16d2 <main+0x582>
movl   $0x0,-0x30(%rbp)
cmpl   $0x2,-0x30(%rbp)
jg     16bf <main+0x56f>
movl   $0x0,-0x34(%rbp)
cmpl   $0x2,-0x34(%rbp)
jg     16ac <main+0x55c>
movl   $0x0,-0x38(%rbp)
cmpl   $0x2,-0x38(%rbp)
jg     1699 <main+0x549>
movl   $0x0,-0x3c(%rbp)
cmpl   $0x2,-0x3c(%rbp)
jg     1686 <main+0x536>
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     1310 <main+0x1c0>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x24(%rbp),%eax
jg     12fd <main+0x1ad>
lea    -0xb450(%rbp),%rdi
mov    -0x20(%rbp),%esi
mov    -0x24(%rbp),%edx
mov    -0x28(%rbp),%ecx
mov    -0x2c(%rbp),%r8d
mov    -0x30(%rbp),%r9d
mov    -0x34(%rbp),%r14d
mov    -0x38(%rbp),%ebx
mov    -0x3c(%rbp),%r11d
mov    -0x40(%rbp),%r10d
mov    -0x44(%rbp),%eax
mov    %r14d,(%rsp)
mov    %ebx,0x8(%rsp)
mov    %r11d,0x10(%rsp)
mov    %r10d,0x18(%rsp)
mov    %eax,0x20(%rsp)
call   1030 <test_dist_t@plt>
cmp    $0x0,%rax
je     12ea <main+0x19a>
mov    -0x38(%rbp),%esi
mov    -0x3c(%rbp),%edx
mov    -0x30(%rbp),%ecx
mov    -0x34(%rbp),%r8d
mov    -0x28(%rbp),%r9d
mov    -0x2c(%rbp),%r14d
mov    -0x20(%rbp),%ebx
mov    -0x24(%rbp),%r11d
mov    -0x40(%rbp),%r10d
mov    -0x44(%rbp),%eax
lea    0xd72(%rip),%rdi
xor    %r15d,%r15d
mov    %r14d,(%rsp)
mov    %ebx,0x8(%rsp)
mov    %r11d,0x10(%rsp)
movl   $0x0,0x18(%rsp)
movl   $0x0,0x20(%rsp)
movl   $0x0,0x28(%rsp)
movl   $0x0,0x30(%rsp)
movl   $0x0,0x38(%rsp)
movl   $0x0,0x40(%rsp)
mov    %r10d,0x48(%rsp)
mov    %eax,0x50(%rsp)
mov    $0x0,%al
call   1060 <printf@plt>
movl   $0x1,-0x1c(%rbp)
jmp    1720 <main+0x5d0>
jmp    12ef <main+0x19f>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1209 <main+0xb9>
jmp    1302 <main+0x1b2>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    11f6 <main+0xa6>
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x28(%rbp),%eax
jg     1431 <main+0x2e1>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jg     141e <main+0x2ce>
lea    -0x16850(%rbp),%rdi
mov    -0x20(%rbp),%esi
mov    -0x24(%rbp),%edx
mov    -0x28(%rbp),%ecx
mov    -0x2c(%rbp),%r8d
mov    -0x30(%rbp),%r9d
mov    -0x34(%rbp),%r14d
mov    -0x38(%rbp),%ebx
mov    -0x3c(%rbp),%r11d
mov    -0x40(%rbp),%r10d
mov    -0x44(%rbp),%eax
mov    %r14d,(%rsp)
mov    %ebx,0x8(%rsp)
mov    %r11d,0x10(%rsp)
mov    %r10d,0x18(%rsp)
mov    %eax,0x20(%rsp)
call   1040 <test_dist_x@plt>
cmp    $0x0,%rax
je     140b <main+0x2bb>
mov    -0x38(%rbp),%esi
mov    -0x3c(%rbp),%edx
mov    -0x30(%rbp),%ecx
mov    -0x34(%rbp),%r8d
mov    -0x28(%rbp),%r9d
mov    -0x2c(%rbp),%r14d
mov    -0x20(%rbp),%ebx
mov    -0x24(%rbp),%r11d
mov    -0x40(%rbp),%r10d
mov    -0x44(%rbp),%eax
lea    0xc51(%rip),%rdi
xor    %r15d,%r15d
mov    %r14d,(%rsp)
mov    %ebx,0x8(%rsp)
mov    %r11d,0x10(%rsp)
movl   $0x0,0x18(%rsp)
movl   $0x0,0x20(%rsp)
movl   $0x0,0x28(%rsp)
movl   $0x0,0x30(%rsp)
mov    %r10d,0x38(%rsp)
mov    %eax,0x40(%rsp)
movl   $0x0,0x48(%rsp)
movl   $0x0,0x50(%rsp)
mov    $0x0,%al
call   1060 <printf@plt>
movl   $0x2,-0x1c(%rbp)
jmp    1720 <main+0x5d0>
jmp    1410 <main+0x2c0>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    132a <main+0x1da>
jmp    1423 <main+0x2d3>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1317 <main+0x1c7>
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x30(%rbp),%eax
jg     1552 <main+0x402>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x34(%rbp),%eax
jg     153f <main+0x3ef>
lea    -0x21c50(%rbp),%rdi
mov    -0x20(%rbp),%esi
mov    -0x24(%rbp),%edx
mov    -0x28(%rbp),%ecx
mov    -0x2c(%rbp),%r8d
mov    -0x30(%rbp),%r9d
mov    -0x34(%rbp),%r14d
mov    -0x38(%rbp),%ebx
mov    -0x3c(%rbp),%r11d
mov    -0x40(%rbp),%r10d
mov    -0x44(%rbp),%eax
mov    %r14d,(%rsp)
mov    %ebx,0x8(%rsp)
mov    %r11d,0x10(%rsp)
mov    %r10d,0x18(%rsp)
mov    %eax,0x20(%rsp)
call   1070 <test_dist_y@plt>
cmp    $0x0,%rax
je     152c <main+0x3dc>
mov    -0x38(%rbp),%esi
mov    -0x3c(%rbp),%edx
mov    -0x30(%rbp),%ecx
mov    -0x34(%rbp),%r8d
mov    -0x28(%rbp),%r9d
mov    -0x2c(%rbp),%r14d
mov    -0x20(%rbp),%ebx
mov    -0x24(%rbp),%r11d
mov    -0x40(%rbp),%r10d
mov    -0x44(%rbp),%eax
lea    0xb30(%rip),%rdi
xor    %r15d,%r15d
mov    %r14d,(%rsp)
mov    %ebx,0x8(%rsp)
mov    %r11d,0x10(%rsp)
movl   $0x0,0x18(%rsp)
movl   $0x0,0x20(%rsp)
mov    %r10d,0x28(%rsp)
mov    %eax,0x30(%rsp)
movl   $0x0,0x38(%rsp)
movl   $0x0,0x40(%rsp)
movl   $0x0,0x48(%rsp)
movl   $0x0,0x50(%rsp)
mov    $0x0,%al
call   1060 <printf@plt>
movl   $0x3,-0x1c(%rbp)
jmp    1720 <main+0x5d0>
jmp    1531 <main+0x3e1>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    144b <main+0x2fb>
jmp    1544 <main+0x3f4>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1438 <main+0x2e8>
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x38(%rbp),%eax
jg     1673 <main+0x523>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jg     1660 <main+0x510>
lea    -0x2d050(%rbp),%rdi
mov    -0x20(%rbp),%esi
mov    -0x24(%rbp),%edx
mov    -0x28(%rbp),%ecx
mov    -0x2c(%rbp),%r8d
mov    -0x30(%rbp),%r9d
mov    -0x34(%rbp),%r14d
mov    -0x38(%rbp),%ebx
mov    -0x3c(%rbp),%r11d
mov    -0x40(%rbp),%r10d
mov    -0x44(%rbp),%eax
mov    %r14d,(%rsp)
mov    %ebx,0x8(%rsp)
mov    %r11d,0x10(%rsp)
mov    %r10d,0x18(%rsp)
mov    %eax,0x20(%rsp)
call   1050 <test_dist_z@plt>
cmp    $0x0,%rax
je     164d <main+0x4fd>
mov    -0x38(%rbp),%esi
mov    -0x3c(%rbp),%edx
mov    -0x30(%rbp),%ecx
mov    -0x34(%rbp),%r8d
mov    -0x28(%rbp),%r9d
mov    -0x2c(%rbp),%r14d
mov    -0x20(%rbp),%ebx
mov    -0x24(%rbp),%r11d
mov    -0x40(%rbp),%r10d
mov    -0x44(%rbp),%eax
lea    0xa0f(%rip),%rdi
xor    %r15d,%r15d
mov    %r14d,(%rsp)
mov    %ebx,0x8(%rsp)
mov    %r11d,0x10(%rsp)
mov    %r10d,0x18(%rsp)
mov    %eax,0x20(%rsp)
movl   $0x0,0x28(%rsp)
movl   $0x0,0x30(%rsp)
movl   $0x0,0x38(%rsp)
movl   $0x0,0x40(%rsp)
movl   $0x0,0x48(%rsp)
movl   $0x0,0x50(%rsp)
mov    $0x0,%al
call   1060 <printf@plt>
movl   $0x4,-0x1c(%rbp)
jmp    1720 <main+0x5d0>
jmp    1652 <main+0x502>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    156c <main+0x41c>
jmp    1665 <main+0x515>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1559 <main+0x409>
jmp    1678 <main+0x528>
mov    -0x3c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x3c(%rbp)
jmp    11e5 <main+0x95>
jmp    168b <main+0x53b>
mov    -0x38(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x38(%rbp)
jmp    11d4 <main+0x84>
jmp    169e <main+0x54e>
mov    -0x34(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x34(%rbp)
jmp    11c3 <main+0x73>
jmp    16b1 <main+0x561>
mov    -0x30(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x30(%rbp)
jmp    11b2 <main+0x62>
jmp    16c4 <main+0x574>
mov    -0x2c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x2c(%rbp)
jmp    11a1 <main+0x51>
jmp    16d7 <main+0x587>
mov    -0x28(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x28(%rbp)
jmp    1190 <main+0x40>
jmp    16ea <main+0x59a>
mov    -0x24(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x24(%rbp)
jmp    117f <main+0x2f>
jmp    16fd <main+0x5ad>
mov    -0x20(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x20(%rbp)
jmp    116e <main+0x1e>
lea    0x92c(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x2d098,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x2d078,%rsp
xor    %eax,%eax
mov    %rax,0x28(%rsp)
mov    $0x1,%al
mov    %eax,0x40(%rsp)
movl   $0x1,0x60(%rsp)
movl   $0x1,0x64(%rsp)
mov    $0x1,%al
mov    %eax,0x3c(%rsp)
xor    %eax,%eax
mov    %rax,0x20(%rsp)
movl   $0x0,0xc(%rsp)
mov    $0x1,%al
mov    %eax,0x38(%rsp)
movl   $0x1,0x58(%rsp)
movl   $0x1,0x5c(%rsp)
mov    $0x1,%al
mov    %eax,0x34(%rsp)
xor    %eax,%eax
mov    %rax,0x18(%rsp)
xor    %r13d,%r13d
mov    $0x1,%al
mov    %eax,0x30(%rsp)
movl   $0x1,0x50(%rsp)
movl   $0x1,0x54(%rsp)
mov    $0x1,%al
xor    %r12d,%r12d
mov    %eax,0x6c(%rsp)
xor    %r14d,%r14d
mov    $0x1,%al
movl   $0x1,0x48(%rsp)
mov    %eax,0x68(%rsp)
movl   $0x1,0x4c(%rsp)
mov    $0x1,%al
mov    %eax,0x44(%rsp)
xor    %r15d,%r15d
xor    %ebx,%ebx
xor    %ebp,%ebp
xchg   %ax,%ax
sub    $0x8,%rsp
lea    0x21c78(%rsp),%rdi
mov    0x30(%rsp),%rsi
mov    0x28(%rsp),%rdx
mov    0x14(%rsp),%ecx
mov    0x20(%rsp),%r8
mov    %r13d,%r9d
push   %rbp
push   %rbx
push   %r15
push   %r14
push   %r12
call   1040 <test_dist_t@plt>
add    $0x30,%rsp
test   %rax,%rax
jne    1499 <main+0x339>
add    $0x1,%ebp
cmp    %ebp,0x64(%rsp)
jne    1210 <main+0xb0>
add    $0x1,%ebx
cmp    0x60(%rsp),%ebx
jne    120c <main+0xac>
xor    %eax,%eax
mov    %rax,0x10(%rsp)
lea    0x16870(%rsp),%rbp
xor    %ebx,%ebx
nop
sub    $0x8,%rsp
mov    %rbp,%rdi
mov    0x30(%rsp),%rsi
mov    0x28(%rsp),%rdx
mov    0x14(%rsp),%ecx
mov    0x20(%rsp),%r8
mov    %r13d,%r9d
push   %rbx
push   0x20(%rsp)
push   %r15
push   %r14
push   %r12
call   1050 <test_dist_x@plt>
add    $0x30,%rsp
test   %rax,%rax
jne    14f3 <main+0x393>
add    $0x1,%ebx
cmp    %ebx,0x5c(%rsp)
jne    1270 <main+0x110>
mov    0x10(%rsp),%rax
add    $0x1,%eax
mov    %rax,0x10(%rsp)
cmp    0x58(%rsp),%eax
jne    126d <main+0x10d>
xor    %eax,%eax
mov    %rax,0x10(%rsp)
lea    0xb470(%rsp),%rbp
xor    %ebx,%ebx
sub    $0x8,%rsp
mov    %rbp,%rdi
mov    0x30(%rsp),%rsi
mov    0x28(%rsp),%rdx
mov    0x14(%rsp),%ecx
mov    0x20(%rsp),%r8
mov    %r13d,%r9d
push   %rbx
push   0x20(%rsp)
push   %r15
push   %r14
push   %r12
call   1080 <test_dist_y@plt>
add    $0x30,%rsp
test   %rax,%rax
jne    153e <main+0x3de>
add    $0x1,%ebx
cmp    %ebx,0x54(%rsp)
jne    12d7 <main+0x177>
mov    0x10(%rsp),%rax
add    $0x1,%eax
mov    %rax,0x10(%rsp)
cmp    0x50(%rsp),%eax
jne    12d5 <main+0x175>
xor    %eax,%eax
mov    %rax,0x10(%rsp)
xor    %ebx,%ebx
lea    0x70(%rsp),%rbp
sub    $0x8,%rsp
mov    %rbp,%rdi
mov    0x30(%rsp),%rsi
mov    0x28(%rsp),%rdx
mov    0x14(%rsp),%ecx
mov    0x20(%rsp),%r8
mov    %r13d,%r9d
push   %rbx
push   0x20(%rsp)
push   %r15
push   %r14
push   %r12
call   1060 <test_dist_z@plt>
add    $0x30,%rsp
test   %rax,%rax
jne    158c <main+0x42c>
add    $0x1,%ebx
cmp    %ebx,0x4c(%rsp)
jne    133b <main+0x1db>
mov    0x10(%rsp),%rax
add    $0x1,%eax
mov    %rax,0x10(%rsp)
cmp    0x48(%rsp),%eax
jne    1334 <main+0x1d4>
addl   $0x2,0x4c(%rsp)
mov    $0x2,%r15d
testb  $0x1,0x44(%rsp)
movl   $0x0,0x44(%rsp)
jne    120a <main+0xaa>
addl   $0x2,0x48(%rsp)
mov    $0x2,%r14d
testb  $0x1,0x68(%rsp)
mov    $0x0,%eax
jne    11f5 <main+0x95>
addl   $0x2,0x54(%rsp)
mov    $0x2,%r12d
testb  $0x1,0x6c(%rsp)
mov    $0x0,%eax
jne    11e4 <main+0x84>
addl   $0x2,0x50(%rsp)
mov    $0x2,%r13d
testb  $0x1,0x30(%rsp)
movl   $0x0,0x30(%rsp)
jne    11d7 <main+0x77>
addl   $0x2,0x5c(%rsp)
mov    $0x2,%eax
mov    %rax,0x18(%rsp)
testb  $0x1,0x34(%rsp)
movl   $0x0,0x34(%rsp)
jne    11c6 <main+0x66>
addl   $0x2,0x58(%rsp)
movl   $0x2,0xc(%rsp)
testb  $0x1,0x38(%rsp)
movl   $0x0,0x38(%rsp)
jne    11b1 <main+0x51>
addl   $0x2,0x64(%rsp)
mov    $0x2,%eax
mov    %rax,0x20(%rsp)
testb  $0x1,0x3c(%rsp)
movl   $0x0,0x3c(%rsp)
jne    119b <main+0x3b>
addl   $0x2,0x60(%rsp)
mov    $0x2,%eax
mov    %rax,0x28(%rsp)
xor    %ebx,%ebx
testb  $0x1,0x40(%rsp)
movl   $0x0,0x40(%rsp)
jne    1186 <main+0x26>
lea    0xbac(%rip),%rdi
call   1030 <puts@plt>
jmp    14df <main+0x37f>
sub    $0x8,%rsp
lea    0xb5c(%rip),%rdi
mov    %r14d,%esi
mov    %r15d,%edx
mov    %r13d,%ecx
mov    %r12d,%r8d
mov    0x14(%rsp),%r9d
xor    %eax,%eax
push   %rbp
push   %rbx
push   $0x0
push   $0x0
push   $0x0
push   $0x0
push   $0x0
push   $0x0
push   0x68(%rsp)
push   0x78(%rsp)
push   0x70(%rsp)
call   1070 <printf@plt>
add    $0x60,%rsp
mov    $0x1,%ebx
mov    %ebx,%eax
add    $0x2d078,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
sub    $0x8,%rsp
lea    0xb02(%rip),%rdi
mov    %r14d,%esi
mov    %r15d,%edx
mov    %r13d,%ecx
mov    %r12d,%r8d
mov    0x14(%rsp),%r9d
xor    %eax,%eax
push   $0x0
push   $0x0
push   %rbx
push   0x30(%rsp)
push   $0x0
push   $0x0
push   $0x0
push   $0x0
push   0x68(%rsp)
push   0x78(%rsp)
push   0x70(%rsp)
call   1070 <printf@plt>
add    $0x60,%rsp
mov    $0x2,%ebx
jmp    14df <main+0x37f>
sub    $0x8,%rsp
lea    0xab7(%rip),%rdi
mov    %r14d,%esi
mov    %r15d,%edx
mov    %r13d,%ecx
mov    %r12d,%r8d
mov    0x14(%rsp),%r9d
xor    %eax,%eax
push   $0x0
push   $0x0
push   $0x0
push   $0x0
push   %rbx
push   0x40(%rsp)
push   $0x0
push   $0x0
push   0x68(%rsp)
push   0x78(%rsp)
push   0x70(%rsp)
call   1070 <printf@plt>
add    $0x60,%rsp
mov    $0x3,%ebx
jmp    14df <main+0x37f>
sub    $0x8,%rsp
lea    0xa69(%rip),%rdi
mov    %r14d,%esi
mov    %r15d,%edx
mov    %r13d,%ecx
mov    %r12d,%r8d
mov    0x14(%rsp),%r9d
xor    %eax,%eax
push   $0x0
push   $0x0
push   $0x0
push   $0x0
push   $0x0
push   $0x0
push   %rbx
push   0x50(%rsp)
push   0x68(%rsp)
push   0x78(%rsp)
push   0x70(%rsp)
call   1070 <printf@plt>
add    $0x60,%rsp
mov    $0x4,%ebx
jmp    14df <main+0x37f>

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

LLVM IR (-O2):
@.str = [62 x i8] c"[%d:%d][%d:%d][%d:%d][%d:%d], width(%d:%d,%d:%d,%d:%d,%d:%d)\0A\00"
@str = [5 x i8] c"PASS\00"
define i32 @main() {
%1 = alloca [6 x [8 x [10 x [12 x double]]]]
%2 = alloca [6 x [8 x [10 x [12 x double]]]]
%3 = alloca [6 x [8 x [10 x [12 x double]]]]
%4 = alloca [6 x [8 x [10 x [12 x double]]]]
%5 = bitcast [6 x [8 x [10 x [12 x double]]]]* %1 to i8*
%6 = bitcast [6 x [8 x [10 x [12 x double]]]]* %2 to i8*
%7 = bitcast [6 x [8 x [10 x [12 x double]]]]* %3 to i8*
%8 = bitcast [6 x [8 x [10 x [12 x double]]]]* %4 to i8*
%9 = bitcast [6 x [8 x [10 x [12 x double]]]]* %1 to double****
%10 = bitcast [6 x [8 x [10 x [12 x double]]]]* %2 to double****
%11 = bitcast [6 x [8 x [10 x [12 x double]]]]* %3 to double****
%12 = bitcast [6 x [8 x [10 x [12 x double]]]]* %4 to double****
br label %13
13: ; preds = %0, %117
%14 = phi i32 [ 1, %0 ], [ %118, %117 ]
%15 = phi i1 [ true, %0 ], [ false, %117 ]
%16 = phi i32 [ 0, %0 ], [ 2, %117 ]
br label %17
17: ; preds = %13, %115
%18 = phi i32 [ 1, %13 ], [ %116, %115 ]
%19 = phi i1 [ true, %13 ], [ false, %115 ]
%20 = phi i32 [ 0, %13 ], [ 2, %115 ]
br label %21
21: ; preds = %17, %113
%22 = phi i32 [ 1, %17 ], [ %114, %113 ]
%23 = phi i1 [ true, %17 ], [ false, %113 ]
%24 = phi i32 [ 0, %17 ], [ 2, %113 ]
br label %25
25: ; preds = %21, %111
%26 = phi i32 [ 1, %21 ], [ %112, %111 ]
%27 = phi i1 [ true, %21 ], [ false, %111 ]
%28 = phi i32 [ 0, %21 ], [ 2, %111 ]
br label %29
29: ; preds = %25, %109
%30 = phi i32 [ 1, %25 ], [ %110, %109 ]
%31 = phi i1 [ true, %25 ], [ false, %109 ]
%32 = phi i32 [ 0, %25 ], [ 2, %109 ]
br label %33
33: ; preds = %29, %107
%34 = phi i32 [ 1, %29 ], [ %108, %107 ]
%35 = phi i1 [ true, %29 ], [ false, %107 ]
%36 = phi i32 [ 0, %29 ], [ 2, %107 ]
br label %37
37: ; preds = %33, %105
%38 = phi i32 [ 1, %33 ], [ %106, %105 ]
%39 = phi i1 [ true, %33 ], [ false, %105 ]
%40 = phi i32 [ 0, %33 ], [ 2, %105 ]
br label %41
41: ; preds = %37, %103
%42 = phi i32 [ 1, %37 ], [ %104, %103 ]
%43 = phi i1 [ true, %37 ], [ false, %103 ]
%44 = phi i32 [ 0, %37 ], [ 2, %103 ]
br label %45
45: ; preds = %41, %56
%46 = phi i32 [ 0, %41 ], [ %57, %56 ]
br label %47
47: ; preds = %45, %53
%48 = phi i32 [ 0, %45 ], [ %54, %53 ]
%49 = call i64 @test_dist_t(double**** %9, i32 %16, i32 %20, i32 %24, i32 %28, i32 %32, i32 %36, i32 %40, i32 %44, i32 %46, i32 %48)
%50 = icmp eq i64 %49, 0
br i1 %50, label %53, label %51
51: ; preds = %47
%52 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([62 x i8], [62 x i8]* @.str, i64 0, i64 0), i32 %40, i32 %44, i32 %32, i32 %36, i32 %24, i32 %28, i32 %16, i32 %20, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0, i32 %46, i32 %48)
br label %101
53: ; preds = %47
%54 = add nuw nsw i32 %48, 1
%55 = icmp eq i32 %54, %18
br i1 %55, label %56, label %47
56: ; preds = %53
%57 = add nuw nsw i32 %46, 1
%58 = icmp eq i32 %57, %14
br i1 %58, label %59, label %45
59: ; preds = %56, %70
%60 = phi i32 [ %71, %70 ], [ 0, %56 ]
br label %61
61: ; preds = %59, %67
%62 = phi i32 [ 0, %59 ], [ %68, %67 ]
%63 = call i64 @test_dist_x(double**** %10, i32 %16, i32 %20, i32 %24, i32 %28, i32 %32, i32 %36, i32 %40, i32 %44, i32 %60, i32 %62)
%64 = icmp eq i64 %63, 0
br i1 %64, label %67, label %65
65: ; preds = %61
%66 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([62 x i8], [62 x i8]* @.str, i64 0, i64 0), i32 %40, i32 %44, i32 %32, i32 %36, i32 %24, i32 %28, i32 %16, i32 %20, i32 0, i32 0, i32 0, i32 0, i32 %60, i32 %62, i32 0, i32 0)
br label %101
67: ; preds = %61
%68 = add nuw nsw i32 %62, 1
%69 = icmp eq i32 %68, %26
br i1 %69, label %70, label %61
70: ; preds = %67
%71 = add nuw nsw i32 %60, 1
%72 = icmp eq i32 %71, %22
br i1 %72, label %73, label %59
73: ; preds = %70, %84
%74 = phi i32 [ %85, %84 ], [ 0, %70 ]
br label %75
75: ; preds = %73, %81
%76 = phi i32 [ 0, %73 ], [ %82, %81 ]
%77 = call i64 @test_dist_y(double**** %11, i32 %16, i32 %20, i32 %24, i32 %28, i32 %32, i32 %36, i32 %40, i32 %44, i32 %74, i32 %76)
%78 = icmp eq i64 %77, 0
br i1 %78, label %81, label %79
79: ; preds = %75
%80 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([62 x i8], [62 x i8]* @.str, i64 0, i64 0), i32 %40, i32 %44, i32 %32, i32 %36, i32 %24, i32 %28, i32 %16, i32 %20, i32 0, i32 0, i32 %74, i32 %76, i32 0, i32 0, i32 0, i32 0)
br label %101
81: ; preds = %75
%82 = add nuw nsw i32 %76, 1
%83 = icmp eq i32 %82, %34
br i1 %83, label %84, label %75
84: ; preds = %81
%85 = add nuw nsw i32 %74, 1
%86 = icmp eq i32 %85, %30
br i1 %86, label %87, label %73
87: ; preds = %84, %98
%88 = phi i32 [ %99, %98 ], [ 0, %84 ]
br label %89
89: ; preds = %87, %95
%90 = phi i32 [ 0, %87 ], [ %96, %95 ]
%91 = call i64 @test_dist_z(double**** %12, i32 %16, i32 %20, i32 %24, i32 %28, i32 %32, i32 %36, i32 %40, i32 %44, i32 %88, i32 %90)
%92 = icmp eq i64 %91, 0
br i1 %92, label %95, label %93
93: ; preds = %89
%94 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([62 x i8], [62 x i8]* @.str, i64 0, i64 0), i32 %40, i32 %44, i32 %32, i32 %36, i32 %24, i32 %28, i32 %16, i32 %20, i32 %88, i32 %90, i32 0, i32 0, i32 0, i32 0, i32 0, i32 0)
br label %101
95: ; preds = %89
%96 = add nuw nsw i32 %90, 1
%97 = icmp eq i32 %96, %42
br i1 %97, label %98, label %89
98: ; preds = %95
%99 = add nuw nsw i32 %88, 1
%100 = icmp eq i32 %99, %38
br i1 %100, label %103, label %87
101: ; preds = %51, %65, %79, %93
%102 = phi i32 [ 4, %93 ], [ 3, %79 ], [ 2, %65 ], [ 1, %51 ]
br label %121
103: ; preds = %98
%104 = add nuw nsw i32 %42, 2
br i1 %43, label %41, label %105
105: ; preds = %103
%106 = add nuw nsw i32 %38, 2
br i1 %39, label %37, label %107
107: ; preds = %105
%108 = add nuw nsw i32 %34, 2
br i1 %35, label %33, label %109
109: ; preds = %107
%110 = add nuw nsw i32 %30, 2
br i1 %31, label %29, label %111
111: ; preds = %109
%112 = add nuw nsw i32 %26, 2
br i1 %27, label %25, label %113
113: ; preds = %111
%114 = add nuw nsw i32 %22, 2
br i1 %23, label %21, label %115
115: ; preds = %113
%116 = add nuw nsw i32 %18, 2
br i1 %19, label %17, label %117
117: ; preds = %115
%118 = add nuw nsw i32 %14, 2
br i1 %15, label %13, label %119
119: ; preds = %117
%120 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @str, i64 0, i64 0))
br label %121
121: ; preds = %101, %119
%122 = phi i32 [ 0, %119 ], [ %102, %101 ]
ret i32 %122
}