| Jia Liu | b22310f | 2012-02-18 12:03:15 +0000 | [diff] [blame] | 1 | //===-- ARMCallingConv.td - Calling Conventions for ARM ----*- tablegen -*-===// |
| Bob Wilson | ea09d4a | 2009-04-17 20:35:10 +0000 | [diff] [blame] | 2 | // |
| Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| Bob Wilson | ea09d4a | 2009-04-17 20:35:10 +0000 | [diff] [blame] | 6 | // |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 7 | //===----------------------------------------------------------------------===// |
| 8 | // This describes the calling conventions for ARM architecture. |
| 9 | //===----------------------------------------------------------------------===// |
| 10 | |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 11 | /// CCIfAlign - Match of the original alignment of the arg |
| 12 | class CCIfAlign<string Align, CCAction A>: |
| 13 | CCIf<!strconcat("ArgFlags.getOrigAlign() == ", Align), A>; |
| 14 | |
| 15 | //===----------------------------------------------------------------------===// |
| 16 | // ARM APCS Calling Convention |
| 17 | //===----------------------------------------------------------------------===// |
| Reid Kleckner | 27fd307 | 2019-01-28 21:28:43 +0000 | [diff] [blame] | 18 | let Entry = 1 in |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 19 | def CC_ARM_APCS : CallingConv<[ |
| 20 | |
| Stuart Hastings | 67c5c3e | 2011-02-28 17:17:53 +0000 | [diff] [blame] | 21 | // Handles byval parameters. |
| Stuart Hastings | 45fe3c3 | 2011-04-20 16:47:52 +0000 | [diff] [blame] | 22 | CCIfByVal<CCPassByVal<4, 4>>, |
| Stuart Hastings | 67c5c3e | 2011-02-28 17:17:53 +0000 | [diff] [blame] | 23 | |
| Chad Rosier | f0055f6 | 2011-11-05 00:02:56 +0000 | [diff] [blame] | 24 | CCIfType<[i1, i8, i16], CCPromoteToType<i32>>, |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 25 | |
| Matthias Braun | 707e02c | 2016-04-13 21:43:25 +0000 | [diff] [blame] | 26 | // Pass SwiftSelf in a callee saved register. |
| 27 | CCIfSwiftSelf<CCIfType<[i32], CCAssignToReg<[R10]>>>, |
| Manman Ren | f46262e | 2016-03-29 17:37:21 +0000 | [diff] [blame] | 28 | |
| Arnold Schwaighofer | 26f016f | 2017-02-09 01:52:17 +0000 | [diff] [blame] | 29 | // A SwiftError is passed in R8. |
| 30 | CCIfSwiftError<CCIfType<[i32], CCAssignToReg<[R8]>>>, |
| Manman Ren | 5751814 | 2016-04-11 21:08:06 +0000 | [diff] [blame] | 31 | |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 32 | // Handle all vector types as either f64 or v2f64. |
| Diogo N. Sampaio | 2078eb7 | 2019-04-29 10:10:37 +0000 | [diff] [blame] | 33 | CCIfType<[v1i64, v2i32, v4i16, v4f16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 34 | CCIfType<[v2i64, v4i32, v8i16, v8f16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 35 | |
| 36 | // f64 and v2f64 are passed in adjacent GPRs, possibly split onto the stack |
| 37 | CCIfType<[f64, v2f64], CCCustom<"CC_ARM_APCS_Custom_f64">>, |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 38 | |
| 39 | CCIfType<[f32], CCBitConvertToType<i32>>, |
| Bob Wilson | 62d47d2 | 2009-04-24 16:55:25 +0000 | [diff] [blame] | 40 | CCIfType<[i32], CCAssignToReg<[R0, R1, R2, R3]>>, |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 41 | |
| Bob Wilson | 62d47d2 | 2009-04-24 16:55:25 +0000 | [diff] [blame] | 42 | CCIfType<[i32], CCAssignToStack<4, 4>>, |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 43 | CCIfType<[f64], CCAssignToStack<8, 4>>, |
| 44 | CCIfType<[v2f64], CCAssignToStack<16, 4>> |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 45 | ]>; |
| 46 | |
| Reid Kleckner | 27fd307 | 2019-01-28 21:28:43 +0000 | [diff] [blame] | 47 | let Entry = 1 in |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 48 | def RetCC_ARM_APCS : CallingConv<[ |
| Chad Rosier | 5de1bea | 2011-11-08 00:03:32 +0000 | [diff] [blame] | 49 | CCIfType<[i1, i8, i16], CCPromoteToType<i32>>, |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 50 | CCIfType<[f32], CCBitConvertToType<i32>>, |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 51 | |
| Matthias Braun | 707e02c | 2016-04-13 21:43:25 +0000 | [diff] [blame] | 52 | // Pass SwiftSelf in a callee saved register. |
| 53 | CCIfSwiftSelf<CCIfType<[i32], CCAssignToReg<[R10]>>>, |
| 54 | |
| Arnold Schwaighofer | 26f016f | 2017-02-09 01:52:17 +0000 | [diff] [blame] | 55 | // A SwiftError is returned in R8. |
| 56 | CCIfSwiftError<CCIfType<[i32], CCAssignToReg<[R8]>>>, |
| Manman Ren | 5751814 | 2016-04-11 21:08:06 +0000 | [diff] [blame] | 57 | |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 58 | // Handle all vector types as either f64 or v2f64. |
| Diogo N. Sampaio | 2078eb7 | 2019-04-29 10:10:37 +0000 | [diff] [blame] | 59 | CCIfType<[v1i64, v2i32, v4i16, v4f16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 60 | CCIfType<[v2i64, v4i32, v8i16, v8f16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 61 | |
| 62 | CCIfType<[f64, v2f64], CCCustom<"RetCC_ARM_APCS_Custom_f64">>, |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 63 | |
| 64 | CCIfType<[i32], CCAssignToReg<[R0, R1, R2, R3]>>, |
| 65 | CCIfType<[i64], CCAssignToRegWithShadow<[R0, R2], [R1, R3]>> |
| 66 | ]>; |
| 67 | |
| 68 | //===----------------------------------------------------------------------===// |
| Evan Cheng | 08dd8c8 | 2010-10-22 18:23:05 +0000 | [diff] [blame] | 69 | // ARM APCS Calling Convention for FastCC (when VFP2 or later is available) |
| 70 | //===----------------------------------------------------------------------===// |
| Reid Kleckner | 27fd307 | 2019-01-28 21:28:43 +0000 | [diff] [blame] | 71 | let Entry = 1 in |
| Evan Cheng | 08dd8c8 | 2010-10-22 18:23:05 +0000 | [diff] [blame] | 72 | def FastCC_ARM_APCS : CallingConv<[ |
| 73 | // Handle all vector types as either f64 or v2f64. |
| Diogo N. Sampaio | 2078eb7 | 2019-04-29 10:10:37 +0000 | [diff] [blame] | 74 | CCIfType<[v1i64, v2i32, v4i16, v4f16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 75 | CCIfType<[v2i64, v4i32, v8i16, v8f16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| Evan Cheng | 08dd8c8 | 2010-10-22 18:23:05 +0000 | [diff] [blame] | 76 | |
| 77 | CCIfType<[v2f64], CCAssignToReg<[Q0, Q1, Q2, Q3]>>, |
| 78 | CCIfType<[f64], CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7]>>, |
| 79 | CCIfType<[f32], CCAssignToReg<[S0, S1, S2, S3, S4, S5, S6, S7, S8, |
| 80 | S9, S10, S11, S12, S13, S14, S15]>>, |
| Evan Cheng | 57add3e | 2014-02-11 23:49:31 +0000 | [diff] [blame] | 81 | |
| Evan Cheng | f1f45e7 | 2014-03-04 22:56:57 +0000 | [diff] [blame] | 82 | // CPRCs may be allocated to co-processor registers or the stack - they |
| Evan Cheng | 57add3e | 2014-02-11 23:49:31 +0000 | [diff] [blame] | 83 | // may never be allocated to core registers. |
| 84 | CCIfType<[f32], CCAssignToStackWithShadow<4, 4, [Q0, Q1, Q2, Q3]>>, |
| 85 | CCIfType<[f64], CCAssignToStackWithShadow<8, 4, [Q0, Q1, Q2, Q3]>>, |
| 86 | CCIfType<[v2f64], CCAssignToStackWithShadow<16, 4, [Q0, Q1, Q2, Q3]>>, |
| 87 | |
| Evan Cheng | 08dd8c8 | 2010-10-22 18:23:05 +0000 | [diff] [blame] | 88 | CCDelegateTo<CC_ARM_APCS> |
| 89 | ]>; |
| 90 | |
| Reid Kleckner | 27fd307 | 2019-01-28 21:28:43 +0000 | [diff] [blame] | 91 | let Entry = 1 in |
| Evan Cheng | 08dd8c8 | 2010-10-22 18:23:05 +0000 | [diff] [blame] | 92 | def RetFastCC_ARM_APCS : CallingConv<[ |
| 93 | // Handle all vector types as either f64 or v2f64. |
| Diogo N. Sampaio | 2078eb7 | 2019-04-29 10:10:37 +0000 | [diff] [blame] | 94 | CCIfType<[v1i64, v2i32, v4i16, v4f16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 95 | CCIfType<[v2i64, v4i32, v8i16, v8f16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| Evan Cheng | 08dd8c8 | 2010-10-22 18:23:05 +0000 | [diff] [blame] | 96 | |
| 97 | CCIfType<[v2f64], CCAssignToReg<[Q0, Q1, Q2, Q3]>>, |
| 98 | CCIfType<[f64], CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7]>>, |
| 99 | CCIfType<[f32], CCAssignToReg<[S0, S1, S2, S3, S4, S5, S6, S7, S8, |
| 100 | S9, S10, S11, S12, S13, S14, S15]>>, |
| 101 | CCDelegateTo<RetCC_ARM_APCS> |
| 102 | ]>; |
| 103 | |
| Eric Christopher | b332236 | 2012-08-03 00:05:53 +0000 | [diff] [blame] | 104 | //===----------------------------------------------------------------------===// |
| 105 | // ARM APCS Calling Convention for GHC |
| 106 | //===----------------------------------------------------------------------===// |
| 107 | |
| Reid Kleckner | 27fd307 | 2019-01-28 21:28:43 +0000 | [diff] [blame] | 108 | let Entry = 1 in |
| Eric Christopher | b332236 | 2012-08-03 00:05:53 +0000 | [diff] [blame] | 109 | def CC_ARM_APCS_GHC : CallingConv<[ |
| 110 | // Handle all vector types as either f64 or v2f64. |
| Diogo N. Sampaio | 2078eb7 | 2019-04-29 10:10:37 +0000 | [diff] [blame] | 111 | CCIfType<[v1i64, v2i32, v4i16, v4f16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 112 | CCIfType<[v2i64, v4i32, v8i16, v8f16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| Eric Christopher | b332236 | 2012-08-03 00:05:53 +0000 | [diff] [blame] | 113 | |
| 114 | CCIfType<[v2f64], CCAssignToReg<[Q4, Q5]>>, |
| 115 | CCIfType<[f64], CCAssignToReg<[D8, D9, D10, D11]>>, |
| 116 | CCIfType<[f32], CCAssignToReg<[S16, S17, S18, S19, S20, S21, S22, S23]>>, |
| 117 | |
| 118 | // Promote i8/i16 arguments to i32. |
| 119 | CCIfType<[i8, i16], CCPromoteToType<i32>>, |
| 120 | |
| 121 | // Pass in STG registers: Base, Sp, Hp, R1, R2, R3, R4, SpLim |
| 122 | CCIfType<[i32], CCAssignToReg<[R4, R5, R6, R7, R8, R9, R10, R11]>> |
| 123 | ]>; |
| Evan Cheng | 08dd8c8 | 2010-10-22 18:23:05 +0000 | [diff] [blame] | 124 | |
| 125 | //===----------------------------------------------------------------------===// |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 126 | // ARM AAPCS (EABI) Calling Convention, common parts |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 127 | //===----------------------------------------------------------------------===// |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 128 | |
| 129 | def CC_ARM_AAPCS_Common : CallingConv<[ |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 130 | |
| Chad Rosier | fa75530 | 2011-11-07 21:43:40 +0000 | [diff] [blame] | 131 | CCIfType<[i1, i8, i16], CCPromoteToType<i32>>, |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 132 | |
| 133 | // i64/f64 is passed in even pairs of GPRs |
| 134 | // i64 is 8-aligned i32 here, so we may need to eat R1 as a pad register |
| Bob Wilson | e666cc5 | 2009-05-19 10:02:36 +0000 | [diff] [blame] | 135 | // (and the same is true for f64 if VFP is not enabled) |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 136 | CCIfType<[i32], CCIfAlign<"8", CCAssignToRegWithShadow<[R0, R2], [R0, R1]>>>, |
| Stepan Dyatkovskiy | f80f951 | 2013-04-22 13:06:52 +0000 | [diff] [blame] | 137 | CCIfType<[i32], CCIf<"ArgFlags.getOrigAlign() != 8", |
| Bob Wilson | e666cc5 | 2009-05-19 10:02:36 +0000 | [diff] [blame] | 138 | CCAssignToReg<[R0, R1, R2, R3]>>>, |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 139 | |
| Oliver Stannard | 1dc1034 | 2014-02-07 11:19:53 +0000 | [diff] [blame] | 140 | CCIfType<[i32], CCIfAlign<"8", CCAssignToStackWithShadow<4, 8, [R0, R1, R2, R3]>>>, |
| 141 | CCIfType<[i32], CCAssignToStackWithShadow<4, 4, [R0, R1, R2, R3]>>, |
| 142 | CCIfType<[f32], CCAssignToStackWithShadow<4, 4, [Q0, Q1, Q2, Q3]>>, |
| 143 | CCIfType<[f64], CCAssignToStackWithShadow<8, 8, [Q0, Q1, Q2, Q3]>>, |
| Tim Northover | e0ccdc6 | 2015-10-28 22:46:43 +0000 | [diff] [blame] | 144 | CCIfType<[v2f64], CCIfAlign<"16", |
| 145 | CCAssignToStackWithShadow<16, 16, [Q0, Q1, Q2, Q3]>>>, |
| Oliver Stannard | 1dc1034 | 2014-02-07 11:19:53 +0000 | [diff] [blame] | 146 | CCIfType<[v2f64], CCAssignToStackWithShadow<16, 8, [Q0, Q1, Q2, Q3]>> |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 147 | ]>; |
| 148 | |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 149 | def RetCC_ARM_AAPCS_Common : CallingConv<[ |
| Chad Rosier | 5de1bea | 2011-11-08 00:03:32 +0000 | [diff] [blame] | 150 | CCIfType<[i1, i8, i16], CCPromoteToType<i32>>, |
| Anton Korobeynikov | 5b1b5b2 | 2009-06-08 22:59:50 +0000 | [diff] [blame] | 151 | CCIfType<[i32], CCAssignToReg<[R0, R1, R2, R3]>>, |
| Bob Wilson | a4c2290 | 2009-04-17 19:07:39 +0000 | [diff] [blame] | 152 | CCIfType<[i64], CCAssignToRegWithShadow<[R0, R2], [R1, R3]>> |
| 153 | ]>; |
| 154 | |
| 155 | //===----------------------------------------------------------------------===// |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 156 | // ARM AAPCS (EABI) Calling Convention |
| 157 | //===----------------------------------------------------------------------===// |
| 158 | |
| Reid Kleckner | 27fd307 | 2019-01-28 21:28:43 +0000 | [diff] [blame] | 159 | let Entry = 1 in |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 160 | def CC_ARM_AAPCS : CallingConv<[ |
| Manman Ren | e201e27 | 2012-08-10 20:39:38 +0000 | [diff] [blame] | 161 | // Handles byval parameters. |
| 162 | CCIfByVal<CCPassByVal<4, 4>>, |
| 163 | |
| Renato Golin | 1ef7a0f | 2015-07-12 18:16:40 +0000 | [diff] [blame] | 164 | // The 'nest' parameter, if any, is passed in R12. |
| 165 | CCIfNest<CCAssignToReg<[R12]>>, |
| 166 | |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 167 | // Handle all vector types as either f64 or v2f64. |
| Diogo N. Sampaio | 2078eb7 | 2019-04-29 10:10:37 +0000 | [diff] [blame] | 168 | CCIfType<[v1i64, v2i32, v4i16, v4f16, v4f16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 169 | CCIfType<[v2i64, v4i32, v8i16, v8f16, v8f16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 170 | |
| Matthias Braun | 707e02c | 2016-04-13 21:43:25 +0000 | [diff] [blame] | 171 | // Pass SwiftSelf in a callee saved register. |
| 172 | CCIfSwiftSelf<CCIfType<[i32], CCAssignToReg<[R10]>>>, |
| Manman Ren | f46262e | 2016-03-29 17:37:21 +0000 | [diff] [blame] | 173 | |
| Arnold Schwaighofer | 26f016f | 2017-02-09 01:52:17 +0000 | [diff] [blame] | 174 | // A SwiftError is passed in R8. |
| 175 | CCIfSwiftError<CCIfType<[i32], CCAssignToReg<[R8]>>>, |
| Manman Ren | 5751814 | 2016-04-11 21:08:06 +0000 | [diff] [blame] | 176 | |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 177 | CCIfType<[f64, v2f64], CCCustom<"CC_ARM_AAPCS_Custom_f64">>, |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 178 | CCIfType<[f32], CCBitConvertToType<i32>>, |
| 179 | CCDelegateTo<CC_ARM_AAPCS_Common> |
| 180 | ]>; |
| 181 | |
| Reid Kleckner | 27fd307 | 2019-01-28 21:28:43 +0000 | [diff] [blame] | 182 | let Entry = 1 in |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 183 | def RetCC_ARM_AAPCS : CallingConv<[ |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 184 | // Handle all vector types as either f64 or v2f64. |
| Diogo N. Sampaio | 2078eb7 | 2019-04-29 10:10:37 +0000 | [diff] [blame] | 185 | CCIfType<[v1i64, v2i32, v4i16, v4f16, v4f16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 186 | CCIfType<[v2i64, v4i32, v8i16, v8f16, v8f16,v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 187 | |
| Matthias Braun | 707e02c | 2016-04-13 21:43:25 +0000 | [diff] [blame] | 188 | // Pass SwiftSelf in a callee saved register. |
| 189 | CCIfSwiftSelf<CCIfType<[i32], CCAssignToReg<[R10]>>>, |
| 190 | |
| Arnold Schwaighofer | 26f016f | 2017-02-09 01:52:17 +0000 | [diff] [blame] | 191 | // A SwiftError is returned in R8. |
| 192 | CCIfSwiftError<CCIfType<[i32], CCAssignToReg<[R8]>>>, |
| Manman Ren | 5751814 | 2016-04-11 21:08:06 +0000 | [diff] [blame] | 193 | |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 194 | CCIfType<[f64, v2f64], CCCustom<"RetCC_ARM_AAPCS_Custom_f64">>, |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 195 | CCIfType<[f32], CCBitConvertToType<i32>>, |
| Sjoerd Meijer | 011de9c | 2018-01-26 09:26:40 +0000 | [diff] [blame] | 196 | |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 197 | CCDelegateTo<RetCC_ARM_AAPCS_Common> |
| 198 | ]>; |
| 199 | |
| 200 | //===----------------------------------------------------------------------===// |
| 201 | // ARM AAPCS-VFP (EABI) Calling Convention |
| Evan Cheng | 08dd8c8 | 2010-10-22 18:23:05 +0000 | [diff] [blame] | 202 | // Also used for FastCC (when VFP2 or later is available) |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 203 | //===----------------------------------------------------------------------===// |
| 204 | |
| Reid Kleckner | 27fd307 | 2019-01-28 21:28:43 +0000 | [diff] [blame] | 205 | let Entry = 1 in |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 206 | def CC_ARM_AAPCS_VFP : CallingConv<[ |
| Manman Ren | d6c8270 | 2012-08-13 21:22:50 +0000 | [diff] [blame] | 207 | // Handles byval parameters. |
| 208 | CCIfByVal<CCPassByVal<4, 4>>, |
| 209 | |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 210 | // Handle all vector types as either f64 or v2f64. |
| Diogo N. Sampaio | 2078eb7 | 2019-04-29 10:10:37 +0000 | [diff] [blame] | 211 | CCIfType<[v1i64, v2i32, v4i16, v4f16, v4f16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 212 | CCIfType<[v2i64, v4i32, v8i16, v8f16, v8f16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 213 | |
| Matthias Braun | 707e02c | 2016-04-13 21:43:25 +0000 | [diff] [blame] | 214 | // Pass SwiftSelf in a callee saved register. |
| 215 | CCIfSwiftSelf<CCIfType<[i32], CCAssignToReg<[R10]>>>, |
| Manman Ren | f46262e | 2016-03-29 17:37:21 +0000 | [diff] [blame] | 216 | |
| Arnold Schwaighofer | 26f016f | 2017-02-09 01:52:17 +0000 | [diff] [blame] | 217 | // A SwiftError is passed in R8. |
| 218 | CCIfSwiftError<CCIfType<[i32], CCAssignToReg<[R8]>>>, |
| Manman Ren | 5751814 | 2016-04-11 21:08:06 +0000 | [diff] [blame] | 219 | |
| Oliver Stannard | c24f217 | 2014-05-09 14:01:47 +0000 | [diff] [blame] | 220 | // HFAs are passed in a contiguous block of registers, or on the stack |
| Tim Northover | e95c5b3 | 2015-02-24 17:22:34 +0000 | [diff] [blame] | 221 | CCIfConsecutiveRegs<CCCustom<"CC_ARM_AAPCS_Custom_Aggregate">>, |
| Oliver Stannard | c24f217 | 2014-05-09 14:01:47 +0000 | [diff] [blame] | 222 | |
| Anton Korobeynikov | 22ef751 | 2009-08-05 19:04:42 +0000 | [diff] [blame] | 223 | CCIfType<[v2f64], CCAssignToReg<[Q0, Q1, Q2, Q3]>>, |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 224 | CCIfType<[f64], CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7]>>, |
| 225 | CCIfType<[f32], CCAssignToReg<[S0, S1, S2, S3, S4, S5, S6, S7, S8, |
| 226 | S9, S10, S11, S12, S13, S14, S15]>>, |
| 227 | CCDelegateTo<CC_ARM_AAPCS_Common> |
| 228 | ]>; |
| 229 | |
| Reid Kleckner | 27fd307 | 2019-01-28 21:28:43 +0000 | [diff] [blame] | 230 | let Entry = 1 in |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 231 | def RetCC_ARM_AAPCS_VFP : CallingConv<[ |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 232 | // Handle all vector types as either f64 or v2f64. |
| Diogo N. Sampaio | 2078eb7 | 2019-04-29 10:10:37 +0000 | [diff] [blame] | 233 | CCIfType<[v1i64, v2i32, v4i16, v4f16, v4f16, v8i8, v2f32], CCBitConvertToType<f64>>, |
| 234 | CCIfType<[v2i64, v4i32, v8i16, v8f16, v8f16, v16i8, v4f32], CCBitConvertToType<v2f64>>, |
| Bob Wilson | 2e076c4 | 2009-06-22 23:27:02 +0000 | [diff] [blame] | 235 | |
| Matthias Braun | 707e02c | 2016-04-13 21:43:25 +0000 | [diff] [blame] | 236 | // Pass SwiftSelf in a callee saved register. |
| 237 | CCIfSwiftSelf<CCIfType<[i32], CCAssignToReg<[R10]>>>, |
| 238 | |
| Arnold Schwaighofer | 26f016f | 2017-02-09 01:52:17 +0000 | [diff] [blame] | 239 | // A SwiftError is returned in R8. |
| 240 | CCIfSwiftError<CCIfType<[i32], CCAssignToReg<[R8]>>>, |
| Manman Ren | 5751814 | 2016-04-11 21:08:06 +0000 | [diff] [blame] | 241 | |
| Anton Korobeynikov | 22ef751 | 2009-08-05 19:04:42 +0000 | [diff] [blame] | 242 | CCIfType<[v2f64], CCAssignToReg<[Q0, Q1, Q2, Q3]>>, |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 243 | CCIfType<[f64], CCAssignToReg<[D0, D1, D2, D3, D4, D5, D6, D7]>>, |
| 244 | CCIfType<[f32], CCAssignToReg<[S0, S1, S2, S3, S4, S5, S6, S7, S8, |
| Sjoerd Meijer | 011de9c | 2018-01-26 09:26:40 +0000 | [diff] [blame] | 245 | S9, S10, S11, S12, S13, S14, S15]>>, |
| Anton Korobeynikov | 77d1943 | 2009-06-08 22:53:56 +0000 | [diff] [blame] | 246 | CCDelegateTo<RetCC_ARM_AAPCS_Common> |
| 247 | ]>; |
| Jakob Stoklund Olesen | fdbb12b | 2012-01-17 23:09:00 +0000 | [diff] [blame] | 248 | |
| 249 | //===----------------------------------------------------------------------===// |
| 250 | // Callee-saved register lists. |
| 251 | //===----------------------------------------------------------------------===// |
| 252 | |
| Chad Rosier | 1ec8e40 | 2012-11-06 23:05:24 +0000 | [diff] [blame] | 253 | def CSR_NoRegs : CalleeSavedRegs<(add)>; |
| Oliver Stannard | 50a7439 | 2016-10-11 10:06:59 +0000 | [diff] [blame] | 254 | def CSR_FPRegs : CalleeSavedRegs<(add (sequence "D%u", 0, 31))>; |
| Chad Rosier | 1ec8e40 | 2012-11-06 23:05:24 +0000 | [diff] [blame] | 255 | |
| Jakob Stoklund Olesen | fdbb12b | 2012-01-17 23:09:00 +0000 | [diff] [blame] | 256 | def CSR_AAPCS : CalleeSavedRegs<(add LR, R11, R10, R9, R8, R7, R6, R5, R4, |
| 257 | (sequence "D%u", 15, 8))>; |
| 258 | |
| Arnold Schwaighofer | ae4de58 | 2017-09-25 17:19:50 +0000 | [diff] [blame] | 259 | // R8 is used to pass swifterror, remove it from CSR. |
| 260 | def CSR_AAPCS_SwiftError : CalleeSavedRegs<(sub CSR_AAPCS, R8)>; |
| 261 | |
| Tim Northover | f8b0a7a | 2016-05-13 19:16:14 +0000 | [diff] [blame] | 262 | // The order of callee-saved registers needs to match the order we actually push |
| 263 | // them in FrameLowering, because this order is what's used by |
| 264 | // PrologEpilogInserter to allocate frame index slots. So when R7 is the frame |
| 265 | // pointer, we use this AAPCS alternative. |
| 266 | def CSR_AAPCS_SplitPush : CalleeSavedRegs<(add LR, R7, R6, R5, R4, |
| 267 | R11, R10, R9, R8, |
| 268 | (sequence "D%u", 15, 8))>; |
| 269 | |
| Arnold Schwaighofer | b45717a | 2017-09-25 17:51:33 +0000 | [diff] [blame] | 270 | // R8 is used to pass swifterror, remove it from CSR. |
| 271 | def CSR_AAPCS_SplitPush_SwiftError : CalleeSavedRegs<(sub CSR_AAPCS_SplitPush, |
| 272 | R8)>; |
| 273 | |
| Stephen Lin | b8bd232 | 2013-04-20 05:14:40 +0000 | [diff] [blame] | 274 | // Constructors and destructors return 'this' in the ARM C++ ABI; since 'this' |
| 275 | // and the pointer return value are both passed in R0 in these cases, this can |
| 276 | // be partially modelled by treating R0 as a callee-saved register |
| 277 | // Only the resulting RegMask is used; the SaveList is ignored |
| 278 | def CSR_AAPCS_ThisReturn : CalleeSavedRegs<(add LR, R11, R10, R9, R8, R7, R6, |
| 279 | R5, R4, (sequence "D%u", 15, 8), |
| 280 | R0)>; |
| 281 | |
| Jakob Stoklund Olesen | fdbb12b | 2012-01-17 23:09:00 +0000 | [diff] [blame] | 282 | // iOS ABI deviates from ARM standard ABI. R9 is not a callee-saved register. |
| 283 | // Also save R7-R4 first to match the stack frame fixed spill areas. |
| 284 | def CSR_iOS : CalleeSavedRegs<(add LR, R7, R6, R5, R4, (sub CSR_AAPCS, R9))>; |
| Eric Christopher | b332236 | 2012-08-03 00:05:53 +0000 | [diff] [blame] | 285 | |
| Arnold Schwaighofer | 26f016f | 2017-02-09 01:52:17 +0000 | [diff] [blame] | 286 | // R8 is used to pass swifterror, remove it from CSR. |
| 287 | def CSR_iOS_SwiftError : CalleeSavedRegs<(sub CSR_iOS, R8)>; |
| Manman Ren | 5751814 | 2016-04-11 21:08:06 +0000 | [diff] [blame] | 288 | |
| Stephen Lin | b8bd232 | 2013-04-20 05:14:40 +0000 | [diff] [blame] | 289 | def CSR_iOS_ThisReturn : CalleeSavedRegs<(add LR, R7, R6, R5, R4, |
| Tim Northover | d840745 | 2013-10-01 14:33:28 +0000 | [diff] [blame] | 290 | (sub CSR_AAPCS_ThisReturn, R9))>; |
| 291 | |
| Tim Northover | ff168c6 | 2017-04-19 18:07:54 +0000 | [diff] [blame] | 292 | def CSR_iOS_TLSCall |
| 293 | : CalleeSavedRegs<(add LR, SP, (sub(sequence "R%u", 12, 1), R9, R12), |
| 294 | (sequence "D%u", 31, 0))>; |
| Tim Northover | bd41cf8 | 2016-01-07 09:03:03 +0000 | [diff] [blame] | 295 | |
| Manman Ren | 1602605 | 2016-01-11 23:50:43 +0000 | [diff] [blame] | 296 | // C++ TLS access function saves all registers except SP. Try to match |
| 297 | // the order of CSRs in CSR_iOS. |
| 298 | def CSR_iOS_CXX_TLS : CalleeSavedRegs<(add CSR_iOS, (sequence "R%u", 12, 1), |
| 299 | (sequence "D%u", 31, 0))>; |
| 300 | |
| Manman Ren | 5e9e65e | 2016-01-12 00:47:18 +0000 | [diff] [blame] | 301 | // CSRs that are handled by prologue, epilogue. |
| Manman Ren | a3a019c | 2016-03-18 23:44:37 +0000 | [diff] [blame] | 302 | def CSR_iOS_CXX_TLS_PE : CalleeSavedRegs<(add LR, R12, R11, R7, R5, R4)>; |
| Manman Ren | 5e9e65e | 2016-01-12 00:47:18 +0000 | [diff] [blame] | 303 | |
| 304 | // CSRs that are handled explicitly via copies. |
| Manman Ren | a3a019c | 2016-03-18 23:44:37 +0000 | [diff] [blame] | 305 | def CSR_iOS_CXX_TLS_ViaCopy : CalleeSavedRegs<(sub CSR_iOS_CXX_TLS, |
| 306 | CSR_iOS_CXX_TLS_PE)>; |
| Manman Ren | 5e9e65e | 2016-01-12 00:47:18 +0000 | [diff] [blame] | 307 | |
| Tim Northover | d840745 | 2013-10-01 14:33:28 +0000 | [diff] [blame] | 308 | // The "interrupt" attribute is used to generate code that is acceptable in |
| 309 | // exception-handlers of various kinds. It makes us use a different return |
| 310 | // instruction (handled elsewhere) and affects which registers we must return to |
| 311 | // our "caller" in the same state as we receive them. |
| 312 | |
| 313 | // For most interrupts, all registers except SP and LR are shared with |
| 314 | // user-space. We mark LR to be saved anyway, since this is what the ARM backend |
| 315 | // generally does rather than tracking its liveness as a normal register. |
| 316 | def CSR_GenericInt : CalleeSavedRegs<(add LR, (sequence "R%u", 12, 0))>; |
| 317 | |
| 318 | // The fast interrupt handlers have more private state and get their own copies |
| 319 | // of R8-R12, in addition to SP and LR. As before, mark LR for saving too. |
| 320 | |
| 321 | // FIXME: we mark R11 as callee-saved since it's often the frame-pointer, and |
| 322 | // current frame lowering expects to encounter it while processing callee-saved |
| 323 | // registers. |
| 324 | def CSR_FIQ : CalleeSavedRegs<(add LR, R11, (sequence "R%u", 7, 0))>; |
| 325 | |
| 326 | |