#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*/ memset(int **, int /*<<< orphan*/, int);
int main(int argc, char *argv[]) {
  int i, j, k, ii, jj, kk;
  int A[1000][1000], B[1000][1000], C[1000][1000];
  memset(C, 0, sizeof C);
  for (ii = 0; ii < 1000; ii += 200)
    for (jj = 0; jj < 1000; jj += 200)
      for (kk = 0; kk < 1000; kk += 200)
        for (i = ii; i < (((1000) < (ii + 200)) ? (1000) : (ii + 200)); ++i)
          for (j = jj; j < (((1000) < (jj + 200)) ? (1000) : (jj + 200)); ++j)
            for (k = kk; k < (((1000) < (kk + 200)) ? (1000) : (kk + 200)); ++k)
              C[i][j] += A[i][k] * B[k][j];
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb71b50,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
lea    -0xb71b30(%rbp),%rdi
xor    %esi,%esi
mov    $0x3d0900,%edx
call   1030 <memset@plt>
movl   $0x0,-0x20(%rbp)
cmpl   $0x3e8,-0x20(%rbp)
jge    1348 <main+0x238>
movl   $0x0,-0x24(%rbp)
cmpl   $0x3e8,-0x24(%rbp)
jge    1333 <main+0x223>
movl   $0x0,-0x28(%rbp)
cmpl   $0x3e8,-0x28(%rbp)
jge    131e <main+0x20e>
mov    -0x20(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0xb71b34(%rbp)
mov    -0x20(%rbp),%ecx
add    $0xc8,%ecx
mov    $0x3e8,%eax
cmp    %ecx,%eax
jge    11ad <main+0x9d>
mov    $0x3e8,%eax
mov    %eax,-0xb71b38(%rbp)
jmp    11bb <main+0xab>
mov    -0x20(%rbp),%eax
add    $0xc8,%eax
mov    %eax,-0xb71b38(%rbp)
mov    -0xb71b34(%rbp),%eax
mov    -0xb71b38(%rbp),%ecx
cmp    %ecx,%eax
jge    1309 <main+0x1f9>
mov    -0x24(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0xb71b3c(%rbp)
mov    -0x24(%rbp),%ecx
add    $0xc8,%ecx
mov    $0x3e8,%eax
cmp    %ecx,%eax
jge    1204 <main+0xf4>
mov    $0x3e8,%eax
mov    %eax,-0xb71b40(%rbp)
jmp    1212 <main+0x102>
mov    -0x24(%rbp),%eax
add    $0xc8,%eax
mov    %eax,-0xb71b40(%rbp)
mov    -0xb71b3c(%rbp),%eax
mov    -0xb71b40(%rbp),%ecx
cmp    %ecx,%eax
jge    12f6 <main+0x1e6>
mov    -0x28(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0xb71b44(%rbp)
mov    -0x28(%rbp),%ecx
add    $0xc8,%ecx
mov    $0x3e8,%eax
cmp    %ecx,%eax
jge    125b <main+0x14b>
mov    $0x3e8,%eax
mov    %eax,-0xb71b48(%rbp)
jmp    1269 <main+0x159>
mov    -0x28(%rbp),%eax
add    $0xc8,%eax
mov    %eax,-0xb71b48(%rbp)
mov    -0xb71b44(%rbp),%eax
mov    -0xb71b48(%rbp),%ecx
cmp    %ecx,%eax
jge    12e3 <main+0x1d3>
movslq -0x14(%rbp),%rcx
lea    -0x3d0930(%rbp),%rax
imul   $0xfa0,%rcx,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
movslq -0x1c(%rbp),%rcx
lea    -0x7a1230(%rbp),%rax
imul   $0xfa0,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
imul   (%rax,%rcx,4),%edx
movslq -0x14(%rbp),%rcx
lea    -0xb71b30(%rbp),%rax
imul   $0xfa0,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    122c <main+0x11c>
jmp    12e8 <main+0x1d8>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11d5 <main+0xc5>
jmp    12fb <main+0x1eb>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    117e <main+0x6e>
jmp    130e <main+0x1fe>
mov    -0x28(%rbp),%eax
add    $0xc8,%eax
mov    %eax,-0x28(%rbp)
jmp    116b <main+0x5b>
jmp    1323 <main+0x213>
mov    -0x24(%rbp),%eax
add    $0xc8,%eax
mov    %eax,-0x24(%rbp)
jmp    1157 <main+0x47>
jmp    1338 <main+0x228>
mov    -0x20(%rbp),%eax
add    $0xc8,%eax
mov    %eax,-0x20(%rbp)
jmp    1143 <main+0x33>
xor    %eax,%eax
add    $0xb71b50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xb71b18,%rsp
lea    0x10(%rsp),%rdi
xor    %r14d,%r14d
xor    %esi,%esi
mov    $0x3d0900,%edx
call   1030 <memset@plt>
mov    $0xc8,%r12d
lea    0x7a1210(%rsp),%rax
mov    %rax,0x8(%rsp)
nopl   0x0(%rax,%rax,1)
lea    0x3d0910(%rsp),%r8
mov    $0xc8,%edi
xor    %r13d,%r13d
mov    0x8(%rsp),%r15
mov    %r8,%r10
xor    %r11d,%r11d
nopl   0x0(%rax,%rax,1)
mov    %r15,%rcx
mov    %r14,%rbx
cs nopw 0x0(%rax,%rax,1)
mov    %r10,%rax
mov    %r13,%rdx
cs nopw 0x0(%rax,%rax,1)
imul   $0xfa0,%rbx,%rsi
add    %rsp,%rsi
add    $0x10,%rsi
lea    (%rsi,%rdx,4),%rbp
movd   (%rsi,%rdx,4),%xmm0
mov    %rax,%rsi
xor    %r9d,%r9d
nopl   (%rax)
movdqa (%rcx,%r9,4),%xmm1
movd   0x2ee0(%rsi),%xmm2
movd   0x1f40(%rsi),%xmm3
punpckldq %xmm2,%xmm3
movd   0xfa0(%rsi),%xmm2
movd   (%rsi),%xmm4
punpckldq %xmm2,%xmm4
punpcklqdq %xmm3,%xmm4
pshufd $0xf5,%xmm4,%xmm2
pmuludq %xmm1,%xmm4
pshufd $0xe8,%xmm4,%xmm3
pshufd $0xf5,%xmm1,%xmm1
pmuludq %xmm2,%xmm1
pshufd $0xe8,%xmm1,%xmm1
punpckldq %xmm1,%xmm3
paddd  %xmm3,%xmm0
add    $0x4,%r9
add    $0x3e80,%rsi
cmp    $0xc8,%r9
jne    11b0 <main+0xa0>
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,0x0(%rbp)
add    $0x1,%rdx
add    $0x4,%rax
cmp    %rdi,%rdx
jne    1190 <main+0x80>
add    $0x1,%rbx
add    $0xfa0,%rcx
cmp    %r12,%rbx
jne    1180 <main+0x70>
mov    %r11,%rax
add    $0xc8,%rax
add    $0xc3500,%r10
add    $0x320,%r15
cmp    $0x320,%r11d
mov    %rax,%r11
jb     1170 <main+0x60>
mov    %r13,%rax
add    $0xc8,%rax
add    $0xc8,%rdi
add    $0x320,%r8
cmp    $0x320,%r13d
mov    %rax,%r13
jb     1160 <main+0x50>
mov    %r14,%rax
add    $0xc8,%rax
add    $0xc8,%r12
addq   $0xc3500,0x8(%rsp)
cmp    $0x320,%r14d
mov    %rax,%r14
jb     1150 <main+0x40>
xor    %eax,%eax
add    $0xb71b18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = alloca [1000 x [1000 x i32]]
%4 = alloca [1000 x [1000 x i32]]
%5 = alloca [1000 x [1000 x i32]]
%6 = bitcast [1000 x [1000 x i32]]* %3 to i8*
%7 = bitcast [1000 x [1000 x i32]]* %4 to i8*
%8 = bitcast [1000 x [1000 x i32]]* %5 to i8*
%9 = bitcast [1000 x [1000 x i32]]* %5 to i32**
%10 = call i32 @memset(i32** %9, i32 0, i32 4000000)
br label %11
11: ; preds = %2, %69
%12 = phi i64 [ 200, %2 ], [ %72, %69 ]
%13 = phi i64 [ 0, %2 ], [ %70, %69 ]
%14 = trunc i64 %13 to i32
br label %15
15: ; preds = %11, %65
%16 = phi i64 [ 200, %11 ], [ %68, %65 ]
%17 = phi i64 [ 0, %11 ], [ %66, %65 ]
%18 = trunc i64 %17 to i32
br label %19
19: ; preds = %62, %15
%20 = phi i64 [ 0, %15 ], [ %63, %62 ]
%21 = trunc i64 %20 to i32
br label %22
22: ; preds = %59, %19
%23 = phi i64 [ %13, %19 ], [ %60, %59 ]
br label %24
24: ; preds = %55, %22
%25 = phi i64 [ %17, %22 ], [ %57, %55 ]
%26 = getelementptr inbounds [1000 x [1000 x i32]], [1000 x [1000 x i32]]* %5, i64 0, i64 %23, i64 %25
%27 = load i32, i32* %26
%28 = insertelement <4 x i32> <i32 poison, i32 0, i32 0, i32 0>, i32 %27, i64 0
br label %29
29: ; preds = %29, %24
%30 = phi i64 [ 0, %24 ], [ %53, %29 ]
%31 = phi <4 x i32> [ %28, %24 ], [ %52, %29 ]
%32 = add i64 %20, %30
%33 = or i64 %32, 1
%34 = or i64 %32, 2
%35 = or i64 %32, 3
%36 = getelementptr inbounds [1000 x [1000 x i32]], [1000 x [1000 x i32]]* %3, i64 0, i64 %23, i64 %32
%37 = bitcast i32* %36 to <4 x i32>*
%38 = load <4 x i32>, <4 x i32>* %37
%39 = getelementptr inbounds [1000 x [1000 x i32]], [1000 x [1000 x i32]]* %4, i64 0, i64 %32, i64 %25
%40 = getelementptr inbounds [1000 x [1000 x i32]], [1000 x [1000 x i32]]* %4, i64 0, i64 %33, i64 %25
%41 = getelementptr inbounds [1000 x [1000 x i32]], [1000 x [1000 x i32]]* %4, i64 0, i64 %34, i64 %25
%42 = getelementptr inbounds [1000 x [1000 x i32]], [1000 x [1000 x i32]]* %4, i64 0, i64 %35, i64 %25
%43 = load i32, i32* %39
%44 = load i32, i32* %40
%45 = load i32, i32* %41
%46 = load i32, i32* %42
%47 = insertelement <4 x i32> poison, i32 %43, i64 0
%48 = insertelement <4 x i32> %47, i32 %44, i64 1
%49 = insertelement <4 x i32> %48, i32 %45, i64 2
%50 = insertelement <4 x i32> %49, i32 %46, i64 3
%51 = mul nsw <4 x i32> %50, %38
%52 = add <4 x i32> %31, %51
%53 = add nuw i64 %30, 4
%54 = icmp eq i64 %53, 200
br i1 %54, label %55, label %29
55: ; preds = %29
%56 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %52)
store i32 %56, i32* %26
%57 = add nuw nsw i64 %25, 1
%58 = icmp eq i64 %57, %16
br i1 %58, label %59, label %24
59: ; preds = %55
%60 = add nuw nsw i64 %23, 1
%61 = icmp eq i64 %60, %12
br i1 %61, label %62, label %22
62: ; preds = %59
%63 = add nuw nsw i64 %20, 200
%64 = icmp ult i32 %21, 800
br i1 %64, label %19, label %65
65: ; preds = %62
%66 = add nuw nsw i64 %17, 200
%67 = icmp ult i32 %18, 800
%68 = add nuw nsw i64 %16, 200
br i1 %67, label %15, label %69
69: ; preds = %65
%70 = add nuw nsw i64 %13, 200
%71 = icmp ult i32 %14, 800
%72 = add nuw nsw i64 %12, 200
br i1 %71, label %11, label %73
73: ; preds = %69
ret i32 0
}