LLVM 23.0.0git
AArch64ISelLowering.h
Go to the documentation of this file.
1//==-- AArch64ISelLowering.h - AArch64 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 AArch64 uses to lower LLVM code into a
10// selection DAG.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_LIB_TARGET_AARCH64_AARCH64ISELLOWERING_H
15#define LLVM_LIB_TARGET_AARCH64_AARCH64ISELLOWERING_H
16
21#include "llvm/IR/CallingConv.h"
22#include "llvm/IR/Instruction.h"
23
24namespace llvm {
25
27
28namespace AArch64 {
29/// Possible values of current rounding mode, which is specified in bits
30/// 23:22 of FPCR.
32 RN = 0, // Round to Nearest
33 RP = 1, // Round towards Plus infinity
34 RM = 2, // Round towards Minus infinity
35 RZ = 3, // Round towards Zero
36 rmMask = 3 // Bit mask selecting rounding mode
37};
38
39// Bit position of rounding mode bits in FPCR.
40const unsigned RoundingBitsPos = 22;
41
42// Reserved bits should be preserved when modifying FPCR.
43const uint64_t ReservedFPControlBits = 0xfffffffff80040f8;
44
45// Registers used to pass function arguments.
48
49/// Maximum allowed number of unprobed bytes above SP at an ABI
50/// boundary.
51const unsigned StackProbeMaxUnprobedStack = 1024;
52
53/// Maximum number of iterations to unroll for a constant size probing loop.
54const unsigned StackProbeMaxLoopUnroll = 4;
55
56} // namespace AArch64
57
58namespace ARM64AS {
59enum : unsigned { PTR32_SPTR = 270, PTR32_UPTR = 271, PTR64 = 272 };
60}
61
62class AArch64Subtarget;
63
65public:
66 explicit AArch64TargetLowering(const TargetMachine &TM,
67 const AArch64Subtarget &STI);
68
69 const AArch64TargetMachine &getTM() const;
70
71 /// Control the following reassociation of operands: (op (op x, c1), y) -> (op
72 /// (op x, y), c1) where N0 is (op x, c1) and N1 is y.
74 SDValue N1) const override;
75
76 /// Selects the correct CCAssignFn for a given CallingConvention value.
77 CCAssignFn *CCAssignFnForCall(CallingConv::ID CC, bool IsVarArg) const;
78
79 /// Selects the correct CCAssignFn for a given CallingConvention value.
81
82 /// Determine which of the bits specified in Mask are known to be either zero
83 /// or one and return them in the KnownZero/KnownOne bitsets.
85 const APInt &DemandedElts,
86 const SelectionDAG &DAG,
87 unsigned Depth = 0) const override;
88
90 const APInt &DemandedElts,
91 const SelectionDAG &DAG,
92 unsigned Depth) const override;
93
95 Register R,
96 const APInt &DemandedElts,
97 const MachineRegisterInfo &MRI,
98 unsigned Depth = 0) const override;
99
100 MVT getPointerTy(const DataLayout &DL, uint32_t AS = 0) const override {
101 if ((AS == ARM64AS::PTR32_SPTR) || (AS == ARM64AS::PTR32_UPTR)) {
102 // These are 32-bit pointers created using the `__ptr32` extension or
103 // similar. They are handled by marking them as being in a different
104 // address space, and will be extended to 64-bits when used as the target
105 // of a load or store operation, or cast to a 64-bit pointer type.
106 return MVT::i32;
107 } else {
108 // Returning i64 unconditionally here (i.e. even for ILP32) means that the
109 // *DAG* representation of pointers will always be 64-bits. They will be
110 // truncated and extended when transferred to memory, but the 64-bit DAG
111 // allows us to use AArch64's addressing modes much more easily.
112 return MVT::i64;
113 }
114 }
115
116 unsigned getVectorIdxWidth(const DataLayout &DL) const override {
117 // The VectorIdx type is i64, with both normal and ilp32.
118 return 64;
119 }
120
122 const APInt &DemandedElts,
123 TargetLoweringOpt &TLO) const override;
124
125 MVT getScalarShiftAmountTy(const DataLayout &DL, EVT) const override;
126
127 /// Returns true if the target allows unaligned memory accesses of the
128 /// specified type.
130 EVT VT, unsigned AddrSpace = 0, Align Alignment = Align(1),
132 unsigned *Fast = nullptr) const override;
133 /// LLT variant.
134 bool allowsMisalignedMemoryAccesses(LLT Ty, unsigned AddrSpace,
135 Align Alignment,
137 unsigned *Fast = nullptr) const override;
138
139 /// Provide custom lowering hooks for some operations.
140 SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
141
142 SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const override;
143
144 /// This method returns a target specific FastISel object, or null if the
145 /// target does not support "fast" ISel.
146 FastISel *
148 const TargetLibraryInfo *libInfo,
149 const LibcallLoweringInfo *libcallLowering) const override;
150
151 bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override;
152
153 bool isFPImmLegalAsFMov(const APFloat &Imm, EVT VT) const;
154
155 bool isFPImmLegal(const APFloat &Imm, EVT VT,
156 bool ForCodeSize) const override;
157
158 /// Return true if the given shuffle mask can be codegen'd directly, or if it
159 /// should be stack expanded.
160 bool isShuffleMaskLegal(ArrayRef<int> M, EVT VT) const override;
161
162 /// Similar to isShuffleMaskLegal. Return true is the given 'select with zero'
163 /// shuffle mask can be codegen'd directly.
164 bool isVectorClearMaskLegal(ArrayRef<int> M, EVT VT) const override;
165
166 /// Return the ISD::SETCC ValueType.
168 EVT VT) const override;
169
171
173 MachineBasicBlock *BB) const;
174
176 MachineBasicBlock *BB) const;
177
179 MachineBasicBlock *MBB) const;
180
182 MachineBasicBlock *MBB) const;
183
185 MachineBasicBlock *MBB) const;
186
187 MachineBasicBlock *EmitTileLoad(unsigned Opc, unsigned BaseReg,
189 MachineBasicBlock *BB) const;
191 MachineBasicBlock *EmitZAInstr(unsigned Opc, unsigned BaseReg,
192 MachineInstr &MI, MachineBasicBlock *BB) const;
194 unsigned Opcode, bool Op0IsDef) const;
197 MachineBasicBlock *BB) const;
198
199 /// Replace (0, vreg) discriminator components with the operands of blend
200 /// or with (immediate, NoRegister) when possible.
202 MachineOperand &IntDiscOp,
203 MachineOperand &AddrDiscOp,
204 const TargetRegisterClass *AddrDiscRC) const;
205
208 MachineBasicBlock *MBB) const override;
209
211 const CallBase &I, MachineFunction &MF,
212 unsigned Intrinsic) const override;
213
214 bool shouldReduceLoadWidth(SDNode *Load, ISD::LoadExtType ExtTy, EVT NewVT,
215 std::optional<unsigned> ByteOffset) const override;
216
217 bool shouldRemoveRedundantExtend(SDValue Op) const override;
218
219 bool isTruncateFree(Type *Ty1, Type *Ty2) const override;
220 bool isTruncateFree(EVT VT1, EVT VT2) const override;
221
222 bool isProfitableToHoist(Instruction *I) const override;
223
224 bool isZExtFree(Type *Ty1, Type *Ty2) const override;
225 bool isZExtFree(EVT VT1, EVT VT2) const override;
226 bool isZExtFree(SDValue Val, EVT VT2) const override;
227
229 Instruction *I, Loop *L, const TargetTransformInfo &TTI) const override;
230
231 bool hasPairedLoad(EVT LoadedType, Align &RequiredAlignment) const override;
232
233 unsigned getMaxSupportedInterleaveFactor() const override { return 4; }
234
235 bool lowerInterleavedLoad(Instruction *Load, Value *Mask,
237 ArrayRef<unsigned> Indices, unsigned Factor,
238 const APInt &GapMask) const override;
239 bool lowerInterleavedStore(Instruction *Store, Value *Mask,
240 ShuffleVectorInst *SVI, unsigned Factor,
241 const APInt &GapMask) const override;
242
244 IntrinsicInst *DI,
245 const APInt &GapMask) const override;
246
248 Instruction *Store, Value *Mask,
249 ArrayRef<Value *> InterleaveValues) const override;
250
251 bool isLegalAddImmediate(int64_t) const override;
252 bool isLegalAddScalableImmediate(int64_t) const override;
253 bool isLegalICmpImmediate(int64_t) const override;
254
256 SDValue ConstNode) const override;
257
258 bool shouldConsiderGEPOffsetSplit() const override;
259
260 EVT getOptimalMemOpType(LLVMContext &Context, const MemOp &Op,
261 const AttributeList &FuncAttributes) const override;
262
264 const AttributeList &FuncAttributes) const override;
265
266 bool findOptimalMemOpLowering(LLVMContext &Context, std::vector<EVT> &MemOps,
267 unsigned Limit, const MemOp &Op, unsigned DstAS,
268 unsigned SrcAS,
269 const AttributeList &FuncAttributes,
270 EVT *LargestVT = nullptr) const override;
271
272 /// Return true if the addressing mode represented by AM is legal for this
273 /// target, for a load/store of the specified type.
274 bool isLegalAddressingMode(const DataLayout &DL, const AddrMode &AM, Type *Ty,
275 unsigned AS,
276 Instruction *I = nullptr) const override;
277
278 int64_t getPreferredLargeGEPBaseOffset(int64_t MinOffset,
279 int64_t MaxOffset) const override;
280
281 /// Return true if an FMA operation is faster than a pair of fmul and fadd
282 /// instructions. fmuladd intrinsics will be expanded to FMAs when this method
283 /// returns true, otherwise fmuladd is expanded to fmul + fadd.
285 EVT VT) const override;
286 bool isFMAFasterThanFMulAndFAdd(const Function &F, Type *Ty) const override;
287
289 CodeGenOptLevel OptLevel) const override;
290
291 /// Return true if the target has native support for
292 /// the specified value type and it is 'desirable' to use the type for the
293 /// given node type.
294 bool isTypeDesirableForOp(unsigned Opc, EVT VT) const override;
295
296 const MCPhysReg *getScratchRegisters(CallingConv::ID CC) const override;
298
299 /// Returns false if N is a bit extraction pattern of (X >> C) & Mask.
301 CombineLevel Level) const override;
302
303 bool isDesirableToPullExtFromShl(const MachineInstr &MI) const override {
304 return false;
305 }
306
307 /// Returns false if N is a bit extraction pattern of (X >> C) & Mask.
308 bool isDesirableToCommuteXorWithShift(const SDNode *N) const override;
309
310 /// Return true if it is profitable to fold a pair of shifts into a mask.
311 bool shouldFoldConstantShiftPairToMask(const SDNode *N) const override;
312
313 /// Return true if it is profitable to fold a pair of shifts into a mask.
315 EVT VT = Y.getValueType();
316
317 if (VT.isVector())
318 return false;
319
320 return VT.getScalarSizeInBits() <= 64;
321 }
322
323 bool shouldFoldSelectWithIdentityConstant(unsigned BinOpcode, EVT VT,
324 unsigned SelectOpcode, SDValue X,
325 SDValue Y) const override;
326
327 /// Returns true if it is beneficial to convert a load of a constant
328 /// to just the constant itself.
330 Type *Ty) const override;
331
332 /// Return true if EXTRACT_SUBVECTOR is cheap for this result type
333 /// with this index.
334 bool isExtractSubvectorCheap(EVT ResVT, EVT SrcVT,
335 unsigned Index) const override;
336
337 bool shouldFormOverflowOp(unsigned Opcode, EVT VT,
338 bool MathUsed) const override {
339 // Using overflow ops for overflow checks only should beneficial on
340 // AArch64.
341 return TargetLowering::shouldFormOverflowOp(Opcode, VT, true);
342 }
343
344 // Return true if the target wants to optimize the mul overflow intrinsic
345 // for the given \p VT.
347 EVT VT) const override;
348
350 AtomicOrdering Ord) const override;
351 Value *emitLoadLinked(IRBuilderBase &Builder, Type *ValueTy, Value *Addr,
352 AtomicOrdering Ord) const override;
353 Value *emitStoreConditional(IRBuilderBase &Builder, Value *Val, Value *Addr,
354 AtomicOrdering Ord) const override;
355
356 void emitAtomicCmpXchgNoStoreLLBalance(IRBuilderBase &Builder) const override;
357
358 bool isOpSuitableForLDPSTP(const Instruction *I) const;
359 bool isOpSuitableForLSE128(const Instruction *I) const;
360 bool isOpSuitableForRCPC3(const Instruction *I) const;
361 bool shouldInsertFencesForAtomic(const Instruction *I) const override;
363 const Instruction *I) const override;
364
366 shouldExpandAtomicLoadInIR(LoadInst *LI) const override;
367
371 shouldExpandAtomicRMWInIR(const AtomicRMWInst *AI) const override;
372
374 shouldExpandAtomicCmpXchgInIR(const AtomicCmpXchgInst *AI) const override;
375
377 return false;
378 }
379
380 bool useLoadStackGuardNode(const Module &M) const override;
381 bool useStackGuardMixFP() const override;
383 const SDLoc &DL) const override;
385 getPreferredVectorAction(MVT VT) const override;
386
387 /// If the target has a standard location for the stack protector cookie,
388 /// returns the address of that location. Otherwise, returns nullptr.
390 const LibcallLoweringInfo &Libcalls) const override;
391
392 void
394 const LibcallLoweringInfo &Libcalls) const override;
395
396 /// If the target has a standard location for the unsafe stack pointer,
397 /// returns the address of that location. Otherwise, returns nullptr.
399 IRBuilderBase &IRB, const LibcallLoweringInfo &Libcalls) const override;
400
401 /// If a physical register, this returns the register that receives the
402 /// exception address on entry to an EH pad.
404 getExceptionPointerRegister(const Constant *PersonalityFn) const override;
405
406 /// If a physical register, this returns the register that receives the
407 /// exception typeid on entry to a landing pad.
409 getExceptionSelectorRegister(const Constant *PersonalityFn) const override;
410
411 bool isIntDivCheap(EVT VT, AttributeList Attr) const override;
412
413 bool canMergeStoresTo(unsigned AddressSpace, EVT MemVT,
414 const MachineFunction &MF) const override;
415
416 bool isCheapToSpeculateCttz(Type *) const override {
417 return true;
418 }
419
420 bool isCheapToSpeculateCtlz(Type *) const override {
421 return true;
422 }
423
424 bool isMaskAndCmp0FoldingBeneficial(const Instruction &AndI) const override;
425
426 bool hasAndNotCompare(SDValue V) const override {
427 // We can use bics for any scalar.
428 return V.getValueType().isScalarInteger();
429 }
430
431 bool hasAndNot(SDValue Y) const override {
432 EVT VT = Y.getValueType();
433
434 if (!VT.isVector())
435 return hasAndNotCompare(Y);
436
437 if (VT.isScalableVector())
438 return true;
439
440 return VT.getFixedSizeInBits() >= 64; // vector 'bic'
441 }
442
445 unsigned OldShiftOpcode, unsigned NewShiftOpcode,
446 SelectionDAG &DAG) const override;
447
450 unsigned ExpansionFactor) const override;
451
452 CondMergingParams
454 const Value *Rhs,
455 const Function *F) const override;
456
458 unsigned KeptBits) const override {
459 // For vectors, we don't have a preference..
460 if (XVT.isVector())
461 return false;
462
463 auto VTIsOk = [](EVT VT) -> bool {
464 return VT == MVT::i8 || VT == MVT::i16 || VT == MVT::i32 ||
465 VT == MVT::i64;
466 };
467
468 // We are ok with KeptBitsVT being byte/word/dword, what SXT supports.
469 // XVT will be larger than KeptBitsVT.
470 MVT KeptBitsVT = MVT::getIntegerVT(KeptBits);
471 return VTIsOk(XVT) && VTIsOk(KeptBitsVT);
472 }
473
474 bool preferIncOfAddToSubOfNot(EVT VT) const override;
475
476 bool shouldConvertFpToSat(unsigned Op, EVT FPVT, EVT VT) const override;
477
478 bool preferSelectsOverBooleanArithmetic(EVT VT) const override;
479
480 bool isComplexDeinterleavingSupported() const override;
482 ComplexDeinterleavingOperation Operation, Type *Ty) const override;
483
486 ComplexDeinterleavingRotation Rotation, Value *InputA, Value *InputB,
487 Value *Accumulator = nullptr) const override;
488
489 bool supportSplitCSR(MachineFunction *MF) const override {
491 MF->getFunction().hasFnAttribute(Attribute::NoUnwind);
492 }
493 void initializeSplitCSR(MachineBasicBlock *Entry) const override;
495 MachineBasicBlock *Entry,
496 const SmallVectorImpl<MachineBasicBlock *> &Exits) const override;
497
498 bool supportSwiftError() const override {
499 return true;
500 }
501
502 bool supportPtrAuthBundles() const override { return true; }
503
504 bool supportKCFIBundles() const override { return true; }
505
508 const TargetInstrInfo *TII) const override;
509
511 Type *VectorTy, unsigned ElemSizeInBits, unsigned &Index) const override;
512
513 /// Enable aggressive FMA fusion on targets that want it.
514 bool enableAggressiveFMAFusion(EVT VT) const override;
515
516 bool aggressivelyPreferBuildVectorSources(EVT VecVT) const override {
517 return true;
518 }
519
520 /// Returns the size of the platform's va_list object.
521 unsigned getVaListSizeInBits(const DataLayout &DL) const override;
522
523 /// Returns true if \p VecTy is a legal interleaved access type. This
524 /// function checks the vector element type and the overall width of the
525 /// vector.
527 bool &UseScalable) const;
528
529 /// Returns the number of interleaved accesses that will be generated when
530 /// lowering accesses of the given type.
531 unsigned getNumInterleavedAccesses(VectorType *VecTy, const DataLayout &DL,
532 bool UseScalable) const;
533
535 const Instruction &I) const override;
536
538 Type *Ty, CallingConv::ID CallConv, bool isVarArg,
539 const DataLayout &DL) const override;
540
541 /// Used for exception handling on Win64.
542 bool needsFixedCatchObjects() const override;
543
544 bool fallBackToDAGISel(const Instruction &Inst) const override;
545
546 /// SVE code generation for fixed length vectors does not custom lower
547 /// BUILD_VECTOR. This makes BUILD_VECTOR legalisation a source of stores to
548 /// merge. However, merging them creates a BUILD_VECTOR that is just as
549 /// illegal as the original, thus leading to an infinite legalisation loop.
550 /// NOTE: Once BUILD_VECTOR is legal or can be custom lowered for all legal
551 /// vector types this override can be removed.
552 bool mergeStoresAfterLegalization(EVT VT) const override;
553
554 // If the platform/function should have a redzone, return the size in bytes.
555 unsigned getRedZoneSize(const Function &F) const {
556 if (F.hasFnAttribute(Attribute::NoRedZone))
557 return 0;
558 return 128;
559 }
560
561 bool isAllActivePredicate(const SelectionDAG &DAG, SDValue N) const;
563
565 bool AllowUnknown = false) const override;
566
567 bool shouldExpandGetActiveLaneMask(EVT VT, EVT OpVT) const override;
568
569 bool shouldExpandCttzElements(EVT VT) const override;
570
571 bool shouldExpandVectorMatch(EVT VT, unsigned SearchSize) const override;
572
573 /// If a change in streaming mode is required on entry to/return from a
574 /// function call it emits and returns the corresponding SMSTART or SMSTOP
575 /// node. \p Condition should be one of the enum values from
576 /// AArch64SME::ToggleCondition.
578 SDValue Chain, SDValue InGlue, unsigned Condition,
579 bool InsertVectorLengthCheck = false) const;
580
581 /// Returns true if \p RdxOp should be lowered to a SVE reduction. If a SVE2
582 /// pairwise operation can be used for the reduction \p PairwiseOpIID is set
583 /// to its intrinsic ID.
584 bool
586 std::optional<Intrinsic::ID> &PairwiseOpIID) const;
587
588 // Normally SVE is only used for byte size vectors that do not fit within a
589 // NEON vector. This changes when OverrideNEON is true, allowing SVE to be
590 // used for 64bit and 128bit vectors as well.
591 bool useSVEForFixedLengthVectorVT(EVT VT, bool OverrideNEON = false) const;
592
593 // Follow NEON ABI rules even when using SVE for fixed length vectors.
595 EVT VT) const override;
598 EVT VT) const override;
600 CallingConv::ID CC, EVT VT,
601 EVT &IntermediateVT,
602 unsigned &NumIntermediates,
603 MVT &RegisterVT) const override;
604
605 /// True if stack clash protection is enabled for this functions.
606 bool hasInlineStackProbe(const MachineFunction &MF) const override;
607
608 /// In AArch64, true if FEAT_CPA is present. Allows pointer arithmetic
609 /// semantics to be preserved for instruction selection.
610 bool shouldPreservePtrArith(const Function &F, EVT PtrVT) const override;
611
612 // Match a register name (e.g. "x5", "d5", "sp") to its register number, with
613 // no validity filtering. This is the single entry point for the generated
614 // register-name matcher, shared with getRegisterByName.
616
617private:
618 /// Keep a pointer to the AArch64Subtarget around so that we can
619 /// make the right decision when generating code for different targets.
620 const AArch64Subtarget *Subtarget;
621
622 bool isExtFreeImpl(const Instruction *Ext) const override;
623
624 void addTypeForNEON(MVT VT);
625 void addTypeForFixedLengthSVE(MVT VT);
626 void addDRType(MVT VT);
627 void addQRType(MVT VT);
628
629 bool shouldExpandBuildVectorWithShuffles(EVT, unsigned) const override;
630
631 SDValue lowerEHPadEntry(SDValue Chain, SDLoc const &DL,
632 SelectionDAG &DAG) const override;
633
634 SDValue LowerFormalArguments(SDValue Chain, CallingConv::ID CallConv,
635 bool isVarArg,
637 const SDLoc &DL, SelectionDAG &DAG,
638 SmallVectorImpl<SDValue> &InVals) const override;
639
640 void AdjustInstrPostInstrSelection(MachineInstr &MI,
641 SDNode *Node) const override;
642
643 SDValue LowerCall(CallLoweringInfo & /*CLI*/,
644 SmallVectorImpl<SDValue> &InVals) const override;
645
647 CallingConv::ID CallConv, bool isVarArg,
648 const SmallVectorImpl<CCValAssign> &RVLocs,
649 const SDLoc &DL, SelectionDAG &DAG,
650 SmallVectorImpl<SDValue> &InVals, bool isThisReturn,
651 SDValue ThisVal, bool RequiresSMChange) const;
652
655 SDValue LowerStore128(SDValue Op, SelectionDAG &DAG) const;
657 SDValue LowerFMUL(SDValue Op, SelectionDAG &DAG) const;
658 SDValue LowerFMA(SDValue Op, SelectionDAG &DAG) const;
660
663
665
666 SDValue LowerVECTOR_COMPRESS(SDValue Op, SelectionDAG &DAG) const;
667
669 SDValue LowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG) const;
670 SDValue LowerINTRINSIC_VOID(SDValue Op, SelectionDAG &DAG) const;
671
672 bool
673 isEligibleForTailCallOptimization(const CallLoweringInfo &CLI) const;
674
675 /// Finds the incoming stack arguments which overlap the given fixed stack
676 /// object and incorporates their load into the current chain. This prevents
677 /// an upcoming store from clobbering the stack argument before it's used.
678 SDValue addTokenForArgument(SDValue Chain, SelectionDAG &DAG,
679 MachineFrameInfo &MFI, int ClobberedFI) const;
680
681 bool DoesCalleeRestoreStack(CallingConv::ID CallCC, bool TailCallOpt) const;
682
683 void saveVarArgRegisters(CCState &CCInfo, SelectionDAG &DAG, const SDLoc &DL,
684 SDValue &Chain) const;
685
686 bool CanLowerReturn(CallingConv::ID CallConv, MachineFunction &MF,
687 bool isVarArg,
689 LLVMContext &Context, const Type *RetTy) const override;
690
691 SDValue LowerReturn(SDValue Chain, CallingConv::ID CallConv, bool isVarArg,
693 const SmallVectorImpl<SDValue> &OutVals, const SDLoc &DL,
694 SelectionDAG &DAG) const override;
695
697 unsigned Flag) const;
699 unsigned Flag) const;
701 unsigned Flag) const;
703 unsigned Flag) const;
705 unsigned Flag) const;
706 template <class NodeTy>
707 SDValue getGOT(NodeTy *N, SelectionDAG &DAG, unsigned Flags = 0) const;
708 template <class NodeTy>
709 SDValue getAddrLarge(NodeTy *N, SelectionDAG &DAG, unsigned Flags = 0) const;
710 template <class NodeTy>
711 SDValue getAddr(NodeTy *N, SelectionDAG &DAG, unsigned Flags = 0) const;
712 template <class NodeTy>
713 SDValue getAddrTiny(NodeTy *N, SelectionDAG &DAG, unsigned Flags = 0) const;
714 SDValue LowerADDROFRETURNADDR(SDValue Op, SelectionDAG &DAG) const;
715 SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
716 SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const;
717 SDValue LowerDarwinGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const;
718 SDValue LowerELFGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const;
719 SDValue LowerELFTLSLocalExec(const GlobalValue *GV, SDValue ThreadBase,
720 const SDLoc &DL, SelectionDAG &DAG) const;
721 SDValue LowerELFTLSDescCallSeq(SDValue SymAddr, const SDLoc &DL,
722 SelectionDAG &DAG) const;
723 SDValue LowerWindowsGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const;
724 SDValue LowerPtrAuthGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
725 SDValue LowerSETCC(SDValue Op, SelectionDAG &DAG) const;
728 SDValue LowerSELECT(SDValue Op, SelectionDAG &DAG) const;
731 SDValue TVal, SDValue FVal,
733 SDNodeFlags Flags, const SDLoc &dl,
734 SelectionDAG &DAG) const;
735 SDValue LowerINIT_TRAMPOLINE(SDValue Op, SelectionDAG &DAG) const;
737 SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG) const;
738 SDValue LowerBR_JT(SDValue Op, SelectionDAG &DAG) const;
739 SDValue LowerBRIND(SDValue Op, SelectionDAG &DAG) const;
740 SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const;
741 SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const;
742 SDValue LowerAAPCS_VASTART(SDValue Op, SelectionDAG &DAG) const;
743 SDValue LowerDarwin_VASTART(SDValue Op, SelectionDAG &DAG) const;
744 SDValue LowerWin64_VASTART(SDValue Op, SelectionDAG &DAG) const;
749 SDValue LowerSPONENTRY(SDValue Op, SelectionDAG &DAG) const;
751 SDValue LowerGET_ROUNDING(SDValue Op, SelectionDAG &DAG) const;
752 SDValue LowerSET_ROUNDING(SDValue Op, SelectionDAG &DAG) const;
753 SDValue LowerGET_FPMODE(SDValue Op, SelectionDAG &DAG) const;
754 SDValue LowerSET_FPMODE(SDValue Op, SelectionDAG &DAG) const;
755 SDValue LowerRESET_FPMODE(SDValue Op, SelectionDAG &DAG) const;
756 SDValue LowerINSERT_VECTOR_ELT(SDValue Op, SelectionDAG &DAG) const;
758 SDValue LowerBUILD_VECTOR(SDValue Op, SelectionDAG &DAG) const;
760 SDValue LowerZERO_EXTEND_VECTOR_INREG(SDValue Op, SelectionDAG &DAG) const;
762 SDValue LowerSPLAT_VECTOR(SDValue Op, SelectionDAG &DAG) const;
763 SDValue LowerDUPQLane(SDValue Op, SelectionDAG &DAG) const;
764 SDValue LowerToPredicatedOp(SDValue Op, SelectionDAG &DAG,
765 unsigned NewOp) const;
766 SDValue LowerToScalableOp(SDValue Op, SelectionDAG &DAG) const;
767 SDValue LowerVECTOR_SPLICE(SDValue Op, SelectionDAG &DAG) const;
770 SDValue LowerVECTOR_DEINTERLEAVE(SDValue Op, SelectionDAG &DAG) const;
771 SDValue LowerVECTOR_INTERLEAVE(SDValue Op, SelectionDAG &DAG) const;
772 SDValue LowerVECTOR_HISTOGRAM(SDValue Op, SelectionDAG &DAG) const;
773 SDValue LowerPARTIAL_REDUCE_MLA(SDValue Op, SelectionDAG &DAG) const;
774 SDValue LowerGET_ACTIVE_LANE_MASK(SDValue Op, SelectionDAG &DAG) const;
775 SDValue LowerDIV(SDValue Op, SelectionDAG &DAG) const;
777 SDValue LowerVectorSRA_SRL_SHL(SDValue Op, SelectionDAG &DAG) const;
780 SDValue LowerCTPOP_PARITY(SDValue Op, SelectionDAG &DAG) const;
782 SDValue LowerBitreverse(SDValue Op, SelectionDAG &DAG) const;
783 SDValue LowerMinMax(SDValue Op, SelectionDAG &DAG) const;
785 SDValue LowerFP_EXTEND(SDValue Op, SelectionDAG &DAG) const;
786 SDValue LowerFP_ROUND(SDValue Op, SelectionDAG &DAG) const;
788 SDValue LowerVectorFP_TO_INT_SAT(SDValue Op, SelectionDAG &DAG) const;
789 SDValue LowerFP_TO_INT(SDValue Op, SelectionDAG &DAG) const;
791 SDValue LowerVectorXRINT(SDValue Op, SelectionDAG &DAG) const;
792 SDValue LowerINT_TO_FP(SDValue Op, SelectionDAG &DAG) const;
794 SDValue LowerVectorOR(SDValue Op, SelectionDAG &DAG) const;
795 SDValue LowerXOR(SDValue Op, SelectionDAG &DAG) const;
797 SDValue LowerLOOP_DEPENDENCE_MASK(SDValue Op, SelectionDAG &DAG) const;
799 SDValue LowerVSCALE(SDValue Op, SelectionDAG &DAG) const;
800 SDValue LowerTRUNCATE(SDValue Op, SelectionDAG &DAG) const;
802 SDValue LowerVECREDUCE_MUL(SDValue Op, SelectionDAG &DAG) const;
803 SDValue LowerATOMIC_LOAD_AND(SDValue Op, SelectionDAG &DAG) const;
804 SDValue LowerWindowsDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG) const;
805 SDValue LowerInlineDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG) const;
808 SDValue LowerFCANONICALIZE(SDValue Op, SelectionDAG &DAG) const;
809 SDValue LowerAVG(SDValue Op, SelectionDAG &DAG, unsigned NewOp) const;
810
811 SDValue LowerFixedLengthVectorIntDivideToSVE(SDValue Op,
812 SelectionDAG &DAG) const;
813 SDValue LowerFixedLengthVectorIntExtendToSVE(SDValue Op,
814 SelectionDAG &DAG) const;
815 SDValue LowerFixedLengthVectorLoadToSVE(SDValue Op, SelectionDAG &DAG) const;
816 SDValue LowerFixedLengthVectorMLoadToSVE(SDValue Op, SelectionDAG &DAG) const;
817 SDValue LowerVECREDUCE_SEQ_FADD(SDValue ScalarOp, SelectionDAG &DAG) const;
818 SDValue LowerPredReductionToSVE(SDValue ScalarOp, SelectionDAG &DAG) const;
819 SDValue LowerReductionToSVE(SDValue Op, SelectionDAG &DAG) const;
820 SDValue LowerFixedLengthVectorSelectToSVE(SDValue Op, SelectionDAG &DAG) const;
821 SDValue LowerFixedLengthVectorSetccToSVE(SDValue Op, SelectionDAG &DAG) const;
822 SDValue LowerFixedLengthVectorStoreToSVE(SDValue Op, SelectionDAG &DAG) const;
823 SDValue LowerFixedLengthVectorMStoreToSVE(SDValue Op,
824 SelectionDAG &DAG) const;
825 SDValue LowerFixedLengthVectorTruncateToSVE(SDValue Op,
826 SelectionDAG &DAG) const;
827 SDValue LowerFixedLengthExtractVectorElt(SDValue Op, SelectionDAG &DAG) const;
828 SDValue LowerFixedLengthInsertVectorElt(SDValue Op, SelectionDAG &DAG) const;
829 SDValue LowerFixedLengthBitcastToSVE(SDValue Op, SelectionDAG &DAG) const;
830 SDValue LowerFixedLengthConcatVectorsToSVE(SDValue Op,
831 SelectionDAG &DAG) const;
832 SDValue LowerFixedLengthFPExtendToSVE(SDValue Op, SelectionDAG &DAG) const;
833 SDValue LowerFixedLengthFPRoundToSVE(SDValue Op, SelectionDAG &DAG) const;
834 SDValue LowerFixedLengthIntToFPToSVE(SDValue Op, SelectionDAG &DAG) const;
835 SDValue LowerFixedLengthFPToIntToSVE(SDValue Op, SelectionDAG &DAG) const;
836 SDValue LowerFixedLengthVECTOR_SHUFFLEToSVE(SDValue Op,
837 SelectionDAG &DAG) const;
838 SDValue LowerFixedLengthBuildVectorToSVE(SDValue Op, SelectionDAG &DAG) const;
839 SDValue LowerFixedLengthVectorCompressToSVE(SDValue Op,
840 SelectionDAG &DAG) const;
841
842 SDValue BuildSDIVPow2(SDNode *N, const APInt &Divisor, SelectionDAG &DAG,
843 SmallVectorImpl<SDNode *> &Created) const override;
844 SDValue BuildSREMPow2(SDNode *N, const APInt &Divisor, SelectionDAG &DAG,
845 SmallVectorImpl<SDNode *> &Created) const override;
846 SDValue getSqrtEstimate(SDValue Operand, SelectionDAG &DAG, int Enabled,
847 int &ExtraSteps, bool &UseOneConst,
848 bool Reciprocal) const override;
849 SDValue getRecipEstimate(SDValue Operand, SelectionDAG &DAG, int Enabled,
850 int &ExtraSteps) const override;
851 SDValue getSqrtInputTest(SDValue Operand, SelectionDAG &DAG,
852 const DenormalMode &Mode,
853 SDNodeFlags Flags = {}) const override;
854 SDValue getSqrtResultForDenormInput(SDValue Operand,
855 SelectionDAG &DAG) const override;
856 unsigned combineRepeatedFPDivisors() const override;
857
858 ConstraintType getConstraintType(StringRef Constraint) const override;
859 Register getRegisterByName(const char* RegName, LLT VT,
860 const MachineFunction &MF) const override;
861
862private:
863 /// Examine constraint string and operand type and determine a weight value.
864 /// The operand object must already have been set up with the operand type.
866 getSingleConstraintMatchWeight(AsmOperandInfo &info,
867 const char *constraint) const override;
868
869 std::pair<unsigned, const TargetRegisterClass *>
870 getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI,
871 StringRef Constraint, MVT VT) const override;
872
873 const char *LowerXConstraint(EVT ConstraintVT) const override;
874
875 void LowerAsmOperandForConstraint(SDValue Op, StringRef Constraint,
876 std::vector<SDValue> &Ops,
877 SelectionDAG &DAG) const override;
878
880 getInlineAsmMemConstraint(StringRef ConstraintCode) const override {
881 if (ConstraintCode == "Q")
883 // FIXME: clang has code for 'Ump', 'Utf', 'Usa', and 'Ush' but these are
884 // followed by llvm_unreachable so we'll leave them unimplemented in
885 // the backend for now.
886 return TargetLowering::getInlineAsmMemConstraint(ConstraintCode);
887 }
888
889 /// Handle Lowering flag assembly outputs.
890 SDValue LowerAsmOutputForConstraint(SDValue &Chain, SDValue &Flag,
891 const SDLoc &DL,
892 const AsmOperandInfo &Constraint,
893 SelectionDAG &DAG) const override;
894
895 bool shouldExtendGSIndex(EVT VT, EVT &EltTy) const override;
896 bool shouldRemoveExtendFromGSIndex(SDValue Extend, EVT DataVT) const override;
897 bool isVectorLoadExtDesirable(SDValue ExtVal) const override;
898 bool isUsedByReturnOnly(SDNode *N, SDValue &Chain) const override;
899 bool mayBeEmittedAsTailCall(const CallInst *CI) const override;
900 bool getIndexedAddressParts(SDNode *N, SDNode *Op, SDValue &Base,
901 SDValue &Offset, SelectionDAG &DAG) const;
902 bool getPreIndexedAddressParts(SDNode *N, SDValue &Base, SDValue &Offset,
904 SelectionDAG &DAG) const override;
905 bool getPostIndexedAddressParts(SDNode *N, SDNode *Op, SDValue &Base,
907 SelectionDAG &DAG) const override;
908 bool isIndexingLegal(MachineInstr &MI, Register Base, Register Offset,
909 bool IsPre, MachineRegisterInfo &MRI) const override;
910
911 void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue> &Results,
912 SelectionDAG &DAG) const override;
913 void ReplaceBITCASTResults(SDNode *N, SmallVectorImpl<SDValue> &Results,
914 SelectionDAG &DAG) const;
915 void ReplaceExtractSubVectorResults(SDNode *N,
916 SmallVectorImpl<SDValue> &Results,
917 SelectionDAG &DAG) const;
918 void ReplaceGetActiveLaneMaskResults(SDNode *N,
919 SmallVectorImpl<SDValue> &Results,
920 SelectionDAG &DAG) const;
921
922 bool shouldNormalizeToSelectSequence(LLVMContext &, EVT, EVT) const override;
923
924 void finalizeLowering(MachineFunction &MF) const override;
925
926 bool shouldLocalize(const MachineInstr &MI,
927 const TargetTransformInfo *TTI) const override;
928
929 bool SimplifyDemandedBitsForTargetNode(SDValue Op,
930 const APInt &OriginalDemandedBits,
931 const APInt &OriginalDemandedElts,
932 KnownBits &Known,
934 unsigned Depth) const override;
935
936 bool canCreateUndefOrPoisonForTargetNode(
937 SDValue Op, const APInt &DemandedElts, const SelectionDAG &DAG,
938 UndefPoisonKind Kind, bool ConsiderFlags, unsigned Depth) const override;
939
940 bool isTargetCanonicalConstantNode(SDValue Op) const override;
941
942 // With the exception of data-predicate transitions, no instructions are
943 // required to cast between legal scalable vector types. However:
944 // 1. Packed and unpacked types have different bit lengths, meaning BITCAST
945 // is not universally useable.
946 // 2. Most unpacked integer types are not legal and thus integer extends
947 // cannot be used to convert between unpacked and packed types.
948 // These can make "bitcasting" a multiphase process. REINTERPRET_CAST is used
949 // to transition between unpacked and packed types of the same element type,
950 // with BITCAST used otherwise.
951 // This function does not handle predicate bitcasts.
952 SDValue getSVESafeBitCast(EVT VT, SDValue Op, SelectionDAG &DAG) const;
953
954 // Returns the runtime value for PSTATE.SM by generating a call to
955 // __arm_sme_state.
956 SDValue getRuntimePStateSM(SelectionDAG &DAG, SDValue Chain, SDLoc DL,
957 EVT VT) const;
958
959 bool preferScalarizeSplat(SDNode *N) const override;
960
961 unsigned getMinimumJumpTableEntries() const override;
962
963 bool shouldScalarizeBinop(SDValue VecOp) const override {
964 return VecOp.getOpcode() == ISD::SETCC;
965 }
966
967 bool hasMultipleConditionRegisters(EVT VT) const override {
968 return VT.isScalableVector();
969 }
970};
971
972namespace AArch64 {
973FastISel *createFastISel(FunctionLoweringInfo &funcInfo,
974 const TargetLibraryInfo *libInfo,
975 const LibcallLoweringInfo *libcallLowering);
976} // end namespace AArch64
977
978} // end namespace llvm
979
980#endif
return SDValue()
static SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG)
static SDValue LowerVECTOR_SHUFFLE(SDValue Op, SelectionDAG &DAG, const ARMSubtarget *ST)
static SDValue LowerVectorFP_TO_INT(SDValue Op, SelectionDAG &DAG)
static SDValue LowerCONCAT_VECTORS(SDValue Op, SelectionDAG &DAG, const ARMSubtarget *ST)
static SDValue LowerEXTRACT_SUBVECTOR(SDValue Op, SelectionDAG &DAG, const ARMSubtarget *ST)
static SDValue LowerCTTZ(SDNode *N, SelectionDAG &DAG, const ARMSubtarget *ST)
static SDValue LowerEXTRACT_VECTOR_ELT(SDValue Op, SelectionDAG &DAG, const ARMSubtarget *ST)
static SDValue LowerFP_TO_INT_SAT(SDValue Op, SelectionDAG &DAG, const ARMSubtarget *Subtarget)
static SDValue LowerMUL(SDValue Op, SelectionDAG &DAG)
static SDValue LowerMLOAD(SDValue Op, SelectionDAG &DAG)
static SDValue LowerVectorINT_TO_FP(SDValue Op, SelectionDAG &DAG)
static SDValue LowerVSETCC(SDValue Op, SelectionDAG &DAG, const ARMSubtarget *ST)
static SDValue LowerSETCCCARRY(SDValue Op, SelectionDAG &DAG)
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
Function Alias Analysis Results
static SDValue getTargetNode(ConstantPoolSDNode *N, const SDLoc &DL, EVT Ty, SelectionDAG &DAG, unsigned Flags)
#define X(NUM, ENUM, NAME)
Definition ELF.h:856
block Block Frequency Analysis
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
const HexagonInstrInfo * TII
IRTranslator LLVM IR MI
iv Induction Variable Users
Definition IVUsers.cpp:48
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
Promote Memory to Register
Definition Mem2Reg.cpp:110
PowerPC Reduce CR logical Operation
static cl::opt< RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode > Mode("regalloc-enable-advisor", cl::Hidden, cl::init(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Default), cl::desc("Enable regalloc advisor mode"), cl::values(clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Default, "default", "Default"), clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Release, "release", "precompiled"), clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Development, "development", "for training")))
static SDValue LowerLOAD(SDValue Op, SelectionDAG &DAG)
static SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG, const SparcSubtarget *Subtarget)
static SDValue LowerFRAMEADDR(SDValue Op, SelectionDAG &DAG, const SparcSubtarget *Subtarget)
static SDValue LowerBR_CC(SDValue Op, SelectionDAG &DAG, const SparcTargetLowering &TLI, bool hasHardQuad, bool isV9, bool is64Bit)
static SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG, const SparcTargetLowering &TLI, bool hasHardQuad, bool isV9, bool is64Bit)
static SDValue LowerVAARG(SDValue Op, SelectionDAG &DAG)
static SDValue LowerRETURNADDR(SDValue Op, SelectionDAG &DAG, const SparcTargetLowering &TLI, const SparcSubtarget *Subtarget)
static SDValue LowerSTORE(SDValue Op, SelectionDAG &DAG)
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 LowerCLMUL(SDValue Op, const X86Subtarget &Subtarget, SelectionDAG &DAG)
static SDValue LowerADJUST_TRAMPOLINE(SDValue Op, SelectionDAG &DAG)
static SDValue LowerINTRINSIC_W_CHAIN(SDValue Op, const X86Subtarget &Subtarget, SelectionDAG &DAG)
static SDValue LowerBITCAST(SDValue Op, const X86Subtarget &Subtarget, SelectionDAG &DAG)
static SDValue LowerMSCATTER(SDValue Op, const X86Subtarget &Subtarget, SelectionDAG &DAG)
static SDValue LowerShiftParts(SDValue Op, SelectionDAG &DAG)
Lower SRA_PARTS and friends, which return two i32 values and take a 2 x i32 value to shift plus a shi...
static SDValue LowerAVG(SDValue Op, const X86Subtarget &Subtarget, SelectionDAG &DAG)
static SDValue LowerINSERT_SUBVECTOR(SDValue Op, const X86Subtarget &Subtarget, SelectionDAG &DAG)
static SDValue LowerMGATHER(SDValue Op, const X86Subtarget &Subtarget, SelectionDAG &DAG)
static SDValue LowerVACOPY(SDValue Op, const X86Subtarget &Subtarget, SelectionDAG &DAG)
static SDValue LowerMSTORE(SDValue Op, const X86Subtarget &Subtarget, SelectionDAG &DAG)
static SDValue LowerFCOPYSIGN(SDValue Op, SelectionDAG &DAG)
static SDValue LowerEXTEND_VECTOR_INREG(SDValue Op, const X86Subtarget &Subtarget, SelectionDAG &DAG)
static SDValue LowerABS(SDValue Op, const X86Subtarget &Subtarget, SelectionDAG &DAG)
static SDValue LowerVECREDUCE(SDValue Op, const X86Subtarget &Subtarget, SelectionDAG &DAG, bool AllowScalarization)
Value * RHS
Value * LHS
static SDValue LowerCallResult(SDValue Chain, SDValue InGlue, const SmallVectorImpl< CCValAssign > &RVLocs, const SDLoc &dl, SelectionDAG &DAG, SmallVectorImpl< SDValue > &InVals)
LowerCallResult - Lower the result values of a call into the appropriate copies out of appropriate ph...
Register getExceptionPointerRegister(const Constant *PersonalityFn) const override
If a physical register, this returns the register that receives the exception address on entry to an ...
bool isTruncateFree(Type *Ty1, Type *Ty2) const override
Return true if it's free to truncate a value of type FromTy to type ToTy.
bool supportSplitCSR(MachineFunction *MF) const override
Return true if the target supports that a subset of CSRs for the given machine function is handled ex...
SDValue changeStreamingMode(SelectionDAG &DAG, SDLoc DL, bool Enable, SDValue Chain, SDValue InGlue, unsigned Condition, bool InsertVectorLengthCheck=false) const
If a change in streaming mode is required on entry to/return from a function call it emits and return...
bool isFPImmLegal(const APFloat &Imm, EVT VT, bool ForCodeSize) const override
Returns true if the target can instruction select the specified FP immediate natively.
bool shouldFoldMaskToVariableShiftPair(SDValue Y) const override
Return true if it is profitable to fold a pair of shifts into a mask.
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...
bool shouldReduceLoadWidth(SDNode *Load, ISD::LoadExtType ExtTy, EVT NewVT, std::optional< unsigned > ByteOffset) const override
Return true if it is profitable to reduce a load to a smaller type.
Value * getIRStackGuard(IRBuilderBase &IRB, const LibcallLoweringInfo &Libcalls) const override
If the target has a standard location for the stack protector cookie, returns the address of that loc...
Value * getSafeStackPointerLocation(IRBuilderBase &IRB, const LibcallLoweringInfo &Libcalls) const override
If the target has a standard location for the unsafe stack pointer, returns the address of that locat...
void initializeSplitCSR(MachineBasicBlock *Entry) const override
Perform necessary initialization to handle a subset of CSRs explicitly via copies.
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...
bool hasAndNotCompare(SDValue V) const override
Return true if the target should transform: (X & Y) == Y ---> (~X & Y) == 0 (X & Y) !...
TargetLoweringBase::LegalizeTypeAction getPreferredVectorAction(MVT VT) const override
Return the preferred vector type legalization action.
void insertSSPDeclarations(Module &M, const LibcallLoweringInfo &Libcalls) const override
Inserts necessary declarations for SSP (stack protection) purpose.
bool isShuffleMaskLegal(ArrayRef< int > M, EVT VT) const override
Return true if the given shuffle mask can be codegen'd directly, or if it should be stack expanded.
bool isAllActivePredicate(const SelectionDAG &DAG, SDValue N) const
unsigned getVaListSizeInBits(const DataLayout &DL) const override
Returns the size of the platform's va_list object.
MachineBasicBlock * EmitZAInstr(unsigned Opc, unsigned BaseReg, MachineInstr &MI, MachineBasicBlock *BB) const
void insertCopiesSplitCSR(MachineBasicBlock *Entry, const SmallVectorImpl< MachineBasicBlock * > &Exits) const override
Insert explicit copies in entry and exit blocks.
int64_t getPreferredLargeGEPBaseOffset(int64_t MinOffset, int64_t MaxOffset) const override
Return the prefered common base offset.
bool shouldLowerReductionToSVE(SDValue RdxOp, std::optional< Intrinsic::ID > &PairwiseOpIID) const
Returns true if RdxOp should be lowered to a SVE reduction.
bool shouldExpandCttzElements(EVT VT) const override
Return true if the @llvm.experimental.cttz.elts intrinsic should be expanded using generic code in Se...
bool lowerInterleavedStore(Instruction *Store, Value *Mask, ShuffleVectorInst *SVI, unsigned Factor, const APInt &GapMask) const override
Lower an interleaved store into a stN intrinsic.
MachineBasicBlock * EmitTileLoad(unsigned Opc, unsigned BaseReg, MachineInstr &MI, MachineBasicBlock *BB) const
unsigned getNumInterleavedAccesses(VectorType *VecTy, const DataLayout &DL, bool UseScalable) const
Returns the number of interleaved accesses that will be generated when lowering accesses of the given...
Instruction * emitLeadingFence(IRBuilderBase &Builder, Instruction *Inst, AtomicOrdering Ord) const override
Inserts in the IR a target-specific intrinsic specifying a fence.
bool shouldFoldConstantShiftPairToMask(const SDNode *N) const override
Return true if it is profitable to fold a pair of shifts into a mask.
bool shouldConvertConstantLoadToIntImm(const APInt &Imm, Type *Ty) const override
Returns true if it is beneficial to convert a load of a constant to just the constant itself.
bool preferSelectsOverBooleanArithmetic(EVT VT) const override
Should we prefer selects to doing arithmetic on boolean types.
unsigned getNumRegistersForCallingConv(LLVMContext &Context, CallingConv::ID CC, EVT VT) const override
Certain targets require unusual breakdowns of certain types.
SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override
Provide custom lowering hooks for some operations.
bool shouldConvertFpToSat(unsigned Op, EVT FPVT, EVT VT) const override
Should we generate fp_to_si_sat and fp_to_ui_sat from type FPVT to type VT from min(max(fptoi)) satur...
bool canMergeStoresTo(unsigned AddressSpace, EVT MemVT, const MachineFunction &MF) const override
Returns if it's reasonable to merge stores to MemVT size.
bool shouldOptimizeMulOverflowWithZeroHighBits(LLVMContext &Context, EVT VT) const override
bool aggressivelyPreferBuildVectorSources(EVT VecVT) const override
MachineBasicBlock * EmitLoweredSetFpmr(MachineInstr &MI, MachineBasicBlock *MBB) const
CondMergingParams getJumpConditionMergingParams(Instruction::BinaryOps Opc, const Value *Lhs, const Value *Rhs, const Function *F) const override
bool shouldInsertTrailingSeqCstFenceForAtomicStore(const Instruction *I) const override
Whether AtomicExpandPass should automatically insert a seq_cst trailing fence without reducing the or...
bool isIntDivCheap(EVT VT, AttributeList Attr) const override
Return true if integer divide is usually cheaper than a sequence of several shifts,...
bool shouldRemoveRedundantExtend(SDValue Op) const override
Return true (the default) if it is profitable to remove a sext_inreg(x) where the sext is redundant,...
bool shallExtractConstSplatVectorElementToStore(Type *VectorTy, unsigned ElemSizeInBits, unsigned &Index) const override
Return true if the target shall perform extract vector element and store given that the vector is kno...
CCAssignFn * CCAssignFnForReturn(CallingConv::ID CC) const
Selects the correct CCAssignFn for a given CallingConvention value.
bool supportPtrAuthBundles() const override
Return true if the target supports ptrauth operand bundles.
EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context, EVT VT) const override
Return the ISD::SETCC ValueType.
bool optimizeExtendOrTruncateConversion(Instruction *I, Loop *L, const TargetTransformInfo &TTI) const override
Try to optimize extending or truncating conversion instructions (like zext, trunc,...
CCAssignFn * CCAssignFnForCall(CallingConv::ID CC, bool IsVarArg) const
Selects the correct CCAssignFn for a given CallingConvention value.
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.
MachineMemOperand::Flags getTargetMMOFlags(const Instruction &I) const override
This callback is used to inspect load/store instructions and add target-specific MachineMemOperand fl...
unsigned getVectorIdxWidth(const DataLayout &DL) const override
Returns the type to be used for the index operand vector operations.
bool hasInlineStackProbe(const MachineFunction &MF) const override
True if stack clash protection is enabled for this functions.
bool shouldFoldSelectWithIdentityConstant(unsigned BinOpcode, EVT VT, unsigned SelectOpcode, SDValue X, SDValue Y) const override
Return true if pulling a binary operation into a select with an identity constant is profitable.
bool isLegalICmpImmediate(int64_t) const override
Return true if the specified immediate is legal icmp immediate, that is the target has icmp instructi...
Value * emitStoreConditional(IRBuilderBase &Builder, Value *Val, Value *Addr, AtomicOrdering Ord) const override
Perform a store-conditional operation to Addr.
bool preferIncOfAddToSubOfNot(EVT VT) const override
These two forms are equivalent: sub y, (xor x, -1) add (add x, 1), y The variant with two add's is IR...
TargetLoweringBase::AtomicExpansionKind shouldExpandAtomicLoadInIR(LoadInst *LI) const override
Returns how the given (atomic) load should be expanded by the IR-level AtomicExpand pass.
ShiftLegalizationStrategy preferredShiftLegalizationStrategy(SelectionDAG &DAG, SDNode *N, unsigned ExpansionFactor) const override
bool useStackGuardMixFP() const override
If this function returns true, stack protection checks should mix the frame pointer (or whichever poi...
bool isOpSuitableForLSE128(const Instruction *I) const
void fixupPtrauthDiscriminator(MachineInstr &MI, MachineBasicBlock *BB, MachineOperand &IntDiscOp, MachineOperand &AddrDiscOp, const TargetRegisterClass *AddrDiscRC) const
Replace (0, vreg) discriminator components with the operands of blend or with (immediate,...
bool lowerInterleavedLoad(Instruction *Load, Value *Mask, ArrayRef< ShuffleVectorInst * > Shuffles, ArrayRef< unsigned > Indices, unsigned Factor, const APInt &GapMask) const override
Lower an interleaved load into a ldN intrinsic.
TargetLoweringBase::AtomicExpansionKind shouldExpandAtomicRMWInIR(const AtomicRMWInst *AI) const override
Returns how the IR-level AtomicExpand pass should expand the given AtomicRMW, if at all.
bool fallBackToDAGISel(const Instruction &Inst) const override
bool isTypeDesirableForOp(unsigned Opc, EVT VT) const override
Return true if the target has native support for the specified value type and it is 'desirable' to us...
bool isLegalAddScalableImmediate(int64_t) const override
Return true if adding the specified scalable immediate is legal, that is the target has add instructi...
bool shouldFormOverflowOp(unsigned Opcode, EVT VT, bool MathUsed) const override
Try to convert math with an overflow comparison into the corresponding DAG node operation.
Value * createComplexDeinterleavingIR(IRBuilderBase &B, ComplexDeinterleavingOperation OperationType, ComplexDeinterleavingRotation Rotation, Value *InputA, Value *InputB, Value *Accumulator=nullptr) const override
Create the IR node for the given complex deinterleaving operation.
bool allowsMisalignedMemoryAccesses(EVT VT, unsigned AddrSpace=0, Align Alignment=Align(1), MachineMemOperand::Flags Flags=MachineMemOperand::MONone, unsigned *Fast=nullptr) const override
Returns true if the target allows unaligned memory accesses of the specified type.
unsigned computeNumSignBitsForTargetInstr(GISelValueTracking &Analysis, Register R, const APInt &DemandedElts, const MachineRegisterInfo &MRI, unsigned Depth=0) const override
This method can be implemented by targets that want to expose additional information about sign bits ...
MachineBasicBlock * EmitCheckMatchingVL(MachineInstr &MI, MachineBasicBlock *MBB) const
bool lowerDeinterleaveIntrinsicToLoad(Instruction *Load, Value *Mask, IntrinsicInst *DI, const APInt &GapMask) const override
Lower a deinterleave intrinsic to a target specific load intrinsic.
unsigned getMaxSupportedInterleaveFactor() const override
Get the maximum supported factor for interleaved memory accesses.
bool isLegalInterleavedAccessType(VectorType *VecTy, const DataLayout &DL, bool &UseScalable) const
Returns true if VecTy is a legal interleaved access type.
bool functionArgumentNeedsConsecutiveRegisters(Type *Ty, CallingConv::ID CallConv, bool isVarArg, const DataLayout &DL) const override
For some targets, an LLVM struct type must be broken down into multiple simple types,...
Value * emitLoadLinked(IRBuilderBase &Builder, Type *ValueTy, Value *Addr, AtomicOrdering Ord) const override
Perform a load-linked operation on Addr, returning a "Value *" with the corresponding pointee type.
MachineBasicBlock * EmitLoweredCatchRet(MachineInstr &MI, MachineBasicBlock *BB) const
bool isComplexDeinterleavingSupported() const override
Does this target support complex deinterleaving.
bool isZExtFree(Type *Ty1, Type *Ty2) const override
Return true if any actual instruction that defines a value of type FromTy implicitly zero-extends the...
EVT getAsmOperandValueType(const DataLayout &DL, Type *Ty, bool AllowUnknown=false) const override
SDValue ReconstructShuffle(SDValue Op, SelectionDAG &DAG) const
MachineBasicBlock * EmitZero(MachineInstr &MI, MachineBasicBlock *BB) const
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...
bool isMaskAndCmp0FoldingBeneficial(const Instruction &AndI) const override
Return if the target supports combining a chain like:
bool isProfitableToHoist(Instruction *I) const override
Check if it is profitable to hoist instruction in then/else to if.
bool isOpSuitableForRCPC3(const Instruction *I) const
MVT getPointerTy(const DataLayout &DL, uint32_t AS=0) const override
Return the pointer type for the given address space, defaults to the pointer type from the data layou...
bool isCheapToSpeculateCttz(Type *) const override
Return true if it is cheap to speculate a call to intrinsic cttz.
unsigned getRedZoneSize(const Function &F) const
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.
MachineBasicBlock * EmitZTInstr(MachineInstr &MI, MachineBasicBlock *BB, unsigned Opcode, bool Op0IsDef) const
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...
MachineBasicBlock * EmitFill(MachineInstr &MI, MachineBasicBlock *BB) const
bool isCheapToSpeculateCtlz(Type *) const override
Return true if it is cheap to speculate a call to intrinsic ctlz.
bool shouldExpandVectorMatch(EVT VT, unsigned SearchSize) const override
Return true if the @llvm.experimental.vector.match intrinsic should be expanded for vector type ‘VT’ ...
MachineBasicBlock * EmitEntryPStateSM(MachineInstr &MI, MachineBasicBlock *BB) const
bool shouldInsertFencesForAtomic(const Instruction *I) const override
Whether AtomicExpandPass should automatically insert fences and reduce ordering for this atomic.
bool isReassocProfitable(SelectionDAG &DAG, SDValue N0, SDValue N1) const override
Control the following reassociation of operands: (op (op x, c1), y) -> (op (op x, y),...
bool shouldPreservePtrArith(const Function &F, EVT PtrVT) const override
In AArch64, true if FEAT_CPA is present.
TargetLoweringBase::AtomicExpansionKind shouldExpandAtomicStoreInIR(StoreInst *SI) const override
Returns how the given (atomic) store should be expanded by the IR-level AtomicExpand pass into.
MachineBasicBlock * EmitF128CSEL(MachineInstr &MI, MachineBasicBlock *BB) const
LLT getOptimalMemOpLLT(const MemOp &Op, const AttributeList &FuncAttributes) const override
LLT returning variant.
bool isDesirableToPullExtFromShl(const MachineInstr &MI) const override
GlobalISel - return true if it's profitable to perform the combine: shl ([sza]ext x),...
bool shouldProduceAndByConstByHoistingConstFromShiftsLHSOfAnd(SDValue X, ConstantSDNode *XC, ConstantSDNode *CC, SDValue Y, unsigned OldShiftOpcode, unsigned NewShiftOpcode, SelectionDAG &DAG) const override
Given the pattern (X & (C l>>/<< Y)) ==/!= 0 return true if it should be transformed into: ((X <</l>>...
bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override
Return true if folding a constant offset with the given GlobalAddress is legal.
bool needsFixedCatchObjects() const override
Used for exception handling on Win64.
const AArch64TargetMachine & getTM() const
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...
bool targetShrinkDemandedConstant(SDValue Op, const APInt &DemandedBits, const APInt &DemandedElts, TargetLoweringOpt &TLO) const override
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,...
bool generateFMAsInMachineCombiner(EVT VT, CodeGenOptLevel OptLevel) const override
bool isComplexDeinterleavingOperationSupported(ComplexDeinterleavingOperation Operation, Type *Ty) const override
Does this target support complex deinterleaving with the given operation and type.
bool isOpSuitableForLDPSTP(const Instruction *I) const
AArch64TargetLowering(const TargetMachine &TM, const AArch64Subtarget &STI)
bool hasPairedLoad(EVT LoadedType, Align &RequiredAlignment) const override
Return true if the target supplies and combines to a paired load two loaded values of type LoadedType...
bool isLegalAddImmediate(int64_t) const override
Return true if the specified immediate is legal add immediate, that is the target has add instruction...
bool shouldConsiderGEPOffsetSplit() const override
bool shouldTransformSignedTruncationCheck(EVT XVT, unsigned KeptBits) const override
Should we tranform the IR-optimal check for whether given truncation down into KeptBits would be trun...
SDValue emitStackGuardMixFP(SelectionDAG &DAG, SDValue Val, const SDLoc &DL) const override
bool isVectorClearMaskLegal(ArrayRef< int > M, EVT VT) const override
Similar to isShuffleMaskLegal.
const MCPhysReg * getScratchRegisters(CallingConv::ID CC) const override
Returns a 0 terminated array of registers that can be safely used as scratch registers.
FastISel * createFastISel(FunctionLoweringInfo &funcInfo, const TargetLibraryInfo *libInfo, const LibcallLoweringInfo *libcallLowering) const override
This method returns a target specific FastISel object, or null if the target does not support "fast" ...
void emitAtomicCmpXchgNoStoreLLBalance(IRBuilderBase &Builder) const override
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 useLoadStackGuardNode(const Module &M) const override
If this function returns true, SelectionDAGBuilder emits a LOAD_STACK_GUARD node when it is lowering ...
MachineBasicBlock * EmitInstrWithCustomInserter(MachineInstr &MI, MachineBasicBlock *MBB) const override
This method should be implemented by targets that mark instructions with the 'usesCustomInserter' fla...
void getTgtMemIntrinsic(SmallVectorImpl< IntrinsicInfo > &Infos, const CallBase &I, MachineFunction &MF, unsigned Intrinsic) const override
getTgtMemIntrinsic - Represent NEON load and store intrinsics as MemIntrinsicNodes.
bool isExtractSubvectorCheap(EVT ResVT, EVT SrcVT, unsigned Index) const override
Return true if EXTRACT_SUBVECTOR is cheap for this result type with this index.
ArrayRef< MCPhysReg > getRoundingControlRegisters() const override
Returns a 0 terminated array of rounding control registers that can be attached into strict FP call.
bool isFPImmLegalAsFMov(const APFloat &Imm, EVT VT) const
bool lowerInterleaveIntrinsicToStore(Instruction *Store, Value *Mask, ArrayRef< Value * > InterleaveValues) const override
Lower an interleave intrinsic to a target specific store intrinsic.
MachineInstr * EmitKCFICheck(MachineBasicBlock &MBB, MachineBasicBlock::instr_iterator &MBBI, const TargetInstrInfo *TII) const override
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 ComputeNumSignBitsForTargetNode(SDValue Op, const APInt &DemandedElts, const SelectionDAG &DAG, unsigned Depth) const override
This method can be implemented by targets that want to expose additional information about sign bits ...
bool isDesirableToCommuteXorWithShift(const SDNode *N) const override
Returns false if N is a bit extraction pattern of (X >> C) & Mask.
bool isDesirableToCommuteWithShift(const SDNode *N, CombineLevel Level) const override
Returns false if N is a bit extraction pattern of (X >> C) & Mask.
bool supportSwiftError() const override
Return true if the target supports swifterror attribute.
bool enableAggressiveFMAFusion(EVT VT) const override
Enable aggressive FMA fusion on targets that want it.
MVT getScalarShiftAmountTy(const DataLayout &DL, EVT) const override
Return the type to use for a scalar shift opcode, given the shifted amount type.
MachineBasicBlock * EmitDynamicProbedAlloc(MachineInstr &MI, MachineBasicBlock *MBB) const
TargetLoweringBase::AtomicExpansionKind shouldExpandAtomicCmpXchgInIR(const AtomicCmpXchgInst *AI) const override
Returns how the given atomic cmpxchg should be expanded by the IR-level AtomicExpand pass.
bool shouldExpandGetActiveLaneMask(EVT VT, EVT OpVT) const override
Return true if the @llvm.get.active.lane.mask intrinsic should be expanded using generic code in Sele...
bool supportKCFIBundles() const override
Return true if the target supports kcfi operand bundles.
bool isMulAddWithConstProfitable(SDValue AddNode, SDValue ConstNode) const override
Return true if it may be profitable to transform (mul (add x, c1), c2) -> (add (mul x,...
bool useSVEForFixedLengthVectorVT(EVT VT, bool OverrideNEON=false) const
bool shouldIssueAtomicLoadForAtomicEmulationLoop() const override
Register matchRegisterName(StringRef RegName) const
bool mergeStoresAfterLegalization(EVT VT) const override
SVE code generation for fixed length vectors does not custom lower BUILD_VECTOR.
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 checks whether a specified value is in a memory location,...
an instruction that atomically reads a memory location, combines it with another value,...
CCState - This class holds information needed while lowering arguments and return values.
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
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
This is a fast-path instruction selection class that generates poor code and doesn't support illegal ...
Definition FastISel.h:67
FunctionLoweringInfo - This contains information that is global to a function that is used when lower...
CallingConv::ID getCallingConv() const
getCallingConv()/setCallingConv(CC) - These method get and set the calling convention of this functio...
Definition Function.h:272
bool hasFnAttribute(Attribute::AttrKind Kind) const
Return true if the function has the attribute.
Definition Function.cpp:723
Common base class shared among various IRBuilders.
Definition IRBuilder.h:114
A wrapper class for inspecting calls to intrinsic functions.
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.
Represents a single loop in the control flow graph.
Definition LoopInfo.h:40
Machine Value Type.
static MVT getIntegerVT(unsigned BitWidth)
Instructions::iterator instr_iterator
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
Function & getFunction()
Return the LLVM function that this machine code represents.
Representation of each machine instruction.
Flags
Flags values. These may be or'd together.
MachineOperand class - Representation of each machine instruction operand.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
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 instruction constructs a fixed permutation of two input vectors.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
An instruction for storing to memory.
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
TargetInstrInfo - Interface to description of machine instruction set.
Provides information about what library functions are available for the current target.
virtual bool shouldFormOverflowOp(unsigned Opcode, EVT VT, bool MathUsed) const
Try to convert math with an overflow comparison into the corresponding DAG node operation.
ShiftLegalizationStrategy
Return the preferred strategy to legalize tihs SHIFT instruction, with ExpansionFactor being the recu...
virtual unsigned getMinimumJumpTableEntries() const
Return lower limit for number of blocks in a jump table.
LegalizeTypeAction
This enum indicates whether a types are legal for a target, and if not, what action should be used to...
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
virtual unsigned combineRepeatedFPDivisors() const
Indicate whether this target prefers to combine FDIVs with the same divisor.
Primary interface to the complete machine description for the target machine.
This pass provides access to the codegen interfaces that are needed for IR-level transformations.
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
LLVM Value Representation.
Definition Value.h:75
Base class of all SIMD vector types.
A range adaptor for a pair of iterators.
ArrayRef< MCPhysReg > getFPRArgRegs()
Rounding
Possible values of current rounding mode, which is specified in bits 23:22 of FPCR.
const unsigned StackProbeMaxLoopUnroll
Maximum number of iterations to unroll for a constant size probing loop.
const unsigned StackProbeMaxUnprobedStack
Maximum allowed number of unprobed bytes above SP at an ABI boundary.
const unsigned RoundingBitsPos
const uint64_t ReservedFPControlBits
ArrayRef< MCPhysReg > getGPRArgRegs()
FastISel * createFastISel(FunctionLoweringInfo &funcInfo, const TargetLibraryInfo *libInfo, const LibcallLoweringInfo *libcallLowering)
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition CallingConv.h:24
@ CXX_FAST_TLS
Used for access functions.
Definition CallingConv.h:72
@ Fast
Attempts to make calls as fast as possible (e.g.
Definition CallingConv.h:41
@ SETCC
SetCC operator - This evaluates to a true value iff the condition is true.
Definition ISDOpcodes.h:829
MemIndexedMode
MemIndexedMode enum - This enum defines the load / store indexed addressing modes.
CondCode
ISD::CondCode enum - These are ordered carefully to make the bitfields below work out,...
LoadExtType
LoadExtType enum - This enum defines the three variants of LOADEXT (load with extension).
This namespace contains an enum with a value for every intrinsic/builtin function known by LLVM.
This is an optimization pass for GlobalISel generic memory operations.
@ Offset
Definition DWP.cpp:573
@ Known
Known to have no common set bits.
bool CCAssignFn(unsigned ValNo, MVT ValVT, MVT LocVT, CCValAssign::LocInfo LocInfo, ISD::ArgFlagsTy ArgFlags, Type *OrigTy, CCState &State)
CCAssignFn - This function assigns a location for Val, updating State to reflect the change.
CodeGenOptLevel
Code generation optimization level.
Definition CodeGen.h:82
AtomicOrdering
Atomic ordering for LLVM's memory model.
TargetTransformInfo TTI
CombineLevel
Definition DAGCombine.h:15
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
@ Enabled
Convert any .debug_str_offsets tables to DWARF64 if needed.
Definition DWP.h:31
@ Enable
Enable colors.
Definition WithColor.h:47
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
Represent subnormal handling kind for floating point instruction inputs and outputs.
Extended Value Type.
Definition ValueTypes.h:35
uint64_t getScalarSizeInBits() const
Definition ValueTypes.h:408
uint64_t getFixedSizeInBits() const
Return the size of the specified fixed width value type in bits.
Definition ValueTypes.h:404
bool isVector() const
Return true if this is a vector value type.
Definition ValueTypes.h:176
bool isScalableVector() const
Return true if this is a vector type where the runtime length is machine dependent.
Definition ValueTypes.h:187
These are IR-level optimization flags that may be propagated to SDNodes.
This contains information for each constraint that we are lowering.
A convenience struct that encapsulates a DAG, and two SDValues for returning information from TargetL...