llvm/test/Transforms/NewGVN/load-from-unreachable-predecessor.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
   2 ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
   3
   4 ; Check that an unreachable predecessor to a PHI node doesn't cause a crash.
   5 ; PR21625.
   6
   7 define i32 @f(ptr %f) {
   8 ; CHECK-LABEL: define i32 @f(
   9 ; CHECK-SAME: ptr [[F:%.*]]) {
  10 ; CHECK-NEXT:  bb0:
  11 ; CHECK-NEXT:    br label [[BB2:%.*]]
  12 ; CHECK:       bb1:
  13 ; CHECK-NEXT:    store i8 poison, ptr null, align 1
  14 ; CHECK-NEXT:    br i1 false, label [[BB1:%.*]], label [[BB2]]
  15 ; CHECK:       bb2:
  16 ; CHECK-NEXT:    [[STOREMERGE:%.*]] = load i32, ptr null, align 4
  17 ; CHECK-NEXT:    ret i32 [[STOREMERGE]]
  18 ;
  19 ; Load should be removed, since it's ignored.
  20 bb0:
  21   %bar = load ptr, ptr %f
  22   br label %bb2
  23 bb1:
  24   %zed = load ptr, ptr %f
  25   br i1 false, label %bb1, label %bb2
  26 bb2:
  27   %foo = phi ptr [ null, %bb0 ], [ %zed, %bb1 ]
  28   %storemerge = load i32, ptr %foo
  29   ret i32 %storemerge
  30 }