57 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<import-jscop;codegen>' -polly-import-jscop-postfix=transformed -S < %s | FileCheck %s2;3; A load must provide a value for every statement instance.4; Statement instances not in the SCoP's context are irrelevant.5;6target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"7 8@ATH = external dso_local unnamed_addr constant [88 x float], align 169 10define void @load_subset_with_context() {11entry:12 %ath = alloca [56 x float], align 1613 br label %for.body14 15for.cond176.preheader: ; preds = %for.cond33.preheader16 ret void17 18for.body: ; preds = %for.cond33.preheader, %entry19 %indvars.iv999 = phi i64 [ 0, %entry ], [ %indvars.iv.next1000, %for.cond33.preheader ]20 %tmp5 = shl nsw i64 %indvars.iv999, 221 br label %for.cond7.preheader22 23for.cond33.preheader: ; preds = %for.inc.324 %tmp175 = load float, ptr undef, align 425 %indvars.iv.next1000 = add nuw nsw i64 %indvars.iv999, 126 %exitcond1002 = icmp eq i64 %indvars.iv.next1000, 1727 br i1 %exitcond1002, label %for.cond176.preheader, label %for.body28 29for.cond7.preheader: ; preds = %for.inc.3, %for.body30 %indvars.iv958 = phi i64 [ 0, %for.body ], [ %indvars.iv.next959, %for.inc.3 ]31 %tmp20 = add nuw nsw i64 %indvars.iv958, %tmp532 %arrayidx.2 = getelementptr inbounds [88 x float], ptr @ATH, i64 0, i64 033 %tmp157 = load float, ptr %arrayidx.2, align 434 %tmp158 = add nuw nsw i64 %tmp20, 335 %cmp12.3 = icmp ult i64 %tmp158, 8836 br i1 %cmp12.3, label %if.then.3, label %if.else.337 38if.else.3: ; preds = %for.cond7.preheader39 br label %for.inc.340 41if.then.3: ; preds = %for.cond7.preheader42 br label %for.inc.343 44for.inc.3: ; preds = %if.then.3, %if.else.345 %min.1.3 = phi float [ undef, %if.then.3 ], [ %tmp157, %if.else.3 ]46 %arrayidx29 = getelementptr inbounds [56 x float], ptr %ath, i64 0, i64 %indvars.iv95847 store float %min.1.3, ptr %arrayidx29, align 448 %indvars.iv.next959 = add nuw nsw i64 %indvars.iv958, 149 %exitcond961 = icmp eq i64 %indvars.iv.next959, 5650 br i1 %exitcond961, label %for.cond33.preheader, label %for.cond7.preheader51}52 53 54; CHECK: polly.stmt.if.else.3:55; CHECK-NEXT: %polly.access.ath1 = getelementptr float, ptr %ath, i64 %polly.indvar56; CHECK-NEXT: %polly.access.ath1.reload = load float, ptr %polly.access.ath157