#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[2], len[2], stride[2];
  for (start[0] = 0; start[0] < 10; start[0]++) {
    for (len[0] = 2; len[0] <= 10; len[0]++) {
      for (stride[0] = 1; stride[0] < 10; stride[0]++) {
        for (start[1] = 0; start[1] < 10; start[1]++) {
          for (len[1] = 2; len[1] <= 10; len[1]++) {
            for (stride[1] = 1; stride[1] < 10; stride[1]++) {
              if ((start[0] + (len[0] - 1) * stride[0] < 10) &&
                  (start[1] + (len[1] - 1) * stride[1] < 10)) {
                test(start, len, stride);
              }
            }
          }
        }
      }
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0xa,-0xc(%rbp)
jge    1238 <main+0x128>
movl   $0x2,-0x14(%rbp)
cmpl   $0xa,-0x14(%rbp)
jg     1225 <main+0x115>
movl   $0x1,-0x1c(%rbp)
cmpl   $0xa,-0x1c(%rbp)
jge    1212 <main+0x102>
movl   $0x0,-0x8(%rbp)
cmpl   $0xa,-0x8(%rbp)
jge    11ff <main+0xef>
movl   $0x2,-0x10(%rbp)
cmpl   $0xa,-0x10(%rbp)
jg     11ec <main+0xdc>
movl   $0x1,-0x18(%rbp)
cmpl   $0xa,-0x18(%rbp)
jge    11d9 <main+0xc9>
mov    -0xc(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x1c(%rbp),%ecx
add    %ecx,%eax
cmp    $0xa,%eax
jge    11c6 <main+0xb6>
mov    -0x8(%rbp),%eax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x18(%rbp),%ecx
add    %ecx,%eax
cmp    $0xa,%eax
jge    11c6 <main+0xb6>
lea    -0xc(%rbp),%rdi
lea    -0x14(%rbp),%rsi
lea    -0x1c(%rbp),%rdx
call   1030 <test@plt>
jmp    11cb <main+0xbb>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    117b <main+0x6b>
jmp    11de <main+0xce>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    116a <main+0x5a>
jmp    11f1 <main+0xe1>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1159 <main+0x49>
jmp    1204 <main+0xf4>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1148 <main+0x38>
jmp    1217 <main+0x107>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1137 <main+0x27>
jmp    122a <main+0x11a>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1126 <main+0x16>
xor    %eax,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %rbx
sub    $0x20,%rsp
movl   $0x0,0x10(%rsp)
lea    0x10(%rsp),%r14
lea    0x8(%rsp),%r15
lea    0x18(%rsp),%rbx
jmp    1154 <main+0x44>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    0x10(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x10(%rsp)
cmp    $0x9,%eax
jge    122a <main+0x11a>
movl   $0x2,0x8(%rsp)
jmp    1170 <main+0x60>
xchg   %ax,%ax
mov    0x8(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x8(%rsp)
cmp    $0xa,%eax
jge    1140 <main+0x30>
movl   $0x1,0x18(%rsp)
jmp    1190 <main+0x80>
nopw   0x0(%rax,%rax,1)
mov    0x18(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x18(%rsp)
cmp    $0x9,%eax
jge    1160 <main+0x50>
movl   $0x0,0x14(%rsp)
jmp    11b0 <main+0xa0>
nopw   0x0(%rax,%rax,1)
mov    0x14(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0x14(%rsp)
cmp    $0x9,%eax
jge    1180 <main+0x70>
movl   $0x2,0xc(%rsp)
jmp    11d0 <main+0xc0>
nopw   0x0(%rax,%rax,1)
mov    0xc(%rsp),%eax
lea    0x1(%rax),%ecx
mov    %ecx,0xc(%rsp)
cmp    $0xa,%eax
jge    11a0 <main+0x90>
movl   $0x1,0x1c(%rsp)
mov    $0x1,%eax
jmp    11ee <main+0xde>
nop
lea    0x1(%rax),%ecx
mov    %ecx,0x1c(%rsp)
cmp    $0x9,%eax
mov    %ecx,%eax
jge    11c0 <main+0xb0>
mov    0x8(%rsp),%ecx
add    $0xffffffff,%ecx
imul   0x18(%rsp),%ecx
add    0x10(%rsp),%ecx
cmp    $0x9,%ecx
jg     11e0 <main+0xd0>
mov    0xc(%rsp),%ecx
add    $0xffffffff,%ecx
imul   %eax,%ecx
add    0x14(%rsp),%ecx
cmp    $0x9,%ecx
jg     11e0 <main+0xd0>
mov    %r14,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
call   1030 <test@plt>
mov    0x1c(%rsp),%eax
jmp    11e0 <main+0xd0>
xor    %eax,%eax
add    $0x20,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca [2 x i32]
%3 = alloca [2 x i32]
%4 = alloca [2 x i32]
store i32 0, i32* %1
%5 = getelementptr inbounds [2 x i32], [2 x i32]* %2, i64 0, i64 0
store i32 0, i32* %5
br label %6
6: ; preds = %93, %0
%7 = getelementptr inbounds [2 x i32], [2 x i32]* %2, i64 0, i64 0
%8 = load i32, i32* %7
%9 = icmp slt i32 %8, 10
br i1 %9, label %10, label %97
10: ; preds = %6
%11 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 0
store i32 2, i32* %11
br label %12
12: ; preds = %88, %10
%13 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 0
%14 = load i32, i32* %13
%15 = icmp sle i32 %14, 10
br i1 %15, label %16, label %92
16: ; preds = %12
%17 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 0
store i32 1, i32* %17
br label %18
18: ; preds = %83, %16
%19 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 0
%20 = load i32, i32* %19
%21 = icmp slt i32 %20, 10
br i1 %21, label %22, label %87
22: ; preds = %18
%23 = getelementptr inbounds [2 x i32], [2 x i32]* %2, i64 0, i64 1
store i32 0, i32* %23
br label %24
24: ; preds = %78, %22
%25 = getelementptr inbounds [2 x i32], [2 x i32]* %2, i64 0, i64 1
%26 = load i32, i32* %25
%27 = icmp slt i32 %26, 10
br i1 %27, label %28, label %82
28: ; preds = %24
%29 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 1
store i32 2, i32* %29
br label %30
30: ; preds = %73, %28
%31 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 1
%32 = load i32, i32* %31
%33 = icmp sle i32 %32, 10
br i1 %33, label %34, label %77
34: ; preds = %30
%35 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 1
store i32 1, i32* %35
br label %36
36: ; preds = %68, %34
%37 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 1
%38 = load i32, i32* %37
%39 = icmp slt i32 %38, 10
br i1 %39, label %40, label %72
40: ; preds = %36
%41 = getelementptr inbounds [2 x i32], [2 x i32]* %2, i64 0, i64 0
%42 = load i32, i32* %41
%43 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 0
%44 = load i32, i32* %43
%45 = sub nsw i32 %44, 1
%46 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 0
%47 = load i32, i32* %46
%48 = mul nsw i32 %45, %47
%49 = add nsw i32 %42, %48
%50 = icmp slt i32 %49, 10
br i1 %50, label %51, label %67
51: ; preds = %40
%52 = getelementptr inbounds [2 x i32], [2 x i32]* %2, i64 0, i64 1
%53 = load i32, i32* %52
%54 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 1
%55 = load i32, i32* %54
%56 = sub nsw i32 %55, 1
%57 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 1
%58 = load i32, i32* %57
%59 = mul nsw i32 %56, %58
%60 = add nsw i32 %53, %59
%61 = icmp slt i32 %60, 10
br i1 %61, label %62, label %67
62: ; preds = %51
%63 = getelementptr inbounds [2 x i32], [2 x i32]* %2, i64 0, i64 0
%64 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 0
%65 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 0
%66 = call i32 @test(i32* %63, i32* %64, i32* %65)
br label %67
67: ; preds = %62, %51, %40
br label %68
68: ; preds = %67
%69 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 1
%70 = load i32, i32* %69
%71 = add nsw i32 %70, 1
store i32 %71, i32* %69
br label %36
72: ; preds = %36
br label %73
73: ; preds = %72
%74 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 1
%75 = load i32, i32* %74
%76 = add nsw i32 %75, 1
store i32 %76, i32* %74
br label %30
77: ; preds = %30
br label %78
78: ; preds = %77
%79 = getelementptr inbounds [2 x i32], [2 x i32]* %2, i64 0, i64 1
%80 = load i32, i32* %79
%81 = add nsw i32 %80, 1
store i32 %81, i32* %79
br label %24
82: ; preds = %24
br label %83
83: ; preds = %82
%84 = getelementptr inbounds [2 x i32], [2 x i32]* %4, i64 0, i64 0
%85 = load i32, i32* %84
%86 = add nsw i32 %85, 1
store i32 %86, i32* %84
br label %18
87: ; preds = %18
br label %88
88: ; preds = %87
%89 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 0
%90 = load i32, i32* %89
%91 = add nsw i32 %90, 1
store i32 %91, i32* %89
br label %12
92: ; preds = %12
br label %93
93: ; preds = %92
%94 = getelementptr inbounds [2 x i32], [2 x i32]* %2, i64 0, i64 0
%95 = load i32, i32* %94
%96 = add nsw i32 %95, 1
store i32 %96, i32* %94
br label %6
97: ; preds = %6
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = alloca [2 x i32]
%2 = alloca [2 x i32]
%3 = alloca [2 x i32]
%4 = bitcast [2 x i32]* %1 to i8*
%5 = bitcast [2 x i32]* %2 to i8*
%6 = bitcast [2 x i32]* %3 to i8*
%7 = getelementptr inbounds [2 x i32], [2 x i32]* %1, i64 0, i64 0
%8 = getelementptr inbounds [2 x i32], [2 x i32]* %2, i64 0, i64 0
%9 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 0
%10 = getelementptr inbounds [2 x i32], [2 x i32]* %1, i64 0, i64 1
%11 = getelementptr inbounds [2 x i32], [2 x i32]* %2, i64 0, i64 1
%12 = getelementptr inbounds [2 x i32], [2 x i32]* %3, i64 0, i64 1
store i32 0, i32* %7
br label %13
13: ; preds = %0, %57
store i32 2, i32* %8
br label %14
14: ; preds = %13, %53
store i32 1, i32* %9
br label %15
15: ; preds = %14, %49
store i32 0, i32* %10
br label %16
16: ; preds = %15, %45
store i32 2, i32* %11
br label %17
17: ; preds = %16, %41
store i32 1, i32* %12
br label %18
18: ; preds = %17, %37
%19 = phi i32 [ 1, %17 ], [ %39, %37 ]
%20 = load i32, i32* %7
%21 = load i32, i32* %8
%22 = add nsw i32 %21, -1
%23 = load i32, i32* %9
%24 = mul nsw i32 %22, %23
%25 = add nsw i32 %24, %20
%26 = icmp slt i32 %25, 10
br i1 %26, label %27, label %37
27: ; preds = %18
%28 = load i32, i32* %10
%29 = load i32, i32* %11
%30 = add nsw i32 %29, -1
%31 = mul nsw i32 %30, %19
%32 = add nsw i32 %31, %28
%33 = icmp slt i32 %32, 10
br i1 %33, label %34, label %37
34: ; preds = %27
%35 = call i32 @test(i32* %7, i32* %8, i32* %9)
%36 = load i32, i32* %12
br label %37
37: ; preds = %18, %27, %34
%38 = phi i32 [ %19, %18 ], [ %19, %27 ], [ %36, %34 ]
%39 = add nsw i32 %38, 1
store i32 %39, i32* %12
%40 = icmp slt i32 %38, 9
br i1 %40, label %18, label %41
41: ; preds = %37
%42 = load i32, i32* %11
%43 = add nsw i32 %42, 1
store i32 %43, i32* %11
%44 = icmp slt i32 %42, 10
br i1 %44, label %17, label %45
45: ; preds = %41
%46 = load i32, i32* %10
%47 = add nsw i32 %46, 1
store i32 %47, i32* %10
%48 = icmp slt i32 %46, 9
br i1 %48, label %16, label %49
49: ; preds = %45
%50 = load i32, i32* %9
%51 = add nsw i32 %50, 1
store i32 %51, i32* %9
%52 = icmp slt i32 %50, 9
br i1 %52, label %15, label %53
53: ; preds = %49
%54 = load i32, i32* %8
%55 = add nsw i32 %54, 1
store i32 %55, i32* %8
%56 = icmp slt i32 %54, 10
br i1 %56, label %14, label %57
57: ; preds = %53
%58 = load i32, i32* %7
%59 = add nsw i32 %58, 1
store i32 %59, i32* %7
%60 = icmp slt i32 %58, 9
br i1 %60, label %13, label %61
61: ; preds = %57
ret i32 0
}