84 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<ast>' -polly-print-ast -disable-output < %s | FileCheck %s2 3;#include <string.h>4;#define N 10245;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.cond32 33for.cond: ; preds = %for.inc, %entry34 %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.end38 39for.body: ; preds = %for.cond40 store i32 1, ptr %arrayidx41 br label %for.inc42 43for.inc: ; preds = %for.body44 %indvar.next2 = add i64 %indvar1, 1 ; <i64> [#uses=1]45 br label %for.cond46 47for.end: ; preds = %for.cond48 br label %for.cond549 50for.cond5: ; preds = %for.inc07, %for.end51 %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.end2056 57for.body9: ; preds = %for.cond558 %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.end61 62if.then: ; preds = %for.body963 br label %return64 65if.end: ; preds = %for.body966 br label %for.inc0767 68for.inc07: ; preds = %if.end69 %indvar.next = add i64 %indvar, 1 ; <i64> [#uses=1]70 br label %for.cond571 72for.end20: ; preds = %for.cond573 br label %return74 75return: ; preds = %for.end20, %if.then76 %retval.0 = phi i32 [ 1, %if.then ], [ 0, %for.end20 ] ; <i32> [#uses=1]77 ret i32 %retval.078}79 80declare void @llvm.memset.p0.i64(ptr nocapture, i8, i64, i32, i1) nounwind81 82; CHECK: for (int c0 = 0; c0 <= 1023; c0 += 1)83; CHECK: Stmt_for_body(c0);84