Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 1 | //===-- PPCMachineFunctionInfo.h - Private data used for PowerPC --*- C++ -*-=// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 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. |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file declares the PowerPC specific subclass of MachineFunctionInfo. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Benjamin Kramer | a7c40ef | 2014-08-13 16:26:38 +0000 | [diff] [blame] | 14 | #ifndef LLVM_LIB_TARGET_POWERPC_PPCMACHINEFUNCTIONINFO_H |
| 15 | #define LLVM_LIB_TARGET_POWERPC_PPCMACHINEFUNCTIONINFO_H |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 16 | |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/SmallVector.h" |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 18 | #include "llvm/CodeGen/MachineFunction.h" |
David Blaikie | b3bde2e | 2017-11-17 01:07:10 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/TargetCallingConv.h" |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 20 | |
| 21 | namespace llvm { |
| 22 | |
| 23 | /// PPCFunctionInfo - This class is derived from MachineFunction private |
| 24 | /// PowerPC target-specific information for each MachineFunction. |
| 25 | class PPCFunctionInfo : public MachineFunctionInfo { |
David Blaikie | a379b181 | 2011-12-20 02:50:00 +0000 | [diff] [blame] | 26 | virtual void anchor(); |
| 27 | |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 28 | /// FramePointerSaveIndex - Frame index of where the old frame pointer is |
| 29 | /// stored. Also used as an anchor for instructions that need to be altered |
| 30 | /// when using frame pointers (dyna_add, dyna_sub.) |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 31 | int FramePointerSaveIndex = 0; |
Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 32 | |
Chris Lattner | f6a8156 | 2007-12-08 06:59:59 +0000 | [diff] [blame] | 33 | /// ReturnAddrSaveIndex - Frame index of where the return address is stored. |
Jim Laskey | b6e200b | 2007-02-27 11:55:45 +0000 | [diff] [blame] | 34 | /// |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 35 | int ReturnAddrSaveIndex = 0; |
Chris Lattner | f6a8156 | 2007-12-08 06:59:59 +0000 | [diff] [blame] | 36 | |
Hal Finkel | a7c54e8 | 2013-07-17 00:45:52 +0000 | [diff] [blame] | 37 | /// Frame index where the old base pointer is stored. |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 38 | int BasePointerSaveIndex = 0; |
Hal Finkel | a7c54e8 | 2013-07-17 00:45:52 +0000 | [diff] [blame] | 39 | |
Justin Hibbits | 654346e | 2015-01-10 01:57:21 +0000 | [diff] [blame] | 40 | /// Frame index where the old PIC base pointer is stored. |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 41 | int PICBasePointerSaveIndex = 0; |
Justin Hibbits | 654346e | 2015-01-10 01:57:21 +0000 | [diff] [blame] | 42 | |
Dale Johannesen | 3863f8e | 2008-10-24 21:24:23 +0000 | [diff] [blame] | 43 | /// MustSaveLR - Indicates whether LR is defined (or clobbered) in the current |
| 44 | /// function. This is only valid after the initial scan of the function by |
| 45 | /// PEI. |
| 46 | bool MustSaveLR; |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 47 | |
Nemanja Ivanovic | bcc82c9 | 2018-02-23 23:08:34 +0000 | [diff] [blame] | 48 | /// Do we have to disable shrink-wrapping? This has to be set if we emit any |
| 49 | /// instructions that clobber LR in the entry block because discovering this |
| 50 | /// in PEI is too late (happens after shrink-wrapping); |
| 51 | bool ShrinkWrapDisabled = false; |
| 52 | |
Hal Finkel | bb420f1 | 2013-03-15 05:06:04 +0000 | [diff] [blame] | 53 | /// Does this function have any stack spills. |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 54 | bool HasSpills = false; |
Hal Finkel | bb420f1 | 2013-03-15 05:06:04 +0000 | [diff] [blame] | 55 | |
Hal Finkel | fcc51d4 | 2013-03-17 04:43:44 +0000 | [diff] [blame] | 56 | /// Does this function spill using instructions with only r+r (not r+i) |
| 57 | /// forms. |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 58 | bool HasNonRISpills = false; |
Hal Finkel | fcc51d4 | 2013-03-17 04:43:44 +0000 | [diff] [blame] | 59 | |
Bill Wendling | 632ea65 | 2008-03-03 22:19:16 +0000 | [diff] [blame] | 60 | /// SpillsCR - Indicates whether CR is spilled in the current function. |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 61 | bool SpillsCR = false; |
Bill Wendling | 632ea65 | 2008-03-03 22:19:16 +0000 | [diff] [blame] | 62 | |
Hal Finkel | cc1eeda | 2013-03-23 22:06:03 +0000 | [diff] [blame] | 63 | /// Indicates whether VRSAVE is spilled in the current function. |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 64 | bool SpillsVRSAVE = false; |
Hal Finkel | cc1eeda | 2013-03-23 22:06:03 +0000 | [diff] [blame] | 65 | |
Chris Lattner | f6a8156 | 2007-12-08 06:59:59 +0000 | [diff] [blame] | 66 | /// LRStoreRequired - The bool indicates whether there is some explicit use of |
| 67 | /// the LR/LR8 stack slot that is not obvious from scanning the code. This |
| 68 | /// requires that the code generator produce a store of LR to the stack on |
| 69 | /// entry, even though LR may otherwise apparently not be used. |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 70 | bool LRStoreRequired = false; |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 71 | |
Hal Finkel | e6698d5 | 2015-02-01 15:03:28 +0000 | [diff] [blame] | 72 | /// This function makes use of the PPC64 ELF TOC base pointer (register r2). |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 73 | bool UsesTOCBasePtr = false; |
Hal Finkel | e6698d5 | 2015-02-01 15:03:28 +0000 | [diff] [blame] | 74 | |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 75 | /// MinReservedArea - This is the frame size that is at least reserved in a |
| 76 | /// potential caller (parameter+linkage area). |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 77 | unsigned MinReservedArea = 0; |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 78 | |
| 79 | /// TailCallSPDelta - Stack pointer delta used when tail calling. Maximum |
| 80 | /// amount the stack pointer is adjusted to make the frame bigger for tail |
| 81 | /// calls. Used for creating an area before the register spill area. |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 82 | int TailCallSPDelta = 0; |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 83 | |
| 84 | /// HasFastCall - Does this function contain a fast call. Used to determine |
| 85 | /// how the caller's stack pointer should be calculated (epilog/dynamicalloc). |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 86 | bool HasFastCall = false; |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 87 | |
Dan Gohman | 31ae586 | 2010-04-17 14:41:14 +0000 | [diff] [blame] | 88 | /// VarArgsFrameIndex - FrameIndex for start of varargs area. |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 89 | int VarArgsFrameIndex = 0; |
| 90 | |
Dan Gohman | 31ae586 | 2010-04-17 14:41:14 +0000 | [diff] [blame] | 91 | /// VarArgsStackOffset - StackOffset for start of stack |
| 92 | /// arguments. |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 93 | |
| 94 | int VarArgsStackOffset = 0; |
| 95 | |
Dan Gohman | 31ae586 | 2010-04-17 14:41:14 +0000 | [diff] [blame] | 96 | /// VarArgsNumGPR - Index of the first unused integer |
| 97 | /// register for parameter passing. |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 98 | unsigned VarArgsNumGPR = 0; |
| 99 | |
Dan Gohman | 31ae586 | 2010-04-17 14:41:14 +0000 | [diff] [blame] | 100 | /// VarArgsNumFPR - Index of the first unused double |
| 101 | /// register for parameter passing. |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 102 | unsigned VarArgsNumFPR = 0; |
Dan Gohman | 31ae586 | 2010-04-17 14:41:14 +0000 | [diff] [blame] | 103 | |
Bill Schmidt | c68c6df | 2013-02-24 17:34:50 +0000 | [diff] [blame] | 104 | /// CRSpillFrameIndex - FrameIndex for CR spill slot for 32-bit SVR4. |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 105 | int CRSpillFrameIndex = 0; |
Bill Schmidt | c68c6df | 2013-02-24 17:34:50 +0000 | [diff] [blame] | 106 | |
Hal Finkel | 6736988 | 2013-04-15 02:07:05 +0000 | [diff] [blame] | 107 | /// If any of CR[2-4] need to be saved in the prologue and restored in the |
| 108 | /// epilogue then they are added to this array. This is used for the |
| 109 | /// 64-bit SVR4 ABI. |
| 110 | SmallVector<unsigned, 3> MustSaveCRs; |
| 111 | |
Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 112 | /// Hold onto our MachineFunction context. |
| 113 | MachineFunction &MF; |
| 114 | |
| 115 | /// Whether this uses the PIC Base register or not. |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 116 | bool UsesPICBase = false; |
Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 117 | |
Chuang-Yu Cheng | 98c1894 | 2016-04-08 12:04:32 +0000 | [diff] [blame] | 118 | /// True if this function has a subset of CSRs that is handled explicitly via |
| 119 | /// copies |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 120 | bool IsSplitCSR = false; |
Chuang-Yu Cheng | 98c1894 | 2016-04-08 12:04:32 +0000 | [diff] [blame] | 121 | |
Hiroshi Inoue | e3a3e3c | 2017-10-16 04:12:57 +0000 | [diff] [blame] | 122 | /// We keep track attributes for each live-in virtual registers |
| 123 | /// to use SExt/ZExt flags in later optimization. |
| 124 | std::vector<std::pair<unsigned, ISD::ArgFlagsTy>> LiveInAttrs; |
| 125 | |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 126 | public: |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 127 | explicit PPCFunctionInfo(MachineFunction &MF) : MF(MF) {} |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 128 | |
| 129 | int getFramePointerSaveIndex() const { return FramePointerSaveIndex; } |
| 130 | void setFramePointerSaveIndex(int Idx) { FramePointerSaveIndex = Idx; } |
Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 131 | |
Chris Lattner | f6a8156 | 2007-12-08 06:59:59 +0000 | [diff] [blame] | 132 | int getReturnAddrSaveIndex() const { return ReturnAddrSaveIndex; } |
| 133 | void setReturnAddrSaveIndex(int idx) { ReturnAddrSaveIndex = idx; } |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 134 | |
Hal Finkel | a7c54e8 | 2013-07-17 00:45:52 +0000 | [diff] [blame] | 135 | int getBasePointerSaveIndex() const { return BasePointerSaveIndex; } |
| 136 | void setBasePointerSaveIndex(int Idx) { BasePointerSaveIndex = Idx; } |
| 137 | |
Justin Hibbits | 654346e | 2015-01-10 01:57:21 +0000 | [diff] [blame] | 138 | int getPICBasePointerSaveIndex() const { return PICBasePointerSaveIndex; } |
| 139 | void setPICBasePointerSaveIndex(int Idx) { PICBasePointerSaveIndex = Idx; } |
| 140 | |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 141 | unsigned getMinReservedArea() const { return MinReservedArea; } |
| 142 | void setMinReservedArea(unsigned size) { MinReservedArea = size; } |
| 143 | |
| 144 | int getTailCallSPDelta() const { return TailCallSPDelta; } |
| 145 | void setTailCallSPDelta(int size) { TailCallSPDelta = size; } |
| 146 | |
Dale Johannesen | 3863f8e | 2008-10-24 21:24:23 +0000 | [diff] [blame] | 147 | /// MustSaveLR - This is set when the prolog/epilog inserter does its initial |
| 148 | /// scan of the function. It is true if the LR/LR8 register is ever explicitly |
| 149 | /// defined/clobbered in the machine function (e.g. by calls and movpctolr, |
| 150 | /// which is used in PIC generation), or if the LR stack slot is explicitly |
| 151 | /// referenced by builtin_return_address. |
| 152 | void setMustSaveLR(bool U) { MustSaveLR = U; } |
| 153 | bool mustSaveLR() const { return MustSaveLR; } |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 154 | |
Nemanja Ivanovic | bcc82c9 | 2018-02-23 23:08:34 +0000 | [diff] [blame] | 155 | /// We certainly don't want to shrink wrap functions if we've emitted a |
| 156 | /// MovePCtoLR8 as that has to go into the entry, so the prologue definitely |
| 157 | /// has to go into the entry block. |
| 158 | void setShrinkWrapDisabled(bool U) { ShrinkWrapDisabled = U; } |
| 159 | bool shrinkWrapDisabled() const { return ShrinkWrapDisabled; } |
| 160 | |
Hal Finkel | bb420f1 | 2013-03-15 05:06:04 +0000 | [diff] [blame] | 161 | void setHasSpills() { HasSpills = true; } |
| 162 | bool hasSpills() const { return HasSpills; } |
| 163 | |
Hal Finkel | fcc51d4 | 2013-03-17 04:43:44 +0000 | [diff] [blame] | 164 | void setHasNonRISpills() { HasNonRISpills = true; } |
| 165 | bool hasNonRISpills() const { return HasNonRISpills; } |
| 166 | |
Bill Wendling | 632ea65 | 2008-03-03 22:19:16 +0000 | [diff] [blame] | 167 | void setSpillsCR() { SpillsCR = true; } |
| 168 | bool isCRSpilled() const { return SpillsCR; } |
| 169 | |
Hal Finkel | cc1eeda | 2013-03-23 22:06:03 +0000 | [diff] [blame] | 170 | void setSpillsVRSAVE() { SpillsVRSAVE = true; } |
| 171 | bool isVRSAVESpilled() const { return SpillsVRSAVE; } |
| 172 | |
Chris Lattner | f6a8156 | 2007-12-08 06:59:59 +0000 | [diff] [blame] | 173 | void setLRStoreRequired() { LRStoreRequired = true; } |
| 174 | bool isLRStoreRequired() const { return LRStoreRequired; } |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 175 | |
Hal Finkel | e6698d5 | 2015-02-01 15:03:28 +0000 | [diff] [blame] | 176 | void setUsesTOCBasePtr() { UsesTOCBasePtr = true; } |
| 177 | bool usesTOCBasePtr() const { return UsesTOCBasePtr; } |
| 178 | |
Arnold Schwaighofer | be0de34 | 2008-04-30 09:16:33 +0000 | [diff] [blame] | 179 | void setHasFastCall() { HasFastCall = true; } |
| 180 | bool hasFastCall() const { return HasFastCall;} |
Dan Gohman | 31ae586 | 2010-04-17 14:41:14 +0000 | [diff] [blame] | 181 | |
| 182 | int getVarArgsFrameIndex() const { return VarArgsFrameIndex; } |
| 183 | void setVarArgsFrameIndex(int Index) { VarArgsFrameIndex = Index; } |
| 184 | |
| 185 | int getVarArgsStackOffset() const { return VarArgsStackOffset; } |
| 186 | void setVarArgsStackOffset(int Offset) { VarArgsStackOffset = Offset; } |
| 187 | |
| 188 | unsigned getVarArgsNumGPR() const { return VarArgsNumGPR; } |
| 189 | void setVarArgsNumGPR(unsigned Num) { VarArgsNumGPR = Num; } |
| 190 | |
| 191 | unsigned getVarArgsNumFPR() const { return VarArgsNumFPR; } |
| 192 | void setVarArgsNumFPR(unsigned Num) { VarArgsNumFPR = Num; } |
Bill Schmidt | c68c6df | 2013-02-24 17:34:50 +0000 | [diff] [blame] | 193 | |
Hiroshi Inoue | e3a3e3c | 2017-10-16 04:12:57 +0000 | [diff] [blame] | 194 | /// This function associates attributes for each live-in virtual register. |
| 195 | void addLiveInAttr(unsigned VReg, ISD::ArgFlagsTy Flags) { |
| 196 | LiveInAttrs.push_back(std::make_pair(VReg, Flags)); |
| 197 | } |
| 198 | |
Hiroshi Inoue | 0f7f59f | 2018-06-13 08:54:13 +0000 | [diff] [blame] | 199 | /// This function returns true if the specified vreg is |
Hiroshi Inoue | e3a3e3c | 2017-10-16 04:12:57 +0000 | [diff] [blame] | 200 | /// a live-in register and sign-extended. |
| 201 | bool isLiveInSExt(unsigned VReg) const; |
| 202 | |
Hiroshi Inoue | 0f7f59f | 2018-06-13 08:54:13 +0000 | [diff] [blame] | 203 | /// This function returns true if the specified vreg is |
Hiroshi Inoue | e3a3e3c | 2017-10-16 04:12:57 +0000 | [diff] [blame] | 204 | /// a live-in register and zero-extended. |
| 205 | bool isLiveInZExt(unsigned VReg) const; |
| 206 | |
Bill Schmidt | c68c6df | 2013-02-24 17:34:50 +0000 | [diff] [blame] | 207 | int getCRSpillFrameIndex() const { return CRSpillFrameIndex; } |
| 208 | void setCRSpillFrameIndex(int idx) { CRSpillFrameIndex = idx; } |
Hal Finkel | 6736988 | 2013-04-15 02:07:05 +0000 | [diff] [blame] | 209 | |
Craig Topper | b94011f | 2013-07-14 04:42:23 +0000 | [diff] [blame] | 210 | const SmallVectorImpl<unsigned> & |
Hal Finkel | 6736988 | 2013-04-15 02:07:05 +0000 | [diff] [blame] | 211 | getMustSaveCRs() const { return MustSaveCRs; } |
| 212 | void addMustSaveCR(unsigned Reg) { MustSaveCRs.push_back(Reg); } |
Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 213 | |
| 214 | void setUsesPICBase(bool uses) { UsesPICBase = uses; } |
| 215 | bool usesPICBase() const { return UsesPICBase; } |
| 216 | |
Chuang-Yu Cheng | 98c1894 | 2016-04-08 12:04:32 +0000 | [diff] [blame] | 217 | bool isSplitCSR() const { return IsSplitCSR; } |
| 218 | void setIsSplitCSR(bool s) { IsSplitCSR = s; } |
| 219 | |
Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 220 | MCSymbol *getPICOffsetSymbol() const; |
Ulrich Weigand | 46ff7ec | 2016-01-13 13:12:23 +0000 | [diff] [blame] | 221 | |
| 222 | MCSymbol *getGlobalEPSymbol() const; |
| 223 | MCSymbol *getLocalEPSymbol() const; |
| 224 | MCSymbol *getTOCOffsetSymbol() const; |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 225 | }; |
| 226 | |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 227 | } // end namespace llvm |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 228 | |
Eugene Zelenko | 8187c19 | 2017-01-13 00:58:58 +0000 | [diff] [blame] | 229 | #endif // LLVM_LIB_TARGET_POWERPC_PPCMACHINEFUNCTIONINFO_H |