blob: 79e2cf12774673ac82581d115a7c3a57d6b052ff [file] [log] [blame]
Tony Linthicum1213a7a2011-12-12 21:14:40 +00001//=- HexagonFrameLowering.h - Define frame lowering for Hexagon --*- C++ -*--=//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Benjamin Kramera7c40ef2014-08-13 16:26:38 +000010#ifndef LLVM_LIB_TARGET_HEXAGON_HEXAGONFRAMELOWERING_H
11#define LLVM_LIB_TARGET_HEXAGON_HEXAGONFRAMELOWERING_H
Tony Linthicum1213a7a2011-12-12 21:14:40 +000012
13#include "Hexagon.h"
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +000014#include "HexagonBlockRanges.h"
Tony Linthicum1213a7a2011-12-12 21:14:40 +000015#include "llvm/Target/TargetFrameLowering.h"
16
17namespace llvm {
18
Krzysztof Parzyszek4fa2a9f2015-04-22 16:43:53 +000019class HexagonInstrInfo;
Krzysztof Parzyszek876a19d2015-04-23 16:05:39 +000020class HexagonRegisterInfo;
Krzysztof Parzyszek4fa2a9f2015-04-22 16:43:53 +000021
Tony Linthicum1213a7a2011-12-12 21:14:40 +000022class HexagonFrameLowering : public TargetFrameLowering {
Tony Linthicum1213a7a2011-12-12 21:14:40 +000023public:
Krzysztof Parzyszek4fa2a9f2015-04-22 16:43:53 +000024 explicit HexagonFrameLowering()
25 : TargetFrameLowering(StackGrowsDown, 8, 0, 1, true) {}
Tony Linthicum1213a7a2011-12-12 21:14:40 +000026
Krzysztof Parzyszek876a19d2015-04-23 16:05:39 +000027 // All of the prolog/epilog functionality, including saving and restoring
28 // callee-saved registers is handled in emitPrologue. This is to have the
29 // logic for shrink-wrapping in one place.
Quentin Colombet61b305e2015-05-05 17:38:16 +000030 void emitPrologue(MachineFunction &MF, MachineBasicBlock &MBB) const
31 override;
Krzysztof Parzyszek876a19d2015-04-23 16:05:39 +000032 void emitEpilogue(MachineFunction &MF, MachineBasicBlock &MBB) const
33 override {}
34 bool spillCalleeSavedRegisters(MachineBasicBlock &MBB,
35 MachineBasicBlock::iterator MI, const std::vector<CalleeSavedInfo> &CSI,
36 const TargetRegisterInfo *TRI) const override {
37 return true;
38 }
39 bool restoreCalleeSavedRegisters(MachineBasicBlock &MBB,
40 MachineBasicBlock::iterator MI, const std::vector<CalleeSavedInfo> &CSI,
41 const TargetRegisterInfo *TRI) const override {
42 return true;
43 }
44
Hans Wennborge1a2e902016-03-31 18:33:38 +000045 MachineBasicBlock::iterator
46 eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
47 MachineBasicBlock::iterator I) const override;
Krzysztof Parzyszek876a19d2015-04-23 16:05:39 +000048 void processFunctionBeforeFrameFinalized(MachineFunction &MF,
Krzysztof Parzyszek996ad1f2016-02-12 18:19:53 +000049 RegScavenger *RS = nullptr) const override;
Matthias Braun02564862015-07-14 17:17:13 +000050 void determineCalleeSaves(MachineFunction &MF, BitVector &SavedRegs,
Krzysztof Parzyszek996ad1f2016-02-12 18:19:53 +000051 RegScavenger *RS) const override;
Krzysztof Parzyszek876a19d2015-04-23 16:05:39 +000052
Krzysztof Parzyszek4fa2a9f2015-04-22 16:43:53 +000053 bool targetHandlesStackFrameRounding() const override {
54 return true;
55 }
James Y Knight5567baf2015-08-15 02:32:35 +000056 int getFrameIndexReference(const MachineFunction &MF, int FI,
Krzysztof Parzyszek996ad1f2016-02-12 18:19:53 +000057 unsigned &FrameReg) const override;
Craig Topper906c2cd2014-04-29 07:58:16 +000058 bool hasFP(const MachineFunction &MF) const override;
Krzysztof Parzyszek4fa2a9f2015-04-22 16:43:53 +000059
60 const SpillSlot *getCalleeSavedSpillSlots(unsigned &NumEntries)
Krzysztof Parzyszek996ad1f2016-02-12 18:19:53 +000061 const override {
Krzysztof Parzyszek4fa2a9f2015-04-22 16:43:53 +000062 static const SpillSlot Offsets[] = {
63 { Hexagon::R17, -4 }, { Hexagon::R16, -8 }, { Hexagon::D8, -8 },
64 { Hexagon::R19, -12 }, { Hexagon::R18, -16 }, { Hexagon::D9, -16 },
65 { Hexagon::R21, -20 }, { Hexagon::R20, -24 }, { Hexagon::D10, -24 },
66 { Hexagon::R23, -28 }, { Hexagon::R22, -32 }, { Hexagon::D11, -32 },
67 { Hexagon::R25, -36 }, { Hexagon::R24, -40 }, { Hexagon::D12, -40 },
68 { Hexagon::R27, -44 }, { Hexagon::R26, -48 }, { Hexagon::D13, -48 }
69 };
Krzysztof Parzyszek4fa2a9f2015-04-22 16:43:53 +000070 NumEntries = array_lengthof(Offsets);
71 return Offsets;
72 }
73
74 bool assignCalleeSavedSpillSlots(MachineFunction &MF,
Krzysztof Parzyszek876a19d2015-04-23 16:05:39 +000075 const TargetRegisterInfo *TRI, std::vector<CalleeSavedInfo> &CSI)
76 const override;
Krzysztof Parzyszek4fa2a9f2015-04-22 16:43:53 +000077
78 bool needsAligna(const MachineFunction &MF) const;
Krzysztof Parzyszek23920ec2015-10-19 18:30:27 +000079 const MachineInstr *getAlignaInstr(const MachineFunction &MF) const;
Krzysztof Parzyszek876a19d2015-04-23 16:05:39 +000080
Krzysztof Parzyszekdb867702015-10-19 17:46:01 +000081 void insertCFIInstructions(MachineFunction &MF) const;
82
Krzysztof Parzyszek876a19d2015-04-23 16:05:39 +000083private:
84 typedef std::vector<CalleeSavedInfo> CSIVect;
85
86 void expandAlloca(MachineInstr *AI, const HexagonInstrInfo &TII,
87 unsigned SP, unsigned CF) const;
Krzysztof Parzyszekc9d4caa2016-03-24 20:20:07 +000088 void insertPrologueInBlock(MachineBasicBlock &MBB, bool PrologueStubs) const;
Krzysztof Parzyszek876a19d2015-04-23 16:05:39 +000089 void insertEpilogueInBlock(MachineBasicBlock &MBB) const;
90 bool insertCSRSpillsInBlock(MachineBasicBlock &MBB, const CSIVect &CSI,
Krzysztof Parzyszekc9d4caa2016-03-24 20:20:07 +000091 const HexagonRegisterInfo &HRI, bool &PrologueStubs) const;
Krzysztof Parzyszek876a19d2015-04-23 16:05:39 +000092 bool insertCSRRestoresInBlock(MachineBasicBlock &MBB, const CSIVect &CSI,
93 const HexagonRegisterInfo &HRI) const;
Krzysztof Parzyszeka34d6392016-07-27 16:26:39 +000094 void updateEntryPaths(MachineFunction &MF, MachineBasicBlock &SaveB) const;
95 bool updateExitPaths(MachineBasicBlock &MBB, MachineBasicBlock &RestoreB,
Krzysztof Parzyszekda0b9a92016-05-26 19:44:28 +000096 BitVector &DoneT, BitVector &DoneF, BitVector &Path) const;
Krzysztof Parzyszekdb867702015-10-19 17:46:01 +000097 void insertCFIInstructionsAt(MachineBasicBlock &MBB,
98 MachineBasicBlock::iterator At) const;
Krzysztof Parzyszek876a19d2015-04-23 16:05:39 +000099
100 void adjustForCalleeSavedRegsSpillCall(MachineFunction &MF) const;
Krzysztof Parzyszek996ad1f2016-02-12 18:19:53 +0000101
102 bool expandCopy(MachineBasicBlock &B, MachineBasicBlock::iterator It,
103 MachineRegisterInfo &MRI, const HexagonInstrInfo &HII,
104 SmallVectorImpl<unsigned> &NewRegs) const;
105 bool expandStoreInt(MachineBasicBlock &B, MachineBasicBlock::iterator It,
106 MachineRegisterInfo &MRI, const HexagonInstrInfo &HII,
107 SmallVectorImpl<unsigned> &NewRegs) const;
108 bool expandLoadInt(MachineBasicBlock &B, MachineBasicBlock::iterator It,
109 MachineRegisterInfo &MRI, const HexagonInstrInfo &HII,
110 SmallVectorImpl<unsigned> &NewRegs) const;
111 bool expandStoreVecPred(MachineBasicBlock &B, MachineBasicBlock::iterator It,
112 MachineRegisterInfo &MRI, const HexagonInstrInfo &HII,
113 SmallVectorImpl<unsigned> &NewRegs) const;
114 bool expandLoadVecPred(MachineBasicBlock &B, MachineBasicBlock::iterator It,
115 MachineRegisterInfo &MRI, const HexagonInstrInfo &HII,
116 SmallVectorImpl<unsigned> &NewRegs) const;
117 bool expandStoreVec2(MachineBasicBlock &B, MachineBasicBlock::iterator It,
118 MachineRegisterInfo &MRI, const HexagonInstrInfo &HII,
119 SmallVectorImpl<unsigned> &NewRegs) const;
120 bool expandLoadVec2(MachineBasicBlock &B, MachineBasicBlock::iterator It,
121 MachineRegisterInfo &MRI, const HexagonInstrInfo &HII,
122 SmallVectorImpl<unsigned> &NewRegs) const;
123 bool expandStoreVec(MachineBasicBlock &B, MachineBasicBlock::iterator It,
124 MachineRegisterInfo &MRI, const HexagonInstrInfo &HII,
125 SmallVectorImpl<unsigned> &NewRegs) const;
126 bool expandLoadVec(MachineBasicBlock &B, MachineBasicBlock::iterator It,
127 MachineRegisterInfo &MRI, const HexagonInstrInfo &HII,
128 SmallVectorImpl<unsigned> &NewRegs) const;
129 bool expandSpillMacros(MachineFunction &MF,
130 SmallVectorImpl<unsigned> &NewRegs) const;
Krzysztof Parzyszek876a19d2015-04-23 16:05:39 +0000131
Krzysztof Parzyszek7793ddb2016-02-12 22:53:35 +0000132 unsigned findPhysReg(MachineFunction &MF, HexagonBlockRanges::IndexRange &FIR,
133 HexagonBlockRanges::InstrIndexMap &IndexMap,
134 HexagonBlockRanges::RegToRangeMap &DeadMap,
135 const TargetRegisterClass *RC) const;
136 void optimizeSpillSlots(MachineFunction &MF,
137 SmallVectorImpl<unsigned> &VRegs) const;
138
Krzysztof Parzyszek876a19d2015-04-23 16:05:39 +0000139 void findShrunkPrologEpilog(MachineFunction &MF, MachineBasicBlock *&PrologB,
140 MachineBasicBlock *&EpilogB) const;
141
Krzysztof Parzyszeke8e754d2016-04-25 17:49:44 +0000142 void addCalleeSaveRegistersAsImpOperand(MachineInstr *MI, const CSIVect &CSI,
143 bool IsDef, bool IsKill) const;
Krzysztof Parzyszekddafa2c2016-08-01 17:15:30 +0000144 bool shouldInlineCSR(MachineFunction &MF, const CSIVect &CSI) const;
Krzysztof Parzyszek876a19d2015-04-23 16:05:39 +0000145 bool useSpillFunction(MachineFunction &MF, const CSIVect &CSI) const;
146 bool useRestoreFunction(MachineFunction &MF, const CSIVect &CSI) const;
Krzysztof Parzyszekddafa2c2016-08-01 17:15:30 +0000147 bool mayOverflowFrameOffset(MachineFunction &MF) const;
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000148};
149
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000150} // End llvm namespace
Tony Linthicum1213a7a2011-12-12 21:14:40 +0000151
152#endif