blob: f2ed0d028963906c63dd175e3dcf6c3e989bb8b4 [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"
Ulrich Weigand5f613df2013-05-06 16:15:19 +000012#include "llvm/CodeGen/Passes.h"
Matthias Braun31d19d42016-05-10 03:21:59 +000013#include "llvm/CodeGen/TargetPassConfig.h"
Ulrich Weigand5f613df2013-05-06 16:15:19 +000014#include "llvm/Support/TargetRegistry.h"
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000015#include "llvm/Transforms/Scalar.h"
Aditya Nandakumara2719322014-11-13 09:26:31 +000016#include "llvm/CodeGen/TargetLoweringObjectFileImpl.h"
Ulrich Weigand5f613df2013-05-06 16:15:19 +000017
18using namespace llvm;
19
Jonas Paulssone451eef2015-12-10 09:10:07 +000020extern cl::opt<bool> MISchedPostRA;
Ulrich Weigand5f613df2013-05-06 16:15:19 +000021extern "C" void LLVMInitializeSystemZTarget() {
22 // Register the target.
23 RegisterTargetMachine<SystemZTargetMachine> X(TheSystemZTarget);
24}
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
Daniel Sanders3e5de882015-06-11 19:41:26 +000083SystemZTargetMachine::SystemZTargetMachine(const Target &T, const Triple &TT,
Ulrich Weigand5f613df2013-05-06 16:15:19 +000084 StringRef CPU, StringRef FS,
85 const TargetOptions &Options,
Eric Christopherf1bd22d2014-07-01 20:18:59 +000086 Reloc::Model RM, CodeModel::Model CM,
Ulrich Weigand5f613df2013-05-06 16:15:19 +000087 CodeGenOpt::Level OL)
Daniel Sanders3e5de882015-06-11 19:41:26 +000088 : LLVMTargetMachine(T, computeDataLayout(TT, CPU, FS), TT, CPU, FS, Options,
89 RM, CM, OL),
Aditya Nandakumara2719322014-11-13 09:26:31 +000090 TLOF(make_unique<TargetLoweringObjectFileELF>()),
Daniel Sanders3e5de882015-06-11 19:41:26 +000091 Subtarget(TT, CPU, FS, *this) {
Rafael Espindola227144c2013-05-13 01:16:13 +000092 initAsmInfo();
Ulrich Weigand5f613df2013-05-06 16:15:19 +000093}
94
Reid Kleckner357600e2014-11-20 23:37:18 +000095SystemZTargetMachine::~SystemZTargetMachine() {}
96
Ulrich Weigand5f613df2013-05-06 16:15:19 +000097namespace {
98/// SystemZ Code Generator Pass Configuration Options.
99class SystemZPassConfig : public TargetPassConfig {
100public:
101 SystemZPassConfig(SystemZTargetMachine *TM, PassManagerBase &PM)
102 : TargetPassConfig(TM, PM) {}
103
104 SystemZTargetMachine &getSystemZTargetMachine() const {
105 return getTM<SystemZTargetMachine>();
106 }
107
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000108 void addIRPasses() override;
109 bool addInstSelector() override;
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000110 void addPreSched2() override;
111 void addPreEmitPass() override;
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000112};
113} // end anonymous namespace
114
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000115void SystemZPassConfig::addIRPasses() {
116 TargetPassConfig::addIRPasses();
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000117}
118
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000119bool SystemZPassConfig::addInstSelector() {
120 addPass(createSystemZISelDag(getSystemZTargetMachine(), getOptLevel()));
Ulrich Weigand7db69182015-02-18 09:13:27 +0000121
122 if (getOptLevel() != CodeGenOpt::None)
123 addPass(createSystemZLDCleanupPass(getSystemZTargetMachine()));
124
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000125 return false;
126}
127
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000128void SystemZPassConfig::addPreSched2() {
Ulrich Weigand2eb027d2016-04-07 16:11:44 +0000129 if (getOptLevel() != CodeGenOpt::None)
Richard Sandifordf2404162013-07-25 09:11:15 +0000130 addPass(&IfConverterID);
Richard Sandifordf2404162013-07-25 09:11:15 +0000131}
132
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000133void SystemZPassConfig::addPreEmitPass() {
Jonas Paulsson5d3fbd32015-10-08 07:40:23 +0000134
135 // Do instruction shortening before compare elimination because some
136 // vector instructions will be shortened into opcodes that compare
137 // elimination recognizes.
138 if (getOptLevel() != CodeGenOpt::None)
139 addPass(createSystemZShortenInstPass(getSystemZTargetMachine()), false);
140
Richard Sandifordbdbb8af2013-08-05 10:58:53 +0000141 // We eliminate comparisons here rather than earlier because some
142 // transformations can change the set of available CC values and we
143 // generally want those transformations to have priority. This is
144 // especially true in the commonest case where the result of the comparison
145 // is used by a single in-range branch instruction, since we will then
146 // be able to fuse the compare and the branch instead.
147 //
148 // For example, two-address NILF can sometimes be converted into
149 // three-address RISBLG. NILF produces a CC value that indicates whether
150 // the low word is zero, but RISBLG does not modify CC at all. On the
151 // other hand, 64-bit ANDs like NILL can sometimes be converted to RISBG.
152 // The CC value produced by NILL isn't useful for our purposes, but the
153 // value produced by RISBG can be used for any comparison with zero
154 // (not just equality). So there are some transformations that lose
155 // CC values (while still being worthwhile) and others that happen to make
156 // the CC result more useful than it was originally.
157 //
Richard Sandifordc2121252013-08-05 11:23:46 +0000158 // Another reason is that we only want to use BRANCH ON COUNT in cases
159 // where we know that the count register is not going to be spilled.
160 //
Richard Sandifordbdbb8af2013-08-05 10:58:53 +0000161 // Doing it so late makes it more likely that a register will be reused
162 // between the comparison and the branch, but it isn't clear whether
163 // preventing that would be a win or not.
164 if (getOptLevel() != CodeGenOpt::None)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000165 addPass(createSystemZElimComparePass(getSystemZTargetMachine()), false);
Richard Sandiford312425f2013-05-20 14:23:08 +0000166 addPass(createSystemZLongBranchPass(getSystemZTargetMachine()));
Jonas Paulssone451eef2015-12-10 09:10:07 +0000167
168 // Do final scheduling after all other optimizations, to get an
169 // optimal input for the decoder (branch relaxation must happen
170 // after block placement).
171 if (getOptLevel() != CodeGenOpt::None) {
172 if (MISchedPostRA)
173 addPass(&PostMachineSchedulerID);
174 else
175 addPass(&PostRASchedulerID);
176 }
Richard Sandiford312425f2013-05-20 14:23:08 +0000177}
178
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000179TargetPassConfig *SystemZTargetMachine::createPassConfig(PassManagerBase &PM) {
180 return new SystemZPassConfig(this, PM);
181}
Ulrich Weigand1f6666a2015-03-31 12:52:27 +0000182
183TargetIRAnalysis SystemZTargetMachine::getTargetIRAnalysis() {
Eric Christophera4e5d3c2015-09-16 23:38:13 +0000184 return TargetIRAnalysis([this](const Function &F) {
Ulrich Weigand1f6666a2015-03-31 12:52:27 +0000185 return TargetTransformInfo(SystemZTTIImpl(this, F));
186 });
187}