1; RUN: opt %loadPolly -analyze -polly-ast -polly-vectorizer=polly < %s | \ 2; RUN: FileCheck %s -check-prefix=AST 3 4; RUN: opt %loadPolly -polly-codegen -polly-vectorizer=polly -S < %s | \ 5; RUN: FileCheck %s 6; 7; void foo(float *A) { 8; for (long i = 0; i < 16; i++) { 9; if (i % 2) 10; A[i] += 2; 11; if (i % 3) 12; A[i] += 3; 13; } 14; } 15; 16target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 17 18; AST: #pragma simd 19; AST: #pragma known-parallel 20; AST: for (int c0 = 0; c0 <= 15; c0 += 1) { 21; AST: if ((c0 + 1) % 2 == 0) 22; AST: Stmt_bb4(c0); 23; AST: if (c0 % 3 >= 1) 24; AST: Stmt_bb11(c0); 25; AST: } 26 27; CHECK: polly.split_new_and_old 28 29define void @foo(float* %A) { 30bb: 31 br label %bb1 32 33bb1: ; preds = %bb16, %bb 34 %i.0 = phi i64 [ 0, %bb ], [ %tmp17, %bb16 ] 35 %exitcond = icmp ne i64 %i.0, 16 36 br i1 %exitcond, label %bb2, label %bb18 37 38bb2: ; preds = %bb1 39 %tmp = srem i64 %i.0, 2 40 %tmp3 = icmp eq i64 %tmp, 0 41 br i1 %tmp3, label %bb8, label %bb4 42 43bb4: ; preds = %bb2 44 %tmp5 = getelementptr inbounds float, float* %A, i64 %i.0 45 %tmp6 = load float, float* %tmp5, align 4 46 %tmp7 = fadd float %tmp6, 2.000000e+00 47 store float %tmp7, float* %tmp5, align 4 48 br label %bb8 49 50bb8: ; preds = %bb2, %bb4 51 %tmp9 = srem i64 %i.0, 3 52 %tmp10 = icmp eq i64 %tmp9, 0 53 br i1 %tmp10, label %bb15, label %bb11 54 55bb11: ; preds = %bb8 56 %tmp12 = getelementptr inbounds float, float* %A, i64 %i.0 57 %tmp13 = load float, float* %tmp12, align 4 58 %tmp14 = fadd float %tmp13, 3.000000e+00 59 store float %tmp14, float* %tmp12, align 4 60 br label %bb15 61 62bb15: ; preds = %bb8, %bb11 63 br label %bb16 64 65bb16: ; preds = %bb15 66 %tmp17 = add nsw i64 %i.0, 1 67 br label %bb1 68 69bb18: ; preds = %bb1 70 ret void 71} 72