blob: baa6907764a43d9cd879e5c86390fc1d88d6bf2d [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 Weigand2eb027d2016-04-07 16:11:44 +0000128 if (getOptLevel() != CodeGenOpt::None)
Richard Sandifordf2404162013-07-25 09:11:15 +0000129 addPass(&IfConverterID);
Richard Sandifordf2404162013-07-25 09:11:15 +0000130}
131
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000132void SystemZPassConfig::addPreEmitPass() {
Jonas Paulsson5d3fbd32015-10-08 07:40:23 +0000133
134 // Do instruction shortening before compare elimination because some
135 // vector instructions will be shortened into opcodes that compare
136 // elimination recognizes.
137 if (getOptLevel() != CodeGenOpt::None)
138 addPass(createSystemZShortenInstPass(getSystemZTargetMachine()), false);
139
Richard Sandifordbdbb8af2013-08-05 10:58:53 +0000140 // We eliminate comparisons here rather than earlier because some
141 // transformations can change the set of available CC values and we
142 // generally want those transformations to have priority. This is
143 // especially true in the commonest case where the result of the comparison
144 // is used by a single in-range branch instruction, since we will then
145 // be able to fuse the compare and the branch instead.
146 //
147 // For example, two-address NILF can sometimes be converted into
148 // three-address RISBLG. NILF produces a CC value that indicates whether
149 // the low word is zero, but RISBLG does not modify CC at all. On the
150 // other hand, 64-bit ANDs like NILL can sometimes be converted to RISBG.
151 // The CC value produced by NILL isn't useful for our purposes, but the
152 // value produced by RISBG can be used for any comparison with zero
153 // (not just equality). So there are some transformations that lose
154 // CC values (while still being worthwhile) and others that happen to make
155 // the CC result more useful than it was originally.
156 //
Richard Sandifordc2121252013-08-05 11:23:46 +0000157 // Another reason is that we only want to use BRANCH ON COUNT in cases
158 // where we know that the count register is not going to be spilled.
159 //
Richard Sandifordbdbb8af2013-08-05 10:58:53 +0000160 // Doing it so late makes it more likely that a register will be reused
161 // between the comparison and the branch, but it isn't clear whether
162 // preventing that would be a win or not.
163 if (getOptLevel() != CodeGenOpt::None)
Matthias Braun7e37a5f2014-12-11 21:26:47 +0000164 addPass(createSystemZElimComparePass(getSystemZTargetMachine()), false);
Richard Sandiford312425f2013-05-20 14:23:08 +0000165 addPass(createSystemZLongBranchPass(getSystemZTargetMachine()));
Jonas Paulssone451eef2015-12-10 09:10:07 +0000166
167 // Do final scheduling after all other optimizations, to get an
168 // optimal input for the decoder (branch relaxation must happen
169 // after block placement).
170 if (getOptLevel() != CodeGenOpt::None) {
171 if (MISchedPostRA)
172 addPass(&PostMachineSchedulerID);
173 else
174 addPass(&PostRASchedulerID);
175 }
Richard Sandiford312425f2013-05-20 14:23:08 +0000176}
177
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000178TargetPassConfig *SystemZTargetMachine::createPassConfig(PassManagerBase &PM) {
179 return new SystemZPassConfig(this, PM);
180}
Ulrich Weigand1f6666a2015-03-31 12:52:27 +0000181
182TargetIRAnalysis SystemZTargetMachine::getTargetIRAnalysis() {
Eric Christophera4e5d3c2015-09-16 23:38:13 +0000183 return TargetIRAnalysis([this](const Function &F) {
Ulrich Weigand1f6666a2015-03-31 12:52:27 +0000184 return TargetTransformInfo(SystemZTTIImpl(this, F));
185 });
186}