llvm/test/Transforms/PartialInlining/unreachable_basic_block.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=partial-inliner -S < %s | FileCheck %s
   3 declare i1 @llvm.public.type.test(ptr, metadata)
   4
   5 define void @dummy() {
   6 ; CHECK-LABEL: @dummy(
   7 ; CHECK-NEXT:  entry:
   8 ; CHECK-NEXT:    br i1 false, label [[WHILE_END:%.*]], label [[WHILE_BODY:%.*]]
   9 ; CHECK:       while.body:
  10 ; CHECK-NEXT:    call void @dummy.1.while.body()
  11 ; CHECK-NEXT:    br label [[WHILE_END]]
  12 ; CHECK:       while.end:
  13 ; CHECK-NEXT:    ret void
  14 ;
  15 entry:
  16   br i1 false, label %while.end, label %while.body
  17
  18 while.body:                                       ; preds = %entry
  19   call void @dummy()
  20   br label %while.end
  21
  22 unreachable.block:               ; No predecessors!
  23   %0 = tail call i1 @llvm.public.type.test(ptr null, metadata !"test-function")
  24   %result = getelementptr ptr, ptr null, i64 1
  25   br label %while.end
  26
  27 while.end:                                        ; preds = %unreachable.block, %while.body, %entry
  28   ret void
  29 }