llvm/test/Transforms/InstCombine/pr44245.ll

   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
   6 define void @test(i1 %c, 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 [[C]], 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 [[C]], 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 [[C]], 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 [[C]], 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 [[C]], 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 [[C]], 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 [[C]], 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 [[C]], 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 ;
  64 bb16:
  65   br i1 %c, label %bb17, label %bb24
  66
  67 bb17:                                             ; preds = %bb47, %bb16
  68   %i = phi ptr [ %.in1, %bb47 ], [ undef, %bb16 ]
  69   store ptr %i, ptr %p, align 8
  70   ret void
  71
  72 bb24:                                             ; preds = %bb16
  73   br i1 %c, label %bb44, label %bb49
  74
  75 bb44:                                             ; preds = %bb24
  76   %tmp46 = load ptr, ptr inttoptr (i64 16 to ptr), align 16
  77   br label %bb47
  78
  79 bb47:                                             ; 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
  83 bb49:                                             ; preds = %bb24
  84   br i1 %c, label %bb56, label %bb59
  85
  86 bb56:                                             ; preds = %bb49
  87   %tmp58 = load ptr, ptr inttoptr (i64 16 to ptr), align 16
  88   br label %bb47
  89
  90 bb59:                                             ; preds = %bb49
  91   br i1 %c, label %bb67, label %bb71
  92
  93 bb67:                                             ; preds = %bb59
  94   %tmp70 = load ptr, ptr inttoptr (i64 16 to ptr), align 16
  95   br label %bb47
  96
  97 bb71:                                             ; preds = %bb59
  98   br i1 %c, label %bb81, label %bb84
  99
 100 bb81:                                             ; preds = %bb71
 101   %tmp83 = load ptr, ptr inttoptr (i64 16 to ptr), align 16
 102   br label %bb47
 103
 104 bb84:                                             ; preds = %bb71
 105   br i1 %c, label %bb91, label %bb94
 106
 107 bb91:                                             ; preds = %bb84
 108   %tmp93 = load ptr, ptr inttoptr (i64 16 to ptr), align 16
 109   br label %bb47
 110
 111 bb94:                                             ; preds = %bb84
 112   br i1 %c, label %bb101, label %bb104
 113
 114 bb101:                                            ; preds = %bb94
 115   %tmp103 = load ptr, ptr inttoptr (i64 16 to ptr), align 16
 116   br label %bb47
 117
 118 bb104:                                            ; preds = %bb94
 119   br i1 %c, label %bb119, label %bb123
 120
 121 bb119:                                            ; preds = %bb104
 122   %tmp122 = load ptr, ptr inttoptr (i64 16 to ptr), align 16
 123   br label %bb47
 124
 125 bb123:                                            ; preds = %bb104
 126   br i1 %c, label %bb147, label %bb152
 127
 128 bb147:                                            ; preds = %bb123
 129   %tmp149 = load ptr, ptr inttoptr (i64 16 to ptr), align 16
 130   br label %bb150
 131
 132 bb150:                                            ; preds = %bb152, %bb147
 133   %.in = phi ptr [ %tmp184, %bb152 ], [ %tmp149, %bb147 ]
 134   br label %bb47
 135
 136 bb152:                                            ; 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
 149 define 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 ;
 165 entry:
 166   br label %while.cond
 167
 168 while.cond:                                       ; preds = %cond.end144, %entry
 169   %link.0 = phi ptr [ undef, %entry ], [ %cond145, %cond.end144 ]
 170   br label %for.cond
 171
 172 for.cond:                                         ; preds = %while.cond
 173   br i1 %c, label %cond.true133, label %cond.false138
 174
 175 cond.true133:                                     ; preds = %for.cond
 176   %i = load ptr, ptr undef, align 8
 177   br label %cond.end144
 178
 179 cond.false138:                                    ; preds = %for.cond
 180   %i1 = load ptr, ptr undef, align 8
 181   br label %cond.end144
 182
 183 cond.end144:                                      ; preds = %cond.false138, %cond.true133
 184   %cond145 = phi ptr [ %i, %cond.true133 ], [ %i1, %cond.false138 ]
 185   br label %while.cond
 186 }