#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*/ test(int *, int *, int *);
int main() {
  int start[5], len[5], stride[5];
  for (start[0] = 0; start[0] < 6; start[0]++) {
    for (len[0] = 2; len[0] <= 6; len[0]++) {
      for (stride[0] = 1; stride[0] < 6; stride[0]++) {
        for (start[1] = 0; start[1] < 7; start[1]++) {
          for (len[1] = 2; len[1] <= 7; len[1]++) {
            for (stride[1] = 1; stride[1] < 7; stride[1]++) {
              for (start[2] = 0; start[2] < 6; start[2]++) {
                for (len[2] = 2; len[2] <= 6; len[2]++) {
                  for (stride[2] = 1; stride[2] < 6; stride[2]++) {
                    for (start[3] = 0; start[3] < 3; start[3]++) {
                      for (len[3] = 2; len[3] <= 3; len[3]++) {
                        for (stride[3] = 1; stride[3] < 3; stride[3]++) {
                          for (start[4] = 0; start[4] < 6; start[4]++) {
                            for (len[4] = 2; len[4] <= 6; len[4]++) {
                              for (stride[4] = 1; stride[4] < 6; stride[4]++) {
                                if ((start[0] + (len[0] - 1) * stride[0] < 6) &&
                                    (start[1] + (len[1] - 1) * stride[1] < 7) &&
                                    (start[2] + (len[2] - 1) * stride[2] < 6) &&
                                    (start[3] + (len[3] - 1) * stride[3] < 3) &&
                                    (start[4] + (len[4] - 1) * stride[4] < 6)) {
                                  test(start, len, stride);
                                }
                              }
                            }
                          }
                        }
                      }
                    }
                  }
                }
              }
            }
          }
        }
      }
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x6,-0x20(%rbp)
jge    13c4 <main+0x2b4>
movl   $0x2,-0x40(%rbp)
cmpl   $0x6,-0x40(%rbp)
jg     13b1 <main+0x2a1>
movl   $0x1,-0x60(%rbp)
cmpl   $0x6,-0x60(%rbp)
jge    139e <main+0x28e>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x7,-0x1c(%rbp)
jge    138b <main+0x27b>
movl   $0x2,-0x3c(%rbp)
cmpl   $0x7,-0x3c(%rbp)
jg     1378 <main+0x268>
movl   $0x1,-0x5c(%rbp)
cmpl   $0x7,-0x5c(%rbp)
jge    1365 <main+0x255>
movl   $0x0,-0x18(%rbp)
cmpl   $0x6,-0x18(%rbp)
jge    1352 <main+0x242>
movl   $0x2,-0x38(%rbp)
cmpl   $0x6,-0x38(%rbp)
jg     133f <main+0x22f>
movl   $0x1,-0x58(%rbp)
cmpl   $0x6,-0x58(%rbp)
jge    132c <main+0x21c>
movl   $0x0,-0x14(%rbp)
cmpl   $0x3,-0x14(%rbp)
jge    1319 <main+0x209>
movl   $0x2,-0x34(%rbp)
cmpl   $0x3,-0x34(%rbp)
jg     1306 <main+0x1f6>
movl   $0x1,-0x54(%rbp)
cmpl   $0x3,-0x54(%rbp)
jge    12f3 <main+0x1e3>
movl   $0x0,-0x10(%rbp)
cmpl   $0x6,-0x10(%rbp)
jge    12e0 <main+0x1d0>
movl   $0x2,-0x30(%rbp)
cmpl   $0x6,-0x30(%rbp)
jg     12cd <main+0x1bd>
movl   $0x1,-0x50(%rbp)
cmpl   $0x6,-0x50(%rbp)
jge    12ba <main+0x1aa>
mov    -0x20(%rbp),%eax
mov    -0x40(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x60(%rbp),%ecx
add    %ecx,%eax
cmp    $0x6,%eax
jge    12a7 <main+0x197>
mov    -0x1c(%rbp),%eax
mov    -0x3c(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x5c(%rbp),%ecx
add    %ecx,%eax
cmp    $0x7,%eax
jge    12a7 <main+0x197>
mov    -0x18(%rbp),%eax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x58(%rbp),%ecx
add    %ecx,%eax
cmp    $0x6,%eax
jge    12a7 <main+0x197>
mov    -0x14(%rbp),%eax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x54(%rbp),%ecx
add    %ecx,%eax
cmp    $0x3,%eax
jge    12a7 <main+0x197>
mov    -0x10(%rbp),%eax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x50(%rbp),%ecx
add    %ecx,%eax
cmp    $0x6,%eax
jge    12a7 <main+0x197>
lea    -0x20(%rbp),%rdi
lea    -0x40(%rbp),%rsi
lea    -0x60(%rbp),%rdx
call   1030 <test@plt>
jmp    12ac <main+0x19c>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1214 <main+0x104>
jmp    12bf <main+0x1af>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1203 <main+0xf3>
jmp    12d2 <main+0x1c2>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11f2 <main+0xe2>
jmp    12e5 <main+0x1d5>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    11e1 <main+0xd1>
jmp    12f8 <main+0x1e8>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11d0 <main+0xc0>
jmp    130b <main+0x1fb>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11bf <main+0xaf>
jmp    131e <main+0x20e>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    11ae <main+0x9e>
jmp    1331 <main+0x221>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    119d <main+0x8d>
jmp    1344 <main+0x234>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    118c <main+0x7c>
jmp    1357 <main+0x247>
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    117b <main+0x6b>
jmp    136a <main+0x25a>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    116a <main+0x5a>
jmp    137d <main+0x26d>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1159 <main+0x49>
jmp    1390 <main+0x280>
mov    -0x60(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x60(%rbp)
jmp    1148 <main+0x38>
jmp    13a3 <main+0x293>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1137 <main+0x27>
jmp    13b6 <main+0x2a6>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1126 <main+0x16>
xor    %eax,%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %rbx
sub    $0x60,%rsp
movl   $0x0,0x20(%rsp)
lea    0x20(%rsp),%r14
mov    %rsp,%r15
lea    0x40(%rsp),%rbx
movl   $0x2,(%rsp)
movl   $0x1,0x40(%rsp)
jmp    1154 <main+0x44>
nop
mov    0x40(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x40(%rsp)
cmp    $0x5,%eax
jge    1350 <main+0x240>
movl   $0x0,0x24(%rsp)
jmp    1170 <main+0x60>
xchg   %ax,%ax
mov    0x24(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x24(%rsp)
cmp    $0x6,%eax
jge    1140 <main+0x30>
movl   $0x2,0x4(%rsp)
jmp    1190 <main+0x80>
nopw   0x0(%rax,%rax,1)
mov    0x4(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x4(%rsp)
cmp    $0x7,%eax
jge    1160 <main+0x50>
movl   $0x1,0x44(%rsp)
jmp    11b0 <main+0xa0>
nopw   0x0(%rax,%rax,1)
mov    0x44(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x44(%rsp)
cmp    $0x6,%eax
jge    1180 <main+0x70>
movl   $0x0,0x28(%rsp)
jmp    11d0 <main+0xc0>
nopw   0x0(%rax,%rax,1)
mov    0x28(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x28(%rsp)
cmp    $0x5,%eax
jge    11a0 <main+0x90>
movl   $0x2,0x8(%rsp)
jmp    11f0 <main+0xe0>
nopw   0x0(%rax,%rax,1)
mov    0x8(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x8(%rsp)
cmp    $0x6,%eax
jge    11c0 <main+0xb0>
movl   $0x1,0x48(%rsp)
jmp    1210 <main+0x100>
nopw   0x0(%rax,%rax,1)
mov    0x48(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x48(%rsp)
cmp    $0x5,%eax
jge    11e0 <main+0xd0>
movl   $0x0,0x2c(%rsp)
jmp    1230 <main+0x120>
nopw   0x0(%rax,%rax,1)
mov    0x2c(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x2c(%rsp)
cmp    $0x2,%eax
jge    1200 <main+0xf0>
movl   $0x2,0xc(%rsp)
jmp    1250 <main+0x140>
nopw   0x0(%rax,%rax,1)
mov    0xc(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0xc(%rsp)
cmp    $0x3,%eax
jge    1220 <main+0x110>
movl   $0x1,0x4c(%rsp)
jmp    1270 <main+0x160>
nopw   0x0(%rax,%rax,1)
mov    0x4c(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x4c(%rsp)
cmp    $0x2,%eax
jge    1240 <main+0x130>
movl   $0x0,0x30(%rsp)
jmp    1290 <main+0x180>
nopw   0x0(%rax,%rax,1)
mov    0x30(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x30(%rsp)
cmp    $0x5,%eax
jge    1260 <main+0x150>
movl   $0x2,0x10(%rsp)
jmp    12b0 <main+0x1a0>
nopw   0x0(%rax,%rax,1)
mov    0x10(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x10(%rsp)
cmp    $0x6,%eax
jge    1280 <main+0x170>
movl   $0x1,0x50(%rsp)
mov    $0x1,%eax
jmp    12ce <main+0x1be>
nop
lea    0x1(%rax),%ecx
mov    %ecx,0x50(%rsp)
cmp    $0x5,%eax
mov    %ecx,%eax
jge    12a0 <main+0x190>
mov    (%rsp),%ecx
add    $0xffffffff,%ecx
imul   0x40(%rsp),%ecx
add    0x20(%rsp),%ecx
cmp    $0x5,%ecx
jg     12c0 <main+0x1b0>
mov    0x4(%rsp),%ecx
add    $0xffffffff,%ecx
imul   0x44(%rsp),%ecx
add    0x24(%rsp),%ecx
cmp    $0x6,%ecx
jg     12c0 <main+0x1b0>
mov    0x8(%rsp),%ecx
add    $0xffffffff,%ecx
imul   0x48(%rsp),%ecx
add    0x28(%rsp),%ecx
cmp    $0x5,%ecx
jg     12c0 <main+0x1b0>
mov    0xc(%rsp),%ecx
add    $0xffffffff,%ecx
imul   0x4c(%rsp),%ecx
add    0x2c(%rsp),%ecx
cmp    $0x2,%ecx
jg     12c0 <main+0x1b0>
mov    0x10(%rsp),%ecx
add    $0xffffffff,%ecx
imul   %eax,%ecx
add    0x30(%rsp),%ecx
cmp    $0x5,%ecx
jg     12c0 <main+0x1b0>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
call   1030 <test@plt>
mov    0x50(%rsp),%eax
jmp    12c0 <main+0x1b0>
nopl   0x0(%rax,%rax,1)
mov    (%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,(%rsp)
cmp    $0x6,%eax
jl     1135 <main+0x25>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    0x20(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x20(%rsp)
cmp    $0x5,%eax
jl     112e <main+0x1e>
xor    %eax,%eax
add    $0x60,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

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

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