1 //===-- ARMCallingConv.td - Calling Conventions for ARM ----*- tablegen -*-===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // This describes the calling conventions for ARM architecture. 10 //===----------------------------------------------------------------------===// 11 12 /// CCIfAlign - Match of the original alignment of the arg 13 class CCIfAlign<string Align, CCAction A>: 14 CCIf<!strconcat("ArgFlags.getOrigAlign() == ", Align), A>; 15 16 //===----------------------------------------------------------------------===// 17 // ARM APCS Calling Convention 18 //===----------------------------------------------------------------------===// 19 def CC_ARM_APCS : CallingConv<[ 20 21 // Handles byval parameters. 22 CCIfByVal<CCPassByVal<4, 4>>, 23 24 CCIfType<[i1, i8, i16], CCPromoteToType<i32>>, 25 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>>, 29 30 // f64 and v2f64 are passed in adjacent GPRs, possibly split onto the stack 31 CCIfType<[f64, v2f64], CCCustom<"CC_ARM_APCS_Custom_f64">>, 32 33 CCIfType<[f32], CCBitConvertToType<i32>>, 34 CCIfType<[i32], CCAssignToReg<[R0, R1, R2, R3]>>, 35 36 CCIfType<[i32], CCAssignToStack<4, 4>>, 37 CCIfType<[f64], CCAssignToStack<8, 4>>, 38 CCIfType<[v2f64], CCAssignToStack<16, 4>> 39 ]>; 40 41 def RetCC_ARM_APCS : CallingConv<[ 42 CCIfType<[i1, i8, i16], CCPromoteToType<i32>>, 43 CCIfType<[f32], CCBitConvertToType<i32>>, 44 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>>, 48 49 CCIfType<[f64, v2f64], CCCustom<"RetCC_ARM_APCS_Custom_f64">>, 50 51 CCIfType<[i32], CCAssignToReg<[R0, R1, R2, R3]>>, 52 CCIfType<[i64], CCAssignToRegWithShadow<[R0, R2], [R1, R3]>> 53 ]>; 54 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>>, 62 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]>>, 67 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]>>, 73 74 CCDelegateTo<CC_ARM_APCS> 75 ]>; 76 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>>, 81 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> 87 ]>; 88 89 //===----------------------------------------------------------------------===// 90 // ARM APCS Calling Convention for GHC 91 //===----------------------------------------------------------------------===// 92 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>>, 97 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]>>, 101 102 // Promote i8/i16 arguments to i32. 103 CCIfType<[i8, i16], CCPromoteToType<i32>>, 104 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]>> 107 ]>; 108 109 //===----------------------------------------------------------------------===// 110 // ARM AAPCS (EABI) Calling Convention, common parts 111 //===----------------------------------------------------------------------===// 112 113 def CC_ARM_AAPCS_Common : CallingConv<[ 114 115 CCIfType<[i1, i8, i16], CCPromoteToType<i32>>, 116 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]>>>, 123 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], CCIfAlign<"16", 129 CCAssignToStackWithShadow<16, 16, [Q0, Q1, Q2, Q3]>>>, 130 CCIfType<[v2f64], CCAssignToStackWithShadow<16, 8, [Q0, Q1, Q2, Q3]>> 131 ]>; 132 133 def RetCC_ARM_AAPCS_Common : CallingConv<[ 134 CCIfType<[i1, i8, i16], CCPromoteToType<i32>>, 135 CCIfType<[i32], CCAssignToReg<[R0, R1, R2, R3]>>, 136 CCIfType<[i64], CCAssignToRegWithShadow<[R0, R2], [R1, R3]>> 137 ]>; 138 139 //===----------------------------------------------------------------------===// 140 // ARM AAPCS (EABI) Calling Convention 141 //===----------------------------------------------------------------------===// 142 143 def CC_ARM_AAPCS : CallingConv<[ 144 // Handles byval parameters. 145 CCIfByVal<CCPassByVal<4, 4>>, 146 147 // The 'nest' parameter, if any, is passed in R12. 148 CCIfNest<CCAssignToReg<[R12]>>, 149 150 // Handle all vector types as either f64 or v2f64. 151 CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>, 152 CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>, 153 154 CCIfType<[f64, v2f64], CCCustom<"CC_ARM_AAPCS_Custom_f64">>, 155 CCIfType<[f32], CCBitConvertToType<i32>>, 156 CCDelegateTo<CC_ARM_AAPCS_Common> 157 ]>; 158 159 def RetCC_ARM_AAPCS : CallingConv<[ 160 // Handle all vector types as either f64 or v2f64. 161 CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>, 162 CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>, 163 164 CCIfType<[f64, v2f64], CCCustom<"RetCC_ARM_AAPCS_Custom_f64">>, 165 CCIfType<[f32], CCBitConvertToType<i32>>, 166 CCDelegateTo<RetCC_ARM_AAPCS_Common> 167 ]>; 168 169 //===----------------------------------------------------------------------===// 170 // ARM AAPCS-VFP (EABI) Calling Convention 171 // Also used for FastCC (when VFP2 or later is available) 172 //===----------------------------------------------------------------------===// 173 174 def CC_ARM_AAPCS_VFP : CallingConv<[ 175 // Handles byval parameters. 176 CCIfByVal<CCPassByVal<4, 4>>, 177 178 // Handle all vector types as either f64 or v2f64. 179 CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>, 180 CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>, 181 182 // HFAs are passed in a contiguous block of registers, or on the stack 183 CCIfConsecutiveRegs<CCCustom<"CC_ARM_AAPCS_Custom_Aggregate">>, 184 185 CCIfType<[v2f64], CCAssignToReg<[Q0, Q1, Q2, Q3]>>, 186 CCIfType<[f64], CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7]>>, 187 CCIfType<[f32], CCAssignToReg<[S0, S1, S2, S3, S4, S5, S6, S7, S8, 188 S9, S10, S11, S12, S13, S14, S15]>>, 189 CCDelegateTo<CC_ARM_AAPCS_Common> 190 ]>; 191 192 def RetCC_ARM_AAPCS_VFP : CallingConv<[ 193 // Handle all vector types as either f64 or v2f64. 194 CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>, 195 CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>, 196 197 CCIfType<[v2f64], CCAssignToReg<[Q0, Q1, Q2, Q3]>>, 198 CCIfType<[f64], CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7]>>, 199 CCIfType<[f32], CCAssignToReg<[S0, S1, S2, S3, S4, S5, S6, S7, S8, 200 S9, S10, S11, S12, S13, S14, S15]>>, 201 CCDelegateTo<RetCC_ARM_AAPCS_Common> 202 ]>; 203 204 //===----------------------------------------------------------------------===// 205 // Callee-saved register lists. 206 //===----------------------------------------------------------------------===// 207 208 def CSR_NoRegs : CalleeSavedRegs<(add)>; 209 210 def CSR_AAPCS : CalleeSavedRegs<(add LR, R11, R10, R9, R8, R7, R6, R5, R4, 211 (sequence "D%u", 15, 8))>; 212 213 // Constructors and destructors return 'this' in the ARM C++ ABI; since 'this' 214 // and the pointer return value are both passed in R0 in these cases, this can 215 // be partially modelled by treating R0 as a callee-saved register 216 // Only the resulting RegMask is used; the SaveList is ignored 217 def CSR_AAPCS_ThisReturn : CalleeSavedRegs<(add LR, R11, R10, R9, R8, R7, R6, 218 R5, R4, (sequence "D%u", 15, 8), 219 R0)>; 220 221 // iOS ABI deviates from ARM standard ABI. R9 is not a callee-saved register. 222 // Also save R7-R4 first to match the stack frame fixed spill areas. 223 def CSR_iOS : CalleeSavedRegs<(add LR, R7, R6, R5, R4, (sub CSR_AAPCS, R9))>; 224 225 def CSR_iOS_ThisReturn : CalleeSavedRegs<(add LR, R7, R6, R5, R4, 226 (sub CSR_AAPCS_ThisReturn, R9))>; 227 228 // The "interrupt" attribute is used to generate code that is acceptable in 229 // exception-handlers of various kinds. It makes us use a different return 230 // instruction (handled elsewhere) and affects which registers we must return to 231 // our "caller" in the same state as we receive them. 232 233 // For most interrupts, all registers except SP and LR are shared with 234 // user-space. We mark LR to be saved anyway, since this is what the ARM backend 235 // generally does rather than tracking its liveness as a normal register. 236 def CSR_GenericInt : CalleeSavedRegs<(add LR, (sequence "R%u", 12, 0))>; 237 238 // The fast interrupt handlers have more private state and get their own copies 239 // of R8-R12, in addition to SP and LR. As before, mark LR for saving too. 240 241 // FIXME: we mark R11 as callee-saved since it's often the frame-pointer, and 242 // current frame lowering expects to encounter it while processing callee-saved 243 // registers. 244 def CSR_FIQ : CalleeSavedRegs<(add LR, R11, (sequence "R%u", 7, 0))>; 245 246 247