blob: 542f24fe8eb88207eaa6af25164f55c6eabe857e [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"
Reed Kotler1595f362013-04-09 19:46:01 +000029#include "llvm/Analysis/TargetTransformInfo.h"
Andrew Trickccb67362012-02-03 05:12:41 +000030#include "llvm/CodeGen/Passes.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000031#include "llvm/PassManager.h"
Reed Kotler1595f362013-04-09 19:46:01 +000032#include "llvm/Support/Debug.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000033#include "llvm/Support/TargetRegistry.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000034#include "llvm/Support/raw_ostream.h"
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000035#include "llvm/Transforms/Scalar.h"
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000036using namespace llvm;
37
Chandler Carruthe96dd892014-04-21 22:55:11 +000038#define DEBUG_TYPE "mips"
39
Daniel Dunbar5680b4f2009-07-25 06:49:55 +000040extern "C" void LLVMInitializeMipsTarget() {
41 // Register the target.
Akira Hatanaka3d673cc2011-09-21 03:00:58 +000042 RegisterTargetMachine<MipsebTargetMachine> X(TheMipsTarget);
Eli Friedman57c11da2009-08-03 02:22:28 +000043 RegisterTargetMachine<MipselTargetMachine> Y(TheMipselTarget);
Akira Hatanaka30651802012-07-31 21:39:17 +000044 RegisterTargetMachine<MipsebTargetMachine> A(TheMips64Target);
45 RegisterTargetMachine<MipselTargetMachine> B(TheMips64elTarget);
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000046}
47
Bruno Cardoso Lopes43318832007-08-28 05:13:42 +000048// On function prologue, the stack is created by decrementing
49// its pointer. Once decremented, all references are done with positive
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +000050// offset from the stack/frame pointer, using StackGrowsUp enables
Bruno Cardoso Lopes4659aad2008-08-06 06:14:43 +000051// an easier handling.
Bruno Cardoso Lopesc9c3f492008-07-05 19:05:21 +000052// Using CodeModel::Large enables different CALL behavior.
Eric Christopher4407dde2014-07-02 00:54:07 +000053MipsTargetMachine::MipsTargetMachine(const Target &T, StringRef TT,
54 StringRef CPU, StringRef FS,
55 const TargetOptions &Options,
56 Reloc::Model RM, CodeModel::Model CM,
57 CodeGenOpt::Level OL, bool isLittle)
58 : LLVMTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL),
Eric Christophera9353d12014-09-26 01:44:08 +000059 isLittle(isLittle), Subtarget(nullptr),
60 DefaultSubtarget(TT, CPU, FS, isLittle, this),
Eric Christopher4e7d1e72014-07-18 23:41:32 +000061 NoMips16Subtarget(TT, CPU, FS.empty() ? "-mips16" : FS.str() + ",-mips16",
62 isLittle, this),
63 Mips16Subtarget(TT, CPU, FS.empty() ? "+mips16" : FS.str() + ",+mips16",
64 isLittle, this) {
65 Subtarget = &DefaultSubtarget;
Rafael Espindola227144c2013-05-13 01:16:13 +000066 initAsmInfo();
Bruno Cardoso Lopes35d86e62007-10-09 03:01:19 +000067}
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +000068
David Blaikiea379b1812011-12-20 02:50:00 +000069void MipsebTargetMachine::anchor() { }
70
Akira Hatanaka3d673cc2011-09-21 03:00:58 +000071MipsebTargetMachine::
72MipsebTargetMachine(const Target &T, StringRef TT,
Nick Lewycky50f02cb2011-12-02 22:16:29 +000073 StringRef CPU, StringRef FS, const TargetOptions &Options,
Evan Chengecb29082011-11-16 08:38:26 +000074 Reloc::Model RM, CodeModel::Model CM,
Nick Lewycky50f02cb2011-12-02 22:16:29 +000075 CodeGenOpt::Level OL)
76 : MipsTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL, false) {}
Akira Hatanaka3d673cc2011-09-21 03:00:58 +000077
David Blaikiea379b1812011-12-20 02:50:00 +000078void MipselTargetMachine::anchor() { }
79
Bruno Cardoso Lopes326a0372008-06-04 01:45:25 +000080MipselTargetMachine::
Evan Cheng2129f592011-07-19 06:37:02 +000081MipselTargetMachine(const Target &T, StringRef TT,
Nick Lewycky50f02cb2011-12-02 22:16:29 +000082 StringRef CPU, StringRef FS, const TargetOptions &Options,
Evan Chengecb29082011-11-16 08:38:26 +000083 Reloc::Model RM, CodeModel::Model CM,
Nick Lewycky50f02cb2011-12-02 22:16:29 +000084 CodeGenOpt::Level OL)
85 : MipsTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL, true) {}
Bruno Cardoso Lopes326a0372008-06-04 01:45:25 +000086
Eric Christophera9353d12014-09-26 01:44:08 +000087const MipsSubtarget *
David Majnemerde360752014-09-26 02:57:05 +000088MipsTargetMachine::getSubtargetImpl(const Function &F) const {
Eric Christophera9353d12014-09-26 01:44:08 +000089 AttributeSet FnAttrs = F.getAttributes();
90 Attribute CPUAttr =
91 FnAttrs.getAttribute(AttributeSet::FunctionIndex, "target-cpu");
92 Attribute FSAttr =
93 FnAttrs.getAttribute(AttributeSet::FunctionIndex, "target-features");
94
95 std::string CPU = !CPUAttr.hasAttribute(Attribute::None)
96 ? CPUAttr.getValueAsString().str()
97 : TargetCPU;
98 std::string FS = !FSAttr.hasAttribute(Attribute::None)
99 ? FSAttr.getValueAsString().str()
100 : TargetFS;
101 bool hasMips16Attr =
102 !FnAttrs.getAttribute(AttributeSet::FunctionIndex, "mips16")
103 .hasAttribute(Attribute::None);
104 bool hasNoMips16Attr =
105 !FnAttrs.getAttribute(AttributeSet::FunctionIndex, "nomips16")
106 .hasAttribute(Attribute::None);
107
108 if (hasMips16Attr)
109 FS += FS.empty() ? "+mips16" : ",+mips16";
110 else if (hasNoMips16Attr)
111 FS += FS.empty() ? "-mips16" : ",-mips16";
112
113 auto &I = SubtargetMap[CPU + FS];
114 if (!I) {
115 // This needs to be done before we create a new subtarget since any
116 // creation will depend on the TM and the code generation flags on the
117 // function that reside in TargetOptions.
118 resetTargetOptions(F);
David Majnemerec44e4d2014-09-26 04:47:54 +0000119 I = llvm::make_unique<MipsSubtarget>(TargetTriple, CPU, FS, isLittle, this);
Eric Christophera9353d12014-09-26 01:44:08 +0000120 }
121 return I.get();
122}
123
Eric Christopher4e7d1e72014-07-18 23:41:32 +0000124void MipsTargetMachine::resetSubtarget(MachineFunction *MF) {
125 DEBUG(dbgs() << "resetSubtarget\n");
Eric Christophera9353d12014-09-26 01:44:08 +0000126
David Majnemerde360752014-09-26 02:57:05 +0000127 Subtarget = const_cast<MipsSubtarget *>(getSubtargetImpl(*MF->getFunction()));
Eric Christopherfc6de422014-08-05 02:39:49 +0000128 MF->setSubtarget(Subtarget);
Eric Christopher4e7d1e72014-07-18 23:41:32 +0000129 return;
130}
131
Andrew Trickccb67362012-02-03 05:12:41 +0000132namespace {
133/// Mips Code Generator Pass Configuration Options.
134class MipsPassConfig : public TargetPassConfig {
135public:
Andrew Trickf8ea1082012-02-04 02:56:59 +0000136 MipsPassConfig(MipsTargetMachine *TM, PassManagerBase &PM)
Akira Hatanaka3c0d6af2013-10-07 19:13:53 +0000137 : TargetPassConfig(TM, PM) {
138 // The current implementation of long branch pass requires a scratch
139 // register ($at) to be available before branch instructions. Tail merging
140 // can break this requirement, so disable it when long branch pass is
141 // enabled.
142 EnableTailMerge = !getMipsSubtarget().enableLongBranchPass();
143 }
Andrew Trickccb67362012-02-03 05:12:41 +0000144
145 MipsTargetMachine &getMipsTargetMachine() const {
146 return getTM<MipsTargetMachine>();
147 }
148
149 const MipsSubtarget &getMipsSubtarget() const {
150 return *getMipsTargetMachine().getSubtargetImpl();
151 }
152
Craig Topper56c590a2014-04-29 07:58:02 +0000153 void addIRPasses() override;
154 bool addInstSelector() override;
155 void addMachineSSAOptimization() override;
156 bool addPreEmitPass() override;
Reed Kotler96b74022014-03-10 16:31:25 +0000157
Craig Topper56c590a2014-04-29 07:58:02 +0000158 bool addPreRegAlloc() override;
Reed Kotler96b74022014-03-10 16:31:25 +0000159
Andrew Trickccb67362012-02-03 05:12:41 +0000160};
161} // namespace
162
Andrew Trickf8ea1082012-02-04 02:56:59 +0000163TargetPassConfig *MipsTargetMachine::createPassConfig(PassManagerBase &PM) {
164 return new MipsPassConfig(this, PM);
Andrew Trickccb67362012-02-03 05:12:41 +0000165}
166
Reed Kotlerfe94cc32013-04-10 16:58:04 +0000167void MipsPassConfig::addIRPasses() {
168 TargetPassConfig::addIRPasses();
169 if (getMipsSubtarget().os16())
170 addPass(createMipsOs16(getMipsTargetMachine()));
Reed Kotler783c7942013-05-10 22:25:39 +0000171 if (getMipsSubtarget().inMips16HardFloat())
172 addPass(createMips16HardFloat(getMipsTargetMachine()));
Reed Kotlerfe94cc32013-04-10 16:58:04 +0000173}
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000174// Install an instruction selector pass using
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000175// the ISelDag to gen Mips code.
Bill Wendlingb12f16e2012-05-01 08:27:43 +0000176bool MipsPassConfig::addInstSelector() {
Eric Christophera08db01b2014-07-18 20:29:02 +0000177 addPass(createMipsModuleISelDag(getMipsTargetMachine()));
178 addPass(createMips16ISelDag(getMipsTargetMachine()));
179 addPass(createMipsSEISelDag(getMipsTargetMachine()));
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000180 return false;
181}
182
Akira Hatanaka168d4e52013-11-27 23:38:42 +0000183void MipsPassConfig::addMachineSSAOptimization() {
184 addPass(createMipsOptimizePICCallPass(getMipsTargetMachine()));
185 TargetPassConfig::addMachineSSAOptimization();
186}
187
Reed Kotler96b74022014-03-10 16:31:25 +0000188bool MipsPassConfig::addPreRegAlloc() {
189 if (getOptLevel() == CodeGenOpt::None) {
190 addPass(createMipsOptimizePICCallPass(getMipsTargetMachine()));
191 return true;
192 }
193 else
194 return false;
195}
196
Reed Kotler1595f362013-04-09 19:46:01 +0000197void MipsTargetMachine::addAnalysisPasses(PassManagerBase &PM) {
Eric Christopher4e7d1e72014-07-18 23:41:32 +0000198 if (Subtarget->allowMixed16_32()) {
Reed Kotler1595f362013-04-09 19:46:01 +0000199 DEBUG(errs() << "No ");
200 //FIXME: The Basic Target Transform Info
201 // pass needs to become a function pass instead of
202 // being an immutable pass and then this method as it exists now
203 // would be unnecessary.
204 PM.add(createNoTargetTransformInfoPass());
205 } else
206 LLVMTargetMachine::addAnalysisPasses(PM);
207 DEBUG(errs() << "Target Transform Info Pass Added\n");
208}
209
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000210// Implemented by targets that want to run passes immediately before
211// machine code is emitted. return true if -print-machineinstrs should
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000212// print out the code after the passes.
Bill Wendlingb12f16e2012-05-01 08:27:43 +0000213bool MipsPassConfig::addPreEmitPass() {
Akira Hatanakaeb365222012-06-14 01:19:35 +0000214 MipsTargetMachine &TM = getMipsTargetMachine();
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000215 addPass(createMipsDelaySlotFillerPass(TM));
Eric Christophera08db01b2014-07-18 20:29:02 +0000216 addPass(createMipsLongBranchPass(TM));
217 addPass(createMipsConstantIslandPass(TM));
Bruno Cardoso Lopesa7465122007-08-18 01:58:15 +0000218 return true;
Bruno Cardoso Lopes35e43c42007-06-06 07:42:06 +0000219}