1; RUN: opt %loadPolly -polly-codegen -polly-parallel -S < %s | FileCheck %s 2; 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_subfn 12 13define void @foo(float* %A, float* %B) { 14bb: 15 br label %bb2 16 17bb2: ; preds = %bb11, %bb 18 %i.0 = phi i64 [ 0, %bb ], [ %tmp12, %bb11 ] 19 %exitcond1 = icmp ne i64 %i.0, 1000 20 br i1 %exitcond1, label %bb3, label %bb13 21 22bb3: ; preds = %bb2 23 br label %bb4 24 25bb4: ; preds = %bb8, %bb3 26 %j.0 = phi i64 [ 0, %bb3 ], [ %tmp9, %bb8 ] 27 %exitcond = icmp ne i64 %j.0, 1000 28 br i1 %exitcond, label %bb5, label %bb10 29 30bb5: ; preds = %bb4 31 %tmp = getelementptr inbounds float, float* %B, i64 %i.0 32 %tmp7 = getelementptr inbounds float, float* %A, i64 %i.0 33 %tmp6 = load float, float* %tmp, align 4 34 store float %tmp6, float* %tmp7, align 4 35; CHECK: %tmp6_p_scalar_ = load float, float* %scevgep, align 4, !alias.scope !0, !noalias !2 36; CHECK: store float %tmp6_p_scalar_, float* %scevgep8, align 4, !alias.scope !3, !noalias !4 37 br label %bb8 38 39bb8: ; preds = %bb5 40 %tmp9 = add nsw i64 %j.0, 1 41 br label %bb4 42 43bb10: ; preds = %bb4 44 br label %bb11 45 46bb11: ; preds = %bb10 47 %tmp12 = add nsw i64 %i.0, 1 48 br label %bb2 49 50bb13: ; preds = %bb2 51 ret void 52} 53