1; RUN: opt %loadNPMPolly '-passes=print<polly-ast>' -disable-output < %s | FileCheck %s 2 3;#include <string.h> 4;#define N 1024 5; 6;int main () { 7; int i; 8; int A[N]; 9; 10; memset(A, 0, sizeof(int) * N); 11; 12; for (i = 0; i < N; i++) { 13; A[i] = 1; 14; } 15; 16; for (i = 0; i < N; i++) 17; if (A[i] != 1) 18; return 1; 19; 20; return 0; 21;} 22; 23 24target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" 25 26define i32 @main() nounwind { 27entry: 28 %A = alloca [1024 x i32], align 4 ; <ptr> [#uses=3] 29 %arraydecay = getelementptr inbounds [1024 x i32], ptr %A, i32 0, i32 0 ; <ptr> [#uses=1] 30 call void @llvm.memset.p0.i64(ptr %arraydecay, i8 0, i64 4096, i32 1, i1 false) 31 br label %for.cond 32 33for.cond: ; preds = %for.inc, %entry 34 %indvar1 = phi i64 [ %indvar.next2, %for.inc ], [ 0, %entry ] ; <i64> [#uses=3] 35 %arrayidx = getelementptr [1024 x i32], ptr %A, i64 0, i64 %indvar1 ; <ptr> [#uses=1] 36 %exitcond = icmp ne i64 %indvar1, 1024 ; <i1> [#uses=1] 37 br i1 %exitcond, label %for.body, label %for.end 38 39for.body: ; preds = %for.cond 40 store i32 1, ptr %arrayidx 41 br label %for.inc 42 43for.inc: ; preds = %for.body 44 %indvar.next2 = add i64 %indvar1, 1 ; <i64> [#uses=1] 45 br label %for.cond 46 47for.end: ; preds = %for.cond 48 br label %for.cond5 49 50for.cond5: ; preds = %for.inc07, %for.end 51 %indvar = phi i64 [ %indvar.next, %for.inc07 ], [ 0, %for.end ] ; <i64> [#uses=3] 52 %arrayidx13 = getelementptr [1024 x i32], ptr %A, i64 0, i64 %indvar ; <ptr> [#uses=1] 53 %i.1 = trunc i64 %indvar to i32 ; <i32> [#uses=1] 54 %cmp7 = icmp slt i32 %i.1, 1024 ; <i1> [#uses=1] 55 br i1 %cmp7, label %for.body9, label %for.end20 56 57for.body9: ; preds = %for.cond5 58 %tmp14 = load i32, ptr %arrayidx13 ; <i32> [#uses=1] 59 %cmp15 = icmp ne i32 %tmp14, 1 ; <i1> [#uses=1] 60 br i1 %cmp15, label %if.then, label %if.end 61 62if.then: ; preds = %for.body9 63 br label %return 64 65if.end: ; preds = %for.body9 66 br label %for.inc07 67 68for.inc07: ; preds = %if.end 69 %indvar.next = add i64 %indvar, 1 ; <i64> [#uses=1] 70 br label %for.cond5 71 72for.end20: ; preds = %for.cond5 73 br label %return 74 75return: ; preds = %for.end20, %if.then 76 %retval.0 = phi i32 [ 1, %if.then ], [ 0, %for.end20 ] ; <i32> [#uses=1] 77 ret i32 %retval.0 78} 79 80declare void @llvm.memset.p0.i64(ptr nocapture, i8, i64, i32, i1) nounwind 81 82; CHECK: for (int c0 = 0; c0 <= 1023; c0 += 1) 83; CHECK: Stmt_for_body(c0); 84