123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221 |
- //===- TargetCallingConv.td - Target Calling Conventions ---*- tablegen -*-===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- //
- // This file defines the target-independent interfaces with which targets
- // describe their calling conventions.
- //
- //===----------------------------------------------------------------------===//
- class CCAction;
- class CallingConv;
- /// CCCustom - Calls a custom arg handling function.
- class CCCustom<string fn> : CCAction {
- string FuncName = fn;
- }
- /// CCPredicateAction - Instances of this class check some predicate, then
- /// delegate to another action if the predicate is true.
- class CCPredicateAction<CCAction A> : CCAction {
- CCAction SubAction = A;
- }
- /// CCIfType - If the current argument is one of the specified types, apply
- /// Action A.
- class CCIfType<list<ValueType> vts, CCAction A> : CCPredicateAction<A> {
- list<ValueType> VTs = vts;
- }
- /// CCIf - If the predicate matches, apply A.
- class CCIf<string predicate, CCAction A> : CCPredicateAction<A> {
- string Predicate = predicate;
- }
- /// CCIfByVal - If the current argument has ByVal parameter attribute, apply
- /// Action A.
- class CCIfByVal<CCAction A> : CCIf<"ArgFlags.isByVal()", A> {
- }
- /// CCIfPreallocated - If the current argument has Preallocated parameter attribute,
- /// apply Action A.
- class CCIfPreallocated<CCAction A> : CCIf<"ArgFlags.isPreallocated()", A> {
- }
- /// CCIfSwiftSelf - If the current argument has swiftself parameter attribute,
- /// apply Action A.
- class CCIfSwiftSelf<CCAction A> : CCIf<"ArgFlags.isSwiftSelf()", A> {
- }
- /// CCIfSwiftAsync - If the current argument has swiftasync parameter attribute,
- /// apply Action A.
- class CCIfSwiftAsync<CCAction A> : CCIf<"ArgFlags.isSwiftAsync()", A> {
- }
- /// CCIfSwiftError - If the current argument has swifterror parameter attribute,
- /// apply Action A.
- class CCIfSwiftError<CCAction A> : CCIf<"ArgFlags.isSwiftError()", A> {
- }
- /// CCIfCFGuardTarget - If the current argument has cfguardtarget parameter
- /// attribute, apply Action A.
- class CCIfCFGuardTarget<CCAction A> : CCIf<"ArgFlags.isCFGuardTarget()", A> {
- }
- /// CCIfConsecutiveRegs - If the current argument has InConsecutiveRegs
- /// parameter attribute, apply Action A.
- class CCIfConsecutiveRegs<CCAction A> : CCIf<"ArgFlags.isInConsecutiveRegs()", A> {
- }
- /// CCIfCC - Match if the current calling convention is 'CC'.
- class CCIfCC<string CC, CCAction A>
- : CCIf<!strconcat("State.getCallingConv() == ", CC), A> {}
- /// CCIfInReg - If this argument is marked with the 'inreg' attribute, apply
- /// the specified action.
- class CCIfInReg<CCAction A> : CCIf<"ArgFlags.isInReg()", A> {}
- /// CCIfNest - If this argument is marked with the 'nest' attribute, apply
- /// the specified action.
- class CCIfNest<CCAction A> : CCIf<"ArgFlags.isNest()", A> {}
- /// CCIfSplit - If this argument is marked with the 'split' attribute, apply
- /// the specified action.
- class CCIfSplit<CCAction A> : CCIf<"ArgFlags.isSplit()", A> {}
- /// CCIfSRet - If this argument is marked with the 'sret' attribute, apply
- /// the specified action.
- class CCIfSRet<CCAction A> : CCIf<"ArgFlags.isSRet()", A> {}
- /// CCIfVarArg - If the current function is vararg - apply the action
- class CCIfVarArg<CCAction A> : CCIf<"State.isVarArg()", A> {}
- /// CCIfNotVarArg - If the current function is not vararg - apply the action
- class CCIfNotVarArg<CCAction A> : CCIf<"!State.isVarArg()", A> {}
- /// CCIfPtrAddrSpace - If the top-level parent of the current argument has
- /// pointer type in the specified address-space.
- class CCIfPtrAddrSpace<int AS, CCAction A>
- : CCIf<"(ArgFlags.isPointer() && ArgFlags.getPointerAddrSpace() == " # AS # ")", A> {}
- /// CCIfPtr - If the top-level parent of the current argument had
- /// pointer type in some address-space.
- class CCIfPtr<CCAction A> : CCIf<"ArgFlags.isPointer()", A> {}
- /// CCAssignToReg - This action matches if there is a register in the specified
- /// list that is still available. If so, it assigns the value to the first
- /// available register and succeeds.
- class CCAssignToReg<list<Register> regList> : CCAction {
- list<Register> RegList = regList;
- }
- /// CCAssignToRegWithShadow - Same as CCAssignToReg, but with list of registers
- /// which became shadowed, when some register is used.
- class CCAssignToRegWithShadow<list<Register> regList,
- list<Register> shadowList> : CCAction {
- list<Register> RegList = regList;
- list<Register> ShadowRegList = shadowList;
- }
- /// CCAssignToStack - This action always matches: it assigns the value to a
- /// stack slot of the specified size and alignment on the stack. If size is
- /// zero then the ABI size is used; if align is zero then the ABI alignment
- /// is used - these may depend on the target or subtarget.
- class CCAssignToStack<int size, int align> : CCAction {
- int Size = size;
- int Align = align;
- }
- /// CCAssignToStackWithShadow - Same as CCAssignToStack, but with a list of
- /// registers to be shadowed. Note that, unlike CCAssignToRegWithShadow, this
- /// shadows ALL of the registers in shadowList.
- class CCAssignToStackWithShadow<int size,
- int align,
- list<Register> shadowList> : CCAction {
- int Size = size;
- int Align = align;
- list<Register> ShadowRegList = shadowList;
- }
- /// CCPassByVal - This action always matches: it assigns the value to a stack
- /// slot to implement ByVal aggregate parameter passing. Size and alignment
- /// specify the minimum size and alignment for the stack slot.
- class CCPassByVal<int size, int align> : CCAction {
- int Size = size;
- int Align = align;
- }
- /// CCPromoteToType - If applied, this promotes the specified current value to
- /// the specified type.
- class CCPromoteToType<ValueType destTy> : CCAction {
- ValueType DestTy = destTy;
- }
- /// CCPromoteToUpperBitsInType - If applied, this promotes the specified current
- /// value to the specified type and shifts the value into the upper bits.
- class CCPromoteToUpperBitsInType<ValueType destTy> : CCAction {
- ValueType DestTy = destTy;
- }
- /// CCBitConvertToType - If applied, this bitconverts the specified current
- /// value to the specified type.
- class CCBitConvertToType<ValueType destTy> : CCAction {
- ValueType DestTy = destTy;
- }
- /// CCTruncToType - If applied, this truncates the specified current value to
- /// the specified type.
- class CCTruncToType<ValueType destTy> : CCAction {
- ValueType DestTy = destTy;
- }
- /// CCPassIndirect - If applied, this stores the value to stack and passes the pointer
- /// as normal argument.
- class CCPassIndirect<ValueType destTy> : CCAction {
- ValueType DestTy = destTy;
- }
- /// CCDelegateTo - This action invokes the specified sub-calling-convention. It
- /// is successful if the specified CC matches.
- class CCDelegateTo<CallingConv cc> : CCAction {
- CallingConv CC = cc;
- }
- /// CallingConv - An instance of this is used to define each calling convention
- /// that the target supports.
- class CallingConv<list<CCAction> actions> {
- list<CCAction> Actions = actions;
- /// If true, this calling convention will be emitted as externally visible in
- /// the llvm namespaces instead of as a static function.
- bit Entry = false;
- bit Custom = false;
- }
- /// CustomCallingConv - An instance of this is used to declare calling
- /// conventions that are implemented using a custom function of the same name.
- class CustomCallingConv : CallingConv<[]> {
- let Custom = true;
- }
- /// CalleeSavedRegs - A list of callee saved registers for a given calling
- /// convention. The order of registers is used by PrologEpilogInsertion when
- /// allocation stack slots for saved registers.
- ///
- /// For each CalleeSavedRegs def, TableGen will emit a FOO_SaveList array for
- /// returning from getCalleeSavedRegs(), and a FOO_RegMask bit mask suitable for
- /// returning from getCallPreservedMask().
- class CalleeSavedRegs<dag saves> {
- dag SaveList = saves;
- // Registers that are also preserved across function calls, but should not be
- // included in the generated FOO_SaveList array. These registers will be
- // included in the FOO_RegMask bit mask. This can be used for registers that
- // are saved automatically, like the SPARC register windows.
- dag OtherPreserved;
- }
|