[mips] Do not tail-call optimize vararg functions or functions with byval
[oota-llvm.git] / test / CodeGen / Mips / tailcall.ll
1 ; RUN: llc -march=mipsel -relocation-model=pic -enable-mips-tail-calls < %s | \
2 ; RUN: FileCheck %s -check-prefix=PIC32
3 ; RUN: llc -march=mipsel -relocation-model=static \
4 ; RUN: -enable-mips-tail-calls < %s | FileCheck %s -check-prefix=STATIC32
5 ; RUN: llc -march=mips64el -mcpu=mips64r2 -mattr=+n64 -enable-mips-tail-calls \
6 ; RUN: < %s | FileCheck %s -check-prefix=N64
7
8 @g0 = common global i32 0, align 4
9 @g1 = common global i32 0, align 4
10 @g2 = common global i32 0, align 4
11 @g3 = common global i32 0, align 4
12 @g4 = common global i32 0, align 4
13 @g5 = common global i32 0, align 4
14 @g6 = common global i32 0, align 4
15 @g7 = common global i32 0, align 4
16 @g8 = common global i32 0, align 4
17 @g9 = common global i32 0, align 4
18
19 define i32 @caller1(i32 %a0) nounwind {
20 entry:
21 ; PIC32-NOT: jalr
22 ; STATIC32-NOT: jal
23 ; N64-NOT: jalr
24
25   %call = tail call i32 @callee1(i32 1, i32 1, i32 1, i32 %a0) nounwind
26   ret i32 %call
27 }
28
29 declare i32 @callee1(i32, i32, i32, i32)
30
31 define i32 @caller2(i32 %a0, i32 %a1, i32 %a2, i32 %a3) nounwind {
32 entry:
33 ; PIC32: jalr
34 ; STATIC32: jal
35 ; N64-NOT: jalr
36
37   %call = tail call i32 @callee2(i32 1, i32 %a0, i32 %a1, i32 %a2, i32 %a3) nounwind
38   ret i32 %call
39 }
40
41 declare i32 @callee2(i32, i32, i32, i32, i32)
42
43 define i32 @caller3(i32 %a0, i32 %a1, i32 %a2, i32 %a3, i32 %a4) nounwind {
44 entry:
45 ; PIC32: jalr
46 ; STATIC32: jal
47 ; N64-NOT: jalr
48
49   %call = tail call i32 @callee3(i32 1, i32 1, i32 1, i32 %a0, i32 %a1, i32 %a2, i32 %a3, i32 %a4) nounwind
50   ret i32 %call
51 }
52
53 declare i32 @callee3(i32, i32, i32, i32, i32, i32, i32, i32)
54
55 define i32 @caller4(i32 %a0, i32 %a1, i32 %a2, i32 %a3, i32 %a4, i32 %a5, i32 %a6, i32 %a7) nounwind {
56 entry:
57 ; PIC32: jalr
58 ; STATIC32: jal
59 ; N64: jalr
60
61   %call = tail call i32 @callee4(i32 1, i32 %a0, i32 %a1, i32 %a2, i32 %a3, i32 %a4, i32 %a5, i32 %a6, i32 %a7) nounwind
62   ret i32 %call
63 }
64
65 declare i32 @callee4(i32, i32, i32, i32, i32, i32, i32, i32, i32)
66
67 define i32 @caller5() nounwind readonly {
68 entry:
69 ; PIC32: .ent caller5
70 ; PIC32-NOT: jalr
71 ; PIC32: .end caller5
72 ; STATIC32: .ent caller5
73 ; STATIC32-NOT: jal
74 ; STATIC32: .end caller5
75 ; N64: .ent caller5
76 ; N64-NOT: jalr
77 ; N64: .end caller5
78
79   %0 = load i32* @g0, align 4
80   %1 = load i32* @g1, align 4
81   %2 = load i32* @g2, align 4
82   %3 = load i32* @g3, align 4
83   %4 = load i32* @g4, align 4
84   %5 = load i32* @g5, align 4
85   %6 = load i32* @g6, align 4
86   %7 = load i32* @g7, align 4
87   %8 = load i32* @g8, align 4
88   %9 = load i32* @g9, align 4
89   %call = tail call fastcc i32 @callee5(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8, i32 %9)
90   ret i32 %call
91 }
92
93 define internal fastcc i32 @callee5(i32 %a0, i32 %a1, i32 %a2, i32 %a3, i32 %a4, i32 %a5, i32 %a6, i32 %a7, i32 %a8, i32 %a9) nounwind readnone noinline {
94 entry:
95   %add = add nsw i32 %a1, %a0
96   %add1 = add nsw i32 %add, %a2
97   %add2 = add nsw i32 %add1, %a3
98   %add3 = add nsw i32 %add2, %a4
99   %add4 = add nsw i32 %add3, %a5
100   %add5 = add nsw i32 %add4, %a6
101   %add6 = add nsw i32 %add5, %a7
102   %add7 = add nsw i32 %add6, %a8
103   %add8 = add nsw i32 %add7, %a9
104   ret i32 %add8
105 }
106
107 declare i32 @callee8(i32, ...)
108
109 define i32 @caller8_0() nounwind {
110 entry:
111   %call = tail call fastcc i32 @caller8_1()
112   ret i32 %call
113 }
114
115 define internal fastcc i32 @caller8_1() nounwind noinline {
116 entry:
117 ; PIC32: .ent caller8_1
118 ; PIC32: jalr
119 ; PIC32: .end caller8_1
120 ; STATIC32: .ent caller8_1
121 ; STATIC32: jal
122 ; STATIC32: .end caller8_1
123 ; N64: .ent caller8_1
124 ; N64: jalr
125 ; N64: .end caller8_1
126
127   %call = tail call i32 (i32, ...)* @callee8(i32 2, i32 1) nounwind
128   ret i32 %call
129 }
130
131 %struct.S = type { [2 x i32] }
132
133 @gs1 = external global %struct.S
134
135 declare i32 @callee9(%struct.S* byval)
136
137 define i32 @caller9_0() nounwind {
138 entry:
139   %call = tail call fastcc i32 @caller9_1()
140   ret i32 %call
141 }
142
143 define internal fastcc i32 @caller9_1() nounwind noinline {
144 entry:
145 ; PIC32: .ent caller9_1
146 ; PIC32: jalr
147 ; PIC32: .end caller9_1
148 ; STATIC32: .ent caller9_1
149 ; STATIC32: jal
150 ; STATIC32: .end caller9_1
151 ; N64: .ent caller9_1
152 ; N64: jalr
153 ; N64: .end caller9_1
154
155   %call = tail call i32 @callee9(%struct.S* byval @gs1) nounwind
156   ret i32 %call
157 }
158