blob: 216139eb7c7969855cdbfbfbb798bd99835e567a [file] [log] [blame]
Ulrich Weigand5f613df2013-05-06 16:15:19 +00001//===-- SystemZInstrInfo.h - SystemZ instruction information ----*- C++ -*-===//
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// This file contains the SystemZ implementation of the TargetInstrInfo class.
11//
12//===----------------------------------------------------------------------===//
13
Benjamin Kramera7c40ef2014-08-13 16:26:38 +000014#ifndef LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZINSTRINFO_H
15#define LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZINSTRINFO_H
Ulrich Weigand5f613df2013-05-06 16:15:19 +000016
17#include "SystemZ.h"
18#include "SystemZRegisterInfo.h"
Eugene Zelenko3943d2b2017-01-24 22:10:43 +000019#include "llvm/ADT/ArrayRef.h"
20#include "llvm/CodeGen/MachineBasicBlock.h"
21#include "llvm/CodeGen/MachineFunction.h"
Jonas Paulsson808c89f2017-03-22 06:03:32 +000022#include "llvm/CodeGen/MachineInstrBuilder.h"
David Blaikie3f833ed2017-11-08 01:01:31 +000023#include "llvm/CodeGen/TargetInstrInfo.h"
Eugene Zelenko3943d2b2017-01-24 22:10:43 +000024#include <cstdint>
Ulrich Weigand5f613df2013-05-06 16:15:19 +000025
26#define GET_INSTRINFO_HEADER
27#include "SystemZGenInstrInfo.inc"
28
29namespace llvm {
30
Eugene Zelenko3943d2b2017-01-24 22:10:43 +000031class SystemZSubtarget;
Ulrich Weigand5f613df2013-05-06 16:15:19 +000032
33namespace SystemZII {
Eugene Zelenko3943d2b2017-01-24 22:10:43 +000034
Richard Sandifordc2312692014-03-06 10:38:30 +000035enum {
36 // See comments in SystemZInstrFormats.td.
37 SimpleBDXLoad = (1 << 0),
38 SimpleBDXStore = (1 << 1),
39 Has20BitOffset = (1 << 2),
40 HasIndex = (1 << 3),
41 Is128Bit = (1 << 4),
42 AccessSizeMask = (31 << 5),
43 AccessSizeShift = 5,
44 CCValuesMask = (15 << 10),
45 CCValuesShift = 10,
46 CompareZeroCCMaskMask = (15 << 14),
47 CompareZeroCCMaskShift = 14,
48 CCMaskFirst = (1 << 18),
49 CCMaskLast = (1 << 19),
50 IsLogical = (1 << 20)
51};
Eugene Zelenko3943d2b2017-01-24 22:10:43 +000052
Richard Sandifordc2312692014-03-06 10:38:30 +000053static inline unsigned getAccessSize(unsigned int Flags) {
54 return (Flags & AccessSizeMask) >> AccessSizeShift;
Ulrich Weigand5f613df2013-05-06 16:15:19 +000055}
Eugene Zelenko3943d2b2017-01-24 22:10:43 +000056
Richard Sandifordc2312692014-03-06 10:38:30 +000057static inline unsigned getCCValues(unsigned int Flags) {
58 return (Flags & CCValuesMask) >> CCValuesShift;
59}
Eugene Zelenko3943d2b2017-01-24 22:10:43 +000060
Richard Sandifordc2312692014-03-06 10:38:30 +000061static inline unsigned getCompareZeroCCMask(unsigned int Flags) {
62 return (Flags & CompareZeroCCMaskMask) >> CompareZeroCCMaskShift;
63}
64
65// SystemZ MachineOperand target flags.
66enum {
67 // Masks out the bits for the access model.
Ulrich Weigand7db69182015-02-18 09:13:27 +000068 MO_SYMBOL_MODIFIER = (3 << 0),
Richard Sandifordc2312692014-03-06 10:38:30 +000069
70 // @GOT (aka @GOTENT)
Ulrich Weigand7db69182015-02-18 09:13:27 +000071 MO_GOT = (1 << 0),
72
73 // @INDNTPOFF
74 MO_INDNTPOFF = (2 << 0)
Richard Sandifordc2312692014-03-06 10:38:30 +000075};
Eugene Zelenko3943d2b2017-01-24 22:10:43 +000076
Richard Sandifordc2312692014-03-06 10:38:30 +000077// Classifies a branch.
78enum BranchType {
79 // An instruction that branches on the current value of CC.
80 BranchNormal,
81
82 // An instruction that peforms a 32-bit signed comparison and branches
83 // on the result.
84 BranchC,
85
86 // An instruction that peforms a 32-bit unsigned comparison and branches
87 // on the result.
88 BranchCL,
89
90 // An instruction that peforms a 64-bit signed comparison and branches
91 // on the result.
92 BranchCG,
93
94 // An instruction that peforms a 64-bit unsigned comparison and branches
95 // on the result.
96 BranchCLG,
97
98 // An instruction that decrements a 32-bit register and branches if
99 // the result is nonzero.
100 BranchCT,
101
102 // An instruction that decrements a 64-bit register and branches if
103 // the result is nonzero.
104 BranchCTG
105};
Eugene Zelenko3943d2b2017-01-24 22:10:43 +0000106
Richard Sandifordc2312692014-03-06 10:38:30 +0000107// Information about a branch instruction.
108struct Branch {
109 // The type of the branch.
110 BranchType Type;
111
112 // CCMASK_<N> is set if CC might be equal to N.
113 unsigned CCValid;
114
115 // CCMASK_<N> is set if the branch should be taken when CC == N.
116 unsigned CCMask;
117
118 // The target of the branch.
119 const MachineOperand *Target;
120
121 Branch(BranchType type, unsigned ccValid, unsigned ccMask,
122 const MachineOperand *target)
123 : Type(type), CCValid(ccValid), CCMask(ccMask), Target(target) {}
124};
Eugene Zelenko3943d2b2017-01-24 22:10:43 +0000125
Zhan Jun Liauab42cbc2016-06-10 19:58:10 +0000126// Kinds of fused compares in compare-and-* instructions. Together with type
127// of the converted compare, this identifies the compare-and-*
Ulrich Weigand2eb027d2016-04-07 16:11:44 +0000128// instruction.
Zhan Jun Liauab42cbc2016-06-10 19:58:10 +0000129enum FusedCompareType {
Ulrich Weigand2eb027d2016-04-07 16:11:44 +0000130 // Relative branch - CRJ etc.
131 CompareAndBranch,
132
133 // Indirect branch, used for return - CRBReturn etc.
Ulrich Weigand848a5132016-04-11 12:12:32 +0000134 CompareAndReturn,
135
136 // Indirect branch, used for sibcall - CRBCall etc.
Zhan Jun Liauab42cbc2016-06-10 19:58:10 +0000137 CompareAndSibcall,
138
139 // Trap
140 CompareAndTrap
Ulrich Weigand2eb027d2016-04-07 16:11:44 +0000141};
Eugene Zelenko3943d2b2017-01-24 22:10:43 +0000142
Richard Sandifordc2312692014-03-06 10:38:30 +0000143} // end namespace SystemZII
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000144
145class SystemZInstrInfo : public SystemZGenInstrInfo {
146 const SystemZRegisterInfo RI;
Eric Christopher673b3af2014-06-27 07:01:17 +0000147 SystemZSubtarget &STI;
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000148
149 void splitMove(MachineBasicBlock::iterator MI, unsigned NewOpcode) const;
150 void splitAdjDynAlloc(MachineBasicBlock::iterator MI) const;
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000151 void expandRIPseudo(MachineInstr &MI, unsigned LowOpcode, unsigned HighOpcode,
152 bool ConvertHigh) const;
153 void expandRIEPseudo(MachineInstr &MI, unsigned LowOpcode,
Richard Sandiford42a694f2013-10-01 14:53:46 +0000154 unsigned LowOpcodeK, unsigned HighOpcode) const;
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000155 void expandRXYPseudo(MachineInstr &MI, unsigned LowOpcode,
Richard Sandiford0755c932013-10-01 11:26:28 +0000156 unsigned HighOpcode) const;
Ulrich Weigand524f2762016-11-28 13:34:08 +0000157 void expandLOCPseudo(MachineInstr &MI, unsigned LowOpcode,
158 unsigned HighOpcode) const;
159 void expandLOCRPseudo(MachineInstr &MI, unsigned LowOpcode,
160 unsigned HighOpcode) const;
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000161 void expandZExtPseudo(MachineInstr &MI, unsigned LowOpcode,
Richard Sandiford21235a22013-10-01 12:49:07 +0000162 unsigned Size) const;
Marcin Koscielnickiaef3b5b2016-04-24 13:57:49 +0000163 void expandLoadStackGuard(MachineInstr *MI) const;
Jonas Paulsson808c89f2017-03-22 06:03:32 +0000164
165 MachineInstrBuilder
166 emitGRX32Move(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
167 const DebugLoc &DL, unsigned DestReg, unsigned SrcReg,
168 unsigned LowLowOpcode, unsigned Size, bool KillSrc,
169 bool UndefSrc) const;
170
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +0000171 virtual void anchor();
Ulrich Weigand524f2762016-11-28 13:34:08 +0000172
173protected:
174 /// Commutes the operands in the given instruction by changing the operands
175 /// order and/or changing the instruction's opcode and/or the immediate value
176 /// operand.
177 ///
178 /// The arguments 'CommuteOpIdx1' and 'CommuteOpIdx2' specify the operands
179 /// to be commuted.
180 ///
181 /// Do not call this method for a non-commutable instruction or
182 /// non-commutable operands.
183 /// Even though the instruction is commutable, the method may still
184 /// fail to commute the operands, null pointer is returned in such cases.
185 MachineInstr *commuteInstructionImpl(MachineInstr &MI, bool NewMI,
186 unsigned CommuteOpIdx1,
187 unsigned CommuteOpIdx2) const override;
188
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000189public:
Eric Christopher673b3af2014-06-27 07:01:17 +0000190 explicit SystemZInstrInfo(SystemZSubtarget &STI);
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000191
192 // Override TargetInstrInfo.
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000193 unsigned isLoadFromStackSlot(const MachineInstr &MI,
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000194 int &FrameIndex) const override;
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000195 unsigned isStoreToStackSlot(const MachineInstr &MI,
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000196 int &FrameIndex) const override;
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000197 bool isStackSlotCopy(const MachineInstr &MI, int &DestFrameIndex,
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000198 int &SrcFrameIndex) const override;
Jacques Pienaar71c30a12016-07-15 14:41:04 +0000199 bool analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB,
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000200 MachineBasicBlock *&FBB,
201 SmallVectorImpl<MachineOperand> &Cond,
202 bool AllowModify) const override;
Matt Arsenault1b9fc8e2016-09-14 20:43:16 +0000203 unsigned removeBranch(MachineBasicBlock &MBB,
Matt Arsenaulta2b036e2016-09-14 17:23:48 +0000204 int *BytesRemoved = nullptr) const override;
Matt Arsenaulte8e0f5c2016-09-14 17:24:15 +0000205 unsigned insertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
Ahmed Bougachac88bf542015-06-11 19:30:37 +0000206 MachineBasicBlock *FBB, ArrayRef<MachineOperand> Cond,
Matt Arsenaulta2b036e2016-09-14 17:23:48 +0000207 const DebugLoc &DL,
208 int *BytesAdded = nullptr) const override;
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000209 bool analyzeCompare(const MachineInstr &MI, unsigned &SrcReg,
Craig Topper73156022014-03-02 09:09:27 +0000210 unsigned &SrcReg2, int &Mask, int &Value) const override;
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000211 bool optimizeCompareInstr(MachineInstr &CmpInstr, unsigned SrcReg,
Richard Sandiford564681c2013-08-12 10:28:10 +0000212 unsigned SrcReg2, int Mask, int Value,
Craig Topper73156022014-03-02 09:09:27 +0000213 const MachineRegisterInfo *MRI) const override;
Ulrich Weigand524f2762016-11-28 13:34:08 +0000214 bool canInsertSelect(const MachineBasicBlock&, ArrayRef<MachineOperand> Cond,
215 unsigned, unsigned, int&, int&, int&) const override;
216 void insertSelect(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
217 const DebugLoc &DL, unsigned DstReg,
218 ArrayRef<MachineOperand> Cond, unsigned TrueReg,
219 unsigned FalseReg) const override;
220 bool FoldImmediate(MachineInstr &UseMI, MachineInstr &DefMI, unsigned Reg,
221 MachineRegisterInfo *MRI) const override;
Krzysztof Parzyszekcc318712017-03-03 18:30:54 +0000222 bool isPredicable(const MachineInstr &MI) const override;
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000223 bool isProfitableToIfCvt(MachineBasicBlock &MBB, unsigned NumCycles,
224 unsigned ExtraPredCycles,
Cong Houc536bd92015-09-10 23:10:42 +0000225 BranchProbability Probability) const override;
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000226 bool isProfitableToIfCvt(MachineBasicBlock &TMBB,
227 unsigned NumCyclesT, unsigned ExtraPredCyclesT,
228 MachineBasicBlock &FMBB,
229 unsigned NumCyclesF, unsigned ExtraPredCyclesF,
Cong Houc536bd92015-09-10 23:10:42 +0000230 BranchProbability Probability) const override;
Ulrich Weigand2eb027d2016-04-07 16:11:44 +0000231 bool isProfitableToDupForIfCvt(MachineBasicBlock &MBB, unsigned NumCycles,
232 BranchProbability Probability) const override;
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000233 bool PredicateInstruction(MachineInstr &MI,
Ahmed Bougachac88bf542015-06-11 19:30:37 +0000234 ArrayRef<MachineOperand> Pred) const override;
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000235 void copyPhysReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000236 const DebugLoc &DL, unsigned DestReg, unsigned SrcReg,
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000237 bool KillSrc) const override;
238 void storeRegToStackSlot(MachineBasicBlock &MBB,
239 MachineBasicBlock::iterator MBBI,
240 unsigned SrcReg, bool isKill, int FrameIndex,
241 const TargetRegisterClass *RC,
242 const TargetRegisterInfo *TRI) const override;
243 void loadRegFromStackSlot(MachineBasicBlock &MBB,
244 MachineBasicBlock::iterator MBBI,
245 unsigned DestReg, int FrameIdx,
246 const TargetRegisterClass *RC,
247 const TargetRegisterInfo *TRI) const override;
248 MachineInstr *convertToThreeAddress(MachineFunction::iterator &MFI,
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000249 MachineInstr &MI,
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000250 LiveVariables *LV) const override;
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000251 MachineInstr *
252 foldMemoryOperandImpl(MachineFunction &MF, MachineInstr &MI,
253 ArrayRef<unsigned> Ops,
254 MachineBasicBlock::iterator InsertPt, int FrameIndex,
255 LiveIntervals *LIS = nullptr) const override;
256 MachineInstr *foldMemoryOperandImpl(
257 MachineFunction &MF, MachineInstr &MI, ArrayRef<unsigned> Ops,
258 MachineBasicBlock::iterator InsertPt, MachineInstr &LoadMI,
259 LiveIntervals *LIS = nullptr) const override;
260 bool expandPostRAPseudo(MachineInstr &MBBI) const override;
Matt Arsenault1b9fc8e2016-09-14 20:43:16 +0000261 bool reverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000262 override;
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000263
264 // Return the SystemZRegisterInfo, which this class owns.
265 const SystemZRegisterInfo &getRegisterInfo() const { return RI; }
266
Richard Sandiford312425f2013-05-20 14:23:08 +0000267 // Return the size in bytes of MI.
Sjoerd Meijer0eb96ed2016-07-29 08:16:16 +0000268 unsigned getInstSizeInBytes(const MachineInstr &MI) const override;
Richard Sandiford312425f2013-05-20 14:23:08 +0000269
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000270 // Return true if MI is a conditional or unconditional branch.
271 // When returning true, set Cond to the mask of condition-code
272 // values on which the instruction will branch, and set Target
273 // to the operand that contains the branch target. This target
274 // can be a register or a basic block.
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000275 SystemZII::Branch getBranchInfo(const MachineInstr &MI) const;
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000276
277 // Get the load and store opcodes for a given register class.
278 void getLoadStoreOpcodes(const TargetRegisterClass *RC,
279 unsigned &LoadOpcode, unsigned &StoreOpcode) const;
280
281 // Opcode is the opcode of an instruction that has an address operand,
282 // and the caller wants to perform that instruction's operation on an
283 // address that has displacement Offset. Return the opcode of a suitable
284 // instruction (which might be Opcode itself) or 0 if no such instruction
285 // exists.
286 unsigned getOpcodeForOffset(unsigned Opcode, int64_t Offset) const;
287
Richard Sandifordb49a3ab2013-08-05 11:03:20 +0000288 // If Opcode is a load instruction that has a LOAD AND TEST form,
289 // return the opcode for the testing form, otherwise return 0.
290 unsigned getLoadAndTest(unsigned Opcode) const;
291
Richard Sandiford6a06ba32013-07-31 11:36:35 +0000292 // Return true if ROTATE AND ... SELECTED BITS can be used to select bits
293 // Mask of the R2 operand, given that only the low BitSize bits of Mask are
294 // significant. Set Start and End to the I3 and I4 operands if so.
295 bool isRxSBGMask(uint64_t Mask, unsigned BitSize,
296 unsigned &Start, unsigned &End) const;
297
Zhan Jun Liauab42cbc2016-06-10 19:58:10 +0000298 // If Opcode is a COMPARE opcode for which an associated fused COMPARE AND *
299 // operation exists, return the opcode for the latter, otherwise return 0.
Richard Sandiforde1d9f002013-05-29 11:58:52 +0000300 // MI, if nonnull, is the compare instruction.
Zhan Jun Liauab42cbc2016-06-10 19:58:10 +0000301 unsigned getFusedCompare(unsigned Opcode,
302 SystemZII::FusedCompareType Type,
303 const MachineInstr *MI = nullptr) const;
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000304
Ulrich Weigand2d9e3d92016-11-28 13:59:22 +0000305 // If Opcode is a LOAD opcode for with an associated LOAD AND TRAP
306 // operation exists, returh the opcode for the latter, otherwise return 0.
307 unsigned getLoadAndTrap(unsigned Opcode) const;
308
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000309 // Emit code before MBBI in MI to move immediate value Value into
310 // physical register Reg.
311 void loadImmediate(MachineBasicBlock &MBB,
312 MachineBasicBlock::iterator MBBI,
313 unsigned Reg, uint64_t Value) const;
Jonas Paulsson8010b632016-10-20 08:27:16 +0000314
315 // Sometimes, it is possible for the target to tell, even without
316 // aliasing information, that two MIs access different memory
317 // addresses. This function returns true if two MIs access different
318 // memory addresses and false otherwise.
319 bool
320 areMemAccessesTriviallyDisjoint(MachineInstr &MIa, MachineInstr &MIb,
321 AliasAnalysis *AA = nullptr) const override;
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000322};
Eugene Zelenko3943d2b2017-01-24 22:10:43 +0000323
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000324} // end namespace llvm
325
Eugene Zelenko3943d2b2017-01-24 22:10:43 +0000326#endif // LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZINSTRINFO_H