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
13 #include "SystemZTargetMachine.h"
14 #include "llvm/CodeGen/SelectionDAG.h"
15
16 using namespace llvm;
17
18 #define DEBUG_TYPE "systemz-selectiondag-info"
19
getMemMemLenAdj(unsigned Op)20 static unsigned getMemMemLenAdj(unsigned Op) {
21 return Op == SystemZISD::MEMSET_MVC ? 2 : 1;
22 }
23
createMemMemNode(SelectionDAG & DAG,const SDLoc & DL,unsigned Op,SDValue Chain,SDValue Dst,SDValue Src,SDValue LenAdj,SDValue Byte)24 static SDValue createMemMemNode(SelectionDAG &DAG, const SDLoc &DL, unsigned Op,
25 SDValue Chain, SDValue Dst, SDValue Src,
26 SDValue LenAdj, SDValue Byte) {
27 SDVTList VTs = Op == SystemZISD::CLC ? DAG.getVTList(MVT::i32, MVT::Other)
28 : DAG.getVTList(MVT::Other);
29 SmallVector<SDValue, 6> Ops;
30 if (Op == SystemZISD::MEMSET_MVC)
31 Ops = { Chain, Dst, LenAdj, Byte };
32 else
33 Ops = { Chain, Dst, Src, LenAdj };
34 return DAG.getNode(Op, DL, VTs, Ops);
35 }
36
37 // Emit a mem-mem operation after subtracting one (or two for memset) from
38 // size, which will be added back during pseudo expansion. As the Reg case
39 // emitted here may be converted by DAGCombiner into having an Imm length,
40 // they are both emitted the same way.
emitMemMemImm(SelectionDAG & DAG,const SDLoc & DL,unsigned Op,SDValue Chain,SDValue Dst,SDValue Src,uint64_t Size,SDValue Byte=SDValue ())41 static SDValue emitMemMemImm(SelectionDAG &DAG, const SDLoc &DL, unsigned Op,
42 SDValue Chain, SDValue Dst, SDValue Src,
43 uint64_t Size, SDValue Byte = SDValue()) {
44 unsigned Adj = getMemMemLenAdj(Op);
45 assert(Size >= Adj && "Adjusted length overflow.");
46 SDValue LenAdj = DAG.getConstant(Size - Adj, DL, Dst.getValueType());
47 return createMemMemNode(DAG, DL, Op, Chain, Dst, Src, LenAdj, Byte);
48 }
49
emitMemMemReg(SelectionDAG & DAG,const SDLoc & DL,unsigned Op,SDValue Chain,SDValue Dst,SDValue Src,SDValue Size,SDValue Byte=SDValue ())50 static SDValue emitMemMemReg(SelectionDAG &DAG, const SDLoc &DL, unsigned Op,
51 SDValue Chain, SDValue Dst, SDValue Src,
52 SDValue Size, SDValue Byte = SDValue()) {
53 int64_t Adj = getMemMemLenAdj(Op);
54 SDValue LenAdj = DAG.getNode(ISD::ADD, DL, MVT::i64,
55 DAG.getZExtOrTrunc(Size, DL, MVT::i64),
56 DAG.getConstant(0 - Adj, DL, MVT::i64));
57 return createMemMemNode(DAG, DL, Op, Chain, Dst, Src, LenAdj, Byte);
58 }
59
EmitTargetCodeForMemcpy(SelectionDAG & DAG,const SDLoc & DL,SDValue Chain,SDValue Dst,SDValue Src,SDValue Size,Align Alignment,bool IsVolatile,bool AlwaysInline,MachinePointerInfo DstPtrInfo,MachinePointerInfo SrcPtrInfo) const60 SDValue SystemZSelectionDAGInfo::EmitTargetCodeForMemcpy(
61 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Dst, SDValue Src,
62 SDValue Size, Align Alignment, bool IsVolatile, bool AlwaysInline,
63 MachinePointerInfo DstPtrInfo, MachinePointerInfo SrcPtrInfo) const {
64 if (IsVolatile)
65 return SDValue();
66
67 if (auto *CSize = dyn_cast<ConstantSDNode>(Size))
68 return emitMemMemImm(DAG, DL, SystemZISD::MVC, Chain, Dst, Src,
69 CSize->getZExtValue());
70
71 return emitMemMemReg(DAG, DL, SystemZISD::MVC, Chain, Dst, Src, Size);
72 }
73
74 // Handle a memset of 1, 2, 4 or 8 bytes with the operands given by
75 // Chain, Dst, ByteVal and Size. These cases are expected to use
76 // MVI, MVHHI, MVHI and MVGHI respectively.
memsetStore(SelectionDAG & DAG,const SDLoc & DL,SDValue Chain,SDValue Dst,uint64_t ByteVal,uint64_t Size,Align Alignment,MachinePointerInfo DstPtrInfo)77 static SDValue memsetStore(SelectionDAG &DAG, const SDLoc &DL, SDValue Chain,
78 SDValue Dst, uint64_t ByteVal, uint64_t Size,
79 Align Alignment, MachinePointerInfo DstPtrInfo) {
80 uint64_t StoreVal = ByteVal;
81 for (unsigned I = 1; I < Size; ++I)
82 StoreVal |= ByteVal << (I * 8);
83 return DAG.getStore(
84 Chain, DL, DAG.getConstant(StoreVal, DL, MVT::getIntegerVT(Size * 8)),
85 Dst, DstPtrInfo, Alignment);
86 }
87
EmitTargetCodeForMemset(SelectionDAG & DAG,const SDLoc & DL,SDValue Chain,SDValue Dst,SDValue Byte,SDValue Size,Align Alignment,bool IsVolatile,bool AlwaysInline,MachinePointerInfo DstPtrInfo) const88 SDValue SystemZSelectionDAGInfo::EmitTargetCodeForMemset(
89 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Dst,
90 SDValue Byte, SDValue Size, Align Alignment, bool IsVolatile,
91 bool AlwaysInline, MachinePointerInfo DstPtrInfo) const {
92 EVT PtrVT = Dst.getValueType();
93
94 if (IsVolatile)
95 return SDValue();
96
97 auto *CByte = dyn_cast<ConstantSDNode>(Byte);
98 if (auto *CSize = dyn_cast<ConstantSDNode>(Size)) {
99 uint64_t Bytes = CSize->getZExtValue();
100 if (Bytes == 0)
101 return SDValue();
102 if (CByte) {
103 // Handle cases that can be done using at most two of
104 // MVI, MVHI, MVHHI and MVGHI. The latter two can only be
105 // used if ByteVal is all zeros or all ones; in other cases,
106 // we can move at most 2 halfwords.
107 uint64_t ByteVal = CByte->getZExtValue();
108 if (ByteVal == 0 || ByteVal == 255
109 ? Bytes <= 16 && llvm::popcount(Bytes) <= 2
110 : Bytes <= 4) {
111 unsigned Size1 = Bytes == 16 ? 8 : llvm::bit_floor(Bytes);
112 unsigned Size2 = Bytes - Size1;
113 SDValue Chain1 = memsetStore(DAG, DL, Chain, Dst, ByteVal, Size1,
114 Alignment, DstPtrInfo);
115 if (Size2 == 0)
116 return Chain1;
117 Dst = DAG.getNode(ISD::ADD, DL, PtrVT, Dst,
118 DAG.getConstant(Size1, DL, PtrVT));
119 DstPtrInfo = DstPtrInfo.getWithOffset(Size1);
120 SDValue Chain2 =
121 memsetStore(DAG, DL, Chain, Dst, ByteVal, Size2,
122 std::min(Alignment, Align(Size1)), DstPtrInfo);
123 return DAG.getNode(ISD::TokenFactor, DL, MVT::Other, Chain1, Chain2);
124 }
125 } else {
126 // Handle one and two bytes using STC.
127 if (Bytes <= 2) {
128 SDValue Chain1 =
129 DAG.getStore(Chain, DL, Byte, Dst, DstPtrInfo, Alignment);
130 if (Bytes == 1)
131 return Chain1;
132 SDValue Dst2 = DAG.getNode(ISD::ADD, DL, PtrVT, Dst,
133 DAG.getConstant(1, DL, PtrVT));
134 SDValue Chain2 = DAG.getStore(Chain, DL, Byte, Dst2,
135 DstPtrInfo.getWithOffset(1), Align(1));
136 return DAG.getNode(ISD::TokenFactor, DL, MVT::Other, Chain1, Chain2);
137 }
138 }
139 assert(Bytes >= 2 && "Should have dealt with 0- and 1-byte cases already");
140
141 // Handle the special case of a memset of 0, which can use XC.
142 if (CByte && CByte->getZExtValue() == 0)
143 return emitMemMemImm(DAG, DL, SystemZISD::XC, Chain, Dst, Dst, Bytes);
144
145 return emitMemMemImm(DAG, DL, SystemZISD::MEMSET_MVC, Chain, Dst, SDValue(),
146 Bytes, DAG.getAnyExtOrTrunc(Byte, DL, MVT::i32));
147 }
148
149 // Variable length
150 if (CByte && CByte->getZExtValue() == 0)
151 // Handle the special case of a variable length memset of 0 with XC.
152 return emitMemMemReg(DAG, DL, SystemZISD::XC, Chain, Dst, Dst, Size);
153
154 return emitMemMemReg(DAG, DL, SystemZISD::MEMSET_MVC, Chain, Dst, SDValue(),
155 Size, DAG.getAnyExtOrTrunc(Byte, DL, MVT::i32));
156 }
157
158 // Convert the current CC value into an integer that is 0 if CC == 0,
159 // greater than zero if CC == 1 and less than zero if CC >= 2.
160 // The sequence starts with IPM, which puts CC into bits 29 and 28
161 // of an integer and clears bits 30 and 31.
addIPMSequence(const SDLoc & DL,SDValue CCReg,SelectionDAG & DAG)162 static SDValue addIPMSequence(const SDLoc &DL, SDValue CCReg,
163 SelectionDAG &DAG) {
164 SDValue IPM = DAG.getNode(SystemZISD::IPM, DL, MVT::i32, CCReg);
165 SDValue SHL = DAG.getNode(ISD::SHL, DL, MVT::i32, IPM,
166 DAG.getConstant(30 - SystemZ::IPM_CC, DL, MVT::i32));
167 SDValue SRA = DAG.getNode(ISD::SRA, DL, MVT::i32, SHL,
168 DAG.getConstant(30, DL, MVT::i32));
169 return SRA;
170 }
171
EmitTargetCodeForMemcmp(SelectionDAG & DAG,const SDLoc & DL,SDValue Chain,SDValue Src1,SDValue Src2,SDValue Size,MachinePointerInfo Op1PtrInfo,MachinePointerInfo Op2PtrInfo) const172 std::pair<SDValue, SDValue> SystemZSelectionDAGInfo::EmitTargetCodeForMemcmp(
173 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src1,
174 SDValue Src2, SDValue Size, MachinePointerInfo Op1PtrInfo,
175 MachinePointerInfo Op2PtrInfo) const {
176 SDValue CCReg;
177 // Swap operands to invert CC == 1 vs. CC == 2 cases.
178 if (auto *CSize = dyn_cast<ConstantSDNode>(Size)) {
179 uint64_t Bytes = CSize->getZExtValue();
180 assert(Bytes > 0 && "Caller should have handled 0-size case");
181 CCReg = emitMemMemImm(DAG, DL, SystemZISD::CLC, Chain, Src2, Src1, Bytes);
182 } else
183 CCReg = emitMemMemReg(DAG, DL, SystemZISD::CLC, Chain, Src2, Src1, Size);
184 Chain = CCReg.getValue(1);
185 return std::make_pair(addIPMSequence(DL, CCReg, DAG), Chain);
186 }
187
EmitTargetCodeForMemchr(SelectionDAG & DAG,const SDLoc & DL,SDValue Chain,SDValue Src,SDValue Char,SDValue Length,MachinePointerInfo SrcPtrInfo) const188 std::pair<SDValue, SDValue> SystemZSelectionDAGInfo::EmitTargetCodeForMemchr(
189 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src,
190 SDValue Char, SDValue Length, MachinePointerInfo SrcPtrInfo) const {
191 // Use SRST to find the character. End is its address on success.
192 EVT PtrVT = Src.getValueType();
193 SDVTList VTs = DAG.getVTList(PtrVT, MVT::i32, MVT::Other);
194 Length = DAG.getZExtOrTrunc(Length, DL, PtrVT);
195 Char = DAG.getZExtOrTrunc(Char, DL, MVT::i32);
196 Char = DAG.getNode(ISD::AND, DL, MVT::i32, Char,
197 DAG.getConstant(255, DL, MVT::i32));
198 SDValue Limit = DAG.getNode(ISD::ADD, DL, PtrVT, Src, Length);
199 SDValue End = DAG.getNode(SystemZISD::SEARCH_STRING, DL, VTs, Chain,
200 Limit, Src, Char);
201 SDValue CCReg = End.getValue(1);
202 Chain = End.getValue(2);
203
204 // Now select between End and null, depending on whether the character
205 // was found.
206 SDValue Ops[] = {
207 End, DAG.getConstant(0, DL, PtrVT),
208 DAG.getTargetConstant(SystemZ::CCMASK_SRST, DL, MVT::i32),
209 DAG.getTargetConstant(SystemZ::CCMASK_SRST_FOUND, DL, MVT::i32), CCReg};
210 End = DAG.getNode(SystemZISD::SELECT_CCMASK, DL, PtrVT, Ops);
211 return std::make_pair(End, Chain);
212 }
213
EmitTargetCodeForStrcpy(SelectionDAG & DAG,const SDLoc & DL,SDValue Chain,SDValue Dest,SDValue Src,MachinePointerInfo DestPtrInfo,MachinePointerInfo SrcPtrInfo,bool isStpcpy) const214 std::pair<SDValue, SDValue> SystemZSelectionDAGInfo::EmitTargetCodeForStrcpy(
215 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Dest,
216 SDValue Src, MachinePointerInfo DestPtrInfo, MachinePointerInfo SrcPtrInfo,
217 bool isStpcpy) const {
218 SDVTList VTs = DAG.getVTList(Dest.getValueType(), MVT::Other);
219 SDValue EndDest = DAG.getNode(SystemZISD::STPCPY, DL, VTs, Chain, Dest, Src,
220 DAG.getConstant(0, DL, MVT::i32));
221 return std::make_pair(isStpcpy ? EndDest : Dest, EndDest.getValue(1));
222 }
223
EmitTargetCodeForStrcmp(SelectionDAG & DAG,const SDLoc & DL,SDValue Chain,SDValue Src1,SDValue Src2,MachinePointerInfo Op1PtrInfo,MachinePointerInfo Op2PtrInfo) const224 std::pair<SDValue, SDValue> SystemZSelectionDAGInfo::EmitTargetCodeForStrcmp(
225 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src1,
226 SDValue Src2, MachinePointerInfo Op1PtrInfo,
227 MachinePointerInfo Op2PtrInfo) const {
228 SDVTList VTs = DAG.getVTList(Src1.getValueType(), MVT::i32, MVT::Other);
229 // Swap operands to invert CC == 1 vs. CC == 2 cases.
230 SDValue Unused = DAG.getNode(SystemZISD::STRCMP, DL, VTs, Chain, Src2, Src1,
231 DAG.getConstant(0, DL, MVT::i32));
232 SDValue CCReg = Unused.getValue(1);
233 Chain = Unused.getValue(2);
234 return std::make_pair(addIPMSequence(DL, CCReg, DAG), Chain);
235 }
236
237 // Search from Src for a null character, stopping once Src reaches Limit.
238 // Return a pair of values, the first being the number of nonnull characters
239 // and the second being the out chain.
240 //
241 // This can be used for strlen by setting Limit to 0.
getBoundedStrlen(SelectionDAG & DAG,const SDLoc & DL,SDValue Chain,SDValue Src,SDValue Limit)242 static std::pair<SDValue, SDValue> getBoundedStrlen(SelectionDAG &DAG,
243 const SDLoc &DL,
244 SDValue Chain, SDValue Src,
245 SDValue Limit) {
246 EVT PtrVT = Src.getValueType();
247 SDVTList VTs = DAG.getVTList(PtrVT, MVT::i32, MVT::Other);
248 SDValue End = DAG.getNode(SystemZISD::SEARCH_STRING, DL, VTs, Chain,
249 Limit, Src, DAG.getConstant(0, DL, MVT::i32));
250 Chain = End.getValue(2);
251 SDValue Len = DAG.getNode(ISD::SUB, DL, PtrVT, End, Src);
252 return std::make_pair(Len, Chain);
253 }
254
EmitTargetCodeForStrlen(SelectionDAG & DAG,const SDLoc & DL,SDValue Chain,SDValue Src,MachinePointerInfo SrcPtrInfo) const255 std::pair<SDValue, SDValue> SystemZSelectionDAGInfo::EmitTargetCodeForStrlen(
256 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src,
257 MachinePointerInfo SrcPtrInfo) const {
258 EVT PtrVT = Src.getValueType();
259 return getBoundedStrlen(DAG, DL, Chain, Src, DAG.getConstant(0, DL, PtrVT));
260 }
261
EmitTargetCodeForStrnlen(SelectionDAG & DAG,const SDLoc & DL,SDValue Chain,SDValue Src,SDValue MaxLength,MachinePointerInfo SrcPtrInfo) const262 std::pair<SDValue, SDValue> SystemZSelectionDAGInfo::EmitTargetCodeForStrnlen(
263 SelectionDAG &DAG, const SDLoc &DL, SDValue Chain, SDValue Src,
264 SDValue MaxLength, MachinePointerInfo SrcPtrInfo) const {
265 EVT PtrVT = Src.getValueType();
266 MaxLength = DAG.getZExtOrTrunc(MaxLength, DL, PtrVT);
267 SDValue Limit = DAG.getNode(ISD::ADD, DL, PtrVT, Src, MaxLength);
268 return getBoundedStrlen(DAG, DL, Chain, Src, Limit);
269 }
270