1 //===-- ARMCallingConv.td - Calling Conventions for ARM ----*- tablegen -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
9 // This describes the calling conventions for ARM architecture.
10 //===----------------------------------------------------------------------===//
12 /// CCIfAlign - Match of the original alignment of the arg
13 class CCIfAlign<string Align, CCAction A>:
14 CCIf<!strconcat("ArgFlags.getOrigAlign() == ", Align), A>;
16 //===----------------------------------------------------------------------===//
17 // ARM APCS Calling Convention
18 //===----------------------------------------------------------------------===//
19 def CC_ARM_APCS : CallingConv<[
21 // Handles byval parameters.
22 CCIfByVal<CCPassByVal<4, 4>>,
24 CCIfType<[i1, i8, i16], CCPromoteToType<i32>>,
26 // Handle all vector types as either f64 or v2f64.
27 CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>,
28 CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>,
30 // f64 and v2f64 are passed in adjacent GPRs, possibly split onto the stack
31 CCIfType<[f64, v2f64], CCCustom<"CC_ARM_APCS_Custom_f64">>,
33 CCIfType<[f32], CCBitConvertToType<i32>>,
34 CCIfType<[i32], CCAssignToReg<[R0, R1, R2, R3]>>,
36 CCIfType<[i32], CCAssignToStack<4, 4>>,
37 CCIfType<[f64], CCAssignToStack<8, 4>>,
38 CCIfType<[v2f64], CCAssignToStack<16, 4>>
41 def RetCC_ARM_APCS : CallingConv<[
42 CCIfType<[i1, i8, i16], CCPromoteToType<i32>>,
43 CCIfType<[f32], CCBitConvertToType<i32>>,
45 // Handle all vector types as either f64 or v2f64.
46 CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>,
47 CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>,
49 CCIfType<[f64, v2f64], CCCustom<"RetCC_ARM_APCS_Custom_f64">>,
51 CCIfType<[i32], CCAssignToReg<[R0, R1, R2, R3]>>,
52 CCIfType<[i64], CCAssignToRegWithShadow<[R0, R2], [R1, R3]>>
55 //===----------------------------------------------------------------------===//
56 // ARM APCS Calling Convention for FastCC (when VFP2 or later is available)
57 //===----------------------------------------------------------------------===//
58 def FastCC_ARM_APCS : CallingConv<[
59 // Handle all vector types as either f64 or v2f64.
60 CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>,
61 CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>,
63 CCIfType<[v2f64], CCAssignToReg<[Q0, Q1, Q2, Q3]>>,
64 CCIfType<[f64], CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7]>>,
65 CCIfType<[f32], CCAssignToReg<[S0, S1, S2, S3, S4, S5, S6, S7, S8,
66 S9, S10, S11, S12, S13, S14, S15]>>,
68 // CPRCs may be allocated to co-processor registers or the stack - they
69 // may never be allocated to core registers.
70 CCIfType<[f32], CCAssignToStackWithShadow<4, 4, [Q0, Q1, Q2, Q3]>>,
71 CCIfType<[f64], CCAssignToStackWithShadow<8, 4, [Q0, Q1, Q2, Q3]>>,
72 CCIfType<[v2f64], CCAssignToStackWithShadow<16, 4, [Q0, Q1, Q2, Q3]>>,
74 CCDelegateTo<CC_ARM_APCS>
77 def RetFastCC_ARM_APCS : CallingConv<[
78 // Handle all vector types as either f64 or v2f64.
79 CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>,
80 CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>,
82 CCIfType<[v2f64], CCAssignToReg<[Q0, Q1, Q2, Q3]>>,
83 CCIfType<[f64], CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7]>>,
84 CCIfType<[f32], CCAssignToReg<[S0, S1, S2, S3, S4, S5, S6, S7, S8,
85 S9, S10, S11, S12, S13, S14, S15]>>,
86 CCDelegateTo<RetCC_ARM_APCS>
89 //===----------------------------------------------------------------------===//
90 // ARM APCS Calling Convention for GHC
91 //===----------------------------------------------------------------------===//
93 def CC_ARM_APCS_GHC : CallingConv<[
94 // Handle all vector types as either f64 or v2f64.
95 CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>,
96 CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>,
98 CCIfType<[v2f64], CCAssignToReg<[Q4, Q5]>>,
99 CCIfType<[f64], CCAssignToReg<[D8, D9, D10, D11]>>,
100 CCIfType<[f32], CCAssignToReg<[S16, S17, S18, S19, S20, S21, S22, S23]>>,
102 // Promote i8/i16 arguments to i32.
103 CCIfType<[i8, i16], CCPromoteToType<i32>>,
105 // Pass in STG registers: Base, Sp, Hp, R1, R2, R3, R4, SpLim
106 CCIfType<[i32], CCAssignToReg<[R4, R5, R6, R7, R8, R9, R10, R11]>>
109 //===----------------------------------------------------------------------===//
110 // ARM AAPCS (EABI) Calling Convention, common parts
111 //===----------------------------------------------------------------------===//
113 def CC_ARM_AAPCS_Common : CallingConv<[
115 CCIfType<[i1, i8, i16], CCPromoteToType<i32>>,
117 // i64/f64 is passed in even pairs of GPRs
118 // i64 is 8-aligned i32 here, so we may need to eat R1 as a pad register
119 // (and the same is true for f64 if VFP is not enabled)
120 CCIfType<[i32], CCIfAlign<"8", CCAssignToRegWithShadow<[R0, R2], [R0, R1]>>>,
121 CCIfType<[i32], CCIf<"ArgFlags.getOrigAlign() != 8",
122 CCAssignToReg<[R0, R1, R2, R3]>>>,
124 CCIfType<[i32], CCIfAlign<"8", CCAssignToStackWithShadow<4, 8, [R0, R1, R2, R3]>>>,
125 CCIfType<[i32], CCAssignToStackWithShadow<4, 4, [R0, R1, R2, R3]>>,
126 CCIfType<[f32], CCAssignToStackWithShadow<4, 4, [Q0, Q1, Q2, Q3]>>,
127 CCIfType<[f64], CCAssignToStackWithShadow<8, 8, [Q0, Q1, Q2, Q3]>>,
128 CCIfType<[v2f64], CCAssignToStackWithShadow<16, 8, [Q0, Q1, Q2, Q3]>>
131 def RetCC_ARM_AAPCS_Common : CallingConv<[
132 CCIfType<[i1, i8, i16], CCPromoteToType<i32>>,
133 CCIfType<[i32], CCAssignToReg<[R0, R1, R2, R3]>>,
134 CCIfType<[i64], CCAssignToRegWithShadow<[R0, R2], [R1, R3]>>
137 //===----------------------------------------------------------------------===//
138 // ARM AAPCS (EABI) Calling Convention
139 //===----------------------------------------------------------------------===//
141 def CC_ARM_AAPCS : CallingConv<[
142 // Handles byval parameters.
143 CCIfByVal<CCPassByVal<4, 4>>,
145 // Handle all vector types as either f64 or v2f64.
146 CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>,
147 CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>,
149 CCIfType<[f64, v2f64], CCCustom<"CC_ARM_AAPCS_Custom_f64">>,
150 CCIfType<[f32], CCBitConvertToType<i32>>,
151 CCDelegateTo<CC_ARM_AAPCS_Common>
154 def RetCC_ARM_AAPCS : CallingConv<[
155 // Handle all vector types as either f64 or v2f64.
156 CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>,
157 CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>,
159 CCIfType<[f64, v2f64], CCCustom<"RetCC_ARM_AAPCS_Custom_f64">>,
160 CCIfType<[f32], CCBitConvertToType<i32>>,
161 CCDelegateTo<RetCC_ARM_AAPCS_Common>
164 //===----------------------------------------------------------------------===//
165 // ARM AAPCS-VFP (EABI) Calling Convention
166 // Also used for FastCC (when VFP2 or later is available)
167 //===----------------------------------------------------------------------===//
169 def CC_ARM_AAPCS_VFP : CallingConv<[
170 // Handles byval parameters.
171 CCIfByVal<CCPassByVal<4, 4>>,
173 // Handle all vector types as either f64 or v2f64.
174 CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>,
175 CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>,
177 // HFAs are passed in a contiguous block of registers, or on the stack
178 CCIfConsecutiveRegs<CCCustom<"CC_ARM_AAPCS_Custom_HA">>,
180 CCIfType<[v2f64], CCAssignToReg<[Q0, Q1, Q2, Q3]>>,
181 CCIfType<[f64], CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7]>>,
182 CCIfType<[f32], CCAssignToReg<[S0, S1, S2, S3, S4, S5, S6, S7, S8,
183 S9, S10, S11, S12, S13, S14, S15]>>,
184 CCDelegateTo<CC_ARM_AAPCS_Common>
187 def RetCC_ARM_AAPCS_VFP : CallingConv<[
188 // Handle all vector types as either f64 or v2f64.
189 CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>,
190 CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>,
192 CCIfType<[v2f64], CCAssignToReg<[Q0, Q1, Q2, Q3]>>,
193 CCIfType<[f64], CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7]>>,
194 CCIfType<[f32], CCAssignToReg<[S0, S1, S2, S3, S4, S5, S6, S7, S8,
195 S9, S10, S11, S12, S13, S14, S15]>>,
196 CCDelegateTo<RetCC_ARM_AAPCS_Common>
199 //===----------------------------------------------------------------------===//
200 // Callee-saved register lists.
201 //===----------------------------------------------------------------------===//
203 def CSR_NoRegs : CalleeSavedRegs<(add)>;
205 def CSR_AAPCS : CalleeSavedRegs<(add LR, R11, R10, R9, R8, R7, R6, R5, R4,
206 (sequence "D%u", 15, 8))>;
208 // Constructors and destructors return 'this' in the ARM C++ ABI; since 'this'
209 // and the pointer return value are both passed in R0 in these cases, this can
210 // be partially modelled by treating R0 as a callee-saved register
211 // Only the resulting RegMask is used; the SaveList is ignored
212 def CSR_AAPCS_ThisReturn : CalleeSavedRegs<(add LR, R11, R10, R9, R8, R7, R6,
213 R5, R4, (sequence "D%u", 15, 8),
216 // iOS ABI deviates from ARM standard ABI. R9 is not a callee-saved register.
217 // Also save R7-R4 first to match the stack frame fixed spill areas.
218 def CSR_iOS : CalleeSavedRegs<(add LR, R7, R6, R5, R4, (sub CSR_AAPCS, R9))>;
220 def CSR_iOS_ThisReturn : CalleeSavedRegs<(add LR, R7, R6, R5, R4,
221 (sub CSR_AAPCS_ThisReturn, R9))>;
223 // The "interrupt" attribute is used to generate code that is acceptable in
224 // exception-handlers of various kinds. It makes us use a different return
225 // instruction (handled elsewhere) and affects which registers we must return to
226 // our "caller" in the same state as we receive them.
228 // For most interrupts, all registers except SP and LR are shared with
229 // user-space. We mark LR to be saved anyway, since this is what the ARM backend
230 // generally does rather than tracking its liveness as a normal register.
231 def CSR_GenericInt : CalleeSavedRegs<(add LR, (sequence "R%u", 12, 0))>;
233 // The fast interrupt handlers have more private state and get their own copies
234 // of R8-R12, in addition to SP and LR. As before, mark LR for saving too.
236 // FIXME: we mark R11 as callee-saved since it's often the frame-pointer, and
237 // current frame lowering expects to encounter it while processing callee-saved
239 def CSR_FIQ : CalleeSavedRegs<(add LR, R11, (sequence "R%u", 7, 0))>;