blob: d143b8a510607b7ba58aef09e93c08e392221ca9 [file] [log] [blame]
Matt Arsenaultdf90c022013-10-15 23:44:45 +00001//===-- SIInstrInfo.h - SI Instruction Info Interface -----------*- C++ -*-===//
Tom Stellard75aadc22012-12-11 21:25:42 +00002//
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/// \file
11/// \brief Interface definition for SIInstrInfo.
12//
13//===----------------------------------------------------------------------===//
14
15
16#ifndef SIINSTRINFO_H
17#define SIINSTRINFO_H
18
19#include "AMDGPUInstrInfo.h"
20#include "SIRegisterInfo.h"
21
22namespace llvm {
23
24class SIInstrInfo : public AMDGPUInstrInfo {
25private:
26 const SIRegisterInfo RI;
27
Tom Stellard15834092014-03-21 15:51:57 +000028 unsigned buildExtractSubReg(MachineBasicBlock::iterator MI,
29 MachineRegisterInfo &MRI,
30 MachineOperand &SuperReg,
31 const TargetRegisterClass *SuperRC,
32 unsigned SubIdx,
33 const TargetRegisterClass *SubRC) const;
Matt Arsenault248b7b62014-03-24 20:08:09 +000034 MachineOperand buildExtractSubRegOrImm(MachineBasicBlock::iterator MI,
35 MachineRegisterInfo &MRI,
36 MachineOperand &SuperReg,
37 const TargetRegisterClass *SuperRC,
38 unsigned SubIdx,
39 const TargetRegisterClass *SubRC) const;
Tom Stellard15834092014-03-21 15:51:57 +000040
Matt Arsenaultbd995802014-03-24 18:26:52 +000041 unsigned split64BitImm(SmallVectorImpl<MachineInstr *> &Worklist,
42 MachineBasicBlock::iterator MI,
43 MachineRegisterInfo &MRI,
44 const TargetRegisterClass *RC,
45 const MachineOperand &Op) const;
46
Matt Arsenault248b7b62014-03-24 20:08:09 +000047 void splitScalar64BitOp(SmallVectorImpl<MachineInstr *> & Worklist,
Matt Arsenaultf35182c2014-03-24 20:08:05 +000048 MachineInstr *Inst, unsigned Opcode) const;
49
50
Tom Stellard75aadc22012-12-11 21:25:42 +000051public:
52 explicit SIInstrInfo(AMDGPUTargetMachine &tm);
53
Matt Arsenault6dde3032014-03-11 00:01:34 +000054 const SIRegisterInfo &getRegisterInfo() const {
55 return RI;
56 }
Tom Stellard75aadc22012-12-11 21:25:42 +000057
58 virtual void copyPhysReg(MachineBasicBlock &MBB,
59 MachineBasicBlock::iterator MI, DebugLoc DL,
60 unsigned DestReg, unsigned SrcReg,
61 bool KillSrc) const;
62
Tom Stellardc149dc02013-11-27 21:23:35 +000063 void storeRegToStackSlot(MachineBasicBlock &MBB,
64 MachineBasicBlock::iterator MI,
65 unsigned SrcReg, bool isKill, int FrameIndex,
66 const TargetRegisterClass *RC,
67 const TargetRegisterInfo *TRI) const;
68
69 void loadRegFromStackSlot(MachineBasicBlock &MBB,
70 MachineBasicBlock::iterator MI,
71 unsigned DestReg, int FrameIndex,
72 const TargetRegisterClass *RC,
73 const TargetRegisterInfo *TRI) const;
74
Christian Konig3c145802013-03-27 09:12:59 +000075 unsigned commuteOpcode(unsigned Opcode) const;
76
Christian Konig76edd4f2013-02-26 17:52:29 +000077 virtual MachineInstr *commuteInstruction(MachineInstr *MI,
78 bool NewMI=false) const;
79
Tom Stellard30f59412014-03-31 14:01:56 +000080 bool isTriviallyReMaterializable(const MachineInstr *MI,
81 AliasAnalysis *AA = 0) const;
82
Matt Arsenaulteaa3a7e2013-12-10 21:37:42 +000083 virtual unsigned getIEQOpcode() const {
84 llvm_unreachable("Unimplemented");
85 }
86
Tom Stellard26a3b672013-10-22 18:19:10 +000087 MachineInstr *buildMovInstr(MachineBasicBlock *MBB,
88 MachineBasicBlock::iterator I,
89 unsigned DstReg, unsigned SrcReg) const;
Tom Stellard75aadc22012-12-11 21:25:42 +000090 virtual bool isMov(unsigned Opcode) const;
91
92 virtual bool isSafeToMoveRegClassDefs(const TargetRegisterClass *RC) const;
Tom Stellard5d7aaae2014-02-10 16:58:30 +000093 bool isDS(uint16_t Opcode) const;
Tom Stellard16a9a202013-08-14 23:24:17 +000094 int isMIMG(uint16_t Opcode) const;
Michel Danzer20680b12013-08-16 16:19:24 +000095 int isSMRD(uint16_t Opcode) const;
Tom Stellard93fabce2013-10-10 17:11:55 +000096 bool isVOP1(uint16_t Opcode) const;
97 bool isVOP2(uint16_t Opcode) const;
98 bool isVOP3(uint16_t Opcode) const;
99 bool isVOPC(uint16_t Opcode) const;
100 bool isInlineConstant(const MachineOperand &MO) const;
101 bool isLiteralConstant(const MachineOperand &MO) const;
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000102
Tom Stellard93fabce2013-10-10 17:11:55 +0000103 virtual bool verifyInstruction(const MachineInstr *MI,
104 StringRef &ErrInfo) const;
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000105
Tom Stellard82166022013-11-13 23:36:37 +0000106 bool isSALUInstr(const MachineInstr &MI) const;
Matt Arsenaultf14032a2013-11-15 22:02:28 +0000107 static unsigned getVALUOp(const MachineInstr &MI);
Matt Arsenaultf35182c2014-03-24 20:08:05 +0000108
Tom Stellard82166022013-11-13 23:36:37 +0000109 bool isSALUOpSupportedOnVALU(const MachineInstr &MI) const;
110
111 /// \brief Return the correct register class for \p OpNo. For target-specific
112 /// instructions, this will return the register class that has been defined
113 /// in tablegen. For generic instructions, like REG_SEQUENCE it will return
114 /// the register class of its machine operand.
115 /// to infer the correct register class base on the other operands.
116 const TargetRegisterClass *getOpRegClass(const MachineInstr &MI,
117 unsigned OpNo) const;\
118
119 /// \returns true if it is legal for the operand at index \p OpNo
120 /// to read a VGPR.
121 bool canReadVGPR(const MachineInstr &MI, unsigned OpNo) const;
122
123 /// \brief Legalize the \p OpIndex operand of this instruction by inserting
124 /// a MOV. For example:
125 /// ADD_I32_e32 VGPR0, 15
126 /// to
127 /// MOV VGPR1, 15
128 /// ADD_I32_e32 VGPR0, VGPR1
129 ///
130 /// If the operand being legalized is a register, then a COPY will be used
131 /// instead of MOV.
132 void legalizeOpWithMove(MachineInstr *MI, unsigned OpIdx) const;
133
134 /// \brief Legalize all operands in this instruction. This function may
135 /// create new instruction and insert them before \p MI.
136 void legalizeOperands(MachineInstr *MI) const;
137
138 /// \brief Replace this instruction's opcode with the equivalent VALU
139 /// opcode. This function will also move the users of \p MI to the
140 /// VALU if necessary.
141 void moveToVALU(MachineInstr &MI) const;
142
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000143 virtual unsigned calculateIndirectAddress(unsigned RegIndex,
144 unsigned Channel) const;
145
Tom Stellard26a3b672013-10-22 18:19:10 +0000146 virtual const TargetRegisterClass *getIndirectAddrRegClass() const;
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000147
148 virtual MachineInstrBuilder buildIndirectWrite(MachineBasicBlock *MBB,
149 MachineBasicBlock::iterator I,
150 unsigned ValueReg,
151 unsigned Address,
152 unsigned OffsetReg) const;
153
154 virtual MachineInstrBuilder buildIndirectRead(MachineBasicBlock *MBB,
155 MachineBasicBlock::iterator I,
156 unsigned ValueReg,
157 unsigned Address,
158 unsigned OffsetReg) const;
Tom Stellard81d871d2013-11-13 23:36:50 +0000159 void reserveIndirectRegisters(BitVector &Reserved,
160 const MachineFunction &MF) const;
161
162 void LoadM0(MachineInstr *MoveRel, MachineBasicBlock::iterator I,
163 unsigned SavReg, unsigned IndexReg) const;
164};
Tom Stellard75aadc22012-12-11 21:25:42 +0000165
Christian Konigf741fbf2013-02-26 17:52:42 +0000166namespace AMDGPU {
167
168 int getVOPe64(uint16_t Opcode);
Christian Konig3c145802013-03-27 09:12:59 +0000169 int getCommuteRev(uint16_t Opcode);
170 int getCommuteOrig(uint16_t Opcode);
Christian Konigf741fbf2013-02-26 17:52:42 +0000171
Tom Stellard15834092014-03-21 15:51:57 +0000172 const uint64_t RSRC_DATA_FORMAT = 0xf00000000000LL;
173
174
Christian Konigf741fbf2013-02-26 17:52:42 +0000175} // End namespace AMDGPU
176
Tom Stellard75aadc22012-12-11 21:25:42 +0000177} // End namespace llvm
178
179namespace SIInstrFlags {
180 enum Flags {
181 // First 4 bits are the instruction encoding
Tom Stellard1c822a82013-02-07 19:39:45 +0000182 VM_CNT = 1 << 0,
183 EXP_CNT = 1 << 1,
184 LGKM_CNT = 1 << 2
Tom Stellard75aadc22012-12-11 21:25:42 +0000185 };
186}
187
188#endif //SIINSTRINFO_H