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