LLVM 22.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"
22#include <optional>
23
24namespace llvm {
25
26namespace SystemZICMP {
27// Describes whether an integer comparison needs to be signed or unsigned,
28// or whether either type is OK.
29enum {
33};
34} // end namespace SystemZICMP
35
36class SystemZSubtarget;
37
39public:
40 explicit SystemZTargetLowering(const TargetMachine &TM,
41 const SystemZSubtarget &STI);
42
43 bool useSoftFloat() const override;
44
45 // Override TargetLowering.
46 MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override {
47 return MVT::i32;
48 }
49 unsigned getVectorIdxWidth(const DataLayout &DL) const override {
50 // Only the lower 12 bits of an element index are used, so we don't
51 // want to clobber the upper 32 bits of a GPR unnecessarily.
52 return 32;
53 }
55 const override {
56 // Widen subvectors to the full width rather than promoting integer
57 // elements. This is better because:
58 //
59 // (a) it means that we can handle the ABI for passing and returning
60 // sub-128 vectors without having to handle them as legal types.
61 //
62 // (b) we don't have instructions to extend on load and truncate on store,
63 // so promoting the integers is less efficient.
64 //
65 // (c) there are no multiplication instructions for the widest integer
66 // type (v2i64).
67 if (VT.getScalarSizeInBits() % 8 == 0)
68 return TypeWidenVector;
70 }
71 unsigned
73 std::optional<MVT> RegisterVT) const override {
74 // i128 inline assembly operand.
75 if (VT == MVT::i128 && RegisterVT && *RegisterVT == MVT::Untyped)
76 return 1;
77 return TargetLowering::getNumRegisters(Context, VT);
78 }
80 EVT VT) const override {
81 // 128-bit single-element vector types are passed like other vectors,
82 // not like their element type.
83 if (VT.isVector() && VT.getSizeInBits() == 128 &&
84 VT.getVectorNumElements() == 1)
85 return MVT::v16i8;
87 }
88 bool isCheapToSpeculateCtlz(Type *) const override { return true; }
89 bool isCheapToSpeculateCttz(Type *) const override { return true; }
90 bool preferZeroCompareBranch() const override { return true; }
91 bool isMaskAndCmp0FoldingBeneficial(const Instruction &AndI) const override {
93 return Mask && Mask->getValue().isIntN(16);
94 }
95 bool convertSetCCLogicToBitwiseLogic(EVT VT) const override {
96 return VT.isScalarInteger();
97 }
99 EVT) const override;
101 EVT VT) const override;
102 bool isFPImmLegal(const APFloat &Imm, EVT VT,
103 bool ForCodeSize) const override;
104 bool ShouldShrinkFPConstant(EVT VT) const override {
105 // Do not shrink 64-bit FP constpool entries since LDEB is slower than
106 // LD, and having the full constant in memory enables reg/mem opcodes.
107 return VT != MVT::f64;
108 }
110 MachineBasicBlock *MBB) const;
111
113 MachineBasicBlock *MBB) const;
114
115 bool hasInlineStackProbe(const MachineFunction &MF) const override;
119 shouldExpandAtomicRMWInIR(AtomicRMWInst *RMW) const override;
120 bool isLegalICmpImmediate(int64_t Imm) const override;
121 bool isLegalAddImmediate(int64_t Imm) const override;
122 bool isLegalAddressingMode(const DataLayout &DL, const AddrMode &AM, Type *Ty,
123 unsigned AS,
124 Instruction *I = nullptr) const override;
125 bool allowsMisalignedMemoryAccesses(EVT VT, unsigned AS, Align Alignment,
127 unsigned *Fast) const override;
128 bool
129 findOptimalMemOpLowering(LLVMContext &Context, std::vector<EVT> &MemOps,
130 unsigned Limit, const MemOp &Op, unsigned DstAS,
131 unsigned SrcAS,
132 const AttributeList &FuncAttributes) const override;
133 EVT getOptimalMemOpType(LLVMContext &Context, const MemOp &Op,
134 const AttributeList &FuncAttributes) const override;
135 bool isTruncateFree(Type *, Type *) const override;
136 bool isTruncateFree(EVT, EVT) const override;
137
138 bool shouldFormOverflowOp(unsigned Opcode, EVT VT,
139 bool MathUsed) const override {
140 // Form add and sub with overflow intrinsics regardless of any extra
141 // users of the math result.
142 return VT == MVT::i32 || VT == MVT::i64 || VT == MVT::i128;
143 }
144
145 bool shouldConsiderGEPOffsetSplit() const override { return true; }
146
147 bool preferSelectsOverBooleanArithmetic(EVT VT) const override {
148 return true;
149 }
150
151 // This function currently returns cost for srl/ipm/cc sequence for merging.
152 CondMergingParams
154 const Value *Rhs) const override;
155
156 // Handle Lowering flag assembly outputs.
158 const SDLoc &DL,
159 const AsmOperandInfo &Constraint,
160 SelectionDAG &DAG) const override;
161
162 std::pair<unsigned, const TargetRegisterClass *>
164 StringRef Constraint, MVT VT) const override;
166 getConstraintType(StringRef Constraint) const override;
168 getSingleConstraintMatchWeight(AsmOperandInfo &info,
169 const char *constraint) const override;
171 std::vector<SDValue> &Ops,
172 SelectionDAG &DAG) const override;
173
175 getInlineAsmMemConstraint(StringRef ConstraintCode) const override {
176 if (ConstraintCode.size() == 1) {
177 switch(ConstraintCode[0]) {
178 default:
179 break;
180 case 'o':
182 case 'Q':
184 case 'R':
186 case 'S':
188 case 'T':
190 }
191 } else if (ConstraintCode.size() == 2 && ConstraintCode[0] == 'Z') {
192 switch (ConstraintCode[1]) {
193 default:
194 break;
195 case 'Q':
197 case 'R':
199 case 'S':
201 case 'T':
203 }
204 }
205 return TargetLowering::getInlineAsmMemConstraint(ConstraintCode);
206 }
207
208 Register getRegisterByName(const char *RegName, LLT VT,
209 const MachineFunction &MF) const override;
210
211 /// If a physical register, this returns the register that receives the
212 /// exception address on entry to an EH pad.
214 getExceptionPointerRegister(const Constant *PersonalityFn) const override;
215
216 /// If a physical register, this returns the register that receives the
217 /// exception typeid on entry to a landing pad.
219 getExceptionSelectorRegister(const Constant *PersonalityFn) const override;
220
221 /// Override to support customized stack guard loading.
222 bool useLoadStackGuardNode(const Module &M) const override { return true; }
223 void insertSSPDeclarations(Module &M) const override {
224 }
225
228 MachineBasicBlock *BB) const override;
229 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
231 SelectionDAG &DAG) const override;
233 SelectionDAG &DAG) const override;
234 const MCPhysReg *getScratchRegisters(CallingConv::ID CC) const override;
235 bool allowTruncateForTailCall(Type *, Type *) const override;
236 bool mayBeEmittedAsTailCall(const CallInst *CI) const override;
238 SelectionDAG & DAG, const SDLoc &DL, SDValue Val, SDValue *Parts,
239 unsigned NumParts, MVT PartVT, std::optional<CallingConv::ID> CC)
240 const override;
242 SelectionDAG & DAG, const SDLoc &DL, const SDValue *Parts,
243 unsigned NumParts, MVT PartVT, EVT ValueVT,
244 std::optional<CallingConv::ID> CC) const override;
246 bool isVarArg,
248 const SDLoc &DL, SelectionDAG &DAG,
249 SmallVectorImpl<SDValue> &InVals) const override;
250 SDValue LowerCall(CallLoweringInfo &CLI,
251 SmallVectorImpl<SDValue> &InVals) const override;
252
253 std::pair<SDValue, SDValue>
254 makeExternalCall(SDValue Chain, SelectionDAG &DAG, const char *CalleeName,
255 EVT RetVT, ArrayRef<SDValue> Ops, CallingConv::ID CallConv,
256 bool IsSigned, SDLoc DL, bool DoesNotReturn,
257 bool IsReturnValueUsed) const;
258
259 SDValue useLibCall(SelectionDAG &DAG, RTLIB::Libcall LC, MVT VT, SDValue Arg,
260 SDLoc DL, SDValue Chain, bool IsStrict) const;
261
263 bool isVarArg,
265 LLVMContext &Context,
266 const Type *RetTy) const override;
267 SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool IsVarArg,
269 const SmallVectorImpl<SDValue> &OutVals, const SDLoc &DL,
270 SelectionDAG &DAG) const override;
271 SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override;
272
273 /// Determine which of the bits specified in Mask are known to be either
274 /// zero or one and return them in the KnownZero/KnownOne bitsets.
276 KnownBits &Known,
277 const APInt &DemandedElts,
278 const SelectionDAG &DAG,
279 unsigned Depth = 0) const override;
280
281 /// Determine the number of bits in the operation that are sign bits.
283 const APInt &DemandedElts,
284 const SelectionDAG &DAG,
285 unsigned Depth) const override;
286
288 SDValue Op, const APInt &DemandedElts, const SelectionDAG &DAG,
289 bool PoisonOnly, unsigned Depth) const override;
290
292 return ISD::ANY_EXTEND;
293 }
295 return ISD::ZERO_EXTEND;
296 }
297
298 bool supportSwiftError() const override {
299 return true;
300 }
301
302 unsigned getStackProbeSize(const MachineFunction &MF) const;
303 bool hasAndNot(SDValue Y) const override;
304
305private:
306 const SystemZSubtarget &Subtarget;
307
308 // Implement LowerOperation for individual opcodes.
309 SDValue getVectorCmp(SelectionDAG &DAG, unsigned Opcode,
310 const SDLoc &DL, EVT VT,
311 SDValue CmpOp0, SDValue CmpOp1, SDValue Chain) const;
312 SDValue lowerVectorSETCC(SelectionDAG &DAG, const SDLoc &DL,
313 EVT VT, ISD::CondCode CC,
314 SDValue CmpOp0, SDValue CmpOp1,
315 SDValue Chain = SDValue(),
316 bool IsSignaling = false) const;
317 SDValue lowerSETCC(SDValue Op, SelectionDAG &DAG) const;
318 SDValue lowerSTRICT_FSETCC(SDValue Op, SelectionDAG &DAG,
319 bool IsSignaling) const;
320 SDValue lowerBR_CC(SDValue Op, SelectionDAG &DAG) const;
321 SDValue lowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const;
322 SDValue lowerGlobalAddress(GlobalAddressSDNode *Node,
323 SelectionDAG &DAG) const;
324 SDValue lowerTLSGetOffset(GlobalAddressSDNode *Node,
325 SelectionDAG &DAG, unsigned Opcode,
326 SDValue GOTOffset) const;
327 SDValue lowerThreadPointer(const SDLoc &DL, SelectionDAG &DAG) const;
328 SDValue lowerGlobalTLSAddress(GlobalAddressSDNode *Node,
329 SelectionDAG &DAG) const;
330 SDValue lowerBlockAddress(BlockAddressSDNode *Node,
331 SelectionDAG &DAG) const;
332 SDValue lowerJumpTable(JumpTableSDNode *JT, SelectionDAG &DAG) const;
333 SDValue lowerConstantPool(ConstantPoolSDNode *CP, SelectionDAG &DAG) const;
336 SDValue lowerVASTART(SDValue Op, SelectionDAG &DAG) const;
337 SDValue lowerVASTART_ELF(SDValue Op, SelectionDAG &DAG) const;
338 SDValue lowerVASTART_XPLINK(SDValue Op, SelectionDAG &DAG) const;
339 SDValue lowerVACOPY(SDValue Op, SelectionDAG &DAG) const;
340 SDValue lowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG) const;
341 SDValue lowerDYNAMIC_STACKALLOC_ELF(SDValue Op, SelectionDAG &DAG) const;
342 SDValue lowerDYNAMIC_STACKALLOC_XPLINK(SDValue Op, SelectionDAG &DAG) const;
343 SDValue lowerGET_DYNAMIC_AREA_OFFSET(SDValue Op, SelectionDAG &DAG) const;
344 SDValue lowerMULH(SDValue Op, SelectionDAG &DAG, unsigned Opcode) const;
345 SDValue lowerSMUL_LOHI(SDValue Op, SelectionDAG &DAG) const;
346 SDValue lowerUMUL_LOHI(SDValue Op, SelectionDAG &DAG) const;
347 SDValue lowerSDIVREM(SDValue Op, SelectionDAG &DAG) const;
348 SDValue lowerUDIVREM(SDValue Op, SelectionDAG &DAG) const;
349 SDValue lowerXALUO(SDValue Op, SelectionDAG &DAG) const;
350 SDValue lowerUADDSUBO_CARRY(SDValue Op, SelectionDAG &DAG) const;
351 SDValue lowerBITCAST(SDValue Op, SelectionDAG &DAG) const;
352 SDValue lowerOR(SDValue Op, SelectionDAG &DAG) const;
353 SDValue lowerCTPOP(SDValue Op, SelectionDAG &DAG) const;
354 SDValue lowerVECREDUCE_ADD(SDValue Op, SelectionDAG &DAG) const;
355 SDValue lowerATOMIC_FENCE(SDValue Op, SelectionDAG &DAG) const;
356 SDValue lowerATOMIC_LOAD(SDValue Op, SelectionDAG &DAG) const;
357 SDValue lowerATOMIC_STORE(SDValue Op, SelectionDAG &DAG) const;
358 SDValue lowerATOMIC_LDST_I128(SDValue Op, SelectionDAG &DAG) const;
359 SDValue lowerATOMIC_LOAD_OP(SDValue Op, SelectionDAG &DAG,
360 unsigned Opcode) const;
361 SDValue lowerATOMIC_LOAD_SUB(SDValue Op, SelectionDAG &DAG) const;
362 SDValue lowerATOMIC_CMP_SWAP(SDValue Op, SelectionDAG &DAG) const;
363 SDValue lowerSTACKSAVE(SDValue Op, SelectionDAG &DAG) const;
364 SDValue lowerSTACKRESTORE(SDValue Op, SelectionDAG &DAG) const;
365 SDValue lowerPREFETCH(SDValue Op, SelectionDAG &DAG) const;
366 SDValue lowerINTRINSIC_W_CHAIN(SDValue Op, SelectionDAG &DAG) const;
367 SDValue lowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG) const;
368 bool isVectorElementLoad(SDValue Op) const;
369 SDValue buildVector(SelectionDAG &DAG, const SDLoc &DL, EVT VT,
370 SmallVectorImpl<SDValue> &Elems) const;
373 SDValue lowerSCALAR_TO_VECTOR(SDValue Op, SelectionDAG &DAG) const;
374 SDValue lowerINSERT_VECTOR_ELT(SDValue Op, SelectionDAG &DAG) const;
375 SDValue lowerEXTRACT_VECTOR_ELT(SDValue Op, SelectionDAG &DAG) const;
376 SDValue lowerSIGN_EXTEND_VECTOR_INREG(SDValue Op, SelectionDAG &DAG) const;
377 SDValue lowerZERO_EXTEND_VECTOR_INREG(SDValue Op, SelectionDAG &DAG) const;
378 SDValue lowerShift(SDValue Op, SelectionDAG &DAG, unsigned ByScalar) const;
379 SDValue lowerFSHL(SDValue Op, SelectionDAG &DAG) const;
380 SDValue lowerFSHR(SDValue Op, SelectionDAG &DAG) const;
381 SDValue lowerFP_EXTEND(SDValue Op, SelectionDAG &DAG) const;
382 SDValue lower_FP_TO_INT(SDValue Op, SelectionDAG &DAG) const;
383 SDValue lower_INT_TO_FP(SDValue Op, SelectionDAG &DAG) const;
384 SDValue lowerLoadF16(SDValue Op, SelectionDAG &DAG) const;
385 SDValue lowerStoreF16(SDValue Op, SelectionDAG &DAG) const;
386
387 SDValue lowerIS_FPCLASS(SDValue Op, SelectionDAG &DAG) const;
388 SDValue lowerGET_ROUNDING(SDValue Op, SelectionDAG &DAG) const;
389 SDValue lowerREADCYCLECOUNTER(SDValue Op, SelectionDAG &DAG) const;
390
391 bool canTreatAsByteVector(EVT VT) const;
392 SDValue combineExtract(const SDLoc &DL, EVT ElemVT, EVT VecVT, SDValue OrigOp,
393 unsigned Index, DAGCombinerInfo &DCI,
394 bool Force) const;
395 SDValue combineTruncateExtract(const SDLoc &DL, EVT TruncVT, SDValue Op,
396 DAGCombinerInfo &DCI) const;
397 SDValue combineZERO_EXTEND(SDNode *N, DAGCombinerInfo &DCI) const;
398 SDValue combineSIGN_EXTEND(SDNode *N, DAGCombinerInfo &DCI) const;
399 SDValue combineSIGN_EXTEND_INREG(SDNode *N, DAGCombinerInfo &DCI) const;
400 SDValue combineMERGE(SDNode *N, DAGCombinerInfo &DCI) const;
401 bool canLoadStoreByteSwapped(EVT VT) const;
402 SDValue combineLOAD(SDNode *N, DAGCombinerInfo &DCI) const;
403 SDValue combineSTORE(SDNode *N, DAGCombinerInfo &DCI) const;
404 SDValue combineVECTOR_SHUFFLE(SDNode *N, DAGCombinerInfo &DCI) const;
405 SDValue combineEXTRACT_VECTOR_ELT(SDNode *N, DAGCombinerInfo &DCI) const;
406 SDValue combineJOIN_DWORDS(SDNode *N, DAGCombinerInfo &DCI) const;
407 SDValue combineFP_ROUND(SDNode *N, DAGCombinerInfo &DCI) const;
408 SDValue combineFP_EXTEND(SDNode *N, DAGCombinerInfo &DCI) const;
409 SDValue combineINT_TO_FP(SDNode *N, DAGCombinerInfo &DCI) const;
410 SDValue combineFCOPYSIGN(SDNode *N, DAGCombinerInfo &DCI) const;
411 SDValue combineBSWAP(SDNode *N, DAGCombinerInfo &DCI) const;
412 SDValue combineSETCC(SDNode *N, DAGCombinerInfo &DCI) const;
413 SDValue combineBR_CCMASK(SDNode *N, DAGCombinerInfo &DCI) const;
414 SDValue combineSELECT_CCMASK(SDNode *N, DAGCombinerInfo &DCI) const;
415 SDValue combineGET_CCMASK(SDNode *N, DAGCombinerInfo &DCI) const;
416 SDValue combineShiftToMulAddHigh(SDNode *N, DAGCombinerInfo &DCI) const;
417 SDValue combineMUL(SDNode *N, DAGCombinerInfo &DCI) const;
418 SDValue combineIntDIVREM(SDNode *N, DAGCombinerInfo &DCI) const;
419 SDValue combineINTRINSIC(SDNode *N, DAGCombinerInfo &DCI) const;
420
421 SDValue unwrapAddress(SDValue N) const override;
422
423 // If the last instruction before MBBI in MBB was some form of COMPARE,
424 // try to replace it with a COMPARE AND BRANCH just before MBBI.
425 // CCMask and Target are the BRC-like operands for the branch.
426 // Return true if the change was made.
427 bool convertPrevCompareToBranch(MachineBasicBlock *MBB,
429 unsigned CCMask,
431
432 // Implement EmitInstrWithCustomInserter for individual operation types.
433 MachineBasicBlock *emitAdjCallStack(MachineInstr &MI,
434 MachineBasicBlock *BB) const;
435 MachineBasicBlock *emitSelect(MachineInstr &MI, MachineBasicBlock *BB) const;
437 unsigned StoreOpcode, unsigned STOCOpcode,
438 bool Invert) const;
440 bool Unsigned) const;
441 MachineBasicBlock *emitPair128(MachineInstr &MI,
442 MachineBasicBlock *MBB) const;
444 bool ClearEven) const;
445 MachineBasicBlock *emitAtomicLoadBinary(MachineInstr &MI,
447 unsigned BinOpcode,
448 bool Invert = false) const;
449 MachineBasicBlock *emitAtomicLoadMinMax(MachineInstr &MI,
451 unsigned CompareOpcode,
452 unsigned KeepOldMask) const;
453 MachineBasicBlock *emitAtomicCmpSwapW(MachineInstr &MI,
454 MachineBasicBlock *BB) const;
455 MachineBasicBlock *emitMemMemWrapper(MachineInstr &MI, MachineBasicBlock *BB,
456 unsigned Opcode,
457 bool IsMemset = false) const;
458 MachineBasicBlock *emitStringWrapper(MachineInstr &MI, MachineBasicBlock *BB,
459 unsigned Opcode) const;
460 MachineBasicBlock *emitTransactionBegin(MachineInstr &MI,
462 unsigned Opcode, bool NoFloat) const;
463 MachineBasicBlock *emitLoadAndTestCmp0(MachineInstr &MI,
465 unsigned Opcode) const;
466 MachineBasicBlock *emitProbedAlloca(MachineInstr &MI,
467 MachineBasicBlock *MBB) const;
468
469 SDValue getBackchainAddress(SDValue SP, SelectionDAG &DAG) const;
470
472 getTargetMMOFlags(const Instruction &I) const override;
473 const TargetRegisterClass *getRepRegClassFor(MVT VT) const override;
474
475private:
476 bool isInternal(const Function *Fn) const;
477 mutable std::map<const Function *, bool> IsInternalCache;
478 void verifyNarrowIntegerArgs_Call(const SmallVectorImpl<ISD::OutputArg> &Outs,
479 const Function *F, SDValue Callee) const;
480 void verifyNarrowIntegerArgs_Ret(const SmallVectorImpl<ISD::OutputArg> &Outs,
481 const Function *F) const;
482 bool
483 verifyNarrowIntegerArgs(const SmallVectorImpl<ISD::OutputArg> &Outs) const;
484
485public:
486};
487
489private:
490 APInt IntBits; // The 128 bits as an integer.
491 APInt SplatBits; // Smallest splat value.
492 APInt SplatUndef; // Bits correspoding to undef operands of the BVN.
493 unsigned SplatBitSize = 0;
494 bool isFP128 = false;
495public:
496 unsigned Opcode = 0;
501 : SystemZVectorConstantInfo(FPImm.bitcastToAPInt()) {
502 isFP128 = (&FPImm.getSemantics() == &APFloat::IEEEquad());
503 }
505 bool isVectorConstantLegal(const SystemZSubtarget &Subtarget);
506};
507
508} // end namespace llvm
509
510#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
#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 SDValue lowerVECTOR_SHUFFLE(SDValue Op, SelectionDAG &DAG, const RISCVSubtarget &Subtarget)
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 combineFP_ROUND(SDNode *N, SelectionDAG &DAG, const X86Subtarget &Subtarget)
static const fltSemantics & IEEEquad()
Definition APFloat.h:298
const fltSemantics & getSemantics() const
Definition APFloat.h:1439
Class for arbitrary precision integers.
Definition APInt.h:78
ArrayRef - 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:63
This is an important class for using LLVM in a threaded context.
Definition LLVMContext.h:68
An instruction for reading from memory.
Machine Value Type.
uint64_t getScalarSizeInBits() const
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.
StringRef - Represent a constant reference to a string, i.e.
Definition StringRef.h:55
constexpr size_t size() const
size - Get the string size.
Definition StringRef.h:146
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:
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...
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.
bool findOptimalMemOpLowering(LLVMContext &Context, std::vector< EVT > &MemOps, unsigned Limit, const MemOp &Op, unsigned DstAS, unsigned SrcAS, const AttributeList &FuncAttributes) const override
Determines the optimal series of memory ops to replace the memset / memcpy.
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.
MachineBasicBlock * emitEHSjLjLongJmp(MachineInstr &MI, MachineBasicBlock *MBB) const
CondMergingParams getJumpConditionMergingParams(Instruction::BinaryOps Opc, const Value *Lhs, const Value *Rhs) const override
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
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...
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.
AtomicExpansionKind shouldExpandAtomicRMWInIR(AtomicRMWInst *RMW) const override
Returns how the IR-level AtomicExpand pass should expand the given AtomicRMW, if at all.
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...
bool isCheapToSpeculateCttz(Type *) const override
Return true if it is cheap to speculate a call to intrinsic cttz.
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.
bool isGuaranteedNotToBeUndefOrPoisonForTargetNode(SDValue Op, const APInt &DemandedElts, const SelectionDAG &DAG, bool PoisonOnly, unsigned Depth) const override
Return true if this function can prove that Op is never poison and, if PoisonOnly is false,...
MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override
Return the type to use for a scalar shift opcode, given the shifted amount type.
void insertSSPDeclarations(Module &M) const override
Inserts necessary declarations for SSP (stack protection) purpose.
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.
virtual MVT getRegisterTypeForCallingConv(LLVMContext &Context, CallingConv::ID CC, EVT VT) const
Certain combinations of ABIs, Targets and features require that types are legal for some operations a...
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:45
Value * getOperand(unsigned i) const
Definition User.h:232
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:841
@ ZERO_EXTEND
ZERO_EXTEND - Used for integer types, zeroing the new bits.
Definition ISDOpcodes.h:838
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.
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
#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
TypeSize getSizeInBits() const
Return the size of the specified value type in bits.
Definition ValueTypes.h:373
bool isVector() const
Return true if this is a vector value type.
Definition ValueTypes.h:168
bool isScalarInteger() const
Return true if this is an integer, but not a vector.
Definition ValueTypes.h:157
unsigned getVectorNumElements() const
Given a vector type, return the number of elements it contains.
Definition ValueTypes.h:336
SmallVector< unsigned, 2 > OpVals
bool isVectorConstantLegal(const SystemZSubtarget &Subtarget)