llvm/test/Other/devirt-invalidated.ll

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