LLVM 24.0.0git
SystemZISelLowering.h
Go to the documentation of this file.
1//===-- SystemZISelLowering.h - SystemZ DAG lowering interface --*- 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//
9// This file defines the interfaces that SystemZ uses to lower LLVM code into a
10// selection DAG.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZISELLOWERING_H
15#define LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZISELLOWERING_H
16
17#include "SystemZ.h"
18#include "SystemZInstrInfo.h"
23#include <optional>
24
25namespace llvm {
26
27namespace SystemZICMP {
28// Describes whether an integer comparison needs to be signed or unsigned,
29// or whether either type is OK.
30enum {
34};
35} // end namespace SystemZICMP
36
37class SystemZSubtarget;
38
40public:
41 explicit SystemZTargetLowering(const TargetMachine &TM,
42 const SystemZSubtarget &STI);
43
44 bool useSoftFloat() const override;
45
46 // Override TargetLowering.
47 MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override {
48 return MVT::i32;
49 }
50 unsigned getVectorIdxWidth(const DataLayout &DL) const override {
51 // Only the lower 12 bits of an element index are used, so we don't
52 // want to clobber the upper 32 bits of a GPR unnecessarily.
53 return 32;
54 }
56 const override {
57 // Widen subvectors to the full width rather than promoting integer
58 // elements. This is better because:
59 //
60 // (a) it means that we can handle the ABI for passing and returning
61 // sub-128 vectors without having to handle them as legal types.
62 //
63 // (b) we don't have instructions to extend on load and truncate on store,
64 // so promoting the integers is less efficient.
65 //
66 // (c) there are no multiplication instructions for the widest integer
67 // type (v2i64).
68
69 // Expand (narrow) f16 vectors during type legalization to avoid
70 // operations for all elements as with expansion after widening.
71 if (VT.getScalarType() == MVT::f16)
74 if (VT.getScalarSizeInBits() % 8 == 0)
75 return TypeWidenVector;
77 }
78 unsigned
80 std::optional<MVT> RegisterVT) const override {
81 // i128 inline assembly operand.
82 if (VT == MVT::i128 && RegisterVT && *RegisterVT == MVT::Untyped)
83 return 1;
84 return TargetLowering::getNumRegisters(Context, VT);
85 }
86 unsigned
88 EVT VT, EVT &IntermediateVT,
89 unsigned &NumIntermediates,
90 MVT &RegisterVT) const override;
92 EVT VT) const override;
95 EVT VT) const override;
96 bool isCheapToSpeculateCtlz(Type *) const override { return true; }
97 bool isCheapToSpeculateCttz(Type *) const override { return true; }
98 bool preferZeroCompareBranch() const override { return true; }
99 bool isMaskAndCmp0FoldingBeneficial(const Instruction &AndI) const override {
101 return Mask && Mask->getValue().isIntN(16);
102 }
103 bool convertSetCCLogicToBitwiseLogic(EVT VT) const override {
104 return VT.isScalarInteger();
105 }
107 EVT) const override;
109 EVT VT) const override;
110 bool isFPImmLegal(const APFloat &Imm, EVT VT,
111 bool ForCodeSize) const override;
112 bool ShouldShrinkFPConstant(EVT VT) const override {
113 // Do not shrink 64-bit FP constpool entries since LDEB is slower than
114 // LD, and having the full constant in memory enables reg/mem opcodes.
115 return VT != MVT::f64;
116 }
118 MachineBasicBlock *MBB) const;
119
121 MachineBasicBlock *MBB) const;
122
123 bool hasInlineStackProbe(const MachineFunction &MF) const override;
127 shouldExpandAtomicRMWInIR(const AtomicRMWInst *RMW) const override;
128 bool isLegalICmpImmediate(int64_t Imm) const override;
129 bool isLegalAddImmediate(int64_t Imm) const override;
130 bool isLegalAddressingMode(const DataLayout &DL, const AddrMode &AM, Type *Ty,
131 unsigned AS,
132 Instruction *I = nullptr) const override;
133 bool allowsMisalignedMemoryAccesses(EVT VT, unsigned AS, Align Alignment,
135 unsigned *Fast) const override;
136 bool findOptimalMemOpLowering(LLVMContext &Context, std::vector<EVT> &MemOps,
137 unsigned Limit, const MemOp &Op, unsigned DstAS,
138 unsigned SrcAS,
139 const AttributeList &FuncAttributes,
140 EVT *LargestVT = nullptr) const override;
141 EVT getOptimalMemOpType(LLVMContext &Context, const MemOp &Op,
142 const AttributeList &FuncAttributes) const override;
143 bool isTruncateFree(Type *, Type *) const override;
144 bool isTruncateFree(EVT, EVT) const override;
145
146 bool shouldFormOverflowOp(unsigned Opcode, EVT VT,
147 bool MathUsed) const override {
148 // Form add and sub with overflow intrinsics regardless of any extra
149 // users of the math result.
150 return VT == MVT::i32 || VT == MVT::i64 || VT == MVT::i128;
151 }
152
153 bool shouldConsiderGEPOffsetSplit() const override { return true; }
154
155 bool preferSelectsOverBooleanArithmetic(EVT VT) const override {
156 return true;
157 }
158
159 bool isProfitableToCombineMinNumMaxNum(EVT VT) const override {
160 // We have instructions for pseudo min/max, no need to convert them to
161 // minnum/maxnum.
162 return false;
163 }
164
165 // This function currently returns cost for srl/ipm/cc sequence for merging.
166 CondMergingParams
168 const Value *Rhs,
169 const Function *F) const override;
170
171 // Handle Lowering flag assembly outputs.
173 const SDLoc &DL,
174 const AsmOperandInfo &Constraint,
175 SelectionDAG &DAG) const override;
176
177 std::pair<unsigned, const TargetRegisterClass *>
179 StringRef Constraint, MVT VT) const override;
181 getConstraintType(StringRef Constraint) const override;
183 getSingleConstraintMatchWeight(AsmOperandInfo &info,
184 const char *constraint) const override;
186 std::vector<SDValue> &Ops,
187 SelectionDAG &DAG) const override;
188
190 getInlineAsmMemConstraint(StringRef ConstraintCode) const override {
191 if (ConstraintCode.size() == 1) {
192 switch(ConstraintCode[0]) {
193 default:
194 break;
195 case 'o':
197 case 'Q':
199 case 'R':
201 case 'S':
203 case 'T':
205 }
206 } else if (ConstraintCode.size() == 2 && ConstraintCode[0] == 'Z') {
207 switch (ConstraintCode[1]) {
208 default:
209 break;
210 case 'Q':
212 case 'R':
214 case 'S':
216 case 'T':
218 }
219 }
220 return TargetLowering::getInlineAsmMemConstraint(ConstraintCode);
221 }
222
223 Register getRegisterByName(const char *RegName, LLT VT,
224 const MachineFunction &MF) const override;
225
226 /// If a physical register, this returns the register that receives the
227 /// exception address on entry to an EH pad.
229 getExceptionPointerRegister(const Constant *PersonalityFn) const override;
230
231 /// If a physical register, this returns the register that receives the
232 /// exception typeid on entry to a landing pad.
234 getExceptionSelectorRegister(const Constant *PersonalityFn) const override;
235
236 /// Override to support customized stack guard loading.
237 bool useLoadStackGuardNode(const Module &M) const override { return true; }
238 /// Insert SSP declaration if global stack protector is used.
239 void
241 const LibcallLoweringInfo &Libcalls) const override;
244 MachineBasicBlock *BB) const override;
245 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
247 SelectionDAG &DAG) const override;
249 SelectionDAG &DAG) const override;
250 const MCPhysReg *getScratchRegisters(CallingConv::ID CC) const override;
251 bool allowTruncateForTailCall(Type *, Type *) const override;
252 bool mayBeEmittedAsTailCall(const CallInst *CI) const override;
254 SelectionDAG & DAG, const SDLoc &DL, SDValue Val, SDValue *Parts,
255 unsigned NumParts, MVT PartVT, std::optional<CallingConv::ID> CC)
256 const override;
258 SelectionDAG & DAG, const SDLoc &DL, const SDValue *Parts,
259 unsigned NumParts, MVT PartVT, EVT ValueVT,
260 std::optional<CallingConv::ID> CC) const override;
262 bool isVarArg,
264 const SDLoc &DL, SelectionDAG &DAG,
265 SmallVectorImpl<SDValue> &InVals) const override;
266 SDValue LowerCall(CallLoweringInfo &CLI,
267 SmallVectorImpl<SDValue> &InVals) const override;
268
269 std::pair<SDValue, SDValue>
270 makeExternalCall(SDValue Chain, SelectionDAG &DAG, const char *CalleeName,
271 EVT RetVT, ArrayRef<SDValue> Ops, CallingConv::ID CallConv,
272 bool IsSigned, SDLoc DL, bool DoesNotReturn,
273 bool IsReturnValueUsed) const;
274
275 SDValue useLibCall(SelectionDAG &DAG, RTLIB::Libcall LC, MVT VT, SDValue Arg,
276 SDLoc DL, SDValue Chain, bool IsStrict) const;
277
279 bool isVarArg,
281 LLVMContext &Context,
282 const Type *RetTy) const override;
283 SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool IsVarArg,
285 const SmallVectorImpl<SDValue> &OutVals, const SDLoc &DL,
286 SelectionDAG &DAG) const override;
287 SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override;
288
289 /// Determine which of the bits specified in Mask are known to be either
290 /// zero or one and return them in the KnownZero/KnownOne bitsets.
293 const APInt &DemandedElts,
294 const SelectionDAG &DAG,
295 unsigned Depth = 0) const override;
296
297 /// Determine the number of bits in the operation that are sign bits.
299 const APInt &DemandedElts,
300 const SelectionDAG &DAG,
301 unsigned Depth) const override;
302
304 SDValue Op, const APInt &DemandedElts, const SelectionDAG &DAG,
305 UndefPoisonKind Kind, unsigned Depth) const override;
306
308 return ISD::ANY_EXTEND;
309 }
311 return ISD::ZERO_EXTEND;
312 }
313
314 bool supportSwiftError() const override {
315 return true;
316 }
317
318 unsigned getStackProbeSize(const MachineFunction &MF) const;
319 bool hasAndNot(SDValue Y) const override;
320
321private:
322 const SystemZSubtarget &Subtarget;
323
324 // Implement LowerOperation for individual opcodes.
325 SDValue getVectorCmp(SelectionDAG &DAG, unsigned Opcode,
326 const SDLoc &DL, EVT VT,
327 SDValue CmpOp0, SDValue CmpOp1, SDValue Chain) const;
328 SDValue lowerVectorSETCC(SelectionDAG &DAG, const SDLoc &DL,
329 EVT VT, ISD::CondCode CC,
330 SDValue CmpOp0, SDValue CmpOp1,
331 SDValue Chain = SDValue(),
332 bool IsSignaling = false) const;
333 SDValue lowerSETCC(SDValue Op, SelectionDAG &DAG) const;
334 SDValue lowerSTRICT_FSETCC(SDValue Op, SelectionDAG &DAG,
335 bool IsSignaling) const;
336 SDValue lowerBR_CC(SDValue Op, SelectionDAG &DAG) const;
337 SDValue lowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const;
338 SDValue lowerGlobalAddress(GlobalAddressSDNode *Node,
339 SelectionDAG &DAG) const;
340 SDValue lowerTLSGetOffset(GlobalAddressSDNode *Node,
341 SelectionDAG &DAG, unsigned Opcode,
342 SDValue GOTOffset) const;
343 SDValue lowerThreadPointer(const SDLoc &DL, SelectionDAG &DAG) const;
344 SDValue lowerGlobalTLSAddress(GlobalAddressSDNode *Node,
345 SelectionDAG &DAG) const;
346 SDValue lowerBlockAddress(BlockAddressSDNode *Node,
347 SelectionDAG &DAG) const;
348 SDValue lowerJumpTable(JumpTableSDNode *JT, SelectionDAG &DAG) const;
349 SDValue lowerConstantPool(ConstantPoolSDNode *CP, SelectionDAG &DAG) const;
352 SDValue lowerVASTART(SDValue Op, SelectionDAG &DAG) const;
353 SDValue lowerVASTART_ELF(SDValue Op, SelectionDAG &DAG) const;
354 SDValue lowerVASTART_XPLINK(SDValue Op, SelectionDAG &DAG) const;
355 SDValue lowerVACOPY(SDValue Op, SelectionDAG &DAG) const;
356 SDValue lowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG) const;
357 SDValue lowerDYNAMIC_STACKALLOC_ELF(SDValue Op, SelectionDAG &DAG) const;
358 SDValue lowerDYNAMIC_STACKALLOC_XPLINK(SDValue Op, SelectionDAG &DAG) const;
359 SDValue lowerGET_DYNAMIC_AREA_OFFSET(SDValue Op, SelectionDAG &DAG) const;
360 SDValue lowerMULH(SDValue Op, SelectionDAG &DAG, unsigned Opcode) const;
361 SDValue lowerSMUL_LOHI(SDValue Op, SelectionDAG &DAG) const;
362 SDValue lowerUMUL_LOHI(SDValue Op, SelectionDAG &DAG) const;
363 SDValue lowerSDIVREM(SDValue Op, SelectionDAG &DAG) const;
364 SDValue lowerUDIVREM(SDValue Op, SelectionDAG &DAG) const;
365 SDValue lowerXALUO(SDValue Op, SelectionDAG &DAG) const;
366 SDValue lowerUADDSUBO_CARRY(SDValue Op, SelectionDAG &DAG) const;
367 SDValue lowerBITCAST(SDValue Op, SelectionDAG &DAG) const;
368 SDValue lowerOR(SDValue Op, SelectionDAG &DAG) const;
369 SDValue lowerCTPOP(SDValue Op, SelectionDAG &DAG) const;
370 SDValue lowerVECREDUCE_ADD(SDValue Op, SelectionDAG &DAG) const;
371 SDValue lowerATOMIC_FENCE(SDValue Op, SelectionDAG &DAG) const;
372 SDValue lowerATOMIC_LOAD(SDValue Op, SelectionDAG &DAG) const;
373 SDValue lowerATOMIC_STORE(SDValue Op, SelectionDAG &DAG) const;
374 SDValue lowerATOMIC_LDST_I128(SDValue Op, SelectionDAG &DAG) const;
375 SDValue lowerATOMIC_LOAD_OP(SDValue Op, SelectionDAG &DAG,
376 unsigned Opcode) const;
377 SDValue lowerATOMIC_LOAD_SUB(SDValue Op, SelectionDAG &DAG) const;
378 SDValue lowerATOMIC_CMP_SWAP(SDValue Op, SelectionDAG &DAG) const;
379 SDValue lowerSTACKSAVE(SDValue Op, SelectionDAG &DAG) const;
380 SDValue lowerSTACKRESTORE(SDValue Op, SelectionDAG &DAG) const;
381 SDValue lowerPREFETCH(SDValue Op, SelectionDAG &DAG) const;
382 SDValue lowerINTRINSIC_W_CHAIN(SDValue Op, SelectionDAG &DAG) const;
383 SDValue lowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG) const;
384 bool isVectorElementLoad(SDValue Op) const;
385 SDValue buildVector(SelectionDAG &DAG, const SDLoc &DL, EVT VT,
386 SmallVectorImpl<SDValue> &Elems) const;
389 SDValue lowerSCALAR_TO_VECTOR(SDValue Op, SelectionDAG &DAG) const;
390 SDValue lowerINSERT_VECTOR_ELT(SDValue Op, SelectionDAG &DAG) const;
391 SDValue lowerEXTRACT_VECTOR_ELT(SDValue Op, SelectionDAG &DAG) const;
392 SDValue lowerSIGN_EXTEND_VECTOR_INREG(SDValue Op, SelectionDAG &DAG) const;
393 SDValue lowerZERO_EXTEND_VECTOR_INREG(SDValue Op, SelectionDAG &DAG) const;
394 SDValue lowerShift(SDValue Op, SelectionDAG &DAG, unsigned ByScalar) const;
395 SDValue lowerFSHL(SDValue Op, SelectionDAG &DAG) const;
396 SDValue lowerFSHR(SDValue Op, SelectionDAG &DAG) const;
397 SDValue lowerFP_EXTEND(SDValue Op, SelectionDAG &DAG) const;
398 SDValue lower_FP_TO_INT(SDValue Op, SelectionDAG &DAG) const;
399 SDValue lower_INT_TO_FP(SDValue Op, SelectionDAG &DAG) const;
400 SDValue lowerLoadF16(SDValue Op, SelectionDAG &DAG) const;
401 SDValue lowerStoreF16(SDValue Op, SelectionDAG &DAG) const;
402
403 SDValue lowerIS_FPCLASS(SDValue Op, SelectionDAG &DAG) const;
404 SDValue lowerGET_ROUNDING(SDValue Op, SelectionDAG &DAG) const;
405 SDValue lowerREADCYCLECOUNTER(SDValue Op, SelectionDAG &DAG) const;
406
407 bool canTreatAsByteVector(EVT VT) const;
408 SDValue combineExtract(const SDLoc &DL, EVT ElemVT, EVT VecVT, SDValue OrigOp,
409 unsigned Index, DAGCombinerInfo &DCI,
410 bool Force) const;
411 SDValue combineTruncateExtract(const SDLoc &DL, EVT TruncVT, SDValue Op,
412 DAGCombinerInfo &DCI) const;
413 SDValue combineZERO_EXTEND(SDNode *N, DAGCombinerInfo &DCI) const;
414 SDValue combineSIGN_EXTEND(SDNode *N, DAGCombinerInfo &DCI) const;
415 SDValue combineSIGN_EXTEND_INREG(SDNode *N, DAGCombinerInfo &DCI) const;
416 SDValue combineMERGE(SDNode *N, DAGCombinerInfo &DCI) const;
417 bool canLoadStoreByteSwapped(EVT VT) const;
418 SDValue combineLOAD(SDNode *N, DAGCombinerInfo &DCI) const;
419 SDValue combineSTORE(SDNode *N, DAGCombinerInfo &DCI) const;
420 SDValue combineVECTOR_SHUFFLE(SDNode *N, DAGCombinerInfo &DCI) const;
421 SDValue combineEXTRACT_VECTOR_ELT(SDNode *N, DAGCombinerInfo &DCI) const;
422 SDValue combineJOIN_DWORDS(SDNode *N, DAGCombinerInfo &DCI) const;
423 SDValue combineFP_ROUND(SDNode *N, DAGCombinerInfo &DCI) const;
424 SDValue combineFP_EXTEND(SDNode *N, DAGCombinerInfo &DCI) const;
425 SDValue combineINT_TO_FP(SDNode *N, DAGCombinerInfo &DCI) const;
426 SDValue combineFCOPYSIGN(SDNode *N, DAGCombinerInfo &DCI) const;
427 SDValue combineBSWAP(SDNode *N, DAGCombinerInfo &DCI) const;
428 SDValue combineSETCC(SDNode *N, DAGCombinerInfo &DCI) const;
429 SDValue combineBR_CCMASK(SDNode *N, DAGCombinerInfo &DCI) const;
430 SDValue combineSELECT_CCMASK(SDNode *N, DAGCombinerInfo &DCI) const;
431 SDValue combineGET_CCMASK(SDNode *N, DAGCombinerInfo &DCI) const;
432 SDValue combineShiftToMulAddHigh(SDNode *N, DAGCombinerInfo &DCI) const;
433 SDValue combineMUL(SDNode *N, DAGCombinerInfo &DCI) const;
434 SDValue combineIntDIVREM(SDNode *N, DAGCombinerInfo &DCI) const;
435 SDValue combineINTRINSIC(SDNode *N, DAGCombinerInfo &DCI) const;
436
437 SDValue unwrapAddress(SDValue N) const override;
438
439 // If the last instruction before MBBI in MBB was some form of COMPARE,
440 // try to replace it with a COMPARE AND BRANCH just before MBBI.
441 // CCMask and Target are the BRC-like operands for the branch.
442 // Return true if the change was made.
443 bool convertPrevCompareToBranch(MachineBasicBlock *MBB,
445 unsigned CCMask,
447
448 // Implement EmitInstrWithCustomInserter for individual operation types.
449 MachineBasicBlock *emitAdjCallStack(MachineInstr &MI,
450 MachineBasicBlock *BB) const;
453 unsigned StoreOpcode, unsigned STOCOpcode,
454 bool Invert) const;
456 bool Unsigned) const;
457 MachineBasicBlock *emitPair128(MachineInstr &MI,
458 MachineBasicBlock *MBB) const;
460 bool ClearEven) const;
461 MachineBasicBlock *emitAtomicLoadBinary(MachineInstr &MI,
463 unsigned BinOpcode,
464 bool Invert = false) const;
465 MachineBasicBlock *emitAtomicLoadMinMax(MachineInstr &MI,
467 unsigned CompareOpcode,
468 unsigned KeepOldMask) const;
469 MachineBasicBlock *emitAtomicCmpSwapW(MachineInstr &MI,
470 MachineBasicBlock *BB) const;
471 MachineBasicBlock *emitMemMemWrapper(MachineInstr &MI, MachineBasicBlock *BB,
472 unsigned Opcode,
473 bool IsMemset = false) const;
474 MachineBasicBlock *emitStringWrapper(MachineInstr &MI, MachineBasicBlock *BB,
475 unsigned Opcode) const;
476 MachineBasicBlock *emitTransactionBegin(MachineInstr &MI,
478 unsigned Opcode, bool NoFloat) const;
479 MachineBasicBlock *emitLoadAndTestCmp0(MachineInstr &MI,
481 unsigned Opcode) const;
482 MachineBasicBlock *emitProbedAlloca(MachineInstr &MI,
483 MachineBasicBlock *MBB) const;
484 MachineBasicBlock *emitStackGuardPseudo(MachineInstr &MI,
486 unsigned PseudoOp) const;
487 SDValue getBackchainAddress(SDValue SP, SelectionDAG &DAG) const;
488
490 getTargetMMOFlags(const Instruction &I) const override;
491 const TargetRegisterClass *getRepRegClassFor(MVT VT) const override;
492
493private:
494 bool isInternal(const Function *Fn) const;
495 mutable std::map<const Function *, bool> IsInternalCache;
496 void verifyNarrowIntegerArgs_Call(const SmallVectorImpl<ISD::OutputArg> &Outs,
497 const Function *F, SDValue Callee) const;
498 void verifyNarrowIntegerArgs_Ret(const SmallVectorImpl<ISD::OutputArg> &Outs,
499 const Function *F) const;
500 bool
501 verifyNarrowIntegerArgs(const SmallVectorImpl<ISD::OutputArg> &Outs) const;
502
503public:
504};
505
507private:
508 APInt IntBits; // The 128 bits as an integer.
509 APInt SplatBits; // Smallest splat value.
510 APInt SplatUndef; // Bits correspoding to undef operands of the BVN.
511 unsigned SplatBitSize = 0;
512 bool isFP128 = false;
513public:
514 unsigned Opcode = 0;
519 : SystemZVectorConstantInfo(FPImm.bitcastToAPInt()) {
520 isFP128 = (&FPImm.getSemantics() == &APFloat::IEEEquad());
521 }
523 bool isVectorConstantLegal(const SystemZSubtarget &Subtarget);
524};
525
526} // end namespace llvm
527
528#endif
return SDValue()
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
Function Alias Analysis Results
IRTranslator LLVM IR MI
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
#define RegName(no)
lazy value info
static SDValue combineFP_ROUND(SDValue N, const SDLoc &DL, SelectionDAG &DAG, const LoongArchSubtarget &Subtarget)
#define F(x, y, z)
Definition MD5.cpp:54
#define I(x, y, z)
Definition MD5.cpp:57
Register const TargetRegisterInfo * TRI
static SDValue combineLOAD(SDNode *N, TargetLowering::DAGCombinerInfo &DCI, const NVPTXSubtarget &STI)
static SDValue combineSTORE(SDNode *N, TargetLowering::DAGCombinerInfo &DCI, const NVPTXSubtarget &STI)
static MachineBasicBlock * emitSelect(MachineInstr &MI, MachineBasicBlock *BB, const TargetInstrInfo *TII, const PPCSubtarget &Subtarget)
Emit SELECT instruction, using ISEL if available, otherwise use branch-based control flow.
static SDValue lowerBUILD_VECTOR(SDValue Op, SelectionDAG &DAG, const RISCVSubtarget &Subtarget)
static TableGen::Emitter::Opt Y("gen-skeleton-entry", EmitSkeleton, "Generate example skeleton entry")
This file describes how to lower LLVM code to machine code.
static SDValue lowerFRAMEADDR(SDValue Op, SelectionDAG &DAG, const VETargetLowering &TLI, const VESubtarget *Subtarget)
static SDValue lowerRETURNADDR(SDValue Op, SelectionDAG &DAG, const VETargetLowering &TLI, const VESubtarget *Subtarget)
static SDValue combineFP_EXTEND(SDNode *N, SelectionDAG &DAG, TargetLowering::DAGCombinerInfo &DCI, const X86Subtarget &Subtarget)
static SDValue lowerVECTOR_SHUFFLE(SDValue Op, const X86Subtarget &Subtarget, SelectionDAG &DAG)
Top-level lowering for x86 vector shuffles.
static const fltSemantics & IEEEquad()
Definition APFloat.h:299
const fltSemantics & getSemantics() const
Definition APFloat.h:1573
Class for arbitrary precision integers.
Definition APInt.h:78
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
an instruction that atomically reads a memory location, combines it with another value,...
A "pseudo-class" with methods for operating on BUILD_VECTORs.
This class represents a function call, abstracting a target machine's calling convention.
This is the shared class of boolean and integer constants.
Definition Constants.h:87
This is an important base class in LLVM.
Definition Constant.h:43
A parsed version of the target data layout string in and methods for querying it.
Definition DataLayout.h:64
constexpr bool isScalar() const
Exactly one element.
Definition TypeSize.h:320
This is an important class for using LLVM in a threaded context.
Definition LLVMContext.h:68
Tracks which library functions to use for a particular subtarget.
An instruction for reading from memory.
Machine Value Type.
uint64_t getScalarSizeInBits() const
ElementCount getVectorElementCount() const
MVT getScalarType() const
If this is a vector, return the element type, otherwise return this.
MachineInstrBundleIterator< MachineInstr > iterator
Representation of each machine instruction.
Flags
Flags values. These may be or'd together.
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:67
Wrapper class representing virtual and physical registers.
Definition Register.h:20
Wrapper class for IR location info (IR ordering and DebugLoc) to be passed into SDNode creation funct...
Represents one node in the SelectionDAG.
Unlike LLVM values, Selection DAG nodes may return multiple values as the result of a computation.
This is used to represent a portion of an LLVM function in a low-level Data Dependence DAG representa...
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
An instruction for storing to memory.
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
constexpr size_t size() const
Get the string size.
Definition StringRef.h:144
AtomicExpansionKind shouldExpandAtomicRMWInIR(const AtomicRMWInst *RMW) const override
Returns how the IR-level AtomicExpand pass should expand the given AtomicRMW, if at all.
bool shouldFormOverflowOp(unsigned Opcode, EVT VT, bool MathUsed) const override
Try to convert math with an overflow comparison into the corresponding DAG node operation.
Register getExceptionSelectorRegister(const Constant *PersonalityFn) const override
If a physical register, this returns the register that receives the exception typeid on entry to a la...
bool isMaskAndCmp0FoldingBeneficial(const Instruction &AndI) const override
Return if the target supports combining a chain like:
SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override
This callback is invoked for operations that are unsupported by the target, which are registered to u...
EVT getOptimalMemOpType(LLVMContext &Context, const MemOp &Op, const AttributeList &FuncAttributes) const override
Returns the target specific optimal type for load and store operations as a result of memset,...
ISD::NodeType getExtendForAtomicOps() const override
Returns how the platform's atomic operations are extended (ZERO_EXTEND, SIGN_EXTEND,...
bool useLoadStackGuardNode(const Module &M) const override
Override to support customized stack guard loading.
bool hasInlineStackProbe(const MachineFunction &MF) const override
Returns true if stack probing through inline assembly is requested.
MachineBasicBlock * EmitInstrWithCustomInserter(MachineInstr &MI, MachineBasicBlock *BB) const override
This method should be implemented by targets that mark instructions with the 'usesCustomInserter' fla...
bool convertSetCCLogicToBitwiseLogic(EVT VT) const override
Use bitwise logic to make pairs of compares more efficient.
MachineBasicBlock * emitEHSjLjSetJmp(MachineInstr &MI, MachineBasicBlock *MBB) const
AtomicExpansionKind shouldCastAtomicLoadInIR(LoadInst *LI) const override
Returns how the given (atomic) load should be cast by the IR-level AtomicExpand pass.
EVT getSetCCResultType(const DataLayout &DL, LLVMContext &, EVT) const override
Return the ValueType of the result of SETCC operations.
bool allowTruncateForTailCall(Type *, Type *) const override
Return true if a truncation from FromTy to ToTy is permitted when deciding whether a call is in tail ...
SDValue LowerAsmOutputForConstraint(SDValue &Chain, SDValue &Flag, const SDLoc &DL, const AsmOperandInfo &Constraint, SelectionDAG &DAG) const override
bool preferSelectsOverBooleanArithmetic(EVT VT) const override
Should we prefer selects to doing arithmetic on boolean types.
SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool IsVarArg, const SmallVectorImpl< ISD::OutputArg > &Outs, const SmallVectorImpl< SDValue > &OutVals, const SDLoc &DL, SelectionDAG &DAG) const override
This hook must be implemented to lower outgoing return values, described by the Outs array,...
bool preferZeroCompareBranch() const override
Return true if the heuristic to prefer icmp eq zero should be used in code gen prepare.
MVT getRegisterTypeForCallingConv(LLVMContext &Context, CallingConv::ID CC, EVT VT) const override
Certain combinations of ABIs, Targets and features require that types are legal for some operations a...
MachineBasicBlock * emitEHSjLjLongJmp(MachineInstr &MI, MachineBasicBlock *MBB) const
bool CanLowerReturn(CallingConv::ID CallConv, MachineFunction &MF, bool isVarArg, const SmallVectorImpl< ISD::OutputArg > &Outs, LLVMContext &Context, const Type *RetTy) const override
This hook should be implemented to check whether the return values described by the Outs array can fi...
std::pair< SDValue, SDValue > makeExternalCall(SDValue Chain, SelectionDAG &DAG, const char *CalleeName, EVT RetVT, ArrayRef< SDValue > Ops, CallingConv::ID CallConv, bool IsSigned, SDLoc DL, bool DoesNotReturn, bool IsReturnValueUsed) const
bool shouldConsiderGEPOffsetSplit() const override
void insertSSPDeclarations(Module &M, const LibcallLoweringInfo &Libcalls) const override
Insert SSP declaration if global stack protector is used.
bool supportSwiftError() const override
Return true if the target supports swifterror attribute.
bool mayBeEmittedAsTailCall(const CallInst *CI) const override
Return true if the target may be able emit the call instruction as a tail call.
bool splitValueIntoRegisterParts(SelectionDAG &DAG, const SDLoc &DL, SDValue Val, SDValue *Parts, unsigned NumParts, MVT PartVT, std::optional< CallingConv::ID > CC) const override
Target-specific splitting of values into parts that fit a register storing a legal type.
bool isLegalAddressingMode(const DataLayout &DL, const AddrMode &AM, Type *Ty, unsigned AS, Instruction *I=nullptr) const override
Return true if the addressing mode represented by AM is legal for this target, for a load/store of th...
unsigned getNumRegistersForCallingConv(LLVMContext &Context, CallingConv::ID CC, EVT VT) const override
Certain targets require unusual breakdowns of certain types.
bool isGuaranteedNotToBeUndefOrPoisonForTargetNode(SDValue Op, const APInt &DemandedElts, const SelectionDAG &DAG, UndefPoisonKind Kind, unsigned Depth) const override
Return true if this function can prove that Op is never poison and, Kind can be used to track poison ...
SystemZTargetLowering(const TargetMachine &TM, const SystemZSubtarget &STI)
bool isCheapToSpeculateCtlz(Type *) const override
Return true if it is cheap to speculate a call to intrinsic ctlz.
bool isFMAFasterThanFMulAndFAdd(const MachineFunction &MF, EVT VT) const override
Return true if an FMA operation is faster than a pair of fmul and fadd instructions.
bool isLegalICmpImmediate(int64_t Imm) const override
Return true if the specified immediate is legal icmp immediate, that is the target has icmp instructi...
std::pair< unsigned, const TargetRegisterClass * > getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI, StringRef Constraint, MVT VT) const override
Given a physical register constraint (e.g.
TargetLowering::ConstraintWeight getSingleConstraintMatchWeight(AsmOperandInfo &info, const char *constraint) const override
Examine constraint string and operand type and determine a weight value.
bool allowsMisalignedMemoryAccesses(EVT VT, unsigned AS, Align Alignment, MachineMemOperand::Flags Flags, unsigned *Fast) const override
Determine if the target supports unaligned memory accesses.
const MCPhysReg * getScratchRegisters(CallingConv::ID CC) const override
Returns a 0 terminated array of registers that can be safely used as scratch registers.
TargetLowering::ConstraintType getConstraintType(StringRef Constraint) const override
Given a constraint, return the type of constraint it is for this target.
bool ShouldShrinkFPConstant(EVT VT) const override
If true, then instruction selection should seek to shrink the FP constant of the specified type to a ...
bool isFPImmLegal(const APFloat &Imm, EVT VT, bool ForCodeSize) const override
Returns true if the target can instruction select the specified FP immediate natively.
Register getExceptionPointerRegister(const Constant *PersonalityFn) const override
If a physical register, this returns the register that receives the exception address on entry to an ...
SDValue joinRegisterPartsIntoValue(SelectionDAG &DAG, const SDLoc &DL, const SDValue *Parts, unsigned NumParts, MVT PartVT, EVT ValueVT, std::optional< CallingConv::ID > CC) const override
Target-specific combining of register parts into its original value.
unsigned getNumRegisters(LLVMContext &Context, EVT VT, std::optional< MVT > RegisterVT) const override
Return the number of registers that this ValueType will eventually require.
bool isTruncateFree(Type *, Type *) const override
Return true if it's free to truncate a value of type FromTy to type ToTy.
SDValue useLibCall(SelectionDAG &DAG, RTLIB::Libcall LC, MVT VT, SDValue Arg, SDLoc DL, SDValue Chain, bool IsStrict) const
unsigned ComputeNumSignBitsForTargetNode(SDValue Op, const APInt &DemandedElts, const SelectionDAG &DAG, unsigned Depth) const override
Determine the number of bits in the operation that are sign bits.
ISD::NodeType getExtendForAtomicCmpSwapArg() const override
Returns how the platform's atomic compare and swap expects its comparison value to be extended (ZERO_...
void LowerOperationWrapper(SDNode *N, SmallVectorImpl< SDValue > &Results, SelectionDAG &DAG) const override
This callback is invoked by the type legalizer to legalize nodes with an illegal operand type but leg...
SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override
This method will be invoked for all target nodes and for any target-independent nodes that the target...
InlineAsm::ConstraintCode getInlineAsmMemConstraint(StringRef ConstraintCode) const override
SDValue LowerCall(CallLoweringInfo &CLI, SmallVectorImpl< SDValue > &InVals) const override
This hook must be implemented to lower calls into the specified DAG.
bool isLegalAddImmediate(int64_t Imm) const override
Return true if the specified immediate is legal add immediate, that is the target has add instruction...
CondMergingParams getJumpConditionMergingParams(Instruction::BinaryOps Opc, const Value *Lhs, const Value *Rhs, const Function *F) const override
bool isCheapToSpeculateCttz(Type *) const override
Return true if it is cheap to speculate a call to intrinsic cttz.
bool findOptimalMemOpLowering(LLVMContext &Context, std::vector< EVT > &MemOps, unsigned Limit, const MemOp &Op, unsigned DstAS, unsigned SrcAS, const AttributeList &FuncAttributes, EVT *LargestVT=nullptr) const override
Determines the optimal series of memory ops to replace the memset / memcpy.
bool isProfitableToCombineMinNumMaxNum(EVT VT) const override
void ReplaceNodeResults(SDNode *N, SmallVectorImpl< SDValue > &Results, SelectionDAG &DAG) const override
This callback is invoked when a node result type is illegal for the target, and the operation was reg...
void LowerAsmOperandForConstraint(SDValue Op, StringRef Constraint, std::vector< SDValue > &Ops, SelectionDAG &DAG) const override
Lower the specified operand into the Ops vector.
unsigned getVectorTypeBreakdownForCallingConv(LLVMContext &Context, CallingConv::ID CC, EVT VT, EVT &IntermediateVT, unsigned &NumIntermediates, MVT &RegisterVT) const override
Certain targets such as MIPS require that some types such as vectors are always broken down into scal...
MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override
Return the type to use for a scalar shift opcode, given the shifted amount type.
AtomicExpansionKind shouldCastAtomicStoreInIR(StoreInst *SI) const override
Returns how the given (atomic) store should be cast by the IR-level AtomicExpand pass into.
Register getRegisterByName(const char *RegName, LLT VT, const MachineFunction &MF) const override
Return the register ID of the name passed in.
bool hasAndNot(SDValue Y) const override
Return true if the target has a bitwise and-not operation: X = ~A & B This can be used to simplify se...
SDValue LowerFormalArguments(SDValue Chain, CallingConv::ID CallConv, bool isVarArg, const SmallVectorImpl< ISD::InputArg > &Ins, const SDLoc &DL, SelectionDAG &DAG, SmallVectorImpl< SDValue > &InVals) const override
This hook must be implemented to lower the incoming (formal) arguments, described by the Ins array,...
TargetLoweringBase::LegalizeTypeAction getPreferredVectorAction(MVT VT) const override
Return the preferred vector type legalization action.
void computeKnownBitsForTargetNode(const SDValue Op, KnownBits &Known, const APInt &DemandedElts, const SelectionDAG &DAG, unsigned Depth=0) const override
Determine which of the bits specified in Mask are known to be either zero or one and return them in t...
unsigned getStackProbeSize(const MachineFunction &MF) const
unsigned getVectorIdxWidth(const DataLayout &DL) const override
Returns the type to be used for the index operand vector operations.
LegalizeTypeAction
This enum indicates whether a types are legal for a target, and if not, what action should be used to...
virtual unsigned getNumRegisters(LLVMContext &Context, EVT VT, std::optional< MVT > RegisterVT=std::nullopt) const
Return the number of registers that this ValueType will eventually require.
virtual TargetLoweringBase::LegalizeTypeAction getPreferredVectorAction(MVT VT) const
Return the preferred vector type legalization action.
AtomicExpansionKind
Enum that specifies what an atomic load/AtomicRMWInst is expanded to, if at all.
virtual InlineAsm::ConstraintCode getInlineAsmMemConstraint(StringRef ConstraintCode) const
TargetLowering(const TargetLowering &)=delete
Primary interface to the complete machine description for the target machine.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
Target - Wrapper for Target specific information.
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
Value * getOperand(unsigned i) const
Definition User.h:207
LLVM Value Representation.
Definition Value.h:75
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition CallingConv.h:24
@ Fast
Attempts to make calls as fast as possible (e.g.
Definition CallingConv.h:41
NodeType
ISD::NodeType enum - This enum defines the target-independent operators for a SelectionDAG.
Definition ISDOpcodes.h:41
@ ANY_EXTEND
ANY_EXTEND - Used for integer types. The high bits are undefined.
Definition ISDOpcodes.h:863
@ ZERO_EXTEND
ZERO_EXTEND - Used for integer types, zeroing the new bits.
Definition ISDOpcodes.h:860
CondCode
ISD::CondCode enum - These are ordered carefully to make the bitfields below work out,...
This is an optimization pass for GlobalISel generic memory operations.
@ Known
Known to have no common set bits.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
uint16_t MCPhysReg
An unsigned integer type large enough to represent all physical registers, but not necessarily virtua...
Definition MCRegister.h:21
DWARFExpression::Operation Op
UndefPoisonKind
Enumeration to track whether we are interested in Undef, Poison, or both.
Definition UndefPoison.h:20
MCRegisterClass TargetRegisterClass
Definition FastISel.h:58
#define N
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
bool isScalarInteger() const
Return true if this is an integer, but not a vector.
Definition ValueTypes.h:165
SmallVector< unsigned, 2 > OpVals
bool isVectorConstantLegal(const SystemZSubtarget &Subtarget)