blob: 202183c18a8da430c848afec26707e186b0ad780 [file] [log] [blame]
Tom Stellard75aadc22012-12-11 21:25:42 +00001//===-- AMDGPUInstrInfo.h - AMDGPU 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/// \file
11/// \brief Contains the definition of a TargetInstrInfo class that is common
12/// to all AMD GPUs.
13//
14//===----------------------------------------------------------------------===//
15
Benjamin Kramera7c40ef2014-08-13 16:26:38 +000016#ifndef LLVM_LIB_TARGET_R600_AMDGPUINSTRINFO_H
17#define LLVM_LIB_TARGET_R600_AMDGPUINSTRINFO_H
Tom Stellard75aadc22012-12-11 21:25:42 +000018
Chandler Carruthbe810232013-01-02 10:22:59 +000019#include "AMDGPURegisterInfo.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000020#include "llvm/Target/TargetInstrInfo.h"
Tom Stellard75aadc22012-12-11 21:25:42 +000021#include <map>
22
23#define GET_INSTRINFO_HEADER
24#define GET_INSTRINFO_ENUM
Tom Stellard02661d92013-06-25 21:22:18 +000025#define GET_INSTRINFO_OPERAND_ENUM
Tom Stellard75aadc22012-12-11 21:25:42 +000026#include "AMDGPUGenInstrInfo.inc"
27
28#define OPCODE_IS_ZERO_INT AMDGPU::PRED_SETE_INT
29#define OPCODE_IS_NOT_ZERO_INT AMDGPU::PRED_SETNE_INT
30#define OPCODE_IS_ZERO AMDGPU::PRED_SETE
31#define OPCODE_IS_NOT_ZERO AMDGPU::PRED_SETNE
32
33namespace llvm {
34
Tom Stellard2e59a452014-06-13 01:32:00 +000035class AMDGPUSubtarget;
Tom Stellard75aadc22012-12-11 21:25:42 +000036class MachineFunction;
37class MachineInstr;
38class MachineInstrBuilder;
39
40class AMDGPUInstrInfo : public AMDGPUGenInstrInfo {
41private:
42 const AMDGPURegisterInfo RI;
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000043 virtual void anchor();
Tom Stellardf3b2a1e2013-02-06 17:32:29 +000044protected:
Tom Stellard2e59a452014-06-13 01:32:00 +000045 const AMDGPUSubtarget &ST;
Tom Stellard75aadc22012-12-11 21:25:42 +000046public:
Tom Stellard2e59a452014-06-13 01:32:00 +000047 explicit AMDGPUInstrInfo(const AMDGPUSubtarget &st);
Tom Stellard75aadc22012-12-11 21:25:42 +000048
49 virtual const AMDGPURegisterInfo &getRegisterInfo() const = 0;
50
51 bool isCoalescableExtInstr(const MachineInstr &MI, unsigned &SrcReg,
Craig Topper5656db42014-04-29 07:57:24 +000052 unsigned &DstReg, unsigned &SubIdx) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +000053
Craig Topper5656db42014-04-29 07:57:24 +000054 unsigned isLoadFromStackSlot(const MachineInstr *MI,
55 int &FrameIndex) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +000056 unsigned isLoadFromStackSlotPostFE(const MachineInstr *MI,
Craig Topper5656db42014-04-29 07:57:24 +000057 int &FrameIndex) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +000058 bool hasLoadFromStackSlot(const MachineInstr *MI,
59 const MachineMemOperand *&MMO,
Craig Topper5656db42014-04-29 07:57:24 +000060 int &FrameIndex) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +000061 unsigned isStoreFromStackSlot(const MachineInstr *MI, int &FrameIndex) const;
62 unsigned isStoreFromStackSlotPostFE(const MachineInstr *MI,
63 int &FrameIndex) const;
64 bool hasStoreFromStackSlot(const MachineInstr *MI,
65 const MachineMemOperand *&MMO,
66 int &FrameIndex) const;
67
68 MachineInstr *
69 convertToThreeAddress(MachineFunction::iterator &MFI,
70 MachineBasicBlock::iterator &MBBI,
Craig Topper5656db42014-04-29 07:57:24 +000071 LiveVariables *LV) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +000072
73
Craig Topper5656db42014-04-29 07:57:24 +000074 bool expandPostRAPseudo(MachineBasicBlock::iterator MI) const override;
Tom Stellard26a3b672013-10-22 18:19:10 +000075
Craig Topper5656db42014-04-29 07:57:24 +000076 void storeRegToStackSlot(MachineBasicBlock &MBB,
77 MachineBasicBlock::iterator MI,
78 unsigned SrcReg, bool isKill, int FrameIndex,
79 const TargetRegisterClass *RC,
80 const TargetRegisterInfo *TRI) const override;
81 void loadRegFromStackSlot(MachineBasicBlock &MBB,
82 MachineBasicBlock::iterator MI,
83 unsigned DestReg, int FrameIndex,
84 const TargetRegisterClass *RC,
85 const TargetRegisterInfo *TRI) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +000086
87protected:
88 MachineInstr *foldMemoryOperandImpl(MachineFunction &MF,
89 MachineInstr *MI,
90 const SmallVectorImpl<unsigned> &Ops,
Craig Topper5656db42014-04-29 07:57:24 +000091 int FrameIndex) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +000092 MachineInstr *foldMemoryOperandImpl(MachineFunction &MF,
93 MachineInstr *MI,
94 const SmallVectorImpl<unsigned> &Ops,
Craig Topper5656db42014-04-29 07:57:24 +000095 MachineInstr *LoadMI) const override;
Matt Arsenault3f981402014-09-15 15:41:53 +000096public:
Tom Stellard81d871d2013-11-13 23:36:50 +000097 /// \returns the smallest register index that will be accessed by an indirect
98 /// read or write or -1 if indirect addressing is not used by this program.
Craig Topperee7b0f32014-04-30 05:53:27 +000099 int getIndirectIndexBegin(const MachineFunction &MF) const;
Tom Stellard81d871d2013-11-13 23:36:50 +0000100
101 /// \returns the largest register index that will be accessed by an indirect
102 /// read or write or -1 if indirect addressing is not used by this program.
Craig Topperee7b0f32014-04-30 05:53:27 +0000103 int getIndirectIndexEnd(const MachineFunction &MF) const;
Tom Stellard81d871d2013-11-13 23:36:50 +0000104
Tom Stellard75aadc22012-12-11 21:25:42 +0000105 bool canFoldMemoryOperand(const MachineInstr *MI,
Craig Topper5656db42014-04-29 07:57:24 +0000106 const SmallVectorImpl<unsigned> &Ops) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000107 bool unfoldMemoryOperand(MachineFunction &MF, MachineInstr *MI,
Craig Topper5656db42014-04-29 07:57:24 +0000108 unsigned Reg, bool UnfoldLoad, bool UnfoldStore,
109 SmallVectorImpl<MachineInstr *> &NewMIs) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000110 bool unfoldMemoryOperand(SelectionDAG &DAG, SDNode *N,
Craig Topper5656db42014-04-29 07:57:24 +0000111 SmallVectorImpl<SDNode *> &NewNodes) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000112 unsigned getOpcodeAfterMemoryUnfold(unsigned Opc,
Craig Topper5656db42014-04-29 07:57:24 +0000113 bool UnfoldLoad, bool UnfoldStore,
114 unsigned *LoadRegIndex = nullptr) const override;
Matt Arsenault034d6662014-07-24 02:10:17 +0000115
116 bool enableClusterLoads() const override;
117
Tom Stellard75aadc22012-12-11 21:25:42 +0000118 bool shouldScheduleLoadsNear(SDNode *Load1, SDNode *Load2,
119 int64_t Offset1, int64_t Offset2,
Craig Topper5656db42014-04-29 07:57:24 +0000120 unsigned NumLoads) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000121
Craig Topper5656db42014-04-29 07:57:24 +0000122 bool
123 ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000124 void insertNoop(MachineBasicBlock &MBB,
Craig Topper5656db42014-04-29 07:57:24 +0000125 MachineBasicBlock::iterator MI) const override;
126 bool isPredicated(const MachineInstr *MI) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000127 bool SubsumesPredicate(const SmallVectorImpl<MachineOperand> &Pred1,
Craig Topper5656db42014-04-29 07:57:24 +0000128 const SmallVectorImpl<MachineOperand> &Pred2) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000129 bool DefinesPredicate(MachineInstr *MI,
Craig Topper5656db42014-04-29 07:57:24 +0000130 std::vector<MachineOperand> &Pred) const override;
131 bool isPredicable(MachineInstr *MI) const override;
132 bool isSafeToMoveRegClassDefs(const TargetRegisterClass *RC) const override;
Tom Stellard75aadc22012-12-11 21:25:42 +0000133
134 // Helper functions that check the opcode for status information
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000135 bool isRegisterStore(const MachineInstr &MI) const;
136 bool isRegisterLoad(const MachineInstr &MI) const;
137
Marek Olsaka93603d2015-01-15 18:42:51 +0000138 /// \brief Return a target-specific opcode if Opcode is a pseudo instruction.
139 /// Return -1 if the target-specific opcode for the pseudo instruction does
140 /// not exist. If Opcode is not a pseudo instruction, this is identity.
141 int pseudoToMCOpcode(int Opcode) const;
142
Marek Olsak3db6ba82015-02-03 17:37:57 +0000143 /// \brief Return the descriptor of the target-specific machine instruction
144 /// that corresponds to the specified pseudo or native opcode.
145 const MCInstrDesc &getMCOpcodeFromPseudo(unsigned Opcode) const {
146 return get(pseudoToMCOpcode(Opcode));
147 }
148
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000149//===---------------------------------------------------------------------===//
150// Pure virtual funtions to be implemented by sub-classes.
151//===---------------------------------------------------------------------===//
Tom Stellard75aadc22012-12-11 21:25:42 +0000152
Tom Stellard75aadc22012-12-11 21:25:42 +0000153 virtual bool isMov(unsigned opcode) const = 0;
154
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000155 /// \brief Calculate the "Indirect Address" for the given \p RegIndex and
156 /// \p Channel
157 ///
158 /// We model indirect addressing using a virtual address space that can be
159 /// accesed with loads and stores. The "Indirect Address" is the memory
160 /// address in this virtual address space that maps to the given \p RegIndex
161 /// and \p Channel.
162 virtual unsigned calculateIndirectAddress(unsigned RegIndex,
163 unsigned Channel) const = 0;
164
Tom Stellard26a3b672013-10-22 18:19:10 +0000165 /// \returns The register class to be used for loading and storing values
166 /// from an "Indirect Address" .
167 virtual const TargetRegisterClass *getIndirectAddrRegClass() const = 0;
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000168
169 /// \brief Build instruction(s) for an indirect register write.
170 ///
171 /// \returns The instruction that performs the indirect register write
172 virtual MachineInstrBuilder buildIndirectWrite(MachineBasicBlock *MBB,
173 MachineBasicBlock::iterator I,
174 unsigned ValueReg, unsigned Address,
175 unsigned OffsetReg) const = 0;
176
177 /// \brief Build instruction(s) for an indirect register read.
178 ///
179 /// \returns The instruction that performs the indirect register read
180 virtual MachineInstrBuilder buildIndirectRead(MachineBasicBlock *MBB,
181 MachineBasicBlock::iterator I,
182 unsigned ValueReg, unsigned Address,
183 unsigned OffsetReg) const = 0;
184
Tom Stellard26a3b672013-10-22 18:19:10 +0000185 /// \brief Build a MOV instruction.
186 virtual MachineInstr *buildMovInstr(MachineBasicBlock *MBB,
187 MachineBasicBlock::iterator I,
188 unsigned DstReg, unsigned SrcReg) const = 0;
189
Tom Stellard682bfbc2013-10-10 17:11:24 +0000190 /// \brief Given a MIMG \p Opcode that writes all 4 channels, return the
191 /// equivalent opcode that writes \p Channels Channels.
192 int getMaskedMIMGOp(uint16_t Opcode, unsigned Channels) const;
Tom Stellard26a3b672013-10-22 18:19:10 +0000193
Tom Stellard75aadc22012-12-11 21:25:42 +0000194};
195
Tom Stellard02661d92013-06-25 21:22:18 +0000196namespace AMDGPU {
197 int16_t getNamedOperandIdx(uint16_t Opcode, uint16_t NamedIndex);
198} // End namespace AMDGPU
199
Tom Stellard75aadc22012-12-11 21:25:42 +0000200} // End llvm namespace
201
Tom Stellardf3b2a1e2013-02-06 17:32:29 +0000202#define AMDGPU_FLAG_REGISTER_LOAD (UINT64_C(1) << 63)
203#define AMDGPU_FLAG_REGISTER_STORE (UINT64_C(1) << 62)
204
Benjamin Kramera7c40ef2014-08-13 16:26:38 +0000205#endif