int safety_Checker(int p, int r, int allocation[p][r], int current_Avail[r],
                   int Need[p][r]) {
  int i, j;
  int avail_checker[r];
  int safety = 0;
  int checked = p;
  int executed = 1;
  int running[p];
  for (j = 0; j < r; j++) {
    avail_checker[j] = current_Avail[j];
  }
  for (i = 0; i < p; i++) {
    running[i] = 1;
  }
  while (checked != 0) {
    safety = 0;
    for (i = 0; i < p; i++) {
      if (running[i]) {
        executed = 1;
        for (j = 0; j < r; j++) {
          if (Need[i][j] > avail_checker[j]) {
            executed = 0;
            break;
          }
        }
        if (executed) {
          running[i] = 0;
          checked--;
          safety = 1;
          for (j = 0; j < r; j++) {
            avail_checker[j] += allocation[i][j];
          }
          break;
        }
      }
    }
    if (!safety) {
      break;
    }
  }
  if (checked == 0) {
    safety = 1;
    return safety;
  } else {
    safety = 0;
    return safety;
  }
}


x86 assembly (clang, -O0):
<safety_Checker>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    -0xc(%rbp),%eax
mov    %rax,-0x80(%rbp)
mov    %rax,%rcx
mov    %rcx,-0x78(%rbp)
mov    %rsp,%rcx
mov    %rcx,-0x38(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x70(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x48(%rbp)
movl   $0x1,-0x4c(%rbp)
mov    -0x8(%rbp),%eax
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x68(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x58(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11ba <safety_Checker+0xba>
mov    -0x70(%rbp),%rax
mov    -0x20(%rbp),%rcx
movslq -0x30(%rbp),%rdx
mov    (%rcx,%rdx,4),%edx
movslq -0x30(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    118a <safety_Checker+0x8a>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11ea <safety_Checker+0xea>
mov    -0x68(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11c1 <safety_Checker+0xc1>
jmp    11ef <safety_Checker+0xef>
cmpl   $0x0,-0x48(%rbp)
je     1334 <safety_Checker+0x234>
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1320 <safety_Checker+0x220>
mov    -0x68(%rbp),%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     130d <safety_Checker+0x20d>
movl   $0x1,-0x4c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    128d <safety_Checker+0x18d>
mov    -0x70(%rbp),%rcx
mov    -0x78(%rbp),%rsi
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rdx
imul   %rsi,%rdx
shl    $0x2,%rdx
add    %rdx,%rax
movslq -0x30(%rbp),%rdx
mov    (%rax,%rdx,4),%eax
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    127a <safety_Checker+0x17a>
movl   $0x0,-0x4c(%rbp)
jmp    128d <safety_Checker+0x18d>
jmp    127f <safety_Checker+0x17f>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1233 <safety_Checker+0x133>
cmpl   $0x0,-0x4c(%rbp)
je     1308 <safety_Checker+0x208>
mov    -0x68(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x48(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x48(%rbp)
movl   $0x1,-0x44(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1303 <safety_Checker+0x203>
mov    -0x70(%rbp),%rax
mov    -0x80(%rbp),%rsi
mov    -0x18(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
imul   %rsi,%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
movslq -0x30(%rbp),%rdx
mov    (%rcx,%rdx,4),%edx
movslq -0x30(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    12bd <safety_Checker+0x1bd>
jmp    1320 <safety_Checker+0x220>
jmp    130d <safety_Checker+0x20d>
jmp    1312 <safety_Checker+0x212>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1207 <safety_Checker+0x107>
cmpl   $0x0,-0x44(%rbp)
jne    132f <safety_Checker+0x22f>
jmp    1334 <safety_Checker+0x234>
jmp    11ef <safety_Checker+0xef>
cmpl   $0x0,-0x48(%rbp)
jne    1357 <safety_Checker+0x257>
movl   $0x1,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x4(%rbp)
movl   $0x1,-0x5c(%rbp)
jmp    136b <safety_Checker+0x26b>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x4(%rbp)
movl   $0x1,-0x5c(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,%rsp
mov    -0x4(%rbp),%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<safety_Checker>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %r8,-0x78(%rbp)
mov    %rdx,-0x38(%rbp)
mov    %edi,%r13d
mov    %esi,%r14d
mov    %rsp,%rbx
lea    0xf(,%r14,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rbx
mov    %rbx,%rsp
mov    %edi,%r15d
mov    %rsp,%r12
lea    0xf(,%r15,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r12
mov    %r12,%rsp
mov    %esi,-0x2c(%rbp)
test   %esi,%esi
jle    1176 <safety_Checker+0x66>
lea    0x0(,%r14,4),%rdx
mov    %rbx,%rdi
mov    %rcx,%rsi
call   1030 <memcpy@plt>
test   %r13d,%r13d
jle    12b1 <safety_Checker+0x1a1>
cmp    $0x8,%r13d
jae    118c <safety_Checker+0x7c>
xor    %eax,%eax
jmp    12a0 <safety_Checker+0x190>
mov    %r15d,%eax
and    $0xfffffff8,%eax
lea    -0x8(%rax),%rsi
mov    %rsi,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %edx,%ecx
and    $0x7,%ecx
cmp    $0x38,%rsi
jae    11b3 <safety_Checker+0xa3>
xor    %esi,%esi
jmp    1265 <safety_Checker+0x155>
and    $0xfffffffffffffff8,%rdx
xor    %esi,%esi
movdqa 0xe3f(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,(%r12,%rsi,4)
movdqa %xmm0,0x10(%r12,%rsi,4)
movdqa %xmm0,0x20(%r12,%rsi,4)
movdqa %xmm0,0x30(%r12,%rsi,4)
movdqa %xmm0,0x40(%r12,%rsi,4)
movdqa %xmm0,0x50(%r12,%rsi,4)
movdqa %xmm0,0x60(%r12,%rsi,4)
movdqa %xmm0,0x70(%r12,%rsi,4)
movdqa %xmm0,0x80(%r12,%rsi,4)
movdqa %xmm0,0x90(%r12,%rsi,4)
movdqa %xmm0,0xa0(%r12,%rsi,4)
movdqa %xmm0,0xb0(%r12,%rsi,4)
movdqa %xmm0,0xc0(%r12,%rsi,4)
movdqa %xmm0,0xd0(%r12,%rsi,4)
movdqa %xmm0,0xe0(%r12,%rsi,4)
movdqa %xmm0,0xf0(%r12,%rsi,4)
add    $0x40,%rsi
add    $0xfffffffffffffff8,%rdx
jne    11d0 <safety_Checker+0xc0>
test   %rcx,%rcx
je     1294 <safety_Checker+0x184>
lea    (%r12,%rsi,4),%rdx
add    $0x10,%rdx
shl    $0x5,%rcx
xor    %esi,%esi
movdqa 0xd80(%rip),%xmm0
movdqa %xmm0,-0x10(%rdx,%rsi,1)
movdqa %xmm0,(%rdx,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%rcx
jne    1280 <safety_Checker+0x170>
cmp    %r15,%rax
je     12b1 <safety_Checker+0x1a1>
nopl   0x0(%rax)
movl   $0x1,(%r12,%rax,4)
add    $0x1,%rax
cmp    %rax,%r15
jne    12a0 <safety_Checker+0x190>
test   %r13d,%r13d
je     14cb <safety_Checker+0x3bb>
movslq %r13d,%r10
mov    %r14d,%eax
and    $0xfffffff8,%eax
mov    %rax,-0x60(%rbp)
add    $0xfffffffffffffff8,%rax
mov    %rax,-0x58(%rbp)
shr    $0x3,%rax
add    $0x1,%rax
movabs $0x3ffffffffffffff8,%rdx
ff ff 3f
or     $0x6,%rdx
mov    %rax,%rcx
mov    %rax,-0x50(%rbp)
and    %rax,%rdx
mov    %rdx,-0x48(%rbp)
lea    0x0(,%r14,4),%r11
mov    -0x38(%rbp),%rax
add    $0x30,%rax
mov    %rax,-0x70(%rbp)
mov    %r13d,%r9d
mov    %r13d,-0x3c(%rbp)
mov    %r10,-0x68(%rbp)
jmp    1338 <safety_Checker+0x228>
mov    %eax,%eax
movl   $0x0,(%r12,%rax,4)
xchg   %ax,%ax
add    $0xffffffff,%r9d
setne  %al
test   %al,%r13b
mov    -0x3c(%rbp),%r13d
mov    -0x68(%rbp),%r10
je     14c4 <safety_Checker+0x3b4>
test   %r13d,%r13d
jle    14be <safety_Checker+0x3ae>
mov    $0x1,%r13b
mov    -0x38(%rbp),%r8
mov    -0x70(%rbp),%rsi
mov    -0x78(%rbp),%rdi
xor    %eax,%eax
jmp    137d <safety_Checker+0x26d>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%rax
cmp    %r10,%rax
setl   %r13b
add    %r11,%rdi
add    %r11,%rsi
add    %r11,%r8
cmp    %r15,%rax
je     14c4 <safety_Checker+0x3b4>
cmpl   $0x0,(%r12,%rax,4)
je     1360 <safety_Checker+0x250>
cmpl   $0x0,-0x2c(%rbp)
jle    1314 <safety_Checker+0x204>
xor    %edx,%edx
nopl   0x0(%rax)
mov    (%rdi,%rdx,4),%ecx
cmp    (%rbx,%rdx,4),%ecx
jg     1360 <safety_Checker+0x250>
add    $0x1,%rdx
cmp    %rdx,%r14
jne    1390 <safety_Checker+0x280>
mov    %eax,%r10d
movl   $0x0,(%r12,%r10,4)
cmpl   $0x0,-0x2c(%rbp)
jle    1320 <safety_Checker+0x210>
cmpl   $0x8,-0x2c(%rbp)
jae    13d0 <safety_Checker+0x2c0>
xor    %edi,%edi
jmp    1482 <safety_Checker+0x372>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmpq   $0x0,-0x58(%rbp)
je     14b4 <safety_Checker+0x3a4>
mov    -0x48(%rbp),%rdi
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqu -0x30(%rsi),%xmm0
paddd  (%rbx,%rax,4),%xmm0
movdqu -0x20(%rsi),%xmm1
paddd  0x10(%rbx,%rax,4),%xmm1
movdqa %xmm0,(%rbx,%rax,4)
movdqa %xmm1,0x10(%rbx,%rax,4)
movdqu -0x10(%rsi),%xmm0
paddd  0x20(%rbx,%rax,4),%xmm0
movdqu (%rsi),%xmm1
paddd  0x30(%rbx,%rax,4),%xmm1
movdqa %xmm0,0x20(%rbx,%rax,4)
movdqa %xmm1,0x30(%rbx,%rax,4)
add    $0x10,%rax
add    $0x40,%rsi
add    $0xfffffffffffffffe,%rdi
jne    13f0 <safety_Checker+0x2e0>
testb  $0x1,-0x50(%rbp)
je     1472 <safety_Checker+0x362>
imul   %r14,%r10
mov    -0x38(%rbp),%rcx
lea    (%rcx,%r10,4),%rcx
movdqu (%rcx,%rax,4),%xmm0
movdqu 0x10(%rcx,%rax,4),%xmm1
paddd  (%rbx,%rax,4),%xmm0
paddd  0x10(%rbx,%rax,4),%xmm1
movdqa %xmm0,(%rbx,%rax,4)
movdqa %xmm1,0x10(%rbx,%rax,4)
mov    -0x60(%rbp),%rax
mov    %rax,%rdi
cmp    %r14,%rax
je     1320 <safety_Checker+0x210>
lea    (%rbx,%rdi,4),%rax
lea    (%r8,%rdi,4),%rsi
mov    %r14,%rdx
sub    %rdi,%rdx
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    (%rsi,%rdi,4),%ecx
add    %ecx,(%rax,%rdi,4)
add    $0x1,%rdi
cmp    %rdi,%rdx
jne    14a0 <safety_Checker+0x390>
jmp    1320 <safety_Checker+0x210>
xor    %eax,%eax
testb  $0x1,-0x50(%rbp)
jne    1445 <safety_Checker+0x335>
jmp    1472 <safety_Checker+0x362>
mov    $0x1,%r9d
xor    %eax,%eax
test   %r9d,%r9d
jne    14d0 <safety_Checker+0x3c0>
mov    $0x1,%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @safety_Checker(i32 %0, i32 %1, i32* %2, i32* %3, i32* %4) {
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32*
%12 = alloca i32
%13 = alloca i32
%14 = alloca i8*
%15 = alloca i64
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i64
%20 = alloca i32
store i32 %0, i32* %7
store i32 %1, i32* %8
store i32* %2, i32** %9
store i32* %3, i32** %10
store i32* %4, i32** %11
%21 = load i32, i32* %7
%22 = zext i32 %21 to i64
%23 = load i32, i32* %8
%24 = zext i32 %23 to i64
%25 = load i32, i32* %8
%26 = zext i32 %25 to i64
%27 = load i32, i32* %7
%28 = zext i32 %27 to i64
%29 = load i32, i32* %8
%30 = zext i32 %29 to i64
%31 = load i32, i32* %8
%32 = zext i32 %31 to i64
%33 = call i8* @llvm.stacksave()
store i8* %33, i8** %14
%34 = alloca i32, i64 %32
store i64 %32, i64* %15
store i32 0, i32* %16
%35 = load i32, i32* %7
store i32 %35, i32* %17
store i32 1, i32* %18
%36 = load i32, i32* %7
%37 = zext i32 %36 to i64
%38 = alloca i32, i64 %37
store i64 %37, i64* %19
store i32 0, i32* %13
br label %39
39: ; preds = %52, %5
%40 = load i32, i32* %13
%41 = load i32, i32* %8
%42 = icmp slt i32 %40, %41
br i1 %42, label %43, label %55
43: ; preds = %39
%44 = load i32*, i32** %10
%45 = load i32, i32* %13
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i32, i32* %44, i64 %46
%48 = load i32, i32* %47
%49 = load i32, i32* %13
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i32, i32* %34, i64 %50
store i32 %48, i32* %51
br label %52
52: ; preds = %43
%53 = load i32, i32* %13
%54 = add nsw i32 %53, 1
store i32 %54, i32* %13
br label %39
55: ; preds = %39
store i32 0, i32* %12
br label %56
56: ; preds = %64, %55
%57 = load i32, i32* %12
%58 = load i32, i32* %7
%59 = icmp slt i32 %57, %58
br i1 %59, label %60, label %67
60: ; preds = %56
%61 = load i32, i32* %12
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds i32, i32* %38, i64 %62
store i32 1, i32* %63
br label %64
64: ; preds = %60
%65 = load i32, i32* %12
%66 = add nsw i32 %65, 1
store i32 %66, i32* %12
br label %56
67: ; preds = %56
br label %68
68: ; preds = %148, %67
%69 = load i32, i32* %17
%70 = icmp ne i32 %69, 0
br i1 %70, label %71, label %149
71: ; preds = %68
store i32 0, i32* %16
store i32 0, i32* %12
br label %72
72: ; preds = %141, %71
%73 = load i32, i32* %12
%74 = load i32, i32* %7
%75 = icmp slt i32 %73, %74
br i1 %75, label %76, label %144
76: ; preds = %72
%77 = load i32, i32* %12
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds i32, i32* %38, i64 %78
%80 = load i32, i32* %79
%81 = icmp ne i32 %80, 0
br i1 %81, label %82, label %140
82: ; preds = %76
store i32 1, i32* %18
store i32 0, i32* %13
br label %83
83: ; preds = %104, %82
%84 = load i32, i32* %13
%85 = load i32, i32* %8
%86 = icmp slt i32 %84, %85
br i1 %86, label %87, label %107
87: ; preds = %83
%88 = load i32*, i32** %11
%89 = load i32, i32* %12
%90 = sext i32 %89 to i64
%91 = mul nsw i64 %90, %30
%92 = getelementptr inbounds i32, i32* %88, i64 %91
%93 = load i32, i32* %13
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds i32, i32* %92, i64 %94
%96 = load i32, i32* %95
%97 = load i32, i32* %13
%98 = sext i32 %97 to i64
%99 = getelementptr inbounds i32, i32* %34, i64 %98
%100 = load i32, i32* %99
%101 = icmp sgt i32 %96, %100
br i1 %101, label %102, label %103
102: ; preds = %87
store i32 0, i32* %18
br label %107
103: ; preds = %87
br label %104
104: ; preds = %103
%105 = load i32, i32* %13
%106 = add nsw i32 %105, 1
store i32 %106, i32* %13
br label %83
107: ; preds = %102, %83
%108 = load i32, i32* %18
%109 = icmp ne i32 %108, 0
br i1 %109, label %110, label %139
110: ; preds = %107
%111 = load i32, i32* %12
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i32, i32* %38, i64 %112
store i32 0, i32* %113
%114 = load i32, i32* %17
%115 = add nsw i32 %114, -1
store i32 %115, i32* %17
store i32 1, i32* %16
store i32 0, i32* %13
br label %116
116: ; preds = %135, %110
%117 = load i32, i32* %13
%118 = load i32, i32* %8
%119 = icmp slt i32 %117, %118
br i1 %119, label %120, label %138
120: ; preds = %116
%121 = load i32*, i32** %9
%122 = load i32, i32* %12
%123 = sext i32 %122 to i64
%124 = mul nsw i64 %123, %24
%125 = getelementptr inbounds i32, i32* %121, i64 %124
%126 = load i32, i32* %13
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds i32, i32* %125, i64 %127
%129 = load i32, i32* %128
%130 = load i32, i32* %13
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds i32, i32* %34, i64 %131
%133 = load i32, i32* %132
%134 = add nsw i32 %133, %129
store i32 %134, i32* %132
br label %135
135: ; preds = %120
%136 = load i32, i32* %13
%137 = add nsw i32 %136, 1
store i32 %137, i32* %13
br label %116
138: ; preds = %116
br label %144
139: ; preds = %107
br label %140
140: ; preds = %139, %76
br label %141
141: ; preds = %140
%142 = load i32, i32* %12
%143 = add nsw i32 %142, 1
store i32 %143, i32* %12
br label %72
144: ; preds = %138, %72
%145 = load i32, i32* %16
%146 = icmp ne i32 %145, 0
br i1 %146, label %148, label %147
147: ; preds = %144
br label %149
148: ; preds = %144
br label %68
149: ; preds = %147, %68
%150 = load i32, i32* %17
%151 = icmp eq i32 %150, 0
br i1 %151, label %152, label %154
152: ; preds = %149
store i32 1, i32* %16
%153 = load i32, i32* %16
store i32 %153, i32* %6
store i32 1, i32* %20
br label %156
154: ; preds = %149
store i32 0, i32* %16
%155 = load i32, i32* %16
store i32 %155, i32* %6
store i32 1, i32* %20
br label %156
156: ; preds = %154, %152
%157 = load i8*, i8** %14
%158 = load i32, i32* %6
ret i32 %158
}

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