#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 i, j;
  float in[256][512];
  float out[256][512];
  for (i = 0; i < 256; i++) {
    for (j = 0; j < 512; j++) {
      in[i][j] = i + j;
    }
  }
#pragma scop
  {
#pragma species kernel                                                         \
    in[0 : A - 1, 0 : B - 1] |                                                 \
       neighbourhood(-1 : 1, -1 : 1)->out[0 : A - 1, 0 : B - 1] | element
    for (i = 0; i < 256; i++) {
      for (j = 0; j < 512; j++) {
        if (i >= 1 && j >= 1 && i < 256 - 1 && j < 512 - 1) {
          out[i][j] = (in[i + 1][j + 1] + in[i + 1][j] + in[i + 1][j - 1] +
                       in[i][j + 1] + in[i][j] + in[i][j - 1] +
                       in[i - 1][j + 1] + in[i - 1][j] + in[i - 1][j - 1]) /
                      9.0;
        } else {
          out[i][j] = in[i][j];
        }
      }
    }
#pragma species endkernel example02_k1
  }
#pragma endscop
  fflush(stdout);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x100010,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0x100,-0x8(%rbp)
jge    1190 <main+0x80>
movl   $0x0,-0xc(%rbp)
cmpl   $0x200,-0xc(%rbp)
jge    117d <main+0x6d>
mov    -0x8(%rbp),%eax
add    -0xc(%rbp),%eax
cvtsi2ss %eax,%xmm0
movslq -0x8(%rbp),%rcx
lea    -0x80010(%rbp),%rax
shl    $0xb,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    113d <main+0x2d>
jmp    1182 <main+0x72>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1129 <main+0x19>
movl   $0x0,-0x8(%rbp)
cmpl   $0x100,-0x8(%rbp)
jge    13a5 <main+0x295>
movl   $0x0,-0xc(%rbp)
cmpl   $0x200,-0xc(%rbp)
jge    1392 <main+0x282>
cmpl   $0x1,-0x8(%rbp)
jl     1349 <main+0x239>
cmpl   $0x1,-0xc(%rbp)
jl     1349 <main+0x239>
cmpl   $0xff,-0x8(%rbp)
jge    1349 <main+0x239>
cmpl   $0x1ff,-0xc(%rbp)
jge    1349 <main+0x239>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
movslq %eax,%rcx
lea    -0x80010(%rbp),%rax
shl    $0xb,%rcx
add    %rcx,%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%eax
add    $0x1,%eax
movslq %eax,%rcx
lea    -0x80010(%rbp),%rax
shl    $0xb,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%eax
add    $0x1,%eax
movslq %eax,%rcx
lea    -0x80010(%rbp),%rax
shl    $0xb,%rcx
add    %rcx,%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm0
movslq -0x8(%rbp),%rcx
lea    -0x80010(%rbp),%rax
shl    $0xb,%rcx
add    %rcx,%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm0
movslq -0x8(%rbp),%rcx
lea    -0x80010(%rbp),%rax
shl    $0xb,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
movslq -0x8(%rbp),%rcx
lea    -0x80010(%rbp),%rax
shl    $0xb,%rcx
add    %rcx,%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rcx
lea    -0x80010(%rbp),%rax
shl    $0xb,%rcx
add    %rcx,%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rcx
lea    -0x80010(%rbp),%rax
shl    $0xb,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
movslq %eax,%rcx
lea    -0x80010(%rbp),%rax
shl    $0xb,%rcx
add    %rcx,%rax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xcdf(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movslq -0x8(%rbp),%rcx
lea    -0x100010(%rbp),%rax
shl    $0xb,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
jmp    137f <main+0x26f>
movslq -0x8(%rbp),%rcx
lea    -0x80010(%rbp),%rax
shl    $0xb,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movslq -0x8(%rbp),%rcx
lea    -0x100010(%rbp),%rax
shl    $0xb,%rcx
add    %rcx,%rax
movslq -0xc(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
jmp    1384 <main+0x274>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11ab <main+0x9b>
jmp    1397 <main+0x287>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1197 <main+0x87>
mov    0x2c34(%rip),%rax
mov    (%rax),%edi
call   1030 <fflush@plt>
xor    %eax,%eax
add    $0x100010,%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 [256 x [512 x float]]
%5 = alloca [256 x [512 x float]]
store i32 0, i32* %1
store i32 0, i32* %2
br label %6
6: ; preds = %28, %0
%7 = load i32, i32* %2
%8 = icmp slt i32 %7, 256
br i1 %8, label %9, label %31
9: ; preds = %6
store i32 0, i32* %3
br label %10
10: ; preds = %24, %9
%11 = load i32, i32* %3
%12 = icmp slt i32 %11, 512
br i1 %12, label %13, label %27
13: ; preds = %10
%14 = load i32, i32* %2
%15 = load i32, i32* %3
%16 = add nsw i32 %14, %15
%17 = sitofp i32 %16 to float
%18 = load i32, i32* %2
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds [256 x [512 x float]], [256 x [512 x float]]* %4, i64 0, i64 %19
%21 = load i32, i32* %3
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds [512 x float], [512 x float]* %20, i64 0, i64 %22
store float %17, float* %23
br label %24
24: ; preds = %13
%25 = load i32, i32* %3
%26 = add nsw i32 %25, 1
store i32 %26, i32* %3
br label %10
27: ; preds = %10
br label %28
28: ; preds = %27
%29 = load i32, i32* %2
%30 = add nsw i32 %29, 1
store i32 %30, i32* %2
br label %6
31: ; preds = %6
store i32 0, i32* %2
br label %32
32: ; preds = %163, %31
%33 = load i32, i32* %2
%34 = icmp slt i32 %33, 256
br i1 %34, label %35, label %166
35: ; preds = %32
store i32 0, i32* %3
br label %36
36: ; preds = %159, %35
%37 = load i32, i32* %3
%38 = icmp slt i32 %37, 512
br i1 %38, label %39, label %162
39: ; preds = %36
%40 = load i32, i32* %2
%41 = icmp sge i32 %40, 1
br i1 %41, label %42, label %144
42: ; preds = %39
%43 = load i32, i32* %3
%44 = icmp sge i32 %43, 1
br i1 %44, label %45, label %144
45: ; preds = %42
%46 = load i32, i32* %2
%47 = icmp slt i32 %46, 255
br i1 %47, label %48, label %144
48: ; preds = %45
%49 = load i32, i32* %3
%50 = icmp slt i32 %49, 511
br i1 %50, label %51, label %144
51: ; preds = %48
%52 = load i32, i32* %2
%53 = add nsw i32 %52, 1
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds [256 x [512 x float]], [256 x [512 x float]]* %4, i64 0, i64 %54
%56 = load i32, i32* %3
%57 = add nsw i32 %56, 1
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds [512 x float], [512 x float]* %55, i64 0, i64 %58
%60 = load float, float* %59
%61 = load i32, i32* %2
%62 = add nsw i32 %61, 1
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds [256 x [512 x float]], [256 x [512 x float]]* %4, i64 0, i64 %63
%65 = load i32, i32* %3
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds [512 x float], [512 x float]* %64, i64 0, i64 %66
%68 = load float, float* %67
%69 = fadd float %60, %68
%70 = load i32, i32* %2
%71 = add nsw i32 %70, 1
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds [256 x [512 x float]], [256 x [512 x float]]* %4, i64 0, i64 %72
%74 = load i32, i32* %3
%75 = sub nsw i32 %74, 1
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds [512 x float], [512 x float]* %73, i64 0, i64 %76
%78 = load float, float* %77
%79 = fadd float %69, %78
%80 = load i32, i32* %2
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds [256 x [512 x float]], [256 x [512 x float]]* %4, i64 0, i64 %81
%83 = load i32, i32* %3
%84 = add nsw i32 %83, 1
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds [512 x float], [512 x float]* %82, i64 0, i64 %85
%87 = load float, float* %86
%88 = fadd float %79, %87
%89 = load i32, i32* %2
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds [256 x [512 x float]], [256 x [512 x float]]* %4, i64 0, i64 %90
%92 = load i32, i32* %3
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds [512 x float], [512 x float]* %91, i64 0, i64 %93
%95 = load float, float* %94
%96 = fadd float %88, %95
%97 = load i32, i32* %2
%98 = sext i32 %97 to i64
%99 = getelementptr inbounds [256 x [512 x float]], [256 x [512 x float]]* %4, i64 0, i64 %98
%100 = load i32, i32* %3
%101 = sub nsw i32 %100, 1
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds [512 x float], [512 x float]* %99, i64 0, i64 %102
%104 = load float, float* %103
%105 = fadd float %96, %104
%106 = load i32, i32* %2
%107 = sub nsw i32 %106, 1
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds [256 x [512 x float]], [256 x [512 x float]]* %4, i64 0, i64 %108
%110 = load i32, i32* %3
%111 = add nsw i32 %110, 1
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds [512 x float], [512 x float]* %109, i64 0, i64 %112
%114 = load float, float* %113
%115 = fadd float %105, %114
%116 = load i32, i32* %2
%117 = sub nsw i32 %116, 1
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds [256 x [512 x float]], [256 x [512 x float]]* %4, i64 0, i64 %118
%120 = load i32, i32* %3
%121 = sext i32 %120 to i64
%122 = getelementptr inbounds [512 x float], [512 x float]* %119, i64 0, i64 %121
%123 = load float, float* %122
%124 = fadd float %115, %123
%125 = load i32, i32* %2
%126 = sub nsw i32 %125, 1
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds [256 x [512 x float]], [256 x [512 x float]]* %4, i64 0, i64 %127
%129 = load i32, i32* %3
%130 = sub nsw i32 %129, 1
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds [512 x float], [512 x float]* %128, i64 0, i64 %131
%133 = load float, float* %132
%134 = fadd float %124, %133
%135 = fpext float %134 to double
%136 = fdiv double %135, 9.000000e+00
%137 = fptrunc double %136 to float
%138 = load i32, i32* %2
%139 = sext i32 %138 to i64
%140 = getelementptr inbounds [256 x [512 x float]], [256 x [512 x float]]* %5, i64 0, i64 %139
%141 = load i32, i32* %3
%142 = sext i32 %141 to i64
%143 = getelementptr inbounds [512 x float], [512 x float]* %140, i64 0, i64 %142
store float %137, float* %143
br label %158
144: ; preds = %48, %45, %42, %39
%145 = load i32, i32* %2
%146 = sext i32 %145 to i64
%147 = getelementptr inbounds [256 x [512 x float]], [256 x [512 x float]]* %4, i64 0, i64 %146
%148 = load i32, i32* %3
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds [512 x float], [512 x float]* %147, i64 0, i64 %149
%151 = load float, float* %150
%152 = load i32, i32* %2
%153 = sext i32 %152 to i64
%154 = getelementptr inbounds [256 x [512 x float]], [256 x [512 x float]]* %5, i64 0, i64 %153
%155 = load i32, i32* %3
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds [512 x float], [512 x float]* %154, i64 0, i64 %156
store float %151, float* %157
br label %158
158: ; preds = %144, %51
br label %159
159: ; preds = %158
%160 = load i32, i32* %3
%161 = add nsw i32 %160, 1
store i32 %161, i32* %3
br label %36
162: ; preds = %36
br label %163
163: ; preds = %162
%164 = load i32, i32* %2
%165 = add nsw i32 %164, 1
store i32 %165, i32* %2
br label %32
166: ; preds = %32
%167 = load i32, i32* @stdout
%168 = call i32 @fflush(i32 %167)
ret i32 0
}

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
}