blob: 4d60ab7e8d4e9d09f7e6fef720eaf043cf680eb2 [file] [log] [blame]
Ulrich Weigand5f613df2013-05-06 16:15:19 +00001//===-- SystemZTargetMachine.cpp - Define TargetMachine for SystemZ -------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "SystemZTargetMachine.h"
Ulrich Weigand1f6666a2015-03-31 12:52:27 +000011#include "SystemZTargetTransformInfo.h"
Jonas Paulsson8010b632016-10-20 08:27:16 +000012#include "SystemZMachineScheduler.h"
Ulrich Weigand5f613df2013-05-06 16:15:19 +000013#include "llvm/CodeGen/Passes.h"
Matthias Braun31d19d42016-05-10 03:21:59 +000014#include "llvm/CodeGen/TargetPassConfig.h"
Ulrich Weigand5f613df2013-05-06 16:15:19 +000015#include "llvm/Support/TargetRegistry.h"
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000016#include "llvm/Transforms/Scalar.h"
Aditya Nandakumara2719322014-11-13 09:26:31 +000017#include "llvm/CodeGen/TargetLoweringObjectFileImpl.h"
Ulrich Weigand5f613df2013-05-06 16:15:19 +000018
19using namespace llvm;
20
21extern "C" void LLVMInitializeSystemZTarget() {
22 // Register the target.
Mehdi Aminif42454b2016-10-09 23:00:34 +000023 RegisterTargetMachine<SystemZTargetMachine> X(getTheSystemZTarget());
Ulrich Weigand5f613df2013-05-06 16:15:19 +000024}
25
Ulrich Weigandce4c1092015-05-05 19:25:42 +000026// Determine whether we use the vector ABI.
27static bool UsesVectorABI(StringRef CPU, StringRef FS) {
28 // We use the vector ABI whenever the vector facility is avaiable.
29 // This is the case by default if CPU is z13 or later, and can be
30 // overridden via "[+-]vector" feature string elements.
31 bool VectorABI = true;
32 if (CPU.empty() || CPU == "generic" ||
33 CPU == "z10" || CPU == "z196" || CPU == "zEC12")
34 VectorABI = false;
35
36 SmallVector<StringRef, 3> Features;
Chandler Carruthe4405e92015-09-10 06:12:31 +000037 FS.split(Features, ',', -1, false /* KeepEmpty */);
Ulrich Weigandce4c1092015-05-05 19:25:42 +000038 for (auto &Feature : Features) {
39 if (Feature == "vector" || Feature == "+vector")
40 VectorABI = true;
41 if (Feature == "-vector")
42 VectorABI = false;
43 }
44
45 return VectorABI;
46}
47
Daniel Sandersed64d622015-06-11 15:34:59 +000048static std::string computeDataLayout(const Triple &TT, StringRef CPU,
Ulrich Weigandce4c1092015-05-05 19:25:42 +000049 StringRef FS) {
Ulrich Weigandce4c1092015-05-05 19:25:42 +000050 bool VectorABI = UsesVectorABI(CPU, FS);
51 std::string Ret = "";
52
53 // Big endian.
54 Ret += "E";
55
56 // Data mangling.
Daniel Sandersed64d622015-06-11 15:34:59 +000057 Ret += DataLayout::getManglingComponent(TT);
Ulrich Weigandce4c1092015-05-05 19:25:42 +000058
59 // Make sure that global data has at least 16 bits of alignment by
60 // default, so that we can refer to it using LARL. We don't have any
61 // special requirements for stack variables though.
62 Ret += "-i1:8:16-i8:8:16";
63
64 // 64-bit integers are naturally aligned.
65 Ret += "-i64:64";
66
67 // 128-bit floats are aligned only to 64 bits.
68 Ret += "-f128:64";
69
70 // When using the vector ABI, 128-bit vectors are also aligned to 64 bits.
71 if (VectorABI)
72 Ret += "-v128:64";
73
74 // We prefer 16 bits of aligned for all globals; see above.
75 Ret += "-a:8:16";
76
77 // Integer registers are 32 or 64 bits.
78 Ret += "-n32:64";
79
80 return Ret;
81}
82
Rafael Espindola8c34dd82016-05-18 22:04:49 +000083static Reloc::Model getEffectiveRelocModel(Optional<Reloc::Model> RM) {
84 // Static code is suitable for use in a dynamic executable; there is no
85 // separate DynamicNoPIC model.
86 if (!RM.hasValue() || *RM == Reloc::DynamicNoPIC)
87 return Reloc::Static;
88 return *RM;
89}
90
Daniel Sanders3e5de882015-06-11 19:41:26 +000091SystemZTargetMachine::SystemZTargetMachine(const Target &T, const Triple &TT,
Ulrich Weigand5f613df2013-05-06 16:15:19 +000092 StringRef CPU, StringRef FS,
93 const TargetOptions &Options,
Rafael Espindola8c34dd82016-05-18 22:04:49 +000094 Optional<Reloc::Model> RM,
95 CodeModel::Model CM,
Ulrich Weigand5f613df2013-05-06 16:15:19 +000096 CodeGenOpt::Level OL)
Daniel Sanders3e5de882015-06-11 19:41:26 +000097 : LLVMTargetMachine(T, computeDataLayout(TT, CPU, FS), TT, CPU, FS, Options,
Rafael Espindola8c34dd82016-05-18 22:04:49 +000098 getEffectiveRelocModel(RM), CM, OL),
Aditya Nandakumara2719322014-11-13 09:26:31 +000099 TLOF(make_unique<TargetLoweringObjectFileELF>()),
Daniel Sanders3e5de882015-06-11 19:41:26 +0000100 Subtarget(TT, CPU, FS, *this) {
Rafael Espindola227144c2013-05-13 01:16:13 +0000101 initAsmInfo();
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000102}
103
Reid Kleckner357600e2014-11-20 23:37:18 +0000104SystemZTargetMachine::~SystemZTargetMachine() {}
105
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000106namespace {
107/// SystemZ Code Generator Pass Configuration Options.
108class SystemZPassConfig : public TargetPassConfig {
109public:
110 SystemZPassConfig(SystemZTargetMachine *TM, PassManagerBase &PM)
111 : TargetPassConfig(TM, PM) {}
112
113 SystemZTargetMachine &getSystemZTargetMachine() const {
114 return getTM<SystemZTargetMachine>();
115 }
116
Jonas Paulsson8010b632016-10-20 08:27:16 +0000117 ScheduleDAGInstrs *
118 createPostMachineScheduler(MachineSchedContext *C) const override {
119 return new ScheduleDAGMI(C, make_unique<SystemZPostRASchedStrategy>(C),
120 /*IsPostRA=*/true);
121 }
122
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000123 void addIRPasses() override;
124 bool addInstSelector() override;
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000125 void addPreSched2() override;
126 void addPreEmitPass() override;
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000127};
128} // end anonymous namespace
129
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000130void SystemZPassConfig::addIRPasses() {
Marcin Koscielnickicf7cc722016-07-10 14:41:22 +0000131 if (getOptLevel() != CodeGenOpt::None)
132 addPass(createSystemZTDCPass());
133
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000134 TargetPassConfig::addIRPasses();
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000135}
136
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000137bool SystemZPassConfig::addInstSelector() {
138 addPass(createSystemZISelDag(getSystemZTargetMachine(), getOptLevel()));
Ulrich Weigand7db69182015-02-18 09:13:27 +0000139
140 if (getOptLevel() != CodeGenOpt::None)
141 addPass(createSystemZLDCleanupPass(getSystemZTargetMachine()));
142
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000143 return false;
144}
145
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000146void SystemZPassConfig::addPreSched2() {
Ulrich Weigand2eb027d2016-04-07 16:11:44 +0000147 if (getOptLevel() != CodeGenOpt::None)
Richard Sandifordf2404162013-07-25 09:11:15 +0000148 addPass(&IfConverterID);
Richard Sandifordf2404162013-07-25 09:11:15 +0000149}
150
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000151void SystemZPassConfig::addPreEmitPass() {
Jonas Paulsson5d3fbd32015-10-08 07:40:23 +0000152
153 // Do instruction shortening before compare elimination because some
154 // vector instructions will be shortened into opcodes that compare
155 // elimination recognizes.
156 if (getOptLevel() != CodeGenOpt::None)
157 addPass(createSystemZShortenInstPass(getSystemZTargetMachine()), false);
158
Richard Sandifordbdbb8af2013-08-05 10:58:53 +0000159 // We eliminate comparisons here rather than earlier because some
160 // transformations can change the set of available CC values and we
161 // generally want those transformations to have priority. This is
162 // especially true in the commonest case where the result of the comparison
163 // is used by a single in-range branch instruction, since we will then
164 // be able to fuse the compare and the branch instead.
165 //
166 // For example, two-address NILF can sometimes be converted into
167 // three-address RISBLG. NILF produces a CC value that indicates whether
168 // the low word is zero, but RISBLG does not modify CC at all. On the
169 // other hand, 64-bit ANDs like NILL can sometimes be converted to RISBG.
170 // The CC value produced by NILL isn't useful for our purposes, but the
171 // value produced by RISBG can be used for any comparison with zero
172 // (not just equality). So there are some transformations that lose
173 // CC values (while still being worthwhile) and others that happen to make
174 // the CC result more useful than it was originally.
175 //
Richard Sandifordc2121252013-08-05 11:23:46 +0000176 // Another reason is that we only want to use BRANCH ON COUNT in cases
177 // where we know that the count register is not going to be spilled.
178 //
Richard Sandifordbdbb8af2013-08-05 10:58:53 +0000179 // Doing it so late makes it more likely that a register will be reused
180 // between the comparison and the branch, but it isn't clear whether
181 // preventing that would be a win or not.
182 if (getOptLevel() != CodeGenOpt::None)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000183 addPass(createSystemZElimComparePass(getSystemZTargetMachine()), false);
Richard Sandiford312425f2013-05-20 14:23:08 +0000184 addPass(createSystemZLongBranchPass(getSystemZTargetMachine()));
Jonas Paulssone451eef2015-12-10 09:10:07 +0000185
186 // Do final scheduling after all other optimizations, to get an
187 // optimal input for the decoder (branch relaxation must happen
188 // after block placement).
Jonas Paulsson8010b632016-10-20 08:27:16 +0000189 if (getOptLevel() != CodeGenOpt::None)
190 addPass(&PostMachineSchedulerID);
Richard Sandiford312425f2013-05-20 14:23:08 +0000191}
192
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000193TargetPassConfig *SystemZTargetMachine::createPassConfig(PassManagerBase &PM) {
194 return new SystemZPassConfig(this, PM);
195}
Ulrich Weigand1f6666a2015-03-31 12:52:27 +0000196
197TargetIRAnalysis SystemZTargetMachine::getTargetIRAnalysis() {
Eric Christophera4e5d3c2015-09-16 23:38:13 +0000198 return TargetIRAnalysis([this](const Function &F) {
Ulrich Weigand1f6666a2015-03-31 12:52:27 +0000199 return TargetTransformInfo(SystemZTTIImpl(this, F));
200 });
201}