Jia Liu | 31d157a | 2012-02-18 12:03:15 +0000 | [diff] [blame^] | 1 | //===-- ARMCallingConv.td - Calling Conventions for ARM ----*- tablegen -*-===// |
Bob Wilson | dee46d7 | 2009-04-17 20:35:10 +0000 | [diff] [blame] | 2 | // |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 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. |
Bob Wilson | dee46d7 | 2009-04-17 20:35:10 +0000 | [diff] [blame] | 7 | // |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | // This describes the calling conventions for ARM architecture. |
| 10 | //===----------------------------------------------------------------------===// |
| 11 | |
| 12 | /// CCIfSubtarget - Match if the current subtarget has a feature F. |
Bob Wilson | dee46d7 | 2009-04-17 20:35:10 +0000 | [diff] [blame] | 13 | class CCIfSubtarget<string F, CCAction A>: |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 14 | CCIf<!strconcat("State.getTarget().getSubtarget<ARMSubtarget>().", F), A>; |
| 15 | |
| 16 | /// CCIfAlign - Match of the original alignment of the arg |
| 17 | class CCIfAlign<string Align, CCAction A>: |
| 18 | CCIf<!strconcat("ArgFlags.getOrigAlign() == ", Align), A>; |
| 19 | |
| 20 | //===----------------------------------------------------------------------===// |
| 21 | // ARM APCS Calling Convention |
| 22 | //===----------------------------------------------------------------------===// |
| 23 | def CC_ARM_APCS : CallingConv<[ |
| 24 | |
Stuart Hastings | f222e59 | 2011-02-28 17:17:53 +0000 | [diff] [blame] | 25 | // Handles byval parameters. |
Stuart Hastings | c731587 | 2011-04-20 16:47:52 +0000 | [diff] [blame] | 26 | CCIfByVal<CCPassByVal<4, 4>>, |
Stuart Hastings | f222e59 | 2011-02-28 17:17:53 +0000 | [diff] [blame] | 27 | |
Chad Rosier | 38f5c0d | 2011-11-05 00:02:56 +0000 | [diff] [blame] | 28 | CCIfType<[i1, i8, i16], CCPromoteToType<i32>>, |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 29 | |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 30 | // Handle all vector types as either f64 or v2f64. |
| 31 | CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 32 | CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| 33 | |
| 34 | // f64 and v2f64 are passed in adjacent GPRs, possibly split onto the stack |
| 35 | CCIfType<[f64, v2f64], CCCustom<"CC_ARM_APCS_Custom_f64">>, |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 36 | |
| 37 | CCIfType<[f32], CCBitConvertToType<i32>>, |
Bob Wilson | 1c2c462 | 2009-04-24 16:55:25 +0000 | [diff] [blame] | 38 | CCIfType<[i32], CCAssignToReg<[R0, R1, R2, R3]>>, |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 39 | |
Bob Wilson | 1c2c462 | 2009-04-24 16:55:25 +0000 | [diff] [blame] | 40 | CCIfType<[i32], CCAssignToStack<4, 4>>, |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 41 | CCIfType<[f64], CCAssignToStack<8, 4>>, |
| 42 | CCIfType<[v2f64], CCAssignToStack<16, 4>> |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 43 | ]>; |
| 44 | |
| 45 | def RetCC_ARM_APCS : CallingConv<[ |
Chad Rosier | 0eff39f | 2011-11-08 00:03:32 +0000 | [diff] [blame] | 46 | CCIfType<[i1, i8, i16], CCPromoteToType<i32>>, |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 47 | CCIfType<[f32], CCBitConvertToType<i32>>, |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 48 | |
| 49 | // Handle all vector types as either f64 or v2f64. |
| 50 | CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 51 | CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| 52 | |
| 53 | CCIfType<[f64, v2f64], CCCustom<"RetCC_ARM_APCS_Custom_f64">>, |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 54 | |
| 55 | CCIfType<[i32], CCAssignToReg<[R0, R1, R2, R3]>>, |
| 56 | CCIfType<[i64], CCAssignToRegWithShadow<[R0, R2], [R1, R3]>> |
| 57 | ]>; |
| 58 | |
| 59 | //===----------------------------------------------------------------------===// |
Evan Cheng | 76f920d | 2010-10-22 18:23:05 +0000 | [diff] [blame] | 60 | // ARM APCS Calling Convention for FastCC (when VFP2 or later is available) |
| 61 | //===----------------------------------------------------------------------===// |
| 62 | def FastCC_ARM_APCS : CallingConv<[ |
| 63 | // Handle all vector types as either f64 or v2f64. |
| 64 | CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 65 | CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| 66 | |
| 67 | CCIfType<[v2f64], CCAssignToReg<[Q0, Q1, Q2, Q3]>>, |
| 68 | CCIfType<[f64], CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7]>>, |
| 69 | CCIfType<[f32], CCAssignToReg<[S0, S1, S2, S3, S4, S5, S6, S7, S8, |
| 70 | S9, S10, S11, S12, S13, S14, S15]>>, |
| 71 | CCDelegateTo<CC_ARM_APCS> |
| 72 | ]>; |
| 73 | |
| 74 | def RetFastCC_ARM_APCS : CallingConv<[ |
| 75 | // Handle all vector types as either f64 or v2f64. |
| 76 | CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 77 | CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| 78 | |
| 79 | CCIfType<[v2f64], CCAssignToReg<[Q0, Q1, Q2, Q3]>>, |
| 80 | CCIfType<[f64], CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7]>>, |
| 81 | CCIfType<[f32], CCAssignToReg<[S0, S1, S2, S3, S4, S5, S6, S7, S8, |
| 82 | S9, S10, S11, S12, S13, S14, S15]>>, |
| 83 | CCDelegateTo<RetCC_ARM_APCS> |
| 84 | ]>; |
| 85 | |
| 86 | |
| 87 | //===----------------------------------------------------------------------===// |
Anton Korobeynikov | 0eebf65 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 88 | // ARM AAPCS (EABI) Calling Convention, common parts |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 89 | //===----------------------------------------------------------------------===// |
Anton Korobeynikov | 0eebf65 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 90 | |
| 91 | def CC_ARM_AAPCS_Common : CallingConv<[ |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 92 | |
Chad Rosier | 62c8e8e | 2011-11-07 21:43:40 +0000 | [diff] [blame] | 93 | CCIfType<[i1, i8, i16], CCPromoteToType<i32>>, |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 94 | |
| 95 | // i64/f64 is passed in even pairs of GPRs |
| 96 | // i64 is 8-aligned i32 here, so we may need to eat R1 as a pad register |
Bob Wilson | 04746ea | 2009-05-19 10:02:36 +0000 | [diff] [blame] | 97 | // (and the same is true for f64 if VFP is not enabled) |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 98 | CCIfType<[i32], CCIfAlign<"8", CCAssignToRegWithShadow<[R0, R2], [R0, R1]>>>, |
Bob Wilson | 04746ea | 2009-05-19 10:02:36 +0000 | [diff] [blame] | 99 | CCIfType<[i32], CCIf<"State.getNextStackOffset() == 0 &&" |
| 100 | "ArgFlags.getOrigAlign() != 8", |
| 101 | CCAssignToReg<[R0, R1, R2, R3]>>>, |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 102 | |
Rafael Espindola | 55e9587 | 2010-08-06 15:35:32 +0000 | [diff] [blame] | 103 | CCIfType<[i32], CCIfAlign<"8", CCAssignToStackWithShadow<4, 8, R3>>>, |
Anton Korobeynikov | 0eebf65 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 104 | CCIfType<[i32, f32], CCAssignToStack<4, 4>>, |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 105 | CCIfType<[f64], CCAssignToStack<8, 8>>, |
| 106 | CCIfType<[v2f64], CCAssignToStack<16, 8>> |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 107 | ]>; |
| 108 | |
Anton Korobeynikov | 0eebf65 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 109 | def RetCC_ARM_AAPCS_Common : CallingConv<[ |
Chad Rosier | 0eff39f | 2011-11-08 00:03:32 +0000 | [diff] [blame] | 110 | CCIfType<[i1, i8, i16], CCPromoteToType<i32>>, |
Anton Korobeynikov | 2e7ccfc | 2009-06-08 22:59:50 +0000 | [diff] [blame] | 111 | CCIfType<[i32], CCAssignToReg<[R0, R1, R2, R3]>>, |
Bob Wilson | 1f595bb | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 112 | CCIfType<[i64], CCAssignToRegWithShadow<[R0, R2], [R1, R3]>> |
| 113 | ]>; |
| 114 | |
| 115 | //===----------------------------------------------------------------------===// |
Anton Korobeynikov | 0eebf65 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 116 | // ARM AAPCS (EABI) Calling Convention |
| 117 | //===----------------------------------------------------------------------===// |
| 118 | |
| 119 | def CC_ARM_AAPCS : CallingConv<[ |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 120 | // Handle all vector types as either f64 or v2f64. |
| 121 | CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 122 | CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| 123 | |
| 124 | CCIfType<[f64, v2f64], CCCustom<"CC_ARM_AAPCS_Custom_f64">>, |
Anton Korobeynikov | 0eebf65 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 125 | CCIfType<[f32], CCBitConvertToType<i32>>, |
| 126 | CCDelegateTo<CC_ARM_AAPCS_Common> |
| 127 | ]>; |
| 128 | |
| 129 | def RetCC_ARM_AAPCS : CallingConv<[ |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 130 | // Handle all vector types as either f64 or v2f64. |
| 131 | CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 132 | CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| 133 | |
| 134 | CCIfType<[f64, v2f64], CCCustom<"RetCC_ARM_AAPCS_Custom_f64">>, |
Anton Korobeynikov | 0eebf65 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 135 | CCIfType<[f32], CCBitConvertToType<i32>>, |
| 136 | CCDelegateTo<RetCC_ARM_AAPCS_Common> |
| 137 | ]>; |
| 138 | |
| 139 | //===----------------------------------------------------------------------===// |
| 140 | // ARM AAPCS-VFP (EABI) Calling Convention |
Evan Cheng | 76f920d | 2010-10-22 18:23:05 +0000 | [diff] [blame] | 141 | // Also used for FastCC (when VFP2 or later is available) |
Anton Korobeynikov | 0eebf65 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 142 | //===----------------------------------------------------------------------===// |
| 143 | |
| 144 | def CC_ARM_AAPCS_VFP : CallingConv<[ |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 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>>, |
| 148 | |
Anton Korobeynikov | 567d14f | 2009-08-05 19:04:42 +0000 | [diff] [blame] | 149 | CCIfType<[v2f64], CCAssignToReg<[Q0, Q1, Q2, Q3]>>, |
Anton Korobeynikov | 0eebf65 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 150 | CCIfType<[f64], CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7]>>, |
| 151 | CCIfType<[f32], CCAssignToReg<[S0, S1, S2, S3, S4, S5, S6, S7, S8, |
| 152 | S9, S10, S11, S12, S13, S14, S15]>>, |
| 153 | CCDelegateTo<CC_ARM_AAPCS_Common> |
| 154 | ]>; |
| 155 | |
| 156 | def RetCC_ARM_AAPCS_VFP : CallingConv<[ |
Bob Wilson | 5bafff3 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 157 | // Handle all vector types as either f64 or v2f64. |
| 158 | CCIfType<[v1i64, v2i32, v4i16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 159 | CCIfType<[v2i64, v4i32, v8i16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| 160 | |
Anton Korobeynikov | 567d14f | 2009-08-05 19:04:42 +0000 | [diff] [blame] | 161 | CCIfType<[v2f64], CCAssignToReg<[Q0, Q1, Q2, Q3]>>, |
Anton Korobeynikov | 0eebf65 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 162 | CCIfType<[f64], CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7]>>, |
| 163 | CCIfType<[f32], CCAssignToReg<[S0, S1, S2, S3, S4, S5, S6, S7, S8, |
| 164 | S9, S10, S11, S12, S13, S14, S15]>>, |
| 165 | CCDelegateTo<RetCC_ARM_AAPCS_Common> |
| 166 | ]>; |
Jakob Stoklund Olesen | 3ee7d15 | 2012-01-17 23:09:00 +0000 | [diff] [blame] | 167 | |
| 168 | //===----------------------------------------------------------------------===// |
| 169 | // Callee-saved register lists. |
| 170 | //===----------------------------------------------------------------------===// |
| 171 | |
| 172 | def CSR_AAPCS : CalleeSavedRegs<(add LR, R11, R10, R9, R8, R7, R6, R5, R4, |
| 173 | (sequence "D%u", 15, 8))>; |
| 174 | |
| 175 | // iOS ABI deviates from ARM standard ABI. R9 is not a callee-saved register. |
| 176 | // Also save R7-R4 first to match the stack frame fixed spill areas. |
| 177 | def CSR_iOS : CalleeSavedRegs<(add LR, R7, R6, R5, R4, (sub CSR_AAPCS, R9))>; |