59 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -S < %s | FileCheck %s --check-prefix=CODEGEN3;4; CHECK: [N] -> { Stmt_bb11[i0, i1] : i0 < N and i1 >= 0 and 3i1 <= -3 + i0 };5; CODEGEN: polly6;7; void f(int *A, int N) {8; for (int i = 0; i < N; i++)9; for (int j = 0; j < i / 3; j++)10; A[i] += A[j];11; }12;13target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"14 15define void @f(ptr %A, i32 %N) {16bb:17 %tmp = sext i32 %N to i6418 br label %bb319 20bb3: ; preds = %bb19, %bb21 %indvars.iv1 = phi i64 [ %indvars.iv.next2, %bb19 ], [ 0, %bb ]22 %tmp4 = icmp slt i64 %indvars.iv1, %tmp23 br i1 %tmp4, label %bb5, label %bb2024 25bb5: ; preds = %bb326 br label %bb627 28bb6: ; preds = %bb17, %bb529 %indvars.iv = phi i64 [ %indvars.iv.next, %bb17 ], [ 0, %bb5 ]30 %tmp7 = trunc i64 %indvars.iv1 to i3231 %tmp8 = sdiv i32 %tmp7, 332 %tmp9 = sext i32 %tmp8 to i6433 %tmp10 = icmp slt i64 %indvars.iv, %tmp934 br i1 %tmp10, label %bb11, label %bb1835 36bb11: ; preds = %bb637 %tmp12 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv38 %tmp13 = load i32, ptr %tmp12, align 439 %tmp14 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv140 %tmp15 = load i32, ptr %tmp14, align 441 %tmp16 = add nsw i32 %tmp15, %tmp1342 store i32 %tmp16, ptr %tmp14, align 443 br label %bb1744 45bb17: ; preds = %bb1146 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 147 br label %bb648 49bb18: ; preds = %bb650 br label %bb1951 52bb19: ; preds = %bb1853 %indvars.iv.next2 = add nuw nsw i64 %indvars.iv1, 154 br label %bb355 56bb20: ; preds = %bb357 ret void58}59