#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*/ exit(int /*<<< orphan*/);
scalar_t__ malloc(int);
int /*<<< orphan*/ printf(char *);
double rand();
int /*<<< orphan*/ srand(int);
bool verifyResultJacobi2D(double **result, int problemSize, int seed,
                          int steps) {
  int i;
  int lowerBound = 1;
  int upperBound = lowerBound + problemSize - 1;
  double **space[2];
  space[0] = (double **)malloc((problemSize + 2) * sizeof(double *));
  space[1] = (double **)malloc((problemSize + 2) * sizeof(double *));
  if (space[0] == NULL || space[1] == NULL) {
    printf("Could not allocate x axis of space array\n");
    exit(0);
  }
  for (i = 0; i < problemSize + 2; ++i) {
    space[0][i] = (double *)malloc((problemSize + 2) * sizeof(double));
    space[1][i] = (double *)malloc((problemSize + 2) * sizeof(double));
    if (space[0][i] == NULL || space[1][i] == NULL) {
      printf("Could not allocate y axis of space array\n");
      exit(0);
    }
  }
  srand(seed);
  int x, y;
  for (x = lowerBound; x <= upperBound; ++x) {
    for (y = lowerBound; y <= upperBound; ++y) {
      space[0][x][y] = rand() / (double)rand();
    }
  }
  for (i = 0; i < problemSize + 2; ++i) {
    space[0][i][0] = 0;
    space[1][i][0] = 0;
    space[0][i][problemSize + 1] = 0;
    space[1][i][problemSize + 1] = 0;
    space[0][0][i] = 0;
    space[1][0][i] = 0;
    space[0][problemSize + 1][i] = 0;
    space[1][problemSize + 1][i] = 0;
  }
  int t, read = 0, write = 1;
  for (t = 1; t <= steps; ++t) {
    for (x = lowerBound; x <= upperBound; ++x) {
      for (y = lowerBound; y <= upperBound; ++y) {
        space[write][x][y] =
            (space[read][x - 1][y] + space[read][x][y] + space[read][x + 1][y] +
             space[read][x][y + 1] + space[read][x][y - 1]) /
            5;
      }
    }
    read = write;
    write = 1 - write;
  }
  bool failed = false;
  for (x = lowerBound; x <= upperBound; ++x) {
    for (y = lowerBound; y <= upperBound; ++y) {
      if (result[x][y] != space[steps & 1][x][y]) {
        failed = true;
        break;
      }
    }
    if (failed)
      break;
  }
  return !failed;
}


