blob: 86c8931c57e22492addf6c4d170eba7e58b7ceae [file] [log] [blame]
Jia Liu9f610112012-02-17 08:55:11 +00001//===-- MipsTargetMachine.cpp - Define TargetMachine for Mips -------------===//
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +00007//
Akira Hatanakae2489122011-04-15 21:51:11 +00008//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +00009//
10// Implements the info about Mips target spec.
11//
Akira Hatanakae2489122011-04-15 21:51:11 +000012//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000013
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000014#include "MipsTargetMachine.h"
Craig Topperb25fda92012-03-17 18:46:09 +000015#include "Mips.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000016#include "Mips16FrameLowering.h"
17#include "Mips16HardFloat.h"
18#include "Mips16ISelDAGToDAG.h"
19#include "Mips16ISelLowering.h"
20#include "Mips16InstrInfo.h"
Akira Hatanakafab89292012-08-02 18:21:47 +000021#include "MipsFrameLowering.h"
22#include "MipsInstrInfo.h"
Reed Kotler1595f362013-04-09 19:46:01 +000023#include "MipsModuleISelDAGToDAG.h"
Reed Kotlerfe94cc32013-04-10 16:58:04 +000024#include "MipsOs16.h"
Reed Kotler1595f362013-04-09 19:46:01 +000025#include "MipsSEFrameLowering.h"
Reed Kotler1595f362013-04-09 19:46:01 +000026#include "MipsSEISelDAGToDAG.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000027#include "MipsSEISelLowering.h"
28#include "MipsSEInstrInfo.h"
Aditya Nandakumara2719322014-11-13 09:26:31 +000029#include "MipsTargetObjectFile.h"
Reed Kotler1595f362013-04-09 19:46:01 +000030#include "llvm/Analysis/TargetTransformInfo.h"
Andrew Trickccb67362012-02-03 05:12:41 +000031#include "llvm/CodeGen/Passes.h"
Chandler Carruth30d69c22015-02-13 10:01:29 +000032#include "llvm/IR/LegacyPassManager.h"
Reed Kotler1595f362013-04-09 19:46:01 +000033#include "llvm/Support/Debug.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000034#include "llvm/Support/TargetRegistry.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000035#include "llvm/Support/raw_ostream.h"
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000036#include "llvm/Transforms/Scalar.h"
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000037using namespace llvm;
38
Chandler Carruthe96dd892014-04-21 22:55:11 +000039#define DEBUG_TYPE "mips"
40
Daniel Dunbar5680b4f2009-07-25 06:49:55 +000041extern "C" void LLVMInitializeMipsTarget() {
42 // Register the target.
Akira Hatanaka3d673cc2011-09-21 03:00:58 +000043 RegisterTargetMachine<MipsebTargetMachine> X(TheMipsTarget);
Eli Friedman57c11da2009-08-03 02:22:28 +000044 RegisterTargetMachine<MipselTargetMachine> Y(TheMipselTarget);
Akira Hatanaka30651802012-07-31 21:39:17 +000045 RegisterTargetMachine<MipsebTargetMachine> A(TheMips64Target);
46 RegisterTargetMachine<MipselTargetMachine> B(TheMips64elTarget);
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000047}
48
Eric Christopher8b770652015-01-26 19:03:15 +000049static std::string computeDataLayout(bool isLittle, MipsABIInfo &ABI) {
50 std::string Ret = "";
51
52 // There are both little and big endian mips.
53 if (isLittle)
54 Ret += "e";
55 else
56 Ret += "E";
57
58 Ret += "-m:m";
59
60 // Pointers are 32 bit on some ABIs.
61 if (!ABI.IsN64())
62 Ret += "-p:32:32";
63
64 // 8 and 16 bit integers only need no have natural alignment, but try to
65 // align them to 32 bits. 64 bit integers have natural alignment.
66 Ret += "-i8:8:32-i16:16:32-i64:64";
67
68 // 32 bit registers are always available and the stack is at least 64 bit
69 // aligned. On N64 64 bit registers are also available and the stack is
70 // 128 bit aligned.
71 if (ABI.IsN64() || ABI.IsN32())
72 Ret += "-n32:64-S128";
73 else
74 Ret += "-n32-S64";
75
76 return Ret;
77}
78
Bruno Cardoso Lopes43318832007-08-28 05:13:42 +000079// On function prologue, the stack is created by decrementing
80// its pointer. Once decremented, all references are done with positive
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000081// offset from the stack/frame pointer, using StackGrowsUp enables
Bruno Cardoso Lopes4659aad2008-08-06 06:14:43 +000082// an easier handling.
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +000083// Using CodeModel::Large enables different CALL behavior.
Eric Christopher4407dde2014-07-02 00:54:07 +000084MipsTargetMachine::MipsTargetMachine(const Target &T, StringRef TT,
85 StringRef CPU, StringRef FS,
86 const TargetOptions &Options,
87 Reloc::Model RM, CodeModel::Model CM,
88 CodeGenOpt::Level OL, bool isLittle)
89 : LLVMTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL),
Eric Christophera5762812015-01-26 17:33:46 +000090 isLittle(isLittle), TLOF(make_unique<MipsTargetObjectFile>()),
91 ABI(MipsABIInfo::computeTargetABI(Triple(TT), CPU, Options.MCOptions)),
Eric Christopher8b770652015-01-26 19:03:15 +000092 DL(computeDataLayout(isLittle, ABI)), Subtarget(nullptr),
93 DefaultSubtarget(TT, CPU, FS, isLittle, *this),
Eric Christopher4e7d1e72014-07-18 23:41:32 +000094 NoMips16Subtarget(TT, CPU, FS.empty() ? "-mips16" : FS.str() + ",-mips16",
Eric Christopher90724282015-01-08 18:18:57 +000095 isLittle, *this),
Eric Christopher4e7d1e72014-07-18 23:41:32 +000096 Mips16Subtarget(TT, CPU, FS.empty() ? "+mips16" : FS.str() + ",+mips16",
Eric Christopher90724282015-01-08 18:18:57 +000097 isLittle, *this) {
Eric Christopher4e7d1e72014-07-18 23:41:32 +000098 Subtarget = &DefaultSubtarget;
Rafael Espindola227144c2013-05-13 01:16:13 +000099 initAsmInfo();
Bruno Cardoso Lopes35d86e62007-10-09 03:01:19 +0000100}
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000101
Reid Kleckner357600e2014-11-20 23:37:18 +0000102MipsTargetMachine::~MipsTargetMachine() {}
103
David Blaikiea379b1812011-12-20 02:50:00 +0000104void MipsebTargetMachine::anchor() { }
105
Akira Hatanaka3d673cc2011-09-21 03:00:58 +0000106MipsebTargetMachine::
107MipsebTargetMachine(const Target &T, StringRef TT,
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000108 StringRef CPU, StringRef FS, const TargetOptions &Options,
Evan Chengecb29082011-11-16 08:38:26 +0000109 Reloc::Model RM, CodeModel::Model CM,
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000110 CodeGenOpt::Level OL)
111 : MipsTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL, false) {}
Akira Hatanaka3d673cc2011-09-21 03:00:58 +0000112
David Blaikiea379b1812011-12-20 02:50:00 +0000113void MipselTargetMachine::anchor() { }
114
Bruno Cardoso Lopes326a0372008-06-04 01:45:25 +0000115MipselTargetMachine::
Evan Cheng2129f592011-07-19 06:37:02 +0000116MipselTargetMachine(const Target &T, StringRef TT,
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000117 StringRef CPU, StringRef FS, const TargetOptions &Options,
Evan Chengecb29082011-11-16 08:38:26 +0000118 Reloc::Model RM, CodeModel::Model CM,
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000119 CodeGenOpt::Level OL)
120 : MipsTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL, true) {}
Bruno Cardoso Lopes326a0372008-06-04 01:45:25 +0000121
Eric Christophera9353d12014-09-26 01:44:08 +0000122const MipsSubtarget *
David Majnemerde360752014-09-26 02:57:05 +0000123MipsTargetMachine::getSubtargetImpl(const Function &F) const {
Duncan P. N. Exon Smith2e753142015-02-14 02:37:48 +0000124 Attribute CPUAttr = F.getFnAttribute("target-cpu");
125 Attribute FSAttr = F.getFnAttribute("target-features");
Eric Christophera9353d12014-09-26 01:44:08 +0000126
127 std::string CPU = !CPUAttr.hasAttribute(Attribute::None)
128 ? CPUAttr.getValueAsString().str()
129 : TargetCPU;
130 std::string FS = !FSAttr.hasAttribute(Attribute::None)
131 ? FSAttr.getValueAsString().str()
132 : TargetFS;
133 bool hasMips16Attr =
Duncan P. N. Exon Smith2e753142015-02-14 02:37:48 +0000134 !F.getFnAttribute("mips16").hasAttribute(Attribute::None);
Eric Christophera9353d12014-09-26 01:44:08 +0000135 bool hasNoMips16Attr =
Duncan P. N. Exon Smith2e753142015-02-14 02:37:48 +0000136 !F.getFnAttribute("nomips16").hasAttribute(Attribute::None);
Eric Christophera9353d12014-09-26 01:44:08 +0000137
Eric Christopher6a0551e2014-09-29 21:57:54 +0000138 // FIXME: This is related to the code below to reset the target options,
139 // we need to know whether or not the soft float flag is set on the
140 // function before we can generate a subtarget. We also need to use
141 // it as a key for the subtarget since that can be the only difference
142 // between two functions.
Duncan P. N. Exon Smith2e753142015-02-14 02:37:48 +0000143 Attribute SFAttr = F.getFnAttribute("use-soft-float");
Eric Christopher6a0551e2014-09-29 21:57:54 +0000144 bool softFloat = !SFAttr.hasAttribute(Attribute::None)
Eric Christophera2db9222014-09-29 23:31:13 +0000145 ? SFAttr.getValueAsString() == "true"
Eric Christopher6a0551e2014-09-29 21:57:54 +0000146 : Options.UseSoftFloat;
147
Eric Christophera9353d12014-09-26 01:44:08 +0000148 if (hasMips16Attr)
149 FS += FS.empty() ? "+mips16" : ",+mips16";
150 else if (hasNoMips16Attr)
151 FS += FS.empty() ? "-mips16" : ",-mips16";
152
Eric Christopher6a0551e2014-09-29 21:57:54 +0000153 auto &I = SubtargetMap[CPU + FS + (softFloat ? "use-soft-float=true"
154 : "use-soft-float=false")];
Eric Christophera9353d12014-09-26 01:44:08 +0000155 if (!I) {
156 // This needs to be done before we create a new subtarget since any
157 // creation will depend on the TM and the code generation flags on the
158 // function that reside in TargetOptions.
159 resetTargetOptions(F);
Eric Christopher90724282015-01-08 18:18:57 +0000160 I = llvm::make_unique<MipsSubtarget>(TargetTriple, CPU, FS, isLittle, *this);
Eric Christophera9353d12014-09-26 01:44:08 +0000161 }
162 return I.get();
163}
164
Eric Christopher4e7d1e72014-07-18 23:41:32 +0000165void MipsTargetMachine::resetSubtarget(MachineFunction *MF) {
166 DEBUG(dbgs() << "resetSubtarget\n");
Eric Christophera9353d12014-09-26 01:44:08 +0000167
David Majnemerde360752014-09-26 02:57:05 +0000168 Subtarget = const_cast<MipsSubtarget *>(getSubtargetImpl(*MF->getFunction()));
Eric Christopherfc6de422014-08-05 02:39:49 +0000169 MF->setSubtarget(Subtarget);
Eric Christopher4e7d1e72014-07-18 23:41:32 +0000170 return;
171}
172
Andrew Trickccb67362012-02-03 05:12:41 +0000173namespace {
174/// Mips Code Generator Pass Configuration Options.
175class MipsPassConfig : public TargetPassConfig {
176public:
Andrew Trickf8ea1082012-02-04 02:56:59 +0000177 MipsPassConfig(MipsTargetMachine *TM, PassManagerBase &PM)
Akira Hatanaka3c0d6af2013-10-07 19:13:53 +0000178 : TargetPassConfig(TM, PM) {
179 // The current implementation of long branch pass requires a scratch
180 // register ($at) to be available before branch instructions. Tail merging
181 // can break this requirement, so disable it when long branch pass is
182 // enabled.
183 EnableTailMerge = !getMipsSubtarget().enableLongBranchPass();
184 }
Andrew Trickccb67362012-02-03 05:12:41 +0000185
186 MipsTargetMachine &getMipsTargetMachine() const {
187 return getTM<MipsTargetMachine>();
188 }
189
190 const MipsSubtarget &getMipsSubtarget() const {
191 return *getMipsTargetMachine().getSubtargetImpl();
192 }
193
Craig Topper56c590a2014-04-29 07:58:02 +0000194 void addIRPasses() override;
195 bool addInstSelector() override;
196 void addMachineSSAOptimization() override;
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000197 void addPreEmitPass() override;
Reed Kotler96b74022014-03-10 16:31:25 +0000198
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000199 void addPreRegAlloc() override;
Reed Kotler96b74022014-03-10 16:31:25 +0000200
Andrew Trickccb67362012-02-03 05:12:41 +0000201};
202} // namespace
203
Andrew Trickf8ea1082012-02-04 02:56:59 +0000204TargetPassConfig *MipsTargetMachine::createPassConfig(PassManagerBase &PM) {
205 return new MipsPassConfig(this, PM);
Andrew Trickccb67362012-02-03 05:12:41 +0000206}
207
Reed Kotlerfe94cc32013-04-10 16:58:04 +0000208void MipsPassConfig::addIRPasses() {
209 TargetPassConfig::addIRPasses();
Robin Morissete2de06b2014-10-16 20:34:57 +0000210 addPass(createAtomicExpandPass(&getMipsTargetMachine()));
Reed Kotlerfe94cc32013-04-10 16:58:04 +0000211 if (getMipsSubtarget().os16())
212 addPass(createMipsOs16(getMipsTargetMachine()));
Reed Kotler783c7942013-05-10 22:25:39 +0000213 if (getMipsSubtarget().inMips16HardFloat())
214 addPass(createMips16HardFloat(getMipsTargetMachine()));
Reed Kotlerfe94cc32013-04-10 16:58:04 +0000215}
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000216// Install an instruction selector pass using
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000217// the ISelDag to gen Mips code.
Bill Wendlingb12f16e2012-05-01 08:27:43 +0000218bool MipsPassConfig::addInstSelector() {
Eric Christophera08db01b2014-07-18 20:29:02 +0000219 addPass(createMipsModuleISelDag(getMipsTargetMachine()));
220 addPass(createMips16ISelDag(getMipsTargetMachine()));
221 addPass(createMipsSEISelDag(getMipsTargetMachine()));
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000222 return false;
223}
224
Akira Hatanaka168d4e52013-11-27 23:38:42 +0000225void MipsPassConfig::addMachineSSAOptimization() {
226 addPass(createMipsOptimizePICCallPass(getMipsTargetMachine()));
227 TargetPassConfig::addMachineSSAOptimization();
228}
229
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000230void MipsPassConfig::addPreRegAlloc() {
231 if (getOptLevel() == CodeGenOpt::None)
Reed Kotler96b74022014-03-10 16:31:25 +0000232 addPass(createMipsOptimizePICCallPass(getMipsTargetMachine()));
Reed Kotler96b74022014-03-10 16:31:25 +0000233}
234
Chandler Carruth8b04c0d2015-02-01 13:20:00 +0000235TargetIRAnalysis MipsTargetMachine::getTargetIRAnalysis() {
236 return TargetIRAnalysis([this](Function &F) {
237 if (Subtarget->allowMixed16_32()) {
238 DEBUG(errs() << "No Target Transform Info Pass Added\n");
239 // FIXME: This is no longer necessary as the TTI returned is per-function.
240 return TargetTransformInfo(getDataLayout());
241 }
Chandler Carruth93dcdc42015-01-31 11:17:59 +0000242
Chandler Carruth8b04c0d2015-02-01 13:20:00 +0000243 DEBUG(errs() << "Target Transform Info Pass Added\n");
Chandler Carruthc956ab662015-02-01 14:22:17 +0000244 return TargetTransformInfo(BasicTTIImpl(this, F));
Chandler Carruth8b04c0d2015-02-01 13:20:00 +0000245 });
Reed Kotler1595f362013-04-09 19:46:01 +0000246}
247
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000248// Implemented by targets that want to run passes immediately before
249// machine code is emitted. return true if -print-machineinstrs should
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000250// print out the code after the passes.
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000251void MipsPassConfig::addPreEmitPass() {
Akira Hatanakaeb365222012-06-14 01:19:35 +0000252 MipsTargetMachine &TM = getMipsTargetMachine();
Matthias Braunb2f23882014-12-11 23:18:03 +0000253 addPass(createMipsDelaySlotFillerPass(TM));
254 addPass(createMipsLongBranchPass(TM));
Eric Christophera08db01b2014-07-18 20:29:02 +0000255 addPass(createMipsConstantIslandPass(TM));
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000256}