99 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<delicm>' -polly-print-delicm -disable-output < %s 2>&1 | FileCheck %s2;3; The statement Stmt_for_if_else_1 should be removed because it has no4; sideeffects. But it has a use of MemRef_tmp21 that must also be5; removed from every list containing it.6; This is a test-case meant for ScopInfo, but only later pass iterate7; over the uses of MemRef_tmp21 of which the use by Stmt_for_if_else_18; should have been removed. We use -polly-delicm to trigger such an9; iteration of an already deleted MemoryAccess.10 11target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"12 13@ATH = external dso_local unnamed_addr constant [88 x float], align 1614 15define void @setup_tone_curves() {16entry:17 %ath = alloca [56 x float], align 1618 br label %for.body19 20for.cond176.preheader: ; preds = %for.cond107.preheader21 unreachable22 23for.body: ; preds = %for.cond107.preheader, %entry24 %indvars.iv999 = phi i64 [ 0, %entry ], [ %indvars.iv.next1000, %for.cond107.preheader ]25 %tmp5 = shl nsw i64 %indvars.iv999, 226 br label %for.cond7.preheader27 28for.cond33.preheader: ; preds = %for.inc.129 br label %for.cond107.preheader30 31for.cond7.preheader: ; preds = %for.inc.1, %for.body32 %indvars.iv958 = phi i64 [ 0, %for.body ], [ %indvars.iv.next959, %for.inc.1 ]33 %tmp20 = add nuw nsw i64 %indvars.iv958, %tmp534 %arrayidx = getelementptr inbounds [88 x float], ptr @ATH, i64 0, i64 %tmp2035 %tmp21 = load float, ptr %arrayidx, align 436 %tmp22 = add nuw nsw i64 %tmp20, 137 %cmp12.1 = icmp ult i64 %tmp22, 8838 br i1 %cmp12.1, label %if.then.1, label %if.else.139 40for.cond107.preheader: ; preds = %for.cond33.preheader41 %indvars.iv.next1000 = add nuw nsw i64 %indvars.iv999, 142 br i1 undef, label %for.cond176.preheader, label %for.body43 44if.else.1: ; preds = %for.cond7.preheader45 %cmp23.1 = fcmp ogt float %tmp21, -3.000000e+0146 br label %for.inc.147 48if.then.1: ; preds = %for.cond7.preheader49 %arrayidx.1 = getelementptr inbounds [88 x float], ptr @ATH, i64 0, i64 %tmp2250 %tmp155 = load float, ptr %arrayidx.1, align 451 %cmp16.1 = fcmp ogt float %tmp21, %tmp15552 br label %for.inc.153 54for.inc.1: ; preds = %if.then.1, %if.else.155 %min.1.1 = phi float [ %tmp155, %if.then.1 ], [ -3.000000e+01, %if.else.1 ]56 %tmp157 = load float, ptr @ATH, align 457 %cmp16.2 = fcmp ogt float %min.1.1, %tmp15758 %tmp159 = load float, ptr @ATH, align 459 %cmp16.3 = fcmp ogt float %tmp157, %tmp15960 %arrayidx29 = getelementptr inbounds [56 x float], ptr %ath, i64 0, i64 %indvars.iv95861 store float %tmp159, ptr %arrayidx29, align 462 %indvars.iv.next959 = add nuw nsw i64 %indvars.iv958, 163 %exitcond961 = icmp eq i64 %indvars.iv.next959, 5664 br i1 %exitcond961, label %for.cond33.preheader, label %for.cond7.preheader65}66 67 68; CHECK: After accesses {69; CHECK-NEXT: Stmt_for_cond7_preheader70; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]71; CHECK-NEXT: [p_0] -> { Stmt_for_cond7_preheader[i0] -> MemRef_ATH[4p_0 + i0] };72; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]73; CHECK-NEXT: [p_0] -> { Stmt_for_cond7_preheader[i0] -> MemRef_tmp21[] };74; CHECK-NEXT: new: [p_0] -> { Stmt_for_cond7_preheader[i0] -> MemRef_ath[i0] };75; CHECK-NEXT: Stmt_if_then_176; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]77; CHECK-NEXT: [p_0] -> { Stmt_if_then_1[i0] -> MemRef_ATH[1 + 4p_0 + i0] };78; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]79; CHECK-NEXT: [p_0] -> { Stmt_if_then_1[i0] -> MemRef_tmp21[] };80; CHECK-NEXT: new: [p_0] -> { Stmt_if_then_1[i0] -> MemRef_ath[i0] };81; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]82; CHECK-NEXT: [p_0] -> { Stmt_if_then_1[i0] -> MemRef_min_1_1__phi[] };83; CHECK-NEXT: new: [p_0] -> { Stmt_if_then_1[i0] -> MemRef_ath[i0] };84; CHECK-NEXT: Stmt_if_else_1_last85; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]86; CHECK-NEXT: [p_0] -> { Stmt_if_else_1_last[i0] -> MemRef_min_1_1__phi[] };87; CHECK-NEXT: new: [p_0] -> { Stmt_if_else_1_last[i0] -> MemRef_ath[i0] : p_0 <= 576460752303423487 };88; CHECK-NEXT: Stmt_for_inc_189; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 1]90; CHECK-NEXT: [p_0] -> { Stmt_for_inc_1[i0] -> MemRef_min_1_1__phi[] };91; CHECK-NEXT: new: [p_0] -> { Stmt_for_inc_1[i0] -> MemRef_ath[i0] };92; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]93; CHECK-NEXT: [p_0] -> { Stmt_for_inc_1[i0] -> MemRef_ATH[0] };94; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]95; CHECK-NEXT: [p_0] -> { Stmt_for_inc_1[i0] -> MemRef_ATH[0] };96; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]97; CHECK-NEXT: [p_0] -> { Stmt_for_inc_1[i0] -> MemRef_ath[i0] };98; CHECK-NEXT: }99