llvm/test/Other/devirt-invalidated.ll

   1 ; RUN: opt -passes='devirt<0>(inline)' < %s -S | FileCheck %s
   2
   3 ; CHECK-NOT: internal
   4 ; CHECK: define void @e()
   5 ; CHECK-NOT: internal
   6
   7 define void @e() {
   8 entry:
   9   call void @b()
  10   ret void
  11 }
  12
  13 define internal void @b() {
  14 entry:
  15   call void @d()
  16   call void @c()
  17   ret void
  18 }
  19
  20 define internal void @d() {
  21 entry:
  22   unreachable
  23 }
  24
  25 define internal void @c() {
  26 entry:
  27   call void @b()
  28   call void @e()
  29   ret void
  30 }