blob: 6a6d7ed01c5d270adbaf954edb010e1d1a6f3ea9 [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
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000013#include "ARM.h"
Craig Toppera9253262014-03-22 23:51:00 +000014#include "ARMTargetMachine.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>
Silviu Baranga82dd6ac2013-03-15 18:28:25 +000027DisableA15SDOptimization("disable-a15-sd-optimization", cl::Hidden,
28 cl::desc("Inhibit optimization of S->D register accesses on A15"),
29 cl::init(false));
30
Jim Grosbachf24f9d92009-08-11 15:33:49 +000031extern "C" void LLVMInitializeARMTarget() {
Daniel Dunbar5680b4f2009-07-25 06:49:55 +000032 // Register the target.
Christian Pirkerdc9ff752014-04-01 15:19:30 +000033 RegisterTargetMachine<ARMLETargetMachine> X(TheARMLETarget);
34 RegisterTargetMachine<ARMBETargetMachine> Y(TheARMBETarget);
35 RegisterTargetMachine<ThumbLETargetMachine> A(TheThumbLETarget);
36 RegisterTargetMachine<ThumbBETargetMachine> B(TheThumbBETarget);
Daniel Dunbar5680b4f2009-07-25 06:49:55 +000037}
Douglas Gregor1b731d52009-06-16 20:12:29 +000038
David Blaikiea379b1812011-12-20 02:50:00 +000039
Evan Cheng9f830142007-02-23 03:14:31 +000040/// TargetMachine ctor - Create an ARM architecture model.
41///
Evan Cheng2129f592011-07-19 06:37:02 +000042ARMBaseTargetMachine::ARMBaseTargetMachine(const Target &T, StringRef TT,
43 StringRef CPU, StringRef FS,
Nick Lewycky50f02cb2011-12-02 22:16:29 +000044 const TargetOptions &Options,
Evan Chengecb29082011-11-16 08:38:26 +000045 Reloc::Model RM, CodeModel::Model CM,
Christian Pirker2a111602014-03-28 14:35:30 +000046 CodeGenOpt::Level OL,
47 bool isLittle)
Nick Lewycky50f02cb2011-12-02 22:16:29 +000048 : LLVMTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL),
Christian Pirker2a111602014-03-28 14:35:30 +000049 Subtarget(TT, CPU, FS, isLittle, Options),
Evan Cheng98161f52008-11-08 07:38:22 +000050 JITInfo(),
Jim Grosbach6ade7e02011-04-06 22:35:47 +000051 InstrItins(Subtarget.getInstrItineraryData()) {
Tim Northoverf1c31b92013-12-18 14:18:36 +000052
53 // Default to triple-appropriate float ABI
Nick Lewycky50f02cb2011-12-02 22:16:29 +000054 if (Options.FloatABIType == FloatABI::Default)
Tim Northover44594ad2013-12-18 09:27:33 +000055 this->Options.FloatABIType =
56 Subtarget.isTargetHardFloat() ? FloatABI::Hard : FloatABI::Soft;
Evan Cheng66cff402008-10-30 16:10:54 +000057}
Rafael Espindolaffdc24b2006-05-14 22:18:28 +000058
Chandler Carruth664e3542013-01-07 01:37:14 +000059void ARMBaseTargetMachine::addAnalysisPasses(PassManagerBase &PM) {
Jim Grosbach553eb752013-01-07 21:12:13 +000060 // Add first the target-independent BasicTTI pass, then our ARM pass. This
61 // allows the ARM pass to delegate to the target independent layer when
Chandler Carruth664e3542013-01-07 01:37:14 +000062 // appropriate.
Bill Wendlingafc10362013-06-19 20:51:24 +000063 PM.add(createBasicTargetTransformInfoPass(this));
Chandler Carruth664e3542013-01-07 01:37:14 +000064 PM.add(createARMTargetTransformInfoPass(this));
65}
66
67
David Blaikiea379b1812011-12-20 02:50:00 +000068void ARMTargetMachine::anchor() { }
69
Rafael Espindola964bf072013-12-09 23:56:41 +000070static std::string computeDataLayout(ARMSubtarget &ST) {
Christian Pirker2a111602014-03-28 14:35:30 +000071 std::string Ret = "";
72
73 if (ST.isLittle())
74 // Little endian.
75 Ret += "e";
76 else
77 // Big endian.
78 Ret += "E";
Rafael Espindola58873562014-01-03 19:21:54 +000079
80 Ret += DataLayout::getManglingComponent(ST.getTargetTriple());
81
82 // Pointers are 32 bits and aligned to 32 bits.
83 Ret += "-p:32:32";
Rafael Espindola964bf072013-12-09 23:56:41 +000084
Rafael Espindolae89b4142013-12-16 19:31:14 +000085 // On thumb, i16,i18 and i1 have natural aligment requirements, but we try to
86 // align to 32.
87 if (ST.isThumb())
88 Ret += "-i1:8:32-i8:8:32-i16:16:32";
89
Saleem Abdulrasool20700882014-03-31 18:09:10 +000090 // ABIs other than APCS have 64 bit integers with natural alignment.
Rafael Espindola9704fd02013-12-17 21:28:36 +000091 if (!ST.isAPCS_ABI())
92 Ret += "-i64:64";
93
94 // We have 64 bits floats. The APCS ABI requires them to be aligned to 32
95 // bits, others to 64 bits. We always try to align to 64 bits.
Rafael Espindola964bf072013-12-09 23:56:41 +000096 if (ST.isAPCS_ABI())
Rafael Espindola720ae4f2013-12-12 17:43:37 +000097 Ret += "-f64:32:64";
Rafael Espindola964bf072013-12-09 23:56:41 +000098
Rafael Espindola1d224bd2013-12-10 00:37:37 +000099 // We have 128 and 64 bit vectors. The APCS ABI aligns them to 32 bits, others
100 // to 64. We always ty to give them natural alignment.
Rafael Espindola964bf072013-12-09 23:56:41 +0000101 if (ST.isAPCS_ABI())
Rafael Espindolae89b4142013-12-16 19:31:14 +0000102 Ret += "-v64:32:64-v128:32:128";
Rafael Espindola964bf072013-12-09 23:56:41 +0000103 else
Rafael Espindola720ae4f2013-12-12 17:43:37 +0000104 Ret += "-v128:64:128";
Rafael Espindola964bf072013-12-09 23:56:41 +0000105
Rafael Espindola8c081202013-12-17 21:36:54 +0000106 // On thumb and APCS, only try to align aggregates to 32 bits (the default is
107 // 64 bits).
108 if (ST.isThumb() || ST.isAPCS_ABI())
Rafael Espindola74d682b2013-12-10 00:15:35 +0000109 Ret += "-a:0:32";
Rafael Espindola964bf072013-12-09 23:56:41 +0000110
Rafael Espindola1d224bd2013-12-10 00:37:37 +0000111 // Integer registers are 32 bits.
Rafael Espindola964bf072013-12-09 23:56:41 +0000112 Ret += "-n32";
113
Rafael Espindoladdb913c2013-12-19 00:44:37 +0000114 // The stack is 128 bit aligned on NaCl, 64 bit aligned on AAPCS and 32 bit
115 // aligned everywhere else.
116 if (ST.isTargetNaCl())
117 Ret += "-S128";
118 else if (ST.isAAPCS_ABI())
Rafael Espindola964bf072013-12-09 23:56:41 +0000119 Ret += "-S64";
120 else
121 Ret += "-S32";
122
123 return Ret;
124}
125
Evan Cheng2129f592011-07-19 06:37:02 +0000126ARMTargetMachine::ARMTargetMachine(const Target &T, StringRef TT,
127 StringRef CPU, StringRef FS,
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000128 const TargetOptions &Options,
Evan Chengecb29082011-11-16 08:38:26 +0000129 Reloc::Model RM, CodeModel::Model CM,
Christian Pirker2a111602014-03-28 14:35:30 +0000130 CodeGenOpt::Level OL,
131 bool isLittle)
132 : ARMBaseTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL, isLittle),
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000133 InstrInfo(Subtarget),
Rafael Espindola964bf072013-12-09 23:56:41 +0000134 DL(computeDataLayout(Subtarget)),
Dan Gohmanbb919df2010-05-11 17:31:57 +0000135 TLInfo(*this),
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000136 TSInfo(*this),
Chandler Carruth664e3542013-01-07 01:37:14 +0000137 FrameLowering(Subtarget) {
Rafael Espindola227144c2013-05-13 01:16:13 +0000138 initAsmInfo();
Evan Cheng5190f092010-08-11 07:17:46 +0000139 if (!Subtarget.hasARMOps())
140 report_fatal_error("CPU: '" + Subtarget.getCPUString() + "' does not "
141 "support ARM mode execution!");
Anton Korobeynikov99152f32009-06-26 21:28:53 +0000142}
143
Christian Pirkerdc9ff752014-04-01 15:19:30 +0000144void ARMLETargetMachine::anchor() { }
Christian Pirker2a111602014-03-28 14:35:30 +0000145
Christian Pirkerdc9ff752014-04-01 15:19:30 +0000146ARMLETargetMachine::
147ARMLETargetMachine(const Target &T, StringRef TT,
Christian Pirker2a111602014-03-28 14:35:30 +0000148 StringRef CPU, StringRef FS, const TargetOptions &Options,
149 Reloc::Model RM, CodeModel::Model CM,
150 CodeGenOpt::Level OL)
151 : ARMTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL, true) {}
152
Christian Pirkerdc9ff752014-04-01 15:19:30 +0000153void ARMBETargetMachine::anchor() { }
Christian Pirker2a111602014-03-28 14:35:30 +0000154
Christian Pirkerdc9ff752014-04-01 15:19:30 +0000155ARMBETargetMachine::
156ARMBETargetMachine(const Target &T, StringRef TT,
Christian Pirker2a111602014-03-28 14:35:30 +0000157 StringRef CPU, StringRef FS, const TargetOptions &Options,
158 Reloc::Model RM, CodeModel::Model CM,
159 CodeGenOpt::Level OL)
160 : ARMTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL, false) {}
161
David Blaikiea379b1812011-12-20 02:50:00 +0000162void ThumbTargetMachine::anchor() { }
163
Evan Cheng2129f592011-07-19 06:37:02 +0000164ThumbTargetMachine::ThumbTargetMachine(const Target &T, StringRef TT,
165 StringRef CPU, StringRef FS,
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000166 const TargetOptions &Options,
Evan Chengecb29082011-11-16 08:38:26 +0000167 Reloc::Model RM, CodeModel::Model CM,
Christian Pirker2a111602014-03-28 14:35:30 +0000168 CodeGenOpt::Level OL,
169 bool isLittle)
170 : ARMBaseTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL, isLittle),
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000171 InstrInfo(Subtarget.hasThumb2()
172 ? ((ARMBaseInstrInfo*)new Thumb2InstrInfo(Subtarget))
173 : ((ARMBaseInstrInfo*)new Thumb1InstrInfo(Subtarget))),
Rafael Espindola964bf072013-12-09 23:56:41 +0000174 DL(computeDataLayout(Subtarget)),
Dan Gohmanbb919df2010-05-11 17:31:57 +0000175 TLInfo(*this),
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000176 TSInfo(*this),
Anton Korobeynikov2f931282011-01-10 12:39:04 +0000177 FrameLowering(Subtarget.hasThumb2()
178 ? new ARMFrameLowering(Subtarget)
Chandler Carruth664e3542013-01-07 01:37:14 +0000179 : (ARMFrameLowering*)new Thumb1FrameLowering(Subtarget)) {
Rafael Espindola227144c2013-05-13 01:16:13 +0000180 initAsmInfo();
Anton Korobeynikov99152f32009-06-26 21:28:53 +0000181}
182
Christian Pirkerdc9ff752014-04-01 15:19:30 +0000183void ThumbLETargetMachine::anchor() { }
Christian Pirker2a111602014-03-28 14:35:30 +0000184
Christian Pirkerdc9ff752014-04-01 15:19:30 +0000185ThumbLETargetMachine::
186ThumbLETargetMachine(const Target &T, StringRef TT,
Christian Pirker2a111602014-03-28 14:35:30 +0000187 StringRef CPU, StringRef FS, const TargetOptions &Options,
188 Reloc::Model RM, CodeModel::Model CM,
189 CodeGenOpt::Level OL)
190 : ThumbTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL, true) {}
191
Christian Pirkerdc9ff752014-04-01 15:19:30 +0000192void ThumbBETargetMachine::anchor() { }
Christian Pirker2a111602014-03-28 14:35:30 +0000193
Christian Pirkerdc9ff752014-04-01 15:19:30 +0000194ThumbBETargetMachine::
195ThumbBETargetMachine(const Target &T, StringRef TT,
Christian Pirker2a111602014-03-28 14:35:30 +0000196 StringRef CPU, StringRef FS, const TargetOptions &Options,
197 Reloc::Model RM, CodeModel::Model CM,
198 CodeGenOpt::Level OL)
199 : ThumbTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL, false) {}
200
Andrew Trickccb67362012-02-03 05:12:41 +0000201namespace {
202/// ARM Code Generator Pass Configuration Options.
203class ARMPassConfig : public TargetPassConfig {
204public:
Andrew Trickf8ea1082012-02-04 02:56:59 +0000205 ARMPassConfig(ARMBaseTargetMachine *TM, PassManagerBase &PM)
206 : TargetPassConfig(TM, PM) {}
Andrew Trickccb67362012-02-03 05:12:41 +0000207
208 ARMBaseTargetMachine &getARMTargetMachine() const {
209 return getTM<ARMBaseTargetMachine>();
210 }
211
212 const ARMSubtarget &getARMSubtarget() const {
213 return *getARMTargetMachine().getSubtargetImpl();
214 }
215
Craig Topper6bc27bf2014-03-10 02:09:33 +0000216 bool addPreISel() override;
217 bool addInstSelector() override;
218 bool addPreRegAlloc() override;
219 bool addPreSched2() override;
220 bool addPreEmitPass() override;
Andrew Trickccb67362012-02-03 05:12:41 +0000221};
222} // namespace
223
Andrew Trickf8ea1082012-02-04 02:56:59 +0000224TargetPassConfig *ARMBaseTargetMachine::createPassConfig(PassManagerBase &PM) {
225 return new ARMPassConfig(this, PM);
Andrew Trickccb67362012-02-03 05:12:41 +0000226}
227
228bool ARMPassConfig::addPreISel() {
Tim Northoverf804c172014-02-18 11:17:29 +0000229 if (TM->getOptLevel() != CodeGenOpt::None)
Bill Wendling7a639ea2013-06-19 21:07:11 +0000230 addPass(createGlobalMergePass(TM));
Anton Korobeynikov19edda02010-07-24 21:52:08 +0000231
232 return false;
233}
234
Andrew Trickccb67362012-02-03 05:12:41 +0000235bool ARMPassConfig::addInstSelector() {
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000236 addPass(createARMISelDag(getARMTargetMachine(), getOptLevel()));
Jush Lu47172a02012-09-27 05:21:41 +0000237
238 const ARMSubtarget *Subtarget = &getARMSubtarget();
239 if (Subtarget->isTargetELF() && !Subtarget->isThumb1Only() &&
240 TM->Options.EnableFastISel)
241 addPass(createARMGlobalBaseRegPass());
Chris Lattner12e97302006-09-04 04:14:57 +0000242 return false;
243}
Rafael Espindolaf7d4a992006-09-19 15:49:25 +0000244
Andrew Trickccb67362012-02-03 05:12:41 +0000245bool ARMPassConfig::addPreRegAlloc() {
Evan Chenga6b9cab2009-09-27 09:46:04 +0000246 // FIXME: temporarily disabling load / store optimization pass for Thumb1.
Andrew Trickccb67362012-02-03 05:12:41 +0000247 if (getOptLevel() != CodeGenOpt::None && !getARMSubtarget().isThumb1Only())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000248 addPass(createARMLoadStoreOptimizationPass(true));
Silviu Baranga91ddaa12013-07-29 09:25:50 +0000249 if (getOptLevel() != CodeGenOpt::None && getARMSubtarget().isCortexA9())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000250 addPass(createMLxExpansionPass());
Silviu Baranga82dd6ac2013-03-15 18:28:25 +0000251 // Since the A15SDOptimizer pass can insert VDUP instructions, it can only be
252 // enabled when NEON is available.
253 if (getOptLevel() != CodeGenOpt::None && getARMSubtarget().isCortexA15() &&
254 getARMSubtarget().hasNEON() && !DisableA15SDOptimization) {
255 addPass(createA15SDOptimizerPass());
256 }
Evan Cheng185c9ef2009-06-13 09:12:55 +0000257 return true;
258}
259
Andrew Trickccb67362012-02-03 05:12:41 +0000260bool ARMPassConfig::addPreSched2() {
Evan Chengce5a8ca2009-09-30 08:53:01 +0000261 // FIXME: temporarily disabling load / store optimization pass for Thumb1.
Evan Chengecb29082011-11-16 08:38:26 +0000262 if (getOptLevel() != CodeGenOpt::None) {
Jakob Stoklund Olesencdee3262012-03-28 22:50:56 +0000263 if (!getARMSubtarget().isThumb1Only()) {
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000264 addPass(createARMLoadStoreOptimizationPass());
Jakob Stoklund Olesencdee3262012-03-28 22:50:56 +0000265 printAndVerify("After ARM load / store optimizer");
266 }
Silviu Barangadc453362013-03-27 12:38:44 +0000267 if (getARMSubtarget().hasNEON())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000268 addPass(createExecutionDependencyFixPass(&ARM::DPRRegClass));
Eric Christopher7ae11c62010-11-11 20:50:14 +0000269 }
Evan Chengce5a8ca2009-09-30 08:53:01 +0000270
Evan Cheng207b2462009-11-06 23:52:48 +0000271 // Expand some pseudo instructions into multiple instructions to allow
272 // proper scheduling.
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000273 addPass(createARMExpandPseudoPass());
Evan Cheng207b2462009-11-06 23:52:48 +0000274
Evan Chengecb29082011-11-16 08:38:26 +0000275 if (getOptLevel() != CodeGenOpt::None) {
Joey Goulya5153cb2013-09-09 14:21:49 +0000276 if (!getARMSubtarget().isThumb1Only()) {
277 // in v8, IfConversion depends on Thumb instruction widths
Weiming Zhao0da5cc02013-11-13 18:29:49 +0000278 if (getARMSubtarget().restrictIT() &&
Joey Goulya5153cb2013-09-09 14:21:49 +0000279 !getARMSubtarget().prefers32BitThumb())
280 addPass(createThumb2SizeReductionPass());
Bob Wilsonb9b69362012-07-02 19:48:37 +0000281 addPass(&IfConverterID);
Joey Goulya5153cb2013-09-09 14:21:49 +0000282 }
Evan Chengf128bdc2010-06-16 07:35:02 +0000283 }
Andrew Trickccb67362012-02-03 05:12:41 +0000284 if (getARMSubtarget().isThumb2())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000285 addPass(createThumb2ITBlockPass());
Evan Chengf128bdc2010-06-16 07:35:02 +0000286
Evan Chengce5a8ca2009-09-30 08:53:01 +0000287 return true;
288}
289
Andrew Trickccb67362012-02-03 05:12:41 +0000290bool ARMPassConfig::addPreEmitPass() {
291 if (getARMSubtarget().isThumb2()) {
292 if (!getARMSubtarget().prefers32BitThumb())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000293 addPass(createThumb2SizeReductionPass());
Evan Cheng7fae11b2011-12-14 02:11:42 +0000294
295 // Constant island pass work on unbundled instructions.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000296 addPass(&UnpackMachineBundlesID);
Evan Cheng7fae11b2011-12-14 02:11:42 +0000297 }
Evan Cheng0f9cce72009-07-10 01:54:42 +0000298
Renato Golind93295e2014-04-02 09:03:43 +0000299 addPass(createARMOptimizeBarriersPass());
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000300 addPass(createARMConstantIslandPass());
Evan Cheng7fae11b2011-12-14 02:11:42 +0000301
Rafael Espindolaf7d4a992006-09-19 15:49:25 +0000302 return true;
303}
304
Jim Grosbach0c509fa2012-04-06 23:43:50 +0000305bool ARMBaseTargetMachine::addCodeEmitter(PassManagerBase &PM,
306 JITCodeEmitter &JCE) {
Bruno Cardoso Lopesa194c3a2009-05-30 20:51:52 +0000307 // Machine code emitter pass for ARM.
308 PM.add(createARMJITCodeEmitterPass(*this, JCE));
Bruno Cardoso Lopesa194c3a2009-05-30 20:51:52 +0000309 return false;
310}