1; RUN: opt < %s -inline -S | FileCheck %s
2
3; Test that functions with attribute optnone are not inlined.
4; Also test that only functions with attribute alwaysinline are
5; valid candidates for inlining if the caller has the optnone attribute.
6
7; Function Attrs: alwaysinline nounwind readnone uwtable
8define i32 @alwaysInlineFunction(i32 %a) #0 {
9entry:
10  %mul = mul i32 %a, %a
11  ret i32 %mul
12}
13
14; Function Attrs: nounwind readnone uwtable
15define i32 @simpleFunction(i32 %a) #1 {
16entry:
17  %add = add i32 %a, %a
18  ret i32 %add
19}
20
21; Function Attrs: nounwind noinline optnone readnone uwtable
22define i32 @OptnoneFunction(i32 %a) #2 {
23entry:
24  %0 = tail call i32 @alwaysInlineFunction(i32 %a)
25  %1 = tail call i32 @simpleFunction(i32 %a)
26  %add = add i32 %0, %1
27  ret i32 %add
28}
29
30; CHECK-LABEL: @OptnoneFunction
31; CHECK-NOT: call i32 @alwaysInlineFunction(i32 %a)
32; CHECK: call i32 @simpleFunction(i32 %a)
33; CHECK: ret
34
35; Function Attrs: nounwind readnone uwtable
36define i32 @bar(i32 %a) #1 {
37entry:
38  %0 = tail call i32 @OptnoneFunction(i32 5)
39  %1 = tail call i32 @simpleFunction(i32 6)
40  %add = add i32 %0, %1
41  ret i32 %add
42}
43
44; CHECK-LABEL: @bar
45; CHECK: call i32 @OptnoneFunction(i32 5)
46; CHECK-NOT: call i32 @simpleFunction(i32 6)
47; CHECK: ret
48
49
50attributes #0 = { alwaysinline nounwind readnone uwtable }
51attributes #1 = { nounwind readnone uwtable }
52attributes #2 = { nounwind noinline optnone readnone uwtable }
53