blob: 3b239358ebf594d809e0fa589d49ba8f97652fe8 [file] [log] [blame]
Jia Liuf54f60f2012-02-28 07:46:26 +00001//===-- MipsCallingConv.td - Calling Conventions for Mips --*- tablegen -*-===//
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +00002//
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +00007//
Akira Hatanakae2489122011-04-15 21:51:11 +00008//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +00009// This describes the calling conventions for Mips architecture.
Akira Hatanakae2489122011-04-15 21:51:11 +000010//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000011
12/// CCIfSubtarget - Match if the current subtarget has a feature F.
Eric Christopherb5217502014-08-06 18:45:26 +000013class CCIfSubtarget<string F, CCAction A>
14 : CCIf<!strconcat("static_cast<const MipsSubtarget&>"
15 "(State.getMachineFunction().getSubtarget()).",
16 F),
17 A>;
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000018
Akira Hatanakae2489122011-04-15 21:51:11 +000019//===----------------------------------------------------------------------===//
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +000020// Mips O32 Calling Convention
Akira Hatanakae2489122011-04-15 21:51:11 +000021//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000022
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +000023// Only the return rules are defined here for O32. The rules for argument
Bruno Cardoso Lopes3b7b3012009-03-19 02:12:28 +000024// passing are defined in MipsISelLowering.cpp.
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +000025def RetCC_MipsO32 : CallingConv<[
Akira Hatanaka27029882011-06-21 01:28:11 +000026 // i32 are returned in registers V0, V1, A0, A1
27 CCIfType<[i32], CCAssignToReg<[V0, V1, A0, A1]>>,
Bruno Cardoso Lopes3e667cf2008-08-03 15:37:43 +000028
Bruno Cardoso Lopes2f5c8e32010-01-19 12:37:35 +000029 // f32 are returned in registers F0, F2
30 CCIfType<[f32], CCAssignToReg<[F0, F2]>>,
Bruno Cardoso Lopes3e667cf2008-08-03 15:37:43 +000031
Zoran Jovanovicf34b4542014-07-10 22:23:30 +000032 // f64 arguments are returned in D0_64 and D2_64 in FP64bit mode or
Akira Hatanakabfb66242013-08-20 23:38:40 +000033 // in D0 and D1 in FP32bit mode.
Zoran Jovanovicf34b4542014-07-10 22:23:30 +000034 CCIfType<[f64], CCIfSubtarget<"isFP64bit()", CCAssignToReg<[D0_64, D2_64]>>>,
Akira Hatanakabfb66242013-08-20 23:38:40 +000035 CCIfType<[f64], CCIfSubtarget<"isNotFP64bit()", CCAssignToReg<[D0, D1]>>>
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +000036]>;
37
Akira Hatanakae2489122011-04-15 21:51:11 +000038//===----------------------------------------------------------------------===//
Akira Hatanakad6af2c62011-09-23 19:08:15 +000039// Mips N32/64 Calling Convention
40//===----------------------------------------------------------------------===//
41
42def CC_MipsN : CallingConv<[
Akira Hatanakad608bac2012-02-17 02:20:26 +000043 // Promote i8/i16 arguments to i32.
44 CCIfType<[i8, i16], CCPromoteToType<i32>>,
Akira Hatanakad6af2c62011-09-23 19:08:15 +000045
46 // Integer arguments are passed in integer registers.
Akira Hatanakad608bac2012-02-17 02:20:26 +000047 CCIfType<[i32], CCAssignToRegWithShadow<[A0, A1, A2, A3,
48 T0, T1, T2, T3],
49 [F12, F13, F14, F15,
50 F16, F17, F18, F19]>>,
51
Akira Hatanakad6af2c62011-09-23 19:08:15 +000052 CCIfType<[i64], CCAssignToRegWithShadow<[A0_64, A1_64, A2_64, A3_64,
53 T0_64, T1_64, T2_64, T3_64],
54 [D12_64, D13_64, D14_64, D15_64,
55 D16_64, D17_64, D18_64, D19_64]>>,
56
57 // f32 arguments are passed in single precision FP registers.
58 CCIfType<[f32], CCAssignToRegWithShadow<[F12, F13, F14, F15,
59 F16, F17, F18, F19],
60 [A0_64, A1_64, A2_64, A3_64,
61 T0_64, T1_64, T2_64, T3_64]>>,
62
63 // f64 arguments are passed in double precision FP registers.
64 CCIfType<[f64], CCAssignToRegWithShadow<[D12_64, D13_64, D14_64, D15_64,
65 D16_64, D17_64, D18_64, D19_64],
66 [A0_64, A1_64, A2_64, A3_64,
67 T0_64, T1_64, T2_64, T3_64]>>,
68
69 // All stack parameter slots become 64-bit doublewords and are 8-byte aligned.
Akira Hatanakad608bac2012-02-17 02:20:26 +000070 CCIfType<[i32, f32], CCAssignToStack<4, 8>>,
71 CCIfType<[i64, f64], CCAssignToStack<8, 8>>
Akira Hatanakad6af2c62011-09-23 19:08:15 +000072]>;
73
Akira Hatanaka0b8bc002011-11-14 19:02:54 +000074// N32/64 variable arguments.
75// All arguments are passed in integer registers.
76def CC_MipsN_VarArg : CallingConv<[
Akira Hatanakad608bac2012-02-17 02:20:26 +000077 // Promote i8/i16 arguments to i32.
78 CCIfType<[i8, i16], CCPromoteToType<i32>>,
79
80 CCIfType<[i32, f32], CCAssignToReg<[A0, A1, A2, A3, T0, T1, T2, T3]>>,
Akira Hatanaka0b8bc002011-11-14 19:02:54 +000081
82 CCIfType<[i64, f64], CCAssignToReg<[A0_64, A1_64, A2_64, A3_64,
83 T0_64, T1_64, T2_64, T3_64]>>,
84
Akira Hatanaka0b8bc002011-11-14 19:02:54 +000085 // All stack parameter slots become 64-bit doublewords and are 8-byte aligned.
Akira Hatanakad608bac2012-02-17 02:20:26 +000086 CCIfType<[i32, f32], CCAssignToStack<4, 8>>,
87 CCIfType<[i64, f64], CCAssignToStack<8, 8>>
Akira Hatanaka0b8bc002011-11-14 19:02:54 +000088]>;
89
Akira Hatanakad6af2c62011-09-23 19:08:15 +000090def RetCC_MipsN : CallingConv<[
Akira Hatanakad6af2c62011-09-23 19:08:15 +000091 // i32 are returned in registers V0, V1
92 CCIfType<[i32], CCAssignToReg<[V0, V1]>>,
93
94 // i64 are returned in registers V0_64, V1_64
95 CCIfType<[i64], CCAssignToReg<[V0_64, V1_64]>>,
96
97 // f32 are returned in registers F0, F2
98 CCIfType<[f32], CCAssignToReg<[F0, F2]>>,
99
100 // f64 are returned in registers D0, D2
101 CCIfType<[f64], CCAssignToReg<[D0_64, D2_64]>>
102]>;
103
Akira Hatanakae092f722013-03-05 22:54:59 +0000104// In soft-mode, register A0_64, instead of V1_64, is used to return a long
105// double value.
106def RetCC_F128Soft : CallingConv<[
107 CCIfType<[i64], CCAssignToReg<[V0_64, A0_64]>>
108]>;
109
Akira Hatanakad6af2c62011-09-23 19:08:15 +0000110//===----------------------------------------------------------------------===//
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +0000111// Mips EABI Calling Convention
Akira Hatanakae2489122011-04-15 21:51:11 +0000112//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes3b7b3012009-03-19 02:12:28 +0000113
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +0000114def CC_MipsEABI : CallingConv<[
115 // Promote i8/i16 arguments to i32.
116 CCIfType<[i8, i16], CCPromoteToType<i32>>,
117
118 // Integer arguments are passed in integer registers.
119 CCIfType<[i32], CCAssignToReg<[A0, A1, A2, A3, T0, T1, T2, T3]>>,
120
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000121 // Single fp arguments are passed in pairs within 32-bit mode
122 CCIfType<[f32], CCIfSubtarget<"isSingleFloat()",
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +0000123 CCAssignToReg<[F12, F13, F14, F15, F16, F17, F18, F19]>>>,
124
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000125 CCIfType<[f32], CCIfSubtarget<"isNotSingleFloat()",
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +0000126 CCAssignToReg<[F12, F14, F16, F18]>>>,
127
Duncan Sands56ca6292011-04-25 06:21:43 +0000128 // The first 4 double fp arguments are passed in single fp registers.
Bruno Cardoso Lopesed874ef2011-03-04 17:51:39 +0000129 CCIfType<[f64], CCIfSubtarget<"isNotSingleFloat()",
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +0000130 CCAssignToReg<[D6, D7, D8, D9]>>>,
131
132 // Integer values get stored in stack slots that are 4 bytes in
133 // size and 4-byte aligned.
134 CCIfType<[i32, f32], CCAssignToStack<4, 4>>,
135
136 // Integer values get stored in stack slots that are 8 bytes in
137 // size and 8-byte aligned.
138 CCIfType<[f64], CCIfSubtarget<"isNotSingleFloat()", CCAssignToStack<8, 8>>>
139]>;
140
141def RetCC_MipsEABI : CallingConv<[
142 // i32 are returned in registers V0, V1
143 CCIfType<[i32], CCAssignToReg<[V0, V1]>>,
144
145 // f32 are returned in registers F0, F1
146 CCIfType<[f32], CCAssignToReg<[F0, F1]>>,
147
148 // f64 are returned in register D0
149 CCIfType<[f64], CCIfSubtarget<"isNotSingleFloat()", CCAssignToReg<[D0]>>>
150]>;
151
Akira Hatanakae2489122011-04-15 21:51:11 +0000152//===----------------------------------------------------------------------===//
Akira Hatanakaf0273602012-06-13 18:06:00 +0000153// Mips FastCC Calling Convention
154//===----------------------------------------------------------------------===//
155def CC_MipsO32_FastCC : CallingConv<[
156 // f64 arguments are passed in double-precision floating pointer registers.
Akira Hatanakabfb66242013-08-20 23:38:40 +0000157 CCIfType<[f64], CCIfSubtarget<"isNotFP64bit()",
158 CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7,
159 D8, D9]>>>,
160 CCIfType<[f64], CCIfSubtarget<"isFP64bit()",
161 CCAssignToReg<[D0_64, D1_64, D2_64, D3_64,
162 D4_64, D5_64, D6_64, D7_64,
163 D8_64, D9_64, D10_64, D11_64,
164 D12_64, D13_64, D14_64, D15_64,
165 D16_64, D17_64, D18_64,
166 D19_64]>>>,
Akira Hatanakaf0273602012-06-13 18:06:00 +0000167
168 // Stack parameter slots for f64 are 64-bit doublewords and 8-byte aligned.
169 CCIfType<[f64], CCAssignToStack<8, 8>>
170]>;
171
172def CC_MipsN_FastCC : CallingConv<[
173 // Integer arguments are passed in integer registers.
174 CCIfType<[i64], CCAssignToReg<[A0_64, A1_64, A2_64, A3_64, T0_64, T1_64,
175 T2_64, T3_64, T4_64, T5_64, T6_64, T7_64,
176 T8_64, V1_64]>>,
177
178 // f64 arguments are passed in double-precision floating pointer registers.
179 CCIfType<[f64], CCAssignToReg<[D0_64, D1_64, D2_64, D3_64, D4_64, D5_64,
180 D6_64, D7_64, D8_64, D9_64, D10_64, D11_64,
181 D12_64, D13_64, D14_64, D15_64, D16_64, D17_64,
182 D18_64, D19_64]>>,
183
184 // Stack parameter slots for i64 and f64 are 64-bit doublewords and
185 // 8-byte aligned.
186 CCIfType<[i64, f64], CCAssignToStack<8, 8>>
187]>;
188
189def CC_Mips_FastCC : CallingConv<[
190 // Handles byval parameters.
191 CCIfByVal<CCPassByVal<4, 4>>,
192
193 // Promote i8/i16 arguments to i32.
194 CCIfType<[i8, i16], CCPromoteToType<i32>>,
195
196 // Integer arguments are passed in integer registers. All scratch registers,
197 // except for AT, V0 and T9, are available to be used as argument registers.
Sasa Stankovic4c80bda2014-02-07 17:16:40 +0000198 CCIfType<[i32], CCIfSubtarget<"isNotTargetNaCl()",
199 CCAssignToReg<[A0, A1, A2, A3, T0, T1, T2, T3, T4, T5, T6, T7, T8, V1]>>>,
200
201 // In NaCl, T6, T7 and T8 are reserved and not available as argument
202 // registers for fastcc. T6 contains the mask for sandboxing control flow
203 // (indirect jumps and calls). T7 contains the mask for sandboxing memory
204 // accesses (loads and stores). T8 contains the thread pointer.
205 CCIfType<[i32], CCIfSubtarget<"isTargetNaCl()",
206 CCAssignToReg<[A0, A1, A2, A3, T0, T1, T2, T3, T4, T5, V1]>>>,
Akira Hatanakaf0273602012-06-13 18:06:00 +0000207
208 // f32 arguments are passed in single-precision floating pointer registers.
Sasa Stankovicf4a9e3b2014-07-29 14:39:24 +0000209 CCIfType<[f32], CCIfSubtarget<"useOddSPReg()",
210 CCAssignToReg<[F0, F1, F2, F3, F4, F5, F6, F7, F8, F9, F10, F11, F12, F13,
211 F14, F15, F16, F17, F18, F19]>>>,
212
213 // Don't use odd numbered single-precision registers for -mno-odd-spreg.
214 CCIfType<[f32], CCIfSubtarget<"noOddSPReg()",
215 CCAssignToReg<[F0, F2, F4, F6, F8, F10, F12, F14, F16, F18]>>>,
Akira Hatanakaf0273602012-06-13 18:06:00 +0000216
217 // Stack parameter slots for i32 and f32 are 32-bit words and 4-byte aligned.
218 CCIfType<[i32, f32], CCAssignToStack<4, 4>>,
219
220 CCIfSubtarget<"isABI_EABI()", CCDelegateTo<CC_MipsEABI>>,
221 CCIfSubtarget<"isABI_O32()", CCDelegateTo<CC_MipsO32_FastCC>>,
222 CCDelegateTo<CC_MipsN_FastCC>
223]>;
224
Reed Kotler783c7942013-05-10 22:25:39 +0000225//==
226
227def CC_Mips16RetHelper : CallingConv<[
228 // Integer arguments are passed in integer registers.
229 CCIfType<[i32], CCAssignToReg<[V0, V1, A0, A1]>>
230]>;
231
Akira Hatanakaf0273602012-06-13 18:06:00 +0000232//===----------------------------------------------------------------------===//
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +0000233// Mips Calling Convention Dispatch
Akira Hatanakae2489122011-04-15 21:51:11 +0000234//===----------------------------------------------------------------------===//
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +0000235
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +0000236def RetCC_Mips : CallingConv<[
237 CCIfSubtarget<"isABI_EABI()", CCDelegateTo<RetCC_MipsEABI>>,
Akira Hatanakad6af2c62011-09-23 19:08:15 +0000238 CCIfSubtarget<"isABI_N32()", CCDelegateTo<RetCC_MipsN>>,
239 CCIfSubtarget<"isABI_N64()", CCDelegateTo<RetCC_MipsN>>,
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +0000240 CCDelegateTo<RetCC_MipsO32>
241]>;
Akira Hatanaka5350c242012-03-01 22:27:29 +0000242
243//===----------------------------------------------------------------------===//
244// Callee-saved register lists.
245//===----------------------------------------------------------------------===//
246
247def CSR_SingleFloatOnly : CalleeSavedRegs<(add (sequence "F%u", 31, 20), RA, FP,
248 (sequence "S%u", 7, 0))>;
249
Zoran Jovanovic255d00d2014-07-10 15:36:12 +0000250def CSR_O32_FPXX : CalleeSavedRegs<(add (sequence "D%u", 15, 10), RA, FP,
251 (sequence "S%u", 7, 0))> {
252 let OtherPreserved = (add (decimate (sequence "F%u", 30, 20), 2));
253}
254
Akira Hatanaka5350c242012-03-01 22:27:29 +0000255def CSR_O32 : CalleeSavedRegs<(add (sequence "D%u", 15, 10), RA, FP,
256 (sequence "S%u", 7, 0))>;
257
Zoran Jovanovicf34b4542014-07-10 22:23:30 +0000258def CSR_O32_FP64 :
259 CalleeSavedRegs<(add (decimate (sequence "D%u_64", 30, 20), 2), RA, FP,
260 (sequence "S%u", 7, 0))>;
Akira Hatanakabfb66242013-08-20 23:38:40 +0000261
Daniel Sanders11c0c062014-04-16 10:23:37 +0000262def CSR_N32 : CalleeSavedRegs<(add D20_64, D22_64, D24_64, D26_64, D28_64,
263 D30_64, RA_64, FP_64, GP_64,
Akira Hatanaka5350c242012-03-01 22:27:29 +0000264 (sequence "S%u_64", 7, 0))>;
265
266def CSR_N64 : CalleeSavedRegs<(add (sequence "D%u_64", 31, 24), RA_64, FP_64,
267 GP_64, (sequence "S%u_64", 7, 0))>;
Reed Kotler783c7942013-05-10 22:25:39 +0000268
Jack Carter59817112013-05-16 20:08:49 +0000269def CSR_Mips16RetHelper :
Reed Kotler5c29d632013-12-15 20:49:30 +0000270 CalleeSavedRegs<(add V0, V1, FP,
271 (sequence "A%u", 3, 0), (sequence "S%u", 7, 0),
272 (sequence "D%u", 15, 10))>;