blob: f305e85f6cfee90be1872e86204f094ccc48c0bf [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"
13#include "llvm/Support/TargetRegistry.h"
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000014#include "llvm/Transforms/Scalar.h"
Aditya Nandakumara2719322014-11-13 09:26:31 +000015#include "llvm/CodeGen/TargetLoweringObjectFileImpl.h"
Ulrich Weigand5f613df2013-05-06 16:15:19 +000016
17using namespace llvm;
18
Jonas Paulssone451eef2015-12-10 09:10:07 +000019extern cl::opt<bool> MISchedPostRA;
Ulrich Weigand5f613df2013-05-06 16:15:19 +000020extern "C" void LLVMInitializeSystemZTarget() {
21 // Register the target.
22 RegisterTargetMachine<SystemZTargetMachine> X(TheSystemZTarget);
23}
24
Ulrich Weigandce4c1092015-05-05 19:25:42 +000025// Determine whether we use the vector ABI.
26static bool UsesVectorABI(StringRef CPU, StringRef FS) {
27 // We use the vector ABI whenever the vector facility is avaiable.
28 // This is the case by default if CPU is z13 or later, and can be
29 // overridden via "[+-]vector" feature string elements.
30 bool VectorABI = true;
31 if (CPU.empty() || CPU == "generic" ||
32 CPU == "z10" || CPU == "z196" || CPU == "zEC12")
33 VectorABI = false;
34
35 SmallVector<StringRef, 3> Features;
Chandler Carruthe4405e92015-09-10 06:12:31 +000036 FS.split(Features, ',', -1, false /* KeepEmpty */);
Ulrich Weigandce4c1092015-05-05 19:25:42 +000037 for (auto &Feature : Features) {
38 if (Feature == "vector" || Feature == "+vector")
39 VectorABI = true;
40 if (Feature == "-vector")
41 VectorABI = false;
42 }
43
44 return VectorABI;
45}
46
Daniel Sandersed64d622015-06-11 15:34:59 +000047static std::string computeDataLayout(const Triple &TT, StringRef CPU,
Ulrich Weigandce4c1092015-05-05 19:25:42 +000048 StringRef FS) {
Ulrich Weigandce4c1092015-05-05 19:25:42 +000049 bool VectorABI = UsesVectorABI(CPU, FS);
50 std::string Ret = "";
51
52 // Big endian.
53 Ret += "E";
54
55 // Data mangling.
Daniel Sandersed64d622015-06-11 15:34:59 +000056 Ret += DataLayout::getManglingComponent(TT);
Ulrich Weigandce4c1092015-05-05 19:25:42 +000057
58 // Make sure that global data has at least 16 bits of alignment by
59 // default, so that we can refer to it using LARL. We don't have any
60 // special requirements for stack variables though.
61 Ret += "-i1:8:16-i8:8:16";
62
63 // 64-bit integers are naturally aligned.
64 Ret += "-i64:64";
65
66 // 128-bit floats are aligned only to 64 bits.
67 Ret += "-f128:64";
68
69 // When using the vector ABI, 128-bit vectors are also aligned to 64 bits.
70 if (VectorABI)
71 Ret += "-v128:64";
72
73 // We prefer 16 bits of aligned for all globals; see above.
74 Ret += "-a:8:16";
75
76 // Integer registers are 32 or 64 bits.
77 Ret += "-n32:64";
78
79 return Ret;
80}
81
Daniel Sanders3e5de882015-06-11 19:41:26 +000082SystemZTargetMachine::SystemZTargetMachine(const Target &T, const Triple &TT,
Ulrich Weigand5f613df2013-05-06 16:15:19 +000083 StringRef CPU, StringRef FS,
84 const TargetOptions &Options,
Eric Christopherf1bd22d2014-07-01 20:18:59 +000085 Reloc::Model RM, CodeModel::Model CM,
Ulrich Weigand5f613df2013-05-06 16:15:19 +000086 CodeGenOpt::Level OL)
Daniel Sanders3e5de882015-06-11 19:41:26 +000087 : LLVMTargetMachine(T, computeDataLayout(TT, CPU, FS), TT, CPU, FS, Options,
88 RM, CM, OL),
Aditya Nandakumara2719322014-11-13 09:26:31 +000089 TLOF(make_unique<TargetLoweringObjectFileELF>()),
Daniel Sanders3e5de882015-06-11 19:41:26 +000090 Subtarget(TT, CPU, FS, *this) {
Rafael Espindola227144c2013-05-13 01:16:13 +000091 initAsmInfo();
Ulrich Weigand5f613df2013-05-06 16:15:19 +000092}
93
Reid Kleckner357600e2014-11-20 23:37:18 +000094SystemZTargetMachine::~SystemZTargetMachine() {}
95
Ulrich Weigand5f613df2013-05-06 16:15:19 +000096namespace {
97/// SystemZ Code Generator Pass Configuration Options.
98class SystemZPassConfig : public TargetPassConfig {
99public:
100 SystemZPassConfig(SystemZTargetMachine *TM, PassManagerBase &PM)
101 : TargetPassConfig(TM, PM) {}
102
103 SystemZTargetMachine &getSystemZTargetMachine() const {
104 return getTM<SystemZTargetMachine>();
105 }
106
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000107 void addIRPasses() override;
108 bool addInstSelector() override;
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000109 void addPreSched2() override;
110 void addPreEmitPass() override;
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000111};
112} // end anonymous namespace
113
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000114void SystemZPassConfig::addIRPasses() {
115 TargetPassConfig::addIRPasses();
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000116}
117
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000118bool SystemZPassConfig::addInstSelector() {
119 addPass(createSystemZISelDag(getSystemZTargetMachine(), getOptLevel()));
Ulrich Weigand7db69182015-02-18 09:13:27 +0000120
121 if (getOptLevel() != CodeGenOpt::None)
122 addPass(createSystemZLDCleanupPass(getSystemZTargetMachine()));
123
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000124 return false;
125}
126
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000127void SystemZPassConfig::addPreSched2() {
Ulrich Weigand2c356f32014-06-05 14:20:10 +0000128 if (getOptLevel() != CodeGenOpt::None &&
129 getSystemZTargetMachine().getSubtargetImpl()->hasLoadStoreOnCond())
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}