xref: /llvm-project/llvm/test/Transforms/Inline/basictest.ll (revision 151602c7a9935558ca671b35359989b261045db0) 
1; RUN: opt < %s -passes='inline,sroa' -S | FileCheck %s
2; RUN: opt < %s -passes='cgscc(inline,function(sroa))' -S | FileCheck %s
3target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
4
5define i32 @test1f(i32 %i) {
6        ret i32 %i
7}
8
9define i32 @test1(i32 %W) {
10        %X = call i32 @test1f(i32 7)
11        %Y = add i32 %X, %W
12        ret i32 %Y
13; CHECK-LABEL: @test1(
14; CHECK-NEXT: %Y = add i32 7, %W
15; CHECK-NEXT: ret i32 %Y
16}
17
18
19
20; rdar://7339069
21
22%T = type { i32, i32 }
23
24; CHECK-NOT: @test2f(
25define internal ptr @test2f(i1 %cond, ptr %P) {
26  br i1 %cond, label %T, label %F
27
28T:
29  store i32 42, ptr %P
30  ret ptr %P
31
32F:
33  ret ptr %P
34}
35
36define i32 @test2(i1 %cond) {
37  %A = alloca %T
38
39  %B = call ptr @test2f(i1 %cond, ptr %A)
40  %D = load i32, ptr %B
41  ret i32 %D
42
43; CHECK-LABEL: @test2(
44; CHECK-NOT: = alloca
45; CHECK: ret i32
46}
47
48declare void @barrier() noduplicate
49
50define internal i32 @f() {
51  call void @barrier() noduplicate
52  ret i32 1
53}
54
55define i32 @g() {
56  call void @barrier() noduplicate
57  ret i32 2
58}
59
60define internal i32 @h() {
61  call void @barrier() noduplicate
62  ret i32 3
63}
64
65define i32 @test3() {
66  %b = call i32 @f()
67  ret i32 %b
68}
69
70; The call to @f cannot be inlined as there is another callsite
71; calling @f, and @f contains a noduplicate call.
72;
73; The call to @g cannot be inlined as it has external linkage.
74;
75; The call to @h *can* be inlined.
76
77; CHECK-LABEL: @test(
78define i32 @test() {
79; CHECK: call i32 @f()
80  %a = call i32 @f()
81; CHECK: call i32 @g()
82  %b = call i32 @g()
83; CHECK-NOT: call i32 @h()
84  %c = call i32 @h()
85
86  %d = add i32 %a, %b
87  %e = add i32 %d, %c
88
89  ret i32 %e
90; CHECK: }
91}
92
93; Inliner shouldn't delete calls it can't inline, even if they're trivially dead
94; CHECK-LABEL: @outer4(
95define void @outer4(ptr %inner4) {
96entry:
97; CHECK: call void %inner4()
98  call void %inner4() nounwind readnone
99  ret void
100}
101
102declare void @inner5_inner()
103
104define void @inner5(ptr %x) {
105  call void %x() nounwind readnone
106  ret void
107}
108
109; Inliner shouldn't delete calls it can't inline, even if they're trivially dead and temporarily indirect
110; CHECK-LABEL: @outer5(
111define void @outer5() {
112; CHECK: call void @inner5_inner(
113  call void @inner5(ptr @inner5_inner)
114  ret void
115}
116