60 lines · plain
1; RUN: opt %loadNPMPolly -S '-passes=polly<no-default-opts>' < %s | FileCheck %s2;3; void f(int *A, int c, int N) {4; int tmp;5; for (int i = 0; i < N; i++) {6; if (i > c)7; tmp = 3;8; else9; tmp = 5;10; A[i] = tmp;11; }12; }13;14; CHECK-LABEL: bb:15; CHECK: %tmp.0.phiops = alloca i3216; CHECK-LABEL: polly.stmt.bb8:17; CHECK: %tmp.0.phiops.reload = load i32, ptr %tmp.0.phiops18; CHECK: store i32 %tmp.0.phiops.reload, ptr19; CHECK-LABEL: polly.stmt.bb7:20; CHECK: store i32 5, ptr %tmp.0.phiops21; CHECK-LABEL: polly.stmt.bb6:22; CHECK: store i32 3, ptr %tmp.0.phiops23 24target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"25 26define void @f(ptr %A, i32 %c, i32 %N) {27bb:28 %tmp = sext i32 %N to i6429 %tmp1 = sext i32 %c to i6430 br label %bb231 32bb2: ; preds = %bb10, %bb33 %indvars.iv = phi i64 [ %indvars.iv.next, %bb10 ], [ 0, %bb ]34 %tmp3 = icmp slt i64 %indvars.iv, %tmp35 br i1 %tmp3, label %bb4, label %bb1136 37bb4: ; preds = %bb238 %tmp5 = icmp sgt i64 %indvars.iv, %tmp139 br i1 %tmp5, label %bb6, label %bb740 41bb6: ; preds = %bb442 br label %bb843 44bb7: ; preds = %bb445 br label %bb846 47bb8: ; preds = %bb7, %bb648 %tmp.0 = phi i32 [ 3, %bb6 ], [ 5, %bb7 ]49 %tmp9 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv50 store i32 %tmp.0, ptr %tmp9, align 451 br label %bb1052 53bb10: ; preds = %bb854 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 155 br label %bb256 57bb11: ; preds = %bb258 ret void59}60