42 lines · plain
1 2; RUN: opt %loadNPMPolly '-passes=polly-custom<ast>' -polly-print-ast -polly-ignore-aliasing -disable-output < %s | FileCheck %s -check-prefix=SCALAR3; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -polly-ignore-aliasing -disable-output < %s4target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"5 6; SCALAR: if (7; SCALAR: {8; SCALAR: Stmt_for_1(0);9; SCALAR: for (int c0 = 1; c0 <= -Scalar0_val + 99; c0 += 1)10; SCALAR: Stmt_for_1(c0);11; SCALAR: }12 13; SCALAR: if (1)14; SCALAR: Stmt_for_0(0);15 16 17define void @foo(ptr %A) {18entry:19 %Scalar0 = alloca i3220 br label %for.021 22for.0:23 %Scalar0.val = load i32, ptr %Scalar024 store i32 1, ptr %Scalar025 br i1 false, label %for.0, label %for.1.preheader26 27for.1.preheader:28 fence seq_cst29 br label %for.130 31for.1:32 %indvar.1 = phi i32 [ %Scalar0.val, %for.1.preheader ], [ %indvar.1.next, %for.1]33 %arrayidx.1 = getelementptr inbounds i32, ptr %A, i32 %indvar.134 store i32 1, ptr %arrayidx.135 %indvar.1.next = add nsw i32 %indvar.1, 136 %cmp.1 = icmp slt i32 %indvar.1.next, 10037 br i1 %cmp.1, label %for.1, label %end38 39end:40 ret void41}42