92 lines · plain
1; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb '-passes=polly-custom<scops>' -polly-print-scops -polly-invariant-load-hoisting=true -disable-output < %s 2>&1 | FileCheck %s2;3; CHECK: Invariant Accesses: {4; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]5; CHECK-NEXT: { Stmt_land_lhs_true563[] -> MemRef_tmp0[809] };6; CHECK-NEXT: Execution Context: { : }7; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]8; CHECK-NEXT: { Stmt_if_then570[] -> MemRef_fs[5] };9; CHECK-NEXT: Execution Context: { : }10; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]11; CHECK-NEXT: { Stmt_if_then570[] -> MemRef_fs[7] };12; CHECK-NEXT: Execution Context: { : }13; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]14; CHECK-NEXT: { Stmt_if_then570[] -> MemRef_tmp8[813] };15; CHECK-NEXT: Execution Context: { : }16; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]17; CHECK-NEXT: { Stmt_if_then570[] -> MemRef_tmp3[813] };18; CHECK-NEXT: Execution Context: { : }19; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]20; CHECK-NEXT: { Stmt_if_then570[] -> MemRef_tmp5[813] };21; CHECK-NEXT: Execution Context: { : }22; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]23; CHECK-NEXT: { Stmt_if_then570[] -> MemRef_tmp3[812] };24; CHECK-NEXT: Execution Context: { : }25; CHECK-NEXT: }26;27; ModuleID = 'bugpoint-reduced-simplified.bc'28target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"29 30%struct.frame_store = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr }31%struct.picture = type { i32, i32, i32, i32, i32, i32, [6 x [33 x i64]], [6 x [33 x i64]], [6 x [33 x i64]], [6 x [33 x i64]], i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, i32, i32, i32, i32, i32 }32 33; Function Attrs: nounwind uwtable34define void @dpb_split_field(ptr %fs) #0 {35entry:36 %frame = getelementptr inbounds %struct.frame_store, ptr %fs, i64 0, i32 1037 br label %for.cond538.preheader.lr.ph38 39for.cond538.preheader.lr.ph: ; preds = %entry40 %bottom_field578 = getelementptr inbounds %struct.frame_store, ptr %fs, i64 0, i32 1241 br label %for.cond538.preheader42 43for.cond538.preheader: ; preds = %for.inc912, %for.cond538.preheader.lr.ph44 %tmp0 = phi ptr [ undef, %for.cond538.preheader.lr.ph ], [ %tmp11, %for.inc912 ]45 br i1 undef, label %land.lhs.true563, label %for.inc91246 47land.lhs.true563: ; preds = %for.cond538.preheader48 %div552 = sdiv i32 0, 1649 %div554 = sdiv i32 0, 450 %mul555 = mul i32 %div552, %div55451 %rem558 = srem i32 0, 252 %tmp9a = add i32 %mul555, 053 %tmp10a = shl i32 %tmp9a, 154 %add559 = add i32 %tmp10a, %rem55855 %idxprom564 = sext i32 %add559 to i6456 %mb_field566 = getelementptr inbounds %struct.picture, ptr %tmp0, i64 0, i32 3157 %tmp1 = load ptr, ptr %mb_field566, align 858 %arrayidx567 = getelementptr inbounds i8, ptr %tmp1, i64 %idxprom56459 %tmp2 = load i8, ptr %arrayidx567, align 160 store i8 0, ptr %arrayidx56761 br i1 false, label %if.end908, label %if.then57062 63if.then570: ; preds = %land.lhs.true56364 %tmp3 = load ptr, ptr %frame, align 865 %mv = getelementptr inbounds %struct.picture, ptr %tmp3, i64 0, i32 3566 %tmp4 = load ptr, ptr %mv, align 867 %tmp5 = load ptr, ptr %bottom_field578, align 868 %mv612 = getelementptr inbounds %struct.picture, ptr %tmp5, i64 0, i32 3569 %tmp6 = load ptr, ptr %mv612, align 870 %arrayidx647 = getelementptr inbounds ptr, ptr %tmp4, i64 171 %ref_id726 = getelementptr inbounds %struct.picture, ptr %tmp3, i64 0, i32 3472 %tmp7 = load ptr, ptr %ref_id726, align 873 %arrayidx746 = getelementptr inbounds ptr, ptr %tmp7, i64 574 %tmp8 = load ptr, ptr %frame, align 875 %mv783 = getelementptr inbounds %struct.picture, ptr %tmp8, i64 0, i32 3576 %tmp9 = load ptr, ptr %mv783, align 877 %arrayidx804 = getelementptr inbounds ptr, ptr %tmp9, i64 178 %tmp10 = load ptr, ptr %arrayidx804, align 879 store ptr %tmp10, ptr %arrayidx80480 br label %if.end90881 82if.end908: ; preds = %if.then570, %land.lhs.true56383 br label %for.inc91284 85for.inc912: ; preds = %if.end908, %for.cond538.preheader86 %tmp11 = phi ptr [ %tmp0, %for.cond538.preheader ], [ undef, %if.end908 ]87 br i1 undef, label %for.cond538.preheader, label %for.cond1392.preheader88 89for.cond1392.preheader: ; preds = %for.inc91290 ret void91}92