Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===- TargetCallingConv.td - Target Calling Conventions ---*- tablegen -*-===// |
| 2 | // |
||
| 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 |
||
| 6 | // |
||
| 7 | //===----------------------------------------------------------------------===// |
||
| 8 | // |
||
| 9 | // This file defines the target-independent interfaces with which targets |
||
| 10 | // describe their calling conventions. |
||
| 11 | // |
||
| 12 | //===----------------------------------------------------------------------===// |
||
| 13 | |||
| 14 | class CCAction; |
||
| 15 | class CallingConv; |
||
| 16 | |||
| 17 | /// CCCustom - Calls a custom arg handling function. |
||
| 18 | class CCCustom<string fn> : CCAction { |
||
| 19 | string FuncName = fn; |
||
| 20 | } |
||
| 21 | |||
| 22 | /// CCPredicateAction - Instances of this class check some predicate, then |
||
| 23 | /// delegate to another action if the predicate is true. |
||
| 24 | class CCPredicateAction<CCAction A> : CCAction { |
||
| 25 | CCAction SubAction = A; |
||
| 26 | } |
||
| 27 | |||
| 28 | /// CCIfType - If the current argument is one of the specified types, apply |
||
| 29 | /// Action A. |
||
| 30 | class CCIfType<list<ValueType> vts, CCAction A> : CCPredicateAction<A> { |
||
| 31 | list<ValueType> VTs = vts; |
||
| 32 | } |
||
| 33 | |||
| 34 | /// CCIf - If the predicate matches, apply A. |
||
| 35 | class CCIf<string predicate, CCAction A> : CCPredicateAction<A> { |
||
| 36 | string Predicate = predicate; |
||
| 37 | } |
||
| 38 | |||
| 39 | /// CCIfByVal - If the current argument has ByVal parameter attribute, apply |
||
| 40 | /// Action A. |
||
| 41 | class CCIfByVal<CCAction A> : CCIf<"ArgFlags.isByVal()", A> { |
||
| 42 | } |
||
| 43 | |||
| 44 | /// CCIfPreallocated - If the current argument has Preallocated parameter attribute, |
||
| 45 | /// apply Action A. |
||
| 46 | class CCIfPreallocated<CCAction A> : CCIf<"ArgFlags.isPreallocated()", A> { |
||
| 47 | } |
||
| 48 | |||
| 49 | /// CCIfSwiftSelf - If the current argument has swiftself parameter attribute, |
||
| 50 | /// apply Action A. |
||
| 51 | class CCIfSwiftSelf<CCAction A> : CCIf<"ArgFlags.isSwiftSelf()", A> { |
||
| 52 | } |
||
| 53 | |||
| 54 | /// CCIfSwiftAsync - If the current argument has swiftasync parameter attribute, |
||
| 55 | /// apply Action A. |
||
| 56 | class CCIfSwiftAsync<CCAction A> : CCIf<"ArgFlags.isSwiftAsync()", A> { |
||
| 57 | } |
||
| 58 | |||
| 59 | /// CCIfSwiftError - If the current argument has swifterror parameter attribute, |
||
| 60 | /// apply Action A. |
||
| 61 | class CCIfSwiftError<CCAction A> : CCIf<"ArgFlags.isSwiftError()", A> { |
||
| 62 | } |
||
| 63 | |||
| 64 | /// CCIfCFGuardTarget - If the current argument has cfguardtarget parameter |
||
| 65 | /// attribute, apply Action A. |
||
| 66 | class CCIfCFGuardTarget<CCAction A> : CCIf<"ArgFlags.isCFGuardTarget()", A> { |
||
| 67 | } |
||
| 68 | |||
| 69 | /// CCIfConsecutiveRegs - If the current argument has InConsecutiveRegs |
||
| 70 | /// parameter attribute, apply Action A. |
||
| 71 | class CCIfConsecutiveRegs<CCAction A> : CCIf<"ArgFlags.isInConsecutiveRegs()", A> { |
||
| 72 | } |
||
| 73 | |||
| 74 | /// CCIfCC - Match if the current calling convention is 'CC'. |
||
| 75 | class CCIfCC<string CC, CCAction A> |
||
| 76 | : CCIf<!strconcat("State.getCallingConv() == ", CC), A> {} |
||
| 77 | |||
| 78 | /// CCIfInReg - If this argument is marked with the 'inreg' attribute, apply |
||
| 79 | /// the specified action. |
||
| 80 | class CCIfInReg<CCAction A> : CCIf<"ArgFlags.isInReg()", A> {} |
||
| 81 | |||
| 82 | /// CCIfNest - If this argument is marked with the 'nest' attribute, apply |
||
| 83 | /// the specified action. |
||
| 84 | class CCIfNest<CCAction A> : CCIf<"ArgFlags.isNest()", A> {} |
||
| 85 | |||
| 86 | /// CCIfSplit - If this argument is marked with the 'split' attribute, apply |
||
| 87 | /// the specified action. |
||
| 88 | class CCIfSplit<CCAction A> : CCIf<"ArgFlags.isSplit()", A> {} |
||
| 89 | |||
| 90 | /// CCIfSRet - If this argument is marked with the 'sret' attribute, apply |
||
| 91 | /// the specified action. |
||
| 92 | class CCIfSRet<CCAction A> : CCIf<"ArgFlags.isSRet()", A> {} |
||
| 93 | |||
| 94 | /// CCIfVarArg - If the current function is vararg - apply the action |
||
| 95 | class CCIfVarArg<CCAction A> : CCIf<"State.isVarArg()", A> {} |
||
| 96 | |||
| 97 | /// CCIfNotVarArg - If the current function is not vararg - apply the action |
||
| 98 | class CCIfNotVarArg<CCAction A> : CCIf<"!State.isVarArg()", A> {} |
||
| 99 | |||
| 100 | /// CCIfPtrAddrSpace - If the top-level parent of the current argument has |
||
| 101 | /// pointer type in the specified address-space. |
||
| 102 | class CCIfPtrAddrSpace<int AS, CCAction A> |
||
| 103 | : CCIf<"(ArgFlags.isPointer() && ArgFlags.getPointerAddrSpace() == " # AS # ")", A> {} |
||
| 104 | |||
| 105 | /// CCIfPtr - If the top-level parent of the current argument had |
||
| 106 | /// pointer type in some address-space. |
||
| 107 | class CCIfPtr<CCAction A> : CCIf<"ArgFlags.isPointer()", A> {} |
||
| 108 | |||
| 109 | /// CCAssignToReg - This action matches if there is a register in the specified |
||
| 110 | /// list that is still available. If so, it assigns the value to the first |
||
| 111 | /// available register and succeeds. |
||
| 112 | class CCAssignToReg<list<Register> regList> : CCAction { |
||
| 113 | list<Register> RegList = regList; |
||
| 114 | } |
||
| 115 | |||
| 116 | /// CCAssignToRegWithShadow - Same as CCAssignToReg, but with list of registers |
||
| 117 | /// which became shadowed, when some register is used. |
||
| 118 | class CCAssignToRegWithShadow<list<Register> regList, |
||
| 119 | list<Register> shadowList> : CCAction { |
||
| 120 | list<Register> RegList = regList; |
||
| 121 | list<Register> ShadowRegList = shadowList; |
||
| 122 | } |
||
| 123 | |||
| 124 | /// CCAssignToStack - This action always matches: it assigns the value to a |
||
| 125 | /// stack slot of the specified size and alignment on the stack. If size is |
||
| 126 | /// zero then the ABI size is used; if align is zero then the ABI alignment |
||
| 127 | /// is used - these may depend on the target or subtarget. |
||
| 128 | class CCAssignToStack<int size, int align> : CCAction { |
||
| 129 | int Size = size; |
||
| 130 | int Align = align; |
||
| 131 | } |
||
| 132 | |||
| 133 | /// CCAssignToStackWithShadow - Same as CCAssignToStack, but with a list of |
||
| 134 | /// registers to be shadowed. Note that, unlike CCAssignToRegWithShadow, this |
||
| 135 | /// shadows ALL of the registers in shadowList. |
||
| 136 | class CCAssignToStackWithShadow<int size, |
||
| 137 | int align, |
||
| 138 | list<Register> shadowList> : CCAction { |
||
| 139 | int Size = size; |
||
| 140 | int Align = align; |
||
| 141 | list<Register> ShadowRegList = shadowList; |
||
| 142 | } |
||
| 143 | |||
| 144 | /// CCAssignToRegAndStack - Same as CCAssignToReg, but also allocates a stack |
||
| 145 | /// slot, when some register is used. Basically, it works like: |
||
| 146 | /// CCIf<CCAssignToReg<regList>, CCAssignToStack<size, align>>. |
||
| 147 | class CCAssignToRegAndStack<list<Register> regList, int size, int align> |
||
| 148 | : CCAssignToReg<regList> { |
||
| 149 | int Size = size; |
||
| 150 | int Align = align; |
||
| 151 | } |
||
| 152 | |||
| 153 | /// CCPassByVal - This action always matches: it assigns the value to a stack |
||
| 154 | /// slot to implement ByVal aggregate parameter passing. Size and alignment |
||
| 155 | /// specify the minimum size and alignment for the stack slot. |
||
| 156 | class CCPassByVal<int size, int align> : CCAction { |
||
| 157 | int Size = size; |
||
| 158 | int Align = align; |
||
| 159 | } |
||
| 160 | |||
| 161 | /// CCPromoteToType - If applied, this promotes the specified current value to |
||
| 162 | /// the specified type. |
||
| 163 | class CCPromoteToType<ValueType destTy> : CCAction { |
||
| 164 | ValueType DestTy = destTy; |
||
| 165 | } |
||
| 166 | |||
| 167 | /// CCPromoteToUpperBitsInType - If applied, this promotes the specified current |
||
| 168 | /// value to the specified type and shifts the value into the upper bits. |
||
| 169 | class CCPromoteToUpperBitsInType<ValueType destTy> : CCAction { |
||
| 170 | ValueType DestTy = destTy; |
||
| 171 | } |
||
| 172 | |||
| 173 | /// CCBitConvertToType - If applied, this bitconverts the specified current |
||
| 174 | /// value to the specified type. |
||
| 175 | class CCBitConvertToType<ValueType destTy> : CCAction { |
||
| 176 | ValueType DestTy = destTy; |
||
| 177 | } |
||
| 178 | |||
| 179 | /// CCTruncToType - If applied, this truncates the specified current value to |
||
| 180 | /// the specified type. |
||
| 181 | class CCTruncToType<ValueType destTy> : CCAction { |
||
| 182 | ValueType DestTy = destTy; |
||
| 183 | } |
||
| 184 | |||
| 185 | /// CCPassIndirect - If applied, this stores the value to stack and passes the pointer |
||
| 186 | /// as normal argument. |
||
| 187 | class CCPassIndirect<ValueType destTy> : CCAction { |
||
| 188 | ValueType DestTy = destTy; |
||
| 189 | } |
||
| 190 | |||
| 191 | /// CCDelegateTo - This action invokes the specified sub-calling-convention. It |
||
| 192 | /// is successful if the specified CC matches. |
||
| 193 | class CCDelegateTo<CallingConv cc> : CCAction { |
||
| 194 | CallingConv CC = cc; |
||
| 195 | } |
||
| 196 | |||
| 197 | /// CallingConv - An instance of this is used to define each calling convention |
||
| 198 | /// that the target supports. |
||
| 199 | class CallingConv<list<CCAction> actions> { |
||
| 200 | list<CCAction> Actions = actions; |
||
| 201 | |||
| 202 | /// If true, this calling convention will be emitted as externally visible in |
||
| 203 | /// the llvm namespaces instead of as a static function. |
||
| 204 | bit Entry = false; |
||
| 205 | |||
| 206 | bit Custom = false; |
||
| 207 | } |
||
| 208 | |||
| 209 | /// CustomCallingConv - An instance of this is used to declare calling |
||
| 210 | /// conventions that are implemented using a custom function of the same name. |
||
| 211 | class CustomCallingConv : CallingConv<[]> { |
||
| 212 | let Custom = true; |
||
| 213 | } |
||
| 214 | |||
| 215 | /// CalleeSavedRegs - A list of callee saved registers for a given calling |
||
| 216 | /// convention. The order of registers is used by PrologEpilogInsertion when |
||
| 217 | /// allocation stack slots for saved registers. |
||
| 218 | /// |
||
| 219 | /// For each CalleeSavedRegs def, TableGen will emit a FOO_SaveList array for |
||
| 220 | /// returning from getCalleeSavedRegs(), and a FOO_RegMask bit mask suitable for |
||
| 221 | /// returning from getCallPreservedMask(). |
||
| 222 | class CalleeSavedRegs<dag saves> { |
||
| 223 | dag SaveList = saves; |
||
| 224 | |||
| 225 | // Registers that are also preserved across function calls, but should not be |
||
| 226 | // included in the generated FOO_SaveList array. These registers will be |
||
| 227 | // included in the FOO_RegMask bit mask. This can be used for registers that |
||
| 228 | // are saved automatically, like the SPARC register windows. |
||
| 229 | dag OtherPreserved; |
||
| 230 | } |