test/Transforms/NewGVN/completeness.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -basicaa -newgvn -enable-phi-of-ops=true -S | FileCheck %s
   3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 define i32 @test1(i32, i8**) {
   6 ; CHECK-LABEL: @test1(
   7 ; CHECK-NEXT:    [[TMP3:%.*]] = icmp ne i32 [[TMP0:%.*]], 0
   8 ; CHECK-NEXT:    br i1 [[TMP3]], label [[TMP4:%.*]], label [[TMP5:%.*]]
   9 ; CHECK:         br label [[TMP6:%.*]]
  10 ; CHECK:         br label [[TMP6]]
  11 ; CHECK:         [[PHIOFOPS:%.*]] = phi i32 [ 105, [[TMP5]] ], [ 75, [[TMP4]] ]
  12 ; CHECK-NEXT:    [[DOT0:%.*]] = phi i32 [ 5, [[TMP4]] ], [ 7, [[TMP5]] ]
  13 ; CHECK-NEXT:    ret i32 [[PHIOFOPS]]
  14 ;
  15   %3 = icmp ne i32 %0, 0
  16   br i1 %3, label %4, label %5
  17
  18 ; <label>:4:                                      ; preds = %2
  19   br label %6
  20
  21 ; <label>:5:                                      ; preds = %2
  22   br label %6
  23
  24 ; <label>:6:                                      ; preds = %5, %4
  25   %.0 = phi i32 [ 5, %4 ], [ 7, %5 ]
  26   %7 = mul nsw i32 %.0, 15
  27   ret i32 %7
  28 }
  29 ;; Dependent phi of ops
  30 define i32 @test1b(i32, i8**) {
  31 ; CHECK-LABEL: @test1b(
  32 ; CHECK-NEXT:    [[TMP3:%.*]] = icmp ne i32 [[TMP0:%.*]], 0
  33 ; CHECK-NEXT:    br i1 [[TMP3]], label [[TMP4:%.*]], label [[TMP5:%.*]]
  34 ; CHECK:         br label [[TMP6:%.*]]
  35 ; CHECK:         br label [[TMP6]]
  36 ; CHECK:         [[PHIOFOPS1:%.*]] = phi i32 [ 105, [[TMP5]] ], [ 75, [[TMP4]] ]
  37 ; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i32 [ 1575, [[TMP5]] ], [ 1125, [[TMP4]] ]
  38 ; CHECK-NEXT:    [[DOT0:%.*]] = phi i32 [ 5, [[TMP4]] ], [ 7, [[TMP5]] ]
  39 ; CHECK-NEXT:    ret i32 [[PHIOFOPS]]
  40 ;
  41   %3 = icmp ne i32 %0, 0
  42   br i1 %3, label %4, label %5
  43
  44 ; <label>:4:                                      ; preds = %2
  45   br label %6
  46
  47 ; <label>:5:                                      ; preds = %2
  48   br label %6
  49
  50 ; <label>:6:                                      ; preds = %5, %4
  51   %.0 = phi i32 [ 5, %4 ], [ 7, %5 ]
  52   %7 = mul nsw i32 %.0, 15
  53   %8 = mul nsw i32 %7, 15
  54   ret i32 %8
  55 }
  56
  57 define i32 @test2(i32) {
  58 ; CHECK-LABEL: @test2(
  59 ; CHECK-NEXT:    [[TMP2:%.*]] = icmp ne i32 [[TMP0:%.*]], 0
  60 ; CHECK-NEXT:    br i1 [[TMP2]], label [[TMP3:%.*]], label [[TMP4:%.*]]
  61 ; CHECK:         br label [[TMP5:%.*]]
  62 ; CHECK:         br label [[TMP5]]
  63 ; CHECK:         [[DOT01:%.*]] = phi i32 [ 3, [[TMP3]] ], [ 2, [[TMP4]] ]
  64 ; CHECK-NEXT:    [[DOT0:%.*]] = phi i32 [ 2, [[TMP3]] ], [ 3, [[TMP4]] ]
  65 ; CHECK-NEXT:    ret i32 5
  66 ;
  67   %2 = icmp ne i32 %0, 0
  68   br i1 %2, label %3, label %4
  69
  70 ; <label>:3:                                      ; preds = %1
  71   br label %5
  72
  73 ; <label>:4:                                      ; preds = %1
  74   br label %5
  75
  76 ; <label>:5:                                      ; preds = %4, %3
  77   %.01 = phi i32 [ 3, %3 ], [ 2, %4 ]
  78   %.0 = phi i32 [ 2, %3 ], [ 3, %4 ]
  79   %6 = add nsw i32 %.01, %.0
  80   ret i32 %6
  81 }
  82 define i32 @test3(i1 %which) {
  83 ; CHECK-LABEL: @test3(
  84 ; CHECK-NEXT:  entry:
  85 ; CHECK-NEXT:    br i1 [[WHICH:%.*]], label [[FINAL:%.*]], label [[DELAY:%.*]]
  86 ; CHECK:       delay:
  87 ; CHECK-NEXT:    br label [[FINAL]]
  88 ; CHECK:       final:
  89 ; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i32 [ -877, [[ENTRY:%.*]] ], [ 113, [[DELAY]] ]
  90 ; CHECK-NEXT:    [[A:%.*]] = phi i32 [ 1000, [[ENTRY]] ], [ 10, [[DELAY]] ]
  91 ; CHECK-NEXT:    ret i32 [[PHIOFOPS]]
  92 ;
  93
  94 entry:
  95   br i1 %which, label %final, label %delay
  96
  97 delay:
  98   br label %final
  99
 100 final:
 101   %A = phi i32 [ 1000, %entry ], [ 10, %delay ]
 102   %value = sub i32 123, %A
 103   ret i32 %value
 104 }
 105
 106 define <2 x i32> @test3vec(i1 %which) {
 107 ; CHECK-LABEL: @test3vec(
 108 ; CHECK-NEXT:  entry:
 109 ; CHECK-NEXT:    br i1 [[WHICH:%.*]], label [[FINAL:%.*]], label [[DELAY:%.*]]
 110 ; CHECK:       delay:
 111 ; CHECK-NEXT:    br label [[FINAL]]
 112 ; CHECK:       final:
 113 ; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi <2 x i32> [ <i32 -877, i32 -877>, [[ENTRY:%.*]] ], [ <i32 113, i32 113>, [[DELAY]] ]
 114 ; CHECK-NEXT:    [[A:%.*]] = phi <2 x i32> [ <i32 1000, i32 1000>, [[ENTRY]] ], [ <i32 10, i32 10>, [[DELAY]] ]
 115 ; CHECK-NEXT:    ret <2 x i32> [[PHIOFOPS]]
 116 ;
 117
 118 entry:
 119   br i1 %which, label %final, label %delay
 120
 121 delay:
 122   br label %final
 123
 124 final:
 125   %A = phi <2 x i32> [ <i32 1000, i32 1000>, %entry ], [ <i32 10, i32 10>, %delay ]
 126   %value = sub <2 x i32> <i32 123, i32 123>, %A
 127   ret <2 x i32> %value
 128 }
 129
 130 define <2 x i32> @test3vec2(i1 %which) {
 131 ; CHECK-LABEL: @test3vec2(
 132 ; CHECK-NEXT:  entry:
 133 ; CHECK-NEXT:    br i1 [[WHICH:%.*]], label [[FINAL:%.*]], label [[DELAY:%.*]]
 134 ; CHECK:       delay:
 135 ; CHECK-NEXT:    br label [[FINAL]]
 136 ; CHECK:       final:
 137 ; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi <2 x i32> [ <i32 -877, i32 -2167>, [[ENTRY:%.*]] ], [ <i32 113, i32 303>, [[DELAY]] ]
 138 ; CHECK-NEXT:    [[A:%.*]] = phi <2 x i32> [ <i32 1000, i32 2500>, [[ENTRY]] ], [ <i32 10, i32 30>, [[DELAY]] ]
 139 ; CHECK-NEXT:    ret <2 x i32> [[PHIOFOPS]]
 140 ;
 141
 142 entry:
 143   br i1 %which, label %final, label %delay
 144
 145 delay:
 146   br label %final
 147
 148 final:
 149   %A = phi <2 x i32> [ <i32 1000, i32 2500>, %entry ], [ <i32 10, i32 30>, %delay ]
 150   %value = sub <2 x i32> <i32 123, i32 333>, %A
 151   ret <2 x i32> %value
 152 }
 153
 154 ;; This example is a bit contrived because we can't create fake memoryuses, so we use two loads in the if blocks
 155 define i32 @test4(i32, i8**, i32* noalias, i32* noalias) {
 156 ; CHECK-LABEL: @test4(
 157 ; CHECK-NEXT:    store i32 5, i32* [[TMP2:%.*]], align 4
 158 ; CHECK-NEXT:    store i32 7, i32* [[TMP3:%.*]], align 4
 159 ; CHECK-NEXT:    [[TMP5:%.*]] = icmp ne i32 [[TMP0:%.*]], 0
 160 ; CHECK-NEXT:    br i1 [[TMP5]], label [[TMP6:%.*]], label [[TMP7:%.*]]
 161 ; CHECK:         br label [[TMP8:%.*]]
 162 ; CHECK:         br label [[TMP8]]
 163 ; CHECK:         [[DOT01:%.*]] = phi i32 [ 5, [[TMP6]] ], [ 7, [[TMP7]] ]
 164 ; CHECK-NEXT:    [[DOT0:%.*]] = phi i32* [ [[TMP2]], [[TMP6]] ], [ [[TMP3]], [[TMP7]] ]
 165 ; CHECK-NEXT:    [[TMP9:%.*]] = load i32, i32* [[DOT0]], align 4
 166 ; CHECK-NEXT:    [[TMP10:%.*]] = mul nsw i32 [[TMP9]], 15
 167 ; CHECK-NEXT:    [[TMP11:%.*]] = mul nsw i32 [[TMP10]], [[DOT01]]
 168 ; CHECK-NEXT:    ret i32 [[TMP11]]
 169 ;
 170   store i32 5, i32* %2, align 4
 171   store i32 7, i32* %3, align 4
 172   %5 = icmp ne i32 %0, 0
 173   br i1 %5, label %6, label %8
 174
 175 ; <label>:6:                                      ; preds = %4
 176   %7 = load i32, i32* %2, align 4
 177   br label %10
 178
 179 ; <label>:8:                                      ; preds = %4
 180   %9 = load i32, i32* %3, align 4
 181   br label %10
 182
 183 ; <label>:10:                                     ; preds = %8, %6
 184   %.01 = phi i32 [ %7, %6 ], [ %9, %8 ]
 185   %.0 = phi i32* [ %2, %6 ], [ %3, %8 ]
 186   %11 = load i32, i32* %.0, align 4
 187   %12 = mul nsw i32 %11, 15
 188   %13 = mul nsw i32 %12, %.01
 189   ret i32 %13
 190 }
 191
 192 @global = common global [100 x i64] zeroinitializer, align 16
 193 @global.1 = common global [100 x i64] zeroinitializer, align 16
 194 define i64 @test5(i64 %arg) {
 195 ; CHECK-LABEL: @test5(
 196 ; CHECK-NEXT:  bb:
 197 ; CHECK-NEXT:    [[TMP:%.*]] = alloca i64, align 8
 198 ; CHECK-NEXT:    [[TMP1:%.*]] = icmp eq i64 [[ARG:%.*]], 0
 199 ; CHECK-NEXT:    br i1 [[TMP1]], label [[BB28:%.*]], label [[BB2:%.*]]
 200 ; CHECK:       bb2:
 201 ; CHECK-NEXT:    br label [[BB7:%.*]]
 202 ; CHECK:       bb4:
 203 ; CHECK-NEXT:    br label [[BB5:%.*]]
 204 ; CHECK:       bb5:
 205 ; CHECK-NEXT:    [[TMP6:%.*]] = icmp eq i64 [[TMP9:%.*]], 0
 206 ; CHECK-NEXT:    br i1 [[TMP6]], label [[BB27:%.*]], label [[BB7]]
 207 ; CHECK:       bb7:
 208 ; CHECK-NEXT:    [[TMP8:%.*]] = phi i64 [ [[ARG]], [[BB2]] ], [ [[TMP9]], [[BB5]] ]
 209 ; CHECK-NEXT:    [[TMP9]] = add nsw i64 [[TMP8]], -1
 210 ; CHECK-NEXT:    [[TMP10:%.*]] = load i64, i64* getelementptr inbounds ([100 x i64], [100 x i64]* @global, i64 0, i64 0), align 16
 211 ; CHECK-NEXT:    [[TMP11:%.*]] = load i64, i64* getelementptr inbounds ([100 x i64], [100 x i64]* @global.1, i64 0, i64 0), align 16
 212 ; CHECK-NEXT:    [[TMP12:%.*]] = mul nsw i64 [[TMP11]], [[TMP10]]
 213 ; CHECK-NEXT:    [[TMP13:%.*]] = icmp eq i64 [[TMP12]], 0
 214 ; CHECK-NEXT:    br i1 [[TMP13]], label [[BB5]], label [[BB14:%.*]]
 215 ; CHECK:       bb14:
 216 ; CHECK-NEXT:    br label [[BB15:%.*]]
 217 ; CHECK:       bb15:
 218 ; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i64 [ [[TMP12]], [[BB14]] ], [ [[TMP25:%.*]], [[BB15]] ]
 219 ; CHECK-NEXT:    [[TMP16:%.*]] = phi i64 [ [[TMP24:%.*]], [[BB15]] ], [ [[TMP11]], [[BB14]] ]
 220 ; CHECK-NEXT:    [[TMP17:%.*]] = phi i64 [ [[TMP22:%.*]], [[BB15]] ], [ [[TMP10]], [[BB14]] ]
 221 ; CHECK-NEXT:    [[TMP18:%.*]] = phi i64 [ [[TMP20:%.*]], [[BB15]] ], [ 0, [[BB14]] ]
 222 ; CHECK-NEXT:    store i64 [[PHIOFOPS]], i64* [[TMP]], align 8
 223 ; CHECK-NEXT:    [[TMP20]] = add nuw nsw i64 [[TMP18]], 1
 224 ; CHECK-NEXT:    [[TMP21:%.*]] = getelementptr inbounds [100 x i64], [100 x i64]* @global, i64 0, i64 [[TMP20]]
 225 ; CHECK-NEXT:    [[TMP22]] = load i64, i64* [[TMP21]], align 8
 226 ; CHECK-NEXT:    [[TMP23:%.*]] = getelementptr inbounds [100 x i64], [100 x i64]* @global.1, i64 0, i64 [[TMP20]]
 227 ; CHECK-NEXT:    [[TMP24]] = load i64, i64* [[TMP23]], align 8
 228 ; CHECK-NEXT:    [[TMP25]] = mul nsw i64 [[TMP24]], [[TMP22]]
 229 ; CHECK-NEXT:    [[TMP26:%.*]] = icmp eq i64 [[TMP20]], [[TMP25]]
 230 ; CHECK-NEXT:    br i1 [[TMP26]], label [[BB4:%.*]], label [[BB15]]
 231 ; CHECK:       bb27:
 232 ; CHECK-NEXT:    br label [[BB28]]
 233 ; CHECK:       bb28:
 234 ; CHECK-NEXT:    ret i64 0
 235 ;
 236 bb:
 237   %tmp = alloca i64, align 8
 238   %tmp1 = icmp eq i64 %arg, 0
 239   br i1 %tmp1, label %bb28, label %bb2
 240
 241 bb2:                                              ; preds = %bb
 242   %tmp3 = bitcast i64* %tmp to i8*
 243   br label %bb7
 244
 245 bb4:                                              ; preds = %bb15
 246   br label %bb5
 247
 248 bb5:                                              ; preds = %bb7, %bb4
 249   %tmp6 = icmp eq i64 %tmp9, 0
 250   br i1 %tmp6, label %bb27, label %bb7
 251
 252 bb7:                                              ; preds = %bb5, %bb2
 253   %tmp8 = phi i64 [ %arg, %bb2 ], [ %tmp9, %bb5 ]
 254   %tmp9 = add nsw i64 %tmp8, -1
 255   %tmp10 = load i64, i64* getelementptr inbounds ([100 x i64], [100 x i64]* @global, i64 0, i64 0), align 16
 256   %tmp11 = load i64, i64* getelementptr inbounds ([100 x i64], [100 x i64]* @global.1, i64 0, i64 0), align 16
 257   %tmp12 = mul nsw i64 %tmp11, %tmp10
 258   %tmp13 = icmp eq i64 %tmp12, 0
 259   br i1 %tmp13, label %bb5, label %bb14
 260
 261 bb14:                                             ; preds = %bb7
 262   br label %bb15
 263
 264 bb15:                                             ; preds = %bb15, %bb14
 265   %tmp16 = phi i64 [ %tmp24, %bb15 ], [ %tmp11, %bb14 ]
 266   %tmp17 = phi i64 [ %tmp22, %bb15 ], [ %tmp10, %bb14 ]
 267   %tmp18 = phi i64 [ %tmp20, %bb15 ], [ 0, %bb14 ]
 268 ;; This multiply is an op of phis which is really equivalent to phi(tmp25, tmp12)
 269   %tmp19 = mul nsw i64 %tmp16, %tmp17
 270   store i64 %tmp19, i64* %tmp, align 8
 271   %tmp20 = add nuw nsw i64 %tmp18, 1
 272   %tmp21 = getelementptr inbounds [100 x i64], [100 x i64]* @global, i64 0, i64 %tmp20
 273   %tmp22 = load i64, i64* %tmp21, align 8
 274   %tmp23 = getelementptr inbounds [100 x i64], [100 x i64]* @global.1, i64 0, i64 %tmp20
 275   %tmp24 = load i64, i64* %tmp23, align 8
 276   %tmp25 = mul nsw i64 %tmp24, %tmp22
 277   %tmp26 = icmp eq i64 %tmp20, %tmp25
 278   br i1 %tmp26, label %bb4, label %bb15
 279
 280 bb27:                                             ; preds = %bb5
 281   br label %bb28
 282
 283 bb28:                                             ; preds = %bb27, %bb
 284   ret i64 0
 285 }
 286
 287 ;; These icmps are all equivalent to phis of constants
 288 define i8 @test6(i8* %addr) {
 289 ; CHECK-LABEL: @test6(
 290 ; CHECK-NEXT:  entry-block:
 291 ; CHECK-NEXT:    br label %main-loop
 292 ; CHECK:       main-loop:
 293 ; CHECK-NEXT:    [[PHIOFOPS1:%.*]] = phi i1 [ true, %entry-block ], [ false, [[CORE:%.*]] ]
 294 ; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i1 [ false, %entry-block ], [ true, [[CORE]] ]
 295 ; CHECK-NEXT:    [[PHI:%.*]] = phi i8 [ 0, %entry-block ], [ 1, [[CORE]] ]
 296 ; CHECK-NEXT:    store volatile i8 0, i8* [[ADDR:%.*]]
 297 ; CHECK-NEXT:    br i1 [[PHIOFOPS1]], label %busy-wait-phi-0, label [[EXIT:%.*]]
 298 ; CHECK:       busy-wait-phi-0:
 299 ; CHECK-NEXT:    [[LOAD:%.*]] = load volatile i8, i8* [[ADDR]]
 300 ; CHECK-NEXT:    [[ICMP:%.*]] = icmp eq i8 [[LOAD]], 0
 301 ; CHECK-NEXT:    br i1 [[ICMP]], label %busy-wait-phi-0, label [[CORE]]
 302 ; CHECK:       core:
 303 ; CHECK-NEXT:    br i1 [[PHIOFOPS]], label [[TRAP:%.*]], label %main-loop
 304 ; CHECK:       trap:
 305 ; CHECK-NEXT:    ret i8 1
 306 ; CHECK:       exit:
 307 ; CHECK-NEXT:    ret i8 0
 308 ;
 309 entry-block:
 310   br label %main-loop
 311
 312 main-loop:
 313   %phi = phi i8 [ 0, %entry-block ], [ 1, %core ]
 314   %switch_0 = icmp eq i8 %phi, 0
 315   store volatile i8 0, i8* %addr
 316   br i1 %switch_0, label %busy-wait-phi-0, label %exit
 317
 318 busy-wait-phi-0:
 319   %load = load volatile i8, i8* %addr
 320   %icmp = icmp eq i8 %load, 0
 321   br i1 %icmp, label %busy-wait-phi-0, label %core
 322
 323 core:
 324   %switch_1 = icmp eq i8 %phi, 1
 325   br i1 %switch_1, label %trap, label %main-loop
 326
 327 trap:
 328   ret i8 1
 329
 330 exit:
 331   ret i8 0
 332 }
 333
 334 ; Test that we don't infinite loop simplifying
 335 ; an undefined value that can go both ways.
 336 define void @test7() {
 337 ; CHECK-LABEL: @test7(
 338 ; CHECK-NEXT:  bb:
 339 ; CHECK-NEXT:    br label [[BB1:%.*]]
 340 ; CHECK:       bb1:
 341 ; CHECK-NEXT:    br label [[BB1]]
 342 ;
 343 bb:
 344   br label %bb1
 345
 346 bb1:                                              ; preds = %bb1, %bb
 347   %tmp = phi i32 [ undef, %bb ], [ %tmp3, %bb1 ]
 348   %tmp2 = icmp eq i32 %tmp, 0
 349   %tmp3 = select i1 %tmp2, i32 1, i32 %tmp
 350   br label %bb1
 351 }
 352
 353
 354
 355 ; Test that we get a consistent answer about what the
 356 ; value of this undefined select is.
 357 define void @test8() {
 358 ; CHECK-LABEL: @test8(
 359 ; CHECK-NEXT:  bb:
 360 ; CHECK-NEXT:    br label [[BB1:%.*]]
 361 ; CHECK:       bb1:
 362 ; CHECK-NEXT:    br label [[BB1]]
 363 ;
 364 bb:
 365   %tmp = select i1 undef, i8 0, i8 1
 366   br label %bb1
 367
 368 bb1:                                              ; preds = %bb1, %bb
 369   %tmp2 = phi i8 [ %tmp4, %bb1 ], [ %tmp, %bb ]
 370   %tmp3 = icmp eq i8 %tmp2, 0
 371   %tmp4 = select i1 %tmp3, i8 1, i8 %tmp2
 372   br label %bb1
 373 }
 374
 375
 376 ;; Make sure we handle the case where we later come up with an expression that we need
 377 ;; for a phi of ops.
 378 define void @test9() {
 379 ; CHECK-LABEL: @test9(
 380 ; CHECK-NEXT:  bb:
 381 ; CHECK-NEXT:    br label [[BB1:%.*]]
 382 ; CHECK:       bb1:
 383 ; CHECK-NEXT:    br i1 undef, label [[BB1]], label [[BB2:%.*]]
 384 ; CHECK:       bb2:
 385 ; CHECK-NEXT:    br label [[BB6:%.*]]
 386 ; CHECK:       bb6:
 387 ; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i32 [ -13, [[BB2]] ], [ [[TMP11:%.*]], [[BB6]] ]
 388 ; CHECK-NEXT:    [[TMP7:%.*]] = phi i32 [ 1, [[BB2]] ], [ [[TMP8:%.*]], [[BB6]] ]
 389 ; CHECK-NEXT:    [[TMP8]] = add nuw nsw i32 [[TMP7]], 1
 390 ; CHECK-NEXT:    [[TMP11]] = add i32 -14, [[TMP8]]
 391 ; CHECK-NEXT:    br label [[BB6]]
 392 ;
 393 bb:
 394   br label %bb1
 395
 396 bb1:                                              ; preds = %bb1, %bb
 397   br i1 undef, label %bb1, label %bb2
 398
 399 bb2:                                              ; preds = %bb1
 400   %tmp = select i1 true, i32 -14, i32 -10
 401   %tmp3 = add i32 %tmp, 0
 402   %tmp4 = select i1 true, i32 -14, i32 -10
 403   %tmp5 = add i32 %tmp4, 0
 404   br label %bb6
 405
 406 bb6:                                              ; preds = %bb6, %bb2
 407   %tmp7 = phi i32 [ 1, %bb2 ], [ %tmp13, %bb6 ]
 408   %tmp8 = add nuw nsw i32 %tmp7, 1
 409   %tmp9 = add i32 %tmp3, %tmp7
 410   %tmp10 = select i1 false, i32 undef, i32 %tmp9
 411   %tmp11 = add i32 %tmp5, %tmp8
 412   %tmp12 = select i1 undef, i32 undef, i32 %tmp11
 413   %tmp13 = add nuw nsw i32 %tmp7, 1
 414   br label %bb6
 415 }
 416
 417 ;; Ensure that we revisit predicateinfo operands at the right points in time.
 418 define void @test10() {
 419 ; CHECK-LABEL: @test10(
 420 ; CHECK-NEXT:  b:
 421 ; CHECK-NEXT:    br label [[G:%.*]]
 422 ; CHECK:       g:
 423 ; CHECK-NEXT:    [[N:%.*]] = phi i32* [ [[H:%.*]], [[I:%.*]] ], [ null, [[B:%.*]] ]
 424 ; CHECK-NEXT:    [[H]] = getelementptr i32, i32* [[N]], i64 1
 425 ; CHECK-NEXT:    [[J:%.*]] = icmp eq i32* [[H]], inttoptr (i64 32 to i32*)
 426 ; CHECK-NEXT:    br i1 [[J]], label [[C:%.*]], label [[I]]
 427 ; CHECK:       i:
 428 ; CHECK-NEXT:    br i1 undef, label [[K:%.*]], label [[G]]
 429 ; CHECK:       k:
 430 ; CHECK-NEXT:    br i1 false, label [[C]], label [[O:%.*]]
 431 ; CHECK:       o:
 432 ; CHECK-NEXT:    br label [[C]]
 433 ; CHECK:       c:
 434 ; CHECK-NEXT:    ret void
 435 ;
 436 b:
 437   %m = getelementptr i32, i32* null, i64 8
 438   br label %g
 439
 440 g:                                                ; preds = %i, %b
 441   %n = phi i32* [ %h, %i ], [ null, %b ]
 442   %h = getelementptr i32, i32* %n, i64 1
 443   %j = icmp eq i32* %h, %m
 444   br i1 %j, label %c, label %i
 445
 446 i:                                                ; preds = %g
 447   br i1 undef, label %k, label %g
 448
 449 k:                                                ; preds = %i
 450   %l = icmp eq i32* %n, %m
 451   br i1 %l, label %c, label %o
 452
 453 o:                                                ; preds = %k
 454   br label %c
 455
 456 c:                                                ; preds = %o, %k, %g
 457   %0 = phi i32* [ undef, %o ], [ %m, %k ], [ %m, %g ]
 458   ret void
 459 }
 460
 461 ;; Ensure we handle VariableExpression properly.
 462 define void @test11() {
 463 ; CHECK-LABEL: @test11(
 464 ; CHECK-NEXT:  bb:
 465 ; CHECK-NEXT:    br i1 undef, label [[BB1:%.*]], label [[BB2:%.*]]
 466 ; CHECK:       bb1:
 467 ; CHECK-NEXT:    br label [[BB2]]
 468 ; CHECK:       bb2:
 469 ; CHECK-NEXT:    [[TMP:%.*]] = phi i1 [ false, [[BB1]] ], [ true, [[BB:%.*]] ]
 470 ; CHECK-NEXT:    [[TMP3:%.*]] = call i32* @wombat()
 471 ; CHECK-NEXT:    [[TMP4:%.*]] = icmp ne i32* [[TMP3]], null
 472 ; CHECK-NEXT:    [[TMP5:%.*]] = and i1 [[TMP]], [[TMP4]]
 473 ; CHECK-NEXT:    br i1 [[TMP5]], label [[BB6:%.*]], label [[BB7:%.*]]
 474 ; CHECK:       bb6:
 475 ; CHECK-NEXT:    unreachable
 476 ; CHECK:       bb7:
 477 ; CHECK-NEXT:    ret void
 478 ;
 479 bb:
 480   br i1 undef, label %bb1, label %bb2
 481
 482 bb1:                                              ; preds = %bb
 483   br label %bb2
 484
 485 bb2:                                              ; preds = %bb1, %bb
 486   %tmp = phi i1 [ false, %bb1 ], [ true, %bb ]
 487   %tmp3 = call i32* @wombat()
 488   %tmp4 = icmp ne i32* %tmp3, null
 489   %tmp5 = and i1 %tmp, %tmp4
 490   br i1 %tmp5, label %bb6, label %bb7
 491
 492 bb6:                                              ; preds = %bb2
 493   unreachable
 494
 495 bb7:                                              ; preds = %bb2
 496   ret void
 497 }
 498
 499 declare i32* @wombat()
 500
 501 ;; Ensure that when reachability affects a phi of ops, we recompute
 502 ;; it.  Here, the phi node is marked for recomputation when bb7->bb3
 503 ;; becomes live, but the value does not change. if we do not directly
 504 ;; recompute the phi of ops instruction (tmp5), the value number will
 505 ;; change in the verifier, as it goes from a constant value to a
 506 ;; phi of [true, false]
 507
 508 define void @test12() {
 509 ; CHECK-LABEL: @test12(
 510 ; CHECK-NEXT:  bb:
 511 ; CHECK-NEXT:    [[TMP:%.*]] = load i32, i32* null
 512 ; CHECK-NEXT:    [[TMP1:%.*]] = icmp sgt i32 [[TMP]], 0
 513 ; CHECK-NEXT:    br i1 [[TMP1]], label [[BB2:%.*]], label [[BB8:%.*]]
 514 ; CHECK:       bb2:
 515 ; CHECK-NEXT:    br label [[BB3:%.*]]
 516 ; CHECK:       bb3:
 517 ; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i1 [ true, [[BB2]] ], [ false, [[BB7:%.*]] ]
 518 ; CHECK-NEXT:    br i1 [[PHIOFOPS]], label [[BB6:%.*]], label [[BB7]]
 519 ; CHECK:       bb6:
 520 ; CHECK-NEXT:    br label [[BB7]]
 521 ; CHECK:       bb7:
 522 ; CHECK-NEXT:    br label [[BB3]]
 523 ; CHECK:       bb8:
 524 ; CHECK-NEXT:    ret void
 525 ;
 526 bb:
 527   %tmp = load i32, i32* null
 528   %tmp1 = icmp sgt i32 %tmp, 0
 529   br i1 %tmp1, label %bb2, label %bb8
 530
 531 bb2:                                              ; preds = %bb
 532   br label %bb3
 533
 534 bb3:                                              ; preds = %bb7, %bb2
 535   %tmp4 = phi i32 [ %tmp, %bb2 ], [ undef, %bb7 ]
 536   %tmp5 = icmp sgt i32 %tmp4, 0
 537   br i1 %tmp5, label %bb6, label %bb7
 538
 539 bb6:                                              ; preds = %bb3
 540   br label %bb7
 541
 542 bb7:                                              ; preds = %bb6, %bb3
 543   br label %bb3
 544
 545 bb8:                                              ; preds = %bb
 546   ret void
 547 }
 548
 549 ;; Make sure we reprocess phi of ops involving loads when loads change class.
 550 ;; This is PR 34473
 551 define void @test13() {
 552 ; CHECK-LABEL: @test13(
 553 ; CHECK-NEXT:  bb:
 554 ; CHECK-NEXT:    br label [[BB1:%.*]]
 555 ; CHECK:       bb1:
 556 ; CHECK-NEXT:    [[TMP:%.*]] = load i8, i8* null
 557 ; CHECK-NEXT:    br label [[BB3:%.*]]
 558 ; CHECK:       bb3:
 559 ; CHECK-NEXT:    [[PHIOFOPS:%.*]] = phi i8 [ [[TMP]], [[BB1]] ], [ [[TMP10:%.*]], [[BB3]] ]
 560 ; CHECK-NEXT:    [[TMP4:%.*]] = phi i8* [ null, [[BB1]] ], [ [[TMP6:%.*]], [[BB3]] ]
 561 ; CHECK-NEXT:    [[TMP5:%.*]] = phi i32 [ undef, [[BB1]] ], [ [[TMP9:%.*]], [[BB3]] ]
 562 ; CHECK-NEXT:    [[TMP6]] = getelementptr i8, i8* [[TMP4]], i64 1
 563 ; CHECK-NEXT:    [[TMP8:%.*]] = sext i8 [[PHIOFOPS]] to i32
 564 ; CHECK-NEXT:    [[TMP9]] = mul i32 [[TMP5]], [[TMP8]]
 565 ; CHECK-NEXT:    [[TMP10]] = load i8, i8* [[TMP6]]
 566 ; CHECK-NEXT:    [[TMP11:%.*]] = icmp eq i8 [[TMP10]], 0
 567 ; CHECK-NEXT:    br i1 [[TMP11]], label [[BB12:%.*]], label [[BB3]]
 568 ; CHECK:       bb12:
 569 ; CHECK-NEXT:    [[TMP14:%.*]] = icmp eq i32 [[TMP9]], 0
 570 ; CHECK-NEXT:    br i1 [[TMP14]], label [[BB1]], label [[BB15:%.*]]
 571 ; CHECK:       bb15:
 572 ; CHECK-NEXT:    call void (...) @bar()
 573 ; CHECK-NEXT:    br label [[BB1]]
 574 ;
 575 bb:
 576   br label %bb1
 577
 578 bb1:                                              ; preds = %bb15, %bb12, %bb
 579   %tmp = load i8, i8* null
 580   %tmp2 = icmp eq i8 %tmp, 8
 581   br label %bb3
 582
 583 bb3:                                              ; preds = %bb3, %bb1
 584   %tmp4 = phi i8* [ null, %bb1 ], [ %tmp6, %bb3 ]
 585   %tmp5 = phi i32 [ undef, %bb1 ], [ %tmp9, %bb3 ]
 586   %tmp6 = getelementptr i8, i8* %tmp4, i64 1
 587   %tmp7 = load i8, i8* %tmp4
 588   %tmp8 = sext i8 %tmp7 to i32
 589   %tmp9 = mul i32 %tmp5, %tmp8
 590   %tmp10 = load i8, i8* %tmp6
 591   %tmp11 = icmp eq i8 %tmp10, 0
 592   br i1 %tmp11, label %bb12, label %bb3
 593
 594 bb12:                                             ; preds = %bb3
 595   %tmp13 = phi i32 [ %tmp9, %bb3 ]
 596   %tmp14 = icmp eq i32 %tmp13, 0
 597   br i1 %tmp14, label %bb1, label %bb15
 598
 599 bb15:                                             ; preds = %bb12
 600   call void (...) @bar()
 601   br label %bb1
 602 }
 603
 604 declare void @bar(...)
 605