blob: b42791c7a09d4855ee3c41921731ab64b7ac3974 [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"
19#include "llvm/Target/TargetInstrInfo.h"
20
21#define GET_INSTRINFO_HEADER
22#include "SystemZGenInstrInfo.inc"
23
24namespace llvm {
25
26class SystemZTargetMachine;
27
28namespace SystemZII {
Richard Sandifordc2312692014-03-06 10:38:30 +000029enum {
30 // See comments in SystemZInstrFormats.td.
31 SimpleBDXLoad = (1 << 0),
32 SimpleBDXStore = (1 << 1),
33 Has20BitOffset = (1 << 2),
34 HasIndex = (1 << 3),
35 Is128Bit = (1 << 4),
36 AccessSizeMask = (31 << 5),
37 AccessSizeShift = 5,
38 CCValuesMask = (15 << 10),
39 CCValuesShift = 10,
40 CompareZeroCCMaskMask = (15 << 14),
41 CompareZeroCCMaskShift = 14,
42 CCMaskFirst = (1 << 18),
43 CCMaskLast = (1 << 19),
44 IsLogical = (1 << 20)
45};
46static inline unsigned getAccessSize(unsigned int Flags) {
47 return (Flags & AccessSizeMask) >> AccessSizeShift;
Ulrich Weigand5f613df2013-05-06 16:15:19 +000048}
Richard Sandifordc2312692014-03-06 10:38:30 +000049static inline unsigned getCCValues(unsigned int Flags) {
50 return (Flags & CCValuesMask) >> CCValuesShift;
51}
52static inline unsigned getCompareZeroCCMask(unsigned int Flags) {
53 return (Flags & CompareZeroCCMaskMask) >> CompareZeroCCMaskShift;
54}
55
56// SystemZ MachineOperand target flags.
57enum {
58 // Masks out the bits for the access model.
Ulrich Weigand7db69182015-02-18 09:13:27 +000059 MO_SYMBOL_MODIFIER = (3 << 0),
Richard Sandifordc2312692014-03-06 10:38:30 +000060
61 // @GOT (aka @GOTENT)
Ulrich Weigand7db69182015-02-18 09:13:27 +000062 MO_GOT = (1 << 0),
63
64 // @INDNTPOFF
65 MO_INDNTPOFF = (2 << 0)
Richard Sandifordc2312692014-03-06 10:38:30 +000066};
67// Classifies a branch.
68enum BranchType {
69 // An instruction that branches on the current value of CC.
70 BranchNormal,
71
72 // An instruction that peforms a 32-bit signed comparison and branches
73 // on the result.
74 BranchC,
75
76 // An instruction that peforms a 32-bit unsigned comparison and branches
77 // on the result.
78 BranchCL,
79
80 // An instruction that peforms a 64-bit signed comparison and branches
81 // on the result.
82 BranchCG,
83
84 // An instruction that peforms a 64-bit unsigned comparison and branches
85 // on the result.
86 BranchCLG,
87
88 // An instruction that decrements a 32-bit register and branches if
89 // the result is nonzero.
90 BranchCT,
91
92 // An instruction that decrements a 64-bit register and branches if
93 // the result is nonzero.
94 BranchCTG
95};
96// Information about a branch instruction.
97struct Branch {
98 // The type of the branch.
99 BranchType Type;
100
101 // CCMASK_<N> is set if CC might be equal to N.
102 unsigned CCValid;
103
104 // CCMASK_<N> is set if the branch should be taken when CC == N.
105 unsigned CCMask;
106
107 // The target of the branch.
108 const MachineOperand *Target;
109
110 Branch(BranchType type, unsigned ccValid, unsigned ccMask,
111 const MachineOperand *target)
112 : Type(type), CCValid(ccValid), CCMask(ccMask), Target(target) {}
113};
Zhan Jun Liauab42cbc2016-06-10 19:58:10 +0000114// Kinds of fused compares in compare-and-* instructions. Together with type
115// of the converted compare, this identifies the compare-and-*
Ulrich Weigand2eb027d2016-04-07 16:11:44 +0000116// instruction.
Zhan Jun Liauab42cbc2016-06-10 19:58:10 +0000117enum FusedCompareType {
Ulrich Weigand2eb027d2016-04-07 16:11:44 +0000118 // Relative branch - CRJ etc.
119 CompareAndBranch,
120
121 // Indirect branch, used for return - CRBReturn etc.
Ulrich Weigand848a5132016-04-11 12:12:32 +0000122 CompareAndReturn,
123
124 // Indirect branch, used for sibcall - CRBCall etc.
Zhan Jun Liauab42cbc2016-06-10 19:58:10 +0000125 CompareAndSibcall,
126
127 // Trap
128 CompareAndTrap
Ulrich Weigand2eb027d2016-04-07 16:11:44 +0000129};
Richard Sandifordc2312692014-03-06 10:38:30 +0000130} // end namespace SystemZII
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000131
Eric Christopher673b3af2014-06-27 07:01:17 +0000132class SystemZSubtarget;
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000133class SystemZInstrInfo : public SystemZGenInstrInfo {
134 const SystemZRegisterInfo RI;
Eric Christopher673b3af2014-06-27 07:01:17 +0000135 SystemZSubtarget &STI;
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000136
137 void splitMove(MachineBasicBlock::iterator MI, unsigned NewOpcode) const;
138 void splitAdjDynAlloc(MachineBasicBlock::iterator MI) const;
Richard Sandiford01240232013-10-01 13:02:28 +0000139 void expandRIPseudo(MachineInstr *MI, unsigned LowOpcode,
140 unsigned HighOpcode, bool ConvertHigh) const;
Richard Sandiford42a694f2013-10-01 14:53:46 +0000141 void expandRIEPseudo(MachineInstr *MI, unsigned LowOpcode,
142 unsigned LowOpcodeK, unsigned HighOpcode) const;
Richard Sandiford0755c932013-10-01 11:26:28 +0000143 void expandRXYPseudo(MachineInstr *MI, unsigned LowOpcode,
144 unsigned HighOpcode) const;
Richard Sandiford21235a22013-10-01 12:49:07 +0000145 void expandZExtPseudo(MachineInstr *MI, unsigned LowOpcode,
146 unsigned Size) const;
Marcin Koscielnickiaef3b5b2016-04-24 13:57:49 +0000147 void expandLoadStackGuard(MachineInstr *MI) const;
Richard Sandiford0755c932013-10-01 11:26:28 +0000148 void emitGRX32Move(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000149 const DebugLoc &DL, unsigned DestReg, unsigned SrcReg,
Richard Sandiford0755c932013-10-01 11:26:28 +0000150 unsigned LowLowOpcode, unsigned Size, bool KillSrc) const;
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +0000151 virtual void anchor();
Richard Sandiford0755c932013-10-01 11:26:28 +0000152
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000153public:
Eric Christopher673b3af2014-06-27 07:01:17 +0000154 explicit SystemZInstrInfo(SystemZSubtarget &STI);
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000155
156 // Override TargetInstrInfo.
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000157 unsigned isLoadFromStackSlot(const MachineInstr *MI,
158 int &FrameIndex) const override;
159 unsigned isStoreToStackSlot(const MachineInstr *MI,
160 int &FrameIndex) const override;
161 bool isStackSlotCopy(const MachineInstr *MI, int &DestFrameIndex,
162 int &SrcFrameIndex) const override;
163 bool AnalyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB,
164 MachineBasicBlock *&FBB,
165 SmallVectorImpl<MachineOperand> &Cond,
166 bool AllowModify) const override;
167 unsigned RemoveBranch(MachineBasicBlock &MBB) const override;
168 unsigned InsertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
Ahmed Bougachac88bf542015-06-11 19:30:37 +0000169 MachineBasicBlock *FBB, ArrayRef<MachineOperand> Cond,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000170 const DebugLoc &DL) const override;
Richard Sandiford564681c2013-08-12 10:28:10 +0000171 bool analyzeCompare(const MachineInstr *MI, unsigned &SrcReg,
Craig Topper73156022014-03-02 09:09:27 +0000172 unsigned &SrcReg2, int &Mask, int &Value) const override;
Richard Sandiford564681c2013-08-12 10:28:10 +0000173 bool optimizeCompareInstr(MachineInstr *CmpInstr, unsigned SrcReg,
174 unsigned SrcReg2, int Mask, int Value,
Craig Topper73156022014-03-02 09:09:27 +0000175 const MachineRegisterInfo *MRI) const override;
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000176 bool isPredicable(MachineInstr &MI) const override;
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000177 bool isProfitableToIfCvt(MachineBasicBlock &MBB, unsigned NumCycles,
178 unsigned ExtraPredCycles,
Cong Houc536bd92015-09-10 23:10:42 +0000179 BranchProbability Probability) const override;
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000180 bool isProfitableToIfCvt(MachineBasicBlock &TMBB,
181 unsigned NumCyclesT, unsigned ExtraPredCyclesT,
182 MachineBasicBlock &FMBB,
183 unsigned NumCyclesF, unsigned ExtraPredCyclesF,
Cong Houc536bd92015-09-10 23:10:42 +0000184 BranchProbability Probability) const override;
Ulrich Weigand2eb027d2016-04-07 16:11:44 +0000185 bool isProfitableToDupForIfCvt(MachineBasicBlock &MBB, unsigned NumCycles,
186 BranchProbability Probability) const override;
Duncan P. N. Exon Smith6307eb52016-02-23 02:46:52 +0000187 bool PredicateInstruction(MachineInstr &MI,
Ahmed Bougachac88bf542015-06-11 19:30:37 +0000188 ArrayRef<MachineOperand> Pred) const override;
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000189 void copyPhysReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000190 const DebugLoc &DL, unsigned DestReg, unsigned SrcReg,
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000191 bool KillSrc) const override;
192 void storeRegToStackSlot(MachineBasicBlock &MBB,
193 MachineBasicBlock::iterator MBBI,
194 unsigned SrcReg, bool isKill, int FrameIndex,
195 const TargetRegisterClass *RC,
196 const TargetRegisterInfo *TRI) const override;
197 void loadRegFromStackSlot(MachineBasicBlock &MBB,
198 MachineBasicBlock::iterator MBBI,
199 unsigned DestReg, int FrameIdx,
200 const TargetRegisterClass *RC,
201 const TargetRegisterInfo *TRI) const override;
202 MachineInstr *convertToThreeAddress(MachineFunction::iterator &MFI,
203 MachineBasicBlock::iterator &MBBI,
204 LiveVariables *LV) const override;
205 MachineInstr *foldMemoryOperandImpl(MachineFunction &MF, MachineInstr *MI,
Benjamin Kramerf1362f62015-02-28 12:04:00 +0000206 ArrayRef<unsigned> Ops,
Keno Fischere70b31f2015-06-08 20:09:58 +0000207 MachineBasicBlock::iterator InsertPt,
Jonas Paulsson8e5b0c62016-05-10 08:09:37 +0000208 int FrameIndex,
209 LiveIntervals *LIS = nullptr) const override;
Benjamin Kramerf1362f62015-02-28 12:04:00 +0000210 MachineInstr *foldMemoryOperandImpl(MachineFunction &MF, MachineInstr *MI,
211 ArrayRef<unsigned> Ops,
Keno Fischere70b31f2015-06-08 20:09:58 +0000212 MachineBasicBlock::iterator InsertPt,
Jonas Paulsson8e5b0c62016-05-10 08:09:37 +0000213 MachineInstr *LoadMI,
214 LiveIntervals *LIS = nullptr) const override;
Richard Sandifordb4d67b52014-03-06 12:03:36 +0000215 bool expandPostRAPseudo(MachineBasicBlock::iterator MBBI) const override;
216 bool ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const
217 override;
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000218
219 // Return the SystemZRegisterInfo, which this class owns.
220 const SystemZRegisterInfo &getRegisterInfo() const { return RI; }
221
Richard Sandiford312425f2013-05-20 14:23:08 +0000222 // Return the size in bytes of MI.
223 uint64_t getInstSizeInBytes(const MachineInstr *MI) const;
224
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000225 // Return true if MI is a conditional or unconditional branch.
226 // When returning true, set Cond to the mask of condition-code
227 // values on which the instruction will branch, and set Target
228 // to the operand that contains the branch target. This target
229 // can be a register or a basic block.
Richard Sandiford53c9efd2013-05-28 10:13:54 +0000230 SystemZII::Branch getBranchInfo(const MachineInstr *MI) const;
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000231
232 // Get the load and store opcodes for a given register class.
233 void getLoadStoreOpcodes(const TargetRegisterClass *RC,
234 unsigned &LoadOpcode, unsigned &StoreOpcode) const;
235
236 // Opcode is the opcode of an instruction that has an address operand,
237 // and the caller wants to perform that instruction's operation on an
238 // address that has displacement Offset. Return the opcode of a suitable
239 // instruction (which might be Opcode itself) or 0 if no such instruction
240 // exists.
241 unsigned getOpcodeForOffset(unsigned Opcode, int64_t Offset) const;
242
Richard Sandifordb49a3ab2013-08-05 11:03:20 +0000243 // If Opcode is a load instruction that has a LOAD AND TEST form,
244 // return the opcode for the testing form, otherwise return 0.
245 unsigned getLoadAndTest(unsigned Opcode) const;
246
Richard Sandiford6a06ba32013-07-31 11:36:35 +0000247 // Return true if ROTATE AND ... SELECTED BITS can be used to select bits
248 // Mask of the R2 operand, given that only the low BitSize bits of Mask are
249 // significant. Set Start and End to the I3 and I4 operands if so.
250 bool isRxSBGMask(uint64_t Mask, unsigned BitSize,
251 unsigned &Start, unsigned &End) const;
252
Zhan Jun Liauab42cbc2016-06-10 19:58:10 +0000253 // If Opcode is a COMPARE opcode for which an associated fused COMPARE AND *
254 // operation exists, return the opcode for the latter, otherwise return 0.
Richard Sandiforde1d9f002013-05-29 11:58:52 +0000255 // MI, if nonnull, is the compare instruction.
Zhan Jun Liauab42cbc2016-06-10 19:58:10 +0000256 unsigned getFusedCompare(unsigned Opcode,
257 SystemZII::FusedCompareType Type,
258 const MachineInstr *MI = nullptr) const;
Richard Sandiford0fb90ab2013-05-28 10:41:11 +0000259
Ulrich Weigand5f613df2013-05-06 16:15:19 +0000260 // Emit code before MBBI in MI to move immediate value Value into
261 // physical register Reg.
262 void loadImmediate(MachineBasicBlock &MBB,
263 MachineBasicBlock::iterator MBBI,
264 unsigned Reg, uint64_t Value) const;
265};
266} // end namespace llvm
267
268#endif