187 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 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 813; CHECK-NEXT: ret void14; 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 1618; 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 1626; 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 1631; 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 1636; 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 1641; 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 1646; 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 1651; 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 1656; 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 162; CHECK-NEXT: br label [[BB150]]63;64bb16:65 br i1 %c, label %bb17, label %bb2466 67bb17: ; preds = %bb47, %bb1668 %i = phi ptr [ %.in1, %bb47 ], [ undef, %bb16 ]69 store ptr %i, ptr %p, align 870 ret void71 72bb24: ; preds = %bb1673 br i1 %c2, label %bb44, label %bb4974 75bb44: ; preds = %bb2476 %tmp46 = load ptr, ptr inttoptr (i64 16 to ptr), align 1677 br label %bb4778 79bb47: ; preds = %bb150, %bb119, %bb101, %bb91, %bb81, %bb67, %bb56, %bb4480 %.in1 = phi ptr [ %.in, %bb150 ], [ %tmp122, %bb119 ], [ %tmp103, %bb101 ], [ %tmp93, %bb91 ], [ %tmp83, %bb81 ], [ %tmp70, %bb67 ], [ %tmp58, %bb56 ], [ %tmp46, %bb44 ]81 br label %bb1782 83bb49: ; preds = %bb2484 br i1 %c3, label %bb56, label %bb5985 86bb56: ; preds = %bb4987 %tmp58 = load ptr, ptr inttoptr (i64 16 to ptr), align 1688 br label %bb4789 90bb59: ; preds = %bb4991 br i1 %c4, label %bb67, label %bb7192 93bb67: ; preds = %bb5994 %tmp70 = load ptr, ptr inttoptr (i64 16 to ptr), align 1695 br label %bb4796 97bb71: ; preds = %bb5998 br i1 %c5, label %bb81, label %bb8499 100bb81: ; preds = %bb71101 %tmp83 = load ptr, ptr inttoptr (i64 16 to ptr), align 16102 br label %bb47103 104bb84: ; preds = %bb71105 br i1 %c6, label %bb91, label %bb94106 107bb91: ; preds = %bb84108 %tmp93 = load ptr, ptr inttoptr (i64 16 to ptr), align 16109 br label %bb47110 111bb94: ; preds = %bb84112 br i1 %c7, label %bb101, label %bb104113 114bb101: ; preds = %bb94115 %tmp103 = load ptr, ptr inttoptr (i64 16 to ptr), align 16116 br label %bb47117 118bb104: ; preds = %bb94119 br i1 %c8, label %bb119, label %bb123120 121bb119: ; preds = %bb104122 %tmp122 = load ptr, ptr inttoptr (i64 16 to ptr), align 16123 br label %bb47124 125bb123: ; preds = %bb104126 br i1 %c9, label %bb147, label %bb152127 128bb147: ; preds = %bb123129 %tmp149 = load ptr, ptr inttoptr (i64 16 to ptr), align 16130 br label %bb150131 132bb150: ; preds = %bb152, %bb147133 %.in = phi ptr [ %tmp184, %bb152 ], [ %tmp149, %bb147 ]134 br label %bb47135 136bb152: ; preds = %bb123137 %tmp184 = load ptr, ptr inttoptr (i64 16 to ptr), align 16138 call void undef()139 br label %bb150140}141 142 143; This used to cause an instcombine loop when the problem above was144; 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 1163; CHECK-NEXT: br label [[WHILE_COND]]164;165entry:166 br label %while.cond167 168while.cond: ; preds = %cond.end144, %entry169 %link.0 = phi ptr [ undef, %entry ], [ %cond145, %cond.end144 ]170 br label %for.cond171 172for.cond: ; preds = %while.cond173 br i1 %c, label %cond.true133, label %cond.false138174 175cond.true133: ; preds = %for.cond176 %i = load ptr, ptr undef, align 8177 br label %cond.end144178 179cond.false138: ; preds = %for.cond180 %i1 = load ptr, ptr undef, align 8181 br label %cond.end144182 183cond.end144: ; preds = %cond.false138, %cond.true133184 %cond145 = phi ptr [ %i, %cond.true133 ], [ %i1, %cond.false138 ]185 br label %while.cond186}187