blob: 718311ba1decc483d6f106c7af620db934d2629b [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 Espindola58873562014-01-03 19:21:54 +000073 // Little endian.
74 std::string Ret = "e";
75
76 Ret += DataLayout::getManglingComponent(ST.getTargetTriple());
77
78 // Pointers are 32 bits and aligned to 32 bits.
79 Ret += "-p:32:32";
Rafael Espindola964bf072013-12-09 23:56:41 +000080
Rafael Espindolae89b4142013-12-16 19:31:14 +000081 // On thumb, i16,i18 and i1 have natural aligment requirements, but we try to
82 // align to 32.
83 if (ST.isThumb())
84 Ret += "-i1:8:32-i8:8:32-i16:16:32";
85
Rafael Espindola9704fd02013-12-17 21:28:36 +000086 // ABIs other than APC have 64 bit integers with natural alignment.
87 if (!ST.isAPCS_ABI())
88 Ret += "-i64:64";
89
90 // We have 64 bits floats. The APCS ABI requires them to be aligned to 32
91 // bits, others to 64 bits. We always try to align to 64 bits.
Rafael Espindola964bf072013-12-09 23:56:41 +000092 if (ST.isAPCS_ABI())
Rafael Espindola720ae4f2013-12-12 17:43:37 +000093 Ret += "-f64:32:64";
Rafael Espindola964bf072013-12-09 23:56:41 +000094
Rafael Espindola1d224bd2013-12-10 00:37:37 +000095 // We have 128 and 64 bit vectors. The APCS ABI aligns them to 32 bits, others
96 // to 64. We always ty to give them natural alignment.
Rafael Espindola964bf072013-12-09 23:56:41 +000097 if (ST.isAPCS_ABI())
Rafael Espindolae89b4142013-12-16 19:31:14 +000098 Ret += "-v64:32:64-v128:32:128";
Rafael Espindola964bf072013-12-09 23:56:41 +000099 else
Rafael Espindola720ae4f2013-12-12 17:43:37 +0000100 Ret += "-v128:64:128";
Rafael Espindola964bf072013-12-09 23:56:41 +0000101
Rafael Espindola8c081202013-12-17 21:36:54 +0000102 // On thumb and APCS, only try to align aggregates to 32 bits (the default is
103 // 64 bits).
104 if (ST.isThumb() || ST.isAPCS_ABI())
Rafael Espindola74d682b2013-12-10 00:15:35 +0000105 Ret += "-a:0:32";
Rafael Espindola964bf072013-12-09 23:56:41 +0000106
Rafael Espindola1d224bd2013-12-10 00:37:37 +0000107 // Integer registers are 32 bits.
Rafael Espindola964bf072013-12-09 23:56:41 +0000108 Ret += "-n32";
109
Rafael Espindoladdb913c2013-12-19 00:44:37 +0000110 // The stack is 128 bit aligned on NaCl, 64 bit aligned on AAPCS and 32 bit
111 // aligned everywhere else.
112 if (ST.isTargetNaCl())
113 Ret += "-S128";
114 else if (ST.isAAPCS_ABI())
Rafael Espindola964bf072013-12-09 23:56:41 +0000115 Ret += "-S64";
116 else
117 Ret += "-S32";
118
119 return Ret;
120}
121
Evan Cheng2129f592011-07-19 06:37:02 +0000122ARMTargetMachine::ARMTargetMachine(const Target &T, StringRef TT,
123 StringRef CPU, StringRef FS,
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000124 const TargetOptions &Options,
Evan Chengecb29082011-11-16 08:38:26 +0000125 Reloc::Model RM, CodeModel::Model CM,
126 CodeGenOpt::Level OL)
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000127 : ARMBaseTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL),
128 InstrInfo(Subtarget),
Rafael Espindola964bf072013-12-09 23:56:41 +0000129 DL(computeDataLayout(Subtarget)),
Dan Gohmanbb919df2010-05-11 17:31:57 +0000130 TLInfo(*this),
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000131 TSInfo(*this),
Chandler Carruth664e3542013-01-07 01:37:14 +0000132 FrameLowering(Subtarget) {
Rafael Espindola227144c2013-05-13 01:16:13 +0000133 initAsmInfo();
Evan Cheng5190f092010-08-11 07:17:46 +0000134 if (!Subtarget.hasARMOps())
135 report_fatal_error("CPU: '" + Subtarget.getCPUString() + "' does not "
136 "support ARM mode execution!");
Anton Korobeynikov99152f32009-06-26 21:28:53 +0000137}
138
David Blaikiea379b1812011-12-20 02:50:00 +0000139void ThumbTargetMachine::anchor() { }
140
Evan Cheng2129f592011-07-19 06:37:02 +0000141ThumbTargetMachine::ThumbTargetMachine(const Target &T, StringRef TT,
142 StringRef CPU, StringRef FS,
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000143 const TargetOptions &Options,
Evan Chengecb29082011-11-16 08:38:26 +0000144 Reloc::Model RM, CodeModel::Model CM,
145 CodeGenOpt::Level OL)
Nick Lewycky50f02cb2011-12-02 22:16:29 +0000146 : ARMBaseTargetMachine(T, TT, CPU, FS, Options, RM, CM, OL),
Evan Cheng6ddd7bc2009-08-15 07:59:10 +0000147 InstrInfo(Subtarget.hasThumb2()
148 ? ((ARMBaseInstrInfo*)new Thumb2InstrInfo(Subtarget))
149 : ((ARMBaseInstrInfo*)new Thumb1InstrInfo(Subtarget))),
Rafael Espindola964bf072013-12-09 23:56:41 +0000150 DL(computeDataLayout(Subtarget)),
Dan Gohmanbb919df2010-05-11 17:31:57 +0000151 TLInfo(*this),
Anton Korobeynikovf7183ed2010-11-15 00:06:54 +0000152 TSInfo(*this),
Anton Korobeynikov2f931282011-01-10 12:39:04 +0000153 FrameLowering(Subtarget.hasThumb2()
154 ? new ARMFrameLowering(Subtarget)
Chandler Carruth664e3542013-01-07 01:37:14 +0000155 : (ARMFrameLowering*)new Thumb1FrameLowering(Subtarget)) {
Rafael Espindola227144c2013-05-13 01:16:13 +0000156 initAsmInfo();
Anton Korobeynikov99152f32009-06-26 21:28:53 +0000157}
158
Andrew Trickccb67362012-02-03 05:12:41 +0000159namespace {
160/// ARM Code Generator Pass Configuration Options.
161class ARMPassConfig : public TargetPassConfig {
162public:
Andrew Trickf8ea1082012-02-04 02:56:59 +0000163 ARMPassConfig(ARMBaseTargetMachine *TM, PassManagerBase &PM)
164 : TargetPassConfig(TM, PM) {}
Andrew Trickccb67362012-02-03 05:12:41 +0000165
166 ARMBaseTargetMachine &getARMTargetMachine() const {
167 return getTM<ARMBaseTargetMachine>();
168 }
169
170 const ARMSubtarget &getARMSubtarget() const {
171 return *getARMTargetMachine().getSubtargetImpl();
172 }
173
174 virtual bool addPreISel();
175 virtual bool addInstSelector();
176 virtual bool addPreRegAlloc();
177 virtual bool addPreSched2();
178 virtual bool addPreEmitPass();
179};
180} // namespace
181
Andrew Trickf8ea1082012-02-04 02:56:59 +0000182TargetPassConfig *ARMBaseTargetMachine::createPassConfig(PassManagerBase &PM) {
183 return new ARMPassConfig(this, PM);
Andrew Trickccb67362012-02-03 05:12:41 +0000184}
185
186bool ARMPassConfig::addPreISel() {
187 if (TM->getOptLevel() != CodeGenOpt::None && EnableGlobalMerge)
Bill Wendling7a639ea2013-06-19 21:07:11 +0000188 addPass(createGlobalMergePass(TM));
Anton Korobeynikov19edda02010-07-24 21:52:08 +0000189
190 return false;
191}
192
Andrew Trickccb67362012-02-03 05:12:41 +0000193bool ARMPassConfig::addInstSelector() {
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000194 addPass(createARMISelDag(getARMTargetMachine(), getOptLevel()));
Jush Lu47172a02012-09-27 05:21:41 +0000195
196 const ARMSubtarget *Subtarget = &getARMSubtarget();
197 if (Subtarget->isTargetELF() && !Subtarget->isThumb1Only() &&
198 TM->Options.EnableFastISel)
199 addPass(createARMGlobalBaseRegPass());
Chris Lattner12e97302006-09-04 04:14:57 +0000200 return false;
201}
Rafael Espindolaf7d4a992006-09-19 15:49:25 +0000202
Andrew Trickccb67362012-02-03 05:12:41 +0000203bool ARMPassConfig::addPreRegAlloc() {
Evan Chenga6b9cab2009-09-27 09:46:04 +0000204 // FIXME: temporarily disabling load / store optimization pass for Thumb1.
Andrew Trickccb67362012-02-03 05:12:41 +0000205 if (getOptLevel() != CodeGenOpt::None && !getARMSubtarget().isThumb1Only())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000206 addPass(createARMLoadStoreOptimizationPass(true));
Silviu Baranga91ddaa12013-07-29 09:25:50 +0000207 if (getOptLevel() != CodeGenOpt::None && getARMSubtarget().isCortexA9())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000208 addPass(createMLxExpansionPass());
Silviu Baranga82dd6ac2013-03-15 18:28:25 +0000209 // Since the A15SDOptimizer pass can insert VDUP instructions, it can only be
210 // enabled when NEON is available.
211 if (getOptLevel() != CodeGenOpt::None && getARMSubtarget().isCortexA15() &&
212 getARMSubtarget().hasNEON() && !DisableA15SDOptimization) {
213 addPass(createA15SDOptimizerPass());
214 }
Evan Cheng185c9ef2009-06-13 09:12:55 +0000215 return true;
216}
217
Andrew Trickccb67362012-02-03 05:12:41 +0000218bool ARMPassConfig::addPreSched2() {
Evan Chengce5a8ca2009-09-30 08:53:01 +0000219 // FIXME: temporarily disabling load / store optimization pass for Thumb1.
Evan Chengecb29082011-11-16 08:38:26 +0000220 if (getOptLevel() != CodeGenOpt::None) {
Jakob Stoklund Olesencdee3262012-03-28 22:50:56 +0000221 if (!getARMSubtarget().isThumb1Only()) {
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000222 addPass(createARMLoadStoreOptimizationPass());
Jakob Stoklund Olesencdee3262012-03-28 22:50:56 +0000223 printAndVerify("After ARM load / store optimizer");
224 }
Silviu Barangadc453362013-03-27 12:38:44 +0000225 if (getARMSubtarget().hasNEON())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000226 addPass(createExecutionDependencyFixPass(&ARM::DPRRegClass));
Eric Christopher7ae11c62010-11-11 20:50:14 +0000227 }
Evan Chengce5a8ca2009-09-30 08:53:01 +0000228
Evan Cheng207b2462009-11-06 23:52:48 +0000229 // Expand some pseudo instructions into multiple instructions to allow
230 // proper scheduling.
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000231 addPass(createARMExpandPseudoPass());
Evan Cheng207b2462009-11-06 23:52:48 +0000232
Evan Chengecb29082011-11-16 08:38:26 +0000233 if (getOptLevel() != CodeGenOpt::None) {
Joey Goulya5153cb2013-09-09 14:21:49 +0000234 if (!getARMSubtarget().isThumb1Only()) {
235 // in v8, IfConversion depends on Thumb instruction widths
Weiming Zhao0da5cc02013-11-13 18:29:49 +0000236 if (getARMSubtarget().restrictIT() &&
Joey Goulya5153cb2013-09-09 14:21:49 +0000237 !getARMSubtarget().prefers32BitThumb())
238 addPass(createThumb2SizeReductionPass());
Bob Wilsonb9b69362012-07-02 19:48:37 +0000239 addPass(&IfConverterID);
Joey Goulya5153cb2013-09-09 14:21:49 +0000240 }
Evan Chengf128bdc2010-06-16 07:35:02 +0000241 }
Andrew Trickccb67362012-02-03 05:12:41 +0000242 if (getARMSubtarget().isThumb2())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000243 addPass(createThumb2ITBlockPass());
Evan Chengf128bdc2010-06-16 07:35:02 +0000244
Evan Chengce5a8ca2009-09-30 08:53:01 +0000245 return true;
246}
247
Andrew Trickccb67362012-02-03 05:12:41 +0000248bool ARMPassConfig::addPreEmitPass() {
249 if (getARMSubtarget().isThumb2()) {
250 if (!getARMSubtarget().prefers32BitThumb())
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000251 addPass(createThumb2SizeReductionPass());
Evan Cheng7fae11b2011-12-14 02:11:42 +0000252
253 // Constant island pass work on unbundled instructions.
Bob Wilsonb9b69362012-07-02 19:48:37 +0000254 addPass(&UnpackMachineBundlesID);
Evan Cheng7fae11b2011-12-14 02:11:42 +0000255 }
Evan Cheng0f9cce72009-07-10 01:54:42 +0000256
Bob Wilsonbbd38dd2012-07-02 19:48:31 +0000257 addPass(createARMConstantIslandPass());
Evan Cheng7fae11b2011-12-14 02:11:42 +0000258
Rafael Espindolaf7d4a992006-09-19 15:49:25 +0000259 return true;
260}
261
Jim Grosbach0c509fa2012-04-06 23:43:50 +0000262bool ARMBaseTargetMachine::addCodeEmitter(PassManagerBase &PM,
263 JITCodeEmitter &JCE) {
Bruno Cardoso Lopesa194c3a2009-05-30 20:51:52 +0000264 // Machine code emitter pass for ARM.
265 PM.add(createARMJITCodeEmitterPass(*this, JCE));
Bruno Cardoso Lopesa194c3a2009-05-30 20:51:52 +0000266 return false;
267}