53 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -polly-parallel -S < %s | FileCheck %s2;3; void foo(float *A, float *B) {4; for (long i = 0; i < 1000; i++)5; for (long j = 0; j < 1000; j++)6; A[i] = B[i];7; }8;9target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"10 11; CHECK: define internal void @foo_polly_subfn12 13define void @foo(ptr %A, ptr %B) {14bb:15 br label %bb216 17bb2: ; preds = %bb11, %bb18 %i.0 = phi i64 [ 0, %bb ], [ %tmp12, %bb11 ]19 %exitcond1 = icmp ne i64 %i.0, 100020 br i1 %exitcond1, label %bb3, label %bb1321 22bb3: ; preds = %bb223 br label %bb424 25bb4: ; preds = %bb8, %bb326 %j.0 = phi i64 [ 0, %bb3 ], [ %tmp9, %bb8 ]27 %exitcond = icmp ne i64 %j.0, 100028 br i1 %exitcond, label %bb5, label %bb1029 30bb5: ; preds = %bb431 %tmp = getelementptr inbounds float, ptr %B, i64 %i.032 %tmp7 = getelementptr inbounds float, ptr %A, i64 %i.033 %tmp6 = load float, ptr %tmp, align 434 store float %tmp6, ptr %tmp7, align 435; CHECK: %tmp6_p_scalar_ = load float, ptr %scevgep, align 4, !alias.scope !3, !noalias !636; CHECK: store float %tmp6_p_scalar_, ptr %scevgep7, align 4, !alias.scope !6, !noalias !337 br label %bb838 39bb8: ; preds = %bb540 %tmp9 = add nsw i64 %j.0, 141 br label %bb442 43bb10: ; preds = %bb444 br label %bb1145 46bb11: ; preds = %bb1047 %tmp12 = add nsw i64 %i.0, 148 br label %bb249 50bb13: ; preds = %bb251 ret void52}53