int main() {
  int t8;
  int t6;
  int t4;
  int t2;
  int _t4;
  int _t3;
  int _t2;
  int _t1;
  int a[10UL][10UL][10UL][10UL];
  int i;
  int j;
  int k;
  int l;
  for (t2 = 0; t2 <= 9; t2 += 1)
    for (t4 = 0; t4 <= 3; t4 += 1)
      for (t6 = t4 + 6; t6 <= 9; t6 += 1)
        for (t8 = 0; t8 <= -t4 + t6 - 6; t8 += 1)
          a[t2][t4][t6 + 1][t8] = a[t2][t4][t6][t8];
  for (t2 = 0; t2 <= 9; t2 += 1)
    for (t4 = 0; t4 <= 9; t4 += 1)
      for (t6 = 0; t6 <= 9; t6 += 1)
        for (t8 = ((-t4 + t6 - 5) > (0) ? (-t4 + t6 - 5) : (0)); t8 <= 9;
             t8 += 1)
          a[t2][t4][t6 + 1][t8] = a[t2][t4][t6][t8];
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x9c10,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x9,-0x14(%rbp)
jg     121a <main+0x11a>
movl   $0x0,-0x10(%rbp)
cmpl   $0x3,-0x10(%rbp)
jg     1207 <main+0x107>
mov    -0x10(%rbp),%eax
add    $0x6,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x9,-0xc(%rbp)
jg     11f4 <main+0xf4>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
xor    %ecx,%ecx
sub    -0x10(%rbp),%ecx
add    -0xc(%rbp),%ecx
sub    $0x6,%ecx
cmp    %ecx,%eax
jg     11e1 <main+0xe1>
movslq -0x14(%rbp),%rcx
lea    -0x9c70(%rbp),%rax
imul   $0xfa0,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
imul   $0x190,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
movslq -0x14(%rbp),%rcx
lea    -0x9c70(%rbp),%rax
imul   $0xfa0,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
imul   $0x190,%rcx,%rcx
add    %rcx,%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    114e <main+0x4e>
jmp    11e6 <main+0xe6>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    113d <main+0x3d>
jmp    11f9 <main+0xf9>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    112a <main+0x2a>
jmp    120c <main+0x10c>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1119 <main+0x19>
movl   $0x0,-0x14(%rbp)
cmpl   $0x9,-0x14(%rbp)
jg     134d <main+0x24d>
movl   $0x0,-0x10(%rbp)
cmpl   $0x9,-0x10(%rbp)
jg     133a <main+0x23a>
movl   $0x0,-0xc(%rbp)
cmpl   $0x9,-0xc(%rbp)
jg     1327 <main+0x227>
xor    %eax,%eax
sub    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
sub    $0x5,%eax
cmp    $0x0,%eax
jle    1277 <main+0x177>
xor    %eax,%eax
sub    -0x10(%rbp),%eax
add    -0xc(%rbp),%eax
sub    $0x5,%eax
mov    %eax,-0x9c84(%rbp)
jmp    1284 <main+0x184>
xor    %eax,%eax
mov    %eax,-0x9c84(%rbp)
jmp    1284 <main+0x184>
mov    -0x9c84(%rbp),%eax
mov    %eax,-0x8(%rbp)
cmpl   $0x9,-0x8(%rbp)
jg     1314 <main+0x214>
movslq -0x14(%rbp),%rcx
lea    -0x9c70(%rbp),%rax
imul   $0xfa0,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
imul   $0x190,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
movslq -0x14(%rbp),%rcx
lea    -0x9c70(%rbp),%rax
imul   $0xfa0,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
imul   $0x190,%rcx,%rcx
add    %rcx,%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
imul   $0x28,%rcx,%rcx
add    %rcx,%rax
movslq -0x8(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    128d <main+0x18d>
jmp    1319 <main+0x219>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1243 <main+0x143>
jmp    132c <main+0x22c>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1232 <main+0x132>
jmp    133f <main+0x23f>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1221 <main+0x121>
xor    %eax,%eax
add    $0x9c10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x9bc8,%rsp
xor    %eax,%eax
nop
mov    0x70(%rsp,%rax,1),%ecx
mov    0x9c(%rsp,%rax,1),%edx
mov    %ecx,0x98(%rsp,%rax,1)
mov    %ecx,0xc0(%rsp,%rax,1)
mov    %edx,0xc4(%rsp,%rax,1)
mov    %ecx,0xe8(%rsp,%rax,1)
mov    %edx,0xec(%rsp,%rax,1)
mov    0xc8(%rsp,%rax,1),%ecx
mov    %ecx,0xf0(%rsp,%rax,1)
movups 0xe8(%rsp,%rax,1),%xmm0
movaps %xmm0,0x110(%rsp,%rax,1)
mov    0x228(%rsp,%rax,1),%ecx
mov    %ecx,0x250(%rsp,%rax,1)
mov    %ecx,0x278(%rsp,%rax,1)
mov    0x254(%rsp,%rax,1),%edx
mov    %edx,0x27c(%rsp,%rax,1)
mov    %ecx,0x2a0(%rsp,%rax,1)
mov    %edx,0x2a4(%rsp,%rax,1)
mov    0x280(%rsp,%rax,1),%ecx
mov    %ecx,0x2a8(%rsp,%rax,1)
mov    0x3e0(%rsp,%rax,1),%ecx
mov    %ecx,0x408(%rsp,%rax,1)
mov    %ecx,0x430(%rsp,%rax,1)
mov    0x40c(%rsp,%rax,1),%ecx
mov    %ecx,0x434(%rsp,%rax,1)
mov    0x598(%rsp,%rax,1),%ecx
mov    %ecx,0x5c0(%rsp,%rax,1)
add    $0xfa0,%rax
cmp    $0x9c40,%rax
jne    1110 <main+0x10>
lea    -0x94(%rsp),%r8
ff
lea    -0x6c(%rsp),%r10
xor    %r9d,%r9d
jmp    120c <main+0x10c>
add    $0x1,%r9
add    $0xfa0,%r8
add    $0xfa0,%r10
cmp    $0xa,%r9
je     12b7 <main+0x1b7>
mov    %r10,%r14
mov    %r8,%r15
xor    %eax,%eax
xor    %r11d,%r11d
jmp    123c <main+0x13c>
nopl   0x0(%rax)
add    $0x1,%rax
add    $0xffffffff,%r11d
add    $0x190,%r15
add    $0x190,%r14
cmp    $0xa,%rax
je     11f0 <main+0xf0>
xor    %ecx,%ecx
mov    %r11d,%edx
jmp    1260 <main+0x160>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%rcx
mov    %rcx,%rsi
add    $0x1,%edx
cmp    $0xa,%rsi
je     1220 <main+0x120>
cmp    $0x6,%edx
mov    $0x5,%ebx
cmovge %edx,%ebx
mov    %rcx,%rsi
sub    %rax,%rsi
cmp    $0x6,%rsi
jl     127f <main+0x17f>
add    $0xfffffffb,%esi
cmp    $0xa,%esi
jge    1250 <main+0x150>
add    $0xfffffffffffffffa,%rbx
lea    0x1(%rcx),%rsi
shl    $0x3,%rcx
lea    (%rcx,%rcx,4),%rcx
lea    (%r15,%rcx,1),%rdi
add    %r14,%rcx
cs nopw 0x0(%rax,%rax,1)
mov    0x18(%rdi,%rbx,4),%ebp
mov    %ebp,0x18(%rcx,%rbx,4)
add    $0x1,%rbx
cmp    $0x9,%rbx
jb     12a0 <main+0x1a0>
mov    %rsi,%rcx
jmp    1257 <main+0x157>
xor    %eax,%eax
add    $0x9bc8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @main() {
%1 = alloca [10 x [10 x [10 x [10 x i32]]]]
%2 = bitcast [10 x [10 x [10 x [10 x i32]]]]* %1 to i8*
br label %3
3: ; preds = %0, %3
%4 = phi i64 [ 0, %0 ], [ %44, %3 ]
%5 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 0, i64 6, i64 0
%6 = load i32, i32* %5
%7 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 0, i64 7, i64 0
store i32 %6, i32* %7
%8 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 0, i64 8, i64 0
store i32 %6, i32* %8
%9 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 0, i64 7, i64 1
%10 = load i32, i32* %9
%11 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 0, i64 8, i64 1
store i32 %10, i32* %11
%12 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 0, i64 9, i64 0
store i32 %6, i32* %12
%13 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 0, i64 9, i64 1
store i32 %10, i32* %13
%14 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 0, i64 8, i64 2
%15 = load i32, i32* %14
%16 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 0, i64 9, i64 2
store i32 %15, i32* %16
%17 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 0, i64 9, i64 0
%18 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 0, i64 10, i64 0
%19 = bitcast i32* %17 to <4 x i32>*
%20 = load <4 x i32>, <4 x i32>* %19
%21 = bitcast i32* %18 to <4 x i32>*
store <4 x i32> %20, <4 x i32>* %21
%22 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 1, i64 7, i64 0
%23 = load i32, i32* %22
%24 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 1, i64 8, i64 0
store i32 %23, i32* %24
%25 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 1, i64 9, i64 0
store i32 %23, i32* %25
%26 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 1, i64 8, i64 1
%27 = load i32, i32* %26
%28 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 1, i64 9, i64 1
store i32 %27, i32* %28
%29 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 1, i64 10, i64 0
store i32 %23, i32* %29
%30 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 1, i64 10, i64 1
store i32 %27, i32* %30
%31 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 1, i64 9, i64 2
%32 = load i32, i32* %31
%33 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 1, i64 10, i64 2
store i32 %32, i32* %33
%34 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 2, i64 8, i64 0
%35 = load i32, i32* %34
%36 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 2, i64 9, i64 0
store i32 %35, i32* %36
%37 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 2, i64 10, i64 0
store i32 %35, i32* %37
%38 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 2, i64 9, i64 1
%39 = load i32, i32* %38
%40 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 2, i64 10, i64 1
store i32 %39, i32* %40
%41 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 3, i64 9, i64 0
%42 = load i32, i32* %41
%43 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %4, i64 3, i64 10, i64 0
store i32 %42, i32* %43
%44 = add nuw nsw i64 %4, 1
%45 = icmp eq i64 %44, 10
br i1 %45, label %46, label %3
46: ; preds = %3, %82
%47 = phi i64 [ %83, %82 ], [ 0, %3 ]
br label %48
48: ; preds = %46, %78
%49 = phi i64 [ 0, %46 ], [ %79, %78 ]
%50 = phi i32 [ 0, %46 ], [ %80, %78 ]
br label %51
51: ; preds = %48, %74
%52 = phi i64 [ 0, %48 ], [ %75, %74 ]
%53 = phi i32 [ %50, %48 ], [ %76, %74 ]
%54 = sub nsw i64 %52, %49
%55 = icmp slt i64 %54, 6
%56 = trunc i64 %54 to i32
%57 = add i32 %56, -5
%58 = icmp slt i32 %57, 10
%59 = select i1 %55, i1 true, i1 %58
br i1 %59, label %62, label %60
60: ; preds = %51
%61 = add nuw nsw i64 %52, 1
br label %74
62: ; preds = %51
%63 = call i32 @llvm.smax.i32(i32 %53, i32 5)
%64 = zext i32 %63 to i64
%65 = add nsw i64 %64, -5
%66 = add nuw nsw i64 %52, 1
br label %67
67: ; preds = %62, %67
%68 = phi i64 [ %65, %62 ], [ %72, %67 ]
%69 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %47, i64 %49, i64 %52, i64 %68
%70 = load i32, i32* %69
%71 = getelementptr inbounds [10 x [10 x [10 x [10 x i32]]]], [10 x [10 x [10 x [10 x i32]]]]* %1, i64 0, i64 %47, i64 %49, i64 %66, i64 %68
store i32 %70, i32* %71
%72 = add nuw nsw i64 %68, 1
%73 = icmp ult i64 %68, 9
br i1 %73, label %67, label %74
74: ; preds = %67, %60
%75 = phi i64 [ %61, %60 ], [ %66, %67 ]
%76 = add nsw i32 %53, 1
%77 = icmp eq i64 %75, 10
br i1 %77, label %78, label %51
78: ; preds = %74
%79 = add nuw nsw i64 %49, 1
%80 = add nsw i32 %50, -1
%81 = icmp eq i64 %79, 10
br i1 %81, label %82, label %48
82: ; preds = %78
%83 = add nuw nsw i64 %47, 1
%84 = icmp eq i64 %83, 10
br i1 %84, label %85, label %46
85: ; preds = %82
ret i32 0
}