LLVM 19.0.0git
SystemZInstrInfo.h
Go to the documentation of this file.
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"
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),
43 CCValuesMask = (15 << 10),
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) {
63}
64
65// SystemZ MachineOperand target flags.
66enum {
67 // Masks out the bits for the access model.
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 {
86};
87
88// Classifies a branch.
90 // An instruction that branches on the current value of CC.
92
93 // An instruction that peforms a 32-bit signed comparison and branches
94 // on the result.
96
97 // An instruction that peforms a 32-bit unsigned comparison and branches
98 // on the result.
100
101 // An instruction that peforms a 64-bit signed comparison and branches
102 // on the result.
104
105 // An instruction that peforms a 64-bit unsigned comparison and branches
106 // on the result.
108
109 // An instruction that decrements a 32-bit register and branches if
110 // the result is nonzero.
112
113 // An instruction that decrements a 64-bit register and branches if
114 // the result is nonzero.
116
117 // An instruction representing an asm goto statement.
118 AsmGoto
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.
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(); }
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.
151 // Relative branch - CRJ etc.
153
154 // Indirect branch, used for return - CRBReturn etc.
156
157 // Indirect branch, used for sibcall - CRBCall etc.
159
160 // Trap
163
164} // end namespace SystemZII
165
166namespace SystemZ {
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.
176// Split MBB after MI and return the new block (the one that contains
177// instructions after MI).
180// Split MBB before MI and return the new block (the one that contains MI).
183}
184
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
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.
224 unsigned CommuteOpIdx1,
225 unsigned CommuteOpIdx2) const override;
226
227public:
228 explicit SystemZInstrInfo(SystemZSubtarget &STI);
229
230 // Override TargetInstrInfo.
232 int &FrameIndex) const override;
234 int &FrameIndex) const override;
235 bool isStackSlotCopy(const MachineInstr &MI, int &DestFrameIndex,
236 int &SrcFrameIndex) const override;
238 MachineBasicBlock *&FBB,
240 bool AllowModify) const override;
242 int *BytesRemoved = nullptr) const override;
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;
251 Register, Register, Register, int &, int &,
252 int &) const override;
254 const DebugLoc &DL, Register DstReg,
256 Register FalseReg) const override;
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;
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;
271 ArrayRef<MachineOperand> Pred) const override;
273 const DebugLoc &DL, MCRegister DestReg, MCRegister SrcReg,
274 bool KillSrc) const override;
277 bool isKill, int FrameIndex,
278 const TargetRegisterClass *RC,
279 const TargetRegisterInfo *TRI,
280 Register VReg) const override;
283 int FrameIdx, const TargetRegisterClass *RC,
284 const TargetRegisterInfo *TRI,
285 Register VReg) const override;
287 LiveIntervals *LIS) const override;
291 MachineBasicBlock::iterator InsertPt, int FrameIndex,
292 LiveIntervals *LIS = nullptr,
293 VirtRegMap *VRM = nullptr) const override;
297 LiveIntervals *LIS = nullptr) const override;
298 bool expandPostRAPseudo(MachineInstr &MBBI) const override;
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.
314
315 // Get the load and store opcodes for a given register class.
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,
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.
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.
362 unsigned Reg, uint64_t Value) const;
363
364 // Perform target specific instruction verification.
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
374 const MachineInstr &MIb) const override;
375};
376
377} // end namespace llvm
378
379#endif // LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZINSTRINFO_H
unsigned const MachineRegisterInfo * MRI
MachineInstrBuilder & UseMI
MachineInstrBuilder MachineInstrBuilder & DefMI
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
uint64_t Size
bool End
Definition: ELF_riscv.cpp:480
IRTranslator LLVM IR MI
unsigned const TargetRegisterInfo * TRI
unsigned Reg
const SmallVectorImpl< MachineOperand > MachineBasicBlock * TBB
const SmallVectorImpl< MachineOperand > & Cond
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
A debug info location.
Definition: DebugLoc.h:33
Wrapper class representing physical registers. Should be passed by value.
Definition: MCRegister.h:33
Representation of each machine instruction.
Definition: MachineInstr.h:69
MachineOperand class - Representation of each machine instruction operand.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
Wrapper class representing virtual and physical registers.
Definition: Register.h:19
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: SmallVector.h:586
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
MachineBasicBlock * getMBBTarget()
Branch(BranchType type, unsigned ccValid, unsigned ccMask, const MachineOperand *target)
unsigned getLoadAndTrap(unsigned Opcode) const
unsigned insertBranch(MachineBasicBlock &MBB, MachineBasicBlock *TBB, MachineBasicBlock *FBB, ArrayRef< MachineOperand > Cond, const DebugLoc &DL, int *BytesAdded=nullptr) const override
bool isProfitableToIfCvt(MachineBasicBlock &MBB, unsigned NumCycles, unsigned ExtraPredCycles, BranchProbability Probability) const override
unsigned getLoadAndTest(unsigned Opcode) const
bool isPredicable(const MachineInstr &MI) const override
bool isStackSlotCopy(const MachineInstr &MI, int &DestFrameIndex, int &SrcFrameIndex) const override
MachineInstr * convertToThreeAddress(MachineInstr &MI, LiveVariables *LV, LiveIntervals *LIS) const override
void loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, Register DestReg, int FrameIdx, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, Register VReg) const override
unsigned getOpcodeForOffset(unsigned Opcode, int64_t Offset, const MachineInstr *MI=nullptr) const
unsigned getInstSizeInBytes(const MachineInstr &MI) const override
unsigned removeBranch(MachineBasicBlock &MBB, int *BytesRemoved=nullptr) const override
Register isStoreToStackSlot(const MachineInstr &MI, int &FrameIndex) const override
const SystemZRegisterInfo & getRegisterInfo() const
bool hasDisplacementPairInsn(unsigned Opcode) const
MachineInstr * commuteInstructionImpl(MachineInstr &MI, bool NewMI, unsigned CommuteOpIdx1, unsigned CommuteOpIdx2) const override
Commutes the operands in the given instruction by changing the operands order and/or changing the ins...
void insertSelect(MachineBasicBlock &MBB, MachineBasicBlock::iterator MI, const DebugLoc &DL, Register DstReg, ArrayRef< MachineOperand > Cond, Register TrueReg, Register FalseReg) const override
bool isProfitableToDupForIfCvt(MachineBasicBlock &MBB, unsigned NumCycles, BranchProbability Probability) const override
SystemZII::Branch getBranchInfo(const MachineInstr &MI) const
void storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, Register SrcReg, bool isKill, int FrameIndex, const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, Register VReg) const override
bool areMemAccessesTriviallyDisjoint(const MachineInstr &MIa, const MachineInstr &MIb) const override
bool reverseBranchCondition(SmallVectorImpl< MachineOperand > &Cond) const override
unsigned getFusedCompare(unsigned Opcode, SystemZII::FusedCompareType Type, const MachineInstr *MI=nullptr) const
bool expandPostRAPseudo(MachineInstr &MBBI) const override
bool analyzeCompare(const MachineInstr &MI, Register &SrcReg, Register &SrcReg2, int64_t &Mask, int64_t &Value) const override
bool verifyInstruction(const MachineInstr &MI, StringRef &ErrInfo) const override
void getLoadStoreOpcodes(const TargetRegisterClass *RC, unsigned &LoadOpcode, unsigned &StoreOpcode) const
bool isRxSBGMask(uint64_t Mask, unsigned BitSize, unsigned &Start, unsigned &End) const
bool foldImmediate(MachineInstr &UseMI, MachineInstr &DefMI, Register Reg, MachineRegisterInfo *MRI) const override
void copyPhysReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, const DebugLoc &DL, MCRegister DestReg, MCRegister SrcReg, bool KillSrc) const override
bool canInsertSelect(const MachineBasicBlock &, ArrayRef< MachineOperand > Cond, Register, Register, Register, int &, int &, int &) const override
bool prepareCompareSwapOperands(MachineBasicBlock::iterator MBBI) const
Register isLoadFromStackSlot(const MachineInstr &MI, int &FrameIndex) const override
MachineInstr * foldMemoryOperandImpl(MachineFunction &MF, MachineInstr &MI, ArrayRef< unsigned > Ops, MachineBasicBlock::iterator InsertPt, int FrameIndex, LiveIntervals *LIS=nullptr, VirtRegMap *VRM=nullptr) const override
bool analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB, MachineBasicBlock *&FBB, SmallVectorImpl< MachineOperand > &Cond, bool AllowModify) const override
void loadImmediate(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, unsigned Reg, uint64_t Value) const
bool PredicateInstruction(MachineInstr &MI, ArrayRef< MachineOperand > Pred) const override
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
Target - Wrapper for Target specific information.
The instances of the Type class are immutable: once they are created, they are never changed.
Definition: Type.h:45
LLVM Value Representation.
Definition: Value.h:74
static unsigned getCCValues(unsigned int Flags)
static unsigned getCompareZeroCCMask(unsigned int Flags)
static unsigned getAccessSize(unsigned int Flags)
MachineBasicBlock * splitBlockBefore(MachineBasicBlock::iterator MI, MachineBasicBlock *MBB)
int getTargetMemOpcode(uint16_t Opcode)
MachineBasicBlock * emitBlockAfter(MachineBasicBlock *MBB)
unsigned reverseCCMask(unsigned CCMask)
MachineBasicBlock * splitBlockAfter(MachineBasicBlock::iterator MI, MachineBasicBlock *MBB)
int getTwoOperandOpcode(uint16_t Opcode)
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
@ Offset
Definition: DWP.cpp:456