1//===-- SystemZInstrInfo.h - SystemZ instruction information ----*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file contains the SystemZ implementation of the TargetInstrInfo class.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZINSTRINFO_H
14#define LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZINSTRINFO_H
15
16#include "SystemZ.h"
17#include "SystemZRegisterInfo.h"
18#include "llvm/ADT/ArrayRef.h"
19#include "llvm/CodeGen/MachineBasicBlock.h"
20#include "llvm/CodeGen/MachineFunction.h"
21#include "llvm/CodeGen/MachineInstrBuilder.h"
22#include "llvm/CodeGen/TargetInstrInfo.h"
23#include <cstdint>
24
25#define GET_INSTRINFO_HEADER
26#include "SystemZGenInstrInfo.inc"
27
28namespace llvm {
29
30class SystemZSubtarget;
31
32namespace SystemZII {
33
34enum {
35 // See comments in SystemZInstrFormats.td.
36 SimpleBDXLoad = (1 << 0),
37 SimpleBDXStore = (1 << 1),
38 Has20BitOffset = (1 << 2),
39 HasIndex = (1 << 3),
40 Is128Bit = (1 << 4),
41 AccessSizeMask = (31 << 5),
42 AccessSizeShift = 5,
43 CCValuesMask = (15 << 10),
44 CCValuesShift = 10,
45 CompareZeroCCMaskMask = (15 << 14),
46 CompareZeroCCMaskShift = 14,
47 CCMaskFirst = (1 << 18),
48 CCMaskLast = (1 << 19),
49 IsLogical = (1 << 20),
50 CCIfNoSignedWrap = (1 << 21)
51};
52
53static inline unsigned getAccessSize(unsigned int Flags) {
54 return (Flags & AccessSizeMask) >> AccessSizeShift;
55}
56
57static inline unsigned getCCValues(unsigned int Flags) {
58 return (Flags & CCValuesMask) >> CCValuesShift;
59}
60
61static 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.
68 MO_SYMBOL_MODIFIER = (3 << 0),
69
70 // @GOT (aka @GOTENT)
71 MO_GOT = (1 << 0),
72
73 // @INDNTPOFF
74 MO_INDNTPOFF = (2 << 0)
75};
76
77// z/OS XPLink specific: classifies the types of
78// accesses to the ADA (Associated Data Area).
79// These enums contains values that overlap with the above MO_ enums,
80// but that's fine since the above enums are used with ELF,
81// while these values are used with z/OS.
82enum {
83 MO_ADA_DATA_SYMBOL_ADDR = 1,
84 MO_ADA_INDIRECT_FUNC_DESC,
85 MO_ADA_DIRECT_FUNC_DESC,
86};
87
88// Classifies a branch.
89enum BranchType {
90 // An instruction that branches on the current value of CC.
91 BranchNormal,
92
93 // An instruction that peforms a 32-bit signed comparison and branches
94 // on the result.
95 BranchC,
96
97 // An instruction that peforms a 32-bit unsigned comparison and branches
98 // on the result.
99 BranchCL,
100
101 // An instruction that peforms a 64-bit signed comparison and branches
102 // on the result.
103 BranchCG,
104
105 // An instruction that peforms a 64-bit unsigned comparison and branches
106 // on the result.
107 BranchCLG,
108
109 // An instruction that decrements a 32-bit register and branches if
110 // the result is nonzero.
111 BranchCT,
112
113 // An instruction that decrements a 64-bit register and branches if
114 // the result is nonzero.
115 BranchCTG,
116
117 // An instruction representing an asm goto statement.
118 AsmGoto
119};
120
121// Information about a branch instruction.
122class Branch {
123 // The target of the branch. In case of INLINEASM_BR, this is nullptr.
124 const MachineOperand *Target;
125
126public:
127 // The type of the branch.
128 BranchType Type;
129
130 // CCMASK_<N> is set if CC might be equal to N.
131 unsigned CCValid;
132
133 // CCMASK_<N> is set if the branch should be taken when CC == N.
134 unsigned CCMask;
135
136 Branch(BranchType type, unsigned ccValid, unsigned ccMask,
137 const MachineOperand *target)
138 : Target(target), Type(type), CCValid(ccValid), CCMask(ccMask) {}
139
140 bool isIndirect() { return Target != nullptr && Target->isReg(); }
141 bool hasMBBTarget() { return Target != nullptr && Target->isMBB(); }
142 MachineBasicBlock *getMBBTarget() {
143 return hasMBBTarget() ? Target->getMBB() : nullptr;
144 }
145};
146
147// Kinds of fused compares in compare-and-* instructions. Together with type
148// of the converted compare, this identifies the compare-and-*
149// instruction.
150enum FusedCompareType {
151 // Relative branch - CRJ etc.
152 CompareAndBranch,
153
154 // Indirect branch, used for return - CRBReturn etc.
155 CompareAndReturn,
156
157 // Indirect branch, used for sibcall - CRBCall etc.
158 CompareAndSibcall,
159
160 // Trap
161 CompareAndTrap
162};
163
164} // end namespace SystemZII
165
166namespace SystemZ {
167int getTwoOperandOpcode(uint16_t Opcode);
168int getTargetMemOpcode(uint16_t Opcode);
169
170// Return a version of comparison CC mask CCMask in which the LT and GT
171// actions are swapped.
172unsigned reverseCCMask(unsigned CCMask);
173
174// Create a new basic block after MBB.
175MachineBasicBlock *emitBlockAfter(MachineBasicBlock *MBB);
176// Split MBB after MI and return the new block (the one that contains
177// instructions after MI).
178MachineBasicBlock *splitBlockAfter(MachineBasicBlock::iterator MI,
179 MachineBasicBlock *MBB);
180// Split MBB before MI and return the new block (the one that contains MI).
181MachineBasicBlock *splitBlockBefore(MachineBasicBlock::iterator MI,
182 MachineBasicBlock *MBB);
183}
184
185class SystemZInstrInfo : public SystemZGenInstrInfo {
186 const SystemZRegisterInfo RI;
187 SystemZSubtarget &STI;
188
189 void splitMove(MachineBasicBlock::iterator MI, unsigned NewOpcode) const;
190 void splitAdjDynAlloc(MachineBasicBlock::iterator MI) const;
191 void expandRIPseudo(MachineInstr &MI, unsigned LowOpcode, unsigned HighOpcode,
192 bool ConvertHigh) const;
193 void expandRIEPseudo(MachineInstr &MI, unsigned LowOpcode,
194 unsigned LowOpcodeK, unsigned HighOpcode) const;
195 void expandRXYPseudo(MachineInstr &MI, unsigned LowOpcode,
196 unsigned HighOpcode) const;
197 void expandLOCPseudo(MachineInstr &MI, unsigned LowOpcode,
198 unsigned HighOpcode) const;
199 void expandZExtPseudo(MachineInstr &MI, unsigned LowOpcode,
200 unsigned Size) const;
201 void expandLoadStackGuard(MachineInstr *MI) const;
202
203 MachineInstrBuilder
204 emitGRX32Move(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
205 const DebugLoc &DL, unsigned DestReg, unsigned SrcReg,
206 unsigned LowLowOpcode, unsigned Size, bool KillSrc,
207 bool UndefSrc) const;
208
209 virtual void anchor();
210
211protected:
212 /// Commutes the operands in the given instruction by changing the operands
213 /// order and/or changing the instruction's opcode and/or the immediate value
214 /// operand.
215 ///
216 /// The arguments 'CommuteOpIdx1' and 'CommuteOpIdx2' specify the operands
217 /// to be commuted.
218 ///
219 /// Do not call this method for a non-commutable instruction or
220 /// non-commutable operands.
221 /// Even though the instruction is commutable, the method may still
222 /// fail to commute the operands, null pointer is returned in such cases.
223 MachineInstr *commuteInstructionImpl(MachineInstr &MI, bool NewMI,
224 unsigned CommuteOpIdx1,
225 unsigned CommuteOpIdx2) const override;
226
227public:
228 explicit SystemZInstrInfo(SystemZSubtarget &STI);
229
230 // Override TargetInstrInfo.
231 Register isLoadFromStackSlot(const MachineInstr &MI,
232 int &FrameIndex) const override;
233 Register isStoreToStackSlot(const MachineInstr &MI,
234 int &FrameIndex) const override;
235 bool isStackSlotCopy(const MachineInstr &MI, int &DestFrameIndex,
236 int &SrcFrameIndex) const override;
237 bool analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB,
238 MachineBasicBlock *&FBB,
239 SmallVectorImpl<MachineOperand> &Cond,
240 bool AllowModify) const override;
241 unsigned removeBranch(MachineBasicBlock &MBB,
242 int *BytesRemoved = nullptr) const override;
243 unsigned insertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB,
244 MachineBasicBlock *FBB, ArrayRef<MachineOperand> Cond,
245 const DebugLoc &DL,
246 int *BytesAdded = nullptr) const override;
247 bool analyzeCompare(const MachineInstr &MI, Register &SrcReg,
248 Register &SrcReg2, int64_t &Mask,
249 int64_t &Value) const override;
250 bool canInsertSelect(const MachineBasicBlock &, ArrayRef<MachineOperand> Cond,
251 Register, Register, Register, int &, int &,
252 int &) const override;
253 void insertSelect(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI,
254 const DebugLoc &DL, Register DstReg,
255 ArrayRef<MachineOperand> Cond, Register TrueReg,
256 Register FalseReg) const override;
257 bool foldImmediate(MachineInstr &UseMI, MachineInstr &DefMI, Register Reg,
258 MachineRegisterInfo *MRI) const override;
259 bool isPredicable(const MachineInstr &MI) const override;
260 bool isProfitableToIfCvt(MachineBasicBlock &MBB, unsigned NumCycles,
261 unsigned ExtraPredCycles,
262 BranchProbability Probability) const override;
263 bool isProfitableToIfCvt(MachineBasicBlock &TMBB,
264 unsigned NumCyclesT, unsigned ExtraPredCyclesT,
265 MachineBasicBlock &FMBB,
266 unsigned NumCyclesF, unsigned ExtraPredCyclesF,
267 BranchProbability Probability) const override;
268 bool isProfitableToDupForIfCvt(MachineBasicBlock &MBB, unsigned NumCycles,
269 BranchProbability Probability) const override;
270 bool PredicateInstruction(MachineInstr &MI,
271 ArrayRef<MachineOperand> Pred) const override;
272 void copyPhysReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI,
273 const DebugLoc &DL, MCRegister DestReg, MCRegister SrcReg,
274 bool KillSrc) const override;
275 void storeRegToStackSlot(MachineBasicBlock &MBB,
276 MachineBasicBlock::iterator MBBI, Register SrcReg,
277 bool isKill, int FrameIndex,
278 const TargetRegisterClass *RC,
279 const TargetRegisterInfo *TRI,
280 Register VReg) const override;
281 void loadRegFromStackSlot(MachineBasicBlock &MBB,
282 MachineBasicBlock::iterator MBBI, Register DestReg,
283 int FrameIdx, const TargetRegisterClass *RC,
284 const TargetRegisterInfo *TRI,
285 Register VReg) const override;
286 MachineInstr *convertToThreeAddress(MachineInstr &MI, LiveVariables *LV,
287 LiveIntervals *LIS) const override;
288 MachineInstr *
289 foldMemoryOperandImpl(MachineFunction &MF, MachineInstr &MI,
290 ArrayRef<unsigned> Ops,
291 MachineBasicBlock::iterator InsertPt, int FrameIndex,
292 LiveIntervals *LIS = nullptr,
293 VirtRegMap *VRM = nullptr) const override;
294 MachineInstr *foldMemoryOperandImpl(
295 MachineFunction &MF, MachineInstr &MI, ArrayRef<unsigned> Ops,
296 MachineBasicBlock::iterator InsertPt, MachineInstr &LoadMI,
297 LiveIntervals *LIS = nullptr) const override;
298 bool expandPostRAPseudo(MachineInstr &MBBI) const override;
299 bool reverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const
300 override;
301
302 // Return the SystemZRegisterInfo, which this class owns.
303 const SystemZRegisterInfo &getRegisterInfo() const { return RI; }
304
305 // Return the size in bytes of MI.
306 unsigned getInstSizeInBytes(const MachineInstr &MI) const override;
307
308 // Return true if MI is a conditional or unconditional branch.
309 // When returning true, set Cond to the mask of condition-code
310 // values on which the instruction will branch, and set Target
311 // to the operand that contains the branch target. This target
312 // can be a register or a basic block.
313 SystemZII::Branch getBranchInfo(const MachineInstr &MI) const;
314
315 // Get the load and store opcodes for a given register class.
316 void getLoadStoreOpcodes(const TargetRegisterClass *RC,
317 unsigned &LoadOpcode, unsigned &StoreOpcode) const;
318
319 // Opcode is the opcode of an instruction that has an address operand,
320 // and the caller wants to perform that instruction's operation on an
321 // address that has displacement Offset. Return the opcode of a suitable
322 // instruction (which might be Opcode itself) or 0 if no such instruction
323 // exists. MI may be passed in order to allow examination of physical
324 // register operands (i.e. if a VR32/64 reg ended up as an FP or Vector reg).
325 unsigned getOpcodeForOffset(unsigned Opcode, int64_t Offset,
326 const MachineInstr *MI = nullptr) const;
327
328 // Return true if Opcode has a mapping in 12 <-> 20 bit displacements.
329 bool hasDisplacementPairInsn(unsigned Opcode) const;
330
331 // If Opcode is a load instruction that has a LOAD AND TEST form,
332 // return the opcode for the testing form, otherwise return 0.
333 unsigned getLoadAndTest(unsigned Opcode) const;
334
335 // Return true if ROTATE AND ... SELECTED BITS can be used to select bits
336 // Mask of the R2 operand, given that only the low BitSize bits of Mask are
337 // significant. Set Start and End to the I3 and I4 operands if so.
338 bool isRxSBGMask(uint64_t Mask, unsigned BitSize,
339 unsigned &Start, unsigned &End) const;
340
341 // If Opcode is a COMPARE opcode for which an associated fused COMPARE AND *
342 // operation exists, return the opcode for the latter, otherwise return 0.
343 // MI, if nonnull, is the compare instruction.
344 unsigned getFusedCompare(unsigned Opcode,
345 SystemZII::FusedCompareType Type,
346 const MachineInstr *MI = nullptr) const;
347
348 // Try to find all CC users of the compare instruction (MBBI) and update
349 // all of them to maintain equivalent behavior after swapping the compare
350 // operands. Return false if not all users can be conclusively found and
351 // handled. The compare instruction is *not* changed.
352 bool prepareCompareSwapOperands(MachineBasicBlock::iterator MBBI) const;
353
354 // If Opcode is a LOAD opcode for with an associated LOAD AND TRAP
355 // operation exists, returh the opcode for the latter, otherwise return 0.
356 unsigned getLoadAndTrap(unsigned Opcode) const;
357
358 // Emit code before MBBI in MI to move immediate value Value into
359 // physical register Reg.
360 void loadImmediate(MachineBasicBlock &MBB,
361 MachineBasicBlock::iterator MBBI,
362 unsigned Reg, uint64_t Value) const;
363
364 // Perform target specific instruction verification.
365 bool verifyInstruction(const MachineInstr &MI,
366 StringRef &ErrInfo) const override;
367
368 // Sometimes, it is possible for the target to tell, even without
369 // aliasing information, that two MIs access different memory
370 // addresses. This function returns true if two MIs access different
371 // memory addresses and false otherwise.
372 bool
373 areMemAccessesTriviallyDisjoint(const MachineInstr &MIa,
374 const MachineInstr &MIb) const override;
375};
376
377} // end namespace llvm
378
379#endif // LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZINSTRINFO_H
380

source code of llvm/lib/Target/SystemZ/SystemZInstrInfo.h