blob: 5afc7ccedf1c7fcd4fb06bd124fd2dc1d0ae4e28 [file] [log] [blame]
Rafael Espindolaffdc24b2006-05-14 22:18:28 +00001//===-- ARMTargetMachine.cpp - Define TargetMachine for ARM ---------------===//
2//
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
Rafael Espindolaffdc24b2006-05-14 22:18:28 +00006// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10//
11//===----------------------------------------------------------------------===//
12
13#include "ARMTargetMachine.h"
14#include "ARM.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "ARMFrameLowering.h"
Evan Chengad3aac712007-05-16 02:01:49 +000016#include "llvm/CodeGen/Passes.h"
Bill Wendling354ff9e2011-09-27 22:14:12 +000017#include "llvm/MC/MCAsmInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000018#include "llvm/PassManager.h"
Evan Cheng62c7b5b2010-12-05 22:04:16 +000019#include "llvm/Support/CommandLine.h"
David Greenea31f96c2009-07-14 20:18:05 +000020#include "llvm/Support/FormattedStream.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000021#include "llvm/Support/TargetRegistry.h"
Evan Cheng10043e22007-01-19 07:51:42 +000022#include "llvm/Target/TargetOptions.h"
Devang Patel76c85632011-10-17 17:17:43 +000023#include "llvm/Transforms/Scalar.h"
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000024using namespace llvm;
25
Evan Chengf066b2f2011-08-25 01:00:36 +000026static cl::opt<bool>
Evan Cheng9dad4302011-08-25 01:22:49 +000027EnableGlobalMerge("global-merge", cl::Hidden,
Evan Chengf066b2f2011-08-25 01:00:36 +000028 cl::desc("Enable global merge pass"),
29 cl::init(true));
30
Silviu Baranga82dd6ac2013-03-15 18:28:25 +000031static cl::opt<bool>
32DisableA15SDOptimization("disable-a15-sd-optimization", cl::Hidden,
33 cl::desc("Inhibit optimization of S->D register accesses on A15"),
34 cl::init(false));
35
Jim Grosbachf24f9d92009-08-11 15:33:49 +000036extern "C" void LLVMInitializeARMTarget() {
Daniel Dunbar5680b4f2009-07-25 06:49:55 +000037 // Register the target.
38 RegisterTargetMachine<ARMTargetMachine> X(TheARMTarget);
39 RegisterTargetMachine<ThumbTargetMachine> Y(TheThumbTarget);
40}
Douglas Gregor1b731d52009-06-16 20:12:29 +000041
David Blaikiea379b1812011-12-20 02:50:00 +000042
Evan Cheng9f830142007-02-23 03:14:31 +000043/// TargetMachine ctor - Create an ARM architecture model.
44///
Evan Cheng2129f592011-07-19 06:37:02 +000045ARMBaseTargetMachine::ARMBaseTargetMachine(const Target &T, StringRef TT,
46 StringRef CPU, StringRef FS,
Nick Lewycky50f02cb2011-12-02 22:16:29 +000047 const TargetOptions &Options,
Evan Chengecb29082011-11-16 08:38:26 +000048 Reloc::Model RM, CodeModel::Model CM,
49 CodeGenOpt::Level OL)
Nick Lewycky50f02cb2011-12-02 22:16:29 +000050 : LLVMTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL),
Renato Golinb4dd6c52013-03-21 18:47:47 +000051 Subtarget(TT, CPU, FS, Options),
Evan Cheng98161f52008-11-08 07:38:22 +000052 JITInfo(),
Jim Grosbach6ade7e02011-04-06 22:35:47 +000053 InstrItins(Subtarget.getInstrItineraryData()) {
Tim Northoverf1c31b92013-12-18 14:18:36 +000054
55 // Default to triple-appropriate float ABI
Nick Lewycky50f02cb2011-12-02 22:16:29 +000056 if (Options.FloatABIType == FloatABI::Default)
Tim Northover44594ad2013-12-18 09:27:33 +000057 this->Options.FloatABIType =
58 Subtarget.isTargetHardFloat() ? FloatABI::Hard : FloatABI::Soft;
Evan Cheng66cff402008-10-30 16:10:54 +000059}
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000060
Chandler Carruth664e3542013-01-07 01:37:14 +000061void ARMBaseTargetMachine::addAnalysisPasses(PassManagerBase &PM) {
Jim Grosbach553eb752013-01-07 21:12:13 +000062 // Add first the target-independent BasicTTI pass, then our ARM pass. This
63 // allows the ARM pass to delegate to the target independent layer when
Chandler Carruth664e3542013-01-07 01:37:14 +000064 // appropriate.
Bill Wendlingafc10362013-06-19 20:51:24 +000065 PM.add(createBasicTargetTransformInfoPass(this));
Chandler Carruth664e3542013-01-07 01:37:14 +000066 PM.add(createARMTargetTransformInfoPass(this));
67}
68
69
David Blaikiea379b1812011-12-20 02:50:00 +000070void ARMTargetMachine::anchor() { }
71
Rafael Espindola964bf072013-12-09 23:56:41 +000072static std::string computeDataLayout(ARMSubtarget &ST) {
Rafael Espindola1d224bd2013-12-10 00:37:37 +000073 // Little endian. Pointers are 32 bits and aligned to 32 bits.
Rafael Espindola964bf072013-12-09 23:56:41 +000074 std::string Ret = "e-p:32:32";
75
Rafael Espindolae89b4142013-12-16 19:31:14 +000076 // On thumb, i16,i18 and i1 have natural aligment requirements, but we try to
77 // align to 32.
78 if (ST.isThumb())
79 Ret += "-i1:8:32-i8:8:32-i16:16:32";
80
Rafael Espindola9704fd02013-12-17 21:28:36 +000081 // ABIs other than APC have 64 bit integers with natural alignment.
82 if (!ST.isAPCS_ABI())
83 Ret += "-i64:64";
84
85 // We have 64 bits floats. The APCS ABI requires them to be aligned to 32
86 // bits, others to 64 bits. We always try to align to 64 bits.
Rafael Espindola964bf072013-12-09 23:56:41 +000087 if (ST.isAPCS_ABI())
Rafael Espindola720ae4f2013-12-12 17:43:37 +000088 Ret += "-f64:32:64";
Rafael Espindola964bf072013-12-09 23:56:41 +000089
Rafael Espindola1d224bd2013-12-10 00:37:37 +000090 // We have 128 and 64 bit vectors. The APCS ABI aligns them to 32 bits, others
91 // to 64. We always ty to give them natural alignment.
Rafael Espindola964bf072013-12-09 23:56:41 +000092 if (ST.isAPCS_ABI())
Rafael Espindolae89b4142013-12-16 19:31:14 +000093 Ret += "-v64:32:64-v128:32:128";
Rafael Espindola964bf072013-12-09 23:56:41 +000094 else
Rafael Espindola720ae4f2013-12-12 17:43:37 +000095 Ret += "-v128:64:128";
Rafael Espindola964bf072013-12-09 23:56:41 +000096
Rafael Espindola8c081202013-12-17 21:36:54 +000097 // On thumb and APCS, only try to align aggregates to 32 bits (the default is
98 // 64 bits).
99 if (ST.isThumb() || ST.isAPCS_ABI())
Rafael Espindola74d682b2013-12-10 00:15:35 +0000100 Ret += "-a:0:32";
Rafael Espindola964bf072013-12-09 23:56:41 +0000101
Rafael Espindola1d224bd2013-12-10 00:37:37 +0000102 // Integer registers are 32 bits.
Rafael Espindola964bf072013-12-09 23:56:41 +0000103 Ret += "-n32";
104
Rafael Espindola1d224bd2013-12-10 00:37:37 +0000105 // The stack is 64 bit aligned on AAPCS and 32 bit aligned everywhere else.
Rafael Espindola964bf072013-12-09 23:56:41 +0000106 if (ST.isAAPCS_ABI())
107 Ret += "-S64";
108 else
109 Ret += "-S32";
110
111 return Ret;
112}
113
Evan Cheng2129f592011-07-19 06:37:02 +0000114ARMTargetMachine::ARMTargetMachine(const Target &T, StringRef TT,
115 StringRef CPU, StringRef FS,
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000116 const TargetOptions &Options,
Evan Chengecb29082011-11-16 08:38:26 +0000117 Reloc::Model RM, CodeModel::Model CM,
118 CodeGenOpt::Level OL)
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000119 : ARMBaseTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL),
120 InstrInfo(Subtarget),
Rafael Espindola964bf072013-12-09 23:56:41 +0000121 DL(computeDataLayout(Subtarget)),
Dan Gohmanbb919df2010-05-11 17:31:57 +0000122 TLInfo(*this),
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000123 TSInfo(*this),
Chandler Carruth664e3542013-01-07 01:37:14 +0000124 FrameLowering(Subtarget) {
Rafael Espindola227144c2013-05-13 01:16:13 +0000125 initAsmInfo();
Evan Cheng5190f092010-08-11 07:17:46 +0000126 if (!Subtarget.hasARMOps())
127 report_fatal_error("CPU: '" + Subtarget.getCPUString() + "' does not "
128 "support ARM mode execution!");
Anton Korobeynikov99152f32009-06-26 21:28:53 +0000129}
130
David Blaikiea379b1812011-12-20 02:50:00 +0000131void ThumbTargetMachine::anchor() { }
132
Evan Cheng2129f592011-07-19 06:37:02 +0000133ThumbTargetMachine::ThumbTargetMachine(const Target &T, StringRef TT,
134 StringRef CPU, StringRef FS,
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000135 const TargetOptions &Options,
Evan Chengecb29082011-11-16 08:38:26 +0000136 Reloc::Model RM, CodeModel::Model CM,
137 CodeGenOpt::Level OL)
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000138 : ARMBaseTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL),
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000139 InstrInfo(Subtarget.hasThumb2()
140 ? ((ARMBaseInstrInfo*)new Thumb2InstrInfo(Subtarget))
141 : ((ARMBaseInstrInfo*)new Thumb1InstrInfo(Subtarget))),
Rafael Espindola964bf072013-12-09 23:56:41 +0000142 DL(computeDataLayout(Subtarget)),
Dan Gohmanbb919df2010-05-11 17:31:57 +0000143 TLInfo(*this),
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000144 TSInfo(*this),
Anton Korobeynikov2f931282011-01-10 12:39:04 +0000145 FrameLowering(Subtarget.hasThumb2()
146 ? new ARMFrameLowering(Subtarget)
Chandler Carruth664e3542013-01-07 01:37:14 +0000147 : (ARMFrameLowering*)new Thumb1FrameLowering(Subtarget)) {
Rafael Espindola227144c2013-05-13 01:16:13 +0000148 initAsmInfo();
Anton Korobeynikov99152f32009-06-26 21:28:53 +0000149}
150
Andrew Trickccb67362012-02-03 05:12:41 +0000151namespace {
152/// ARM Code Generator Pass Configuration Options.
153class ARMPassConfig : public TargetPassConfig {
154public:
Andrew Trickf8ea1082012-02-04 02:56:59 +0000155 ARMPassConfig(ARMBaseTargetMachine *TM, PassManagerBase &PM)
156 : TargetPassConfig(TM, PM) {}
Andrew Trickccb67362012-02-03 05:12:41 +0000157
158 ARMBaseTargetMachine &getARMTargetMachine() const {
159 return getTM<ARMBaseTargetMachine>();
160 }
161
162 const ARMSubtarget &getARMSubtarget() const {
163 return *getARMTargetMachine().getSubtargetImpl();
164 }
165
166 virtual bool addPreISel();
167 virtual bool addInstSelector();
168 virtual bool addPreRegAlloc();
169 virtual bool addPreSched2();
170 virtual bool addPreEmitPass();
171};
172} // namespace
173
Andrew Trickf8ea1082012-02-04 02:56:59 +0000174TargetPassConfig *ARMBaseTargetMachine::createPassConfig(PassManagerBase &PM) {
175 return new ARMPassConfig(this, PM);
Andrew Trickccb67362012-02-03 05:12:41 +0000176}
177
178bool ARMPassConfig::addPreISel() {
179 if (TM->getOptLevel() != CodeGenOpt::None && EnableGlobalMerge)
Bill Wendling7a639ea2013-06-19 21:07:11 +0000180 addPass(createGlobalMergePass(TM));
Anton Korobeynikov19edda02010-07-24 21:52:08 +0000181
182 return false;
183}
184
Andrew Trickccb67362012-02-03 05:12:41 +0000185bool ARMPassConfig::addInstSelector() {
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000186 addPass(createARMISelDag(getARMTargetMachine(), getOptLevel()));
Jush Lu47172a02012-09-27 05:21:41 +0000187
188 const ARMSubtarget *Subtarget = &getARMSubtarget();
189 if (Subtarget->isTargetELF() && !Subtarget->isThumb1Only() &&
190 TM->Options.EnableFastISel)
191 addPass(createARMGlobalBaseRegPass());
Chris Lattner12e97302006-09-04 04:14:57 +0000192 return false;
193}
Rafael Espindolaf7d4a992006-09-19 15:49:25 +0000194
Andrew Trickccb67362012-02-03 05:12:41 +0000195bool ARMPassConfig::addPreRegAlloc() {
Evan Chenga6b9cab2009-09-27 09:46:04 +0000196 // FIXME: temporarily disabling load / store optimization pass for Thumb1.
Andrew Trickccb67362012-02-03 05:12:41 +0000197 if (getOptLevel() != CodeGenOpt::None && !getARMSubtarget().isThumb1Only())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000198 addPass(createARMLoadStoreOptimizationPass(true));
Silviu Baranga91ddaa12013-07-29 09:25:50 +0000199 if (getOptLevel() != CodeGenOpt::None && getARMSubtarget().isCortexA9())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000200 addPass(createMLxExpansionPass());
Silviu Baranga82dd6ac2013-03-15 18:28:25 +0000201 // Since the A15SDOptimizer pass can insert VDUP instructions, it can only be
202 // enabled when NEON is available.
203 if (getOptLevel() != CodeGenOpt::None && getARMSubtarget().isCortexA15() &&
204 getARMSubtarget().hasNEON() && !DisableA15SDOptimization) {
205 addPass(createA15SDOptimizerPass());
206 }
Evan Cheng185c9ef2009-06-13 09:12:55 +0000207 return true;
208}
209
Andrew Trickccb67362012-02-03 05:12:41 +0000210bool ARMPassConfig::addPreSched2() {
Evan Chengce5a8ca2009-09-30 08:53:01 +0000211 // FIXME: temporarily disabling load / store optimization pass for Thumb1.
Evan Chengecb29082011-11-16 08:38:26 +0000212 if (getOptLevel() != CodeGenOpt::None) {
Jakob Stoklund Olesencdee3262012-03-28 22:50:56 +0000213 if (!getARMSubtarget().isThumb1Only()) {
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000214 addPass(createARMLoadStoreOptimizationPass());
Jakob Stoklund Olesencdee3262012-03-28 22:50:56 +0000215 printAndVerify("After ARM load / store optimizer");
216 }
Silviu Barangadc453362013-03-27 12:38:44 +0000217 if (getARMSubtarget().hasNEON())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000218 addPass(createExecutionDependencyFixPass(&ARM::DPRRegClass));
Eric Christopher7ae11c62010-11-11 20:50:14 +0000219 }
Evan Chengce5a8ca2009-09-30 08:53:01 +0000220
Evan Cheng207b2462009-11-06 23:52:48 +0000221 // Expand some pseudo instructions into multiple instructions to allow
222 // proper scheduling.
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000223 addPass(createARMExpandPseudoPass());
Evan Cheng207b2462009-11-06 23:52:48 +0000224
Evan Chengecb29082011-11-16 08:38:26 +0000225 if (getOptLevel() != CodeGenOpt::None) {
Joey Goulya5153cb2013-09-09 14:21:49 +0000226 if (!getARMSubtarget().isThumb1Only()) {
227 // in v8, IfConversion depends on Thumb instruction widths
Weiming Zhao0da5cc02013-11-13 18:29:49 +0000228 if (getARMSubtarget().restrictIT() &&
Joey Goulya5153cb2013-09-09 14:21:49 +0000229 !getARMSubtarget().prefers32BitThumb())
230 addPass(createThumb2SizeReductionPass());
Bob Wilsonb9b69362012-07-02 19:48:37 +0000231 addPass(&IfConverterID);
Joey Goulya5153cb2013-09-09 14:21:49 +0000232 }
Evan Chengf128bdc2010-06-16 07:35:02 +0000233 }
Andrew Trickccb67362012-02-03 05:12:41 +0000234 if (getARMSubtarget().isThumb2())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000235 addPass(createThumb2ITBlockPass());
Evan Chengf128bdc2010-06-16 07:35:02 +0000236
Evan Chengce5a8ca2009-09-30 08:53:01 +0000237 return true;
238}
239
Andrew Trickccb67362012-02-03 05:12:41 +0000240bool ARMPassConfig::addPreEmitPass() {
241 if (getARMSubtarget().isThumb2()) {
242 if (!getARMSubtarget().prefers32BitThumb())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000243 addPass(createThumb2SizeReductionPass());
Evan Cheng7fae11b2011-12-14 02:11:42 +0000244
245 // Constant island pass work on unbundled instructions.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000246 addPass(&UnpackMachineBundlesID);
Evan Cheng7fae11b2011-12-14 02:11:42 +0000247 }
Evan Cheng0f9cce72009-07-10 01:54:42 +0000248
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000249 addPass(createARMConstantIslandPass());
Evan Cheng7fae11b2011-12-14 02:11:42 +0000250
Rafael Espindolaf7d4a992006-09-19 15:49:25 +0000251 return true;
252}
253
Jim Grosbach0c509fa2012-04-06 23:43:50 +0000254bool ARMBaseTargetMachine::addCodeEmitter(PassManagerBase &PM,
255 JITCodeEmitter &JCE) {
Bruno Cardoso Lopesa194c3a2009-05-30 20:51:52 +0000256 // Machine code emitter pass for ARM.
257 PM.add(createARMJITCodeEmitterPass(*this, JCE));
Bruno Cardoso Lopesa194c3a2009-05-30 20:51:52 +0000258 return false;
259}