x86 assembly (clang, -O0):
<verifyResultJacobi2D>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
movl   $0x1,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
add    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
add    $0x2,%eax
cltq
shl    $0x3,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x30(%rbp)
mov    -0xc(%rbp),%eax
add    $0x2,%eax
cltq
shl    $0x3,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x30(%rbp)
je     11bc <verifyResultJacobi2D+0x6c>
cmpq   $0x0,-0x28(%rbp)
jne    11cf <verifyResultJacobi2D+0x7f>
lea    0xe45(%rip),%rdi
call   1030 <printf@plt>
xor    %edi,%edi
call   1060 <exit@plt>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0xc(%rbp),%ecx
add    $0x2,%ecx
cmp    %ecx,%eax
jge    1277 <verifyResultJacobi2D+0x127>
mov    -0xc(%rbp),%eax
add    $0x2,%eax
cltq
shl    $0x3,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,%rdx
mov    -0x30(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0xc(%rbp),%eax
add    $0x2,%eax
cltq
shl    $0x3,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,%rdx
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x30(%rbp),%rax
movslq -0x18(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
je     1251 <verifyResultJacobi2D+0x101>
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
jne    1264 <verifyResultJacobi2D+0x114>
lea    0xdda(%rip),%rdi
call   1030 <printf@plt>
xor    %edi,%edi
call   1060 <exit@plt>
jmp    1269 <verifyResultJacobi2D+0x119>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11d6 <verifyResultJacobi2D+0x86>
mov    -0x10(%rbp),%edi
call   1040 <srand@plt>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     12f8 <verifyResultJacobi2D+0x1a8>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     12e5 <verifyResultJacobi2D+0x195>
mov    $0x0,%al
call   1070 <rand@plt>
movsd  %xmm0,-0x50(%rbp)
mov    $0x0,%al
call   1070 <rand@plt>
movaps %xmm0,%xmm1
movsd  -0x50(%rbp),%xmm0
divsd  %xmm1,%xmm0
mov    -0x30(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x38(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1297 <verifyResultJacobi2D+0x147>
jmp    12ea <verifyResultJacobi2D+0x19a>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1285 <verifyResultJacobi2D+0x135>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0xc(%rbp),%ecx
add    $0x2,%ecx
cmp    %ecx,%eax
jge    13de <verifyResultJacobi2D+0x28e>
mov    -0x30(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
mov    -0x30(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x30(%rbp),%rax
mov    (%rax),%rax
movslq -0x18(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x28(%rbp),%rax
mov    (%rax),%rax
movslq -0x18(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x30(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x28(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    12ff <verifyResultJacobi2D+0x1af>
movl   $0x0,-0x40(%rbp)
movl   $0x1,-0x44(%rbp)
movl   $0x1,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     151f <verifyResultJacobi2D+0x3cf>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     1500 <verifyResultJacobi2D+0x3b0>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     14ed <verifyResultJacobi2D+0x39d>
movslq -0x40(%rbp),%rax
mov    -0x30(%rbp,%rax,8),%rax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movslq -0x40(%rbp),%rax
mov    -0x30(%rbp,%rax,8),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x38(%rbp),%rcx
addsd  (%rax,%rcx,8),%xmm0
movslq -0x40(%rbp),%rax
mov    -0x30(%rbp,%rax,8),%rax
mov    -0x34(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x38(%rbp),%rcx
addsd  (%rax,%rcx,8),%xmm0
movslq -0x40(%rbp),%rax
mov    -0x30(%rbp,%rax,8),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x38(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm0
movslq -0x40(%rbp),%rax
mov    -0x30(%rbp,%rax,8),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
addsd  (%rax,%rcx,8),%xmm0
movsd  0xb3f(%rip),%xmm1
divsd  %xmm1,%xmm0
movslq -0x44(%rbp),%rax
mov    -0x30(%rbp,%rax,8),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x38(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1417 <verifyResultJacobi2D+0x2c7>
jmp    14f2 <verifyResultJacobi2D+0x3a2>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1405 <verifyResultJacobi2D+0x2b5>
mov    -0x44(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    $0x1,%eax
sub    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    13f3 <verifyResultJacobi2D+0x2a3>
movl   $0x0,-0x48(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     15cf <verifyResultJacobi2D+0x47f>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     15ad <verifyResultJacobi2D+0x45d>
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x14(%rbp),%eax
and    $0x1,%eax
cltq
mov    -0x30(%rbp,%rax,8),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x38(%rbp),%rcx
ucomisd (%rax,%rcx,8),%xmm0
jne    158e <verifyResultJacobi2D+0x43e>
jp     158e <verifyResultJacobi2D+0x43e>
jmp    159a <verifyResultJacobi2D+0x44a>
movl   $0x1,-0x48(%rbp)
jmp    15ad <verifyResultJacobi2D+0x45d>
jmp    159f <verifyResultJacobi2D+0x44f>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    153e <verifyResultJacobi2D+0x3ee>
cmpl   $0x0,-0x48(%rbp)
je     15bc <verifyResultJacobi2D+0x46c>
jmp    15cf <verifyResultJacobi2D+0x47f>
jmp    15c1 <verifyResultJacobi2D+0x471>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    152c <verifyResultJacobi2D+0x3dc>
cmpl   $0x0,-0x48(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<verifyResultJacobi2D>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x78,%rsp
mov    %rcx,0x20(%rsp)
mov    %edx,%ebx
mov    %esi,%ebp
mov    %rdi,0x50(%rsp)
lea    0x10(,%rbp,8),%r14d
mov    %r14d,%edi
call   1050 <malloc@plt>
mov    %rax,%r13
mov    %rax,0x40(%rsp)
mov    %r14d,%edi
call   1050 <malloc@plt>
mov    %rax,0x48(%rsp)
test   %r13,%r13
je     15ba <verifyResultJacobi2D+0x46a>
test   %rax,%rax
je     15ba <verifyResultJacobi2D+0x46a>
lea    0x1(%rbp),%ecx
mov    %ecx,%r15d
cmp    $0xfffffffe,%ebp
mov    %rbp,0x38(%rsp)
jle    1285 <verifyResultJacobi2D+0x135>
mov    %ebx,0x10(%rsp)
mov    %ecx,0x28(%rsp)
mov    %rax,%rbx
lea    0x2(%rbp),%eax
mov    %eax,0x30(%rsp)
mov    %eax,%ebp
xor    %r12d,%r12d
xchg   %ax,%ax
mov    %r14d,%edi
call   1050 <malloc@plt>
mov    %rax,0x0(%r13,%r12,8)
mov    %r14d,%edi
call   1050 <malloc@plt>
mov    %rax,(%rbx,%r12,8)
cmpq   $0x0,0x0(%r13,%r12,8)
je     15a7 <verifyResultJacobi2D+0x457>
test   %rax,%rax
je     15a7 <verifyResultJacobi2D+0x457>
add    $0x1,%r12
cmp    %r12,%rbp
jne    11d0 <verifyResultJacobi2D+0x80>
mov    0x10(%rsp),%edi
call   1040 <srand@plt>
mov    0x38(%rsp),%r14
test   %r14d,%r14d
setle  0xf(%rsp)
jle    14fc <verifyResultJacobi2D+0x3ac>
mov    $0x1,%ebp
mov    %rbx,%r12
nopl   0x0(%rax,%rax,1)
mov    $0x1,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
xor    %eax,%eax
call   1070 <rand@plt>
movsd  %xmm0,0x10(%rsp)
xor    %eax,%eax
call   1070 <rand@plt>
movsd  0x10(%rsp),%xmm1
divsd  %xmm0,%xmm1
mov    0x0(%r13,%rbp,8),%rax
movsd  %xmm1,(%rax,%rbx,8)
add    $0x1,%rbx
cmp    %rbx,%r15
jne    1240 <verifyResultJacobi2D+0xf0>
add    $0x1,%rbp
cmp    %r15,%rbp
jne    1230 <verifyResultJacobi2D+0xe0>
cmp    $0xffffffff,%r14d
jl     1291 <verifyResultJacobi2D+0x141>
jmp    150e <verifyResultJacobi2D+0x3be>
mov    %ebx,%edi
call   1040 <srand@plt>
movb   $0x1,0xf(%rsp)
cmpl   $0x0,0x20(%rsp)
jle    1484 <verifyResultJacobi2D+0x334>
lea    0x1(%r15),%rax
mov    %rax,0x70(%rsp)
lea    -0x1(%r15),%r13
mov    %r13,%r8
and    $0xfffffffffffffffe,%r8
mov    %r13,%rax
or     $0x1,%rax
mov    %rax,0x60(%rsp)
xor    %eax,%eax
mov    $0x1,%ecx
movsd  0xd45(%rip),%xmm0
movapd 0xd2d(%rip),%xmm1
mov    $0x1,%esi
mov    %r13,0x68(%rsp)
jmp    12fd <verifyResultJacobi2D+0x1ad>
nop
mov    $0x1,%ecx
mov    0x1c(%rsp),%eax
sub    %eax,%ecx
mov    0x58(%rsp),%rdi
lea    0x1(%rdi),%esi
cmp    0x20(%rsp),%edi
je     1484 <verifyResultJacobi2D+0x334>
mov    %rsi,0x58(%rsp)
mov    %ecx,0x1c(%rsp)
cmpb   $0x0,0xf(%rsp)
jne    12e0 <verifyResultJacobi2D+0x190>
mov    %eax,%eax
mov    0x1c(%rsp),%ecx
mov    0x40(%rsp,%rax,8),%rdx
mov    0x40(%rsp,%rcx,8),%r10
mov    $0x1,%esi
mov    %rdx,0x30(%rsp)
mov    %r10,0x28(%rsp)
jmp    1335 <verifyResultJacobi2D+0x1e5>
xchg   %ax,%ax
cmp    %r15,%rsi
je     12e0 <verifyResultJacobi2D+0x190>
mov    -0x8(%rdx,%rsi,8),%rdi
mov    (%rdx,%rsi,8),%rax
mov    (%r10,%rsi,8),%rcx
add    $0x1,%rsi
mov    %esi,%ebx
mov    (%rdx,%rbx,8),%r12
mov    $0x1,%r9d
cmp    $0x2,%r13
jae    13a0 <verifyResultJacobi2D+0x250>
nopl   0x0(%rax,%rax,1)
movsd  (%rdi,%r9,8),%xmm2
addsd  (%rax,%r9,8),%xmm2
addsd  (%r12,%r9,8),%xmm2
addsd  0x8(%rax,%r9,8),%xmm2
addsd  -0x8(%rax,%r9,8),%xmm2
divsd  %xmm0,%xmm2
movsd  %xmm2,(%rcx,%r9,8)
lea    0x1(%r9),%rbp
mov    %rbp,%r9
cmp    %rbp,%r15
jne    1360 <verifyResultJacobi2D+0x210>
jmp    1330 <verifyResultJacobi2D+0x1e0>
nopl   0x0(%rax,%rax,1)
lea    0x8(%rcx),%rbx
lea    (%rcx,%r15,8),%rbp
lea    0x8(%rdi),%r9
lea    (%rdi,%r15,8),%r10
mov    0x70(%rsp),%rdx
lea    (%rax,%rdx,8),%r11
lea    0x8(%r12),%rdx
mov    %rdx,0x10(%rsp)
lea    (%r12,%r15,8),%r13
cmp    %r10,%rbx
setb   %r10b
cmp    %rbp,%r9
setb   %dl
cmp    %r11,%rbx
setb   %r14b
cmp    %rbp,%rax
setb   %r11b
cmp    %r13,%rbx
setb   %bl
cmp    %rbp,0x10(%rsp)
setb   %bpl
mov    $0x1,%r9d
test   %dl,%r10b
mov    0x28(%rsp),%r10
mov    0x30(%rsp),%rdx
mov    0x68(%rsp),%r13
jne    1360 <verifyResultJacobi2D+0x210>
mov    $0x1,%r9d
and    %r11b,%r14b
jne    1360 <verifyResultJacobi2D+0x210>
mov    $0x1,%r9d
and    %bpl,%bl
jne    1360 <verifyResultJacobi2D+0x210>
xor    %ebx,%ebx
nop
movupd 0x8(%rdi,%rbx,8),%xmm2
movupd (%rax,%rbx,8),%xmm3
movupd 0x8(%rax,%rbx,8),%xmm4
addpd  %xmm2,%xmm4
movupd 0x10(%rax,%rbx,8),%xmm2
movupd 0x8(%r12,%rbx,8),%xmm5
addpd  %xmm4,%xmm5
addpd  %xmm2,%xmm5
addpd  %xmm3,%xmm5
divpd  %xmm1,%xmm5
movupd %xmm5,0x8(%rcx,%rbx,8)
add    $0x2,%rbx
cmp    %rbx,%r8
jne    1430 <verifyResultJacobi2D+0x2e0>
mov    0x60(%rsp),%r9
cmp    %r8,%r13
jne    1360 <verifyResultJacobi2D+0x210>
jmp    1330 <verifyResultJacobi2D+0x1e0>
mov    $0x1,%al
cmpb   $0x0,0xf(%rsp)
je     14a2 <verifyResultJacobi2D+0x352>
movzbl %al,%eax
and    $0x1,%eax
add    $0x78,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0x20(%rsp),%rax
and    $0x1,%eax
movslq 0x38(%rsp),%rcx
mov    0x40(%rsp,%rax,8),%rdx
mov    $0x1,%esi
xor    %eax,%eax
mov    0x50(%rsp),%rdi
mov    (%rdi,%rsi,8),%rdi
mov    (%rdx,%rsi,8),%rbp
mov    $0x1,%ebx
nopl   (%rax)
movsd  (%rdi,%rbx,8),%xmm0
ucomisd 0x0(%rbp,%rbx,8),%xmm0
jne    148d <verifyResultJacobi2D+0x33d>
jp     148d <verifyResultJacobi2D+0x33d>
add    $0x1,%rbx
cmp    %rbx,%r15
jne    14d0 <verifyResultJacobi2D+0x380>
cmp    %rcx,%rsi
lea    0x1(%rsi),%rdi
setge  %al
mov    %rdi,%rsi
cmp    %r15,%rdi
jne    14bb <verifyResultJacobi2D+0x36b>
jmp    148d <verifyResultJacobi2D+0x33d>
movb   $0x1,0xf(%rsp)
mov    %rbx,%r12
cmp    $0xffffffff,%r14d
jl     1291 <verifyResultJacobi2D+0x141>
movslq 0x28(%rsp),%rax
mov    0x0(%r13),%r9
mov    (%r12),%rbx
mov    0x0(%r13,%rax,8),%r8
mov    (%r12,%rax,8),%rdi
mov    0x30(%rsp),%edx
cmp    $0x2,%edx
mov    $0x1,%ecx
cmovge %edx,%ecx
lea    -0x8(,%rcx,8),%rbp
ff
xor    %esi,%esi
mov    %rbx,%rdx
mov    %r9,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movq   $0x0,(%rcx)
movq   $0x0,(%rdx)
movq   $0x0,(%rcx,%rax,8)
movq   $0x0,(%rdx,%rax,8)
movq   $0x0,(%r9,%rsi,1)
movq   $0x0,(%rbx,%rsi,1)
movq   $0x0,(%r8,%rsi,1)
movq   $0x0,(%rdi,%rsi,1)
cmp    %rsi,%rbp
je     1291 <verifyResultJacobi2D+0x141>
mov    0x8(%r13,%rsi,1),%rcx
mov    0x8(%r12,%rsi,1),%rdx
add    $0x8,%rsi
jmp    1550 <verifyResultJacobi2D+0x400>
lea    0xa6a(%rip),%rdi
call   1030 <puts@plt>
xor    %edi,%edi
call   1060 <exit@plt>
lea    0xa80(%rip),%rdi
jmp    15ae <verifyResultJacobi2D+0x45e>

LLVM IR (-O0):
@.str = [42 x i8] c"Could not allocate x axis of space array\0A\00"
@.str.1 = [42 x i8] c"Could not allocate y axis of space array\0A\00"
define i32 @verifyResultJacobi2D(double** %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca double**
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca [2 x double**]
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
store double** %0, double*** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 %3, i32* %8
store i32 1, i32* %10
%19 = load i32, i32* %10
%20 = load i32, i32* %6
%21 = add nsw i32 %19, %20
%22 = sub nsw i32 %21, 1
store i32 %22, i32* %11
%23 = load i32, i32* %6
%24 = add nsw i32 %23, 2
%25 = sext i32 %24 to i64
%26 = mul i64 %25, 8
%27 = trunc i64 %26 to i32
%28 = call i64 @malloc(i32 %27)
%29 = inttoptr i64 %28 to double**
%30 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 0
store double** %29, double*** %30
%31 = load i32, i32* %6
%32 = add nsw i32 %31, 2
%33 = sext i32 %32 to i64
%34 = mul i64 %33, 8
%35 = trunc i64 %34 to i32
%36 = call i64 @malloc(i32 %35)
%37 = inttoptr i64 %36 to double**
%38 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 1
store double** %37, double*** %38
%39 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 0
%40 = load double**, double*** %39
%41 = icmp eq double** %40, null
br i1 %41, label %46, label %42
42: ; preds = %4
%43 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 1
%44 = load double**, double*** %43
%45 = icmp eq double** %44, null
br i1 %45, label %46, label %49
46: ; preds = %42, %4
%47 = call i32 @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str, i64 0, i64 0))
%48 = call i32 @exit(i32 0)
unreachable
49: ; preds = %42
store i32 0, i32* %9
br label %50
50: ; preds = %99, %49
%51 = load i32, i32* %9
%52 = load i32, i32* %6
%53 = add nsw i32 %52, 2
%54 = icmp slt i32 %51, %53
br i1 %54, label %55, label %102
55: ; preds = %50
%56 = load i32, i32* %6
%57 = add nsw i32 %56, 2
%58 = sext i32 %57 to i64
%59 = mul i64 %58, 8
%60 = trunc i64 %59 to i32
%61 = call i64 @malloc(i32 %60)
%62 = inttoptr i64 %61 to double*
%63 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 0
%64 = load double**, double*** %63
%65 = load i32, i32* %9
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds double*, double** %64, i64 %66
store double* %62, double** %67
%68 = load i32, i32* %6
%69 = add nsw i32 %68, 2
%70 = sext i32 %69 to i64
%71 = mul i64 %70, 8
%72 = trunc i64 %71 to i32
%73 = call i64 @malloc(i32 %72)
%74 = inttoptr i64 %73 to double*
%75 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 1
%76 = load double**, double*** %75
%77 = load i32, i32* %9
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds double*, double** %76, i64 %78
store double* %74, double** %79
%80 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 0
%81 = load double**, double*** %80
%82 = load i32, i32* %9
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds double*, double** %81, i64 %83
%85 = load double*, double** %84
%86 = icmp eq double* %85, null
br i1 %86, label %95, label %87
87: ; preds = %55
%88 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 1
%89 = load double**, double*** %88
%90 = load i32, i32* %9
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds double*, double** %89, i64 %91
%93 = load double*, double** %92
%94 = icmp eq double* %93, null
br i1 %94, label %95, label %98
95: ; preds = %87, %55
%96 = call i32 @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.1, i64 0, i64 0))
%97 = call i32 @exit(i32 0)
unreachable
98: ; preds = %87
br label %99
99: ; preds = %98
%100 = load i32, i32* %9
%101 = add nsw i32 %100, 1
store i32 %101, i32* %9
br label %50
102: ; preds = %50
%103 = load i32, i32* %7
%104 = call i32 @srand(i32 %103)
%105 = load i32, i32* %10
store i32 %105, i32* %13
br label %106
106: ; preds = %133, %102
%107 = load i32, i32* %13
%108 = load i32, i32* %11
%109 = icmp sle i32 %107, %108
br i1 %109, label %110, label %136
110: ; preds = %106
%111 = load i32, i32* %10
store i32 %111, i32* %14
br label %112
112: ; preds = %129, %110
%113 = load i32, i32* %14
%114 = load i32, i32* %11
%115 = icmp sle i32 %113, %114
br i1 %115, label %116, label %132
116: ; preds = %112
%117 = call double (...) @rand()
%118 = call double (...) @rand()
%119 = fdiv double %117, %118
%120 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 0
%121 = load double**, double*** %120
%122 = load i32, i32* %13
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds double*, double** %121, i64 %123
%125 = load double*, double** %124
%126 = load i32, i32* %14
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds double, double* %125, i64 %127
store double %119, double* %128
br label %129
129: ; preds = %116
%130 = load i32, i32* %14
%131 = add nsw i32 %130, 1
store i32 %131, i32* %14
br label %112
132: ; preds = %112
br label %133
133: ; preds = %132
%134 = load i32, i32* %13
%135 = add nsw i32 %134, 1
store i32 %135, i32* %13
br label %106
136: ; preds = %106
store i32 0, i32* %9
br label %137
137: ; preds = %211, %136
%138 = load i32, i32* %9
%139 = load i32, i32* %6
%140 = add nsw i32 %139, 2
%141 = icmp slt i32 %138, %140
br i1 %141, label %142, label %214
142: ; preds = %137
%143 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 0
%144 = load double**, double*** %143
%145 = load i32, i32* %9
%146 = sext i32 %145 to i64
%147 = getelementptr inbounds double*, double** %144, i64 %146
%148 = load double*, double** %147
%149 = getelementptr inbounds double, double* %148, i64 0
store double 0.000000e+00, double* %149
%150 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 1
%151 = load double**, double*** %150
%152 = load i32, i32* %9
%153 = sext i32 %152 to i64
%154 = getelementptr inbounds double*, double** %151, i64 %153
%155 = load double*, double** %154
%156 = getelementptr inbounds double, double* %155, i64 0
store double 0.000000e+00, double* %156
%157 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 0
%158 = load double**, double*** %157
%159 = load i32, i32* %9
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds double*, double** %158, i64 %160
%162 = load double*, double** %161
%163 = load i32, i32* %6
%164 = add nsw i32 %163, 1
%165 = sext i32 %164 to i64
%166 = getelementptr inbounds double, double* %162, i64 %165
store double 0.000000e+00, double* %166
%167 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 1
%168 = load double**, double*** %167
%169 = load i32, i32* %9
%170 = sext i32 %169 to i64
%171 = getelementptr inbounds double*, double** %168, i64 %170
%172 = load double*, double** %171
%173 = load i32, i32* %6
%174 = add nsw i32 %173, 1
%175 = sext i32 %174 to i64
%176 = getelementptr inbounds double, double* %172, i64 %175
store double 0.000000e+00, double* %176
%177 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 0
%178 = load double**, double*** %177
%179 = getelementptr inbounds double*, double** %178, i64 0
%180 = load double*, double** %179
%181 = load i32, i32* %9
%182 = sext i32 %181 to i64
%183 = getelementptr inbounds double, double* %180, i64 %182
store double 0.000000e+00, double* %183
%184 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 1
%185 = load double**, double*** %184
%186 = getelementptr inbounds double*, double** %185, i64 0
%187 = load double*, double** %186
%188 = load i32, i32* %9
%189 = sext i32 %188 to i64
%190 = getelementptr inbounds double, double* %187, i64 %189
store double 0.000000e+00, double* %190
%191 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 0
%192 = load double**, double*** %191
%193 = load i32, i32* %6
%194 = add nsw i32 %193, 1
%195 = sext i32 %194 to i64
%196 = getelementptr inbounds double*, double** %192, i64 %195
%197 = load double*, double** %196
%198 = load i32, i32* %9
%199 = sext i32 %198 to i64
%200 = getelementptr inbounds double, double* %197, i64 %199
store double 0.000000e+00, double* %200
%201 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 1
%202 = load double**, double*** %201
%203 = load i32, i32* %6
%204 = add nsw i32 %203, 1
%205 = sext i32 %204 to i64
%206 = getelementptr inbounds double*, double** %202, i64 %205
%207 = load double*, double** %206
%208 = load i32, i32* %9
%209 = sext i32 %208 to i64
%210 = getelementptr inbounds double, double* %207, i64 %209
store double 0.000000e+00, double* %210
br label %211
211: ; preds = %142
%212 = load i32, i32* %9
%213 = add nsw i32 %212, 1
store i32 %213, i32* %9
br label %137
214: ; preds = %137
store i32 0, i32* %16
store i32 1, i32* %17
store i32 1, i32* %15
br label %215
215: ; preds = %323, %214
%216 = load i32, i32* %15
%217 = load i32, i32* %8
%218 = icmp sle i32 %216, %217
br i1 %218, label %219, label %326
219: ; preds = %215
%220 = load i32, i32* %10
store i32 %220, i32* %13
br label %221
221: ; preds = %316, %219
%222 = load i32, i32* %13
%223 = load i32, i32* %11
%224 = icmp sle i32 %222, %223
br i1 %224, label %225, label %319
225: ; preds = %221
%226 = load i32, i32* %10
store i32 %226, i32* %14
br label %227
227: ; preds = %312, %225
%228 = load i32, i32* %14
%229 = load i32, i32* %11
%230 = icmp sle i32 %228, %229
br i1 %230, label %231, label %315
231: ; preds = %227
%232 = load i32, i32* %16
%233 = sext i32 %232 to i64
%234 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 %233
%235 = load double**, double*** %234
%236 = load i32, i32* %13
%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* %14
%242 = sext i32 %241 to i64
%243 = getelementptr inbounds double, double* %240, i64 %242
%244 = load double, double* %243
%245 = load i32, i32* %16
%246 = sext i32 %245 to i64
%247 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 %246
%248 = load double**, double*** %247
%249 = load i32, i32* %13
%250 = sext i32 %249 to i64
%251 = getelementptr inbounds double*, double** %248, i64 %250
%252 = load double*, double** %251
%253 = load i32, i32* %14
%254 = sext i32 %253 to i64
%255 = getelementptr inbounds double, double* %252, i64 %254
%256 = load double, double* %255
%257 = fadd double %244, %256
%258 = load i32, i32* %16
%259 = sext i32 %258 to i64
%260 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 %259
%261 = load double**, double*** %260
%262 = load i32, i32* %13
%263 = add nsw i32 %262, 1
%264 = sext i32 %263 to i64
%265 = getelementptr inbounds double*, double** %261, i64 %264
%266 = load double*, double** %265
%267 = load i32, i32* %14
%268 = sext i32 %267 to i64
%269 = getelementptr inbounds double, double* %266, i64 %268
%270 = load double, double* %269
%271 = fadd double %257, %270
%272 = load i32, i32* %16
%273 = sext i32 %272 to i64
%274 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 %273
%275 = load double**, double*** %274
%276 = load i32, i32* %13
%277 = sext i32 %276 to i64
%278 = getelementptr inbounds double*, double** %275, i64 %277
%279 = load double*, double** %278
%280 = load i32, i32* %14
%281 = add nsw i32 %280, 1
%282 = sext i32 %281 to i64
%283 = getelementptr inbounds double, double* %279, i64 %282
%284 = load double, double* %283
%285 = fadd double %271, %284
%286 = load i32, i32* %16
%287 = sext i32 %286 to i64
%288 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 %287
%289 = load double**, double*** %288
%290 = load i32, i32* %13
%291 = sext i32 %290 to i64
%292 = getelementptr inbounds double*, double** %289, i64 %291
%293 = load double*, double** %292
%294 = load i32, i32* %14
%295 = sub nsw i32 %294, 1
%296 = sext i32 %295 to i64
%297 = getelementptr inbounds double, double* %293, i64 %296
%298 = load double, double* %297
%299 = fadd double %285, %298
%300 = fdiv double %299, 5.000000e+00
%301 = load i32, i32* %17
%302 = sext i32 %301 to i64
%303 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 %302
%304 = load double**, double*** %303
%305 = load i32, i32* %13
%306 = sext i32 %305 to i64
%307 = getelementptr inbounds double*, double** %304, i64 %306
%308 = load double*, double** %307
%309 = load i32, i32* %14
%310 = sext i32 %309 to i64
%311 = getelementptr inbounds double, double* %308, i64 %310
store double %300, double* %311
br label %312
312: ; preds = %231
%313 = load i32, i32* %14
%314 = add nsw i32 %313, 1
store i32 %314, i32* %14
br label %227
315: ; preds = %227
br label %316
316: ; preds = %315
%317 = load i32, i32* %13
%318 = add nsw i32 %317, 1
store i32 %318, i32* %13
br label %221
319: ; preds = %221
%320 = load i32, i32* %17
store i32 %320, i32* %16
%321 = load i32, i32* %17
%322 = sub nsw i32 1, %321
store i32 %322, i32* %17
br label %323
323: ; preds = %319
%324 = load i32, i32* %15
%325 = add nsw i32 %324, 1
store i32 %325, i32* %15
br label %215
326: ; preds = %215
store i32 0, i32* %18
%327 = load i32, i32* %10
store i32 %327, i32* %13
br label %328
328: ; preds = %372, %326
%329 = load i32, i32* %13
%330 = load i32, i32* %11
%331 = icmp sle i32 %329, %330
br i1 %331, label %332, label %375
332: ; preds = %328
%333 = load i32, i32* %10
store i32 %333, i32* %14
br label %334
334: ; preds = %364, %332
%335 = load i32, i32* %14
%336 = load i32, i32* %11
%337 = icmp sle i32 %335, %336
br i1 %337, label %338, label %367
338: ; preds = %334
%339 = load double**, double*** %5
%340 = load i32, i32* %13
%341 = sext i32 %340 to i64
%342 = getelementptr inbounds double*, double** %339, i64 %341
%343 = load double*, double** %342
%344 = load i32, i32* %14
%345 = sext i32 %344 to i64
%346 = getelementptr inbounds double, double* %343, i64 %345
%347 = load double, double* %346
%348 = load i32, i32* %8
%349 = and i32 %348, 1
%350 = sext i32 %349 to i64
%351 = getelementptr inbounds [2 x double**], [2 x double**]* %12, i64 0, i64 %350
%352 = load double**, double*** %351
%353 = load i32, i32* %13
%354 = sext i32 %353 to i64
%355 = getelementptr inbounds double*, double** %352, i64 %354
%356 = load double*, double** %355
%357 = load i32, i32* %14
%358 = sext i32 %357 to i64
%359 = getelementptr inbounds double, double* %356, i64 %358
%360 = load double, double* %359
%361 = fcmp une double %347, %360
br i1 %361, label %362, label %363
362: ; preds = %338
store i32 1, i32* %18
br label %367
363: ; preds = %338
br label %364
364: ; preds = %363
%365 = load i32, i32* %14
%366 = add nsw i32 %365, 1
store i32 %366, i32* %14
br label %334
367: ; preds = %362, %334
%368 = load i32, i32* %18
%369 = icmp ne i32 %368, 0
br i1 %369, label %370, label %371
370: ; preds = %367
br label %375
371: ; preds = %367
br label %372
372: ; preds = %371
%373 = load i32, i32* %13
%374 = add nsw i32 %373, 1
store i32 %374, i32* %13
br label %328
375: ; preds = %370, %328
%376 = load i32, i32* %18
%377 = icmp ne i32 %376, 0
%378 = xor i1 %377, true
%379 = zext i1 %378 to i32
ret i32 %379
}

LLVM IR (-O2):
@str = [41 x i8] c"Could not allocate y axis of space array\00"
@str.2 = [41 x i8] c"Could not allocate x axis of space array\00"
define i32 @verifyResultJacobi2D(double** nocapture %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca [2 x double**]
%6 = add i32 %1, 1
%7 = bitcast [2 x double**]* %5 to i8*
%8 = add nsw i32 %1, 2
%9 = shl i32 %8, 3
%10 = tail call i64 @malloc(i32 %9)
%11 = inttoptr i64 %10 to double**
%12 = getelementptr inbounds [2 x double**], [2 x double**]* %5, i64 0, i64 0
store double** %11, double*** %12
%13 = tail call i64 @malloc(i32 %9)
%14 = inttoptr i64 %13 to double**
%15 = getelementptr inbounds [2 x double**], [2 x double**]* %5, i64 0, i64 1
store double** %14, double*** %15
%16 = icmp eq i64 %10, 0
%17 = icmp eq i64 %13, 0
%18 = select i1 %16, i1 true, i1 %17
br i1 %18, label %25, label %19
19: ; preds = %4
%20 = icmp sgt i32 %1, -2
br i1 %20, label %23, label %21
21: ; preds = %19
%22 = tail call i32 @srand(i32 %2)
br label %78
23: ; preds = %19
%24 = zext i32 %8 to i64
br label %30
25: ; preds = %4
%26 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([41 x i8], [41 x i8]* @str.2, i64 0, i64 0))
%27 = tail call i32 @exit(i32 0)
unreachable
28: ; preds = %30
%29 = icmp eq i64 %42, %24
br i1 %29, label %46, label %30
30: ; preds = %23, %28
%31 = phi i64 [ 0, %23 ], [ %42, %28 ]
%32 = tail call i64 @malloc(i32 %9)
%33 = inttoptr i64 %32 to double*
%34 = getelementptr inbounds double*, double** %11, i64 %31
store double* %33, double** %34
%35 = tail call i64 @malloc(i32 %9)
%36 = inttoptr i64 %35 to double*
%37 = getelementptr inbounds double*, double** %14, i64 %31
store double* %36, double** %37
%38 = load double*, double** %34
%39 = icmp eq double* %38, null
%40 = icmp eq i64 %35, 0
%41 = select i1 %39, i1 true, i1 %40
%42 = add nuw nsw i64 %31, 1
br i1 %41, label %43, label %28
43: ; preds = %30
%44 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([41 x i8], [41 x i8]* @str, i64 0, i64 0))
%45 = tail call i32 @exit(i32 0)
unreachable
46: ; preds = %28
%47 = tail call i32 @srand(i32 %2)
%48 = icmp slt i32 %1, 1
br i1 %48, label %54, label %49
49: ; preds = %46
%50 = zext i32 %6 to i64
br label %51
51: ; preds = %75, %49
%52 = phi i64 [ 1, %49 ], [ %76, %75 ]
%53 = getelementptr inbounds double*, double** %11, i64 %52
br label %66
54: ; preds = %75, %46
%55 = phi i1 [ true, %46 ], [ %48, %75 ]
br i1 %20, label %56, label %78
56: ; preds = %54
%57 = sext i32 %6 to i64
%58 = load double*, double** %11
%59 = load double*, double** %14
%60 = getelementptr inbounds double*, double** %11, i64 %57
%61 = load double*, double** %60
%62 = getelementptr inbounds double*, double** %14, i64 %57
%63 = load double*, double** %62
%64 = call i32 @llvm.smax.i32(i32 %8, i32 1)
%65 = zext i32 %64 to i64
br label %89
66: ; preds = %51, %66
%67 = phi i64 [ 1, %51 ], [ %73, %66 ]
%68 = tail call double (...) @rand()
%69 = tail call double (...) @rand()
%70 = fdiv double %68, %69
%71 = load double*, double** %53
%72 = getelementptr inbounds double, double* %71, i64 %67
store double %70, double* %72
%73 = add nuw nsw i64 %67, 1
%74 = icmp eq i64 %73, %50
br i1 %74, label %75, label %66
75: ; preds = %66
%76 = add nuw nsw i64 %52, 1
%77 = icmp eq i64 %76, %50
br i1 %77, label %54, label %51
78: ; preds = %89, %21, %54
%79 = phi i1 [ true, %21 ], [ %55, %54 ], [ %55, %89 ]
%80 = icmp slt i32 %3, 1
br i1 %80, label %117, label %81
81: ; preds = %78
%82 = zext i32 %6 to i64
%83 = add nuw nsw i64 %82, 1
%84 = add nsw i64 %82, -1
%85 = icmp ult i64 %84, 2
%86 = and i64 %84, -2
%87 = or i64 %84, 1
%88 = icmp eq i64 %84, %86
br label %106
89: ; preds = %101, %56
%90 = phi double* [ %59, %56 ], [ %105, %101 ]
%91 = phi double* [ %58, %56 ], [ %103, %101 ]
%92 = phi i64 [ 0, %56 ], [ %99, %101 ]
store double 0.000000e+00, double* %91
store double 0.000000e+00, double* %90
%93 = getelementptr inbounds double, double* %91, i64 %57
store double 0.000000e+00, double* %93
%94 = getelementptr inbounds double, double* %90, i64 %57
store double 0.000000e+00, double* %94
%95 = getelementptr inbounds double, double* %58, i64 %92
store double 0.000000e+00, double* %95
%96 = getelementptr inbounds double, double* %59, i64 %92
store double 0.000000e+00, double* %96
%97 = getelementptr inbounds double, double* %61, i64 %92
store double 0.000000e+00, double* %97
%98 = getelementptr inbounds double, double* %63, i64 %92
store double 0.000000e+00, double* %98
%99 = add nuw nsw i64 %92, 1
%100 = icmp eq i64 %99, %65
br i1 %100, label %78, label %101
101: ; preds = %89
%102 = getelementptr inbounds double*, double** %11, i64 %99
%103 = load double*, double** %102
%104 = getelementptr inbounds double*, double** %14, i64 %99
%105 = load double*, double** %104
br label %89
106: ; preds = %81, %211
%107 = phi i32 [ 1, %81 ], [ %212, %211 ]
%108 = phi i32 [ 0, %81 ], [ %107, %211 ]
%109 = phi i32 [ 1, %81 ], [ %213, %211 ]
br i1 %79, label %211, label %110
110: ; preds = %106
%111 = zext i32 %108 to i64
%112 = getelementptr inbounds [2 x double**], [2 x double**]* %5, i64 0, i64 %111
%113 = zext i32 %107 to i64
%114 = getelementptr inbounds [2 x double**], [2 x double**]* %5, i64 0, i64 %113
%115 = load double**, double*** %112
%116 = load double**, double*** %114
br label %125
117: ; preds = %211, %78
br i1 %79, label %236, label %118
118: ; preds = %117
%119 = and i32 %3, 1
%120 = zext i32 %119 to i64
%121 = getelementptr inbounds [2 x double**], [2 x double**]* %5, i64 0, i64 %120
%122 = sext i32 %1 to i64
%123 = zext i32 %6 to i64
%124 = load double**, double*** %121
br label %215
125: ; preds = %209, %110
%126 = phi i64 [ 1, %110 ], [ %132, %209 ]
%127 = add nsw i64 %126, -1
%128 = getelementptr inbounds double*, double** %115, i64 %127
%129 = load double*, double** %128
%130 = getelementptr inbounds double*, double** %115, i64 %126
%131 = load double*, double** %130
%132 = add nuw nsw i64 %126, 1
%133 = and i64 %132, 4294967295
%134 = getelementptr inbounds double*, double** %115, i64 %133
%135 = load double*, double** %134
%136 = getelementptr inbounds double*, double** %116, i64 %126
%137 = load double*, double** %136
br i1 %85, label %186, label %138
138: ; preds = %125
%139 = getelementptr double, double* %137, i64 1
%140 = getelementptr double, double* %137, i64 %82
%141 = getelementptr double, double* %129, i64 1
%142 = getelementptr double, double* %129, i64 %82
%143 = getelementptr double, double* %131, i64 %83
%144 = getelementptr double, double* %135, i64 1
%145 = getelementptr double, double* %135, i64 %82
%146 = icmp ult double* %139, %142
%147 = icmp ult double* %141, %140
%148 = and i1 %146, %147
%149 = icmp ult double* %139, %143
%150 = icmp ult double* %131, %140
%151 = and i1 %149, %150
%152 = or i1 %148, %151
%153 = icmp ult double* %139, %145
%154 = icmp ult double* %144, %140
%155 = and i1 %153, %154
%156 = or i1 %152, %155
br i1 %156, label %186, label %157
157: ; preds = %138, %157
%158 = phi i64 [ %183, %157 ], [ 0, %138 ]
%159 = or i64 %158, 1
%160 = getelementptr inbounds double, double* %129, i64 %159
%161 = bitcast double* %160 to <2 x double>*
%162 = load <2 x double>, <2 x double>* %161
%163 = getelementptr inbounds double, double* %131, i64 %159
%164 = bitcast double* %163 to <2 x double>*
%165 = load <2 x double>, <2 x double>* %164
%166 = fadd <2 x double> %162, %165
%167 = getelementptr inbounds double, double* %135, i64 %159
%168 = bitcast double* %167 to <2 x double>*
%169 = load <2 x double>, <2 x double>* %168
%170 = fadd <2 x double> %166, %169
%171 = add i64 %158, 2
%172 = getelementptr inbounds double, double* %131, i64 %171
%173 = bitcast double* %172 to <2 x double>*
%174 = load <2 x double>, <2 x double>* %173
%175 = fadd <2 x double> %170, %174
%176 = getelementptr inbounds double, double* %131, i64 %158
%177 = bitcast double* %176 to <2 x double>*
%178 = load <2 x double>, <2 x double>* %177
%179 = fadd <2 x double> %175, %178
%180 = fdiv <2 x double> %179, <double 5.000000e+00, double 5.000000e+00>
%181 = getelementptr inbounds double, double* %137, i64 %159
%182 = bitcast double* %181 to <2 x double>*
store <2 x double> %180, <2 x double>* %182
%183 = add nuw i64 %158, 2
%184 = icmp eq i64 %183, %86
br i1 %184, label %185, label %157
185: ; preds = %157
br i1 %88, label %209, label %186
186: ; preds = %138, %125, %185
%187 = phi i64 [ 1, %138 ], [ 1, %125 ], [ %87, %185 ]
br label %188
188: ; preds = %186, %188
%189 = phi i64 [ %198, %188 ], [ %187, %186 ]
%190 = getelementptr inbounds double, double* %129, i64 %189
%191 = load double, double* %190
%192 = getelementptr inbounds double, double* %131, i64 %189
%193 = load double, double* %192
%194 = fadd double %191, %193
%195 = getelementptr inbounds double, double* %135, i64 %189
%196 = load double, double* %195
%197 = fadd double %194, %196
%198 = add nuw nsw i64 %189, 1
%199 = getelementptr inbounds double, double* %131, i64 %198
%200 = load double, double* %199
%201 = fadd double %197, %200
%202 = add nsw i64 %189, -1
%203 = getelementptr inbounds double, double* %131, i64 %202
%204 = load double, double* %203
%205 = fadd double %201, %204
%206 = fdiv double %205, 5.000000e+00
%207 = getelementptr inbounds double, double* %137, i64 %189
store double %206, double* %207
%208 = icmp eq i64 %198, %82
br i1 %208, label %209, label %188
209: ; preds = %188, %185
%210 = icmp eq i64 %132, %82
br i1 %210, label %211, label %125
211: ; preds = %209, %106
%212 = sub nsw i32 1, %107
%213 = add nuw i32 %109, 1
%214 = icmp eq i32 %109, %3
br i1 %214, label %117, label %106
215: ; preds = %232, %118
%216 = phi i64 [ 1, %118 ], [ %233, %232 ]
%217 = phi i1 [ false, %118 ], [ %234, %232 ]
%218 = getelementptr inbounds double*, double** %0, i64 %216
%219 = load double*, double** %218
%220 = getelementptr inbounds double*, double** %124, i64 %216
%221 = load double*, double** %220
br label %225
222: ; preds = %225
%223 = add nuw nsw i64 %226, 1
%224 = icmp eq i64 %223, %123
br i1 %224, label %232, label %225
225: ; preds = %215, %222
%226 = phi i64 [ 1, %215 ], [ %223, %222 ]
%227 = getelementptr inbounds double, double* %219, i64 %226
%228 = load double, double* %227
%229 = getelementptr inbounds double, double* %221, i64 %226
%230 = load double, double* %229
%231 = fcmp une double %228, %230
br i1 %231, label %236, label %222
232: ; preds = %222
%233 = add nuw nsw i64 %216, 1
%234 = icmp sge i64 %216, %122
%235 = icmp eq i64 %233, %123
br i1 %235, label %236, label %215
236: ; preds = %232, %225, %117
%237 = phi i1 [ true, %117 ], [ %217, %225 ], [ %234, %232 ]
%238 = zext i1 %237 to i32
ret i32 %238
}