1;RUN: opt %loadNPMPolly '-passes=polly-import-jscop,polly-codegen' -polly-import-jscop-postfix=transformed < %s -S | FileCheck %s 2 3;int A[100]; 4; 5;int codegen_simple () { 6; for (int i = 0; i < 12; i++) 7; A[13] = A[i] + A[i-1]; 8; 9; return 0; 10;} 11 12target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32" 13 14define i32 @codegen_simple(ptr addrspace(5) %A) nounwind { 15entry: 16 %arrayidx.write = getelementptr [100 x i32], ptr addrspace(5) %A, i32 0, i32 13 17 br label %for.cond 18 19for.cond: ; preds = %for.inc, %entry 20 %tmp1 = phi i32 [ 0, %entry ], [ %inc, %for.inc ] 21 %tmp = add i32 %tmp1, -1 22 %arrayidx4 = getelementptr [100 x i32], ptr addrspace(5) %A, i32 0, i32 %tmp 23 %arrayidx = getelementptr [100 x i32], ptr addrspace(5) %A, i32 0, i32 %tmp1 24 %exitcond = icmp ne i32 %tmp1, 12 25 br i1 %exitcond, label %for.body, label %for.end 26 27for.body: ; preds = %for.cond 28 %tmp2 = load i32, ptr addrspace(5) %arrayidx, align 4 29 %tmp5 = load i32, ptr addrspace(5) %arrayidx4, align 4 30 %add = add nsw i32 %tmp2, %tmp5 31 store i32 %add, ptr addrspace(5) %arrayidx.write 32 br label %for.inc 33 34for.inc: ; preds = %for.body 35 %inc = add nsw i32 %tmp1, 1 36 br label %for.cond 37 38for.end: ; preds = %for.cond 39 ret i32 0 40} 41 42; CHECK: %polly.access.A = getelementptr i32, ptr addrspace(5) %A, i64 0 43; CHECK: %tmp2_p_scalar_ = load i32, ptr addrspace(5) %polly.access.A, align 4, !alias.scope !2, !noalias !5 44