llvm/test/Transforms/NewGVN/completeness.ll

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