Jia Liu | b22310f | 2012-02-18 12:03:15 +0000 | [diff] [blame] | 1 | //===-- PPCFrameLowering.h - Define frame lowering for PowerPC --*- C++ -*-===// |
Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 2 | // |
Nate Begeman | 412602d | 2004-08-14 22:16:36 +0000 | [diff] [blame] | 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. |
Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 7 | // |
Nate Begeman | 412602d | 2004-08-14 22:16:36 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // |
Nate Begeman | 6cca84e | 2005-10-16 05:39:50 +0000 | [diff] [blame] | 11 | //===----------------------------------------------------------------------===// |
Nate Begeman | 412602d | 2004-08-14 22:16:36 +0000 | [diff] [blame] | 12 | |
Benjamin Kramer | a7c40ef | 2014-08-13 16:26:38 +0000 | [diff] [blame] | 13 | #ifndef LLVM_LIB_TARGET_POWERPC_PPCFRAMELOWERING_H |
| 14 | #define LLVM_LIB_TARGET_POWERPC_PPCFRAMELOWERING_H |
Nate Begeman | 412602d | 2004-08-14 22:16:36 +0000 | [diff] [blame] | 15 | |
Chris Lattner | bfca1ab | 2005-10-14 23:51:18 +0000 | [diff] [blame] | 16 | #include "PPC.h" |
Chandler Carruth | 802d755 | 2012-12-04 07:12:27 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/STLExtras.h" |
Anton Korobeynikov | 2f93128 | 2011-01-10 12:39:04 +0000 | [diff] [blame] | 18 | #include "llvm/Target/TargetFrameLowering.h" |
Nate Begeman | 412602d | 2004-08-14 22:16:36 +0000 | [diff] [blame] | 19 | #include "llvm/Target/TargetMachine.h" |
Nate Begeman | 412602d | 2004-08-14 22:16:36 +0000 | [diff] [blame] | 20 | |
| 21 | namespace llvm { |
Eric Christopher | d104c31 | 2014-06-12 20:54:11 +0000 | [diff] [blame] | 22 | class PPCSubtarget; |
Nate Begeman | 412602d | 2004-08-14 22:16:36 +0000 | [diff] [blame] | 23 | |
Anton Korobeynikov | 2f93128 | 2011-01-10 12:39:04 +0000 | [diff] [blame] | 24 | class PPCFrameLowering: public TargetFrameLowering { |
Anton Korobeynikov | f7183ed | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 25 | const PPCSubtarget &Subtarget; |
Misha Brukman | b440243 | 2005-04-21 23:30:14 +0000 | [diff] [blame] | 26 | |
Nate Begeman | 412602d | 2004-08-14 22:16:36 +0000 | [diff] [blame] | 27 | public: |
Eric Christopher | d104c31 | 2014-06-12 20:54:11 +0000 | [diff] [blame] | 28 | PPCFrameLowering(const PPCSubtarget &STI); |
Nate Begeman | 412602d | 2004-08-14 22:16:36 +0000 | [diff] [blame] | 29 | |
Hal Finkel | bb420f1 | 2013-03-15 05:06:04 +0000 | [diff] [blame] | 30 | unsigned determineFrameLayout(MachineFunction &MF, |
| 31 | bool UpdateMF = true, |
| 32 | bool UseEstimate = false) const; |
Anton Korobeynikov | f7183ed | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 33 | |
| 34 | /// emitProlog/emitEpilog - These methods insert prolog and epilog code into |
| 35 | /// the function. |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 36 | void emitPrologue(MachineFunction &MF) const override; |
| 37 | void emitEpilogue(MachineFunction &MF, MachineBasicBlock &MBB) const override; |
Anton Korobeynikov | f7183ed | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 38 | |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 39 | bool hasFP(const MachineFunction &MF) const override; |
Anton Korobeynikov | 3eb4fed | 2010-12-18 19:53:14 +0000 | [diff] [blame] | 40 | bool needsFP(const MachineFunction &MF) const; |
Hal Finkel | aa03c03 | 2013-03-21 19:03:19 +0000 | [diff] [blame] | 41 | void replaceFPWithRealFP(MachineFunction &MF) const; |
Anton Korobeynikov | 0eecf5d | 2010-11-18 21:19:35 +0000 | [diff] [blame] | 42 | |
Anton Korobeynikov | 7283b8d | 2010-11-27 23:05:25 +0000 | [diff] [blame] | 43 | void processFunctionBeforeCalleeSavedScan(MachineFunction &MF, |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 44 | RegScavenger *RS = nullptr) const override; |
Hal Finkel | 5a765fd | 2013-03-14 20:33:40 +0000 | [diff] [blame] | 45 | void processFunctionBeforeFrameFinalized(MachineFunction &MF, |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 46 | RegScavenger *RS = nullptr) const override; |
Hal Finkel | bb420f1 | 2013-03-15 05:06:04 +0000 | [diff] [blame] | 47 | void addScavengingSpillSlot(MachineFunction &MF, RegScavenger *RS) const; |
Anton Korobeynikov | 7283b8d | 2010-11-27 23:05:25 +0000 | [diff] [blame] | 48 | |
Roman Divacky | c9e23d9 | 2012-09-12 14:47:47 +0000 | [diff] [blame] | 49 | bool spillCalleeSavedRegisters(MachineBasicBlock &MBB, |
| 50 | MachineBasicBlock::iterator MI, |
| 51 | const std::vector<CalleeSavedInfo> &CSI, |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 52 | const TargetRegisterInfo *TRI) const override; |
Roman Divacky | c9e23d9 | 2012-09-12 14:47:47 +0000 | [diff] [blame] | 53 | |
Eli Bendersky | 8da8716 | 2013-02-21 20:05:00 +0000 | [diff] [blame] | 54 | void eliminateCallFramePseudoInstr(MachineFunction &MF, |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 55 | MachineBasicBlock &MBB, |
| 56 | MachineBasicBlock::iterator I) const override; |
Eli Bendersky | 8da8716 | 2013-02-21 20:05:00 +0000 | [diff] [blame] | 57 | |
Roman Divacky | c9e23d9 | 2012-09-12 14:47:47 +0000 | [diff] [blame] | 58 | bool restoreCalleeSavedRegisters(MachineBasicBlock &MBB, |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 59 | MachineBasicBlock::iterator MI, |
| 60 | const std::vector<CalleeSavedInfo> &CSI, |
| 61 | const TargetRegisterInfo *TRI) const override; |
Roman Divacky | c9e23d9 | 2012-09-12 14:47:47 +0000 | [diff] [blame] | 62 | |
Anton Korobeynikov | f7183ed | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 63 | /// targetHandlesStackFrameRounding - Returns true if the target is |
| 64 | /// responsible for rounding up the stack frame (probably at emitPrologue |
| 65 | /// time). |
Craig Topper | 0d3fa92 | 2014-04-29 07:57:37 +0000 | [diff] [blame] | 66 | bool targetHandlesStackFrameRounding() const override { return true; } |
Anton Korobeynikov | f7183ed | 2010-11-15 00:06:54 +0000 | [diff] [blame] | 67 | |
Jim Laskey | 527c12f | 2006-12-06 17:42:06 +0000 | [diff] [blame] | 68 | /// getReturnSaveOffset - Return the previous frame offset to save the |
| 69 | /// return address. |
Tilmann Scheller | d1aaa32 | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 70 | static unsigned getReturnSaveOffset(bool isPPC64, bool isDarwinABI) { |
Tilmann Scheller | 773f14c | 2009-07-03 06:47:08 +0000 | [diff] [blame] | 71 | if (isDarwinABI) |
Tilmann Scheller | d1aaa32 | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 72 | return isPPC64 ? 16 : 8; |
Tilmann Scheller | 773f14c | 2009-07-03 06:47:08 +0000 | [diff] [blame] | 73 | // SVR4 ABI: |
Tilmann Scheller | d1aaa32 | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 74 | return isPPC64 ? 16 : 4; |
Nate Begeman | 412602d | 2004-08-14 22:16:36 +0000 | [diff] [blame] | 75 | } |
Jim Laskey | 527c12f | 2006-12-06 17:42:06 +0000 | [diff] [blame] | 76 | |
Ulrich Weigand | ad0cb91 | 2014-06-18 17:52:49 +0000 | [diff] [blame] | 77 | /// getTOCSaveOffset - Return the previous frame offset to save the |
| 78 | /// TOC register -- 64-bit SVR4 ABI only. |
Ulrich Weigand | 8658f17 | 2014-07-20 23:43:15 +0000 | [diff] [blame] | 79 | static unsigned getTOCSaveOffset(bool isELFv2ABI) { |
| 80 | return isELFv2ABI ? 24 : 40; |
Ulrich Weigand | ad0cb91 | 2014-06-18 17:52:49 +0000 | [diff] [blame] | 81 | } |
| 82 | |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 83 | /// getFramePointerSaveOffset - Return the previous frame offset to save the |
| 84 | /// frame pointer. |
Tilmann Scheller | d1aaa32 | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 85 | static unsigned getFramePointerSaveOffset(bool isPPC64, bool isDarwinABI) { |
Tilmann Scheller | 773f14c | 2009-07-03 06:47:08 +0000 | [diff] [blame] | 86 | // For the Darwin ABI: |
Dale Johannesen | 5ece8f0 | 2009-11-24 22:59:02 +0000 | [diff] [blame] | 87 | // We cannot use the TOC save slot (offset +20) in the PowerPC linkage area |
| 88 | // for saving the frame pointer (if needed.) While the published ABI has |
| 89 | // not used this slot since at least MacOSX 10.2, there is older code |
| 90 | // around that does use it, and that needs to continue to work. |
Tilmann Scheller | 773f14c | 2009-07-03 06:47:08 +0000 | [diff] [blame] | 91 | if (isDarwinABI) |
Dale Johannesen | 5ece8f0 | 2009-11-24 22:59:02 +0000 | [diff] [blame] | 92 | return isPPC64 ? -8U : -4U; |
Anton Korobeynikov | a5ab8f1 | 2010-11-15 00:06:05 +0000 | [diff] [blame] | 93 | |
Tilmann Scheller | d1aaa32 | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 94 | // SVR4 ABI: First slot in the general register save area. |
Tilmann Scheller | 5b2df8d | 2009-12-18 13:00:34 +0000 | [diff] [blame] | 95 | return isPPC64 ? -8U : -4U; |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 96 | } |
Anton Korobeynikov | a5ab8f1 | 2010-11-15 00:06:05 +0000 | [diff] [blame] | 97 | |
Hal Finkel | a7c54e8 | 2013-07-17 00:45:52 +0000 | [diff] [blame] | 98 | /// getBasePointerSaveOffset - Return the previous frame offset to save the |
| 99 | /// base pointer. |
Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 100 | static unsigned getBasePointerSaveOffset(bool isPPC64, |
| 101 | bool isDarwinABI, |
| 102 | bool isPIC) { |
Hal Finkel | a7c54e8 | 2013-07-17 00:45:52 +0000 | [diff] [blame] | 103 | if (isDarwinABI) |
| 104 | return isPPC64 ? -16U : -8U; |
| 105 | |
| 106 | // SVR4 ABI: First slot in the general register save area. |
Hal Finkel | 3ee2af7 | 2014-07-18 23:29:49 +0000 | [diff] [blame] | 107 | return isPPC64 ? -16U : isPIC ? -12U : -8U; |
Hal Finkel | a7c54e8 | 2013-07-17 00:45:52 +0000 | [diff] [blame] | 108 | } |
| 109 | |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 110 | /// getLinkageSize - Return the size of the PowerPC ABI linkage area. |
| 111 | /// |
Ulrich Weigand | 8658f17 | 2014-07-20 23:43:15 +0000 | [diff] [blame] | 112 | static unsigned getLinkageSize(bool isPPC64, bool isDarwinABI, |
| 113 | bool isELFv2ABI) { |
Tilmann Scheller | d1aaa32 | 2009-08-15 11:54:46 +0000 | [diff] [blame] | 114 | if (isDarwinABI || isPPC64) |
Ulrich Weigand | 8658f17 | 2014-07-20 23:43:15 +0000 | [diff] [blame] | 115 | return (isELFv2ABI ? 4 : 6) * (isPPC64 ? 8 : 4); |
Anton Korobeynikov | a5ab8f1 | 2010-11-15 00:06:05 +0000 | [diff] [blame] | 116 | |
Tilmann Scheller | 773f14c | 2009-07-03 06:47:08 +0000 | [diff] [blame] | 117 | // SVR4 ABI: |
Nicolas Geoffray | b3e99a1 | 2007-04-03 12:35:28 +0000 | [diff] [blame] | 118 | return 8; |
Jim Laskey | 48850c1 | 2006-11-16 22:43:37 +0000 | [diff] [blame] | 119 | } |
| 120 | |
Tilmann Scheller | 336e2bd | 2009-09-27 17:58:47 +0000 | [diff] [blame] | 121 | const SpillSlot * |
Eric Christopher | d104c31 | 2014-06-12 20:54:11 +0000 | [diff] [blame] | 122 | getCalleeSavedSpillSlots(unsigned &NumEntries) const override; |
Nate Begeman | 412602d | 2004-08-14 22:16:36 +0000 | [diff] [blame] | 123 | }; |
Nate Begeman | 412602d | 2004-08-14 22:16:36 +0000 | [diff] [blame] | 124 | } // End llvm namespace |
| 125 | |
| 126 | #endif |