llvm/test/Transforms/NewGVN/phi-of-ops-simplified-to-existing-value-then-changes-again.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -newgvn -S %s | FileCheck %s
   3
   4 ; Test cases where initially a PHI-of-ops can be simplified to an existing
   5 ; value, but later we need to revisit the decision because the leader of
   6 ; one of the operands used for the simplification changed.
   7
   8 declare void @use(i1)
   9
  10 define void @pr36501(i1 %c) {
  11 ; CHECK-LABEL: @pr36501(
  12 ; CHECK-NEXT:  bb:
  13 ; CHECK-NEXT:    br label [[BB1:%.*]]
  14 ; CHECK:       bb1:
  15 ; CHECK-NEXT:    [[PHI_1:%.*]] = phi i32 [ -2022207984, [[BB:%.*]] ], [ 0, [[BB7:%.*]] ]
  16 ; CHECK-NEXT:    br i1 [[C:%.*]], label [[BB3:%.*]], label [[BB2:%.*]]
  17 ; CHECK:       bb2:
  18 ; CHECK-NEXT:    br label [[BB3]]
  19 ; CHECK:       bb3:
  20 ; CHECK-NEXT:    [[PHI_2:%.*]] = phi i32 [ -1, [[BB2]] ], [ [[PHI_1]], [[BB1]] ]
  21 ; CHECK-NEXT:    [[TMP5:%.*]] = icmp eq i32 [[PHI_2]], 0
  22 ; CHECK-NEXT:    br i1 [[TMP5]], label [[BB6:%.*]], label [[BB7]]
  23 ; CHECK:       bb6:
  24 ; CHECK-NEXT:    br label [[BB7]]
  25 ; CHECK:       bb7:
  26 ; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i1 [ [[TMP5]], [[BB3]] ], [ true, [[BB6]] ]
  27 ; CHECK-NEXT:    [[PHI_3:%.*]] = phi i32 [ [[PHI_2]], [[BB3]] ], [ 0, [[BB6]] ]
  28 ; CHECK-NEXT:    call void @use(i1 [[PHIOFOPS]])
  29 ; CHECK-NEXT:    br label [[BB1]]
  30 ;
  31 bb:
  32   br label %bb1
  33
  34 bb1:
  35   %phi.1 = phi i32 [ -2022207984, %bb ], [ 0, %bb7 ]
  36   br i1 %c, label %bb3, label %bb2
  37
  38 bb2:
  39   br label %bb3
  40
  41 bb3:
  42   %phi.2 = phi i32 [ -1, %bb2 ], [ %phi.1, %bb1 ]
  43   %tmp5 = icmp eq i32 %phi.2, 0
  44   br i1 %tmp5, label %bb6, label %bb7
  45
  46 bb6:
  47   br label %bb7
  48
  49 bb7:                                              ; preds = %bb6, %bb3
  50   %phi.3 = phi i32 [ %phi.2, %bb3 ], [ 0, %bb6 ]
  51   %tmp9 = icmp eq i32 %phi.3, 0
  52   call void @use(i1 %tmp9)
  53   br label %bb1
  54 }
  55
  56 define void @pr42422(i1 %c.1, i1 %c.2) {
  57 ; CHECK-LABEL: @pr42422(
  58 ; CHECK-NEXT:  bb:
  59 ; CHECK-NEXT:    br label [[BB1:%.*]]
  60 ; CHECK:       bb1:
  61 ; CHECK-NEXT:    br label [[BB2:%.*]]
  62 ; CHECK:       bb2:
  63 ; CHECK-NEXT:    [[TMP:%.*]] = phi i32 [ [[TMP23:%.*]], [[BB22:%.*]] ], [ 0, [[BB1]] ]
  64 ; CHECK-NEXT:    [[TMP3:%.*]] = icmp sle i32 [[TMP]], 1
  65 ; CHECK-NEXT:    br i1 [[TMP3]], label [[BB4:%.*]], label [[BB24:%.*]]
  66 ; CHECK:       bb4:
  67 ; CHECK-NEXT:    br i1 [[C_1:%.*]], label [[BB5:%.*]], label [[BB6:%.*]]
  68 ; CHECK:       bb5:
  69 ; CHECK-NEXT:    br label [[BB19:%.*]]
  70 ; CHECK:       bb6:
  71 ; CHECK-NEXT:    br i1 [[C_2:%.*]], label [[BB7:%.*]], label [[BB8:%.*]]
  72 ; CHECK:       bb7:
  73 ; CHECK-NEXT:    br label [[BB16:%.*]]
  74 ; CHECK:       bb8:
  75 ; CHECK-NEXT:    [[TMP9:%.*]] = phi i64 [ [[TMP12:%.*]], [[BB11:%.*]] ], [ 0, [[BB6]] ]
  76 ; CHECK-NEXT:    [[TMP10:%.*]] = icmp sle i64 [[TMP9]], 1
  77 ; CHECK-NEXT:    br i1 [[TMP10]], label [[BB11]], label [[BB13:%.*]]
  78 ; CHECK:       bb11:
  79 ; CHECK-NEXT:    [[TMP12]] = add nsw i64 [[TMP9]], 1
  80 ; CHECK-NEXT:    br label [[BB8]]
  81 ; CHECK:       bb13:
  82 ; CHECK-NEXT:    br i1 true, label [[BB14:%.*]], label [[BB15:%.*]]
  83 ; CHECK:       bb14:
  84 ; CHECK-NEXT:    br label [[BB16]]
  85 ; CHECK:       bb15:
  86 ; CHECK-NEXT:    store i8 undef, i8* null, align 1
  87 ; CHECK-NEXT:    br label [[BB16]]
  88 ; CHECK:       bb16:
  89 ; CHECK-NEXT:    [[TMP17:%.*]] = phi i32 [ undef, [[BB15]] ], [ 1, [[BB14]] ], [ 9, [[BB7]] ]
  90 ; CHECK-NEXT:    switch i32 [[TMP17]], label [[BB19]] [
  91 ; CHECK-NEXT:    i32 0, label [[BB6]]
  92 ; CHECK-NEXT:    i32 9, label [[BB18:%.*]]
  93 ; CHECK-NEXT:    ]
  94 ; CHECK:       bb18:
  95 ; CHECK-NEXT:    br label [[BB19]]
  96 ; CHECK:       bb19:
  97 ; CHECK-NEXT:    [[TMP20:%.*]] = phi i32 [ 0, [[BB18]] ], [ [[TMP17]], [[BB16]] ], [ 1, [[BB5]] ]
  98 ; CHECK-NEXT:    [[TMP21:%.*]] = icmp eq i32 [[TMP20]], 0
  99 ; CHECK-NEXT:    br i1 [[TMP21]], label [[BB22]], label [[BB25:%.*]]
 100 ; CHECK:       bb22:
 101 ; CHECK-NEXT:    [[TMP23]] = add nsw i32 [[TMP]], 1
 102 ; CHECK-NEXT:    br label [[BB2]]
 103 ; CHECK:       bb24:
 104 ; CHECK-NEXT:    br label [[BB25]]
 105 ; CHECK:       bb25:
 106 ; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i1 [ true, [[BB24]] ], [ [[TMP21]], [[BB19]] ]
 107 ; CHECK-NEXT:    [[TMP26:%.*]] = phi i32 [ [[TMP20]], [[BB19]] ], [ 0, [[BB24]] ]
 108 ; CHECK-NEXT:    br i1 [[PHIOFOPS]], label [[BB1]], label [[BB28:%.*]]
 109 ; CHECK:       bb28:
 110 ; CHECK-NEXT:    ret void
 111 ;
 112 bb:
 113   br label %bb1
 114
 115 bb1:                                              ; preds = %bb25, %bb
 116   br label %bb2
 117
 118 bb2:                                              ; preds = %bb22, %bb1
 119   %tmp = phi i32 [ %tmp23, %bb22 ], [ 0, %bb1 ]
 120   %tmp3 = icmp sle i32 %tmp, 1
 121   br i1 %tmp3, label %bb4, label %bb24
 122
 123 bb4:                                              ; preds = %bb2
 124   br i1 %c.1, label %bb5, label %bb6
 125
 126 bb5:                                              ; preds = %bb4
 127   br label %bb19
 128
 129 bb6:                                              ; preds = %bb16, %bb4
 130   br i1 %c.2, label %bb7, label %bb8
 131
 132 bb7:                                              ; preds = %bb6
 133   br label %bb16
 134
 135 bb8:                                              ; preds = %bb11, %bb6
 136   %tmp9 = phi i64 [ %tmp12, %bb11 ], [ 0, %bb6 ]
 137   %tmp10 = icmp sle i64 %tmp9, 1
 138   br i1 %tmp10, label %bb11, label %bb13
 139
 140 bb11:                                             ; preds = %bb8
 141   %tmp12 = add nsw i64 %tmp9, 1
 142   br label %bb8
 143
 144 bb13:                                             ; preds = %bb8
 145   br i1 true, label %bb14, label %bb15
 146
 147 bb14:                                             ; preds = %bb13
 148   br label %bb16
 149
 150 bb15:                                             ; preds = %bb13
 151   br label %bb16
 152
 153 bb16:                                             ; preds = %bb15, %bb14, %bb7
 154   %tmp17 = phi i32 [ undef, %bb15 ], [ 1, %bb14 ], [ 9, %bb7 ]
 155   switch i32 %tmp17, label %bb19 [
 156   i32 0, label %bb6
 157   i32 9, label %bb18
 158   ]
 159
 160 bb18:                                             ; preds = %bb16
 161   br label %bb19
 162
 163 bb19:                                             ; preds = %bb18, %bb16, %bb5
 164   %tmp20 = phi i32 [ 0, %bb18 ], [ %tmp17, %bb16 ], [ 1, %bb5 ]
 165   %tmp21 = icmp eq i32 %tmp20, 0
 166   br i1 %tmp21, label %bb22, label %bb25
 167
 168 bb22:                                             ; preds = %bb19
 169   %tmp23 = add nsw i32 %tmp, 1
 170   br label %bb2
 171
 172 bb24:                                             ; preds = %bb2
 173   br label %bb25
 174
 175 bb25:                                             ; preds = %bb24, %bb19
 176   %tmp26 = phi i32 [ %tmp20, %bb19 ], [ 0, %bb24 ]
 177   %tmp27 = icmp eq i32 %tmp26, 0
 178   br i1 %tmp27, label %bb1, label %bb28
 179
 180 bb28:                                             ; preds = %bb25
 181   ret void
 182 }
 183
 184 define void @PR42557(i32 %tmp6, i1 %c.1, i1 %c.2) {
 185 ; CHECK-LABEL: @PR42557(
 186 ; CHECK-NEXT:  bb:
 187 ; CHECK-NEXT:    br label [[BB1:%.*]]
 188 ; CHECK:       bb1:
 189 ; CHECK-NEXT:    [[TMP:%.*]] = phi i32 [ 0, [[BB:%.*]] ], [ [[TMP6:%.*]], [[BB1]] ]
 190 ; CHECK-NEXT:    br i1 [[C_1:%.*]], label [[BB2:%.*]], label [[BB1]]
 191 ; CHECK:       bb2:
 192 ; CHECK-NEXT:    br i1 [[C_2:%.*]], label [[BB16:%.*]], label [[BB11:%.*]]
 193 ; CHECK:       bb16:
 194 ; CHECK-NEXT:    [[TMP17:%.*]] = add i32 [[TMP]], 1
 195 ; CHECK-NEXT:    br label [[BB11]]
 196 ; CHECK:       bb11:
 197 ; CHECK-NEXT:    [[TMP12:%.*]] = phi i32 [ [[TMP17]], [[BB16]] ], [ 0, [[BB2]] ]
 198 ; CHECK-NEXT:    [[TMP13:%.*]] = icmp eq i32 [[TMP12]], 0
 199 ; CHECK-NEXT:    call void @use(i1 [[TMP13]])
 200 ; CHECK-NEXT:    [[TMP15:%.*]] = icmp ne i32 [[TMP]], 0
 201 ; CHECK-NEXT:    br i1 [[TMP15]], label [[BB18:%.*]], label [[BB19:%.*]]
 202 ; CHECK:       bb18:
 203 ; CHECK-NEXT:    br label [[BB19]]
 204 ; CHECK:       bb19:
 205 ; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i1 [ [[TMP13]], [[BB11]] ], [ false, [[BB18]] ]
 206 ; CHECK-NEXT:    [[TMP20:%.*]] = phi i32 [ [[TMP12]], [[BB11]] ], [ 1, [[BB18]] ]
 207 ; CHECK-NEXT:    call void @use(i1 [[PHIOFOPS]])
 208 ; CHECK-NEXT:    ret void
 209 ;
 210 bb:
 211   br label %bb1
 212
 213 bb1:                                              ; preds = %bb1, %bb
 214   %tmp = phi i32 [ 0, %bb ], [ %tmp6, %bb1 ]
 215   br i1 %c.1, label %bb2, label %bb1
 216
 217 bb2:                                              ; preds = %bb1
 218   br i1 %c.2, label %bb16, label %bb11
 219
 220 bb16:                                             ; preds = %bb2
 221   %tmp17 = add i32 %tmp, 1
 222   br label %bb11
 223
 224 bb11:                                             ; preds = %bb16, %bb2
 225   %tmp12 = phi i32 [ %tmp17, %bb16 ], [ 0, %bb2 ]
 226   %tmp13 = icmp eq i32 %tmp12, 0
 227   call void @use(i1 %tmp13)
 228   %tmp15 = icmp ne i32 %tmp, 0
 229   br i1 %tmp15, label %bb18, label %bb19
 230
 231 bb18:                                             ; preds = %bb11
 232   br label %bb19
 233
 234 bb19:                                             ; preds = %bb18, %bb11
 235   %tmp20 = phi i32 [ %tmp12, %bb11 ], [ 1, %bb18 ]
 236   %tmp21 = icmp eq i32 %tmp20, 0
 237   call void @use(i1 %tmp21)
 238   ret void
 239 }