#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*/ fflush(int /*<<< orphan*/);
int /*<<< orphan*/ stdout;
int main(void) {
  int a, b, c;
  int dim_1A = 50;
  int dim_1B = 40;
  int in1[dim_1A][dim_1B][30];
  int in2[dim_1A][dim_1B][30];
  int out[dim_1A][dim_1B][30];
  for (a = 0; a < dim_1A; a++) {
    for (b = 0; b < dim_1B; b++) {
      for (c = 0; c < 30; c++) {
        in1[a][b][c] = a * b + c;
        in2[a][b][c] = -(c / 4) + 6;
      }
    }
  }
#pragma scop
  {
#pragma species kernel in1[0 : dim_1A - 1, 0 : dim_1B - 1, 0 : 29] |           \
                           element ^ in2[0 : dim_1A - 1, 0 : dim_1B - 1,       \
                                         0 : 29] |                             \
                                         element->out[0 : dim_1A - 1,          \
                                                      0 : dim_1B - 1,          \
                                                      0 : 29] | element
    for (a = 0; a < dim_1A; a++) {
      for (b = 0; b < dim_1B; b++) {
        for (c = 0; c < 30; c++) {
          out[a][b][c] = in1[a][b][c] + in2[a][b][c];
        }
      }
    }
#pragma species endkernel example07_k1
  }
#pragma endscop
  fflush(stdout);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x32,-0x14(%rbp)
movl   $0x28,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,%ecx
mov    -0x18(%rbp),%eax
mov    %rax,-0x80(%rbp)
mov    %rsp,%rdx
mov    %rdx,-0x20(%rbp)
mov    %rcx,%rdx
imul   %rax,%rdx
imul   $0x78,%rdx,%rsi
add    $0xf,%rsi
and    $0xfffffffffffffff0,%rsi
mov    %rsp,%rdx
sub    %rsi,%rdx
mov    %rdx,-0x78(%rbp)
mov    %rdx,%rsp
mov    %rcx,-0x28(%rbp)
mov    %rax,-0x30(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,%ecx
mov    -0x18(%rbp),%eax
mov    %rax,-0x70(%rbp)
mov    %rcx,%rdx
imul   %rax,%rdx
imul   $0x78,%rdx,%rsi
add    $0xf,%rsi
and    $0xfffffffffffffff0,%rsi
mov    %rsp,%rdx
sub    %rsi,%rdx
mov    %rdx,-0x68(%rbp)
mov    %rdx,%rsp
mov    %rcx,-0x38(%rbp)
mov    %rax,-0x40(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,%ecx
mov    -0x18(%rbp),%eax
mov    %rax,-0x60(%rbp)
mov    %rcx,%rdx
imul   %rax,%rdx
imul   $0x78,%rdx,%rsi
add    $0xf,%rsi
and    $0xfffffffffffffff0,%rsi
mov    %rsp,%rdx
sub    %rsi,%rdx
mov    %rdx,-0x58(%rbp)
mov    %rdx,%rsp
mov    %rcx,-0x48(%rbp)
mov    %rax,-0x50(%rbp)
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12ae <main+0x19e>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    129b <main+0x18b>
movl   $0x0,-0x10(%rbp)
cmpl   $0x1e,-0x10(%rbp)
jge    1288 <main+0x178>
mov    -0x70(%rbp),%rsi
mov    -0x78(%rbp),%rax
mov    -0x80(%rbp),%rdi
mov    -0x8(%rbp),%edx
imul   -0xc(%rbp),%edx
add    -0x10(%rbp),%edx
movslq -0x8(%rbp),%rcx
imul   %rdi,%rcx
imul   $0x78,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
imul   $0x78,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x68(%rbp),%rax
xor    %edx,%edx
sub    %ecx,%edx
add    $0x6,%edx
movslq -0x8(%rbp),%rcx
imul   %rsi,%rcx
imul   $0x78,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
imul   $0x78,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1200 <main+0xf0>
jmp    128d <main+0x17d>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11ed <main+0xdd>
jmp    12a0 <main+0x190>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    11da <main+0xca>
movl   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1394 <main+0x284>
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1381 <main+0x271>
movl   $0x0,-0x10(%rbp)
cmpl   $0x1e,-0x10(%rbp)
jge    136e <main+0x25e>
mov    -0x58(%rbp),%rax
mov    -0x60(%rbp),%rsi
mov    -0x68(%rbp),%rcx
mov    -0x70(%rbp),%r8
mov    -0x78(%rbp),%rdx
mov    -0x80(%rbp),%r9
movslq -0x8(%rbp),%rdi
imul   %r9,%rdi
imul   $0x78,%rdi,%rdi
add    %rdi,%rdx
movslq -0xc(%rbp),%rdi
imul   $0x78,%rdi,%rdi
add    %rdi,%rdx
movslq -0x10(%rbp),%rdi
mov    (%rdx,%rdi,4),%edx
movslq -0x8(%rbp),%rdi
imul   %r8,%rdi
imul   $0x78,%rdi,%rdi
add    %rdi,%rcx
movslq -0xc(%rbp),%rdi
imul   $0x78,%rdi,%rdi
add    %rdi,%rcx
movslq -0x10(%rbp),%rdi
add    (%rcx,%rdi,4),%edx
movslq -0x8(%rbp),%rcx
imul   %rsi,%rcx
imul   $0x78,%rcx,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
imul   $0x78,%rcx,%rcx
add    %rcx,%rax
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    12db <main+0x1cb>
jmp    1373 <main+0x263>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    12c8 <main+0x1b8>
jmp    1386 <main+0x276>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    12b5 <main+0x1a5>
mov    0x2c45(%rip),%rax
mov    (%rax),%edi
call   1030 <fflush@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rsp
mov    -0x4(%rbp),%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
mov    0x2ec8(%rip),%rax
mov    (%rax),%edi
call   1030 <fflush@plt>
xor    %eax,%eax
pop    %rcx
ret

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

LLVM IR (-O2):
@stdout = global i32 0
define i32 @main() {
%1 = load i32, i32* @stdout
%2 = tail call i32 @fflush(i32 %1)
ret i32 0
}