1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=instcombine < %s | FileCheck %s 3 4; This used to cause on infinite instcombine loop. 5 6define void @test(i1 %c, i1 %c2, i1 %c3, i1 %c4, i1 %c5, i1 %c6, i1 %c7, i1 %c8, i1 %c9, ptr %p) { 7; CHECK-LABEL: @test( 8; CHECK-NEXT: bb16: 9; CHECK-NEXT: br i1 [[C:%.*]], label [[BB17:%.*]], label [[BB24:%.*]] 10; CHECK: bb17: 11; CHECK-NEXT: [[I:%.*]] = phi ptr [ [[DOTIN1:%.*]], [[BB47:%.*]] ], [ undef, [[BB16:%.*]] ] 12; CHECK-NEXT: store ptr [[I]], ptr [[P:%.*]], align 8 13; CHECK-NEXT: ret void 14; CHECK: bb24: 15; CHECK-NEXT: br i1 [[C2:%.*]], label [[BB44:%.*]], label [[BB49:%.*]] 16; CHECK: bb44: 17; CHECK-NEXT: [[TMP46:%.*]] = load ptr, ptr inttoptr (i64 16 to ptr), align 16 18; CHECK-NEXT: br label [[BB47]] 19; CHECK: bb47: 20; CHECK-NEXT: [[DOTIN1]] = phi ptr [ [[DOTIN:%.*]], [[BB150:%.*]] ], [ [[TMP122:%.*]], [[BB119:%.*]] ], [ [[TMP103:%.*]], [[BB101:%.*]] ], [ [[TMP93:%.*]], [[BB91:%.*]] ], [ [[TMP83:%.*]], [[BB81:%.*]] ], [ [[TMP70:%.*]], [[BB67:%.*]] ], [ [[TMP58:%.*]], [[BB56:%.*]] ], [ [[TMP46]], [[BB44]] ] 21; CHECK-NEXT: br label [[BB17]] 22; CHECK: bb49: 23; CHECK-NEXT: br i1 [[C3:%.*]], label [[BB56]], label [[BB59:%.*]] 24; CHECK: bb56: 25; CHECK-NEXT: [[TMP58]] = load ptr, ptr inttoptr (i64 16 to ptr), align 16 26; CHECK-NEXT: br label [[BB47]] 27; CHECK: bb59: 28; CHECK-NEXT: br i1 [[C4:%.*]], label [[BB67]], label [[BB71:%.*]] 29; CHECK: bb67: 30; CHECK-NEXT: [[TMP70]] = load ptr, ptr inttoptr (i64 16 to ptr), align 16 31; CHECK-NEXT: br label [[BB47]] 32; CHECK: bb71: 33; CHECK-NEXT: br i1 [[C5:%.*]], label [[BB81]], label [[BB84:%.*]] 34; CHECK: bb81: 35; CHECK-NEXT: [[TMP83]] = load ptr, ptr inttoptr (i64 16 to ptr), align 16 36; CHECK-NEXT: br label [[BB47]] 37; CHECK: bb84: 38; CHECK-NEXT: br i1 [[C6:%.*]], label [[BB91]], label [[BB94:%.*]] 39; CHECK: bb91: 40; CHECK-NEXT: [[TMP93]] = load ptr, ptr inttoptr (i64 16 to ptr), align 16 41; CHECK-NEXT: br label [[BB47]] 42; CHECK: bb94: 43; CHECK-NEXT: br i1 [[C7:%.*]], label [[BB101]], label [[BB104:%.*]] 44; CHECK: bb101: 45; CHECK-NEXT: [[TMP103]] = load ptr, ptr inttoptr (i64 16 to ptr), align 16 46; CHECK-NEXT: br label [[BB47]] 47; CHECK: bb104: 48; CHECK-NEXT: br i1 [[C8:%.*]], label [[BB119]], label [[BB123:%.*]] 49; CHECK: bb119: 50; CHECK-NEXT: [[TMP122]] = load ptr, ptr inttoptr (i64 16 to ptr), align 16 51; CHECK-NEXT: br label [[BB47]] 52; CHECK: bb123: 53; CHECK-NEXT: br i1 [[C9:%.*]], label [[BB147:%.*]], label [[BB152:%.*]] 54; CHECK: bb147: 55; CHECK-NEXT: [[TMP149:%.*]] = load ptr, ptr inttoptr (i64 16 to ptr), align 16 56; CHECK-NEXT: br label [[BB150]] 57; CHECK: bb150: 58; CHECK-NEXT: [[DOTIN]] = phi ptr [ poison, [[BB152]] ], [ [[TMP149]], [[BB147]] ] 59; CHECK-NEXT: br label [[BB47]] 60; CHECK: bb152: 61; CHECK-NEXT: store i1 true, ptr poison, align 1 62; CHECK-NEXT: br label [[BB150]] 63; 64bb16: 65 br i1 %c, label %bb17, label %bb24 66 67bb17: ; preds = %bb47, %bb16 68 %i = phi ptr [ %.in1, %bb47 ], [ undef, %bb16 ] 69 store ptr %i, ptr %p, align 8 70 ret void 71 72bb24: ; preds = %bb16 73 br i1 %c2, label %bb44, label %bb49 74 75bb44: ; preds = %bb24 76 %tmp46 = load ptr, ptr inttoptr (i64 16 to ptr), align 16 77 br label %bb47 78 79bb47: ; preds = %bb150, %bb119, %bb101, %bb91, %bb81, %bb67, %bb56, %bb44 80 %.in1 = phi ptr [ %.in, %bb150 ], [ %tmp122, %bb119 ], [ %tmp103, %bb101 ], [ %tmp93, %bb91 ], [ %tmp83, %bb81 ], [ %tmp70, %bb67 ], [ %tmp58, %bb56 ], [ %tmp46, %bb44 ] 81 br label %bb17 82 83bb49: ; preds = %bb24 84 br i1 %c3, label %bb56, label %bb59 85 86bb56: ; preds = %bb49 87 %tmp58 = load ptr, ptr inttoptr (i64 16 to ptr), align 16 88 br label %bb47 89 90bb59: ; preds = %bb49 91 br i1 %c4, label %bb67, label %bb71 92 93bb67: ; preds = %bb59 94 %tmp70 = load ptr, ptr inttoptr (i64 16 to ptr), align 16 95 br label %bb47 96 97bb71: ; preds = %bb59 98 br i1 %c5, label %bb81, label %bb84 99 100bb81: ; preds = %bb71 101 %tmp83 = load ptr, ptr inttoptr (i64 16 to ptr), align 16 102 br label %bb47 103 104bb84: ; preds = %bb71 105 br i1 %c6, label %bb91, label %bb94 106 107bb91: ; preds = %bb84 108 %tmp93 = load ptr, ptr inttoptr (i64 16 to ptr), align 16 109 br label %bb47 110 111bb94: ; preds = %bb84 112 br i1 %c7, label %bb101, label %bb104 113 114bb101: ; preds = %bb94 115 %tmp103 = load ptr, ptr inttoptr (i64 16 to ptr), align 16 116 br label %bb47 117 118bb104: ; preds = %bb94 119 br i1 %c8, label %bb119, label %bb123 120 121bb119: ; preds = %bb104 122 %tmp122 = load ptr, ptr inttoptr (i64 16 to ptr), align 16 123 br label %bb47 124 125bb123: ; preds = %bb104 126 br i1 %c9, label %bb147, label %bb152 127 128bb147: ; preds = %bb123 129 %tmp149 = load ptr, ptr inttoptr (i64 16 to ptr), align 16 130 br label %bb150 131 132bb150: ; preds = %bb152, %bb147 133 %.in = phi ptr [ %tmp184, %bb152 ], [ %tmp149, %bb147 ] 134 br label %bb47 135 136bb152: ; preds = %bb123 137 %tmp184 = load ptr, ptr inttoptr (i64 16 to ptr), align 16 138 call void undef() 139 br label %bb150 140} 141 142 143; This used to cause an instcombine loop when the problem above was 144; addressed in a non-robust fashion. 145%type_1 = type {} 146%type_2 = type {} 147%type_3 = type {} 148 149define void @test_2(i1 %c) local_unnamed_addr { 150; CHECK-LABEL: @test_2( 151; CHECK-NEXT: entry: 152; CHECK-NEXT: br label [[WHILE_COND:%.*]] 153; CHECK: while.cond: 154; CHECK-NEXT: br label [[FOR_COND:%.*]] 155; CHECK: for.cond: 156; CHECK-NEXT: br i1 [[C:%.*]], label [[COND_TRUE133:%.*]], label [[COND_FALSE138:%.*]] 157; CHECK: cond.true133: 158; CHECK-NEXT: br label [[COND_END144:%.*]] 159; CHECK: cond.false138: 160; CHECK-NEXT: br label [[COND_END144]] 161; CHECK: cond.end144: 162; CHECK-NEXT: store i1 true, ptr poison, align 1 163; CHECK-NEXT: br label [[WHILE_COND]] 164; 165entry: 166 br label %while.cond 167 168while.cond: ; preds = %cond.end144, %entry 169 %link.0 = phi ptr [ undef, %entry ], [ %cond145, %cond.end144 ] 170 br label %for.cond 171 172for.cond: ; preds = %while.cond 173 br i1 %c, label %cond.true133, label %cond.false138 174 175cond.true133: ; preds = %for.cond 176 %i = load ptr, ptr undef, align 8 177 br label %cond.end144 178 179cond.false138: ; preds = %for.cond 180 %i1 = load ptr, ptr undef, align 8 181 br label %cond.end144 182 183cond.end144: ; preds = %cond.false138, %cond.true133 184 %cond145 = phi ptr [ %i, %cond.true133 ], [ %i1, %cond.false138 ] 185 br label %while.cond 186} 187