LLVM 24.0.0git
SelectionDAGBuilder.h
Go to the documentation of this file.
1//===- SelectionDAGBuilder.h - Selection-DAG building -----------*- 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 implements routines for translating from LLVM IR into SelectionDAG IR.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_LIB_CODEGEN_SELECTIONDAG_SELECTIONDAGBUILDER_H
14#define LLVM_LIB_CODEGEN_SELECTIONDAG_SELECTIONDAGBUILDER_H
15
16#include "StatepointLowering.h"
17#include "llvm/ADT/ArrayRef.h"
18#include "llvm/ADT/DenseMap.h"
19#include "llvm/ADT/MapVector.h"
29#include "llvm/IR/DebugLoc.h"
30#include "llvm/IR/Instruction.h"
34#include <algorithm>
35#include <cassert>
36#include <cstdint>
37#include <optional>
38#include <utility>
39#include <vector>
40
41namespace llvm {
42
43class AAResults;
44class AllocaInst;
46class AtomicRMWInst;
47class AssumptionCache;
48class BasicBlock;
49class CallInst;
50class CallBrInst;
51class CatchPadInst;
52class CatchReturnInst;
53class CatchSwitchInst;
54class CondBrInst;
55class CleanupPadInst;
57class Constant;
59class DataLayout;
60class DIExpression;
61class DILocalVariable;
62class DILocation;
63class FenceInst;
65class GCFunctionInfo;
66class GCRelocateInst;
67class GCResultInst;
69class IndirectBrInst;
70class InvokeInst;
71class LandingPadInst;
72class LLVMContext;
73class LoadInst;
75class PHINode;
76class ResumeInst;
77class ReturnInst;
78class SDDbgValue;
79class SelectionDAG;
80class StoreInst;
82class SwitchInst;
84class TargetMachine;
85class Type;
86class VAArgInst;
87class UnreachableInst;
88class Use;
89class User;
90class Value;
91
92//===----------------------------------------------------------------------===//
93/// SelectionDAGBuilder - This is the common target-independent lowering
94/// implementation that is parameterized by a TargetLowering object.
95///
97 /// The current instruction being visited.
98 const Instruction *CurInst = nullptr;
99
101
102 /// Maps argument value for unused arguments. This is used
103 /// to preserve debug information for incoming arguments.
104 DenseMap<const Value*, SDValue> UnusedArgNodeMap;
105
106 /// Helper type for DanglingDebugInfoMap.
107 class DanglingDebugInfo {
108 unsigned SDNodeOrder = 0;
109
110 public:
111 DILocalVariable *Variable;
113 DebugLoc dl;
114 DanglingDebugInfo() = default;
115 DanglingDebugInfo(DILocalVariable *Var, DIExpression *Expr, DebugLoc DL,
116 unsigned SDNO)
117 : SDNodeOrder(SDNO), Variable(Var), Expression(Expr),
118 dl(std::move(DL)) {}
119
120 DILocalVariable *getVariable() const { return Variable; }
121 DIExpression *getExpression() const { return Expression; }
122 DebugLoc getDebugLoc() const { return dl; }
123 unsigned getSDNodeOrder() const { return SDNodeOrder; }
124
125 /// Helper for printing DanglingDebugInfo. This hoop-jumping is to
126 /// store a Value pointer, so that we can print a whole DDI as one object.
127 /// Call SelectionDAGBuilder::printDDI instead of using directly.
128 struct Print {
129 Print(const Value *V, const DanglingDebugInfo &DDI) : V(V), DDI(DDI) {}
130 const Value *V;
131 const DanglingDebugInfo &DDI;
134 OS << "DDI(var=" << *P.DDI.getVariable();
135 if (P.V)
136 OS << ", val=" << *P.V;
137 else
138 OS << ", val=nullptr";
139
140 OS << ", expr=" << *P.DDI.getExpression()
141 << ", order=" << P.DDI.getSDNodeOrder()
142 << ", loc=" << P.DDI.getDebugLoc() << ")";
143 return OS;
144 }
145 };
146 };
147
148 /// Returns an object that defines `raw_ostream &operator<<` for printing.
149 /// Usage example:
150 //// errs() << printDDI(MyDanglingInfo) << " is dangling\n";
151 DanglingDebugInfo::Print printDDI(const Value *V,
152 const DanglingDebugInfo &DDI) {
153 return DanglingDebugInfo::Print(V, DDI);
154 }
155
156 /// Helper type for DanglingDebugInfoMap.
157 typedef std::vector<DanglingDebugInfo> DanglingDebugInfoVector;
158
159 /// Keeps track of dbg_values for which we have not yet seen the referent.
160 /// We defer handling these until we do see it.
161 MapVector<const Value*, DanglingDebugInfoVector> DanglingDebugInfoMap;
162
163 /// Cache the module flag for whether we should use debug-info assignment
164 /// tracking.
165 bool AssignmentTrackingEnabled = false;
166
167public:
168 /// Loads are not emitted to the program immediately. We bunch them up and
169 /// then emit token factor nodes when possible. This allows us to get simple
170 /// disambiguation between loads without worrying about alias analysis.
172
173 /// State used while lowering a statepoint sequence (gc_statepoint,
174 /// gc_relocate, and gc_result). See StatepointLowering.hpp/cpp for details.
176
177private:
178 /// CopyToReg nodes that copy values to virtual registers for export to other
179 /// blocks need to be emitted before any terminator instruction, but they have
180 /// no other ordering requirements. We bunch them up and the emit a single
181 /// tokenfactor for them just before terminator instructions.
182 SmallVector<SDValue, 8> PendingExports;
183
184 /// Similar to loads, nodes corresponding to constrained FP intrinsics are
185 /// bunched up and emitted when necessary. These can be moved across each
186 /// other and any (normal) memory operation (load or store), but not across
187 /// calls or instructions having unspecified side effects. As a special
188 /// case, constrained FP intrinsics using fpexcept.strict may not be deleted
189 /// even if otherwise unused, so they need to be chained before any
190 /// terminator instruction (like PendingExports). We track the latter
191 /// set of nodes in a separate list.
192 SmallVector<SDValue, 8> PendingConstrainedFP;
193 SmallVector<SDValue, 8> PendingConstrainedFPStrict;
194
195 /// Update root to include all chains from the Pending list.
196 SDValue updateRoot(SmallVectorImpl<SDValue> &Pending);
197
198 /// Given a node representing a floating-point operation and its specified
199 /// exception behavior, this either updates the root or stores the node in
200 /// a list to be added to chains latter.
201 void pushFPOpOutChain(SDValue Result, fp::ExceptionBehavior EB);
202
203 /// A unique monotonically increasing number used to order the SDNodes we
204 /// create.
205 unsigned SDNodeOrder;
206
207 /// Emit comparison and split W into two subtrees.
208 void splitWorkItem(SwitchCG::SwitchWorkList &WorkList,
209 const SwitchCG::SwitchWorkListItem &W, Value *Cond,
210 MachineBasicBlock *SwitchMBB);
211
212 /// Lower W.
213 void lowerWorkItem(SwitchCG::SwitchWorkListItem W, Value *Cond,
214 MachineBasicBlock *SwitchMBB,
215 MachineBasicBlock *DefaultMBB);
216
217 /// Peel the top probability case if it exceeds the threshold
219 peelDominantCaseCluster(const SwitchInst &SI,
221 BranchProbability &PeeledCaseProb);
222
223private:
224 const TargetMachine &TM;
225
226public:
227 /// Lowest valid SDNodeOrder. The special case 0 is reserved for scheduling
228 /// nodes without a corresponding SDNode.
229 static const unsigned LowestSDNodeOrder = 1;
230
233 AssumptionCache *AC = nullptr;
234 const TargetLibraryInfo *LibInfo = nullptr;
235 const TargetTransformInfo *TTI = nullptr;
236
238 public:
241
245 SDB->addSuccessorWithProb(Src, Dst, Prob);
246 }
247
248 private:
249 SelectionDAGBuilder *SDB = nullptr;
250 };
251
252 // Data related to deferred switch lowerings. Used to construct additional
253 // Basic Blocks in SelectionDAGISel::FinishBasicBlock.
254 std::unique_ptr<SDAGSwitchLowering> SL;
255
256 /// A StackProtectorDescriptor structure used to communicate stack protector
257 /// information in between SelectBasicBlock and FinishBasicBlock.
259
260 // Emit PHI-node-operand constants only once even if used by multiple
261 // PHI nodes.
263
264 /// Information about the function as a whole.
266
267 /// Information about the swifterror values used throughout the function.
269
270 /// Garbage collection metadata for the function.
271 GCFunctionInfo *GFI = nullptr;
272
273 /// Map a landing pad to the call site indexes.
275
276 /// This is set to true if a call in the current block has been translated as
277 /// a tail call. In this case, no subsequent DAG nodes should be created.
278 bool HasTailCall = false;
279
281
284 : SDNodeOrder(LowestSDNodeOrder), TM(dag.getTarget()), DAG(dag),
285 SL(std::make_unique<SDAGSwitchLowering>(this, funcinfo)),
286 FuncInfo(funcinfo), SwiftError(swifterror) {}
287
289 const TargetLibraryInfo *li, const TargetTransformInfo &TTI);
290
291 /// Clear out the current SelectionDAG and the associated state and prepare
292 /// this SelectionDAGBuilder object to be used for a new block. This doesn't
293 /// clear out information about additional blocks that are needed to complete
294 /// switch lowering or PHI node updating; that information is cleared out as
295 /// it is consumed.
296 void clear();
297
298 /// Clear the dangling debug information map. This function is separated from
299 /// the clear so that debug information that is dangling in a basic block can
300 /// be properly resolved in a different basic block. This allows the
301 /// SelectionDAG to resolve dangling debug information attached to PHI nodes.
303
304 /// Return the current virtual root of the Selection DAG, flushing any
305 /// PendingLoad items. This must be done before emitting a store or any other
306 /// memory node that may need to be ordered after any prior load instructions.
308
309 /// Return the current virtual root of the Selection DAG, flushing
310 /// PendingConstrainedFP or PendingConstrainedFPStrict items if the new
311 /// exception behavior (specified by \p EB) differs from that of the pending
312 /// instructions. This must be done before emitting constrained FP operation
313 /// call.
315
316 /// Similar to getMemoryRoot, but also flushes PendingConstrainedFP(Strict)
317 /// items. This must be done before emitting any call other any other node
318 /// that may need to be ordered after FP instructions due to other side
319 /// effects.
321
322 /// Similar to getRoot, but instead of flushing all the PendingLoad items,
323 /// flush all the PendingExports (and PendingConstrainedFPStrict) items.
324 /// It is necessary to do this before emitting a terminator instruction.
326
328 return SDLoc(CurInst, SDNodeOrder);
329 }
330
332 return CurInst ? CurInst->getDebugLoc() : DebugLoc();
333 }
334
336 ISD::NodeType ExtendType = ISD::ANY_EXTEND);
337
338 void visit(const Instruction &I);
339 void visitDbgInfo(const Instruction &I);
340
341 void visit(unsigned Opcode, const User &I);
342
343 /// If there was virtual register allocated for the value V emit CopyFromReg
344 /// of the specified type Ty. Return empty SDValue() otherwise.
345 SDValue getCopyFromRegs(const Value *V, Type *Ty);
346
347 /// Register a dbg_value which relies on a Value which we have not yet seen.
349 DILocalVariable *Var, DIExpression *Expr,
350 bool IsVariadic, DebugLoc DL, unsigned Order);
351
352 /// If we have dangling debug info that describes \p Variable, or an
353 /// overlapping part of variable considering the \p Expr, then this method
354 /// will drop that debug info as it isn't valid any longer.
355 void dropDanglingDebugInfo(const DILocalVariable *Variable,
356 const DIExpression *Expr);
357
358 /// If we saw an earlier dbg_value referring to V, generate the debug data
359 /// structures now that we've seen its definition.
360 void resolveDanglingDebugInfo(const Value *V, SDValue Val);
361
362 /// For the given dangling debuginfo record, perform last-ditch efforts to
363 /// resolve the debuginfo to something that is represented in this DAG. If
364 /// this cannot be done, produce an Undef debug value record.
365 void salvageUnresolvedDbgValue(const Value *V, DanglingDebugInfo &DDI);
366
367 /// For a given list of Values, attempt to create and record a SDDbgValue in
368 /// the SelectionDAG.
370 DIExpression *Expr, DebugLoc DbgLoc, unsigned Order,
371 bool IsVariadic);
372
373 /// Create a record for a kill location debug intrinsic.
375 DebugLoc DbgLoc, unsigned Order);
376
379
380 /// Evict any dangling debug information, attempting to salvage it first.
382
383 SDValue getValue(const Value *V);
384
386 SDValue getValueImpl(const Value *V);
387
388 void setValue(const Value *V, SDValue NewN) {
389 SDValue &N = NodeMap[V];
390 assert(!N.getNode() && "Already set a value for this node!");
391 N = NewN;
392 }
393
394 void setUnusedArgValue(const Value *V, SDValue NewN) {
395 SDValue &N = UnusedArgNodeMap[V];
396 assert(!N.getNode() && "Already set a value for this node!");
397 N = NewN;
398 }
399
400 void setValueToPoison(const Value *V, const SDLoc &dl);
401
404 Instruction::BinaryOps Opc, const Value *Lhs, const Value *Rhs,
406
409 MachineBasicBlock *SwitchBB,
411 BranchProbability FProb, bool InvertCond);
414 MachineBasicBlock *CurBB,
415 MachineBasicBlock *SwitchBB,
417 bool InvertCond);
418 bool ShouldEmitAsBranches(const std::vector<SwitchCG::CaseBlock> &Cases);
419 bool isExportableFromCurrentBlock(const Value *V, const BasicBlock *FromBB);
420 void CopyToExportRegsIfNeeded(const Value *V);
421 void ExportFromCurrentBlock(const Value *V);
422 void LowerCallTo(const CallBase &CB, SDValue Callee, bool IsTailCall,
423 bool IsMustTailCall, const BasicBlock *EHPadBB = nullptr,
424 const TargetLowering::PtrAuthInfo *PAI = nullptr);
425
426 // Check some of the target-independent constraints for tail calls. This does
427 // not iterate over the call arguments.
428 bool canTailCall(const CallBase &CB) const;
429
430 // Lower range metadata from 0 to N to assert zext to an integer of nearest
431 // floor power of two.
433 SDValue Op);
434
435 // Lower nofpclass attributes to AssertNoFPClass
437 const Instruction &I, SDValue Op);
438
440 const CallBase *Call, unsigned ArgIdx,
441 unsigned NumArgs, SDValue Callee,
442 Type *ReturnTy, AttributeSet RetAttrs,
443 bool IsPatchPoint);
444
445 std::pair<SDValue, SDValue>
447 const BasicBlock *EHPadBB = nullptr);
448
449 /// When an MBB was split during scheduling, update the
450 /// references that need to refer to the last resulting block.
452
453 /// Describes a gc.statepoint or a gc.statepoint like thing for the purposes
454 /// of lowering into a STATEPOINT node.
456 /// Bases[i] is the base pointer for Ptrs[i]. Together they denote the set
457 /// of gc pointers this STATEPOINT has to relocate.
460
461 /// The set of gc.relocate calls associated with this gc.statepoint.
463
464 /// The full list of gc-live arguments to the gc.statepoint being lowered.
466
467 /// The gc.statepoint instruction.
468 const Instruction *StatepointInstr = nullptr;
469
470 /// The list of gc transition arguments present in the gc.statepoint being
471 /// lowered.
473
474 /// The ID that the resulting STATEPOINT instruction has to report.
476
477 /// Information regarding the underlying call instruction.
479
480 /// The deoptimization state associated with this gc.statepoint call, if
481 /// any.
483
484 /// Flags associated with the meta arguments being lowered.
486
487 /// The number of patchable bytes the call needs to get lowered into.
488 unsigned NumPatchBytes = -1;
489
490 /// The exception handling unwind destination, in case this represents an
491 /// invoke of gc.statepoint.
492 const BasicBlock *EHPadBB = nullptr;
493
495 };
496
497 /// Lower \p SLI into a STATEPOINT instruction.
498 SDValue LowerAsSTATEPOINT(StatepointLoweringInfo &SI);
499
500 // This function is responsible for the whole statepoint lowering process.
501 // It uniformly handles invoke and call statepoints.
503 const BasicBlock *EHPadBB = nullptr);
504
506 const BasicBlock *EHPadBB);
507
508 void LowerDeoptimizeCall(const CallInst *CI);
510
512 const BasicBlock *EHPadBB,
513 bool VarArgDisallowed,
514 bool ForceVoidReturnTy);
515
517 const BasicBlock *EHPadBB);
518
519 /// Returns the type of FrameIndex and TargetFrameIndex nodes.
521 return DAG.getTargetLoweringInfo().getFrameIndexTy(DAG.getDataLayout());
522 }
523
524private:
525 // Terminator instructions.
526 void visitRet(const ReturnInst &I);
527 void visitUncondBr(const UncondBrInst &I);
528 void visitCondBr(const CondBrInst &I);
529 void visitSwitch(const SwitchInst &I);
530 void visitIndirectBr(const IndirectBrInst &I);
531 void visitUnreachable(const UnreachableInst &I);
532 void visitCleanupRet(const CleanupReturnInst &I);
533 void visitCatchSwitch(const CatchSwitchInst &I);
534 void visitCatchRet(const CatchReturnInst &I);
535 void visitCatchPad(const CatchPadInst &I);
536 void visitCleanupPad(const CleanupPadInst &CPI);
537
538 BranchProbability getEdgeProbability(const MachineBasicBlock *Src,
539 const MachineBasicBlock *Dst) const;
540 void addSuccessorWithProb(
543
544public:
547 MachineBasicBlock *ParentBB);
550 MachineBasicBlock *SwitchBB);
552 BranchProbability BranchProbToNext, Register Reg,
557 MachineBasicBlock *SwitchBB);
558
559private:
560 // These all get lowered before this pass.
561 void visitInvoke(const InvokeInst &I);
562 void visitCallBrLandingPad(const CallInst &I);
563 void visitResume(const ResumeInst &I);
564
565 void visitCallBr(const CallBrInst &I);
566 void visitCallBrIntrinsic(const CallBrInst &I);
567
568 void visitUnary(const User &I, unsigned Opcode);
569 void visitFNeg(const User &I) { visitUnary(I, ISD::FNEG); }
570
571 void visitBinary(const User &I, unsigned Opcode);
572 void visitShift(const User &I, unsigned Opcode);
573 void visitAdd(const User &I) { visitBinary(I, ISD::ADD); }
574 void visitFAdd(const User &I) { visitBinary(I, ISD::FADD); }
575 void visitSub(const User &I) { visitBinary(I, ISD::SUB); }
576 void visitFSub(const User &I) { visitBinary(I, ISD::FSUB); }
577 void visitMul(const User &I) { visitBinary(I, ISD::MUL); }
578 void visitFMul(const User &I) { visitBinary(I, ISD::FMUL); }
579 void visitURem(const User &I) { visitBinary(I, ISD::UREM); }
580 void visitSRem(const User &I) { visitBinary(I, ISD::SREM); }
581 void visitFRem(const User &I) { visitBinary(I, ISD::FREM); }
582 void visitUDiv(const User &I) { visitBinary(I, ISD::UDIV); }
583 void visitSDiv(const User &I);
584 void visitFDiv(const User &I) { visitBinary(I, ISD::FDIV); }
585 void visitAnd (const User &I) { visitBinary(I, ISD::AND); }
586 void visitOr (const User &I) { visitBinary(I, ISD::OR); }
587 void visitXor (const User &I) { visitBinary(I, ISD::XOR); }
588 void visitShl (const User &I) { visitShift(I, ISD::SHL); }
589 void visitLShr(const User &I) { visitShift(I, ISD::SRL); }
590 void visitAShr(const User &I) { visitShift(I, ISD::SRA); }
591 void visitICmp(const ICmpInst &I);
592 void visitFCmp(const FCmpInst &I);
593 // Visit the conversion instructions
594 void visitTrunc(const User &I);
595 void visitZExt(const User &I);
596 void visitSExt(const User &I);
597 void visitFPTrunc(const User &I);
598 void visitFPExt(const User &I);
599 void visitFPToUI(const User &I);
600 void visitFPToSI(const User &I);
601 void visitUIToFP(const User &I);
602 void visitSIToFP(const User &I);
603 void visitPtrToAddr(const User &I);
604 void visitPtrToInt(const User &I);
605 void visitIntToPtr(const User &I);
606 void visitBitCast(const User &I);
607 void visitAddrSpaceCast(const User &I);
608
609 void visitExtractElement(const User &I);
610 void visitInsertElement(const User &I);
611 void visitShuffleVector(const User &I);
612
613 void visitExtractValue(const ExtractValueInst &I);
614 void visitInsertValue(const InsertValueInst &I);
615 void visitLandingPad(const LandingPadInst &LP);
616
617 void visitGetElementPtr(const User &I);
618 void visitSelect(const User &I);
619
620 void visitAlloca(const AllocaInst &I);
621 void visitLoad(const LoadInst &I);
622 void visitStore(const StoreInst &I);
623 void visitMaskedLoad(const CallInst &I, bool IsExpanding = false);
624 void visitMaskedStore(const CallInst &I, bool IsCompressing = false);
625 void visitMaskedGather(const CallInst &I);
626 void visitMaskedScatter(const CallInst &I);
627 void visitAtomicCmpXchg(const AtomicCmpXchgInst &I);
628 void visitAtomicRMW(const AtomicRMWInst &I);
629 void visitFence(const FenceInst &I);
630 void visitPHI(const PHINode &I);
631 void visitCall(const CallInst &I);
632 bool visitMemCmpBCmpCall(const CallInst &I);
633 bool visitMemCCpyCall(const CallInst &I);
634 bool visitMemPCpyCall(const CallInst &I);
635 bool visitMemChrCall(const CallInst &I);
636 bool visitStrCpyCall(const CallInst &I, bool isStpcpy);
637 bool visitStrCmpCall(const CallInst &I);
638 bool visitStrLenCall(const CallInst &I);
639 bool visitStrNLenCall(const CallInst &I);
640 bool visitStrstrCall(const CallInst &I);
641 bool visitUnaryFloatCall(const CallInst &I, unsigned Opcode);
642 bool visitBinaryFloatCall(const CallInst &I, unsigned Opcode);
643 void visitAtomicLoad(const LoadInst &I);
644 void visitAtomicStore(const StoreInst &I);
645 void visitLoadFromSwiftError(const LoadInst &I);
646 void visitStoreToSwiftError(const StoreInst &I);
647 void visitFreeze(const FreezeInst &I);
648
649 void visitInlineAsm(const CallBase &Call,
650 const BasicBlock *EHPadBB = nullptr);
651
652 bool visitEntryValueDbgValue(ArrayRef<const Value *> Values,
653 DILocalVariable *Variable, DIExpression *Expr,
654 DebugLoc DbgLoc);
655 void visitIntrinsicCall(const CallInst &I, unsigned Intrinsic);
656 void visitTargetIntrinsic(const CallInst &I, unsigned Intrinsic);
657 void visitConstrainedFPIntrinsic(const ConstrainedFPIntrinsic &FPI);
658 void visitConvergenceControl(const CallInst &I, unsigned Intrinsic);
659 void visitVectorHistogram(const CallInst &I, unsigned IntrinsicID);
660 void visitVectorExtractLastActive(const CallInst &I, unsigned Intrinsic);
661 void visitVPLoad(const VPIntrinsic &VPIntrin, EVT VT,
662 const SmallVectorImpl<SDValue> &OpValues);
663 void visitVPLoadFF(const VPIntrinsic &VPIntrin, EVT VT, EVT EVLVT,
664 const SmallVectorImpl<SDValue> &OpValues);
665 void visitVPStore(const VPIntrinsic &VPIntrin,
666 const SmallVectorImpl<SDValue> &OpValues);
667 void visitVPGather(const VPIntrinsic &VPIntrin, EVT VT,
668 const SmallVectorImpl<SDValue> &OpValues);
669 void visitVPScatter(const VPIntrinsic &VPIntrin,
670 const SmallVectorImpl<SDValue> &OpValues);
671 void visitVPStridedLoad(const VPIntrinsic &VPIntrin, EVT VT,
672 const SmallVectorImpl<SDValue> &OpValues);
673 void visitVPStridedStore(const VPIntrinsic &VPIntrin,
674 const SmallVectorImpl<SDValue> &OpValues);
675 void visitVPCmp(const VPCmpIntrinsic &VPIntrin);
676 void visitVectorPredicationIntrinsic(const VPIntrinsic &VPIntrin);
677
678 void visitVAStart(const CallInst &I);
679 void visitVAArg(const VAArgInst &I);
680 void visitVAEnd(const CallInst &I);
681 void visitVACopy(const CallInst &I);
682 void visitStackmap(const CallInst &I);
683 void visitPatchpoint(const CallBase &CB, const BasicBlock *EHPadBB = nullptr);
684
685 // These two are implemented in StatepointLowering.cpp
686 void visitGCRelocate(const GCRelocateInst &Relocate);
687 void visitGCResult(const GCResultInst &I);
688
689 void visitVectorReduce(const CallInst &I, unsigned Intrinsic);
690 void visitVectorReverse(const CallInst &I);
691 void visitVectorSplice(const CallInst &I);
692 void visitVectorInterleave(const CallInst &I, unsigned Factor);
693 void visitVectorDeinterleave(const CallInst &I, unsigned Factor);
694 void visitStepVector(const CallInst &I);
695
696 void visitUserOp1(const Instruction &I) {
697 llvm_unreachable("UserOp1 should not exist at instruction selection time!");
698 }
699 void visitUserOp2(const Instruction &I) {
700 llvm_unreachable("UserOp2 should not exist at instruction selection time!");
701 }
702
703 void processIntegerCallValue(const Instruction &I,
704 SDValue Value, bool IsSigned);
705
706 void HandlePHINodesInSuccessorBlocks(const BasicBlock *LLVMBB);
707
708 void emitInlineAsmError(const CallBase &Call, const Twine &Message);
709
710 /// An enum that states to emit func argument dbg value the kind of intrinsic
711 /// it originally had. This controls the internal behavior of
712 /// EmitFuncArgumentDbgValue.
713 enum class FuncArgumentDbgValueKind {
714 Value, // This was originally a llvm.dbg.value.
715 Declare, // This was originally a llvm.dbg.declare.
716 };
717
718 /// If V is an function argument then create corresponding DBG_VALUE machine
719 /// instruction for it now. At the end of instruction selection, they will be
720 /// inserted to the entry BB.
721 bool EmitFuncArgumentDbgValue(const Value *V, DILocalVariable *Variable,
722 DIExpression *Expr, DILocation *DL,
723 FuncArgumentDbgValueKind Kind,
724 const SDValue &N);
725
726 /// Return the next block after MBB, or nullptr if there is none.
727 MachineBasicBlock *NextBlock(MachineBasicBlock *MBB);
728
729 /// Update the DAG and DAG builder with the relevant information after
730 /// a new root node has been created which could be a tail call.
731 void updateDAGForMaybeTailCall(SDValue MaybeTC);
732
733 /// Return the appropriate SDDbgValue based on N.
734 SDDbgValue *getDbgValue(SDValue N, DILocalVariable *Variable,
735 DIExpression *Expr, const DebugLoc &dl,
736 unsigned DbgSDNodeOrder);
737
738public:
739 SDValue lowerStartEH(SDValue Chain, const BasicBlock *EHPadBB,
740 MCSymbol *&BeginLabel);
741
742private:
743 SDValue lowerEndEH(SDValue Chain, const InvokeInst *II,
744 const BasicBlock *EHPadBB, MCSymbol *BeginLabel);
745
746 std::pair<bool, bool> getTargetIntrinsicCallProperties(const CallBase &I);
747 SmallVector<SDValue, 8> getTargetIntrinsicOperands(
748 const CallBase &I, bool HasChain, bool OnlyLoad,
749 TargetLowering::IntrinsicInfo *TgtMemIntrinsicInfo = nullptr);
750 SDVTList getTargetIntrinsicVTList(const CallBase &I, bool HasChain);
751 SDValue getTargetNonMemIntrinsicNode(const Type &IntrinsicVT, bool HasChain,
753 const SDVTList &VTs);
754 SDValue handleTargetIntrinsicRet(const CallBase &I, bool HasChain,
755 bool OnlyLoad, SDValue Result);
756};
757
758/// This struct represents the registers (physical or virtual)
759/// that a particular set of values is assigned, and the type information about
760/// the value. The most common situation is to represent one value at a time,
761/// but struct or array values are handled element-wise as multiple values. The
762/// splitting of aggregates is performed recursively, so that we never have
763/// aggregate-typed registers. The values at this point do not necessarily have
764/// legal types, so each value may require one or more registers of some legal
765/// type.
766///
768 /// The value types of the values, which may not be legal, and
769 /// may need be promoted or synthesized from one or more registers.
771
772 /// The value types of the registers. This is the same size as ValueVTs and it
773 /// records, for each value, what the type of the assigned register or
774 /// registers are. (Individual values are never synthesized from more than one
775 /// type of register.)
776 ///
777 /// With virtual registers, the contents of RegVTs is redundant with TLI's
778 /// getRegisterType member function, however when with physical registers
779 /// it is necessary to have a separate record of the types.
781
782 /// This list holds the registers assigned to the values.
783 /// Each legal or promoted value requires one register, and each
784 /// expanded value requires multiple registers.
786
787 /// This list holds the number of registers for each value.
789
790 /// Records if this value needs to be treated in an ABI dependant manner,
791 /// different to normal type legalization.
792 std::optional<CallingConv::ID> CallConv;
793
794 RegsForValue() = default;
795 RegsForValue(const SmallVector<Register, 4> &regs, MVT regvt, EVT valuevt,
796 std::optional<CallingConv::ID> CC = std::nullopt);
797 RegsForValue(LLVMContext &Context, const TargetLowering &TLI,
798 const DataLayout &DL, Register Reg, Type *Ty,
799 std::optional<CallingConv::ID> CC);
800
801 bool isABIMangled() const { return CallConv.has_value(); }
802
803 /// Add the specified values to this one.
804 void append(const RegsForValue &RHS) {
805 ValueVTs.append(RHS.ValueVTs.begin(), RHS.ValueVTs.end());
806 RegVTs.append(RHS.RegVTs.begin(), RHS.RegVTs.end());
807 Regs.append(RHS.Regs.begin(), RHS.Regs.end());
808 RegCount.push_back(RHS.Regs.size());
809 }
810
811 /// Emit a series of CopyFromReg nodes that copies from this value and returns
812 /// the result as a ValueVTs value. This uses Chain/Flag as the input and
813 /// updates them for the output Chain/Flag. If the Flag pointer is NULL, no
814 /// flag is used.
816 const SDLoc &dl, SDValue &Chain, SDValue *Glue,
817 const Value *V = nullptr) const;
818
819 /// Emit a series of CopyToReg nodes that copies the specified value into the
820 /// registers specified by this object. This uses Chain/Flag as the input and
821 /// updates them for the output Chain/Flag. If the Flag pointer is nullptr, no
822 /// flag is used. If V is not nullptr, then it is used in printing better
823 /// diagnostic messages on error.
824 void getCopyToRegs(SDValue Val, SelectionDAG &DAG, const SDLoc &dl,
825 SDValue &Chain, SDValue *Glue, const Value *V = nullptr,
826 ISD::NodeType PreferredExtendType = ISD::ANY_EXTEND) const;
827
828 /// Add this value to the specified inlineasm node operand list. This adds the
829 /// code marker, matching input operand index (if applicable), and includes
830 /// the number of values added into it.
831 void AddInlineAsmOperands(InlineAsm::Kind Code, bool HasMatching,
832 unsigned MatchingIdx, const SDLoc &dl,
833 SelectionDAG &DAG, std::vector<SDValue> &Ops) const;
834
835 /// Check if the total RegCount is greater than one.
836 bool occupiesMultipleRegs() const {
837 return std::accumulate(RegCount.begin(), RegCount.end(), 0) > 1;
838 }
839
840 /// Return a list of registers and their sizes.
842};
843
844} // end namespace llvm
845
846#endif // LLVM_LIB_CODEGEN_SELECTIONDAG_SELECTIONDAGBUILDER_H
return SDValue()
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
This file defines the DenseMap class.
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
#define I(x, y, z)
Definition MD5.cpp:57
Register Reg
This file implements a map that provides insertion order iteration.
uint64_t IntrinsicInst * II
#define P(N)
const SmallVectorImpl< MachineOperand > MachineBasicBlock * TBB
const SmallVectorImpl< MachineOperand > & Cond
Func MI getDebugLoc()))
This file defines the SmallVector class.
This file describes how to lower LLVM code to machine code.
Value * RHS
an instruction to allocate memory on the stack
Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:40
A cache of @llvm.assume calls within a function.
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,...
This class holds the attributes for a particular argument, parameter, function, or return value.
Definition Attributes.h:407
LLVM Basic Block Representation.
Definition BasicBlock.h:62
This class is a wrapper over an AAResults, and it is intended to be used only when there are no IR ch...
static constexpr BranchProbability getUnknown()
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
CallBr instruction, tracking function calls that may not return control but instead transfer it to a ...
This class represents a function call, abstracting a target machine's calling convention.
Conditional Branch instruction.
This is an important base class in LLVM.
Definition Constant.h:43
This is the common base class for constrained floating point intrinsics.
DWARF expression.
A parsed version of the target data layout string in and methods for querying it.
Definition DataLayout.h:64
A debug info location.
Definition DebugLoc.h:126
Class representing an expression and its matching format.
An instruction for ordering other memory operations.
FunctionLoweringInfo - This contains information that is global to a function that is used when lower...
Garbage collection metadata for a single function.
Definition GCMetadata.h:80
Represents calls to the gc.relocate intrinsic.
Represents calls to the gc.result intrinsic.
Represents a gc.statepoint intrinsic call.
Definition Statepoint.h:61
Indirect Branch Instruction.
Invoke instruction.
This is an important class for using LLVM in a threaded context.
Definition LLVMContext.h:68
The landingpad instruction holds all of the information necessary to generate correct exception handl...
An instruction for reading from memory.
Machine Value Type.
Wrapper class representing virtual and physical registers.
Definition Register.h:20
Resume the propagation of an exception.
Return a value (possibly void), from a function.
Holds the information from a dbg_value node through SDISel.
Wrapper class for IR location info (IR ordering and DebugLoc) to be passed into SDNode creation funct...
Unlike LLVM values, Selection DAG nodes may return multiple values as the result of a computation.
SDAGSwitchLowering(SelectionDAGBuilder *sdb, FunctionLoweringInfo &funcinfo)
void addSuccessorWithProb(MachineBasicBlock *Src, MachineBasicBlock *Dst, BranchProbability Prob=BranchProbability::getUnknown()) override
SDValue getValue(const Value *V)
getValue - Return an SDValue for the given Value.
bool shouldKeepJumpConditionsTogether(const FunctionLoweringInfo &FuncInfo, const CondBrInst &I, Instruction::BinaryOps Opc, const Value *Lhs, const Value *Rhs, TargetLoweringBase::CondMergingParams Params) const
DenseMap< const Constant *, Register > ConstantsOut
void addDanglingDebugInfo(SmallVectorImpl< Value * > &Values, DILocalVariable *Var, DIExpression *Expr, bool IsVariadic, DebugLoc DL, unsigned Order)
Register a dbg_value which relies on a Value which we have not yet seen.
void visitDbgInfo(const Instruction &I)
void clearDanglingDebugInfo()
Clear the dangling debug information map.
StackProtectorDescriptor SPDescriptor
A StackProtectorDescriptor structure used to communicate stack protector information in between Selec...
SDValue lowerStartEH(SDValue Chain, const BasicBlock *EHPadBB, MCSymbol *&BeginLabel)
void LowerCallTo(const CallBase &CB, SDValue Callee, bool IsTailCall, bool IsMustTailCall, const BasicBlock *EHPadBB=nullptr, const TargetLowering::PtrAuthInfo *PAI=nullptr)
void clear()
Clear out the current SelectionDAG and the associated state and prepare this SelectionDAGBuilder obje...
MVT getFrameIndexTy()
Returns the type of FrameIndex and TargetFrameIndex nodes.
void visitBitTestHeader(SwitchCG::BitTestBlock &B, MachineBasicBlock *SwitchBB)
visitBitTestHeader - This function emits necessary code to produce value suitable for "bit tests"
void LowerStatepoint(const GCStatepointInst &I, const BasicBlock *EHPadBB=nullptr)
std::unique_ptr< SDAGSwitchLowering > SL
SDValue lowerRangeToAssertZExt(SelectionDAG &DAG, const Instruction &I, SDValue Op)
bool HasTailCall
This is set to true if a call in the current block has been translated as a tail call.
bool ShouldEmitAsBranches(const std::vector< SwitchCG::CaseBlock > &Cases)
If the set of cases should be emitted as a series of branches, return true.
void EmitBranchForMergedCondition(const Value *Cond, MachineBasicBlock *TBB, MachineBasicBlock *FBB, MachineBasicBlock *CurBB, MachineBasicBlock *SwitchBB, BranchProbability TProb, BranchProbability FProb, bool InvertCond)
EmitBranchForMergedCondition - Helper method for FindMergedConditions.
void LowerDeoptimizeCall(const CallInst *CI)
void LowerCallSiteWithDeoptBundle(const CallBase *Call, SDValue Callee, const BasicBlock *EHPadBB)
SwiftErrorValueTracking & SwiftError
Information about the swifterror values used throughout the function.
SDValue getNonRegisterValue(const Value *V)
getNonRegisterValue - Return an SDValue for the given Value, but don't look in FuncInfo....
const TargetTransformInfo * TTI
DenseMap< MachineBasicBlock *, SmallVector< unsigned, 4 > > LPadToCallSiteMap
Map a landing pad to the call site indexes.
void LowerCallSiteWithDeoptBundleImpl(const CallBase *Call, SDValue Callee, const BasicBlock *EHPadBB, bool VarArgDisallowed, bool ForceVoidReturnTy)
SDValue lowerNoFPClassToAssertNoFPClass(SelectionDAG &DAG, const Instruction &I, SDValue Op)
void handleDebugDeclare(Value *Address, DILocalVariable *Variable, DIExpression *Expression, DebugLoc DL)
void setUnusedArgValue(const Value *V, SDValue NewN)
StatepointLoweringState StatepointLowering
State used while lowering a statepoint sequence (gc_statepoint, gc_relocate, and gc_result).
void setValueToPoison(const Value *V, const SDLoc &dl)
void visitBitTestCase(SwitchCG::BitTestBlock &BB, MachineBasicBlock *NextMBB, BranchProbability BranchProbToNext, Register Reg, SwitchCG::BitTestCase &B, MachineBasicBlock *SwitchBB)
visitBitTestCase - this function produces one "bit test"
bool canTailCall(const CallBase &CB) const
SelectionDAGBuilder(SelectionDAG &dag, FunctionLoweringInfo &funcinfo, SwiftErrorValueTracking &swifterror, CodeGenOptLevel ol)
void populateCallLoweringInfo(TargetLowering::CallLoweringInfo &CLI, const CallBase *Call, unsigned ArgIdx, unsigned NumArgs, SDValue Callee, Type *ReturnTy, AttributeSet RetAttrs, bool IsPatchPoint)
Populate a CallLowerinInfo (into CLI) based on the properties of the call being lowered.
void CopyValueToVirtualRegister(const Value *V, Register Reg, ISD::NodeType ExtendType=ISD::ANY_EXTEND)
void salvageUnresolvedDbgValue(const Value *V, DanglingDebugInfo &DDI)
For the given dangling debuginfo record, perform last-ditch efforts to resolve the debuginfo to somet...
SmallVector< SDValue, 8 > PendingLoads
Loads are not emitted to the program immediately.
GCFunctionInfo * GFI
Garbage collection metadata for the function.
void init(GCFunctionInfo *gfi, BatchAAResults *BatchAA, AssumptionCache *AC, const TargetLibraryInfo *li, const TargetTransformInfo &TTI)
SDValue getRoot()
Similar to getMemoryRoot, but also flushes PendingConstrainedFP(Strict) items.
void ExportFromCurrentBlock(const Value *V)
ExportFromCurrentBlock - If this condition isn't known to be exported from the current basic block,...
void resolveOrClearDbgInfo()
Evict any dangling debug information, attempting to salvage it first.
std::pair< SDValue, SDValue > lowerInvokable(TargetLowering::CallLoweringInfo &CLI, const BasicBlock *EHPadBB=nullptr)
SDValue getMemoryRoot()
Return the current virtual root of the Selection DAG, flushing any PendingLoad items.
void resolveDanglingDebugInfo(const Value *V, SDValue Val)
If we saw an earlier dbg_value referring to V, generate the debug data structures now that we've seen...
void visit(const Instruction &I)
void dropDanglingDebugInfo(const DILocalVariable *Variable, const DIExpression *Expr)
If we have dangling debug info that describes Variable, or an overlapping part of variable considerin...
SDValue getCopyFromRegs(const Value *V, Type *Ty)
If there was virtual register allocated for the value V emit CopyFromReg of the specified type Ty.
void CopyToExportRegsIfNeeded(const Value *V)
CopyToExportRegsIfNeeded - If the given value has virtual registers created for it,...
void handleKillDebugValue(DILocalVariable *Var, DIExpression *Expr, DebugLoc DbgLoc, unsigned Order)
Create a record for a kill location debug intrinsic.
void visitJumpTable(SwitchCG::JumpTable &JT)
visitJumpTable - Emit JumpTable node in the current MBB
SDValue getFPOperationRoot(fp::ExceptionBehavior EB)
Return the current virtual root of the Selection DAG, flushing PendingConstrainedFP or PendingConstra...
void visitJumpTableHeader(SwitchCG::JumpTable &JT, SwitchCG::JumpTableHeader &JTH, MachineBasicBlock *SwitchBB)
visitJumpTableHeader - This function emits necessary code to produce index in the JumpTable from swit...
void LowerCallSiteWithPtrAuthBundle(const CallBase &CB, const BasicBlock *EHPadBB)
static const unsigned LowestSDNodeOrder
Lowest valid SDNodeOrder.
FunctionLoweringInfo & FuncInfo
Information about the function as a whole.
void setValue(const Value *V, SDValue NewN)
void FindMergedConditions(const Value *Cond, MachineBasicBlock *TBB, MachineBasicBlock *FBB, MachineBasicBlock *CurBB, MachineBasicBlock *SwitchBB, Instruction::BinaryOps Opc, BranchProbability TProb, BranchProbability FProb, bool InvertCond)
const TargetLibraryInfo * LibInfo
bool isExportableFromCurrentBlock(const Value *V, const BasicBlock *FromBB)
void visitSPDescriptorParent(StackProtectorDescriptor &SPD, MachineBasicBlock *ParentBB)
Codegen a new tail for a stack protector check ParentMBB which has had its tail spliced into a stack ...
bool handleDebugValue(ArrayRef< const Value * > Values, DILocalVariable *Var, DIExpression *Expr, DebugLoc DbgLoc, unsigned Order, bool IsVariadic)
For a given list of Values, attempt to create and record a SDDbgValue in the SelectionDAG.
SDValue getControlRoot()
Similar to getRoot, but instead of flushing all the PendingLoad items, flush all the PendingExports (...
void UpdateSplitBlock(MachineBasicBlock *First, MachineBasicBlock *Last)
When an MBB was split during scheduling, update the references that need to refer to the last resulti...
SDValue getValueImpl(const Value *V)
getValueImpl - Helper function for getValue and getNonRegisterValue.
void visitSwitchCase(SwitchCG::CaseBlock &CB, MachineBasicBlock *SwitchBB)
visitSwitchCase - Emits the necessary code to represent a single node in the binary search tree resul...
SDValue LowerAsSTATEPOINT(StatepointLoweringInfo &SI)
Lower SLI into a STATEPOINT instruction.
void visitSPDescriptorFailure(StackProtectorDescriptor &SPD)
Codegen the failure basic block for a stack protector check.
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.
Encapsulates all of the information needed to generate a stack protector check, and signals to isel w...
This class tracks both per-statepoint and per-selectiondag information.
An instruction for storing to memory.
SwitchLowering(FunctionLoweringInfo &funcinfo)
Multiway switch.
Provides information about what library functions are available for the current target.
This class defines information used to lower LLVM code to legal SelectionDAG operators that the targe...
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
Unconditional Branch instruction.
This function has undefined behavior.
A Use represents the edge between a Value definition and its users.
Definition Use.h:35
This class represents the va_arg llvm instruction, which returns an argument of the specified type gi...
LLVM Value Representation.
Definition Value.h:75
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
CallInst * Call
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
NodeType
ISD::NodeType enum - This enum defines the target-independent operators for a SelectionDAG.
Definition ISDOpcodes.h:41
@ ADD
Simple integer binary arithmetic operators.
Definition ISDOpcodes.h:264
@ ANY_EXTEND
ANY_EXTEND - Used for integer types. The high bits are undefined.
Definition ISDOpcodes.h:863
@ FADD
Simple binary floating point operators.
Definition ISDOpcodes.h:417
@ FNEG
Perform various unary floating-point operations inspired by libm.
@ SHL
Shift and rotation operations.
Definition ISDOpcodes.h:771
@ AND
Bitwise operators - logical and, logical or, logical xor.
Definition ISDOpcodes.h:741
std::vector< CaseCluster > CaseClusterVector
SmallVector< SwitchWorkListItem, 4 > SwitchWorkList
ExceptionBehavior
Exception behavior used for floating point operations.
Definition FPEnv.h:39
This is an optimization pass for GlobalISel generic memory operations.
RelativeUniformCounterPtr Values
Definition InstrProf.h:91
CodeGenOptLevel
Code generation optimization level.
Definition CodeGen.h:82
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
@ First
Helpers to iterate all locations in the MemoryEffectsBase class.
Definition ModRef.h:74
TargetTransformInfo TTI
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
Implement std::hash so that hash_code can be used in STL containers.
Definition BitVector.h:878
#define N
Extended Value Type.
Definition ValueTypes.h:35
SmallVector< std::pair< Register, TypeSize >, 4 > getRegsAndSizes() const
Return a list of registers and their sizes.
RegsForValue()=default
SmallVector< unsigned, 4 > RegCount
This list holds the number of registers for each value.
SmallVector< EVT, 4 > ValueVTs
The value types of the values, which may not be legal, and may need be promoted or synthesized from o...
void append(const RegsForValue &RHS)
Add the specified values to this one.
SmallVector< Register, 4 > Regs
This list holds the registers assigned to the values.
void AddInlineAsmOperands(InlineAsm::Kind Code, bool HasMatching, unsigned MatchingIdx, const SDLoc &dl, SelectionDAG &DAG, std::vector< SDValue > &Ops) const
Add this value to the specified inlineasm node operand list.
SDValue getCopyFromRegs(SelectionDAG &DAG, FunctionLoweringInfo &FuncInfo, const SDLoc &dl, SDValue &Chain, SDValue *Glue, const Value *V=nullptr) const
Emit a series of CopyFromReg nodes that copies from this value and returns the result as a ValueVTs v...
SmallVector< MVT, 4 > RegVTs
The value types of the registers.
void getCopyToRegs(SDValue Val, SelectionDAG &DAG, const SDLoc &dl, SDValue &Chain, SDValue *Glue, const Value *V=nullptr, ISD::NodeType PreferredExtendType=ISD::ANY_EXTEND) const
Emit a series of CopyToReg nodes that copies the specified value into the registers specified by this...
std::optional< CallingConv::ID > CallConv
Records if this value needs to be treated in an ABI dependant manner, different to normal type legali...
bool occupiesMultipleRegs() const
Check if the total RegCount is greater than one.
Print(const Value *V, const DanglingDebugInfo &DDI)
friend raw_ostream & operator<<(raw_ostream &OS, const DanglingDebugInfo::Print &P)
unsigned NumPatchBytes
The number of patchable bytes the call needs to get lowered into.
ArrayRef< const Use > GCTransitionArgs
The list of gc transition arguments present in the gc.statepoint being lowered.
ArrayRef< const Use > GCLives
The full list of gc-live arguments to the gc.statepoint being lowered.
uint64_t StatepointFlags
Flags associated with the meta arguments being lowered.
const BasicBlock * EHPadBB
The exception handling unwind destination, in case this represents an invoke of gc....
ArrayRef< const Use > DeoptState
The deoptimization state associated with this gc.statepoint call, if any.
TargetLowering::CallLoweringInfo CLI
Information regarding the underlying call instruction.
SmallVector< const GCRelocateInst *, 16 > GCRelocates
The set of gc.relocate calls associated with this gc.statepoint.
uint64_t ID
The ID that the resulting STATEPOINT instruction has to report.
const Instruction * StatepointInstr
The gc.statepoint instruction.
SmallVector< const Value *, 16 > Bases
Bases[i] is the base pointer for Ptrs[i].
This structure is used to communicate between SelectionDAGBuilder and SDISel for the code generation ...
This structure contains all information that is necessary for lowering calls.
This structure contains the information necessary for lowering pointer-authenticating indirect calls.