236 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=loop-unroll -S -unroll-count=4 | FileCheck %s3; Test phi update after partial unroll.4 5declare i1 @check() nounwind6 7define void @test1(i32 %i, i32 %j) nounwind uwtable ssp {8;9; CHECK-LABEL: @test1(10; CHECK-NEXT: entry:11; CHECK-NEXT: [[COND1:%.*]] = call zeroext i1 @check()12; CHECK-NEXT: br i1 [[COND1]], label [[IF_THEN:%.*]], label [[IF_ELSE_LR_PH:%.*]]13; CHECK: if.else.lr.ph:14; CHECK-NEXT: br label [[IF_ELSE:%.*]]15; CHECK: if.else:16; CHECK-NEXT: [[SUB:%.*]] = phi i32 [ [[I:%.*]], [[IF_ELSE_LR_PH]] ], [ [[SUB5_3:%.*]], [[IF_ELSE_3:%.*]] ]17; CHECK-NEXT: [[SUB5:%.*]] = sub i32 [[SUB]], [[J:%.*]]18; CHECK-NEXT: [[COND2:%.*]] = call zeroext i1 @check()19; CHECK-NEXT: br i1 [[COND2]], label [[IF_THEN_LOOPEXIT:%.*]], label [[IF_ELSE_1:%.*]]20; CHECK: if.else.1:21; CHECK-NEXT: [[SUB5_1:%.*]] = sub i32 [[SUB5]], [[J]]22; CHECK-NEXT: [[COND2_1:%.*]] = call zeroext i1 @check()23; CHECK-NEXT: br i1 [[COND2_1]], label [[IF_THEN_LOOPEXIT]], label [[IF_ELSE_2:%.*]]24; CHECK: if.else.2:25; CHECK-NEXT: [[SUB5_2:%.*]] = sub i32 [[SUB5_1]], [[J]]26; CHECK-NEXT: [[COND2_2:%.*]] = call zeroext i1 @check()27; CHECK-NEXT: br i1 [[COND2_2]], label [[IF_THEN_LOOPEXIT]], label [[IF_ELSE_3]]28; CHECK: if.else.3:29; CHECK-NEXT: [[SUB5_3]] = sub i32 [[SUB5_2]], [[J]]30; CHECK-NEXT: [[COND2_3:%.*]] = call zeroext i1 @check()31; CHECK-NEXT: br i1 [[COND2_3]], label [[IF_THEN_LOOPEXIT]], label [[IF_ELSE]], !llvm.loop [[LOOP0:![0-9]+]]32; CHECK: if.then.loopexit:33; CHECK-NEXT: [[SUB5_LCSSA:%.*]] = phi i32 [ [[SUB5]], [[IF_ELSE]] ], [ [[SUB5_1]], [[IF_ELSE_1]] ], [ [[SUB5_2]], [[IF_ELSE_2]] ], [ [[SUB5_3]], [[IF_ELSE_3]] ]34; CHECK-NEXT: br label [[IF_THEN]]35; CHECK: if.then:36; CHECK-NEXT: [[I_TR:%.*]] = phi i32 [ [[I]], [[ENTRY:%.*]] ], [ [[SUB5_LCSSA]], [[IF_THEN_LOOPEXIT]] ]37; CHECK-NEXT: ret void38;39entry:40 %cond1 = call zeroext i1 @check()41 br i1 %cond1, label %if.then, label %if.else.lr.ph42 43if.else.lr.ph: ; preds = %entry44 br label %if.else45 46if.else: ; preds = %if.else, %if.else.lr.ph47 %sub = phi i32 [ %i, %if.else.lr.ph ], [ %sub5, %if.else ]48 %sub5 = sub i32 %sub, %j49 %cond2 = call zeroext i1 @check()50 br i1 %cond2, label %if.then, label %if.else51 52if.then: ; preds = %if.else, %entry53 %i.tr = phi i32 [ %i, %entry ], [ %sub5, %if.else ]54 ret void55 56}57 58; PR7318: assertion failure after doing a simple loop unroll59;60define i32 @test2(ptr nocapture %p, i32 %n) nounwind readonly {61;62; CHECK-LABEL: @test2(63; CHECK-NEXT: entry:64; CHECK-NEXT: [[TMP0:%.*]] = icmp sgt i32 [[N:%.*]], 065; CHECK-NEXT: br i1 [[TMP0]], label [[BB_NPH:%.*]], label [[BB2:%.*]]66; CHECK: bb.nph:67; CHECK-NEXT: [[TMP:%.*]] = zext i32 [[N]] to i6468; CHECK-NEXT: br label [[BB:%.*]]69; CHECK: bb:70; CHECK-NEXT: [[INDVAR:%.*]] = phi i64 [ 0, [[BB_NPH]] ], [ [[INDVAR_NEXT_3:%.*]], [[BB1_3:%.*]] ]71; CHECK-NEXT: [[S_01:%.*]] = phi i32 [ 0, [[BB_NPH]] ], [ [[TMP8:%.*]], [[BB1_3]] ]72; CHECK-NEXT: [[SCEVGEP:%.*]] = getelementptr i32, ptr [[P:%.*]], i64 [[INDVAR]]73; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[SCEVGEP]], align 174; CHECK-NEXT: [[TMP2:%.*]] = add nsw i32 [[TMP1]], [[S_01]]75; CHECK-NEXT: br label [[BB1:%.*]]76; CHECK: bb1:77; CHECK-NEXT: [[INDVAR_NEXT:%.*]] = add nuw nsw i64 [[INDVAR]], 178; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i64 [[INDVAR_NEXT]], [[TMP]]79; CHECK-NEXT: br i1 [[EXITCOND]], label [[BB_1:%.*]], label [[BB1_BB2_CRIT_EDGE:%.*]]80; CHECK: bb.1:81; CHECK-NEXT: [[SCEVGEP_1:%.*]] = getelementptr i32, ptr [[P]], i64 [[INDVAR_NEXT]]82; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[SCEVGEP_1]], align 183; CHECK-NEXT: [[TMP4:%.*]] = add nsw i32 [[TMP3]], [[TMP2]]84; CHECK-NEXT: br label [[BB1_1:%.*]]85; CHECK: bb1.1:86; CHECK-NEXT: [[INDVAR_NEXT_1:%.*]] = add nuw nsw i64 [[INDVAR]], 287; CHECK-NEXT: [[EXITCOND_1:%.*]] = icmp ne i64 [[INDVAR_NEXT_1]], [[TMP]]88; CHECK-NEXT: br i1 [[EXITCOND_1]], label [[BB_2:%.*]], label [[BB1_BB2_CRIT_EDGE]]89; CHECK: bb.2:90; CHECK-NEXT: [[SCEVGEP_2:%.*]] = getelementptr i32, ptr [[P]], i64 [[INDVAR_NEXT_1]]91; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[SCEVGEP_2]], align 192; CHECK-NEXT: [[TMP6:%.*]] = add nsw i32 [[TMP5]], [[TMP4]]93; CHECK-NEXT: br label [[BB1_2:%.*]]94; CHECK: bb1.2:95; CHECK-NEXT: [[INDVAR_NEXT_2:%.*]] = add nuw nsw i64 [[INDVAR]], 396; CHECK-NEXT: [[EXITCOND_2:%.*]] = icmp ne i64 [[INDVAR_NEXT_2]], [[TMP]]97; CHECK-NEXT: br i1 [[EXITCOND_2]], label [[BB_3:%.*]], label [[BB1_BB2_CRIT_EDGE]]98; CHECK: bb.3:99; CHECK-NEXT: [[SCEVGEP_3:%.*]] = getelementptr i32, ptr [[P]], i64 [[INDVAR_NEXT_2]]100; CHECK-NEXT: [[TMP7:%.*]] = load i32, ptr [[SCEVGEP_3]], align 1101; CHECK-NEXT: [[TMP8]] = add nsw i32 [[TMP7]], [[TMP6]]102; CHECK-NEXT: br label [[BB1_3]]103; CHECK: bb1.3:104; CHECK-NEXT: [[INDVAR_NEXT_3]] = add i64 [[INDVAR]], 4105; CHECK-NEXT: [[EXITCOND_3:%.*]] = icmp ne i64 [[INDVAR_NEXT_3]], [[TMP]]106; CHECK-NEXT: br i1 [[EXITCOND_3]], label [[BB]], label [[BB1_BB2_CRIT_EDGE]], !llvm.loop [[LOOP2:![0-9]+]]107; CHECK: bb1.bb2_crit_edge:108; CHECK-NEXT: [[DOTLCSSA:%.*]] = phi i32 [ [[TMP2]], [[BB1]] ], [ [[TMP4]], [[BB1_1]] ], [ [[TMP6]], [[BB1_2]] ], [ [[TMP8]], [[BB1_3]] ]109; CHECK-NEXT: br label [[BB2]]110; CHECK: bb2:111; CHECK-NEXT: [[S_0_LCSSA:%.*]] = phi i32 [ [[DOTLCSSA]], [[BB1_BB2_CRIT_EDGE]] ], [ 0, [[ENTRY:%.*]] ]112; CHECK-NEXT: ret i32 [[S_0_LCSSA]]113;114entry:115 %0 = icmp sgt i32 %n, 0 ; <i1> [#uses=1]116 br i1 %0, label %bb.nph, label %bb2117 118bb.nph: ; preds = %entry119 %tmp = zext i32 %n to i64 ; <i64> [#uses=1]120 br label %bb121 122bb: ; preds = %bb.nph, %bb1123 %indvar = phi i64 [ 0, %bb.nph ], [ %indvar.next, %bb1 ] ; <i64> [#uses=2]124 %s.01 = phi i32 [ 0, %bb.nph ], [ %2, %bb1 ] ; <i32> [#uses=1]125 %scevgep = getelementptr i32, ptr %p, i64 %indvar ; <ptr> [#uses=1]126 %1 = load i32, ptr %scevgep, align 1 ; <i32> [#uses=1]127 %2 = add nsw i32 %1, %s.01 ; <i32> [#uses=2]128 br label %bb1129 130bb1: ; preds = %bb131 %indvar.next = add i64 %indvar, 1 ; <i64> [#uses=2]132 %exitcond = icmp ne i64 %indvar.next, %tmp ; <i1> [#uses=1]133 br i1 %exitcond, label %bb, label %bb1.bb2_crit_edge134 135bb1.bb2_crit_edge: ; preds = %bb1136 %.lcssa = phi i32 [ %2, %bb1 ] ; <i32> [#uses=1]137 br label %bb2138 139bb2: ; preds = %bb1.bb2_crit_edge, %entry140 %s.0.lcssa = phi i32 [ %.lcssa, %bb1.bb2_crit_edge ], [ 0, %entry ] ; <i32> [#uses=1]141 ret i32 %s.0.lcssa142}143 144; Check phi update for loop with an early-exit.145;146define i32 @test3(i1 %arg) nounwind uwtable ssp align 2 {147;148; CHECK-LABEL: @test3(149; CHECK-NEXT: entry:150; CHECK-NEXT: [[COND1:%.*]] = call zeroext i1 @check()151; CHECK-NEXT: br i1 [[COND1]], label [[RETURN:%.*]], label [[IF_END:%.*]]152; CHECK: if.end:153; CHECK-NEXT: br label [[DO_BODY:%.*]]154; CHECK: do.body:155; CHECK-NEXT: [[COND2:%.*]] = call zeroext i1 @check()156; CHECK-NEXT: br i1 [[COND2]], label [[EXIT:%.*]], label [[DO_COND:%.*]]157; CHECK: exit:158; CHECK-NEXT: [[TMP7_I:%.*]] = load i32, ptr undef, align 8159; CHECK-NEXT: br i1 [[ARG:%.*]], label [[DO_COND]], label [[LAND_LHS_TRUE:%.*]]160; CHECK: land.lhs.true:161; CHECK-NEXT: br i1 [[ARG]], label [[RETURN_LOOPEXIT:%.*]], label [[DO_COND]]162; CHECK: do.cond:163; CHECK-NEXT: [[COND3:%.*]] = call zeroext i1 @check()164; CHECK-NEXT: br i1 [[COND3]], label [[DO_END:%.*]], label [[DO_BODY_1:%.*]]165; CHECK: do.body.1:166; CHECK-NEXT: [[COND2_1:%.*]] = call zeroext i1 @check()167; CHECK-NEXT: br i1 [[COND2_1]], label [[EXIT_1:%.*]], label [[DO_COND_1:%.*]]168; CHECK: exit.1:169; CHECK-NEXT: [[TMP7_I_1:%.*]] = load i32, ptr undef, align 8170; CHECK-NEXT: br i1 [[ARG]], label [[DO_COND_1]], label [[LAND_LHS_TRUE_1:%.*]]171; CHECK: land.lhs.true.1:172; CHECK-NEXT: br i1 [[ARG]], label [[RETURN_LOOPEXIT]], label [[DO_COND_1]]173; CHECK: do.cond.1:174; CHECK-NEXT: [[COND3_1:%.*]] = call zeroext i1 @check()175; CHECK-NEXT: br i1 [[COND3_1]], label [[DO_END]], label [[DO_BODY_2:%.*]]176; CHECK: do.body.2:177; CHECK-NEXT: [[COND2_2:%.*]] = call zeroext i1 @check()178; CHECK-NEXT: br i1 [[COND2_2]], label [[EXIT_2:%.*]], label [[DO_COND_2:%.*]]179; CHECK: exit.2:180; CHECK-NEXT: [[TMP7_I_2:%.*]] = load i32, ptr undef, align 8181; CHECK-NEXT: br i1 [[ARG]], label [[DO_COND_2]], label [[LAND_LHS_TRUE_2:%.*]]182; CHECK: land.lhs.true.2:183; CHECK-NEXT: br i1 [[ARG]], label [[RETURN_LOOPEXIT]], label [[DO_COND_2]]184; CHECK: do.cond.2:185; CHECK-NEXT: [[COND3_2:%.*]] = call zeroext i1 @check()186; CHECK-NEXT: br i1 [[COND3_2]], label [[DO_END]], label [[DO_BODY_3:%.*]]187; CHECK: do.body.3:188; CHECK-NEXT: [[COND2_3:%.*]] = call zeroext i1 @check()189; CHECK-NEXT: br i1 [[COND2_3]], label [[EXIT_3:%.*]], label [[DO_COND_3:%.*]]190; CHECK: exit.3:191; CHECK-NEXT: [[TMP7_I_3:%.*]] = load i32, ptr undef, align 8192; CHECK-NEXT: br i1 [[ARG]], label [[DO_COND_3]], label [[LAND_LHS_TRUE_3:%.*]]193; CHECK: land.lhs.true.3:194; CHECK-NEXT: br i1 [[ARG]], label [[RETURN_LOOPEXIT]], label [[DO_COND_3]]195; CHECK: do.cond.3:196; CHECK-NEXT: [[COND3_3:%.*]] = call zeroext i1 @check()197; CHECK-NEXT: br i1 [[COND3_3]], label [[DO_END]], label [[DO_BODY]], !llvm.loop [[LOOP3:![0-9]+]]198; CHECK: do.end:199; CHECK-NEXT: br label [[RETURN]]200; CHECK: return.loopexit:201; CHECK-NEXT: [[TMP7_I_LCSSA:%.*]] = phi i32 [ [[TMP7_I]], [[LAND_LHS_TRUE]] ], [ [[TMP7_I_1]], [[LAND_LHS_TRUE_1]] ], [ [[TMP7_I_2]], [[LAND_LHS_TRUE_2]] ], [ [[TMP7_I_3]], [[LAND_LHS_TRUE_3]] ]202; CHECK-NEXT: br label [[RETURN]]203; CHECK: return:204; CHECK-NEXT: [[RETVAL_0:%.*]] = phi i32 [ 0, [[DO_END]] ], [ 0, [[ENTRY:%.*]] ], [ [[TMP7_I_LCSSA]], [[RETURN_LOOPEXIT]] ]205; CHECK-NEXT: ret i32 [[RETVAL_0]]206;207entry:208 %cond1 = call zeroext i1 @check()209 br i1 %cond1, label %return, label %if.end210 211if.end: ; preds = %entry212 br label %do.body213 214do.body: ; preds = %do.cond, %if.end215 %cond2 = call zeroext i1 @check()216 br i1 %cond2, label %exit, label %do.cond217 218exit: ; preds = %do.body219 %tmp7.i = load i32, ptr undef, align 8220 br i1 %arg, label %do.cond, label %land.lhs.true221 222land.lhs.true: ; preds = %exit223 br i1 %arg, label %return, label %do.cond224 225do.cond: ; preds = %land.lhs.true, %exit, %do.body226 %cond3 = call zeroext i1 @check()227 br i1 %cond3, label %do.end, label %do.body228 229do.end: ; preds = %do.cond230 br label %return231 232return: ; preds = %do.end, %land.lhs.true, %entry233 %retval.0 = phi i32 [ 0, %do.end ], [ 0, %entry ], [ %tmp7.i, %land.lhs.true ]234 ret i32 %retval.0235}236