LLVM 23.0.0git
SystemZSelectionDAGInfo.cpp
Go to the documentation of this file.
1//===-- SystemZSelectionDAGInfo.cpp - SystemZ SelectionDAG Info -----------===//
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 implements the SystemZSelectionDAGInfo class.
10//
11//===----------------------------------------------------------------------===//
12
16
17#define GET_SDNODE_DESC
18#include "SystemZGenSDNodeInfo.inc"
19
20using namespace llvm;
21
22#define DEBUG_TYPE "systemz-selectiondag-info"
23
26
27const char *SystemZSelectionDAGInfo::getTargetNodeName(unsigned Opcode) const {
28 switch (static_cast<SystemZISD::NodeType>(Opcode)) {
30 return "SystemZISD::GET_CCMASK";
31 }
32
34}
35
36static unsigned getMemMemLenAdj(unsigned Op) {
37 return Op == SystemZISD::MEMSET_MVC ? 2 : 1;
38}
39
40static SDValue createMemMemNode(SelectionDAG &DAG, const SDLoc &DL, unsigned Op,
41 SDValue Chain, SDValue Dst, SDValue Src,
42 SDValue LenAdj, SDValue Byte) {
43 SDVTList VTs = Op == SystemZISD::CLC ? DAG.getVTList(MVT::i32, MVT::Other)
44 : DAG.getVTList(MVT::Other);
46 if (Op == SystemZISD::MEMSET_MVC)
47 Ops = { Chain, Dst, LenAdj, Byte };
48 else
49 Ops = { Chain, Dst, Src, LenAdj };
50 return DAG.getNode(Op, DL, VTs, Ops);
51}
52
53// Emit a mem-mem operation after subtracting one (or two for memset) from
54// size, which will be added back during pseudo expansion. As the Reg case
55// emitted here may be converted by DAGCombiner into having an Imm length,
56// they are both emitted the same way.
57static SDValue emitMemMemImm(SelectionDAG &DAG, const SDLoc &DL, unsigned Op,
58 SDValue Chain, SDValue Dst, SDValue Src,
59 uint64_t Size, SDValue Byte = SDValue()) {
60 unsigned Adj = getMemMemLenAdj(Op);
61 assert(Size >= Adj && "Adjusted length overflow.");
62 SDValue LenAdj = DAG.getConstant(Size - Adj, DL, Dst.getValueType());
63 return createMemMemNode(DAG, DL, Op, Chain, Dst, Src, LenAdj, Byte);
64}
65
66static SDValue emitMemMemReg(SelectionDAG &DAG, const SDLoc &DL, unsigned Op,
67 SDValue Chain, SDValue Dst, SDValue Src,
68 SDValue Size, SDValue Byte = SDValue()) {
69 int64_t Adj = getMemMemLenAdj(Op);
70 SDValue LenAdj = DAG.getNode(ISD::ADD, DL, MVT::i64,
71 DAG.getZExtOrTrunc(Size, DL, MVT::i64),
72 DAG.getSignedConstant(0 - Adj, DL, MVT::i64));
73 return createMemMemNode(DAG, DL, Op, Chain, Dst, Src, LenAdj, Byte);
74}
75
77 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Dst, SDValue Src,
78 SDValue Size, Align DstAlign, Align SrcAlign, bool IsVolatile,
79 bool AlwaysInline, MachinePointerInfo DstPtrInfo,
80 MachinePointerInfo SrcPtrInfo) const {
81 if (IsVolatile)
82 return SDValue();
83
84 if (auto *CSize = dyn_cast<ConstantSDNode>(Size))
85 return emitMemMemImm(DAG, DL, SystemZISD::MVC, Chain, Dst, Src,
86 CSize->getZExtValue());
87
88 return emitMemMemReg(DAG, DL, SystemZISD::MVC, Chain, Dst, Src, Size);
89}
90
91// Handle a memset of 1, 2, 4 or 8 bytes with the operands given by
92// Chain, Dst, ByteVal and Size. These cases are expected to use
93// MVI, MVHHI, MVHI and MVGHI respectively.
94static SDValue memsetStore(SelectionDAG &DAG, const SDLoc &DL, SDValue Chain,
95 SDValue Dst, uint64_t ByteVal, uint64_t Size,
96 Align Alignment, MachinePointerInfo DstPtrInfo) {
97 uint64_t StoreVal = ByteVal;
98 for (unsigned I = 1; I < Size; ++I)
99 StoreVal |= ByteVal << (I * 8);
100 return DAG.getStore(
101 Chain, DL, DAG.getConstant(StoreVal, DL, MVT::getIntegerVT(Size * 8)),
102 Dst, DstPtrInfo, Alignment);
103}
104
106 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Dst,
107 SDValue Byte, SDValue Size, Align Alignment, bool IsVolatile,
108 bool AlwaysInline, MachinePointerInfo DstPtrInfo) const {
109 EVT PtrVT = Dst.getValueType();
110
111 if (IsVolatile)
112 return SDValue();
113
114 auto *CByte = dyn_cast<ConstantSDNode>(Byte);
115 if (auto *CSize = dyn_cast<ConstantSDNode>(Size)) {
116 uint64_t Bytes = CSize->getZExtValue();
117 if (Bytes == 0)
118 return SDValue();
119 if (CByte) {
120 // Handle cases that can be done using at most two of
121 // MVI, MVHI, MVHHI and MVGHI. The latter two can only be
122 // used if ByteVal is all zeros or all ones; in other cases,
123 // we can move at most 2 halfwords.
124 uint64_t ByteVal = CByte->getZExtValue();
125 if (ByteVal == 0 || ByteVal == 255
126 ? Bytes <= 16 && llvm::popcount(Bytes) <= 2
127 : Bytes <= 4) {
128 unsigned Size1 = Bytes == 16 ? 8 : llvm::bit_floor(Bytes);
129 unsigned Size2 = Bytes - Size1;
130 SDValue Chain1 = memsetStore(DAG, DL, Chain, Dst, ByteVal, Size1,
131 Alignment, DstPtrInfo);
132 if (Size2 == 0)
133 return Chain1;
134 Dst = DAG.getNode(ISD::ADD, DL, PtrVT, Dst,
135 DAG.getConstant(Size1, DL, PtrVT));
136 DstPtrInfo = DstPtrInfo.getWithOffset(Size1);
137 SDValue Chain2 =
138 memsetStore(DAG, DL, Chain, Dst, ByteVal, Size2,
139 std::min(Alignment, Align(Size1)), DstPtrInfo);
140 return DAG.getNode(ISD::TokenFactor, DL, MVT::Other, Chain1, Chain2);
141 }
142 } else {
143 // Handle one and two bytes using STC.
144 if (Bytes <= 2) {
145 SDValue Chain1 =
146 DAG.getStore(Chain, DL, Byte, Dst, DstPtrInfo, Alignment);
147 if (Bytes == 1)
148 return Chain1;
149 SDValue Dst2 = DAG.getNode(ISD::ADD, DL, PtrVT, Dst,
150 DAG.getConstant(1, DL, PtrVT));
151 SDValue Chain2 = DAG.getStore(Chain, DL, Byte, Dst2,
152 DstPtrInfo.getWithOffset(1), Align(1));
153 return DAG.getNode(ISD::TokenFactor, DL, MVT::Other, Chain1, Chain2);
154 }
155 }
156 assert(Bytes >= 2 && "Should have dealt with 0- and 1-byte cases already");
157
158 // Handle the special case of a memset of 0, which can use XC.
159 if (CByte && CByte->getZExtValue() == 0)
160 return emitMemMemImm(DAG, DL, SystemZISD::XC, Chain, Dst, Dst, Bytes);
161
162 return emitMemMemImm(DAG, DL, SystemZISD::MEMSET_MVC, Chain, Dst, SDValue(),
163 Bytes, DAG.getAnyExtOrTrunc(Byte, DL, MVT::i32));
164 }
165
166 // Variable length
167 if (CByte && CByte->getZExtValue() == 0)
168 // Handle the special case of a variable length memset of 0 with XC.
169 return emitMemMemReg(DAG, DL, SystemZISD::XC, Chain, Dst, Dst, Size);
170
171 return emitMemMemReg(DAG, DL, SystemZISD::MEMSET_MVC, Chain, Dst, SDValue(),
172 Size, DAG.getAnyExtOrTrunc(Byte, DL, MVT::i32));
173}
174
175// Convert the current CC value into an integer that is 0 if CC == 0,
176// greater than zero if CC == 1 and less than zero if CC >= 2.
177// The sequence starts with IPM, which puts CC into bits 29 and 28
178// of an integer and clears bits 30 and 31.
179static SDValue addIPMSequence(const SDLoc &DL, SDValue CCReg,
180 SelectionDAG &DAG) {
181 SDValue IPM = DAG.getNode(SystemZISD::IPM, DL, MVT::i32, CCReg);
182 SDValue SHL = DAG.getNode(ISD::SHL, DL, MVT::i32, IPM,
183 DAG.getConstant(30 - SystemZ::IPM_CC, DL, MVT::i32));
184 SDValue SRA = DAG.getNode(ISD::SRA, DL, MVT::i32, SHL,
185 DAG.getConstant(30, DL, MVT::i32));
186 return SRA;
187}
188
190 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src1,
191 SDValue Src2, SDValue Size, const CallInst *CI) const {
192 SDValue CCReg;
193 // Swap operands to invert CC == 1 vs. CC == 2 cases.
194 if (auto *CSize = dyn_cast<ConstantSDNode>(Size)) {
195 uint64_t Bytes = CSize->getZExtValue();
196 assert(Bytes > 0 && "Caller should have handled 0-size case");
197 CCReg = emitMemMemImm(DAG, DL, SystemZISD::CLC, Chain, Src2, Src1, Bytes);
198 } else
199 CCReg = emitMemMemReg(DAG, DL, SystemZISD::CLC, Chain, Src2, Src1, Size);
200 Chain = CCReg.getValue(1);
201 return std::make_pair(addIPMSequence(DL, CCReg, DAG), Chain);
202}
203
205 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src,
206 SDValue Char, SDValue Length, MachinePointerInfo SrcPtrInfo) const {
207 // Use SRST to find the character. End is its address on success.
208 EVT PtrVT = Src.getValueType();
209 SDVTList VTs = DAG.getVTList(PtrVT, MVT::i32, MVT::Other);
210 Length = DAG.getZExtOrTrunc(Length, DL, PtrVT);
211 Char = DAG.getZExtOrTrunc(Char, DL, MVT::i32);
212 Char = DAG.getNode(ISD::AND, DL, MVT::i32, Char,
213 DAG.getConstant(255, DL, MVT::i32));
214 SDValue Limit = DAG.getNode(ISD::ADD, DL, PtrVT, Src, Length);
215 SDValue End = DAG.getNode(SystemZISD::SEARCH_STRING, DL, VTs, Chain,
216 Limit, Src, Char);
217 SDValue CCReg = End.getValue(1);
218 Chain = End.getValue(2);
219
220 // Now select between End and null, depending on whether the character
221 // was found.
222 SDValue Ops[] = {
223 End, DAG.getConstant(0, DL, PtrVT),
225 DAG.getTargetConstant(SystemZ::CCMASK_SRST_FOUND, DL, MVT::i32), CCReg};
226 End = DAG.getNode(SystemZISD::SELECT_CCMASK, DL, PtrVT, Ops);
227 return std::make_pair(End, Chain);
228}
229
231 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Dest,
232 SDValue Src, MachinePointerInfo DestPtrInfo, MachinePointerInfo SrcPtrInfo,
233 bool isStpcpy, const CallInst *CI) const {
234 SDVTList VTs = DAG.getVTList(Dest.getValueType(), MVT::Other);
235 SDValue EndDest = DAG.getNode(SystemZISD::STPCPY, DL, VTs, Chain, Dest, Src,
236 DAG.getConstant(0, DL, MVT::i32));
237 return std::make_pair(isStpcpy ? EndDest : Dest, EndDest.getValue(1));
238}
239
241 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src1,
242 SDValue Src2, MachinePointerInfo Op1PtrInfo, MachinePointerInfo Op2PtrInfo,
243 const CallInst *CI) const {
244 SDVTList VTs = DAG.getVTList(Src1.getValueType(), MVT::i32, MVT::Other);
245 // Swap operands to invert CC == 1 vs. CC == 2 cases.
246 SDValue Unused = DAG.getNode(SystemZISD::STRCMP, DL, VTs, Chain, Src2, Src1,
247 DAG.getConstant(0, DL, MVT::i32));
248 SDValue CCReg = Unused.getValue(1);
249 Chain = Unused.getValue(2);
250 return std::make_pair(addIPMSequence(DL, CCReg, DAG), Chain);
251}
252
253// Search from Src for a null character, stopping once Src reaches Limit.
254// Return a pair of values, the first being the number of nonnull characters
255// and the second being the out chain.
256//
257// This can be used for strlen by setting Limit to 0.
258static std::pair<SDValue, SDValue> getBoundedStrlen(SelectionDAG &DAG,
259 const SDLoc &DL,
260 SDValue Chain, SDValue Src,
261 SDValue Limit) {
262 EVT PtrVT = Src.getValueType();
263 SDVTList VTs = DAG.getVTList(PtrVT, MVT::i32, MVT::Other);
264 SDValue End = DAG.getNode(SystemZISD::SEARCH_STRING, DL, VTs, Chain,
265 Limit, Src, DAG.getConstant(0, DL, MVT::i32));
266 Chain = End.getValue(2);
267 SDValue Len = DAG.getNode(ISD::SUB, DL, PtrVT, End, Src);
268 return std::make_pair(Len, Chain);
269}
270
272 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src,
273 const CallInst *CI) const {
274 EVT PtrVT = Src.getValueType();
275 return getBoundedStrlen(DAG, DL, Chain, Src, DAG.getConstant(0, DL, PtrVT));
276}
277
279 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src,
280 SDValue MaxLength, MachinePointerInfo SrcPtrInfo) const {
281 EVT PtrVT = Src.getValueType();
282 MaxLength = DAG.getZExtOrTrunc(MaxLength, DL, PtrVT);
283 SDValue Limit = DAG.getNode(ISD::ADD, DL, PtrVT, Src, MaxLength);
284 return getBoundedStrlen(DAG, DL, Chain, Src, Limit);
285}
return SDValue()
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
#define I(x, y, z)
Definition MD5.cpp:57
static SDValue emitMemMemReg(SelectionDAG &DAG, const SDLoc &DL, unsigned Op, SDValue Chain, SDValue Dst, SDValue Src, SDValue Size, SDValue Byte=SDValue())
static std::pair< SDValue, SDValue > getBoundedStrlen(SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src, SDValue Limit)
static unsigned getMemMemLenAdj(unsigned Op)
static SDValue addIPMSequence(const SDLoc &DL, SDValue CCReg, SelectionDAG &DAG)
static SDValue memsetStore(SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Dst, uint64_t ByteVal, uint64_t Size, Align Alignment, MachinePointerInfo DstPtrInfo)
static SDValue createMemMemNode(SelectionDAG &DAG, const SDLoc &DL, unsigned Op, SDValue Chain, SDValue Dst, SDValue Src, SDValue LenAdj, SDValue Byte)
static SDValue emitMemMemImm(SelectionDAG &DAG, const SDLoc &DL, unsigned Op, SDValue Chain, SDValue Dst, SDValue Src, uint64_t Size, SDValue Byte=SDValue())
This class represents a function call, abstracting a target machine's calling convention.
static MVT getIntegerVT(unsigned BitWidth)
Wrapper class for IR location info (IR ordering and DebugLoc) to be passed into SDNode creation funct...
Unlike LLVM values, Selection DAG nodes may return multiple values as the result of a computation.
SDValue getValue(unsigned R) const
EVT getValueType() const
Return the ValueType of the referenced return value.
const char * getTargetNodeName(unsigned Opcode) const override
Returns the name of the given target-specific opcode, suitable for debug printing.
SelectionDAGGenTargetInfo(const SDNodeInfo &GenNodeInfo)
This is used to represent a portion of an LLVM function in a low-level Data Dependence DAG representa...
LLVM_ABI SDVTList getVTList(EVT VT)
Return an SDVTList that represents the list of values specified.
LLVM_ABI SDValue getConstant(uint64_t Val, const SDLoc &DL, EVT VT, bool isTarget=false, bool isOpaque=false)
Create a ConstantSDNode wrapping a constant value.
LLVM_ABI SDValue getStore(SDValue Chain, const SDLoc &dl, SDValue Val, SDValue Ptr, MachinePointerInfo PtrInfo, Align Alignment, MachineMemOperand::Flags MMOFlags=MachineMemOperand::MONone, const AAMDNodes &AAInfo=AAMDNodes())
Helper function to build ISD::STORE nodes.
LLVM_ABI SDValue getSignedConstant(int64_t Val, const SDLoc &DL, EVT VT, bool isTarget=false, bool isOpaque=false)
LLVM_ABI SDValue getAnyExtOrTrunc(SDValue Op, const SDLoc &DL, EVT VT)
Convert Op, which must be of integer type, to the integer type VT, by either any-extending or truncat...
LLVM_ABI SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, ArrayRef< SDUse > Ops)
Gets or creates the specified node.
SDValue getTargetConstant(uint64_t Val, const SDLoc &DL, EVT VT, bool isOpaque=false)
LLVM_ABI SDValue getZExtOrTrunc(SDValue Op, const SDLoc &DL, EVT VT)
Convert Op, which must be of integer type, to the integer type VT, by either zero-extending or trunca...
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
const char * getTargetNodeName(unsigned Opcode) const override
Returns the name of the given target-specific opcode, suitable for debug printing.
SDValue EmitTargetCodeForMemset(SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Dst, SDValue Byte, SDValue Size, Align Alignment, bool IsVolatile, bool AlwaysInline, MachinePointerInfo DstPtrInfo) const override
Emit target-specific code that performs a memset.
std::pair< SDValue, SDValue > EmitTargetCodeForMemchr(SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src, SDValue Char, SDValue Length, MachinePointerInfo SrcPtrInfo) const override
Emit target-specific code that performs a memchr, in cases where that is faster than a libcall.
std::pair< SDValue, SDValue > EmitTargetCodeForMemcmp(SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src1, SDValue Src2, SDValue Size, const CallInst *CI) const override
Emit target-specific code that performs a memcmp/bcmp, in cases where that is faster than a libcall.
SDValue EmitTargetCodeForMemcpy(SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Dst, SDValue Src, SDValue Size, Align DstAlign, Align SrcAlign, bool IsVolatile, bool AlwaysInline, MachinePointerInfo DstPtrInfo, MachinePointerInfo SrcPtrInfo) const override
Emit target-specific code that performs a memcpy.
std::pair< SDValue, SDValue > EmitTargetCodeForStrnlen(SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src, SDValue MaxLength, MachinePointerInfo SrcPtrInfo) const override
std::pair< SDValue, SDValue > EmitTargetCodeForStrlen(SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src, const CallInst *CI) const override
std::pair< SDValue, SDValue > EmitTargetCodeForStrcpy(SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Dest, SDValue Src, MachinePointerInfo DestPtrInfo, MachinePointerInfo SrcPtrInfo, bool isStpcpy, const CallInst *CI) const override
Emit target-specific code that performs a strcpy or stpcpy, in cases where that is faster than a libc...
std::pair< SDValue, SDValue > EmitTargetCodeForStrcmp(SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src1, SDValue Src2, MachinePointerInfo Op1PtrInfo, MachinePointerInfo Op2PtrInfo, const CallInst *CI) const override
Emit target-specific code that performs a strcmp, in cases where that is faster than a libcall.
@ ADD
Simple integer binary arithmetic operators.
Definition ISDOpcodes.h:264
@ SHL
Shift and rotation operations.
Definition ISDOpcodes.h:769
@ AND
Bitwise operators - logical and, logical or, logical xor.
Definition ISDOpcodes.h:739
@ TokenFactor
TokenFactor - This node takes multiple tokens as input and produces a single token result.
Definition ISDOpcodes.h:53
const unsigned CCMASK_SRST
Definition SystemZ.h:75
const unsigned CCMASK_SRST_FOUND
Definition SystemZ.h:73
const unsigned IPM_CC
Definition SystemZ.h:113
This is an optimization pass for GlobalISel generic memory operations.
@ Length
Definition DWP.cpp:558
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
constexpr int popcount(T Value) noexcept
Count the number of set bits in a value.
Definition bit.h:156
DWARFExpression::Operation Op
T bit_floor(T Value)
Returns the largest integral power of two no greater than Value if Value is nonzero.
Definition bit.h:347
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
Extended Value Type.
Definition ValueTypes.h:35
This class contains a discriminated union of information about pointers in memory operands,...
MachinePointerInfo getWithOffset(int64_t O) const
This represents a list of ValueType's that has been intern'd by a SelectionDAG.