67 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-DAG: %tmp.0.s2a = alloca i3216; CHECK-DAG: %tmp.0.phiops = alloca i3217; CHECK-LABEL: polly.stmt.bb8:18; CHECK: %tmp.0.phiops.reload = load i32, ptr %tmp.0.phiops19; CHECK: store i32 %tmp.0.phiops.reload, ptr %tmp.0.s2a20; CHECK-LABEL: polly.stmt.bb8b:21; CHECK: %tmp.0.s2a.reload = load i32, ptr %tmp.0.s2a22; CHECK: store i32 %tmp.0.s2a.reload,23; CHECK-LABEL: polly.stmt.bb7:24; CHECK: store i32 5, ptr %tmp.0.phiops25; CHECK-LABEL: polly.stmt.bb6:26; CHECK: store i32 3, ptr %tmp.0.phiops27 28target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"29 30define void @f(ptr %A, i32 %c, i32 %N) {31bb:32 %tmp = sext i32 %N to i6433 %tmp1 = sext i32 %c to i6434 br label %bb235 36bb2: ; preds = %bb10, %bb37 %indvars.iv = phi i64 [ %indvars.iv.next, %bb10 ], [ 0, %bb ]38 %tmp3 = icmp slt i64 %indvars.iv, %tmp39 br i1 %tmp3, label %bb4, label %bb1140 41bb4: ; preds = %bb242 %tmp5 = icmp sgt i64 %indvars.iv, %tmp143 br i1 %tmp5, label %bb6, label %bb744 45bb6: ; preds = %bb446 br label %bb847 48bb7: ; preds = %bb449 br label %bb850 51bb8: ; preds = %bb7, %bb652 %tmp.0 = phi i32 [ 3, %bb6 ], [ 5, %bb7 ]53 br label %bb8b54 55bb8b:56 %tmp9 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv57 store i32 %tmp.0, ptr %tmp9, align 458 br label %bb1059 60bb10: ; preds = %bb861 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 162 br label %bb263 64bb11: ; preds = %bb265 ret void66}67