blob: 9c23368166682fccb9660a3468c66beee7aef400 [file] [log] [blame]
Chris Lattner47877052006-09-04 04:16:09 +00001//===-- LLVMTargetMachine.cpp - Implement the LLVMTargetMachine class -----===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner47877052006-09-04 04:16:09 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the LLVMTargetMachine class.
11//
12//===----------------------------------------------------------------------===//
13
Chandler Carruthd04a8d42012-12-03 16:50:05 +000014#include "llvm/Target/TargetMachine.h"
Stephen Hines37ed9c12014-12-01 14:51:49 -080015#include "llvm/Analysis/JumpInstrTableInfo.h"
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -070016#include "llvm/Analysis/Passes.h"
Daniel Dunbar78945782009-08-13 23:48:47 +000017#include "llvm/CodeGen/AsmPrinter.h"
Stephen Hinesebe69fe2015-03-23 12:10:34 -070018#include "llvm/CodeGen/BasicTTIImpl.h"
Stephen Hines37ed9c12014-12-01 14:51:49 -080019#include "llvm/CodeGen/ForwardControlFlowIntegrity.h"
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -070020#include "llvm/CodeGen/JumpInstrTables.h"
Andrew Trick061efcf2012-02-04 02:56:59 +000021#include "llvm/CodeGen/MachineFunctionAnalysis.h"
22#include "llvm/CodeGen/MachineModuleInfo.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000023#include "llvm/CodeGen/Passes.h"
Stephen Hines36b56882014-04-23 16:57:46 -070024#include "llvm/IR/IRPrintingPasses.h"
Stephen Hinesebe69fe2015-03-23 12:10:34 -070025#include "llvm/IR/LegacyPassManager.h"
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -070026#include "llvm/IR/Verifier.h"
Chris Lattneraf76e592009-08-22 20:48:53 +000027#include "llvm/MC/MCAsmInfo.h"
Andrew Trickd5422652012-02-04 02:56:48 +000028#include "llvm/MC/MCContext.h"
Evan Cheng59ee62d2011-07-11 03:57:24 +000029#include "llvm/MC/MCInstrInfo.h"
Chris Lattner56591ab2010-02-02 23:37:42 +000030#include "llvm/MC/MCStreamer.h"
Evan Cheng59ee62d2011-07-11 03:57:24 +000031#include "llvm/MC/MCSubtargetInfo.h"
Chris Lattner31442f92007-03-31 00:24:43 +000032#include "llvm/Support/CommandLine.h"
Andrew Trickd5422652012-02-04 02:56:48 +000033#include "llvm/Support/ErrorHandling.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000034#include "llvm/Support/FormattedStream.h"
Evan Cheng3e74d6f2011-08-24 18:08:43 +000035#include "llvm/Support/TargetRegistry.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000036#include "llvm/Target/TargetInstrInfo.h"
37#include "llvm/Target/TargetLowering.h"
38#include "llvm/Target/TargetLoweringObjectFile.h"
39#include "llvm/Target/TargetOptions.h"
40#include "llvm/Target/TargetRegisterInfo.h"
41#include "llvm/Target/TargetSubtargetInfo.h"
42#include "llvm/Transforms/Scalar.h"
Chris Lattner47877052006-09-04 04:16:09 +000043using namespace llvm;
44
Andrew Trick061efcf2012-02-04 02:56:59 +000045// Enable or disable FastISel. Both options are needed, because
46// FastISel is enabled by default with -fast, and we wish to be
47// able to enable or disable fast-isel independently from -O0.
48static cl::opt<cl::boolOrDefault>
49EnableFastISelOption("fast-isel", cl::Hidden,
50 cl::desc("Enable the \"fast\" instruction selector"));
51
Rafael Espindola4a971702013-05-13 01:16:13 +000052void LLVMTargetMachine::initAsmInfo() {
Stephen Hines37ed9c12014-12-01 14:51:49 -080053 MCAsmInfo *TmpAsmInfo = TheTarget.createMCAsmInfo(
54 *getSubtargetImpl()->getRegisterInfo(), getTargetTriple());
Torok Edwind398bae2011-09-30 13:07:47 +000055 // TargetSelect.h moved to a different directory between LLVM 2.9 and 3.0,
56 // and if the old one gets included then MCAsmInfo will be NULL and
57 // we'll crash later.
58 // Provide the user with a useful error message about what's wrong.
Stephen Hines36b56882014-04-23 16:57:46 -070059 assert(TmpAsmInfo && "MCAsmInfo not initialized. "
Jim Grosbachca30f752011-10-25 20:30:48 +000060 "Make sure you include the correct TargetSelect.h"
61 "and that InitializeAllTargetMCs() is being invoked!");
Stephen Hines36b56882014-04-23 16:57:46 -070062
63 if (Options.DisableIntegratedAS)
64 TmpAsmInfo->setUseIntegratedAssembler(false);
65
66 if (Options.CompressDebugSections)
67 TmpAsmInfo->setCompressDebugSections(true);
68
69 AsmInfo = TmpAsmInfo;
Chris Lattnera7ac47c2009-08-12 07:22:17 +000070}
71
Rafael Espindola4a971702013-05-13 01:16:13 +000072LLVMTargetMachine::LLVMTargetMachine(const Target &T, StringRef Triple,
73 StringRef CPU, StringRef FS,
74 TargetOptions Options,
75 Reloc::Model RM, CodeModel::Model CM,
76 CodeGenOpt::Level OL)
77 : TargetMachine(T, Triple, CPU, FS, Options) {
78 CodeGenInfo = T.createMCCodeGenInfo(Triple, RM, CM, OL);
79}
80
Stephen Hinesebe69fe2015-03-23 12:10:34 -070081TargetIRAnalysis LLVMTargetMachine::getTargetIRAnalysis() {
82 return TargetIRAnalysis([this](Function &F) {
83 return TargetTransformInfo(BasicTTIImpl(this, F));
84 });
Chandler Carruthaeef83c2013-01-07 01:37:14 +000085}
86
Andrew Trick061efcf2012-02-04 02:56:59 +000087/// addPassesToX helper drives creation and initialization of TargetPassConfig.
88static MCContext *addPassesToGenerateCode(LLVMTargetMachine *TM,
89 PassManagerBase &PM,
Bob Wilson30a507a2012-07-02 19:48:45 +000090 bool DisableVerify,
91 AnalysisID StartAfter,
92 AnalysisID StopAfter) {
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -070093
Stephen Hines36b56882014-04-23 16:57:46 -070094 // Add internal analysis passes from the target machine.
Stephen Hinesebe69fe2015-03-23 12:10:34 -070095 PM.add(createTargetTransformInfoWrapperPass(TM->getTargetIRAnalysis()));
Stephen Hines36b56882014-04-23 16:57:46 -070096
Stephen Hinesdce4a402014-05-29 02:49:00 -070097 // Targets may override createPassConfig to provide a target-specific
98 // subclass.
Andrew Trick061efcf2012-02-04 02:56:59 +000099 TargetPassConfig *PassConfig = TM->createPassConfig(PM);
Bob Wilson30a507a2012-07-02 19:48:45 +0000100 PassConfig->setStartStopPasses(StartAfter, StopAfter);
Andrew Trick061efcf2012-02-04 02:56:59 +0000101
102 // Set PassConfig options provided by TargetMachine.
103 PassConfig->setDisableVerify(DisableVerify);
104
Andrew Trick6939fde2012-02-06 22:51:15 +0000105 PM.add(PassConfig);
106
Andrew Trick061efcf2012-02-04 02:56:59 +0000107 PassConfig->addIRPasses();
108
Bill Wendling08510b12012-11-30 22:08:55 +0000109 PassConfig->addCodeGenPrepare();
110
Bob Wilson564fbf62012-07-02 19:48:31 +0000111 PassConfig->addPassesToHandleExceptions();
Andrew Trick061efcf2012-02-04 02:56:59 +0000112
113 PassConfig->addISelPrepare();
114
115 // Install a MachineModuleInfo class, which is an immutable pass that holds
116 // all the per-module stuff we're generating, including MCContext.
Stephen Hines37ed9c12014-12-01 14:51:49 -0800117 MachineModuleInfo *MMI = new MachineModuleInfo(
118 *TM->getMCAsmInfo(), *TM->getSubtargetImpl()->getRegisterInfo(),
Stephen Hinesebe69fe2015-03-23 12:10:34 -0700119 TM->getObjFileLowering());
Andrew Trick061efcf2012-02-04 02:56:59 +0000120 PM.add(MMI);
Andrew Trick061efcf2012-02-04 02:56:59 +0000121
122 // Set up a MachineFunction for the rest of CodeGen to work on.
123 PM.add(new MachineFunctionAnalysis(*TM));
124
125 // Enable FastISel with -fast, but allow that to be overridden.
126 if (EnableFastISelOption == cl::BOU_TRUE ||
127 (TM->getOptLevel() == CodeGenOpt::None &&
128 EnableFastISelOption != cl::BOU_FALSE))
129 TM->setFastISel(true);
130
131 // Ask the target for an isel.
132 if (PassConfig->addInstSelector())
Stephen Hinesdce4a402014-05-29 02:49:00 -0700133 return nullptr;
Andrew Trick061efcf2012-02-04 02:56:59 +0000134
135 PassConfig->addMachinePasses();
136
Andrew Trickffea03f2012-02-08 21:22:39 +0000137 PassConfig->setInitialized();
138
Bill Wendlingea442812013-06-19 20:51:24 +0000139 return &MMI->getContext();
Andrew Trick061efcf2012-02-04 02:56:59 +0000140}
141
Chris Lattner5669e302010-02-03 05:55:08 +0000142bool LLVMTargetMachine::addPassesToEmitFile(PassManagerBase &PM,
143 formatted_raw_ostream &Out,
144 CodeGenFileType FileType,
Bob Wilson30a507a2012-07-02 19:48:45 +0000145 bool DisableVerify,
146 AnalysisID StartAfter,
147 AnalysisID StopAfter) {
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -0700148 // Passes to handle jumptable function annotations. These can't be handled at
149 // JIT time, so we don't add them directly to addPassesToGenerateCode.
Stephen Hines37ed9c12014-12-01 14:51:49 -0800150 PM.add(createJumpInstrTableInfoPass(
151 getSubtargetImpl()->getInstrInfo()->getJumpInstrTableEntryBound()));
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -0700152 PM.add(createJumpInstrTablesPass(Options.JTType));
Stephen Hines37ed9c12014-12-01 14:51:49 -0800153 if (Options.FCFI)
154 PM.add(createForwardControlFlowIntegrityPass(
155 Options.JTType, Options.CFIType, Options.CFIEnforcing,
156 Options.getCFIFuncName()));
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -0700157
Dan Gohman02dae4b2008-09-25 00:37:07 +0000158 // Add common CodeGen passes.
Bob Wilson30a507a2012-07-02 19:48:45 +0000159 MCContext *Context = addPassesToGenerateCode(this, PM, DisableVerify,
160 StartAfter, StopAfter);
Andrew Trick061efcf2012-02-04 02:56:59 +0000161 if (!Context)
Chris Lattner5669e302010-02-03 05:55:08 +0000162 return true;
Bill Wendling04523ea2007-02-08 01:36:53 +0000163
Bob Wilson30a507a2012-07-02 19:48:45 +0000164 if (StopAfter) {
165 // FIXME: The intent is that this should eventually write out a YAML file,
166 // containing the LLVM IR, the machine-level IR (when stopping after a
167 // machine-level pass), and whatever other information is needed to
168 // deserialize the code and resume compilation. For now, just write the
169 // LLVM IR.
Stephen Hines36b56882014-04-23 16:57:46 -0700170 PM.add(createPrintModulePass(Out));
Bob Wilson30a507a2012-07-02 19:48:45 +0000171 return false;
172 }
173
Stephen Hinesdce4a402014-05-29 02:49:00 -0700174 if (Options.MCOptions.MCSaveTempLabels)
Daniel Dunbara7b8c2b2011-03-28 22:49:19 +0000175 Context->setAllowTemporaryLabels(false);
176
James Molloyb9505852011-09-07 17:24:38 +0000177 const MCSubtargetInfo &STI = getSubtarget<MCSubtargetInfo>();
Stephen Hines37ed9c12014-12-01 14:51:49 -0800178 const MCAsmInfo &MAI = *getMCAsmInfo();
179 const MCRegisterInfo &MRI = *getSubtargetImpl()->getRegisterInfo();
180 const MCInstrInfo &MII = *getSubtargetImpl()->getInstrInfo();
Stephen Hines36b56882014-04-23 16:57:46 -0700181 std::unique_ptr<MCStreamer> AsmStreamer;
Chris Lattner6cafdcc2010-02-02 23:45:17 +0000182
Chris Lattner47877052006-09-04 04:16:09 +0000183 switch (FileType) {
Chris Lattner6c8d6ec2010-02-03 00:29:55 +0000184 case CGFT_AssemblyFile: {
Chris Lattner6c8d6ec2010-02-03 00:29:55 +0000185 MCInstPrinter *InstPrinter =
Jim Grosbachc6449b62012-03-05 19:33:20 +0000186 getTarget().createMCInstPrinter(MAI.getAssemblerDialect(), MAI,
Bill Wendling4ca0dda2013-06-18 06:07:26 +0000187 MII, MRI, STI);
Daniel Dunbar3538c802010-05-18 17:22:19 +0000188
189 // Create a code emitter if asked to show the encoding.
Stephen Hinesdce4a402014-05-29 02:49:00 -0700190 MCCodeEmitter *MCE = nullptr;
191 if (Options.MCOptions.ShowMCEncoding)
Bill Wendling4ca0dda2013-06-18 06:07:26 +0000192 MCE = getTarget().createMCCodeEmitter(MII, MRI, STI, *Context);
Daniel Dunbar3538c802010-05-18 17:22:19 +0000193
Bill Wendlingda11df02013-09-09 19:48:37 +0000194 MCAsmBackend *MAB = getTarget().createMCAsmBackend(MRI, getTargetTriple(),
195 TargetCPU);
Stephen Hinesdce4a402014-05-29 02:49:00 -0700196 MCStreamer *S = getTarget().createAsmStreamer(
197 *Context, Out, Options.MCOptions.AsmVerbose,
198 Options.MCOptions.MCUseDwarfDirectory, InstPrinter, MCE, MAB,
199 Options.MCOptions.ShowMCInst);
Rafael Espindola195a0ce2010-11-19 02:26:16 +0000200 AsmStreamer.reset(S);
Chris Lattnerb5c51602010-02-02 19:14:27 +0000201 break;
Chris Lattner6c8d6ec2010-02-03 00:29:55 +0000202 }
Chris Lattnerac7798e2010-02-02 23:57:42 +0000203 case CGFT_ObjectFile: {
204 // Create the code emitter for the target if it exists. If not, .o file
205 // emission fails.
Bill Wendling4ca0dda2013-06-18 06:07:26 +0000206 MCCodeEmitter *MCE = getTarget().createMCCodeEmitter(MII, MRI, STI,
207 *Context);
Bill Wendlingc3cee572013-09-09 02:37:14 +0000208 MCAsmBackend *MAB = getTarget().createMCAsmBackend(MRI, getTargetTriple(),
Eli Bendersky9f696c82012-11-22 14:10:40 +0000209 TargetCPU);
Stephen Hinesdce4a402014-05-29 02:49:00 -0700210 if (!MCE || !MAB)
Chris Lattner5669e302010-02-03 05:55:08 +0000211 return true;
Daniel Dunbarcb8326d2010-05-26 21:48:55 +0000212
Stephen Hines37ed9c12014-12-01 14:51:49 -0800213 AsmStreamer.reset(
214 getTarget()
215 .createMCObjectStreamer(getTargetTriple(), *Context, *MAB, Out, MCE,
216 STI, Options.MCOptions.MCRelaxAll));
Chris Lattnerac7798e2010-02-02 23:57:42 +0000217 break;
Chris Lattner0823d2a2010-02-02 18:44:12 +0000218 }
Chris Lattner5669e302010-02-03 05:55:08 +0000219 case CGFT_Null:
220 // The Null output is intended for use for performance analysis and testing,
221 // not real users.
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -0700222 AsmStreamer.reset(getTarget().createNullStreamer(*Context));
Chris Lattner5669e302010-02-03 05:55:08 +0000223 break;
Chris Lattner47877052006-09-04 04:16:09 +0000224 }
Daniel Dunbarfdb5a862010-05-23 17:44:06 +0000225
Chris Lattner11d53c12010-03-13 20:55:24 +0000226 // Create the AsmPrinter, which takes ownership of AsmStreamer if successful.
Stephen Hinesebe69fe2015-03-23 12:10:34 -0700227 FunctionPass *Printer =
228 getTarget().createAsmPrinter(*this, std::move(AsmStreamer));
Stephen Hinesdce4a402014-05-29 02:49:00 -0700229 if (!Printer)
Chris Lattner5669e302010-02-03 05:55:08 +0000230 return true;
Jim Grosbachc92bb502010-08-13 16:55:08 +0000231
Chris Lattner6cafdcc2010-02-02 23:45:17 +0000232 PM.add(Printer);
Jim Grosbachc92bb502010-08-13 16:55:08 +0000233
Chris Lattner5669e302010-02-03 05:55:08 +0000234 return false;
Dan Gohman02dae4b2008-09-25 00:37:07 +0000235}
236
Reid Klecknerc96a82a2010-07-22 05:58:53 +0000237/// addPassesToEmitMC - Add passes to the specified pass manager to get
238/// machine code emitted with the MCJIT. This method returns true if machine
239/// code is not supported. It fills the MCContext Ctx pointer which can be
240/// used to build custom MCStreamer.
241///
242bool LLVMTargetMachine::addPassesToEmitMC(PassManagerBase &PM,
243 MCContext *&Ctx,
Jim Grosbach31649e62011-03-18 22:48:41 +0000244 raw_ostream &Out,
Reid Klecknerc96a82a2010-07-22 05:58:53 +0000245 bool DisableVerify) {
246 // Add common CodeGen passes.
Stephen Hinesdce4a402014-05-29 02:49:00 -0700247 Ctx = addPassesToGenerateCode(this, PM, DisableVerify, nullptr, nullptr);
Andrew Trick061efcf2012-02-04 02:56:59 +0000248 if (!Ctx)
Reid Klecknerc96a82a2010-07-22 05:58:53 +0000249 return true;
Jim Grosbach31649e62011-03-18 22:48:41 +0000250
Stephen Hinesdce4a402014-05-29 02:49:00 -0700251 if (Options.MCOptions.MCSaveTempLabels)
Daniel Dunbara7b8c2b2011-03-28 22:49:19 +0000252 Ctx->setAllowTemporaryLabels(false);
253
Jim Grosbach31649e62011-03-18 22:48:41 +0000254 // Create the code emitter for the target if it exists. If not, .o file
255 // emission fails.
Stephen Hines37ed9c12014-12-01 14:51:49 -0800256 const MCRegisterInfo &MRI = *getSubtargetImpl()->getRegisterInfo();
Evan Cheng59ee62d2011-07-11 03:57:24 +0000257 const MCSubtargetInfo &STI = getSubtarget<MCSubtargetInfo>();
Stephen Hines37ed9c12014-12-01 14:51:49 -0800258 MCCodeEmitter *MCE = getTarget().createMCCodeEmitter(
259 *getSubtargetImpl()->getInstrInfo(), MRI, STI, *Ctx);
Bill Wendlingc3cee572013-09-09 02:37:14 +0000260 MCAsmBackend *MAB = getTarget().createMCAsmBackend(MRI, getTargetTriple(),
261 TargetCPU);
Stephen Hinesdce4a402014-05-29 02:49:00 -0700262 if (!MCE || !MAB)
Jim Grosbach31649e62011-03-18 22:48:41 +0000263 return true;
264
Stephen Hinesebe69fe2015-03-23 12:10:34 -0700265 std::unique_ptr<MCStreamer> AsmStreamer(getTarget().createMCObjectStreamer(
266 getTargetTriple(), *Ctx, *MAB, Out, MCE, STI,
267 Options.MCOptions.MCRelaxAll));
Jim Grosbach31649e62011-03-18 22:48:41 +0000268
269 // Create the AsmPrinter, which takes ownership of AsmStreamer if successful.
Stephen Hinesebe69fe2015-03-23 12:10:34 -0700270 FunctionPass *Printer =
271 getTarget().createAsmPrinter(*this, std::move(AsmStreamer));
Stephen Hinesdce4a402014-05-29 02:49:00 -0700272 if (!Printer)
Jim Grosbach31649e62011-03-18 22:48:41 +0000273 return true;
274
Jim Grosbach31649e62011-03-18 22:48:41 +0000275 PM.add(Printer);
276
Reid Klecknerc96a82a2010-07-22 05:58:53 +0000277 return false; // success!
278}