LLVM 24.0.0git
AMDGPUGlobalISelUtils.cpp
Go to the documentation of this file.
1//===- AMDGPUGlobalISelUtils.cpp ---------------------------------*- 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
12#include "llvm/ADT/DenseSet.h"
18#include "llvm/IR/Constants.h"
19#include "llvm/IR/IntrinsicsAMDGPU.h"
20
21using namespace llvm;
22using namespace AMDGPU;
23using namespace MIPatternMatch;
24
25std::pair<Register, unsigned>
27 GISelValueTracking *ValueTracking,
28 bool CheckNUW) {
29 MachineInstr *Def = getDefIgnoringCopies(Reg, MRI);
30 if (Def->getOpcode() == TargetOpcode::G_CONSTANT) {
31 unsigned Offset;
32 const MachineOperand &Op = Def->getOperand(1);
33 if (Op.isImm())
34 Offset = Op.getImm();
35 else
36 Offset = Op.getCImm()->getZExtValue();
37
38 return std::pair(Register(), Offset);
39 }
40
41 int64_t Offset;
42 if (Def->getOpcode() == TargetOpcode::G_ADD) {
43 // A 32-bit (address + offset) should not cause unsigned 32-bit integer
44 // wraparound, because s_load instructions perform the addition in 64 bits.
45 if (CheckNUW && !Def->getFlag(MachineInstr::NoUWrap)) {
46 assert(MRI.getType(Reg).getScalarSizeInBits() == 32);
47 return std::pair(Reg, 0);
48 }
49 // TODO: Handle G_OR used for add case
50 if (mi_match(Def->getOperand(2).getReg(), MRI, m_ICst(Offset)))
51 return std::pair(Def->getOperand(1).getReg(), Offset);
52
53 // FIXME: matcher should ignore copies
54 if (mi_match(Def->getOperand(2).getReg(), MRI, m_Copy(m_ICst(Offset))))
55 return std::pair(Def->getOperand(1).getReg(), Offset);
56 }
57
59 if (ValueTracking && mi_match(Reg, MRI, m_GOr(m_Reg(Base), m_ICst(Offset))) &&
60 ValueTracking->maskedValueIsZero(Base,
61 APInt(32, Offset, /*isSigned=*/true)))
62 return std::pair(Base, Offset);
63
64 // Handle G_PTRTOINT (G_PTR_ADD base, const) case
65 if (Def->getOpcode() == TargetOpcode::G_PTRTOINT) {
67 Register PtrAdd = Def->getOperand(1).getReg();
68 uint32_t Flags;
69 if (mi_match(PtrAdd, MRI,
71 // Same check as for G_ADD; nuw comes from getelementptr inbounds.
72 if (CheckNUW && !(Flags & MachineInstr::NoUWrap)) {
73 assert(MRI.getType(Reg).getScalarSizeInBits() == 32);
74 return std::pair(Reg, 0);
75 }
76 // If Base was int converted to pointer, simply return int and offset.
77 if (Base->getOpcode() == TargetOpcode::G_INTTOPTR)
78 return std::pair(Base->getOperand(1).getReg(), Offset);
79
80 // Register returned here will be of pointer type.
81 return std::pair(Base->getOperand(0).getReg(), Offset);
82 }
83 }
84
85 return std::pair(Reg, 0);
86}
87
89 : MRI(MF.getRegInfo()) {
90 initLaneMaskIntrinsics(MF);
91}
92
94 return S32S64LaneMask.contains(Reg);
95}
96
97void IntrinsicLaneMaskAnalyzer::initLaneMaskIntrinsics(MachineFunction &MF) {
98 for (auto &MBB : MF) {
99 for (auto &MI : MBB) {
101 if (GI && GI->is(Intrinsic::amdgcn_if_break)) {
102 S32S64LaneMask.insert(MI.getOperand(3).getReg());
103 S32S64LaneMask.insert(MI.getOperand(0).getReg());
104 }
105
106 if (MI.getOpcode() == AMDGPU::SI_IF ||
107 MI.getOpcode() == AMDGPU::SI_ELSE) {
108 S32S64LaneMask.insert(MI.getOperand(0).getReg());
109 }
110 }
111 }
112}
113
115 if (Ty.isVector()) {
116 LLT ElTy = Ty.getElementType();
117 if (ElTy.getSizeInBits() == 16)
118 return LLT::fixed_vector(2, ElTy);
119 // S32, S64 or pointer
120 return ElTy;
121 }
122
123 // Large scalars and 64-bit pointers
124 return LLT::integer(32);
125}
126
127template <typename ReadLaneFnTy>
128static Register buildReadLane(MachineIRBuilder &, Register,
129 const RegisterBankInfo &, ReadLaneFnTy);
130
131template <typename ReadLaneFnTy>
132static void
134 LLT UnmergeTy, Register VgprSrc, const RegisterBankInfo &RBI,
135 ReadLaneFnTy BuildRL) {
136 const RegisterBank *VgprRB = &RBI.getRegBank(AMDGPU::VGPRRegBankID);
137 auto Unmerge = B.buildUnmerge({VgprRB, UnmergeTy}, VgprSrc);
138 for (unsigned i = 0; i < Unmerge->getNumOperands() - 1; ++i) {
139 SgprDstParts.push_back(buildReadLane(B, Unmerge.getReg(i), RBI, BuildRL));
140 }
141}
142
143template <typename ReadLaneFnTy>
145 const RegisterBankInfo &RBI,
146 ReadLaneFnTy BuildRL) {
147 LLT Ty = B.getMRI()->getType(VgprSrc);
148 const RegisterBank *SgprRB = &RBI.getRegBank(AMDGPU::SGPRRegBankID);
149 if (Ty.getSizeInBits() == 32) {
150 Register SgprDst = B.getMRI()->createVirtualRegister({SgprRB, Ty});
151 return BuildRL(B, SgprDst, VgprSrc).getReg(0);
152 }
153
154 SmallVector<Register, 8> SgprDstParts;
155 unmergeReadAnyLane(B, SgprDstParts, getReadAnyLaneSplitTy(Ty), VgprSrc, RBI,
156 BuildRL);
157
158 return B.buildMergeLikeInstr({SgprRB, Ty}, SgprDstParts).getReg(0);
159}
160
161template <typename ReadLaneFnTy>
163 Register VgprSrc, const RegisterBankInfo &RBI,
164 ReadLaneFnTy BuildReadLane) {
165 LLT Ty = B.getMRI()->getType(VgprSrc);
166 if (Ty.getSizeInBits() == 32) {
167 BuildReadLane(B, SgprDst, VgprSrc);
168 return;
169 }
170
171 SmallVector<Register, 8> SgprDstParts;
172 unmergeReadAnyLane(B, SgprDstParts, getReadAnyLaneSplitTy(Ty), VgprSrc, RBI,
173 BuildReadLane);
174
175 B.buildMergeLikeInstr(SgprDst, SgprDstParts).getReg(0);
176}
177
179 Register VgprSrc, const RegisterBankInfo &RBI) {
180 return buildReadLane(
181 B, SgprDst, VgprSrc, RBI,
182 [](MachineIRBuilder &B, Register SgprDst, Register VgprSrc) {
183 return B.buildInstr(AMDGPU::G_AMDGPU_READANYLANE, {SgprDst}, {VgprSrc});
184 });
185}
186
188 Register VgprSrc, const RegisterBankInfo &RBI) {
189 return buildReadLane(
190 B, SgprDst, VgprSrc, RBI,
191 [](MachineIRBuilder &B, Register SgprDst, Register VgprSrc) {
192 return B.buildIntrinsic(Intrinsic::amdgcn_readfirstlane, SgprDst)
193 .addReg(VgprSrc);
194 });
195}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
static LLT getReadAnyLaneSplitTy(LLT Ty)
static Register buildReadLane(MachineIRBuilder &, Register, const RegisterBankInfo &, ReadLaneFnTy)
static void unmergeReadAnyLane(MachineIRBuilder &B, SmallVectorImpl< Register > &SgprDstParts, LLT UnmergeTy, Register VgprSrc, const RegisterBankInfo &RBI, ReadLaneFnTy BuildRL)
Provides AMDGPU specific target descriptions.
This file declares the targeting of the RegisterBankInfo class for AMDGPU.
MachineBasicBlock & MBB
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
This file contains the declarations for the subclasses of Constant, which represent the different fla...
This file defines the DenseSet and SmallDenseSet classes.
Provides analysis for querying information about KnownBits during GISel passes.
Declares convenience wrapper classes for interpreting MachineInstr instances as specific generic oper...
IRTranslator LLVM IR MI
Implement a low-level type suitable for MachineInstr level instruction selection.
Contains matchers for matching SSA Machine Instructions.
This file declares the MachineIRBuilder class.
Promote Memory to Register
Definition Mem2Reg.cpp:110
static MCRegister getReg(const MCDisassembler *D, unsigned RC, unsigned RegNo)
Class for arbitrary precision integers.
Definition APInt.h:78
bool maskedValueIsZero(Register Val, const APInt &Mask)
Represents a call to an intrinsic.
bool is(Intrinsic::ID ID) const
constexpr unsigned getScalarSizeInBits() const
constexpr TypeSize getSizeInBits() const
Returns the total size of the type. Must only be called on sized types.
static constexpr LLT fixed_vector(unsigned NumElements, unsigned ScalarSizeInBits)
Get a low-level fixed-width vector of some number of elements and element width.
static LLT integer(unsigned SizeInBits)
LLT getElementType() const
Returns the vector's element type. Only valid for vector types.
Helper class to build MachineInstr.
Representation of each machine instruction.
MachineOperand class - Representation of each machine instruction operand.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
LLT getType(Register Reg) const
Get the low-level type of Reg or LLT{} if Reg is not a generic (target independent) virtual register.
Holds all the information related to register banks.
const RegisterBank & getRegBank(unsigned ID)
Get the register bank identified by ID.
This class implements the register bank concept.
Wrapper class representing virtual and physical registers.
Definition Register.h:20
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
std::pair< Register, unsigned > getBaseWithConstantOffset(MachineRegisterInfo &MRI, Register Reg, GISelValueTracking *ValueTracking=nullptr, bool CheckNUW=false)
Returns base register and constant offset.
void buildReadAnyLane(MachineIRBuilder &B, Register SgprDst, Register VgprSrc, const RegisterBankInfo &RBI)
void buildReadFirstLane(MachineIRBuilder &B, Register SgprDst, Register VgprSrc, const RegisterBankInfo &RBI)
operand_type_match m_Reg()
UnaryOp_match< SrcTy, TargetOpcode::COPY > m_Copy(SrcTy &&Src)
MIFlagsRef m_MIFlags(uint32_t &Flags)
ConstantMatch< APInt > m_ICst(APInt &Cst)
BinaryOp_match< LHS, RHS, TargetOpcode::G_OR, true > m_GOr(const LHS &L, const RHS &R)
bool mi_match(Reg R, const MachineRegisterInfo &MRI, Pattern &&P)
BinaryOp_match< LHS, RHS, TargetOpcode::G_PTR_ADD, false > m_GPtrAdd(const LHS &L, const RHS &R)
bind_ty< MachineInstr * > m_MInstr(MachineInstr *&MI)
This is an optimization pass for GlobalISel generic memory operations.
@ Offset
Definition DWP.cpp:578
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
LLVM_ABI MachineInstr * getDefIgnoringCopies(Register Reg, const MachineRegisterInfo &MRI)
Find the def instruction for Reg, folding away any trivial copies.
Definition Utils.cpp:497
DWARFExpression::Operation Op