1; RUN: opt %loadNPMPolly -passes=polly-codegen \ 2; RUN: -S < %s | FileCheck %s 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 4 5 6; CHECK: polly.stmt.bb3: ; preds = %polly.stmt.bb3.entry 7; CHECK: %tmp6_p_scalar_ = load double, ptr %arg1{{[0-9]*}}, align 8, !alias.scope !2, !noalias !5 8; CHECK: %p_tmp7 = fadd double 1.000000e+00, %tmp6_p_scalar_ 9; CHECK: %p_tmp8 = fcmp olt double 1.400000e+01, %p_tmp7 10; CHECK: br i1 %p_tmp8, label %polly.stmt.bb9, label %polly.stmt.bb10 11 12; CHECK: polly.stmt.bb9: ; preds = %polly.stmt.bb3 13; CHECK: br label %polly.stmt.bb11.exit 14 15; CHECK: polly.stmt.bb10: ; preds = %polly.stmt.bb3 16; CHECK: br label %polly.stmt.bb11.exit 17 18; CHECK: polly.stmt.bb11.exit: ; preds = %polly.stmt.bb10, %polly.stmt.bb9 19; CHECK: %polly.tmp12 = phi double [ 1.000000e+00, %polly.stmt.bb9 ], [ 2.000000e+00, %polly.stmt.bb10 ] 20; CHECK: store double %polly.tmp12, ptr %tmp12.phiops 21 22define void @hoge(i32 %arg, ptr %arg1) { 23bb: 24 br label %bb2 25 26bb2: ; preds = %bb 27 br label %bb3 28 29bb3: ; preds = %bb11, %bb2 30 %tmp = phi i64 [ 0, %bb11 ], [ 0, %bb2 ] 31 %tmp4 = icmp sgt i32 %arg, 0 32 %tmp6 = load double, ptr %arg1 33 %tmp7 = fadd double 1.0, %tmp6 34 %tmp8 = fcmp olt double 14.0, %tmp7 35 br i1 %tmp8, label %bb9, label %bb10 36 37bb9: ; preds = %bb3 38 br label %bb11 39 40bb10: ; preds = %bb3 41 br label %bb11 42 43bb11: ; preds = %bb10, %bb9 44 %tmp12 = phi double [ 1.0, %bb9 ], [ 2.0, %bb10 ] 45 %tmp13 = getelementptr inbounds [1024 x double], ptr %arg1, i64 %tmp, i64 0 46 store double %tmp12, ptr %tmp13 47 %tmp14 = add nuw nsw i64 0, 1 48 %tmp15 = trunc i64 %tmp14 to i32 49 br i1 false, label %bb3, label %bb16 50 51bb16: ; preds = %bb11 52 br label %bb17 53 54bb17: ; preds = %bb16 55 ret void 56} 57