1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -S -loop-reduce -mtriple=x86_64-- -mcpu=core2 | FileCheck %s 3 4declare i1 @check() nounwind 5declare i1 @foo(ptr, ptr, ptr) nounwind 6 7; Check that redundant phi elimination ran 8define i32 @test(ptr %base) nounwind uwtable ssp { 9; CHECK-LABEL: @test( 10; CHECK-NEXT: entry: 11; CHECK-NEXT: br label [[WHILE_BODY_LR_PH_I:%.*]] 12; CHECK: while.body.lr.ph.i: 13; CHECK-NEXT: [[SCEVGEP:%.*]] = getelementptr i8, ptr [[BASE:%.*]], i64 16 14; CHECK-NEXT: br label [[WHILE_BODY_I:%.*]] 15; CHECK: while.body.i: 16; CHECK-NEXT: [[INDVARS_IV7_I:%.*]] = phi i64 [ 16, [[WHILE_BODY_LR_PH_I]] ], [ [[INDVARS_IV_NEXT8_I:%.*]], [[COND_TRUE29_I:%.*]] ] 17; CHECK-NEXT: [[I_05_I:%.*]] = phi i64 [ 0, [[WHILE_BODY_LR_PH_I]] ], [ [[INDVARS_IV7_I]], [[COND_TRUE29_I]] ] 18; CHECK-NEXT: [[LSR4:%.*]] = trunc i64 [[I_05_I]] to i32 19; CHECK-NEXT: [[TMP0:%.*]] = sext i32 [[LSR4]] to i64 20; CHECK-NEXT: [[SCEVGEP1:%.*]] = getelementptr i8, ptr [[SCEVGEP]], i64 [[TMP0]] 21; CHECK-NEXT: [[SEXT_I:%.*]] = shl i64 [[I_05_I]], 32 22; CHECK-NEXT: [[IDX_EXT_I:%.*]] = ashr exact i64 [[SEXT_I]], 32 23; CHECK-NEXT: [[ADD_PTR_SUM_I:%.*]] = add i64 [[IDX_EXT_I]], 16 24; CHECK-NEXT: br label [[FOR_BODY_I:%.*]] 25; CHECK: for.body.i: 26; CHECK-NEXT: [[LSR_IV2:%.*]] = phi ptr [ [[SCEVGEP3:%.*]], [[FOR_BODY_I]] ], [ [[SCEVGEP1]], [[WHILE_BODY_I]] ] 27; CHECK-NEXT: [[TMP1:%.*]] = load i8, ptr [[LSR_IV2]], align 1 28; CHECK-NEXT: [[CMP:%.*]] = call i1 @check() #[[ATTR3:[0-9]+]] 29; CHECK-NEXT: [[SCEVGEP3]] = getelementptr i8, ptr [[LSR_IV2]], i64 1 30; CHECK-NEXT: br i1 [[CMP]], label [[FOR_END_I:%.*]], label [[FOR_BODY_I]] 31; CHECK: for.end.i: 32; CHECK-NEXT: [[ADD_PTR_I144:%.*]] = getelementptr inbounds i8, ptr [[BASE]], i64 [[ADD_PTR_SUM_I]] 33; CHECK-NEXT: [[CMP2:%.*]] = tail call i1 @foo(ptr [[ADD_PTR_I144]], ptr [[ADD_PTR_I144]], ptr undef) #[[ATTR3]] 34; CHECK-NEXT: br i1 [[CMP2]], label [[COND_TRUE29_I]], label [[COND_FALSE35_I:%.*]] 35; CHECK: cond.true29.i: 36; CHECK-NEXT: [[INDVARS_IV_NEXT8_I]] = add i64 [[INDVARS_IV7_I]], 16 37; CHECK-NEXT: br i1 false, label [[EXIT:%.*]], label [[WHILE_BODY_I]] 38; CHECK: cond.false35.i: 39; CHECK-NEXT: unreachable 40; CHECK: exit: 41; CHECK-NEXT: ret i32 0 42; 43entry: 44 br label %while.body.lr.ph.i 45 46while.body.lr.ph.i: ; preds = %cond.true.i 47 br label %while.body.i 48 49while.body.i: ; preds = %cond.true29.i, %while.body.lr.ph.i 50 %indvars.iv7.i = phi i64 [ 16, %while.body.lr.ph.i ], [ %indvars.iv.next8.i, %cond.true29.i ] 51 %i.05.i = phi i64 [ 0, %while.body.lr.ph.i ], [ %indvars.iv7.i, %cond.true29.i ] 52 %sext.i = shl i64 %i.05.i, 32 53 %idx.ext.i = ashr exact i64 %sext.i, 32 54 %add.ptr.sum.i = add i64 %idx.ext.i, 16 55 br label %for.body.i 56 57for.body.i: ; preds = %for.body.i, %while.body.i 58 %indvars.iv.i = phi i64 [ 0, %while.body.i ], [ %indvars.iv.next.i, %for.body.i ] 59 %add.ptr.sum = add i64 %add.ptr.sum.i, %indvars.iv.i 60 %arrayidx22.i = getelementptr inbounds i8, ptr %base, i64 %add.ptr.sum 61 %0 = load i8, ptr %arrayidx22.i, align 1 62 %indvars.iv.next.i = add i64 %indvars.iv.i, 1 63 %cmp = call i1 @check() nounwind 64 br i1 %cmp, label %for.end.i, label %for.body.i 65 66for.end.i: ; preds = %for.body.i 67 %add.ptr.i144 = getelementptr inbounds i8, ptr %base, i64 %add.ptr.sum.i 68 %cmp2 = tail call i1 @foo(ptr %add.ptr.i144, ptr %add.ptr.i144, ptr undef) nounwind 69 br i1 %cmp2, label %cond.true29.i, label %cond.false35.i 70 71cond.true29.i: ; preds = %for.end.i 72 %indvars.iv.next8.i = add i64 %indvars.iv7.i, 16 73 br i1 false, label %exit, label %while.body.i 74 75cond.false35.i: ; preds = %for.end.i 76 unreachable 77 78exit: ; preds = %cond.true29.i, %cond.true.i 79 ret i32 0 80} 81 82%struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771 = type { i32, i32, i32 } 83 84@tags = external global [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], align 16 85 86; PR11782: SCEVExpander assert 87; 88; Test phi reuse after LSR that requires SCEVExpander to hoist an 89; interesting GEP. 90; 91define void @test2(i32 %n, i1 %arg) nounwind uwtable { 92; CHECK-LABEL: @test2( 93; CHECK-NEXT: entry: 94; CHECK-NEXT: br i1 [[ARG:%.*]], label [[WHILE_END:%.*]], label [[FOR_COND468_PREHEADER:%.*]] 95; CHECK: for.cond468.preheader: 96; CHECK-NEXT: br label [[FOR_COND468:%.*]] 97; CHECK: for.cond468: 98; CHECK-NEXT: [[LSR_IV1:%.*]] = phi i32 [ 1, [[FOR_COND468_PREHEADER]] ], [ [[LSR_IV_NEXT:%.*]], [[IF_THEN477:%.*]] ] 99; CHECK-NEXT: [[LSR_IV:%.*]] = phi ptr [ getelementptr inbounds nuw (i8, ptr @tags, i64 8), [[FOR_COND468_PREHEADER]] ], [ [[SCEVGEP:%.*]], [[IF_THEN477]] ] 100; CHECK-NEXT: [[K_0:%.*]] = load i32, ptr [[LSR_IV]], align 4 101; CHECK-NEXT: [[CMP469:%.*]] = icmp slt i32 [[LSR_IV1]], [[N:%.*]] 102; CHECK-NEXT: br i1 [[CMP469]], label [[FOR_BODY471:%.*]], label [[FOR_INC498_PREHEADER:%.*]] 103; CHECK: for.body471: 104; CHECK-NEXT: [[SCEVGEP2:%.*]] = getelementptr i8, ptr [[LSR_IV]], i64 8 105; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[SCEVGEP2]], align 4 106; CHECK-NEXT: br i1 [[ARG]], label [[IF_THEN477]], label [[FOR_INC498_PREHEADER]] 107; CHECK: for.inc498.preheader: 108; CHECK-NEXT: br label [[FOR_INC498:%.*]] 109; CHECK: if.then477: 110; CHECK-NEXT: [[SCEVGEP]] = getelementptr i8, ptr [[LSR_IV]], i64 12 111; CHECK-NEXT: [[LSR_IV_NEXT]] = add nuw i32 [[LSR_IV1]], 1 112; CHECK-NEXT: br label [[FOR_COND468]] 113; CHECK: for.inc498: 114; CHECK-NEXT: br label [[FOR_INC498]] 115; CHECK: while.end: 116; CHECK-NEXT: ret void 117; 118entry: 119 br i1 %arg, label %while.end, label %for.cond468 120 121for.cond468: ; preds = %if.then477, %entry 122 %indvars.iv1163 = phi i64 [ %indvars.iv.next1164, %if.then477 ], [ 1, %entry ] 123 %k.0.in = phi ptr [ %last, %if.then477 ], [ getelementptr inbounds ([5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], ptr @tags, i64 0, i64 0, i32 2), %entry ] 124 %k.0 = load i32, ptr %k.0.in, align 4 125 %0 = trunc i64 %indvars.iv1163 to i32 126 %cmp469 = icmp slt i32 %0, %n 127 br i1 %cmp469, label %for.body471, label %for.inc498 128 129for.body471: ; preds = %for.cond468 130 %first = getelementptr inbounds [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], ptr @tags, i64 0, i64 %indvars.iv1163, i32 1 131 %1 = load i32, ptr %first, align 4 132 br i1 %arg, label %if.then477, label %for.inc498 133 134if.then477: ; preds = %for.body471 135 %last = getelementptr inbounds [5000 x %struct.anon.7.91.199.307.415.475.559.643.751.835.943.1003.1111.1219.1351.1375.1399.1435.1471.1483.1519.1531.1651.1771], ptr @tags, i64 0, i64 %indvars.iv1163, i32 2 136 %indvars.iv.next1164 = add i64 %indvars.iv1163, 1 137 br label %for.cond468 138 139for.inc498: ; preds = %for.inc498, %for.body471, %for.cond468 140 br label %for.inc498 141 142while.end: ; preds = %entry 143 ret void 144} 145 146; PR12898: SCEVExpander crash 147; Test redundant phi elimination when the deleted phi's increment is 148; itself a phi. 149; 150define fastcc void @test3(ptr nocapture %u, i1 %arg) nounwind uwtable ssp { 151; CHECK-LABEL: @test3( 152; CHECK-NEXT: entry: 153; CHECK-NEXT: br i1 [[ARG:%.*]], label [[MESHBB1_PREHEADER:%.*]], label [[MESHBB5:%.*]] 154; CHECK: meshBB1.preheader: 155; CHECK-NEXT: br label [[MESHBB1:%.*]] 156; CHECK: for.inc8.us.i: 157; CHECK-NEXT: br i1 [[ARG]], label [[MESHBB1_LOOPEXIT:%.*]], label [[MESHBB:%.*]] 158; CHECK: for.body3.us.i: 159; CHECK-NEXT: [[TMP:%.*]] = phi i32 [ [[LSR_IV_NEXT:%.*]], [[MESHBB]] ], [ [[TMP3:%.*]], [[FOR_BODY3_LR_PH_US_I:%.*]] ] 160; CHECK-NEXT: [[SCEVGEP:%.*]] = phi ptr [ [[SCEVGEP1:%.*]], [[MESHBB]] ], [ [[U:%.*]], [[FOR_BODY3_LR_PH_US_I]] ] 161; CHECK-NEXT: [[OPQ_SA_CALC12:%.*]] = sub i32 undef, 227 162; CHECK-NEXT: [[MUL_I_US_I:%.*]] = mul nsw i32 0, [[TMP]] 163; CHECK-NEXT: [[TMP2:%.*]] = load double, ptr [[SCEVGEP]], align 8 164; CHECK-NEXT: br i1 [[ARG]], label [[FOR_INC8_US_I:%.*]], label [[MESHBB]] 165; CHECK: for.body3.lr.ph.us.i.loopexit: 166; CHECK-NEXT: br label [[FOR_BODY3_LR_PH_US_I]] 167; CHECK: for.body3.lr.ph.us.i: 168; CHECK-NEXT: [[LSR_IV:%.*]] = phi i64 [ undef, [[MESHBB1]] ], [ [[INDVARS_IV8_I_SV_PHI24:%.*]], [[FOR_BODY3_LR_PH_US_I_LOOPEXIT:%.*]] ] 169; CHECK-NEXT: [[ARRAYIDX_US_I:%.*]] = getelementptr inbounds double, ptr undef, i64 [[LSR_IV]] 170; CHECK-NEXT: [[TMP1:%.*]] = add i64 [[LSR_IV]], 1 171; CHECK-NEXT: [[TMP3]] = trunc i64 [[LSR_IV]] to i32 172; CHECK-NEXT: br label [[FOR_BODY3_US_I:%.*]] 173; CHECK: for.inc8.us.i2: 174; CHECK-NEXT: unreachable 175; CHECK: eval_At_times_u.exit: 176; CHECK-NEXT: ret void 177; CHECK: meshBB: 178; CHECK-NEXT: [[INDVARS_IV8_I_SV_PHI24]] = phi i64 [ undef, [[FOR_BODY3_US_I]] ], [ [[TMP1]], [[FOR_INC8_US_I]] ] 179; CHECK-NEXT: [[MESHSTACKVARIABLE_PHI:%.*]] = phi i32 [ [[OPQ_SA_CALC12]], [[FOR_BODY3_US_I]] ], [ undef, [[FOR_INC8_US_I]] ] 180; CHECK-NEXT: [[SCEVGEP1]] = getelementptr i8, ptr [[SCEVGEP]], i64 8 181; CHECK-NEXT: [[LSR_IV_NEXT]] = add i32 [[TMP]], 1 182; CHECK-NEXT: br i1 [[ARG]], label [[FOR_BODY3_LR_PH_US_I_LOOPEXIT]], label [[FOR_BODY3_US_I]] 183; CHECK: meshBB1.loopexit: 184; CHECK-NEXT: br label [[MESHBB1]] 185; CHECK: meshBB1: 186; CHECK-NEXT: br label [[FOR_BODY3_LR_PH_US_I]] 187; CHECK: meshBB5: 188; CHECK-NEXT: br i1 [[ARG]], label [[EVAL_AT_TIMES_U_EXIT:%.*]], label [[FOR_INC8_US_I2:%.*]] 189; 190entry: 191 br i1 %arg, label %meshBB1, label %meshBB5 192 193for.inc8.us.i: ; preds = %for.body3.us.i 194 br i1 %arg, label %meshBB1, label %meshBB 195 196for.body3.us.i: ; preds = %meshBB, %for.body3.lr.ph.us.i 197 %indvars.iv.i.SV.phi = phi i64 [ %indvars.iv.next.i, %meshBB ], [ 0, %for.body3.lr.ph.us.i ] 198 %storemerge13.us.i.SV.phi = phi i32 [ 0, %meshBB ], [ 0, %for.body3.lr.ph.us.i ] 199 %Opq.sa.calc12 = sub i32 undef, 227 200 %0 = add nsw i64 %indvars.iv.i.SV.phi, %indvars.iv8.i.SV.phi26 201 %1 = trunc i64 %0 to i32 202 %mul.i.us.i = mul nsw i32 0, %1 203 %arrayidx5.us.i = getelementptr inbounds double, ptr %u, i64 %indvars.iv.i.SV.phi 204 %2 = load double, ptr %arrayidx5.us.i, align 8 205 %indvars.iv.next.i = add i64 %indvars.iv.i.SV.phi, 1 206 br i1 %arg, label %for.inc8.us.i, label %meshBB 207 208for.body3.lr.ph.us.i: ; preds = %meshBB1, %meshBB 209 %indvars.iv8.i.SV.phi26 = phi i64 [ undef, %meshBB1 ], [ %indvars.iv8.i.SV.phi24, %meshBB ] 210 %arrayidx.us.i = getelementptr inbounds double, ptr undef, i64 %indvars.iv8.i.SV.phi26 211 %3 = add i64 %indvars.iv8.i.SV.phi26, 1 212 br label %for.body3.us.i 213 214for.inc8.us.i2: ; preds = %meshBB5 215 unreachable 216 217eval_At_times_u.exit: ; preds = %meshBB5 218 ret void 219 220meshBB: ; preds = %for.body3.us.i, %for.inc8.us.i 221 %indvars.iv8.i.SV.phi24 = phi i64 [ undef, %for.body3.us.i ], [ %3, %for.inc8.us.i ] 222 %meshStackVariable.phi = phi i32 [ %Opq.sa.calc12, %for.body3.us.i ], [ undef, %for.inc8.us.i ] 223 br i1 %arg, label %for.body3.lr.ph.us.i, label %for.body3.us.i 224 225meshBB1: ; preds = %for.inc8.us.i, %entry 226 br label %for.body3.lr.ph.us.i 227 228meshBB5: ; preds = %entry 229 br i1 %arg, label %eval_At_times_u.exit, label %for.inc8.us.i2 230} 231