test/Transforms/CodeExtractor/unreachable-block.ll

   1 ; RUN: opt -S -partial-inliner %s | FileCheck %s
   2
   3 ; CHECK-LABEL: define void @dipsy(
   4 ; CHECK-NEXT:   call void @tinkywinky.1.ontrue()
   5 ; CHECK-NEXT:   call void @patatuccio()
   6 ; CHECK-NEXT:   ret void
   7 ; CHECK-NEXT: }
   8
   9 ; CHECK-LABEL: define internal void @tinkywinky.1.ontrue() {
  10 ; CHECK-NEXT: newFuncRoot:
  11 ; CHECK-NEXT:   br label %ontrue
  12 ; CHECK: onfalse{{.*}}:
  13 ; CHECK-NEXT:   ret void
  14 ; CHECK: ontrue:
  15 ; CHECK-NEXT:   call void @patatino()
  16 ; CHECK-NEXT:   br label %onfalse{{.*}}
  17 ; CHECK-NEXT: }
  18
  19 declare void @patatino()
  20 declare void @patatuccio()
  21
  22 define fastcc void @tinkywinky() {
  23   br i1 true, label %ontrue, label %onfalse
  24 ontrue:
  25   call void @patatino()
  26   br label %onfalse
  27 onfalse:
  28   call void @patatuccio()
  29   ret void
  30 cantreachme:
  31   ret void
  32 }
  33 define void @dipsy() {
  34   call fastcc void @tinkywinky()
  35   ret void
  36 }