#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[6], len[6], stride[6];
  for (start[0] = 0; start[0] < 4; start[0]++) {
    for (len[0] = 2; len[0] <= 4; len[0]++) {
      for (stride[0] = 1; stride[0] < 4; stride[0]++) {
        for (start[1] = 0; start[1] < 4; start[1]++) {
          for (len[1] = 2; len[1] <= 4; len[1]++) {
            for (stride[1] = 1; stride[1] < 4; stride[1]++) {
              for (start[2] = 0; start[2] < 4; start[2]++) {
                for (len[2] = 2; len[2] <= 4; len[2]++) {
                  for (stride[2] = 1; stride[2] < 4; stride[2]++) {
                    for (start[3] = 0; start[3] < 4; start[3]++) {
                      for (len[3] = 2; len[3] <= 4; len[3]++) {
                        for (stride[3] = 1; stride[3] < 4; 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]++) {
                                for (start[5] = 0; start[5] < 4; start[5]++) {
                                  for (len[5] = 2; len[5] <= 4; len[5]++) {
                                    for (stride[5] = 1; stride[5] < 4;
                                         stride[5]++) {
                                      if ((start[0] + (len[0] - 1) * stride[0] <
                                           4) &&
                                          (start[1] + (len[1] - 1) * stride[1] <
                                           4) &&
                                          (start[2] + (len[2] - 1) * stride[2] <
                                           4) &&
                                          (start[3] + (len[3] - 1) * stride[3] <
                                           4) &&
                                          (start[4] + (len[4] - 1) * stride[4] <
                                           6) &&
                                          (start[5] + (len[5] - 1) * stride[5] <
                                           4)) {
                                        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   $0x4,-0x20(%rbp)
jge    1448 <main+0x338>
movl   $0x2,-0x40(%rbp)
cmpl   $0x4,-0x40(%rbp)
jg     1435 <main+0x325>
movl   $0x1,-0x60(%rbp)
cmpl   $0x4,-0x60(%rbp)
jge    1422 <main+0x312>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x4,-0x1c(%rbp)
jge    140f <main+0x2ff>
movl   $0x2,-0x3c(%rbp)
cmpl   $0x4,-0x3c(%rbp)
jg     13fc <main+0x2ec>
movl   $0x1,-0x5c(%rbp)
cmpl   $0x4,-0x5c(%rbp)
jge    13e9 <main+0x2d9>
movl   $0x0,-0x18(%rbp)
cmpl   $0x4,-0x18(%rbp)
jge    13d6 <main+0x2c6>
movl   $0x2,-0x38(%rbp)
cmpl   $0x4,-0x38(%rbp)
jg     13c3 <main+0x2b3>
movl   $0x1,-0x58(%rbp)
cmpl   $0x4,-0x58(%rbp)
jge    13b0 <main+0x2a0>
movl   $0x0,-0x14(%rbp)
cmpl   $0x4,-0x14(%rbp)
jge    139d <main+0x28d>
movl   $0x2,-0x34(%rbp)
cmpl   $0x4,-0x34(%rbp)
jg     138a <main+0x27a>
movl   $0x1,-0x54(%rbp)
cmpl   $0x4,-0x54(%rbp)
jge    1377 <main+0x267>
movl   $0x0,-0x10(%rbp)
cmpl   $0x6,-0x10(%rbp)
jge    1364 <main+0x254>
movl   $0x2,-0x30(%rbp)
cmpl   $0x6,-0x30(%rbp)
jg     1351 <main+0x241>
movl   $0x1,-0x50(%rbp)
cmpl   $0x6,-0x50(%rbp)
jge    133e <main+0x22e>
movl   $0x0,-0xc(%rbp)
cmpl   $0x4,-0xc(%rbp)
jge    132b <main+0x21b>
movl   $0x2,-0x2c(%rbp)
cmpl   $0x4,-0x2c(%rbp)
jg     1318 <main+0x208>
movl   $0x1,-0x4c(%rbp)
cmpl   $0x4,-0x4c(%rbp)
jge    1305 <main+0x1f5>
mov    -0x20(%rbp),%eax
mov    -0x40(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x60(%rbp),%ecx
add    %ecx,%eax
cmp    $0x4,%eax
jge    12f2 <main+0x1e2>
mov    -0x1c(%rbp),%eax
mov    -0x3c(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x5c(%rbp),%ecx
add    %ecx,%eax
cmp    $0x4,%eax
jge    12f2 <main+0x1e2>
mov    -0x18(%rbp),%eax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x58(%rbp),%ecx
add    %ecx,%eax
cmp    $0x4,%eax
jge    12f2 <main+0x1e2>
mov    -0x14(%rbp),%eax
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x54(%rbp),%ecx
add    %ecx,%eax
cmp    $0x4,%eax
jge    12f2 <main+0x1e2>
mov    -0x10(%rbp),%eax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x50(%rbp),%ecx
add    %ecx,%eax
cmp    $0x6,%eax
jge    12f2 <main+0x1e2>
mov    -0xc(%rbp),%eax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x4c(%rbp),%ecx
add    %ecx,%eax
cmp    $0x4,%eax
jge    12f2 <main+0x1e2>
lea    -0x20(%rbp),%rdi
lea    -0x40(%rbp),%rsi
lea    -0x60(%rbp),%rdx
call   1030 <test@plt>
jmp    12f7 <main+0x1e7>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1247 <main+0x137>
jmp    130a <main+0x1fa>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1236 <main+0x126>
jmp    131d <main+0x20d>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1225 <main+0x115>
jmp    1330 <main+0x220>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1214 <main+0x104>
jmp    1343 <main+0x233>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1203 <main+0xf3>
jmp    1356 <main+0x246>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11f2 <main+0xe2>
jmp    1369 <main+0x259>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    11e1 <main+0xd1>
jmp    137c <main+0x26c>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11d0 <main+0xc0>
jmp    138f <main+0x27f>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11bf <main+0xaf>
jmp    13a2 <main+0x292>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    11ae <main+0x9e>
jmp    13b5 <main+0x2a5>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    119d <main+0x8d>
jmp    13c8 <main+0x2b8>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    118c <main+0x7c>
jmp    13db <main+0x2cb>
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    117b <main+0x6b>
jmp    13ee <main+0x2de>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    116a <main+0x5a>
jmp    1401 <main+0x2f1>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1159 <main+0x49>
jmp    1414 <main+0x304>
mov    -0x60(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x60(%rbp)
jmp    1148 <main+0x38>
jmp    1427 <main+0x317>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1137 <main+0x27>
jmp    143a <main+0x32a>
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)
movl   $0x0,0x24(%rsp)
movl   $0x2,0x4(%rsp)
movl   $0x1,0x44(%rsp)
jmp    1174 <main+0x64>
nopw   0x0(%rax,%rax,1)
mov    0x44(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x44(%rsp)
cmp    $0x3,%eax
jge    1390 <main+0x280>
movl   $0x0,0x28(%rsp)
jmp    1190 <main+0x80>
xchg   %ax,%ax
mov    0x28(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x28(%rsp)
cmp    $0x3,%eax
jge    1160 <main+0x50>
movl   $0x2,0x8(%rsp)
jmp    11b0 <main+0xa0>
nopw   0x0(%rax,%rax,1)
mov    0x8(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x8(%rsp)
cmp    $0x4,%eax
jge    1180 <main+0x70>
movl   $0x1,0x48(%rsp)
jmp    11d0 <main+0xc0>
nopw   0x0(%rax,%rax,1)
mov    0x48(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x48(%rsp)
cmp    $0x3,%eax
jge    11a0 <main+0x90>
movl   $0x0,0x2c(%rsp)
jmp    11f0 <main+0xe0>
nopw   0x0(%rax,%rax,1)
mov    0x2c(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x2c(%rsp)
cmp    $0x3,%eax
jge    11c0 <main+0xb0>
movl   $0x2,0xc(%rsp)
jmp    1210 <main+0x100>
nopw   0x0(%rax,%rax,1)
mov    0xc(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0xc(%rsp)
cmp    $0x4,%eax
jge    11e0 <main+0xd0>
movl   $0x1,0x4c(%rsp)
jmp    1230 <main+0x120>
nopw   0x0(%rax,%rax,1)
mov    0x4c(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x4c(%rsp)
cmp    $0x3,%eax
jge    1200 <main+0xf0>
movl   $0x0,0x30(%rsp)
jmp    1250 <main+0x140>
nopw   0x0(%rax,%rax,1)
mov    0x30(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x30(%rsp)
cmp    $0x5,%eax
jge    1220 <main+0x110>
movl   $0x2,0x10(%rsp)
jmp    1270 <main+0x160>
nopw   0x0(%rax,%rax,1)
mov    0x10(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x10(%rsp)
cmp    $0x6,%eax
jge    1240 <main+0x130>
movl   $0x1,0x50(%rsp)
jmp    1290 <main+0x180>
nopw   0x0(%rax,%rax,1)
mov    0x50(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x50(%rsp)
cmp    $0x5,%eax
jge    1260 <main+0x150>
movl   $0x0,0x34(%rsp)
jmp    12b0 <main+0x1a0>
nopw   0x0(%rax,%rax,1)
mov    0x34(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x34(%rsp)
cmp    $0x3,%eax
jge    1280 <main+0x170>
movl   $0x2,0x14(%rsp)
jmp    12d0 <main+0x1c0>
nopw   0x0(%rax,%rax,1)
mov    0x14(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x14(%rsp)
cmp    $0x4,%eax
jge    12a0 <main+0x190>
movl   $0x1,0x54(%rsp)
mov    $0x1,%eax
jmp    12ee <main+0x1de>
nop
lea    0x1(%rax),%ecx
mov    %ecx,0x54(%rsp)
cmp    $0x3,%eax
mov    %ecx,%eax
jge    12c0 <main+0x1b0>
mov    (%rsp),%ecx
add    $0xffffffff,%ecx
imul   0x40(%rsp),%ecx
add    0x20(%rsp),%ecx
cmp    $0x3,%ecx
jg     12e0 <main+0x1d0>
mov    0x4(%rsp),%ecx
add    $0xffffffff,%ecx
imul   0x44(%rsp),%ecx
add    0x24(%rsp),%ecx
cmp    $0x3,%ecx
jg     12e0 <main+0x1d0>
mov    0x8(%rsp),%ecx
add    $0xffffffff,%ecx
imul   0x48(%rsp),%ecx
add    0x28(%rsp),%ecx
cmp    $0x3,%ecx
jg     12e0 <main+0x1d0>
mov    0xc(%rsp),%ecx
add    $0xffffffff,%ecx
imul   0x4c(%rsp),%ecx
add    0x2c(%rsp),%ecx
cmp    $0x3,%ecx
jg     12e0 <main+0x1d0>
mov    0x10(%rsp),%ecx
add    $0xffffffff,%ecx
imul   0x50(%rsp),%ecx
add    0x30(%rsp),%ecx
cmp    $0x5,%ecx
jg     12e0 <main+0x1d0>
mov    0x14(%rsp),%ecx
add    $0xffffffff,%ecx
imul   %eax,%ecx
add    0x34(%rsp),%ecx
cmp    $0x3,%ecx
jg     12e0 <main+0x1d0>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
call   1030 <test@plt>
mov    0x54(%rsp),%eax
jmp    12e0 <main+0x1d0>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x4(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x4(%rsp)
cmp    $0x4,%eax
jl     114d <main+0x3d>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x24(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x24(%rsp)
cmp    $0x3,%eax
jl     1145 <main+0x35>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x40(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x40(%rsp)
cmp    $0x3,%eax
jl     113d <main+0x2d>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,(%rsp)
cmp    $0x4,%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    $0x3,%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 [6 x i32]
%3 = alloca [6 x i32]
%4 = alloca [6 x i32]
store i32 0, i32* %1
%5 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 0
store i32 0, i32* %5
br label %6
6: ; preds = %269, %0
%7 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 0
%8 = load i32, i32* %7
%9 = icmp slt i32 %8, 4
br i1 %9, label %10, label %273
10: ; preds = %6
%11 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 0
store i32 2, i32* %11
br label %12
12: ; preds = %264, %10
%13 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 0
%14 = load i32, i32* %13
%15 = icmp sle i32 %14, 4
br i1 %15, label %16, label %268
16: ; preds = %12
%17 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 0
store i32 1, i32* %17
br label %18
18: ; preds = %259, %16
%19 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 0
%20 = load i32, i32* %19
%21 = icmp slt i32 %20, 4
br i1 %21, label %22, label %263
22: ; preds = %18
%23 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 1
store i32 0, i32* %23
br label %24
24: ; preds = %254, %22
%25 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 1
%26 = load i32, i32* %25
%27 = icmp slt i32 %26, 4
br i1 %27, label %28, label %258
28: ; preds = %24
%29 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 1
store i32 2, i32* %29
br label %30
30: ; preds = %249, %28
%31 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 1
%32 = load i32, i32* %31
%33 = icmp sle i32 %32, 4
br i1 %33, label %34, label %253
34: ; preds = %30
%35 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 1
store i32 1, i32* %35
br label %36
36: ; preds = %244, %34
%37 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 1
%38 = load i32, i32* %37
%39 = icmp slt i32 %38, 4
br i1 %39, label %40, label %248
40: ; preds = %36
%41 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 2
store i32 0, i32* %41
br label %42
42: ; preds = %239, %40
%43 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 2
%44 = load i32, i32* %43
%45 = icmp slt i32 %44, 4
br i1 %45, label %46, label %243
46: ; preds = %42
%47 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 2
store i32 2, i32* %47
br label %48
48: ; preds = %234, %46
%49 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 2
%50 = load i32, i32* %49
%51 = icmp sle i32 %50, 4
br i1 %51, label %52, label %238
52: ; preds = %48
%53 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 2
store i32 1, i32* %53
br label %54
54: ; preds = %229, %52
%55 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 2
%56 = load i32, i32* %55
%57 = icmp slt i32 %56, 4
br i1 %57, label %58, label %233
58: ; preds = %54
%59 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 3
store i32 0, i32* %59
br label %60
60: ; preds = %224, %58
%61 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 3
%62 = load i32, i32* %61
%63 = icmp slt i32 %62, 4
br i1 %63, label %64, label %228
64: ; preds = %60
%65 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 3
store i32 2, i32* %65
br label %66
66: ; preds = %219, %64
%67 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 3
%68 = load i32, i32* %67
%69 = icmp sle i32 %68, 4
br i1 %69, label %70, label %223
70: ; preds = %66
%71 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 3
store i32 1, i32* %71
br label %72
72: ; preds = %214, %70
%73 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 3
%74 = load i32, i32* %73
%75 = icmp slt i32 %74, 4
br i1 %75, label %76, label %218
76: ; preds = %72
%77 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 4
store i32 0, i32* %77
br label %78
78: ; preds = %209, %76
%79 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 4
%80 = load i32, i32* %79
%81 = icmp slt i32 %80, 6
br i1 %81, label %82, label %213
82: ; preds = %78
%83 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 4
store i32 2, i32* %83
br label %84
84: ; preds = %204, %82
%85 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 4
%86 = load i32, i32* %85
%87 = icmp sle i32 %86, 6
br i1 %87, label %88, label %208
88: ; preds = %84
%89 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 4
store i32 1, i32* %89
br label %90
90: ; preds = %199, %88
%91 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 4
%92 = load i32, i32* %91
%93 = icmp slt i32 %92, 6
br i1 %93, label %94, label %203
94: ; preds = %90
%95 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 5
store i32 0, i32* %95
br label %96
96: ; preds = %194, %94
%97 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 5
%98 = load i32, i32* %97
%99 = icmp slt i32 %98, 4
br i1 %99, label %100, label %198
100: ; preds = %96
%101 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 5
store i32 2, i32* %101
br label %102
102: ; preds = %189, %100
%103 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 5
%104 = load i32, i32* %103
%105 = icmp sle i32 %104, 4
br i1 %105, label %106, label %193
106: ; preds = %102
%107 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 5
store i32 1, i32* %107
br label %108
108: ; preds = %184, %106
%109 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 5
%110 = load i32, i32* %109
%111 = icmp slt i32 %110, 4
br i1 %111, label %112, label %188
112: ; preds = %108
%113 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 0
%114 = load i32, i32* %113
%115 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 0
%116 = load i32, i32* %115
%117 = sub nsw i32 %116, 1
%118 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 0
%119 = load i32, i32* %118
%120 = mul nsw i32 %117, %119
%121 = add nsw i32 %114, %120
%122 = icmp slt i32 %121, 4
br i1 %122, label %123, label %183
123: ; preds = %112
%124 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 1
%125 = load i32, i32* %124
%126 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 1
%127 = load i32, i32* %126
%128 = sub nsw i32 %127, 1
%129 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 1
%130 = load i32, i32* %129
%131 = mul nsw i32 %128, %130
%132 = add nsw i32 %125, %131
%133 = icmp slt i32 %132, 4
br i1 %133, label %134, label %183
134: ; preds = %123
%135 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 2
%136 = load i32, i32* %135
%137 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 2
%138 = load i32, i32* %137
%139 = sub nsw i32 %138, 1
%140 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 2
%141 = load i32, i32* %140
%142 = mul nsw i32 %139, %141
%143 = add nsw i32 %136, %142
%144 = icmp slt i32 %143, 4
br i1 %144, label %145, label %183
145: ; preds = %134
%146 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 3
%147 = load i32, i32* %146
%148 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 3
%149 = load i32, i32* %148
%150 = sub nsw i32 %149, 1
%151 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 3
%152 = load i32, i32* %151
%153 = mul nsw i32 %150, %152
%154 = add nsw i32 %147, %153
%155 = icmp slt i32 %154, 4
br i1 %155, label %156, label %183
156: ; preds = %145
%157 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 4
%158 = load i32, i32* %157
%159 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 4
%160 = load i32, i32* %159
%161 = sub nsw i32 %160, 1
%162 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 4
%163 = load i32, i32* %162
%164 = mul nsw i32 %161, %163
%165 = add nsw i32 %158, %164
%166 = icmp slt i32 %165, 6
br i1 %166, label %167, label %183
167: ; preds = %156
%168 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 5
%169 = load i32, i32* %168
%170 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 5
%171 = load i32, i32* %170
%172 = sub nsw i32 %171, 1
%173 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 5
%174 = load i32, i32* %173
%175 = mul nsw i32 %172, %174
%176 = add nsw i32 %169, %175
%177 = icmp slt i32 %176, 4
br i1 %177, label %178, label %183
178: ; preds = %167
%179 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 0
%180 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 0
%181 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 0
%182 = call i32 @test(i32* %179, i32* %180, i32* %181)
br label %183
183: ; preds = %178, %167, %156, %145, %134, %123, %112
br label %184
184: ; preds = %183
%185 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 5
%186 = load i32, i32* %185
%187 = add nsw i32 %186, 1
store i32 %187, i32* %185
br label %108
188: ; preds = %108
br label %189
189: ; preds = %188
%190 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 5
%191 = load i32, i32* %190
%192 = add nsw i32 %191, 1
store i32 %192, i32* %190
br label %102
193: ; preds = %102
br label %194
194: ; preds = %193
%195 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 5
%196 = load i32, i32* %195
%197 = add nsw i32 %196, 1
store i32 %197, i32* %195
br label %96
198: ; preds = %96
br label %199
199: ; preds = %198
%200 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 4
%201 = load i32, i32* %200
%202 = add nsw i32 %201, 1
store i32 %202, i32* %200
br label %90
203: ; preds = %90
br label %204
204: ; preds = %203
%205 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 4
%206 = load i32, i32* %205
%207 = add nsw i32 %206, 1
store i32 %207, i32* %205
br label %84
208: ; preds = %84
br label %209
209: ; preds = %208
%210 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 4
%211 = load i32, i32* %210
%212 = add nsw i32 %211, 1
store i32 %212, i32* %210
br label %78
213: ; preds = %78
br label %214
214: ; preds = %213
%215 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 3
%216 = load i32, i32* %215
%217 = add nsw i32 %216, 1
store i32 %217, i32* %215
br label %72
218: ; preds = %72
br label %219
219: ; preds = %218
%220 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 3
%221 = load i32, i32* %220
%222 = add nsw i32 %221, 1
store i32 %222, i32* %220
br label %66
223: ; preds = %66
br label %224
224: ; preds = %223
%225 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 3
%226 = load i32, i32* %225
%227 = add nsw i32 %226, 1
store i32 %227, i32* %225
br label %60
228: ; preds = %60
br label %229
229: ; preds = %228
%230 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 2
%231 = load i32, i32* %230
%232 = add nsw i32 %231, 1
store i32 %232, i32* %230
br label %54
233: ; preds = %54
br label %234
234: ; preds = %233
%235 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 2
%236 = load i32, i32* %235
%237 = add nsw i32 %236, 1
store i32 %237, i32* %235
br label %48
238: ; preds = %48
br label %239
239: ; preds = %238
%240 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 2
%241 = load i32, i32* %240
%242 = add nsw i32 %241, 1
store i32 %242, i32* %240
br label %42
243: ; preds = %42
br label %244
244: ; preds = %243
%245 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 1
%246 = load i32, i32* %245
%247 = add nsw i32 %246, 1
store i32 %247, i32* %245
br label %36
248: ; preds = %36
br label %249
249: ; preds = %248
%250 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 1
%251 = load i32, i32* %250
%252 = add nsw i32 %251, 1
store i32 %252, i32* %250
br label %30
253: ; preds = %30
br label %254
254: ; preds = %253
%255 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 1
%256 = load i32, i32* %255
%257 = add nsw i32 %256, 1
store i32 %257, i32* %255
br label %24
258: ; preds = %24
br label %259
259: ; preds = %258
%260 = getelementptr inbounds [6 x i32], [6 x i32]* %4, i64 0, i64 0
%261 = load i32, i32* %260
%262 = add nsw i32 %261, 1
store i32 %262, i32* %260
br label %18
263: ; preds = %18
br label %264
264: ; preds = %263
%265 = getelementptr inbounds [6 x i32], [6 x i32]* %3, i64 0, i64 0
%266 = load i32, i32* %265
%267 = add nsw i32 %266, 1
store i32 %267, i32* %265
br label %12
268: ; preds = %12
br label %269
269: ; preds = %268
%270 = getelementptr inbounds [6 x i32], [6 x i32]* %2, i64 0, i64 0
%271 = load i32, i32* %270
%272 = add nsw i32 %271, 1
store i32 %272, i32* %270
br label %6
273: ; preds = %6
ret i32 0
}

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