Eugene Zelenko | 4e9736b | 2017-05-31 01:10:10 +0000 | [diff] [blame] | 1 | //===- Mips16FrameLowering.cpp - Mips16 Frame Information -----------------===// |
Akira Hatanaka | d1c43ce | 2012-07-31 22:50:19 +0000 | [diff] [blame] | 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 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 |
Akira Hatanaka | d1c43ce | 2012-07-31 22:50:19 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
| 9 | // This file contains the Mips16 implementation of TargetFrameLowering class. |
| 10 | // |
| 11 | //===----------------------------------------------------------------------===// |
| 12 | |
Eugene Zelenko | 4e9736b | 2017-05-31 01:10:10 +0000 | [diff] [blame] | 13 | #include "Mips16FrameLowering.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 14 | #include "MCTargetDesc/MipsBaseInfo.h" |
Chandler Carruth | be81023 | 2013-01-02 10:22:59 +0000 | [diff] [blame] | 15 | #include "Mips16InstrInfo.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 16 | #include "MipsInstrInfo.h" |
Reed Kotler | 0ff4001 | 2013-12-10 14:29:38 +0000 | [diff] [blame] | 17 | #include "MipsRegisterInfo.h" |
Eric Christopher | 4cdb3f9 | 2014-07-02 23:29:55 +0000 | [diff] [blame] | 18 | #include "MipsSubtarget.h" |
Eugene Zelenko | 4e9736b | 2017-05-31 01:10:10 +0000 | [diff] [blame] | 19 | #include "llvm/ADT/BitVector.h" |
| 20 | #include "llvm/CodeGen/MachineBasicBlock.h" |
Akira Hatanaka | d1c43ce | 2012-07-31 22:50:19 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/MachineFrameInfo.h" |
| 22 | #include "llvm/CodeGen/MachineFunction.h" |
Eugene Zelenko | 4e9736b | 2017-05-31 01:10:10 +0000 | [diff] [blame] | 23 | #include "llvm/CodeGen/MachineInstr.h" |
Akira Hatanaka | d1c43ce | 2012-07-31 22:50:19 +0000 | [diff] [blame] | 24 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
| 25 | #include "llvm/CodeGen/MachineModuleInfo.h" |
Eugene Zelenko | 4e9736b | 2017-05-31 01:10:10 +0000 | [diff] [blame] | 26 | #include "llvm/IR/DebugLoc.h" |
Eugene Zelenko | 4e9736b | 2017-05-31 01:10:10 +0000 | [diff] [blame] | 27 | #include "llvm/MC/MCContext.h" |
| 28 | #include "llvm/MC/MCDwarf.h" |
| 29 | #include "llvm/MC/MCRegisterInfo.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 30 | #include "llvm/MC/MachineLocation.h" |
Eugene Zelenko | 4e9736b | 2017-05-31 01:10:10 +0000 | [diff] [blame] | 31 | #include "llvm/Support/MathExtras.h" |
David Blaikie | 1be62f0 | 2017-11-03 22:32:11 +0000 | [diff] [blame] | 32 | #include "llvm/CodeGen/TargetFrameLowering.h" |
Eugene Zelenko | 4e9736b | 2017-05-31 01:10:10 +0000 | [diff] [blame] | 33 | #include <cassert> |
| 34 | #include <cstdint> |
| 35 | #include <vector> |
Akira Hatanaka | d1c43ce | 2012-07-31 22:50:19 +0000 | [diff] [blame] | 36 | |
| 37 | using namespace llvm; |
| 38 | |
Eric Christopher | 4cdb3f9 | 2014-07-02 23:29:55 +0000 | [diff] [blame] | 39 | Mips16FrameLowering::Mips16FrameLowering(const MipsSubtarget &STI) |
John Baldwin | 1255b16 | 2017-08-14 21:49:38 +0000 | [diff] [blame] | 40 | : MipsFrameLowering(STI, STI.getStackAlignment()) {} |
Eric Christopher | 4cdb3f9 | 2014-07-02 23:29:55 +0000 | [diff] [blame] | 41 | |
Quentin Colombet | 61b305e | 2015-05-05 17:38:16 +0000 | [diff] [blame] | 42 | void Mips16FrameLowering::emitPrologue(MachineFunction &MF, |
| 43 | MachineBasicBlock &MBB) const { |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 44 | MachineFrameInfo &MFI = MF.getFrameInfo(); |
Tim Northover | 775aaeb | 2015-11-05 21:54:58 +0000 | [diff] [blame] | 45 | const Mips16InstrInfo &TII = |
| 46 | *static_cast<const Mips16InstrInfo *>(STI.getInstrInfo()); |
| 47 | MachineBasicBlock::iterator MBBI = MBB.begin(); |
| 48 | |
| 49 | // Debug location must be unknown since the first debug location is used |
| 50 | // to determine the end of the prologue. |
| 51 | DebugLoc dl; |
| 52 | |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 53 | uint64_t StackSize = MFI.getStackSize(); |
Tim Northover | 775aaeb | 2015-11-05 21:54:58 +0000 | [diff] [blame] | 54 | |
| 55 | // No need to allocate space on the stack. |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 56 | if (StackSize == 0 && !MFI.adjustsStack()) return; |
Akira Hatanaka | d1c43ce | 2012-07-31 22:50:19 +0000 | [diff] [blame] | 57 | |
Reed Kotler | d11acc7 | 2012-12-20 06:59:37 +0000 | [diff] [blame] | 58 | MachineModuleInfo &MMI = MF.getMMI(); |
Bill Wendling | bc07a89 | 2013-06-18 07:20:20 +0000 | [diff] [blame] | 59 | const MCRegisterInfo *MRI = MMI.getContext().getRegisterInfo(); |
Reed Kotler | d11acc7 | 2012-12-20 06:59:37 +0000 | [diff] [blame] | 60 | |
Akira Hatanaka | d1c43ce | 2012-07-31 22:50:19 +0000 | [diff] [blame] | 61 | // Adjust stack. |
Reed Kotler | d019dbf | 2012-12-20 04:07:42 +0000 | [diff] [blame] | 62 | TII.makeFrame(Mips::SP, StackSize, MBB, MBBI); |
Reed Kotler | 3589dd7 | 2012-10-28 06:02:37 +0000 | [diff] [blame] | 63 | |
Reed Kotler | d11acc7 | 2012-12-20 06:59:37 +0000 | [diff] [blame] | 64 | // emit ".cfi_def_cfa_offset StackSize" |
Matthias Braun | f23ef43 | 2016-11-30 23:48:42 +0000 | [diff] [blame] | 65 | unsigned CFIIndex = MF.addFrameInst( |
Rafael Espindola | b1f25f1 | 2014-03-07 06:08:31 +0000 | [diff] [blame] | 66 | MCCFIInstruction::createDefCfaOffset(nullptr, -StackSize)); |
| 67 | BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION)) |
| 68 | .addCFIIndex(CFIIndex); |
Reed Kotler | d11acc7 | 2012-12-20 06:59:37 +0000 | [diff] [blame] | 69 | |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 70 | const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo(); |
Reed Kotler | 5c29d63 | 2013-12-15 20:49:30 +0000 | [diff] [blame] | 71 | |
Eugene Zelenko | 4e9736b | 2017-05-31 01:10:10 +0000 | [diff] [blame] | 72 | if (!CSI.empty()) { |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 73 | const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo(); |
Reed Kotler | 0ff4001 | 2013-12-10 14:29:38 +0000 | [diff] [blame] | 74 | |
Reed Kotler | 06b3c4f | 2013-12-15 23:03:35 +0000 | [diff] [blame] | 75 | for (std::vector<CalleeSavedInfo>::const_iterator I = CSI.begin(), |
Reed Kotler | 5c29d63 | 2013-12-15 20:49:30 +0000 | [diff] [blame] | 76 | E = CSI.end(); I != E; ++I) { |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 77 | int64_t Offset = MFI.getObjectOffset(I->getFrameIdx()); |
Reed Kotler | 06b3c4f | 2013-12-15 23:03:35 +0000 | [diff] [blame] | 78 | unsigned Reg = I->getReg(); |
| 79 | unsigned DReg = MRI->getDwarfRegNum(Reg, true); |
Matthias Braun | f23ef43 | 2016-11-30 23:48:42 +0000 | [diff] [blame] | 80 | unsigned CFIIndex = MF.addFrameInst( |
Rafael Espindola | b1f25f1 | 2014-03-07 06:08:31 +0000 | [diff] [blame] | 81 | MCCFIInstruction::createOffset(nullptr, DReg, Offset)); |
| 82 | BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION)) |
| 83 | .addCFIIndex(CFIIndex); |
Reed Kotler | 06b3c4f | 2013-12-15 23:03:35 +0000 | [diff] [blame] | 84 | } |
Reed Kotler | 5c29d63 | 2013-12-15 20:49:30 +0000 | [diff] [blame] | 85 | } |
Reed Kotler | 3589dd7 | 2012-10-28 06:02:37 +0000 | [diff] [blame] | 86 | if (hasFP(MF)) |
| 87 | BuildMI(MBB, MBBI, dl, TII.get(Mips::MoveR3216), Mips::S0) |
Eric Christopher | b45b481 | 2014-04-14 22:21:22 +0000 | [diff] [blame] | 88 | .addReg(Mips::SP).setMIFlag(MachineInstr::FrameSetup); |
Akira Hatanaka | d1c43ce | 2012-07-31 22:50:19 +0000 | [diff] [blame] | 89 | } |
| 90 | |
| 91 | void Mips16FrameLowering::emitEpilogue(MachineFunction &MF, |
| 92 | MachineBasicBlock &MBB) const { |
Petar Jovanovic | cccc236 | 2018-06-29 16:37:16 +0000 | [diff] [blame] | 93 | MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator(); |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 94 | MachineFrameInfo &MFI = MF.getFrameInfo(); |
Reed Kotler | d019dbf | 2012-12-20 04:07:42 +0000 | [diff] [blame] | 95 | const Mips16InstrInfo &TII = |
Eric Christopher | 96e72c6 | 2015-01-29 23:27:36 +0000 | [diff] [blame] | 96 | *static_cast<const Mips16InstrInfo *>(STI.getInstrInfo()); |
Petar Jovanovic | cccc236 | 2018-06-29 16:37:16 +0000 | [diff] [blame] | 97 | DebugLoc dl = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc(); |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 98 | uint64_t StackSize = MFI.getStackSize(); |
Akira Hatanaka | d1c43ce | 2012-07-31 22:50:19 +0000 | [diff] [blame] | 99 | |
| 100 | if (!StackSize) |
| 101 | return; |
| 102 | |
Reed Kotler | 3589dd7 | 2012-10-28 06:02:37 +0000 | [diff] [blame] | 103 | if (hasFP(MF)) |
| 104 | BuildMI(MBB, MBBI, dl, TII.get(Mips::Move32R16), Mips::SP) |
| 105 | .addReg(Mips::S0); |
| 106 | |
Akira Hatanaka | d1c43ce | 2012-07-31 22:50:19 +0000 | [diff] [blame] | 107 | // Adjust stack. |
Reed Kotler | d019dbf | 2012-12-20 04:07:42 +0000 | [diff] [blame] | 108 | // assumes stacksize multiple of 8 |
| 109 | TII.restoreFrame(Mips::SP, StackSize, MBB, MBBI); |
Akira Hatanaka | d1c43ce | 2012-07-31 22:50:19 +0000 | [diff] [blame] | 110 | } |
| 111 | |
| 112 | bool Mips16FrameLowering:: |
| 113 | spillCalleeSavedRegisters(MachineBasicBlock &MBB, |
| 114 | MachineBasicBlock::iterator MI, |
| 115 | const std::vector<CalleeSavedInfo> &CSI, |
| 116 | const TargetRegisterInfo *TRI) const { |
Akira Hatanaka | cd04e2b | 2012-09-21 01:08:16 +0000 | [diff] [blame] | 117 | MachineFunction *MF = MBB.getParent(); |
Akira Hatanaka | cd04e2b | 2012-09-21 01:08:16 +0000 | [diff] [blame] | 118 | |
| 119 | // |
| 120 | // Registers RA, S0,S1 are the callee saved registers and they |
| 121 | // will be saved with the "save" instruction |
| 122 | // during emitPrologue |
| 123 | // |
| 124 | for (unsigned i = 0, e = CSI.size(); i != e; ++i) { |
| 125 | // Add the callee-saved register as live-in. Do not add if the register is |
| 126 | // RA and return address is taken, because it has already been added in |
Daniel Sanders | 94ed30a | 2016-07-26 14:46:11 +0000 | [diff] [blame] | 127 | // method MipsTargetLowering::lowerRETURNADDR. |
Akira Hatanaka | cd04e2b | 2012-09-21 01:08:16 +0000 | [diff] [blame] | 128 | // It's killed at the spill, unless the register is RA and return address |
| 129 | // is taken. |
| 130 | unsigned Reg = CSI[i].getReg(); |
| 131 | bool IsRAAndRetAddrIsTaken = (Reg == Mips::RA) |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 132 | && MF->getFrameInfo().isReturnAddressTaken(); |
Akira Hatanaka | cd04e2b | 2012-09-21 01:08:16 +0000 | [diff] [blame] | 133 | if (!IsRAAndRetAddrIsTaken) |
Petar Jovanovic | cccc236 | 2018-06-29 16:37:16 +0000 | [diff] [blame] | 134 | MBB.addLiveIn(Reg); |
Akira Hatanaka | cd04e2b | 2012-09-21 01:08:16 +0000 | [diff] [blame] | 135 | } |
| 136 | |
| 137 | return true; |
| 138 | } |
| 139 | |
| 140 | bool Mips16FrameLowering::restoreCalleeSavedRegisters(MachineBasicBlock &MBB, |
| 141 | MachineBasicBlock::iterator MI, |
Krzysztof Parzyszek | bea30c6 | 2017-08-10 16:17:32 +0000 | [diff] [blame] | 142 | std::vector<CalleeSavedInfo> &CSI, |
Akira Hatanaka | cd04e2b | 2012-09-21 01:08:16 +0000 | [diff] [blame] | 143 | const TargetRegisterInfo *TRI) const { |
| 144 | // |
| 145 | // Registers RA,S0,S1 are the callee saved registers and they will be restored |
| 146 | // with the restore instruction during emitEpilogue. |
| 147 | // We need to override this virtual function, otherwise llvm will try and |
| 148 | // restore the registers on it's on from the stack. |
| 149 | // |
| 150 | |
Akira Hatanaka | d1c43ce | 2012-07-31 22:50:19 +0000 | [diff] [blame] | 151 | return true; |
| 152 | } |
| 153 | |
| 154 | bool |
| 155 | Mips16FrameLowering::hasReservedCallFrame(const MachineFunction &MF) const { |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 156 | const MachineFrameInfo &MFI = MF.getFrameInfo(); |
Reed Kotler | 27a7229 | 2012-10-31 05:21:10 +0000 | [diff] [blame] | 157 | // Reserve call frame if the size of the maximum call frame fits into 15-bit |
| 158 | // immediate field and there are no variable sized objects on the stack. |
Matthias Braun | 941a705 | 2016-07-28 18:40:00 +0000 | [diff] [blame] | 159 | return isInt<15>(MFI.getMaxCallFrameSize()) && !MFI.hasVarSizedObjects(); |
Akira Hatanaka | d1c43ce | 2012-07-31 22:50:19 +0000 | [diff] [blame] | 160 | } |
| 161 | |
Matthias Braun | 0256486 | 2015-07-14 17:17:13 +0000 | [diff] [blame] | 162 | void Mips16FrameLowering::determineCalleeSaves(MachineFunction &MF, |
| 163 | BitVector &SavedRegs, |
| 164 | RegScavenger *RS) const { |
| 165 | TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS); |
Reed Kotler | 5c29d63 | 2013-12-15 20:49:30 +0000 | [diff] [blame] | 166 | const Mips16InstrInfo &TII = |
Eric Christopher | 96e72c6 | 2015-01-29 23:27:36 +0000 | [diff] [blame] | 167 | *static_cast<const Mips16InstrInfo *>(STI.getInstrInfo()); |
Reed Kotler | 5c29d63 | 2013-12-15 20:49:30 +0000 | [diff] [blame] | 168 | const MipsRegisterInfo &RI = TII.getRegisterInfo(); |
| 169 | const BitVector Reserved = RI.getReservedRegs(MF); |
| 170 | bool SaveS2 = Reserved[Mips::S2]; |
| 171 | if (SaveS2) |
Matthias Braun | 0256486 | 2015-07-14 17:17:13 +0000 | [diff] [blame] | 172 | SavedRegs.set(Mips::S2); |
Reed Kotler | 5c29d63 | 2013-12-15 20:49:30 +0000 | [diff] [blame] | 173 | if (hasFP(MF)) |
Matthias Braun | 0256486 | 2015-07-14 17:17:13 +0000 | [diff] [blame] | 174 | SavedRegs.set(Mips::S0); |
Akira Hatanaka | d1c43ce | 2012-07-31 22:50:19 +0000 | [diff] [blame] | 175 | } |
Akira Hatanaka | fab8929 | 2012-08-02 18:21:47 +0000 | [diff] [blame] | 176 | |
| 177 | const MipsFrameLowering * |
| 178 | llvm::createMips16FrameLowering(const MipsSubtarget &ST) { |
| 179 | return new Mips16FrameLowering(ST); |
| 180 | } |