Jia Liu | bb481f8 | 2012-02-28 07:46:26 +0000 | [diff] [blame] | 1 | //===-- MipsCallingConv.td - Calling Conventions for Mips --*- tablegen -*-===// |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 2 | // |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 7 | // |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 9 | // This describes the calling conventions for Mips architecture. |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 10 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 11 | |
| 12 | /// CCIfSubtarget - Match if the current subtarget has a feature F. |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 13 | class CCIfSubtarget<string F, CCAction A>: |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 14 | CCIf<!strconcat("State.getTarget().getSubtarget<MipsSubtarget>().", F), A>; |
| 15 | |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 16 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 17 | // Mips O32 Calling Convention |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 18 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 972f589 | 2007-06-06 07:42:06 +0000 | [diff] [blame] | 19 | |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 20 | // Only the return rules are defined here for O32. The rules for argument |
Bruno Cardoso Lopes | b53db4f | 2009-03-19 02:12:28 +0000 | [diff] [blame] | 21 | // passing are defined in MipsISelLowering.cpp. |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 22 | def RetCC_MipsO32 : CallingConv<[ |
Akira Hatanaka | 805569f | 2011-06-21 01:28:11 +0000 | [diff] [blame] | 23 | // i32 are returned in registers V0, V1, A0, A1 |
| 24 | CCIfType<[i32], CCAssignToReg<[V0, V1, A0, A1]>>, |
Bruno Cardoso Lopes | 64cf160 | 2008-08-03 15:37:43 +0000 | [diff] [blame] | 25 | |
Bruno Cardoso Lopes | e5ebd5f | 2010-01-19 12:37:35 +0000 | [diff] [blame] | 26 | // f32 are returned in registers F0, F2 |
| 27 | CCIfType<[f32], CCAssignToReg<[F0, F2]>>, |
Bruno Cardoso Lopes | 64cf160 | 2008-08-03 15:37:43 +0000 | [diff] [blame] | 28 | |
Bruno Cardoso Lopes | e5ebd5f | 2010-01-19 12:37:35 +0000 | [diff] [blame] | 29 | // f64 are returned in register D0, D1 |
| 30 | CCIfType<[f64], CCIfSubtarget<"isNotSingleFloat()", CCAssignToReg<[D0, D1]>>> |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 31 | ]>; |
| 32 | |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 33 | //===----------------------------------------------------------------------===// |
Akira Hatanaka | 45b73e2 | 2011-09-23 19:08:15 +0000 | [diff] [blame] | 34 | // Mips N32/64 Calling Convention |
| 35 | //===----------------------------------------------------------------------===// |
| 36 | |
| 37 | def CC_MipsN : CallingConv<[ |
Akira Hatanaka | 2c5d652 | 2011-11-12 02:20:46 +0000 | [diff] [blame] | 38 | // Handles byval parameters. |
| 39 | CCIfByVal<CCCustom<"CC_Mips64Byval">>, |
Jia Liu | bb481f8 | 2012-02-28 07:46:26 +0000 | [diff] [blame] | 40 | |
Akira Hatanaka | 38bdc57 | 2012-02-17 02:20:26 +0000 | [diff] [blame] | 41 | // Promote i8/i16 arguments to i32. |
| 42 | CCIfType<[i8, i16], CCPromoteToType<i32>>, |
Akira Hatanaka | 45b73e2 | 2011-09-23 19:08:15 +0000 | [diff] [blame] | 43 | |
| 44 | // Integer arguments are passed in integer registers. |
Akira Hatanaka | 38bdc57 | 2012-02-17 02:20:26 +0000 | [diff] [blame] | 45 | CCIfType<[i32], CCAssignToRegWithShadow<[A0, A1, A2, A3, |
| 46 | T0, T1, T2, T3], |
| 47 | [F12, F13, F14, F15, |
| 48 | F16, F17, F18, F19]>>, |
| 49 | |
Akira Hatanaka | 45b73e2 | 2011-09-23 19:08:15 +0000 | [diff] [blame] | 50 | CCIfType<[i64], CCAssignToRegWithShadow<[A0_64, A1_64, A2_64, A3_64, |
| 51 | T0_64, T1_64, T2_64, T3_64], |
| 52 | [D12_64, D13_64, D14_64, D15_64, |
| 53 | D16_64, D17_64, D18_64, D19_64]>>, |
| 54 | |
| 55 | // f32 arguments are passed in single precision FP registers. |
| 56 | CCIfType<[f32], CCAssignToRegWithShadow<[F12, F13, F14, F15, |
| 57 | F16, F17, F18, F19], |
| 58 | [A0_64, A1_64, A2_64, A3_64, |
| 59 | T0_64, T1_64, T2_64, T3_64]>>, |
| 60 | |
| 61 | // f64 arguments are passed in double precision FP registers. |
| 62 | CCIfType<[f64], CCAssignToRegWithShadow<[D12_64, D13_64, D14_64, D15_64, |
| 63 | D16_64, D17_64, D18_64, D19_64], |
| 64 | [A0_64, A1_64, A2_64, A3_64, |
| 65 | T0_64, T1_64, T2_64, T3_64]>>, |
| 66 | |
| 67 | // All stack parameter slots become 64-bit doublewords and are 8-byte aligned. |
Akira Hatanaka | 38bdc57 | 2012-02-17 02:20:26 +0000 | [diff] [blame] | 68 | CCIfType<[i32, f32], CCAssignToStack<4, 8>>, |
| 69 | CCIfType<[i64, f64], CCAssignToStack<8, 8>> |
Akira Hatanaka | 45b73e2 | 2011-09-23 19:08:15 +0000 | [diff] [blame] | 70 | ]>; |
| 71 | |
Akira Hatanaka | 4961709 | 2011-11-14 19:02:54 +0000 | [diff] [blame] | 72 | // N32/64 variable arguments. |
| 73 | // All arguments are passed in integer registers. |
| 74 | def CC_MipsN_VarArg : CallingConv<[ |
| 75 | // Handles byval parameters. |
| 76 | CCIfByVal<CCCustom<"CC_Mips64Byval">>, |
Jia Liu | bb481f8 | 2012-02-28 07:46:26 +0000 | [diff] [blame] | 77 | |
Akira Hatanaka | 38bdc57 | 2012-02-17 02:20:26 +0000 | [diff] [blame] | 78 | // Promote i8/i16 arguments to i32. |
| 79 | CCIfType<[i8, i16], CCPromoteToType<i32>>, |
| 80 | |
| 81 | CCIfType<[i32, f32], CCAssignToReg<[A0, A1, A2, A3, T0, T1, T2, T3]>>, |
Akira Hatanaka | 4961709 | 2011-11-14 19:02:54 +0000 | [diff] [blame] | 82 | |
| 83 | CCIfType<[i64, f64], CCAssignToReg<[A0_64, A1_64, A2_64, A3_64, |
| 84 | T0_64, T1_64, T2_64, T3_64]>>, |
| 85 | |
Akira Hatanaka | 4961709 | 2011-11-14 19:02:54 +0000 | [diff] [blame] | 86 | // All stack parameter slots become 64-bit doublewords and are 8-byte aligned. |
Akira Hatanaka | 38bdc57 | 2012-02-17 02:20:26 +0000 | [diff] [blame] | 87 | CCIfType<[i32, f32], CCAssignToStack<4, 8>>, |
| 88 | CCIfType<[i64, f64], CCAssignToStack<8, 8>> |
Akira Hatanaka | 4961709 | 2011-11-14 19:02:54 +0000 | [diff] [blame] | 89 | ]>; |
| 90 | |
Akira Hatanaka | 45b73e2 | 2011-09-23 19:08:15 +0000 | [diff] [blame] | 91 | def RetCC_MipsN : CallingConv<[ |
Akira Hatanaka | 45b73e2 | 2011-09-23 19:08:15 +0000 | [diff] [blame] | 92 | // i32 are returned in registers V0, V1 |
| 93 | CCIfType<[i32], CCAssignToReg<[V0, V1]>>, |
| 94 | |
| 95 | // i64 are returned in registers V0_64, V1_64 |
| 96 | CCIfType<[i64], CCAssignToReg<[V0_64, V1_64]>>, |
| 97 | |
| 98 | // f32 are returned in registers F0, F2 |
| 99 | CCIfType<[f32], CCAssignToReg<[F0, F2]>>, |
| 100 | |
| 101 | // f64 are returned in registers D0, D2 |
| 102 | CCIfType<[f64], CCAssignToReg<[D0_64, D2_64]>> |
| 103 | ]>; |
| 104 | |
| 105 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 106 | // Mips EABI Calling Convention |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 107 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | b53db4f | 2009-03-19 02:12:28 +0000 | [diff] [blame] | 108 | |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 109 | def CC_MipsEABI : CallingConv<[ |
| 110 | // Promote i8/i16 arguments to i32. |
| 111 | CCIfType<[i8, i16], CCPromoteToType<i32>>, |
| 112 | |
| 113 | // Integer arguments are passed in integer registers. |
| 114 | CCIfType<[i32], CCAssignToReg<[A0, A1, A2, A3, T0, T1, T2, T3]>>, |
| 115 | |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 116 | // Single fp arguments are passed in pairs within 32-bit mode |
| 117 | CCIfType<[f32], CCIfSubtarget<"isSingleFloat()", |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 118 | CCAssignToReg<[F12, F13, F14, F15, F16, F17, F18, F19]>>>, |
| 119 | |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 120 | CCIfType<[f32], CCIfSubtarget<"isNotSingleFloat()", |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 121 | CCAssignToReg<[F12, F14, F16, F18]>>>, |
| 122 | |
Duncan Sands | d03bcc1 | 2011-04-25 06:21:43 +0000 | [diff] [blame] | 123 | // The first 4 double fp arguments are passed in single fp registers. |
Bruno Cardoso Lopes | 81092dc | 2011-03-04 17:51:39 +0000 | [diff] [blame] | 124 | CCIfType<[f64], CCIfSubtarget<"isNotSingleFloat()", |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 125 | CCAssignToReg<[D6, D7, D8, D9]>>>, |
| 126 | |
| 127 | // Integer values get stored in stack slots that are 4 bytes in |
| 128 | // size and 4-byte aligned. |
| 129 | CCIfType<[i32, f32], CCAssignToStack<4, 4>>, |
| 130 | |
| 131 | // Integer values get stored in stack slots that are 8 bytes in |
| 132 | // size and 8-byte aligned. |
| 133 | CCIfType<[f64], CCIfSubtarget<"isNotSingleFloat()", CCAssignToStack<8, 8>>> |
| 134 | ]>; |
| 135 | |
| 136 | def RetCC_MipsEABI : CallingConv<[ |
| 137 | // i32 are returned in registers V0, V1 |
| 138 | CCIfType<[i32], CCAssignToReg<[V0, V1]>>, |
| 139 | |
| 140 | // f32 are returned in registers F0, F1 |
| 141 | CCIfType<[f32], CCAssignToReg<[F0, F1]>>, |
| 142 | |
| 143 | // f64 are returned in register D0 |
| 144 | CCIfType<[f64], CCIfSubtarget<"isNotSingleFloat()", CCAssignToReg<[D0]>>> |
| 145 | ]>; |
| 146 | |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 147 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 148 | // Mips Calling Convention Dispatch |
Akira Hatanaka | 4552c9a | 2011-04-15 21:51:11 +0000 | [diff] [blame] | 149 | //===----------------------------------------------------------------------===// |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 150 | |
| 151 | def CC_Mips : CallingConv<[ |
Akira Hatanaka | 45b73e2 | 2011-09-23 19:08:15 +0000 | [diff] [blame] | 152 | CCIfSubtarget<"isABI_EABI()", CCDelegateTo<CC_MipsEABI>>, |
| 153 | CCIfSubtarget<"isABI_N32()", CCDelegateTo<CC_MipsN>>, |
| 154 | CCIfSubtarget<"isABI_N64()", CCDelegateTo<CC_MipsN>> |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 155 | ]>; |
| 156 | |
| 157 | def RetCC_Mips : CallingConv<[ |
| 158 | CCIfSubtarget<"isABI_EABI()", CCDelegateTo<RetCC_MipsEABI>>, |
Akira Hatanaka | 45b73e2 | 2011-09-23 19:08:15 +0000 | [diff] [blame] | 159 | CCIfSubtarget<"isABI_N32()", CCDelegateTo<RetCC_MipsN>>, |
| 160 | CCIfSubtarget<"isABI_N64()", CCDelegateTo<RetCC_MipsN>>, |
Bruno Cardoso Lopes | 225ca9c | 2008-07-05 19:05:21 +0000 | [diff] [blame] | 161 | CCDelegateTo<RetCC_MipsO32> |
| 162 | ]>; |
Akira Hatanaka | b2930b9 | 2012-03-01 22:27:29 +0000 | [diff] [blame^] | 163 | |
| 164 | //===----------------------------------------------------------------------===// |
| 165 | // Callee-saved register lists. |
| 166 | //===----------------------------------------------------------------------===// |
| 167 | |
| 168 | def CSR_SingleFloatOnly : CalleeSavedRegs<(add (sequence "F%u", 31, 20), RA, FP, |
| 169 | (sequence "S%u", 7, 0))>; |
| 170 | |
| 171 | def CSR_O32 : CalleeSavedRegs<(add (sequence "D%u", 15, 10), RA, FP, |
| 172 | (sequence "S%u", 7, 0))>; |
| 173 | |
| 174 | def CSR_N32 : CalleeSavedRegs<(add D31_64, D29_64, D27_64, D25_64, D24_64, |
| 175 | D23_64, D22_64, D21_64, RA_64, FP_64, GP_64, |
| 176 | (sequence "S%u_64", 7, 0))>; |
| 177 | |
| 178 | def CSR_N64 : CalleeSavedRegs<(add (sequence "D%u_64", 31, 24), RA_64, FP_64, |
| 179 | GP_64, (sequence "S%u_64", 7, 0))>; |