Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===- llvm/CodeGen/SelectionDAG.h - InstSelection DAG ----------*- 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 declares the SelectionDAG class, and transitively defines the |
||
| 10 | // SDNode class and subclasses. |
||
| 11 | // |
||
| 12 | //===----------------------------------------------------------------------===// |
||
| 13 | |||
| 14 | #ifndef LLVM_CODEGEN_SELECTIONDAG_H |
||
| 15 | #define LLVM_CODEGEN_SELECTIONDAG_H |
||
| 16 | |||
| 17 | #include "llvm/ADT/APFloat.h" |
||
| 18 | #include "llvm/ADT/APInt.h" |
||
| 19 | #include "llvm/ADT/ArrayRef.h" |
||
| 20 | #include "llvm/ADT/DenseMap.h" |
||
| 21 | #include "llvm/ADT/DenseSet.h" |
||
| 22 | #include "llvm/ADT/FoldingSet.h" |
||
| 23 | #include "llvm/ADT/SmallVector.h" |
||
| 24 | #include "llvm/ADT/StringMap.h" |
||
| 25 | #include "llvm/ADT/ilist.h" |
||
| 26 | #include "llvm/ADT/iterator.h" |
||
| 27 | #include "llvm/ADT/iterator_range.h" |
||
| 28 | #include "llvm/CodeGen/DAGCombine.h" |
||
| 29 | #include "llvm/CodeGen/ISDOpcodes.h" |
||
| 30 | #include "llvm/CodeGen/MachineFunction.h" |
||
| 31 | #include "llvm/CodeGen/MachineMemOperand.h" |
||
| 32 | #include "llvm/CodeGen/SelectionDAGNodes.h" |
||
| 33 | #include "llvm/CodeGen/ValueTypes.h" |
||
| 34 | #include "llvm/IR/DebugLoc.h" |
||
| 35 | #include "llvm/IR/Metadata.h" |
||
| 36 | #include "llvm/Support/Allocator.h" |
||
| 37 | #include "llvm/Support/ArrayRecycler.h" |
||
| 38 | #include "llvm/Support/CodeGen.h" |
||
| 39 | #include "llvm/Support/ErrorHandling.h" |
||
| 40 | #include "llvm/Support/MachineValueType.h" |
||
| 41 | #include "llvm/Support/RecyclingAllocator.h" |
||
| 42 | #include <cassert> |
||
| 43 | #include <cstdint> |
||
| 44 | #include <functional> |
||
| 45 | #include <map> |
||
| 46 | #include <string> |
||
| 47 | #include <tuple> |
||
| 48 | #include <utility> |
||
| 49 | #include <vector> |
||
| 50 | |||
| 51 | namespace llvm { |
||
| 52 | |||
| 53 | class DIExpression; |
||
| 54 | class DILabel; |
||
| 55 | class DIVariable; |
||
| 56 | class Function; |
||
| 57 | class Pass; |
||
| 58 | class Type; |
||
| 59 | template <class GraphType> struct GraphTraits; |
||
| 60 | template <typename T, unsigned int N> class SmallSetVector; |
||
| 61 | template <typename T, typename Enable> struct FoldingSetTrait; |
||
| 62 | class AAResults; |
||
| 63 | class BlockAddress; |
||
| 64 | class BlockFrequencyInfo; |
||
| 65 | class Constant; |
||
| 66 | class ConstantFP; |
||
| 67 | class ConstantInt; |
||
| 68 | class DataLayout; |
||
| 69 | struct fltSemantics; |
||
| 70 | class FunctionLoweringInfo; |
||
| 71 | class FunctionVarLocs; |
||
| 72 | class GlobalValue; |
||
| 73 | struct KnownBits; |
||
| 74 | class LegacyDivergenceAnalysis; |
||
| 75 | class LLVMContext; |
||
| 76 | class MachineBasicBlock; |
||
| 77 | class MachineConstantPoolValue; |
||
| 78 | class MCSymbol; |
||
| 79 | class OptimizationRemarkEmitter; |
||
| 80 | class ProfileSummaryInfo; |
||
| 81 | class SDDbgValue; |
||
| 82 | class SDDbgOperand; |
||
| 83 | class SDDbgLabel; |
||
| 84 | class SelectionDAG; |
||
| 85 | class SelectionDAGTargetInfo; |
||
| 86 | class TargetLibraryInfo; |
||
| 87 | class TargetLowering; |
||
| 88 | class TargetMachine; |
||
| 89 | class TargetSubtargetInfo; |
||
| 90 | class Value; |
||
| 91 | |||
| 92 | class SDVTListNode : public FoldingSetNode { |
||
| 93 | friend struct FoldingSetTrait<SDVTListNode>; |
||
| 94 | |||
| 95 | /// A reference to an Interned FoldingSetNodeID for this node. |
||
| 96 | /// The Allocator in SelectionDAG holds the data. |
||
| 97 | /// SDVTList contains all types which are frequently accessed in SelectionDAG. |
||
| 98 | /// The size of this list is not expected to be big so it won't introduce |
||
| 99 | /// a memory penalty. |
||
| 100 | FoldingSetNodeIDRef FastID; |
||
| 101 | const EVT *VTs; |
||
| 102 | unsigned int NumVTs; |
||
| 103 | /// The hash value for SDVTList is fixed, so cache it to avoid |
||
| 104 | /// hash calculation. |
||
| 105 | unsigned HashValue; |
||
| 106 | |||
| 107 | public: |
||
| 108 | SDVTListNode(const FoldingSetNodeIDRef ID, const EVT *VT, unsigned int Num) : |
||
| 109 | FastID(ID), VTs(VT), NumVTs(Num) { |
||
| 110 | HashValue = ID.ComputeHash(); |
||
| 111 | } |
||
| 112 | |||
| 113 | SDVTList getSDVTList() { |
||
| 114 | SDVTList result = {VTs, NumVTs}; |
||
| 115 | return result; |
||
| 116 | } |
||
| 117 | }; |
||
| 118 | |||
| 119 | /// Specialize FoldingSetTrait for SDVTListNode |
||
| 120 | /// to avoid computing temp FoldingSetNodeID and hash value. |
||
| 121 | template<> struct FoldingSetTrait<SDVTListNode> : DefaultFoldingSetTrait<SDVTListNode> { |
||
| 122 | static void Profile(const SDVTListNode &X, FoldingSetNodeID& ID) { |
||
| 123 | ID = X.FastID; |
||
| 124 | } |
||
| 125 | |||
| 126 | static bool Equals(const SDVTListNode &X, const FoldingSetNodeID &ID, |
||
| 127 | unsigned IDHash, FoldingSetNodeID &TempID) { |
||
| 128 | if (X.HashValue != IDHash) |
||
| 129 | return false; |
||
| 130 | return ID == X.FastID; |
||
| 131 | } |
||
| 132 | |||
| 133 | static unsigned ComputeHash(const SDVTListNode &X, FoldingSetNodeID &TempID) { |
||
| 134 | return X.HashValue; |
||
| 135 | } |
||
| 136 | }; |
||
| 137 | |||
| 138 | template <> struct ilist_alloc_traits<SDNode> { |
||
| 139 | static void deleteNode(SDNode *) { |
||
| 140 | llvm_unreachable("ilist_traits<SDNode> shouldn't see a deleteNode call!"); |
||
| 141 | } |
||
| 142 | }; |
||
| 143 | |||
| 144 | /// Keeps track of dbg_value information through SDISel. We do |
||
| 145 | /// not build SDNodes for these so as not to perturb the generated code; |
||
| 146 | /// instead the info is kept off to the side in this structure. Each SDNode may |
||
| 147 | /// have one or more associated dbg_value entries. This information is kept in |
||
| 148 | /// DbgValMap. |
||
| 149 | /// Byval parameters are handled separately because they don't use alloca's, |
||
| 150 | /// which busts the normal mechanism. There is good reason for handling all |
||
| 151 | /// parameters separately: they may not have code generated for them, they |
||
| 152 | /// should always go at the beginning of the function regardless of other code |
||
| 153 | /// motion, and debug info for them is potentially useful even if the parameter |
||
| 154 | /// is unused. Right now only byval parameters are handled separately. |
||
| 155 | class SDDbgInfo { |
||
| 156 | BumpPtrAllocator Alloc; |
||
| 157 | SmallVector<SDDbgValue*, 32> DbgValues; |
||
| 158 | SmallVector<SDDbgValue*, 32> ByvalParmDbgValues; |
||
| 159 | SmallVector<SDDbgLabel*, 4> DbgLabels; |
||
| 160 | using DbgValMapType = DenseMap<const SDNode *, SmallVector<SDDbgValue *, 2>>; |
||
| 161 | DbgValMapType DbgValMap; |
||
| 162 | |||
| 163 | public: |
||
| 164 | SDDbgInfo() = default; |
||
| 165 | SDDbgInfo(const SDDbgInfo &) = delete; |
||
| 166 | SDDbgInfo &operator=(const SDDbgInfo &) = delete; |
||
| 167 | |||
| 168 | void add(SDDbgValue *V, bool isParameter); |
||
| 169 | |||
| 170 | void add(SDDbgLabel *L) { DbgLabels.push_back(L); } |
||
| 171 | |||
| 172 | /// Invalidate all DbgValues attached to the node and remove |
||
| 173 | /// it from the Node-to-DbgValues map. |
||
| 174 | void erase(const SDNode *Node); |
||
| 175 | |||
| 176 | void clear() { |
||
| 177 | DbgValMap.clear(); |
||
| 178 | DbgValues.clear(); |
||
| 179 | ByvalParmDbgValues.clear(); |
||
| 180 | DbgLabels.clear(); |
||
| 181 | Alloc.Reset(); |
||
| 182 | } |
||
| 183 | |||
| 184 | BumpPtrAllocator &getAlloc() { return Alloc; } |
||
| 185 | |||
| 186 | bool empty() const { |
||
| 187 | return DbgValues.empty() && ByvalParmDbgValues.empty() && DbgLabels.empty(); |
||
| 188 | } |
||
| 189 | |||
| 190 | ArrayRef<SDDbgValue*> getSDDbgValues(const SDNode *Node) const { |
||
| 191 | auto I = DbgValMap.find(Node); |
||
| 192 | if (I != DbgValMap.end()) |
||
| 193 | return I->second; |
||
| 194 | return ArrayRef<SDDbgValue*>(); |
||
| 195 | } |
||
| 196 | |||
| 197 | using DbgIterator = SmallVectorImpl<SDDbgValue*>::iterator; |
||
| 198 | using DbgLabelIterator = SmallVectorImpl<SDDbgLabel*>::iterator; |
||
| 199 | |||
| 200 | DbgIterator DbgBegin() { return DbgValues.begin(); } |
||
| 201 | DbgIterator DbgEnd() { return DbgValues.end(); } |
||
| 202 | DbgIterator ByvalParmDbgBegin() { return ByvalParmDbgValues.begin(); } |
||
| 203 | DbgIterator ByvalParmDbgEnd() { return ByvalParmDbgValues.end(); } |
||
| 204 | DbgLabelIterator DbgLabelBegin() { return DbgLabels.begin(); } |
||
| 205 | DbgLabelIterator DbgLabelEnd() { return DbgLabels.end(); } |
||
| 206 | }; |
||
| 207 | |||
| 208 | void checkForCycles(const SelectionDAG *DAG, bool force = false); |
||
| 209 | |||
| 210 | /// This is used to represent a portion of an LLVM function in a low-level |
||
| 211 | /// Data Dependence DAG representation suitable for instruction selection. |
||
| 212 | /// This DAG is constructed as the first step of instruction selection in order |
||
| 213 | /// to allow implementation of machine specific optimizations |
||
| 214 | /// and code simplifications. |
||
| 215 | /// |
||
| 216 | /// The representation used by the SelectionDAG is a target-independent |
||
| 217 | /// representation, which has some similarities to the GCC RTL representation, |
||
| 218 | /// but is significantly more simple, powerful, and is a graph form instead of a |
||
| 219 | /// linear form. |
||
| 220 | /// |
||
| 221 | class SelectionDAG { |
||
| 222 | const TargetMachine &TM; |
||
| 223 | const SelectionDAGTargetInfo *TSI = nullptr; |
||
| 224 | const TargetLowering *TLI = nullptr; |
||
| 225 | const TargetLibraryInfo *LibInfo = nullptr; |
||
| 226 | const FunctionVarLocs *FnVarLocs = nullptr; |
||
| 227 | MachineFunction *MF; |
||
| 228 | Pass *SDAGISelPass = nullptr; |
||
| 229 | LLVMContext *Context; |
||
| 230 | CodeGenOpt::Level OptLevel; |
||
| 231 | |||
| 232 | LegacyDivergenceAnalysis * DA = nullptr; |
||
| 233 | FunctionLoweringInfo * FLI = nullptr; |
||
| 234 | |||
| 235 | /// The function-level optimization remark emitter. Used to emit remarks |
||
| 236 | /// whenever manipulating the DAG. |
||
| 237 | OptimizationRemarkEmitter *ORE; |
||
| 238 | |||
| 239 | ProfileSummaryInfo *PSI = nullptr; |
||
| 240 | BlockFrequencyInfo *BFI = nullptr; |
||
| 241 | |||
| 242 | /// List of non-single value types. |
||
| 243 | FoldingSet<SDVTListNode> VTListMap; |
||
| 244 | |||
| 245 | /// Pool allocation for misc. objects that are created once per SelectionDAG. |
||
| 246 | BumpPtrAllocator Allocator; |
||
| 247 | |||
| 248 | /// The starting token. |
||
| 249 | SDNode EntryNode; |
||
| 250 | |||
| 251 | /// The root of the entire DAG. |
||
| 252 | SDValue Root; |
||
| 253 | |||
| 254 | /// A linked list of nodes in the current DAG. |
||
| 255 | ilist<SDNode> AllNodes; |
||
| 256 | |||
| 257 | /// The AllocatorType for allocating SDNodes. We use |
||
| 258 | /// pool allocation with recycling. |
||
| 259 | using NodeAllocatorType = RecyclingAllocator<BumpPtrAllocator, SDNode, |
||
| 260 | sizeof(LargestSDNode), |
||
| 261 | alignof(MostAlignedSDNode)>; |
||
| 262 | |||
| 263 | /// Pool allocation for nodes. |
||
| 264 | NodeAllocatorType NodeAllocator; |
||
| 265 | |||
| 266 | /// This structure is used to memoize nodes, automatically performing |
||
| 267 | /// CSE with existing nodes when a duplicate is requested. |
||
| 268 | FoldingSet<SDNode> CSEMap; |
||
| 269 | |||
| 270 | /// Pool allocation for machine-opcode SDNode operands. |
||
| 271 | BumpPtrAllocator OperandAllocator; |
||
| 272 | ArrayRecycler<SDUse> OperandRecycler; |
||
| 273 | |||
| 274 | /// Tracks dbg_value and dbg_label information through SDISel. |
||
| 275 | SDDbgInfo *DbgInfo; |
||
| 276 | |||
| 277 | using CallSiteInfo = MachineFunction::CallSiteInfo; |
||
| 278 | using CallSiteInfoImpl = MachineFunction::CallSiteInfoImpl; |
||
| 279 | |||
| 280 | struct NodeExtraInfo { |
||
| 281 | CallSiteInfo CSInfo; |
||
| 282 | MDNode *HeapAllocSite = nullptr; |
||
| 283 | MDNode *PCSections = nullptr; |
||
| 284 | bool NoMerge = false; |
||
| 285 | }; |
||
| 286 | /// Out-of-line extra information for SDNodes. |
||
| 287 | DenseMap<const SDNode *, NodeExtraInfo> SDEI; |
||
| 288 | |||
| 289 | /// PersistentId counter to be used when inserting the next |
||
| 290 | /// SDNode to this SelectionDAG. We do not place that under |
||
| 291 | /// `#if LLVM_ENABLE_ABI_BREAKING_CHECKS` intentionally because |
||
| 292 | /// it adds unneeded complexity without noticeable |
||
| 293 | /// benefits (see discussion with @thakis in D120714). |
||
| 294 | uint16_t NextPersistentId = 0; |
||
| 295 | |||
| 296 | public: |
||
| 297 | /// Clients of various APIs that cause global effects on |
||
| 298 | /// the DAG can optionally implement this interface. This allows the clients |
||
| 299 | /// to handle the various sorts of updates that happen. |
||
| 300 | /// |
||
| 301 | /// A DAGUpdateListener automatically registers itself with DAG when it is |
||
| 302 | /// constructed, and removes itself when destroyed in RAII fashion. |
||
| 303 | struct DAGUpdateListener { |
||
| 304 | DAGUpdateListener *const Next; |
||
| 305 | SelectionDAG &DAG; |
||
| 306 | |||
| 307 | explicit DAGUpdateListener(SelectionDAG &D) |
||
| 308 | : Next(D.UpdateListeners), DAG(D) { |
||
| 309 | DAG.UpdateListeners = this; |
||
| 310 | } |
||
| 311 | |||
| 312 | virtual ~DAGUpdateListener() { |
||
| 313 | assert(DAG.UpdateListeners == this && |
||
| 314 | "DAGUpdateListeners must be destroyed in LIFO order"); |
||
| 315 | DAG.UpdateListeners = Next; |
||
| 316 | } |
||
| 317 | |||
| 318 | /// The node N that was deleted and, if E is not null, an |
||
| 319 | /// equivalent node E that replaced it. |
||
| 320 | virtual void NodeDeleted(SDNode *N, SDNode *E); |
||
| 321 | |||
| 322 | /// The node N that was updated. |
||
| 323 | virtual void NodeUpdated(SDNode *N); |
||
| 324 | |||
| 325 | /// The node N that was inserted. |
||
| 326 | virtual void NodeInserted(SDNode *N); |
||
| 327 | }; |
||
| 328 | |||
| 329 | struct DAGNodeDeletedListener : public DAGUpdateListener { |
||
| 330 | std::function<void(SDNode *, SDNode *)> Callback; |
||
| 331 | |||
| 332 | DAGNodeDeletedListener(SelectionDAG &DAG, |
||
| 333 | std::function<void(SDNode *, SDNode *)> Callback) |
||
| 334 | : DAGUpdateListener(DAG), Callback(std::move(Callback)) {} |
||
| 335 | |||
| 336 | void NodeDeleted(SDNode *N, SDNode *E) override { Callback(N, E); } |
||
| 337 | |||
| 338 | private: |
||
| 339 | virtual void anchor(); |
||
| 340 | }; |
||
| 341 | |||
| 342 | struct DAGNodeInsertedListener : public DAGUpdateListener { |
||
| 343 | std::function<void(SDNode *)> Callback; |
||
| 344 | |||
| 345 | DAGNodeInsertedListener(SelectionDAG &DAG, |
||
| 346 | std::function<void(SDNode *)> Callback) |
||
| 347 | : DAGUpdateListener(DAG), Callback(std::move(Callback)) {} |
||
| 348 | |||
| 349 | void NodeInserted(SDNode *N) override { Callback(N); } |
||
| 350 | |||
| 351 | private: |
||
| 352 | virtual void anchor(); |
||
| 353 | }; |
||
| 354 | |||
| 355 | /// Help to insert SDNodeFlags automatically in transforming. Use |
||
| 356 | /// RAII to save and resume flags in current scope. |
||
| 357 | class FlagInserter { |
||
| 358 | SelectionDAG &DAG; |
||
| 359 | SDNodeFlags Flags; |
||
| 360 | FlagInserter *LastInserter; |
||
| 361 | |||
| 362 | public: |
||
| 363 | FlagInserter(SelectionDAG &SDAG, SDNodeFlags Flags) |
||
| 364 | : DAG(SDAG), Flags(Flags), |
||
| 365 | LastInserter(SDAG.getFlagInserter()) { |
||
| 366 | SDAG.setFlagInserter(this); |
||
| 367 | } |
||
| 368 | FlagInserter(SelectionDAG &SDAG, SDNode *N) |
||
| 369 | : FlagInserter(SDAG, N->getFlags()) {} |
||
| 370 | |||
| 371 | FlagInserter(const FlagInserter &) = delete; |
||
| 372 | FlagInserter &operator=(const FlagInserter &) = delete; |
||
| 373 | ~FlagInserter() { DAG.setFlagInserter(LastInserter); } |
||
| 374 | |||
| 375 | SDNodeFlags getFlags() const { return Flags; } |
||
| 376 | }; |
||
| 377 | |||
| 378 | /// When true, additional steps are taken to |
||
| 379 | /// ensure that getConstant() and similar functions return DAG nodes that |
||
| 380 | /// have legal types. This is important after type legalization since |
||
| 381 | /// any illegally typed nodes generated after this point will not experience |
||
| 382 | /// type legalization. |
||
| 383 | bool NewNodesMustHaveLegalTypes = false; |
||
| 384 | |||
| 385 | private: |
||
| 386 | /// DAGUpdateListener is a friend so it can manipulate the listener stack. |
||
| 387 | friend struct DAGUpdateListener; |
||
| 388 | |||
| 389 | /// Linked list of registered DAGUpdateListener instances. |
||
| 390 | /// This stack is maintained by DAGUpdateListener RAII. |
||
| 391 | DAGUpdateListener *UpdateListeners = nullptr; |
||
| 392 | |||
| 393 | /// Implementation of setSubgraphColor. |
||
| 394 | /// Return whether we had to truncate the search. |
||
| 395 | bool setSubgraphColorHelper(SDNode *N, const char *Color, |
||
| 396 | DenseSet<SDNode *> &visited, |
||
| 397 | int level, bool &printed); |
||
| 398 | |||
| 399 | template <typename SDNodeT, typename... ArgTypes> |
||
| 400 | SDNodeT *newSDNode(ArgTypes &&... Args) { |
||
| 401 | return new (NodeAllocator.template Allocate<SDNodeT>()) |
||
| 402 | SDNodeT(std::forward<ArgTypes>(Args)...); |
||
| 403 | } |
||
| 404 | |||
| 405 | /// Build a synthetic SDNodeT with the given args and extract its subclass |
||
| 406 | /// data as an integer (e.g. for use in a folding set). |
||
| 407 | /// |
||
| 408 | /// The args to this function are the same as the args to SDNodeT's |
||
| 409 | /// constructor, except the second arg (assumed to be a const DebugLoc&) is |
||
| 410 | /// omitted. |
||
| 411 | template <typename SDNodeT, typename... ArgTypes> |
||
| 412 | static uint16_t getSyntheticNodeSubclassData(unsigned IROrder, |
||
| 413 | ArgTypes &&... Args) { |
||
| 414 | // The compiler can reduce this expression to a constant iff we pass an |
||
| 415 | // empty DebugLoc. Thankfully, the debug location doesn't have any bearing |
||
| 416 | // on the subclass data. |
||
| 417 | return SDNodeT(IROrder, DebugLoc(), std::forward<ArgTypes>(Args)...) |
||
| 418 | .getRawSubclassData(); |
||
| 419 | } |
||
| 420 | |||
| 421 | template <typename SDNodeTy> |
||
| 422 | static uint16_t getSyntheticNodeSubclassData(unsigned Opc, unsigned Order, |
||
| 423 | SDVTList VTs, EVT MemoryVT, |
||
| 424 | MachineMemOperand *MMO) { |
||
| 425 | return SDNodeTy(Opc, Order, DebugLoc(), VTs, MemoryVT, MMO) |
||
| 426 | .getRawSubclassData(); |
||
| 427 | } |
||
| 428 | |||
| 429 | void createOperands(SDNode *Node, ArrayRef<SDValue> Vals); |
||
| 430 | |||
| 431 | void removeOperands(SDNode *Node) { |
||
| 432 | if (!Node->OperandList) |
||
| 433 | return; |
||
| 434 | OperandRecycler.deallocate( |
||
| 435 | ArrayRecycler<SDUse>::Capacity::get(Node->NumOperands), |
||
| 436 | Node->OperandList); |
||
| 437 | Node->NumOperands = 0; |
||
| 438 | Node->OperandList = nullptr; |
||
| 439 | } |
||
| 440 | void CreateTopologicalOrder(std::vector<SDNode*>& Order); |
||
| 441 | |||
| 442 | public: |
||
| 443 | // Maximum depth for recursive analysis such as computeKnownBits, etc. |
||
| 444 | static constexpr unsigned MaxRecursionDepth = 6; |
||
| 445 | |||
| 446 | explicit SelectionDAG(const TargetMachine &TM, CodeGenOpt::Level); |
||
| 447 | SelectionDAG(const SelectionDAG &) = delete; |
||
| 448 | SelectionDAG &operator=(const SelectionDAG &) = delete; |
||
| 449 | ~SelectionDAG(); |
||
| 450 | |||
| 451 | /// Prepare this SelectionDAG to process code in the given MachineFunction. |
||
| 452 | void init(MachineFunction &NewMF, OptimizationRemarkEmitter &NewORE, |
||
| 453 | Pass *PassPtr, const TargetLibraryInfo *LibraryInfo, |
||
| 454 | LegacyDivergenceAnalysis *Divergence, ProfileSummaryInfo *PSIin, |
||
| 455 | BlockFrequencyInfo *BFIin, FunctionVarLocs const *FnVarLocs); |
||
| 456 | |||
| 457 | void setFunctionLoweringInfo(FunctionLoweringInfo * FuncInfo) { |
||
| 458 | FLI = FuncInfo; |
||
| 459 | } |
||
| 460 | |||
| 461 | /// Clear state and free memory necessary to make this |
||
| 462 | /// SelectionDAG ready to process a new block. |
||
| 463 | void clear(); |
||
| 464 | |||
| 465 | MachineFunction &getMachineFunction() const { return *MF; } |
||
| 466 | const Pass *getPass() const { return SDAGISelPass; } |
||
| 467 | |||
| 468 | const DataLayout &getDataLayout() const { return MF->getDataLayout(); } |
||
| 469 | const TargetMachine &getTarget() const { return TM; } |
||
| 470 | const TargetSubtargetInfo &getSubtarget() const { return MF->getSubtarget(); } |
||
| 471 | template <typename STC> const STC &getSubtarget() const { |
||
| 472 | return MF->getSubtarget<STC>(); |
||
| 473 | } |
||
| 474 | const TargetLowering &getTargetLoweringInfo() const { return *TLI; } |
||
| 475 | const TargetLibraryInfo &getLibInfo() const { return *LibInfo; } |
||
| 476 | const SelectionDAGTargetInfo &getSelectionDAGInfo() const { return *TSI; } |
||
| 477 | const LegacyDivergenceAnalysis *getDivergenceAnalysis() const { return DA; } |
||
| 478 | /// Returns the result of the AssignmentTrackingAnalysis pass if it's |
||
| 479 | /// available, otherwise return nullptr. |
||
| 480 | const FunctionVarLocs *getFunctionVarLocs() const { return FnVarLocs; } |
||
| 481 | LLVMContext *getContext() const { return Context; } |
||
| 482 | OptimizationRemarkEmitter &getORE() const { return *ORE; } |
||
| 483 | ProfileSummaryInfo *getPSI() const { return PSI; } |
||
| 484 | BlockFrequencyInfo *getBFI() const { return BFI; } |
||
| 485 | |||
| 486 | FlagInserter *getFlagInserter() { return Inserter; } |
||
| 487 | void setFlagInserter(FlagInserter *FI) { Inserter = FI; } |
||
| 488 | |||
| 489 | /// Just dump dot graph to a user-provided path and title. |
||
| 490 | /// This doesn't open the dot viewer program and |
||
| 491 | /// helps visualization when outside debugging session. |
||
| 492 | /// FileName expects absolute path. If provided |
||
| 493 | /// without any path separators then the file |
||
| 494 | /// will be created in the current directory. |
||
| 495 | /// Error will be emitted if the path is insane. |
||
| 496 | #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) |
||
| 497 | LLVM_DUMP_METHOD void dumpDotGraph(const Twine &FileName, const Twine &Title); |
||
| 498 | #endif |
||
| 499 | |||
| 500 | /// Pop up a GraphViz/gv window with the DAG rendered using 'dot'. |
||
| 501 | void viewGraph(const std::string &Title); |
||
| 502 | void viewGraph(); |
||
| 503 | |||
| 504 | #if LLVM_ENABLE_ABI_BREAKING_CHECKS |
||
| 505 | std::map<const SDNode *, std::string> NodeGraphAttrs; |
||
| 506 | #endif |
||
| 507 | |||
| 508 | /// Clear all previously defined node graph attributes. |
||
| 509 | /// Intended to be used from a debugging tool (eg. gdb). |
||
| 510 | void clearGraphAttrs(); |
||
| 511 | |||
| 512 | /// Set graph attributes for a node. (eg. "color=red".) |
||
| 513 | void setGraphAttrs(const SDNode *N, const char *Attrs); |
||
| 514 | |||
| 515 | /// Get graph attributes for a node. (eg. "color=red".) |
||
| 516 | /// Used from getNodeAttributes. |
||
| 517 | std::string getGraphAttrs(const SDNode *N) const; |
||
| 518 | |||
| 519 | /// Convenience for setting node color attribute. |
||
| 520 | void setGraphColor(const SDNode *N, const char *Color); |
||
| 521 | |||
| 522 | /// Convenience for setting subgraph color attribute. |
||
| 523 | void setSubgraphColor(SDNode *N, const char *Color); |
||
| 524 | |||
| 525 | using allnodes_const_iterator = ilist<SDNode>::const_iterator; |
||
| 526 | |||
| 527 | allnodes_const_iterator allnodes_begin() const { return AllNodes.begin(); } |
||
| 528 | allnodes_const_iterator allnodes_end() const { return AllNodes.end(); } |
||
| 529 | |||
| 530 | using allnodes_iterator = ilist<SDNode>::iterator; |
||
| 531 | |||
| 532 | allnodes_iterator allnodes_begin() { return AllNodes.begin(); } |
||
| 533 | allnodes_iterator allnodes_end() { return AllNodes.end(); } |
||
| 534 | |||
| 535 | ilist<SDNode>::size_type allnodes_size() const { |
||
| 536 | return AllNodes.size(); |
||
| 537 | } |
||
| 538 | |||
| 539 | iterator_range<allnodes_iterator> allnodes() { |
||
| 540 | return make_range(allnodes_begin(), allnodes_end()); |
||
| 541 | } |
||
| 542 | iterator_range<allnodes_const_iterator> allnodes() const { |
||
| 543 | return make_range(allnodes_begin(), allnodes_end()); |
||
| 544 | } |
||
| 545 | |||
| 546 | /// Return the root tag of the SelectionDAG. |
||
| 547 | const SDValue &getRoot() const { return Root; } |
||
| 548 | |||
| 549 | /// Return the token chain corresponding to the entry of the function. |
||
| 550 | SDValue getEntryNode() const { |
||
| 551 | return SDValue(const_cast<SDNode *>(&EntryNode), 0); |
||
| 552 | } |
||
| 553 | |||
| 554 | /// Set the current root tag of the SelectionDAG. |
||
| 555 | /// |
||
| 556 | const SDValue &setRoot(SDValue N) { |
||
| 557 | assert((!N.getNode() || N.getValueType() == MVT::Other) && |
||
| 558 | "DAG root value is not a chain!"); |
||
| 559 | if (N.getNode()) |
||
| 560 | checkForCycles(N.getNode(), this); |
||
| 561 | Root = N; |
||
| 562 | if (N.getNode()) |
||
| 563 | checkForCycles(this); |
||
| 564 | return Root; |
||
| 565 | } |
||
| 566 | |||
| 567 | #ifndef NDEBUG |
||
| 568 | void VerifyDAGDivergence(); |
||
| 569 | #endif |
||
| 570 | |||
| 571 | /// This iterates over the nodes in the SelectionDAG, folding |
||
| 572 | /// certain types of nodes together, or eliminating superfluous nodes. The |
||
| 573 | /// Level argument controls whether Combine is allowed to produce nodes and |
||
| 574 | /// types that are illegal on the target. |
||
| 575 | void Combine(CombineLevel Level, AAResults *AA, |
||
| 576 | CodeGenOpt::Level OptLevel); |
||
| 577 | |||
| 578 | /// This transforms the SelectionDAG into a SelectionDAG that |
||
| 579 | /// only uses types natively supported by the target. |
||
| 580 | /// Returns "true" if it made any changes. |
||
| 581 | /// |
||
| 582 | /// Note that this is an involved process that may invalidate pointers into |
||
| 583 | /// the graph. |
||
| 584 | bool LegalizeTypes(); |
||
| 585 | |||
| 586 | /// This transforms the SelectionDAG into a SelectionDAG that is |
||
| 587 | /// compatible with the target instruction selector, as indicated by the |
||
| 588 | /// TargetLowering object. |
||
| 589 | /// |
||
| 590 | /// Note that this is an involved process that may invalidate pointers into |
||
| 591 | /// the graph. |
||
| 592 | void Legalize(); |
||
| 593 | |||
| 594 | /// Transforms a SelectionDAG node and any operands to it into a node |
||
| 595 | /// that is compatible with the target instruction selector, as indicated by |
||
| 596 | /// the TargetLowering object. |
||
| 597 | /// |
||
| 598 | /// \returns true if \c N is a valid, legal node after calling this. |
||
| 599 | /// |
||
| 600 | /// This essentially runs a single recursive walk of the \c Legalize process |
||
| 601 | /// over the given node (and its operands). This can be used to incrementally |
||
| 602 | /// legalize the DAG. All of the nodes which are directly replaced, |
||
| 603 | /// potentially including N, are added to the output parameter \c |
||
| 604 | /// UpdatedNodes so that the delta to the DAG can be understood by the |
||
| 605 | /// caller. |
||
| 606 | /// |
||
| 607 | /// When this returns false, N has been legalized in a way that make the |
||
| 608 | /// pointer passed in no longer valid. It may have even been deleted from the |
||
| 609 | /// DAG, and so it shouldn't be used further. When this returns true, the |
||
| 610 | /// N passed in is a legal node, and can be immediately processed as such. |
||
| 611 | /// This may still have done some work on the DAG, and will still populate |
||
| 612 | /// UpdatedNodes with any new nodes replacing those originally in the DAG. |
||
| 613 | bool LegalizeOp(SDNode *N, SmallSetVector<SDNode *, 16> &UpdatedNodes); |
||
| 614 | |||
| 615 | /// This transforms the SelectionDAG into a SelectionDAG |
||
| 616 | /// that only uses vector math operations supported by the target. This is |
||
| 617 | /// necessary as a separate step from Legalize because unrolling a vector |
||
| 618 | /// operation can introduce illegal types, which requires running |
||
| 619 | /// LegalizeTypes again. |
||
| 620 | /// |
||
| 621 | /// This returns true if it made any changes; in that case, LegalizeTypes |
||
| 622 | /// is called again before Legalize. |
||
| 623 | /// |
||
| 624 | /// Note that this is an involved process that may invalidate pointers into |
||
| 625 | /// the graph. |
||
| 626 | bool LegalizeVectors(); |
||
| 627 | |||
| 628 | /// This method deletes all unreachable nodes in the SelectionDAG. |
||
| 629 | void RemoveDeadNodes(); |
||
| 630 | |||
| 631 | /// Remove the specified node from the system. This node must |
||
| 632 | /// have no referrers. |
||
| 633 | void DeleteNode(SDNode *N); |
||
| 634 | |||
| 635 | /// Return an SDVTList that represents the list of values specified. |
||
| 636 | SDVTList getVTList(EVT VT); |
||
| 637 | SDVTList getVTList(EVT VT1, EVT VT2); |
||
| 638 | SDVTList getVTList(EVT VT1, EVT VT2, EVT VT3); |
||
| 639 | SDVTList getVTList(EVT VT1, EVT VT2, EVT VT3, EVT VT4); |
||
| 640 | SDVTList getVTList(ArrayRef<EVT> VTs); |
||
| 641 | |||
| 642 | //===--------------------------------------------------------------------===// |
||
| 643 | // Node creation methods. |
||
| 644 | |||
| 645 | /// Create a ConstantSDNode wrapping a constant value. |
||
| 646 | /// If VT is a vector type, the constant is splatted into a BUILD_VECTOR. |
||
| 647 | /// |
||
| 648 | /// If only legal types can be produced, this does the necessary |
||
| 649 | /// transformations (e.g., if the vector element type is illegal). |
||
| 650 | /// @{ |
||
| 651 | SDValue getConstant(uint64_t Val, const SDLoc &DL, EVT VT, |
||
| 652 | bool isTarget = false, bool isOpaque = false); |
||
| 653 | SDValue getConstant(const APInt &Val, const SDLoc &DL, EVT VT, |
||
| 654 | bool isTarget = false, bool isOpaque = false); |
||
| 655 | |||
| 656 | SDValue getAllOnesConstant(const SDLoc &DL, EVT VT, bool IsTarget = false, |
||
| 657 | bool IsOpaque = false) { |
||
| 658 | return getConstant(APInt::getAllOnes(VT.getScalarSizeInBits()), DL, VT, |
||
| 659 | IsTarget, IsOpaque); |
||
| 660 | } |
||
| 661 | |||
| 662 | SDValue getConstant(const ConstantInt &Val, const SDLoc &DL, EVT VT, |
||
| 663 | bool isTarget = false, bool isOpaque = false); |
||
| 664 | SDValue getIntPtrConstant(uint64_t Val, const SDLoc &DL, |
||
| 665 | bool isTarget = false); |
||
| 666 | SDValue getShiftAmountConstant(uint64_t Val, EVT VT, const SDLoc &DL, |
||
| 667 | bool LegalTypes = true); |
||
| 668 | SDValue getVectorIdxConstant(uint64_t Val, const SDLoc &DL, |
||
| 669 | bool isTarget = false); |
||
| 670 | |||
| 671 | SDValue getTargetConstant(uint64_t Val, const SDLoc &DL, EVT VT, |
||
| 672 | bool isOpaque = false) { |
||
| 673 | return getConstant(Val, DL, VT, true, isOpaque); |
||
| 674 | } |
||
| 675 | SDValue getTargetConstant(const APInt &Val, const SDLoc &DL, EVT VT, |
||
| 676 | bool isOpaque = false) { |
||
| 677 | return getConstant(Val, DL, VT, true, isOpaque); |
||
| 678 | } |
||
| 679 | SDValue getTargetConstant(const ConstantInt &Val, const SDLoc &DL, EVT VT, |
||
| 680 | bool isOpaque = false) { |
||
| 681 | return getConstant(Val, DL, VT, true, isOpaque); |
||
| 682 | } |
||
| 683 | |||
| 684 | /// Create a true or false constant of type \p VT using the target's |
||
| 685 | /// BooleanContent for type \p OpVT. |
||
| 686 | SDValue getBoolConstant(bool V, const SDLoc &DL, EVT VT, EVT OpVT); |
||
| 687 | /// @} |
||
| 688 | |||
| 689 | /// Create a ConstantFPSDNode wrapping a constant value. |
||
| 690 | /// If VT is a vector type, the constant is splatted into a BUILD_VECTOR. |
||
| 691 | /// |
||
| 692 | /// If only legal types can be produced, this does the necessary |
||
| 693 | /// transformations (e.g., if the vector element type is illegal). |
||
| 694 | /// The forms that take a double should only be used for simple constants |
||
| 695 | /// that can be exactly represented in VT. No checks are made. |
||
| 696 | /// @{ |
||
| 697 | SDValue getConstantFP(double Val, const SDLoc &DL, EVT VT, |
||
| 698 | bool isTarget = false); |
||
| 699 | SDValue getConstantFP(const APFloat &Val, const SDLoc &DL, EVT VT, |
||
| 700 | bool isTarget = false); |
||
| 701 | SDValue getConstantFP(const ConstantFP &V, const SDLoc &DL, EVT VT, |
||
| 702 | bool isTarget = false); |
||
| 703 | SDValue getTargetConstantFP(double Val, const SDLoc &DL, EVT VT) { |
||
| 704 | return getConstantFP(Val, DL, VT, true); |
||
| 705 | } |
||
| 706 | SDValue getTargetConstantFP(const APFloat &Val, const SDLoc &DL, EVT VT) { |
||
| 707 | return getConstantFP(Val, DL, VT, true); |
||
| 708 | } |
||
| 709 | SDValue getTargetConstantFP(const ConstantFP &Val, const SDLoc &DL, EVT VT) { |
||
| 710 | return getConstantFP(Val, DL, VT, true); |
||
| 711 | } |
||
| 712 | /// @} |
||
| 713 | |||
| 714 | SDValue getGlobalAddress(const GlobalValue *GV, const SDLoc &DL, EVT VT, |
||
| 715 | int64_t offset = 0, bool isTargetGA = false, |
||
| 716 | unsigned TargetFlags = 0); |
||
| 717 | SDValue getTargetGlobalAddress(const GlobalValue *GV, const SDLoc &DL, EVT VT, |
||
| 718 | int64_t offset = 0, unsigned TargetFlags = 0) { |
||
| 719 | return getGlobalAddress(GV, DL, VT, offset, true, TargetFlags); |
||
| 720 | } |
||
| 721 | SDValue getFrameIndex(int FI, EVT VT, bool isTarget = false); |
||
| 722 | SDValue getTargetFrameIndex(int FI, EVT VT) { |
||
| 723 | return getFrameIndex(FI, VT, true); |
||
| 724 | } |
||
| 725 | SDValue getJumpTable(int JTI, EVT VT, bool isTarget = false, |
||
| 726 | unsigned TargetFlags = 0); |
||
| 727 | SDValue getTargetJumpTable(int JTI, EVT VT, unsigned TargetFlags = 0) { |
||
| 728 | return getJumpTable(JTI, VT, true, TargetFlags); |
||
| 729 | } |
||
| 730 | SDValue getConstantPool(const Constant *C, EVT VT, |
||
| 731 | MaybeAlign Align = std::nullopt, int Offs = 0, |
||
| 732 | bool isT = false, unsigned TargetFlags = 0); |
||
| 733 | SDValue getTargetConstantPool(const Constant *C, EVT VT, |
||
| 734 | MaybeAlign Align = std::nullopt, int Offset = 0, |
||
| 735 | unsigned TargetFlags = 0) { |
||
| 736 | return getConstantPool(C, VT, Align, Offset, true, TargetFlags); |
||
| 737 | } |
||
| 738 | SDValue getConstantPool(MachineConstantPoolValue *C, EVT VT, |
||
| 739 | MaybeAlign Align = std::nullopt, int Offs = 0, |
||
| 740 | bool isT = false, unsigned TargetFlags = 0); |
||
| 741 | SDValue getTargetConstantPool(MachineConstantPoolValue *C, EVT VT, |
||
| 742 | MaybeAlign Align = std::nullopt, int Offset = 0, |
||
| 743 | unsigned TargetFlags = 0) { |
||
| 744 | return getConstantPool(C, VT, Align, Offset, true, TargetFlags); |
||
| 745 | } |
||
| 746 | SDValue getTargetIndex(int Index, EVT VT, int64_t Offset = 0, |
||
| 747 | unsigned TargetFlags = 0); |
||
| 748 | // When generating a branch to a BB, we don't in general know enough |
||
| 749 | // to provide debug info for the BB at that time, so keep this one around. |
||
| 750 | SDValue getBasicBlock(MachineBasicBlock *MBB); |
||
| 751 | SDValue getExternalSymbol(const char *Sym, EVT VT); |
||
| 752 | SDValue getTargetExternalSymbol(const char *Sym, EVT VT, |
||
| 753 | unsigned TargetFlags = 0); |
||
| 754 | SDValue getMCSymbol(MCSymbol *Sym, EVT VT); |
||
| 755 | |||
| 756 | SDValue getValueType(EVT); |
||
| 757 | SDValue getRegister(unsigned Reg, EVT VT); |
||
| 758 | SDValue getRegisterMask(const uint32_t *RegMask); |
||
| 759 | SDValue getEHLabel(const SDLoc &dl, SDValue Root, MCSymbol *Label); |
||
| 760 | SDValue getLabelNode(unsigned Opcode, const SDLoc &dl, SDValue Root, |
||
| 761 | MCSymbol *Label); |
||
| 762 | SDValue getBlockAddress(const BlockAddress *BA, EVT VT, int64_t Offset = 0, |
||
| 763 | bool isTarget = false, unsigned TargetFlags = 0); |
||
| 764 | SDValue getTargetBlockAddress(const BlockAddress *BA, EVT VT, |
||
| 765 | int64_t Offset = 0, unsigned TargetFlags = 0) { |
||
| 766 | return getBlockAddress(BA, VT, Offset, true, TargetFlags); |
||
| 767 | } |
||
| 768 | |||
| 769 | SDValue getCopyToReg(SDValue Chain, const SDLoc &dl, unsigned Reg, |
||
| 770 | SDValue N) { |
||
| 771 | return getNode(ISD::CopyToReg, dl, MVT::Other, Chain, |
||
| 772 | getRegister(Reg, N.getValueType()), N); |
||
| 773 | } |
||
| 774 | |||
| 775 | // This version of the getCopyToReg method takes an extra operand, which |
||
| 776 | // indicates that there is potentially an incoming glue value (if Glue is not |
||
| 777 | // null) and that there should be a glue result. |
||
| 778 | SDValue getCopyToReg(SDValue Chain, const SDLoc &dl, unsigned Reg, SDValue N, |
||
| 779 | SDValue Glue) { |
||
| 780 | SDVTList VTs = getVTList(MVT::Other, MVT::Glue); |
||
| 781 | SDValue Ops[] = { Chain, getRegister(Reg, N.getValueType()), N, Glue }; |
||
| 782 | return getNode(ISD::CopyToReg, dl, VTs, |
||
| 783 | ArrayRef(Ops, Glue.getNode() ? 4 : 3)); |
||
| 784 | } |
||
| 785 | |||
| 786 | // Similar to last getCopyToReg() except parameter Reg is a SDValue |
||
| 787 | SDValue getCopyToReg(SDValue Chain, const SDLoc &dl, SDValue Reg, SDValue N, |
||
| 788 | SDValue Glue) { |
||
| 789 | SDVTList VTs = getVTList(MVT::Other, MVT::Glue); |
||
| 790 | SDValue Ops[] = { Chain, Reg, N, Glue }; |
||
| 791 | return getNode(ISD::CopyToReg, dl, VTs, |
||
| 792 | ArrayRef(Ops, Glue.getNode() ? 4 : 3)); |
||
| 793 | } |
||
| 794 | |||
| 795 | SDValue getCopyFromReg(SDValue Chain, const SDLoc &dl, unsigned Reg, EVT VT) { |
||
| 796 | SDVTList VTs = getVTList(VT, MVT::Other); |
||
| 797 | SDValue Ops[] = { Chain, getRegister(Reg, VT) }; |
||
| 798 | return getNode(ISD::CopyFromReg, dl, VTs, Ops); |
||
| 799 | } |
||
| 800 | |||
| 801 | // This version of the getCopyFromReg method takes an extra operand, which |
||
| 802 | // indicates that there is potentially an incoming glue value (if Glue is not |
||
| 803 | // null) and that there should be a glue result. |
||
| 804 | SDValue getCopyFromReg(SDValue Chain, const SDLoc &dl, unsigned Reg, EVT VT, |
||
| 805 | SDValue Glue) { |
||
| 806 | SDVTList VTs = getVTList(VT, MVT::Other, MVT::Glue); |
||
| 807 | SDValue Ops[] = { Chain, getRegister(Reg, VT), Glue }; |
||
| 808 | return getNode(ISD::CopyFromReg, dl, VTs, |
||
| 809 | ArrayRef(Ops, Glue.getNode() ? 3 : 2)); |
||
| 810 | } |
||
| 811 | |||
| 812 | SDValue getCondCode(ISD::CondCode Cond); |
||
| 813 | |||
| 814 | /// Return an ISD::VECTOR_SHUFFLE node. The number of elements in VT, |
||
| 815 | /// which must be a vector type, must match the number of mask elements |
||
| 816 | /// NumElts. An integer mask element equal to -1 is treated as undefined. |
||
| 817 | SDValue getVectorShuffle(EVT VT, const SDLoc &dl, SDValue N1, SDValue N2, |
||
| 818 | ArrayRef<int> Mask); |
||
| 819 | |||
| 820 | /// Return an ISD::BUILD_VECTOR node. The number of elements in VT, |
||
| 821 | /// which must be a vector type, must match the number of operands in Ops. |
||
| 822 | /// The operands must have the same type as (or, for integers, a type wider |
||
| 823 | /// than) VT's element type. |
||
| 824 | SDValue getBuildVector(EVT VT, const SDLoc &DL, ArrayRef<SDValue> Ops) { |
||
| 825 | // VerifySDNode (via InsertNode) checks BUILD_VECTOR later. |
||
| 826 | return getNode(ISD::BUILD_VECTOR, DL, VT, Ops); |
||
| 827 | } |
||
| 828 | |||
| 829 | /// Return an ISD::BUILD_VECTOR node. The number of elements in VT, |
||
| 830 | /// which must be a vector type, must match the number of operands in Ops. |
||
| 831 | /// The operands must have the same type as (or, for integers, a type wider |
||
| 832 | /// than) VT's element type. |
||
| 833 | SDValue getBuildVector(EVT VT, const SDLoc &DL, ArrayRef<SDUse> Ops) { |
||
| 834 | // VerifySDNode (via InsertNode) checks BUILD_VECTOR later. |
||
| 835 | return getNode(ISD::BUILD_VECTOR, DL, VT, Ops); |
||
| 836 | } |
||
| 837 | |||
| 838 | /// Return a splat ISD::BUILD_VECTOR node, consisting of Op splatted to all |
||
| 839 | /// elements. VT must be a vector type. Op's type must be the same as (or, |
||
| 840 | /// for integers, a type wider than) VT's element type. |
||
| 841 | SDValue getSplatBuildVector(EVT VT, const SDLoc &DL, SDValue Op) { |
||
| 842 | // VerifySDNode (via InsertNode) checks BUILD_VECTOR later. |
||
| 843 | if (Op.getOpcode() == ISD::UNDEF) { |
||
| 844 | assert((VT.getVectorElementType() == Op.getValueType() || |
||
| 845 | (VT.isInteger() && |
||
| 846 | VT.getVectorElementType().bitsLE(Op.getValueType()))) && |
||
| 847 | "A splatted value must have a width equal or (for integers) " |
||
| 848 | "greater than the vector element type!"); |
||
| 849 | return getNode(ISD::UNDEF, SDLoc(), VT); |
||
| 850 | } |
||
| 851 | |||
| 852 | SmallVector<SDValue, 16> Ops(VT.getVectorNumElements(), Op); |
||
| 853 | return getNode(ISD::BUILD_VECTOR, DL, VT, Ops); |
||
| 854 | } |
||
| 855 | |||
| 856 | // Return a splat ISD::SPLAT_VECTOR node, consisting of Op splatted to all |
||
| 857 | // elements. |
||
| 858 | SDValue getSplatVector(EVT VT, const SDLoc &DL, SDValue Op) { |
||
| 859 | if (Op.getOpcode() == ISD::UNDEF) { |
||
| 860 | assert((VT.getVectorElementType() == Op.getValueType() || |
||
| 861 | (VT.isInteger() && |
||
| 862 | VT.getVectorElementType().bitsLE(Op.getValueType()))) && |
||
| 863 | "A splatted value must have a width equal or (for integers) " |
||
| 864 | "greater than the vector element type!"); |
||
| 865 | return getNode(ISD::UNDEF, SDLoc(), VT); |
||
| 866 | } |
||
| 867 | return getNode(ISD::SPLAT_VECTOR, DL, VT, Op); |
||
| 868 | } |
||
| 869 | |||
| 870 | /// Returns a node representing a splat of one value into all lanes |
||
| 871 | /// of the provided vector type. This is a utility which returns |
||
| 872 | /// either a BUILD_VECTOR or SPLAT_VECTOR depending on the |
||
| 873 | /// scalability of the desired vector type. |
||
| 874 | SDValue getSplat(EVT VT, const SDLoc &DL, SDValue Op) { |
||
| 875 | assert(VT.isVector() && "Can't splat to non-vector type"); |
||
| 876 | return VT.isScalableVector() ? |
||
| 877 | getSplatVector(VT, DL, Op) : getSplatBuildVector(VT, DL, Op); |
||
| 878 | } |
||
| 879 | |||
| 880 | /// Returns a vector of type ResVT whose elements contain the linear sequence |
||
| 881 | /// <0, Step, Step * 2, Step * 3, ...> |
||
| 882 | SDValue getStepVector(const SDLoc &DL, EVT ResVT, APInt StepVal); |
||
| 883 | |||
| 884 | /// Returns a vector of type ResVT whose elements contain the linear sequence |
||
| 885 | /// <0, 1, 2, 3, ...> |
||
| 886 | SDValue getStepVector(const SDLoc &DL, EVT ResVT); |
||
| 887 | |||
| 888 | /// Returns an ISD::VECTOR_SHUFFLE node semantically equivalent to |
||
| 889 | /// the shuffle node in input but with swapped operands. |
||
| 890 | /// |
||
| 891 | /// Example: shuffle A, B, <0,5,2,7> -> shuffle B, A, <4,1,6,3> |
||
| 892 | SDValue getCommutedVectorShuffle(const ShuffleVectorSDNode &SV); |
||
| 893 | |||
| 894 | /// Convert Op, which must be of float type, to the |
||
| 895 | /// float type VT, by either extending or rounding (by truncation). |
||
| 896 | SDValue getFPExtendOrRound(SDValue Op, const SDLoc &DL, EVT VT); |
||
| 897 | |||
| 898 | /// Convert Op, which must be a STRICT operation of float type, to the |
||
| 899 | /// float type VT, by either extending or rounding (by truncation). |
||
| 900 | std::pair<SDValue, SDValue> |
||
| 901 | getStrictFPExtendOrRound(SDValue Op, SDValue Chain, const SDLoc &DL, EVT VT); |
||
| 902 | |||
| 903 | /// Convert *_EXTEND_VECTOR_INREG to *_EXTEND opcode. |
||
| 904 | static unsigned getOpcode_EXTEND(unsigned Opcode) { |
||
| 905 | switch (Opcode) { |
||
| 906 | case ISD::ANY_EXTEND: |
||
| 907 | case ISD::ANY_EXTEND_VECTOR_INREG: |
||
| 908 | return ISD::ANY_EXTEND; |
||
| 909 | case ISD::ZERO_EXTEND: |
||
| 910 | case ISD::ZERO_EXTEND_VECTOR_INREG: |
||
| 911 | return ISD::ZERO_EXTEND; |
||
| 912 | case ISD::SIGN_EXTEND: |
||
| 913 | case ISD::SIGN_EXTEND_VECTOR_INREG: |
||
| 914 | return ISD::SIGN_EXTEND; |
||
| 915 | } |
||
| 916 | llvm_unreachable("Unknown opcode"); |
||
| 917 | } |
||
| 918 | |||
| 919 | /// Convert *_EXTEND to *_EXTEND_VECTOR_INREG opcode. |
||
| 920 | static unsigned getOpcode_EXTEND_VECTOR_INREG(unsigned Opcode) { |
||
| 921 | switch (Opcode) { |
||
| 922 | case ISD::ANY_EXTEND: |
||
| 923 | case ISD::ANY_EXTEND_VECTOR_INREG: |
||
| 924 | return ISD::ANY_EXTEND_VECTOR_INREG; |
||
| 925 | case ISD::ZERO_EXTEND: |
||
| 926 | case ISD::ZERO_EXTEND_VECTOR_INREG: |
||
| 927 | return ISD::ZERO_EXTEND_VECTOR_INREG; |
||
| 928 | case ISD::SIGN_EXTEND: |
||
| 929 | case ISD::SIGN_EXTEND_VECTOR_INREG: |
||
| 930 | return ISD::SIGN_EXTEND_VECTOR_INREG; |
||
| 931 | } |
||
| 932 | llvm_unreachable("Unknown opcode"); |
||
| 933 | } |
||
| 934 | |||
| 935 | /// Convert Op, which must be of integer type, to the |
||
| 936 | /// integer type VT, by either any-extending or truncating it. |
||
| 937 | SDValue getAnyExtOrTrunc(SDValue Op, const SDLoc &DL, EVT VT); |
||
| 938 | |||
| 939 | /// Convert Op, which must be of integer type, to the |
||
| 940 | /// integer type VT, by either sign-extending or truncating it. |
||
| 941 | SDValue getSExtOrTrunc(SDValue Op, const SDLoc &DL, EVT VT); |
||
| 942 | |||
| 943 | /// Convert Op, which must be of integer type, to the |
||
| 944 | /// integer type VT, by either zero-extending or truncating it. |
||
| 945 | SDValue getZExtOrTrunc(SDValue Op, const SDLoc &DL, EVT VT); |
||
| 946 | |||
| 947 | /// Return the expression required to zero extend the Op |
||
| 948 | /// value assuming it was the smaller SrcTy value. |
||
| 949 | SDValue getZeroExtendInReg(SDValue Op, const SDLoc &DL, EVT VT); |
||
| 950 | |||
| 951 | /// Convert Op, which must be of integer type, to the integer type VT, by |
||
| 952 | /// either truncating it or performing either zero or sign extension as |
||
| 953 | /// appropriate extension for the pointer's semantics. |
||
| 954 | SDValue getPtrExtOrTrunc(SDValue Op, const SDLoc &DL, EVT VT); |
||
| 955 | |||
| 956 | /// Return the expression required to extend the Op as a pointer value |
||
| 957 | /// assuming it was the smaller SrcTy value. This may be either a zero extend |
||
| 958 | /// or a sign extend. |
||
| 959 | SDValue getPtrExtendInReg(SDValue Op, const SDLoc &DL, EVT VT); |
||
| 960 | |||
| 961 | /// Convert Op, which must be of integer type, to the integer type VT, |
||
| 962 | /// by using an extension appropriate for the target's |
||
| 963 | /// BooleanContent for type OpVT or truncating it. |
||
| 964 | SDValue getBoolExtOrTrunc(SDValue Op, const SDLoc &SL, EVT VT, EVT OpVT); |
||
| 965 | |||
| 966 | /// Create negative operation as (SUB 0, Val). |
||
| 967 | SDValue getNegative(SDValue Val, const SDLoc &DL, EVT VT); |
||
| 968 | |||
| 969 | /// Create a bitwise NOT operation as (XOR Val, -1). |
||
| 970 | SDValue getNOT(const SDLoc &DL, SDValue Val, EVT VT); |
||
| 971 | |||
| 972 | /// Create a logical NOT operation as (XOR Val, BooleanOne). |
||
| 973 | SDValue getLogicalNOT(const SDLoc &DL, SDValue Val, EVT VT); |
||
| 974 | |||
| 975 | /// Create a vector-predicated logical NOT operation as (VP_XOR Val, |
||
| 976 | /// BooleanOne, Mask, EVL). |
||
| 977 | SDValue getVPLogicalNOT(const SDLoc &DL, SDValue Val, SDValue Mask, |
||
| 978 | SDValue EVL, EVT VT); |
||
| 979 | |||
| 980 | /// Convert a vector-predicated Op, which must be an integer vector, to the |
||
| 981 | /// vector-type VT, by performing either vector-predicated zext or truncating |
||
| 982 | /// it. The Op will be returned as-is if Op and VT are vectors containing |
||
| 983 | /// integer with same width. |
||
| 984 | SDValue getVPZExtOrTrunc(const SDLoc &DL, EVT VT, SDValue Op, SDValue Mask, |
||
| 985 | SDValue EVL); |
||
| 986 | |||
| 987 | /// Convert a vector-predicated Op, which must be of integer type, to the |
||
| 988 | /// vector-type integer type VT, by either truncating it or performing either |
||
| 989 | /// vector-predicated zero or sign extension as appropriate extension for the |
||
| 990 | /// pointer's semantics. This function just redirects to getVPZExtOrTrunc |
||
| 991 | /// right now. |
||
| 992 | SDValue getVPPtrExtOrTrunc(const SDLoc &DL, EVT VT, SDValue Op, SDValue Mask, |
||
| 993 | SDValue EVL); |
||
| 994 | |||
| 995 | /// Returns sum of the base pointer and offset. |
||
| 996 | /// Unlike getObjectPtrOffset this does not set NoUnsignedWrap by default. |
||
| 997 | SDValue getMemBasePlusOffset(SDValue Base, TypeSize Offset, const SDLoc &DL, |
||
| 998 | const SDNodeFlags Flags = SDNodeFlags()); |
||
| 999 | SDValue getMemBasePlusOffset(SDValue Base, SDValue Offset, const SDLoc &DL, |
||
| 1000 | const SDNodeFlags Flags = SDNodeFlags()); |
||
| 1001 | |||
| 1002 | /// Create an add instruction with appropriate flags when used for |
||
| 1003 | /// addressing some offset of an object. i.e. if a load is split into multiple |
||
| 1004 | /// components, create an add nuw from the base pointer to the offset. |
||
| 1005 | SDValue getObjectPtrOffset(const SDLoc &SL, SDValue Ptr, TypeSize Offset) { |
||
| 1006 | SDNodeFlags Flags; |
||
| 1007 | Flags.setNoUnsignedWrap(true); |
||
| 1008 | return getMemBasePlusOffset(Ptr, Offset, SL, Flags); |
||
| 1009 | } |
||
| 1010 | |||
| 1011 | SDValue getObjectPtrOffset(const SDLoc &SL, SDValue Ptr, SDValue Offset) { |
||
| 1012 | // The object itself can't wrap around the address space, so it shouldn't be |
||
| 1013 | // possible for the adds of the offsets to the split parts to overflow. |
||
| 1014 | SDNodeFlags Flags; |
||
| 1015 | Flags.setNoUnsignedWrap(true); |
||
| 1016 | return getMemBasePlusOffset(Ptr, Offset, SL, Flags); |
||
| 1017 | } |
||
| 1018 | |||
| 1019 | /// Return a new CALLSEQ_START node, that starts new call frame, in which |
||
| 1020 | /// InSize bytes are set up inside CALLSEQ_START..CALLSEQ_END sequence and |
||
| 1021 | /// OutSize specifies part of the frame set up prior to the sequence. |
||
| 1022 | SDValue getCALLSEQ_START(SDValue Chain, uint64_t InSize, uint64_t OutSize, |
||
| 1023 | const SDLoc &DL) { |
||
| 1024 | SDVTList VTs = getVTList(MVT::Other, MVT::Glue); |
||
| 1025 | SDValue Ops[] = { Chain, |
||
| 1026 | getIntPtrConstant(InSize, DL, true), |
||
| 1027 | getIntPtrConstant(OutSize, DL, true) }; |
||
| 1028 | return getNode(ISD::CALLSEQ_START, DL, VTs, Ops); |
||
| 1029 | } |
||
| 1030 | |||
| 1031 | /// Return a new CALLSEQ_END node, which always must have a |
||
| 1032 | /// glue result (to ensure it's not CSE'd). |
||
| 1033 | /// CALLSEQ_END does not have a useful SDLoc. |
||
| 1034 | SDValue getCALLSEQ_END(SDValue Chain, SDValue Op1, SDValue Op2, |
||
| 1035 | SDValue InGlue, const SDLoc &DL) { |
||
| 1036 | SDVTList NodeTys = getVTList(MVT::Other, MVT::Glue); |
||
| 1037 | SmallVector<SDValue, 4> Ops; |
||
| 1038 | Ops.push_back(Chain); |
||
| 1039 | Ops.push_back(Op1); |
||
| 1040 | Ops.push_back(Op2); |
||
| 1041 | if (InGlue.getNode()) |
||
| 1042 | Ops.push_back(InGlue); |
||
| 1043 | return getNode(ISD::CALLSEQ_END, DL, NodeTys, Ops); |
||
| 1044 | } |
||
| 1045 | |||
| 1046 | SDValue getCALLSEQ_END(SDValue Chain, uint64_t Size1, uint64_t Size2, |
||
| 1047 | SDValue Glue, const SDLoc &DL) { |
||
| 1048 | return getCALLSEQ_END( |
||
| 1049 | Chain, getIntPtrConstant(Size1, DL, /*isTarget=*/true), |
||
| 1050 | getIntPtrConstant(Size2, DL, /*isTarget=*/true), Glue, DL); |
||
| 1051 | } |
||
| 1052 | |||
| 1053 | /// Return true if the result of this operation is always undefined. |
||
| 1054 | bool isUndef(unsigned Opcode, ArrayRef<SDValue> Ops); |
||
| 1055 | |||
| 1056 | /// Return an UNDEF node. UNDEF does not have a useful SDLoc. |
||
| 1057 | SDValue getUNDEF(EVT VT) { |
||
| 1058 | return getNode(ISD::UNDEF, SDLoc(), VT); |
||
| 1059 | } |
||
| 1060 | |||
| 1061 | /// Return a node that represents the runtime scaling 'MulImm * RuntimeVL'. |
||
| 1062 | SDValue getVScale(const SDLoc &DL, EVT VT, APInt MulImm) { |
||
| 1063 | assert(MulImm.getMinSignedBits() <= VT.getSizeInBits() && |
||
| 1064 | "Immediate does not fit VT"); |
||
| 1065 | return getNode(ISD::VSCALE, DL, VT, |
||
| 1066 | getConstant(MulImm.sextOrTrunc(VT.getSizeInBits()), DL, VT)); |
||
| 1067 | } |
||
| 1068 | |||
| 1069 | /// Return a GLOBAL_OFFSET_TABLE node. This does not have a useful SDLoc. |
||
| 1070 | SDValue getGLOBAL_OFFSET_TABLE(EVT VT) { |
||
| 1071 | return getNode(ISD::GLOBAL_OFFSET_TABLE, SDLoc(), VT); |
||
| 1072 | } |
||
| 1073 | |||
| 1074 | /// Gets or creates the specified node. |
||
| 1075 | /// |
||
| 1076 | SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, |
||
| 1077 | ArrayRef<SDUse> Ops); |
||
| 1078 | SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, |
||
| 1079 | ArrayRef<SDValue> Ops, const SDNodeFlags Flags); |
||
| 1080 | SDValue getNode(unsigned Opcode, const SDLoc &DL, ArrayRef<EVT> ResultTys, |
||
| 1081 | ArrayRef<SDValue> Ops); |
||
| 1082 | SDValue getNode(unsigned Opcode, const SDLoc &DL, SDVTList VTList, |
||
| 1083 | ArrayRef<SDValue> Ops, const SDNodeFlags Flags); |
||
| 1084 | |||
| 1085 | // Use flags from current flag inserter. |
||
| 1086 | SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, |
||
| 1087 | ArrayRef<SDValue> Ops); |
||
| 1088 | SDValue getNode(unsigned Opcode, const SDLoc &DL, SDVTList VTList, |
||
| 1089 | ArrayRef<SDValue> Ops); |
||
| 1090 | SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, SDValue Operand); |
||
| 1091 | SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, SDValue N1, |
||
| 1092 | SDValue N2); |
||
| 1093 | SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, SDValue N1, |
||
| 1094 | SDValue N2, SDValue N3); |
||
| 1095 | |||
| 1096 | // Specialize based on number of operands. |
||
| 1097 | SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT); |
||
| 1098 | SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, SDValue Operand, |
||
| 1099 | const SDNodeFlags Flags); |
||
| 1100 | SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, SDValue N1, |
||
| 1101 | SDValue N2, const SDNodeFlags Flags); |
||
| 1102 | SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, SDValue N1, |
||
| 1103 | SDValue N2, SDValue N3, const SDNodeFlags Flags); |
||
| 1104 | SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, SDValue N1, |
||
| 1105 | SDValue N2, SDValue N3, SDValue N4); |
||
| 1106 | SDValue getNode(unsigned Opcode, const SDLoc &DL, EVT VT, SDValue N1, |
||
| 1107 | SDValue N2, SDValue N3, SDValue N4, SDValue N5); |
||
| 1108 | |||
| 1109 | // Specialize again based on number of operands for nodes with a VTList |
||
| 1110 | // rather than a single VT. |
||
| 1111 | SDValue getNode(unsigned Opcode, const SDLoc &DL, SDVTList VTList); |
||
| 1112 | SDValue getNode(unsigned Opcode, const SDLoc &DL, SDVTList VTList, SDValue N); |
||
| 1113 | SDValue getNode(unsigned Opcode, const SDLoc &DL, SDVTList VTList, SDValue N1, |
||
| 1114 | SDValue N2); |
||
| 1115 | SDValue getNode(unsigned Opcode, const SDLoc &DL, SDVTList VTList, SDValue N1, |
||
| 1116 | SDValue N2, SDValue N3); |
||
| 1117 | SDValue getNode(unsigned Opcode, const SDLoc &DL, SDVTList VTList, SDValue N1, |
||
| 1118 | SDValue N2, SDValue N3, SDValue N4); |
||
| 1119 | SDValue getNode(unsigned Opcode, const SDLoc &DL, SDVTList VTList, SDValue N1, |
||
| 1120 | SDValue N2, SDValue N3, SDValue N4, SDValue N5); |
||
| 1121 | |||
| 1122 | /// Compute a TokenFactor to force all the incoming stack arguments to be |
||
| 1123 | /// loaded from the stack. This is used in tail call lowering to protect |
||
| 1124 | /// stack arguments from being clobbered. |
||
| 1125 | SDValue getStackArgumentTokenFactor(SDValue Chain); |
||
| 1126 | |||
| 1127 | SDValue getMemcpy(SDValue Chain, const SDLoc &dl, SDValue Dst, SDValue Src, |
||
| 1128 | SDValue Size, Align Alignment, bool isVol, |
||
| 1129 | bool AlwaysInline, bool isTailCall, |
||
| 1130 | MachinePointerInfo DstPtrInfo, |
||
| 1131 | MachinePointerInfo SrcPtrInfo, |
||
| 1132 | const AAMDNodes &AAInfo = AAMDNodes(), |
||
| 1133 | AAResults *AA = nullptr); |
||
| 1134 | |||
| 1135 | SDValue getMemmove(SDValue Chain, const SDLoc &dl, SDValue Dst, SDValue Src, |
||
| 1136 | SDValue Size, Align Alignment, bool isVol, bool isTailCall, |
||
| 1137 | MachinePointerInfo DstPtrInfo, |
||
| 1138 | MachinePointerInfo SrcPtrInfo, |
||
| 1139 | const AAMDNodes &AAInfo = AAMDNodes(), |
||
| 1140 | AAResults *AA = nullptr); |
||
| 1141 | |||
| 1142 | SDValue getMemset(SDValue Chain, const SDLoc &dl, SDValue Dst, SDValue Src, |
||
| 1143 | SDValue Size, Align Alignment, bool isVol, |
||
| 1144 | bool AlwaysInline, bool isTailCall, |
||
| 1145 | MachinePointerInfo DstPtrInfo, |
||
| 1146 | const AAMDNodes &AAInfo = AAMDNodes()); |
||
| 1147 | |||
| 1148 | SDValue getAtomicMemcpy(SDValue Chain, const SDLoc &dl, SDValue Dst, |
||
| 1149 | SDValue Src, SDValue Size, Type *SizeTy, |
||
| 1150 | unsigned ElemSz, bool isTailCall, |
||
| 1151 | MachinePointerInfo DstPtrInfo, |
||
| 1152 | MachinePointerInfo SrcPtrInfo); |
||
| 1153 | |||
| 1154 | SDValue getAtomicMemmove(SDValue Chain, const SDLoc &dl, SDValue Dst, |
||
| 1155 | SDValue Src, SDValue Size, Type *SizeTy, |
||
| 1156 | unsigned ElemSz, bool isTailCall, |
||
| 1157 | MachinePointerInfo DstPtrInfo, |
||
| 1158 | MachinePointerInfo SrcPtrInfo); |
||
| 1159 | |||
| 1160 | SDValue getAtomicMemset(SDValue Chain, const SDLoc &dl, SDValue Dst, |
||
| 1161 | SDValue Value, SDValue Size, Type *SizeTy, |
||
| 1162 | unsigned ElemSz, bool isTailCall, |
||
| 1163 | MachinePointerInfo DstPtrInfo); |
||
| 1164 | |||
| 1165 | /// Helper function to make it easier to build SetCC's if you just have an |
||
| 1166 | /// ISD::CondCode instead of an SDValue. |
||
| 1167 | SDValue getSetCC(const SDLoc &DL, EVT VT, SDValue LHS, SDValue RHS, |
||
| 1168 | ISD::CondCode Cond, SDValue Chain = SDValue(), |
||
| 1169 | bool IsSignaling = false) { |
||
| 1170 | assert(LHS.getValueType().isVector() == RHS.getValueType().isVector() && |
||
| 1171 | "Vector/scalar operand type mismatch for setcc"); |
||
| 1172 | assert(LHS.getValueType().isVector() == VT.isVector() && |
||
| 1173 | "Vector/scalar result type mismatch for setcc"); |
||
| 1174 | assert(Cond != ISD::SETCC_INVALID && |
||
| 1175 | "Cannot create a setCC of an invalid node."); |
||
| 1176 | if (Chain) |
||
| 1177 | return getNode(IsSignaling ? ISD::STRICT_FSETCCS : ISD::STRICT_FSETCC, DL, |
||
| 1178 | {VT, MVT::Other}, {Chain, LHS, RHS, getCondCode(Cond)}); |
||
| 1179 | return getNode(ISD::SETCC, DL, VT, LHS, RHS, getCondCode(Cond)); |
||
| 1180 | } |
||
| 1181 | |||
| 1182 | /// Helper function to make it easier to build VP_SETCCs if you just have an |
||
| 1183 | /// ISD::CondCode instead of an SDValue. |
||
| 1184 | SDValue getSetCCVP(const SDLoc &DL, EVT VT, SDValue LHS, SDValue RHS, |
||
| 1185 | ISD::CondCode Cond, SDValue Mask, SDValue EVL) { |
||
| 1186 | assert(LHS.getValueType().isVector() && RHS.getValueType().isVector() && |
||
| 1187 | "Cannot compare scalars"); |
||
| 1188 | assert(Cond != ISD::SETCC_INVALID && |
||
| 1189 | "Cannot create a setCC of an invalid node."); |
||
| 1190 | return getNode(ISD::VP_SETCC, DL, VT, LHS, RHS, getCondCode(Cond), Mask, |
||
| 1191 | EVL); |
||
| 1192 | } |
||
| 1193 | |||
| 1194 | /// Helper function to make it easier to build Select's if you just have |
||
| 1195 | /// operands and don't want to check for vector. |
||
| 1196 | SDValue getSelect(const SDLoc &DL, EVT VT, SDValue Cond, SDValue LHS, |
||
| 1197 | SDValue RHS) { |
||
| 1198 | assert(LHS.getValueType() == VT && RHS.getValueType() == VT && |
||
| 1199 | "Cannot use select on differing types"); |
||
| 1200 | auto Opcode = Cond.getValueType().isVector() ? ISD::VSELECT : ISD::SELECT; |
||
| 1201 | return getNode(Opcode, DL, VT, Cond, LHS, RHS); |
||
| 1202 | } |
||
| 1203 | |||
| 1204 | /// Helper function to make it easier to build SelectCC's if you just have an |
||
| 1205 | /// ISD::CondCode instead of an SDValue. |
||
| 1206 | SDValue getSelectCC(const SDLoc &DL, SDValue LHS, SDValue RHS, SDValue True, |
||
| 1207 | SDValue False, ISD::CondCode Cond) { |
||
| 1208 | return getNode(ISD::SELECT_CC, DL, True.getValueType(), LHS, RHS, True, |
||
| 1209 | False, getCondCode(Cond)); |
||
| 1210 | } |
||
| 1211 | |||
| 1212 | /// Try to simplify a select/vselect into 1 of its operands or a constant. |
||
| 1213 | SDValue simplifySelect(SDValue Cond, SDValue TVal, SDValue FVal); |
||
| 1214 | |||
| 1215 | /// Try to simplify a shift into 1 of its operands or a constant. |
||
| 1216 | SDValue simplifyShift(SDValue X, SDValue Y); |
||
| 1217 | |||
| 1218 | /// Try to simplify a floating-point binary operation into 1 of its operands |
||
| 1219 | /// or a constant. |
||
| 1220 | SDValue simplifyFPBinop(unsigned Opcode, SDValue X, SDValue Y, |
||
| 1221 | SDNodeFlags Flags); |
||
| 1222 | |||
| 1223 | /// VAArg produces a result and token chain, and takes a pointer |
||
| 1224 | /// and a source value as input. |
||
| 1225 | SDValue getVAArg(EVT VT, const SDLoc &dl, SDValue Chain, SDValue Ptr, |
||
| 1226 | SDValue SV, unsigned Align); |
||
| 1227 | |||
| 1228 | /// Gets a node for an atomic cmpxchg op. There are two |
||
| 1229 | /// valid Opcodes. ISD::ATOMIC_CMO_SWAP produces the value loaded and a |
||
| 1230 | /// chain result. ISD::ATOMIC_CMP_SWAP_WITH_SUCCESS produces the value loaded, |
||
| 1231 | /// a success flag (initially i1), and a chain. |
||
| 1232 | SDValue getAtomicCmpSwap(unsigned Opcode, const SDLoc &dl, EVT MemVT, |
||
| 1233 | SDVTList VTs, SDValue Chain, SDValue Ptr, |
||
| 1234 | SDValue Cmp, SDValue Swp, MachineMemOperand *MMO); |
||
| 1235 | |||
| 1236 | /// Gets a node for an atomic op, produces result (if relevant) |
||
| 1237 | /// and chain and takes 2 operands. |
||
| 1238 | SDValue getAtomic(unsigned Opcode, const SDLoc &dl, EVT MemVT, SDValue Chain, |
||
| 1239 | SDValue Ptr, SDValue Val, MachineMemOperand *MMO); |
||
| 1240 | |||
| 1241 | /// Gets a node for an atomic op, produces result and chain and |
||
| 1242 | /// takes 1 operand. |
||
| 1243 | SDValue getAtomic(unsigned Opcode, const SDLoc &dl, EVT MemVT, EVT VT, |
||
| 1244 | SDValue Chain, SDValue Ptr, MachineMemOperand *MMO); |
||
| 1245 | |||
| 1246 | /// Gets a node for an atomic op, produces result and chain and takes N |
||
| 1247 | /// operands. |
||
| 1248 | SDValue getAtomic(unsigned Opcode, const SDLoc &dl, EVT MemVT, |
||
| 1249 | SDVTList VTList, ArrayRef<SDValue> Ops, |
||
| 1250 | MachineMemOperand *MMO); |
||
| 1251 | |||
| 1252 | /// Creates a MemIntrinsicNode that may produce a |
||
| 1253 | /// result and takes a list of operands. Opcode may be INTRINSIC_VOID, |
||
| 1254 | /// INTRINSIC_W_CHAIN, or a target-specific opcode with a value not |
||
| 1255 | /// less than FIRST_TARGET_MEMORY_OPCODE. |
||
| 1256 | SDValue getMemIntrinsicNode( |
||
| 1257 | unsigned Opcode, const SDLoc &dl, SDVTList VTList, ArrayRef<SDValue> Ops, |
||
| 1258 | EVT MemVT, MachinePointerInfo PtrInfo, Align Alignment, |
||
| 1259 | MachineMemOperand::Flags Flags = MachineMemOperand::MOLoad | |
||
| 1260 | MachineMemOperand::MOStore, |
||
| 1261 | uint64_t Size = 0, const AAMDNodes &AAInfo = AAMDNodes()); |
||
| 1262 | |||
| 1263 | inline SDValue getMemIntrinsicNode( |
||
| 1264 | unsigned Opcode, const SDLoc &dl, SDVTList VTList, ArrayRef<SDValue> Ops, |
||
| 1265 | EVT MemVT, MachinePointerInfo PtrInfo, |
||
| 1266 | MaybeAlign Alignment = std::nullopt, |
||
| 1267 | MachineMemOperand::Flags Flags = MachineMemOperand::MOLoad | |
||
| 1268 | MachineMemOperand::MOStore, |
||
| 1269 | uint64_t Size = 0, const AAMDNodes &AAInfo = AAMDNodes()) { |
||
| 1270 | // Ensure that codegen never sees alignment 0 |
||
| 1271 | return getMemIntrinsicNode(Opcode, dl, VTList, Ops, MemVT, PtrInfo, |
||
| 1272 | Alignment.value_or(getEVTAlign(MemVT)), Flags, |
||
| 1273 | Size, AAInfo); |
||
| 1274 | } |
||
| 1275 | |||
| 1276 | SDValue getMemIntrinsicNode(unsigned Opcode, const SDLoc &dl, SDVTList VTList, |
||
| 1277 | ArrayRef<SDValue> Ops, EVT MemVT, |
||
| 1278 | MachineMemOperand *MMO); |
||
| 1279 | |||
| 1280 | /// Creates a LifetimeSDNode that starts (`IsStart==true`) or ends |
||
| 1281 | /// (`IsStart==false`) the lifetime of the portion of `FrameIndex` between |
||
| 1282 | /// offsets `Offset` and `Offset + Size`. |
||
| 1283 | SDValue getLifetimeNode(bool IsStart, const SDLoc &dl, SDValue Chain, |
||
| 1284 | int FrameIndex, int64_t Size, int64_t Offset = -1); |
||
| 1285 | |||
| 1286 | /// Creates a PseudoProbeSDNode with function GUID `Guid` and |
||
| 1287 | /// the index of the block `Index` it is probing, as well as the attributes |
||
| 1288 | /// `attr` of the probe. |
||
| 1289 | SDValue getPseudoProbeNode(const SDLoc &Dl, SDValue Chain, uint64_t Guid, |
||
| 1290 | uint64_t Index, uint32_t Attr); |
||
| 1291 | |||
| 1292 | /// Create a MERGE_VALUES node from the given operands. |
||
| 1293 | SDValue getMergeValues(ArrayRef<SDValue> Ops, const SDLoc &dl); |
||
| 1294 | |||
| 1295 | /// Loads are not normal binary operators: their result type is not |
||
| 1296 | /// determined by their operands, and they produce a value AND a token chain. |
||
| 1297 | /// |
||
| 1298 | /// This function will set the MOLoad flag on MMOFlags, but you can set it if |
||
| 1299 | /// you want. The MOStore flag must not be set. |
||
| 1300 | SDValue getLoad(EVT VT, const SDLoc &dl, SDValue Chain, SDValue Ptr, |
||
| 1301 | MachinePointerInfo PtrInfo, |
||
| 1302 | MaybeAlign Alignment = MaybeAlign(), |
||
| 1303 | MachineMemOperand::Flags MMOFlags = MachineMemOperand::MONone, |
||
| 1304 | const AAMDNodes &AAInfo = AAMDNodes(), |
||
| 1305 | const MDNode *Ranges = nullptr); |
||
| 1306 | /// FIXME: Remove once transition to Align is over. |
||
| 1307 | LLVM_DEPRECATED("Use the getLoad function that takes a MaybeAlign instead", |
||
| 1308 | "") |
||
| 1309 | inline SDValue |
||
| 1310 | getLoad(EVT VT, const SDLoc &dl, SDValue Chain, SDValue Ptr, |
||
| 1311 | MachinePointerInfo PtrInfo, unsigned Alignment, |
||
| 1312 | MachineMemOperand::Flags MMOFlags = MachineMemOperand::MONone, |
||
| 1313 | const AAMDNodes &AAInfo = AAMDNodes(), |
||
| 1314 | const MDNode *Ranges = nullptr) { |
||
| 1315 | return getLoad(VT, dl, Chain, Ptr, PtrInfo, MaybeAlign(Alignment), MMOFlags, |
||
| 1316 | AAInfo, Ranges); |
||
| 1317 | } |
||
| 1318 | SDValue getLoad(EVT VT, const SDLoc &dl, SDValue Chain, SDValue Ptr, |
||
| 1319 | MachineMemOperand *MMO); |
||
| 1320 | SDValue |
||
| 1321 | getExtLoad(ISD::LoadExtType ExtType, const SDLoc &dl, EVT VT, SDValue Chain, |
||
| 1322 | SDValue Ptr, MachinePointerInfo PtrInfo, EVT MemVT, |
||
| 1323 | MaybeAlign Alignment = MaybeAlign(), |
||
| 1324 | MachineMemOperand::Flags MMOFlags = MachineMemOperand::MONone, |
||
| 1325 | const AAMDNodes &AAInfo = AAMDNodes()); |
||
| 1326 | SDValue getExtLoad(ISD::LoadExtType ExtType, const SDLoc &dl, EVT VT, |
||
| 1327 | SDValue Chain, SDValue Ptr, EVT MemVT, |
||
| 1328 | MachineMemOperand *MMO); |
||
| 1329 | SDValue getIndexedLoad(SDValue OrigLoad, const SDLoc &dl, SDValue Base, |
||
| 1330 | SDValue Offset, ISD::MemIndexedMode AM); |
||
| 1331 | SDValue getLoad(ISD::MemIndexedMode AM, ISD::LoadExtType ExtType, EVT VT, |
||
| 1332 | const SDLoc &dl, SDValue Chain, SDValue Ptr, SDValue Offset, |
||
| 1333 | MachinePointerInfo PtrInfo, EVT MemVT, Align Alignment, |
||
| 1334 | MachineMemOperand::Flags MMOFlags = MachineMemOperand::MONone, |
||
| 1335 | const AAMDNodes &AAInfo = AAMDNodes(), |
||
| 1336 | const MDNode *Ranges = nullptr); |
||
| 1337 | inline SDValue getLoad( |
||
| 1338 | ISD::MemIndexedMode AM, ISD::LoadExtType ExtType, EVT VT, const SDLoc &dl, |
||
| 1339 | SDValue Chain, SDValue Ptr, SDValue Offset, MachinePointerInfo PtrInfo, |
||
| 1340 | EVT MemVT, MaybeAlign Alignment = MaybeAlign(), |
||
| 1341 | MachineMemOperand::Flags MMOFlags = MachineMemOperand::MONone, |
||
| 1342 | const AAMDNodes &AAInfo = AAMDNodes(), const MDNode *Ranges = nullptr) { |
||
| 1343 | // Ensures that codegen never sees a None Alignment. |
||
| 1344 | return getLoad(AM, ExtType, VT, dl, Chain, Ptr, Offset, PtrInfo, MemVT, |
||
| 1345 | Alignment.value_or(getEVTAlign(MemVT)), MMOFlags, AAInfo, |
||
| 1346 | Ranges); |
||
| 1347 | } |
||
| 1348 | /// FIXME: Remove once transition to Align is over. |
||
| 1349 | LLVM_DEPRECATED("Use the getLoad function that takes a MaybeAlign instead", |
||
| 1350 | "") |
||
| 1351 | inline SDValue |
||
| 1352 | getLoad(ISD::MemIndexedMode AM, ISD::LoadExtType ExtType, EVT VT, |
||
| 1353 | const SDLoc &dl, SDValue Chain, SDValue Ptr, SDValue Offset, |
||
| 1354 | MachinePointerInfo PtrInfo, EVT MemVT, unsigned Alignment, |
||
| 1355 | MachineMemOperand::Flags MMOFlags = MachineMemOperand::MONone, |
||
| 1356 | const AAMDNodes &AAInfo = AAMDNodes(), |
||
| 1357 | const MDNode *Ranges = nullptr) { |
||
| 1358 | return getLoad(AM, ExtType, VT, dl, Chain, Ptr, Offset, PtrInfo, MemVT, |
||
| 1359 | MaybeAlign(Alignment), MMOFlags, AAInfo, Ranges); |
||
| 1360 | } |
||
| 1361 | SDValue getLoad(ISD::MemIndexedMode AM, ISD::LoadExtType ExtType, EVT VT, |
||
| 1362 | const SDLoc &dl, SDValue Chain, SDValue Ptr, SDValue Offset, |
||
| 1363 | EVT MemVT, MachineMemOperand *MMO); |
||
| 1364 | |||
| 1365 | /// Helper function to build ISD::STORE nodes. |
||
| 1366 | /// |
||
| 1367 | /// This function will set the MOStore flag on MMOFlags, but you can set it if |
||
| 1368 | /// you want. The MOLoad and MOInvariant flags must not be set. |
||
| 1369 | |||
| 1370 | SDValue |
||
| 1371 | getStore(SDValue Chain, const SDLoc &dl, SDValue Val, SDValue Ptr, |
||
| 1372 | MachinePointerInfo PtrInfo, Align Alignment, |
||
| 1373 | MachineMemOperand::Flags MMOFlags = MachineMemOperand::MONone, |
||
| 1374 | const AAMDNodes &AAInfo = AAMDNodes()); |
||
| 1375 | inline SDValue |
||
| 1376 | getStore(SDValue Chain, const SDLoc &dl, SDValue Val, SDValue Ptr, |
||
| 1377 | MachinePointerInfo PtrInfo, MaybeAlign Alignment = MaybeAlign(), |
||
| 1378 | MachineMemOperand::Flags MMOFlags = MachineMemOperand::MONone, |
||
| 1379 | const AAMDNodes &AAInfo = AAMDNodes()) { |
||
| 1380 | return getStore(Chain, dl, Val, Ptr, PtrInfo, |
||
| 1381 | Alignment.value_or(getEVTAlign(Val.getValueType())), |
||
| 1382 | MMOFlags, AAInfo); |
||
| 1383 | } |
||
| 1384 | /// FIXME: Remove once transition to Align is over. |
||
| 1385 | LLVM_DEPRECATED("Use the version that takes a MaybeAlign instead", "") |
||
| 1386 | inline SDValue |
||
| 1387 | getStore(SDValue Chain, const SDLoc &dl, SDValue Val, SDValue Ptr, |
||
| 1388 | MachinePointerInfo PtrInfo, unsigned Alignment, |
||
| 1389 | MachineMemOperand::Flags MMOFlags = MachineMemOperand::MONone, |
||
| 1390 | const AAMDNodes &AAInfo = AAMDNodes()) { |
||
| 1391 | return getStore(Chain, dl, Val, Ptr, PtrInfo, MaybeAlign(Alignment), |
||
| 1392 | MMOFlags, AAInfo); |
||
| 1393 | } |
||
| 1394 | SDValue getStore(SDValue Chain, const SDLoc &dl, SDValue Val, SDValue Ptr, |
||
| 1395 | MachineMemOperand *MMO); |
||
| 1396 | SDValue |
||
| 1397 | getTruncStore(SDValue Chain, const SDLoc &dl, SDValue Val, SDValue Ptr, |
||
| 1398 | MachinePointerInfo PtrInfo, EVT SVT, Align Alignment, |
||
| 1399 | MachineMemOperand::Flags MMOFlags = MachineMemOperand::MONone, |
||
| 1400 | const AAMDNodes &AAInfo = AAMDNodes()); |
||
| 1401 | inline SDValue |
||
| 1402 | getTruncStore(SDValue Chain, const SDLoc &dl, SDValue Val, SDValue Ptr, |
||
| 1403 | MachinePointerInfo PtrInfo, EVT SVT, |
||
| 1404 | MaybeAlign Alignment = MaybeAlign(), |
||
| 1405 | MachineMemOperand::Flags MMOFlags = MachineMemOperand::MONone, |
||
| 1406 | const AAMDNodes &AAInfo = AAMDNodes()) { |
||
| 1407 | return getTruncStore(Chain, dl, Val, Ptr, PtrInfo, SVT, |
||
| 1408 | Alignment.value_or(getEVTAlign(SVT)), MMOFlags, |
||
| 1409 | AAInfo); |
||
| 1410 | } |
||
| 1411 | /// FIXME: Remove once transition to Align is over. |
||
| 1412 | LLVM_DEPRECATED("Use the version that takes a MaybeAlign instead", "") |
||
| 1413 | inline SDValue |
||
| 1414 | getTruncStore(SDValue Chain, const SDLoc &dl, SDValue Val, SDValue Ptr, |
||
| 1415 | MachinePointerInfo PtrInfo, EVT SVT, unsigned Alignment, |
||
| 1416 | MachineMemOperand::Flags MMOFlags = MachineMemOperand::MONone, |
||
| 1417 | const AAMDNodes &AAInfo = AAMDNodes()) { |
||
| 1418 | return getTruncStore(Chain, dl, Val, Ptr, PtrInfo, SVT, |
||
| 1419 | MaybeAlign(Alignment), MMOFlags, AAInfo); |
||
| 1420 | } |
||
| 1421 | SDValue getTruncStore(SDValue Chain, const SDLoc &dl, SDValue Val, |
||
| 1422 | SDValue Ptr, EVT SVT, MachineMemOperand *MMO); |
||
| 1423 | SDValue getIndexedStore(SDValue OrigStore, const SDLoc &dl, SDValue Base, |
||
| 1424 | SDValue Offset, ISD::MemIndexedMode AM); |
||
| 1425 | |||
| 1426 | SDValue getLoadVP(ISD::MemIndexedMode AM, ISD::LoadExtType ExtType, EVT VT, |
||
| 1427 | const SDLoc &dl, SDValue Chain, SDValue Ptr, SDValue Offset, |
||
| 1428 | SDValue Mask, SDValue EVL, MachinePointerInfo PtrInfo, |
||
| 1429 | EVT MemVT, Align Alignment, |
||
| 1430 | MachineMemOperand::Flags MMOFlags, const AAMDNodes &AAInfo, |
||
| 1431 | const MDNode *Ranges = nullptr, bool IsExpanding = false); |
||
| 1432 | inline SDValue |
||
| 1433 | getLoadVP(ISD::MemIndexedMode AM, ISD::LoadExtType ExtType, EVT VT, |
||
| 1434 | const SDLoc &dl, SDValue Chain, SDValue Ptr, SDValue Offset, |
||
| 1435 | SDValue Mask, SDValue EVL, MachinePointerInfo PtrInfo, EVT MemVT, |
||
| 1436 | MaybeAlign Alignment = MaybeAlign(), |
||
| 1437 | MachineMemOperand::Flags MMOFlags = MachineMemOperand::MONone, |
||
| 1438 | const AAMDNodes &AAInfo = AAMDNodes(), |
||
| 1439 | const MDNode *Ranges = nullptr, bool IsExpanding = false) { |
||
| 1440 | // Ensures that codegen never sees a None Alignment. |
||
| 1441 | return getLoadVP(AM, ExtType, VT, dl, Chain, Ptr, Offset, Mask, EVL, |
||
| 1442 | PtrInfo, MemVT, Alignment.value_or(getEVTAlign(MemVT)), |
||
| 1443 | MMOFlags, AAInfo, Ranges, IsExpanding); |
||
| 1444 | } |
||
| 1445 | SDValue getLoadVP(ISD::MemIndexedMode AM, ISD::LoadExtType ExtType, EVT VT, |
||
| 1446 | const SDLoc &dl, SDValue Chain, SDValue Ptr, SDValue Offset, |
||
| 1447 | SDValue Mask, SDValue EVL, EVT MemVT, |
||
| 1448 | MachineMemOperand *MMO, bool IsExpanding = false); |
||
| 1449 | SDValue getLoadVP(EVT VT, const SDLoc &dl, SDValue Chain, SDValue Ptr, |
||
| 1450 | SDValue Mask, SDValue EVL, MachinePointerInfo PtrInfo, |
||
| 1451 | MaybeAlign Alignment, MachineMemOperand::Flags MMOFlags, |
||
| 1452 | const AAMDNodes &AAInfo, const MDNode *Ranges = nullptr, |
||
| 1453 | bool IsExpanding = false); |
||
| 1454 | SDValue getLoadVP(EVT VT, const SDLoc &dl, SDValue Chain, SDValue Ptr, |
||
| 1455 | SDValue Mask, SDValue EVL, MachineMemOperand *MMO, |
||
| 1456 | bool IsExpanding = false); |
||
| 1457 | SDValue getExtLoadVP(ISD::LoadExtType ExtType, const SDLoc &dl, EVT VT, |
||
| 1458 | SDValue Chain, SDValue Ptr, SDValue Mask, SDValue EVL, |
||
| 1459 | MachinePointerInfo PtrInfo, EVT MemVT, |
||
| 1460 | MaybeAlign Alignment, MachineMemOperand::Flags MMOFlags, |
||
| 1461 | const AAMDNodes &AAInfo, bool IsExpanding = false); |
||
| 1462 | SDValue getExtLoadVP(ISD::LoadExtType ExtType, const SDLoc &dl, EVT VT, |
||
| 1463 | SDValue Chain, SDValue Ptr, SDValue Mask, SDValue EVL, |
||
| 1464 | EVT MemVT, MachineMemOperand *MMO, |
||
| 1465 | bool IsExpanding = false); |
||
| 1466 | SDValue getIndexedLoadVP(SDValue OrigLoad, const SDLoc &dl, SDValue Base, |
||
| 1467 | SDValue Offset, ISD::MemIndexedMode AM); |
||
| 1468 | SDValue getStoreVP(SDValue Chain, const SDLoc &dl, SDValue Val, SDValue Ptr, |
||
| 1469 | SDValue Offset, SDValue Mask, SDValue EVL, EVT MemVT, |
||
| 1470 | MachineMemOperand *MMO, ISD::MemIndexedMode AM, |
||
| 1471 | bool IsTruncating = false, bool IsCompressing = false); |
||
| 1472 | SDValue getTruncStoreVP(SDValue Chain, const SDLoc &dl, SDValue Val, |
||
| 1473 | SDValue Ptr, SDValue Mask, SDValue EVL, |
||
| 1474 | MachinePointerInfo PtrInfo, EVT SVT, Align Alignment, |
||
| 1475 | MachineMemOperand::Flags MMOFlags, |
||
| 1476 | const AAMDNodes &AAInfo, bool IsCompressing = false); |
||
| 1477 | SDValue getTruncStoreVP(SDValue Chain, const SDLoc &dl, SDValue Val, |
||
| 1478 | SDValue Ptr, SDValue Mask, SDValue EVL, EVT SVT, |
||
| 1479 | MachineMemOperand *MMO, bool IsCompressing = false); |
||
| 1480 | SDValue getIndexedStoreVP(SDValue OrigStore, const SDLoc &dl, SDValue Base, |
||
| 1481 | SDValue Offset, ISD::MemIndexedMode AM); |
||
| 1482 | |||
| 1483 | SDValue getStridedLoadVP(ISD::MemIndexedMode AM, ISD::LoadExtType ExtType, |
||
| 1484 | EVT VT, const SDLoc &DL, SDValue Chain, SDValue Ptr, |
||
| 1485 | SDValue Offset, SDValue Stride, SDValue Mask, |
||
| 1486 | SDValue EVL, MachinePointerInfo PtrInfo, EVT MemVT, |
||
| 1487 | Align Alignment, MachineMemOperand::Flags MMOFlags, |
||
| 1488 | const AAMDNodes &AAInfo, |
||
| 1489 | const MDNode *Ranges = nullptr, |
||
| 1490 | bool IsExpanding = false); |
||
| 1491 | inline SDValue getStridedLoadVP( |
||
| 1492 | ISD::MemIndexedMode AM, ISD::LoadExtType ExtType, EVT VT, const SDLoc &DL, |
||
| 1493 | SDValue Chain, SDValue Ptr, SDValue Offset, SDValue Stride, SDValue Mask, |
||
| 1494 | SDValue EVL, MachinePointerInfo PtrInfo, EVT MemVT, |
||
| 1495 | MaybeAlign Alignment = MaybeAlign(), |
||
| 1496 | MachineMemOperand::Flags MMOFlags = MachineMemOperand::MONone, |
||
| 1497 | const AAMDNodes &AAInfo = AAMDNodes(), const MDNode *Ranges = nullptr, |
||
| 1498 | bool IsExpanding = false) { |
||
| 1499 | // Ensures that codegen never sees a None Alignment. |
||
| 1500 | return getStridedLoadVP(AM, ExtType, VT, DL, Chain, Ptr, Offset, Stride, |
||
| 1501 | Mask, EVL, PtrInfo, MemVT, |
||
| 1502 | Alignment.value_or(getEVTAlign(MemVT)), MMOFlags, |
||
| 1503 | AAInfo, Ranges, IsExpanding); |
||
| 1504 | } |
||
| 1505 | SDValue getStridedLoadVP(ISD::MemIndexedMode AM, ISD::LoadExtType ExtType, |
||
| 1506 | EVT VT, const SDLoc &DL, SDValue Chain, SDValue Ptr, |
||
| 1507 | SDValue Offset, SDValue Stride, SDValue Mask, |
||
| 1508 | SDValue EVL, EVT MemVT, MachineMemOperand *MMO, |
||
| 1509 | bool IsExpanding = false); |
||
| 1510 | SDValue getStridedLoadVP(EVT VT, const SDLoc &DL, SDValue Chain, SDValue Ptr, |
||
| 1511 | SDValue Stride, SDValue Mask, SDValue EVL, |
||
| 1512 | MachinePointerInfo PtrInfo, MaybeAlign Alignment, |
||
| 1513 | MachineMemOperand::Flags MMOFlags, |
||
| 1514 | const AAMDNodes &AAInfo, |
||
| 1515 | const MDNode *Ranges = nullptr, |
||
| 1516 | bool IsExpanding = false); |
||
| 1517 | SDValue getStridedLoadVP(EVT VT, const SDLoc &DL, SDValue Chain, SDValue Ptr, |
||
| 1518 | SDValue Stride, SDValue Mask, SDValue EVL, |
||
| 1519 | MachineMemOperand *MMO, bool IsExpanding = false); |
||
| 1520 | SDValue |
||
| 1521 | getExtStridedLoadVP(ISD::LoadExtType ExtType, const SDLoc &DL, EVT VT, |
||
| 1522 | SDValue Chain, SDValue Ptr, SDValue Stride, SDValue Mask, |
||
| 1523 | SDValue EVL, MachinePointerInfo PtrInfo, EVT MemVT, |
||
| 1524 | MaybeAlign Alignment, MachineMemOperand::Flags MMOFlags, |
||
| 1525 | const AAMDNodes &AAInfo, bool IsExpanding = false); |
||
| 1526 | SDValue getExtStridedLoadVP(ISD::LoadExtType ExtType, const SDLoc &DL, EVT VT, |
||
| 1527 | SDValue Chain, SDValue Ptr, SDValue Stride, |
||
| 1528 | SDValue Mask, SDValue EVL, EVT MemVT, |
||
| 1529 | MachineMemOperand *MMO, bool IsExpanding = false); |
||
| 1530 | SDValue getIndexedStridedLoadVP(SDValue OrigLoad, const SDLoc &DL, |
||
| 1531 | SDValue Base, SDValue Offset, |
||
| 1532 | ISD::MemIndexedMode AM); |
||
| 1533 | SDValue getStridedStoreVP(SDValue Chain, const SDLoc &DL, SDValue Val, |
||
| 1534 | SDValue Ptr, SDValue Offset, SDValue Stride, |
||
| 1535 | SDValue Mask, SDValue EVL, EVT MemVT, |
||
| 1536 | MachineMemOperand *MMO, ISD::MemIndexedMode AM, |
||
| 1537 | bool IsTruncating = false, |
||
| 1538 | bool IsCompressing = false); |
||
| 1539 | SDValue getTruncStridedStoreVP(SDValue Chain, const SDLoc &DL, SDValue Val, |
||
| 1540 | SDValue Ptr, SDValue Stride, SDValue Mask, |
||
| 1541 | SDValue EVL, MachinePointerInfo PtrInfo, |
||
| 1542 | EVT SVT, Align Alignment, |
||
| 1543 | MachineMemOperand::Flags MMOFlags, |
||
| 1544 | const AAMDNodes &AAInfo, |
||
| 1545 | bool IsCompressing = false); |
||
| 1546 | SDValue getTruncStridedStoreVP(SDValue Chain, const SDLoc &DL, SDValue Val, |
||
| 1547 | SDValue Ptr, SDValue Stride, SDValue Mask, |
||
| 1548 | SDValue EVL, EVT SVT, MachineMemOperand *MMO, |
||
| 1549 | bool IsCompressing = false); |
||
| 1550 | SDValue getIndexedStridedStoreVP(SDValue OrigStore, const SDLoc &DL, |
||
| 1551 | SDValue Base, SDValue Offset, |
||
| 1552 | ISD::MemIndexedMode AM); |
||
| 1553 | |||
| 1554 | SDValue getGatherVP(SDVTList VTs, EVT VT, const SDLoc &dl, |
||
| 1555 | ArrayRef<SDValue> Ops, MachineMemOperand *MMO, |
||
| 1556 | ISD::MemIndexType IndexType); |
||
| 1557 | SDValue getScatterVP(SDVTList VTs, EVT VT, const SDLoc &dl, |
||
| 1558 | ArrayRef<SDValue> Ops, MachineMemOperand *MMO, |
||
| 1559 | ISD::MemIndexType IndexType); |
||
| 1560 | |||
| 1561 | SDValue getMaskedLoad(EVT VT, const SDLoc &dl, SDValue Chain, SDValue Base, |
||
| 1562 | SDValue Offset, SDValue Mask, SDValue Src0, EVT MemVT, |
||
| 1563 | MachineMemOperand *MMO, ISD::MemIndexedMode AM, |
||
| 1564 | ISD::LoadExtType, bool IsExpanding = false); |
||
| 1565 | SDValue getIndexedMaskedLoad(SDValue OrigLoad, const SDLoc &dl, SDValue Base, |
||
| 1566 | SDValue Offset, ISD::MemIndexedMode AM); |
||
| 1567 | SDValue getMaskedStore(SDValue Chain, const SDLoc &dl, SDValue Val, |
||
| 1568 | SDValue Base, SDValue Offset, SDValue Mask, EVT MemVT, |
||
| 1569 | MachineMemOperand *MMO, ISD::MemIndexedMode AM, |
||
| 1570 | bool IsTruncating = false, bool IsCompressing = false); |
||
| 1571 | SDValue getIndexedMaskedStore(SDValue OrigStore, const SDLoc &dl, |
||
| 1572 | SDValue Base, SDValue Offset, |
||
| 1573 | ISD::MemIndexedMode AM); |
||
| 1574 | SDValue getMaskedGather(SDVTList VTs, EVT MemVT, const SDLoc &dl, |
||
| 1575 | ArrayRef<SDValue> Ops, MachineMemOperand *MMO, |
||
| 1576 | ISD::MemIndexType IndexType, ISD::LoadExtType ExtTy); |
||
| 1577 | SDValue getMaskedScatter(SDVTList VTs, EVT MemVT, const SDLoc &dl, |
||
| 1578 | ArrayRef<SDValue> Ops, MachineMemOperand *MMO, |
||
| 1579 | ISD::MemIndexType IndexType, |
||
| 1580 | bool IsTruncating = false); |
||
| 1581 | |||
| 1582 | /// Construct a node to track a Value* through the backend. |
||
| 1583 | SDValue getSrcValue(const Value *v); |
||
| 1584 | |||
| 1585 | /// Return an MDNodeSDNode which holds an MDNode. |
||
| 1586 | SDValue getMDNode(const MDNode *MD); |
||
| 1587 | |||
| 1588 | /// Return a bitcast using the SDLoc of the value operand, and casting to the |
||
| 1589 | /// provided type. Use getNode to set a custom SDLoc. |
||
| 1590 | SDValue getBitcast(EVT VT, SDValue V); |
||
| 1591 | |||
| 1592 | /// Return an AddrSpaceCastSDNode. |
||
| 1593 | SDValue getAddrSpaceCast(const SDLoc &dl, EVT VT, SDValue Ptr, unsigned SrcAS, |
||
| 1594 | unsigned DestAS); |
||
| 1595 | |||
| 1596 | /// Return a freeze using the SDLoc of the value operand. |
||
| 1597 | SDValue getFreeze(SDValue V); |
||
| 1598 | |||
| 1599 | /// Return an AssertAlignSDNode. |
||
| 1600 | SDValue getAssertAlign(const SDLoc &DL, SDValue V, Align A); |
||
| 1601 | |||
| 1602 | /// Swap N1 and N2 if Opcode is a commutative binary opcode |
||
| 1603 | /// and the canonical form expects the opposite order. |
||
| 1604 | void canonicalizeCommutativeBinop(unsigned Opcode, SDValue &N1, |
||
| 1605 | SDValue &N2) const; |
||
| 1606 | |||
| 1607 | /// Return the specified value casted to |
||
| 1608 | /// the target's desired shift amount type. |
||
| 1609 | SDValue getShiftAmountOperand(EVT LHSTy, SDValue Op); |
||
| 1610 | |||
| 1611 | /// Expand the specified \c ISD::VAARG node as the Legalize pass would. |
||
| 1612 | SDValue expandVAArg(SDNode *Node); |
||
| 1613 | |||
| 1614 | /// Expand the specified \c ISD::VACOPY node as the Legalize pass would. |
||
| 1615 | SDValue expandVACopy(SDNode *Node); |
||
| 1616 | |||
| 1617 | /// Returs an GlobalAddress of the function from the current module with |
||
| 1618 | /// name matching the given ExternalSymbol. Additionally can provide the |
||
| 1619 | /// matched function. |
||
| 1620 | /// Panics the function doesn't exists. |
||
| 1621 | SDValue getSymbolFunctionGlobalAddress(SDValue Op, |
||
| 1622 | Function **TargetFunction = nullptr); |
||
| 1623 | |||
| 1624 | /// *Mutate* the specified node in-place to have the |
||
| 1625 | /// specified operands. If the resultant node already exists in the DAG, |
||
| 1626 | /// this does not modify the specified node, instead it returns the node that |
||
| 1627 | /// already exists. If the resultant node does not exist in the DAG, the |
||
| 1628 | /// input node is returned. As a degenerate case, if you specify the same |
||
| 1629 | /// input operands as the node already has, the input node is returned. |
||
| 1630 | SDNode *UpdateNodeOperands(SDNode *N, SDValue Op); |
||
| 1631 | SDNode *UpdateNodeOperands(SDNode *N, SDValue Op1, SDValue Op2); |
||
| 1632 | SDNode *UpdateNodeOperands(SDNode *N, SDValue Op1, SDValue Op2, |
||
| 1633 | SDValue Op3); |
||
| 1634 | SDNode *UpdateNodeOperands(SDNode *N, SDValue Op1, SDValue Op2, |
||
| 1635 | SDValue Op3, SDValue Op4); |
||
| 1636 | SDNode *UpdateNodeOperands(SDNode *N, SDValue Op1, SDValue Op2, |
||
| 1637 | SDValue Op3, SDValue Op4, SDValue Op5); |
||
| 1638 | SDNode *UpdateNodeOperands(SDNode *N, ArrayRef<SDValue> Ops); |
||
| 1639 | |||
| 1640 | /// Creates a new TokenFactor containing \p Vals. If \p Vals contains 64k |
||
| 1641 | /// values or more, move values into new TokenFactors in 64k-1 blocks, until |
||
| 1642 | /// the final TokenFactor has less than 64k operands. |
||
| 1643 | SDValue getTokenFactor(const SDLoc &DL, SmallVectorImpl<SDValue> &Vals); |
||
| 1644 | |||
| 1645 | /// *Mutate* the specified machine node's memory references to the provided |
||
| 1646 | /// list. |
||
| 1647 | void setNodeMemRefs(MachineSDNode *N, |
||
| 1648 | ArrayRef<MachineMemOperand *> NewMemRefs); |
||
| 1649 | |||
| 1650 | // Calculate divergence of node \p N based on its operands. |
||
| 1651 | bool calculateDivergence(SDNode *N); |
||
| 1652 | |||
| 1653 | // Propagates the change in divergence to users |
||
| 1654 | void updateDivergence(SDNode * N); |
||
| 1655 | |||
| 1656 | /// These are used for target selectors to *mutate* the |
||
| 1657 | /// specified node to have the specified return type, Target opcode, and |
||
| 1658 | /// operands. Note that target opcodes are stored as |
||
| 1659 | /// ~TargetOpcode in the node opcode field. The resultant node is returned. |
||
| 1660 | SDNode *SelectNodeTo(SDNode *N, unsigned MachineOpc, EVT VT); |
||
| 1661 | SDNode *SelectNodeTo(SDNode *N, unsigned MachineOpc, EVT VT, SDValue Op1); |
||
| 1662 | SDNode *SelectNodeTo(SDNode *N, unsigned MachineOpc, EVT VT, |
||
| 1663 | SDValue Op1, SDValue Op2); |
||
| 1664 | SDNode *SelectNodeTo(SDNode *N, unsigned MachineOpc, EVT VT, |
||
| 1665 | SDValue Op1, SDValue Op2, SDValue Op3); |
||
| 1666 | SDNode *SelectNodeTo(SDNode *N, unsigned MachineOpc, EVT VT, |
||
| 1667 | ArrayRef<SDValue> Ops); |
||
| 1668 | SDNode *SelectNodeTo(SDNode *N, unsigned MachineOpc, EVT VT1, EVT VT2); |
||
| 1669 | SDNode *SelectNodeTo(SDNode *N, unsigned MachineOpc, EVT VT1, |
||
| 1670 | EVT VT2, ArrayRef<SDValue> Ops); |
||
| 1671 | SDNode *SelectNodeTo(SDNode *N, unsigned MachineOpc, EVT VT1, |
||
| 1672 | EVT VT2, EVT VT3, ArrayRef<SDValue> Ops); |
||
| 1673 | SDNode *SelectNodeTo(SDNode *N, unsigned MachineOpc, EVT VT1, |
||
| 1674 | EVT VT2, SDValue Op1, SDValue Op2); |
||
| 1675 | SDNode *SelectNodeTo(SDNode *N, unsigned MachineOpc, SDVTList VTs, |
||
| 1676 | ArrayRef<SDValue> Ops); |
||
| 1677 | |||
| 1678 | /// This *mutates* the specified node to have the specified |
||
| 1679 | /// return type, opcode, and operands. |
||
| 1680 | SDNode *MorphNodeTo(SDNode *N, unsigned Opc, SDVTList VTs, |
||
| 1681 | ArrayRef<SDValue> Ops); |
||
| 1682 | |||
| 1683 | /// Mutate the specified strict FP node to its non-strict equivalent, |
||
| 1684 | /// unlinking the node from its chain and dropping the metadata arguments. |
||
| 1685 | /// The node must be a strict FP node. |
||
| 1686 | SDNode *mutateStrictFPToFP(SDNode *Node); |
||
| 1687 | |||
| 1688 | /// These are used for target selectors to create a new node |
||
| 1689 | /// with specified return type(s), MachineInstr opcode, and operands. |
||
| 1690 | /// |
||
| 1691 | /// Note that getMachineNode returns the resultant node. If there is already |
||
| 1692 | /// a node of the specified opcode and operands, it returns that node instead |
||
| 1693 | /// of the current one. |
||
| 1694 | MachineSDNode *getMachineNode(unsigned Opcode, const SDLoc &dl, EVT VT); |
||
| 1695 | MachineSDNode *getMachineNode(unsigned Opcode, const SDLoc &dl, EVT VT, |
||
| 1696 | SDValue Op1); |
||
| 1697 | MachineSDNode *getMachineNode(unsigned Opcode, const SDLoc &dl, EVT VT, |
||
| 1698 | SDValue Op1, SDValue Op2); |
||
| 1699 | MachineSDNode *getMachineNode(unsigned Opcode, const SDLoc &dl, EVT VT, |
||
| 1700 | SDValue Op1, SDValue Op2, SDValue Op3); |
||
| 1701 | MachineSDNode *getMachineNode(unsigned Opcode, const SDLoc &dl, EVT VT, |
||
| 1702 | ArrayRef<SDValue> Ops); |
||
| 1703 | MachineSDNode *getMachineNode(unsigned Opcode, const SDLoc &dl, EVT VT1, |
||
| 1704 | EVT VT2, SDValue Op1, SDValue Op2); |
||
| 1705 | MachineSDNode *getMachineNode(unsigned Opcode, const SDLoc &dl, EVT VT1, |
||
| 1706 | EVT VT2, SDValue Op1, SDValue Op2, SDValue Op3); |
||
| 1707 | MachineSDNode *getMachineNode(unsigned Opcode, const SDLoc &dl, EVT VT1, |
||
| 1708 | EVT VT2, ArrayRef<SDValue> Ops); |
||
| 1709 | MachineSDNode *getMachineNode(unsigned Opcode, const SDLoc &dl, EVT VT1, |
||
| 1710 | EVT VT2, EVT VT3, SDValue Op1, SDValue Op2); |
||
| 1711 | MachineSDNode *getMachineNode(unsigned Opcode, const SDLoc &dl, EVT VT1, |
||
| 1712 | EVT VT2, EVT VT3, SDValue Op1, SDValue Op2, |
||
| 1713 | SDValue Op3); |
||
| 1714 | MachineSDNode *getMachineNode(unsigned Opcode, const SDLoc &dl, EVT VT1, |
||
| 1715 | EVT VT2, EVT VT3, ArrayRef<SDValue> Ops); |
||
| 1716 | MachineSDNode *getMachineNode(unsigned Opcode, const SDLoc &dl, |
||
| 1717 | ArrayRef<EVT> ResultTys, ArrayRef<SDValue> Ops); |
||
| 1718 | MachineSDNode *getMachineNode(unsigned Opcode, const SDLoc &dl, SDVTList VTs, |
||
| 1719 | ArrayRef<SDValue> Ops); |
||
| 1720 | |||
| 1721 | /// A convenience function for creating TargetInstrInfo::EXTRACT_SUBREG nodes. |
||
| 1722 | SDValue getTargetExtractSubreg(int SRIdx, const SDLoc &DL, EVT VT, |
||
| 1723 | SDValue Operand); |
||
| 1724 | |||
| 1725 | /// A convenience function for creating TargetInstrInfo::INSERT_SUBREG nodes. |
||
| 1726 | SDValue getTargetInsertSubreg(int SRIdx, const SDLoc &DL, EVT VT, |
||
| 1727 | SDValue Operand, SDValue Subreg); |
||
| 1728 | |||
| 1729 | /// Get the specified node if it's already available, or else return NULL. |
||
| 1730 | SDNode *getNodeIfExists(unsigned Opcode, SDVTList VTList, |
||
| 1731 | ArrayRef<SDValue> Ops, const SDNodeFlags Flags); |
||
| 1732 | SDNode *getNodeIfExists(unsigned Opcode, SDVTList VTList, |
||
| 1733 | ArrayRef<SDValue> Ops); |
||
| 1734 | |||
| 1735 | /// Check if a node exists without modifying its flags. |
||
| 1736 | bool doesNodeExist(unsigned Opcode, SDVTList VTList, ArrayRef<SDValue> Ops); |
||
| 1737 | |||
| 1738 | /// Creates a SDDbgValue node. |
||
| 1739 | SDDbgValue *getDbgValue(DIVariable *Var, DIExpression *Expr, SDNode *N, |
||
| 1740 | unsigned R, bool IsIndirect, const DebugLoc &DL, |
||
| 1741 | unsigned O); |
||
| 1742 | |||
| 1743 | /// Creates a constant SDDbgValue node. |
||
| 1744 | SDDbgValue *getConstantDbgValue(DIVariable *Var, DIExpression *Expr, |
||
| 1745 | const Value *C, const DebugLoc &DL, |
||
| 1746 | unsigned O); |
||
| 1747 | |||
| 1748 | /// Creates a FrameIndex SDDbgValue node. |
||
| 1749 | SDDbgValue *getFrameIndexDbgValue(DIVariable *Var, DIExpression *Expr, |
||
| 1750 | unsigned FI, bool IsIndirect, |
||
| 1751 | const DebugLoc &DL, unsigned O); |
||
| 1752 | |||
| 1753 | /// Creates a FrameIndex SDDbgValue node. |
||
| 1754 | SDDbgValue *getFrameIndexDbgValue(DIVariable *Var, DIExpression *Expr, |
||
| 1755 | unsigned FI, |
||
| 1756 | ArrayRef<SDNode *> Dependencies, |
||
| 1757 | bool IsIndirect, const DebugLoc &DL, |
||
| 1758 | unsigned O); |
||
| 1759 | |||
| 1760 | /// Creates a VReg SDDbgValue node. |
||
| 1761 | SDDbgValue *getVRegDbgValue(DIVariable *Var, DIExpression *Expr, |
||
| 1762 | unsigned VReg, bool IsIndirect, |
||
| 1763 | const DebugLoc &DL, unsigned O); |
||
| 1764 | |||
| 1765 | /// Creates a SDDbgValue node from a list of locations. |
||
| 1766 | SDDbgValue *getDbgValueList(DIVariable *Var, DIExpression *Expr, |
||
| 1767 | ArrayRef<SDDbgOperand> Locs, |
||
| 1768 | ArrayRef<SDNode *> Dependencies, bool IsIndirect, |
||
| 1769 | const DebugLoc &DL, unsigned O, bool IsVariadic); |
||
| 1770 | |||
| 1771 | /// Creates a SDDbgLabel node. |
||
| 1772 | SDDbgLabel *getDbgLabel(DILabel *Label, const DebugLoc &DL, unsigned O); |
||
| 1773 | |||
| 1774 | /// Transfer debug values from one node to another, while optionally |
||
| 1775 | /// generating fragment expressions for split-up values. If \p InvalidateDbg |
||
| 1776 | /// is set, debug values are invalidated after they are transferred. |
||
| 1777 | void transferDbgValues(SDValue From, SDValue To, unsigned OffsetInBits = 0, |
||
| 1778 | unsigned SizeInBits = 0, bool InvalidateDbg = true); |
||
| 1779 | |||
| 1780 | /// Remove the specified node from the system. If any of its |
||
| 1781 | /// operands then becomes dead, remove them as well. Inform UpdateListener |
||
| 1782 | /// for each node deleted. |
||
| 1783 | void RemoveDeadNode(SDNode *N); |
||
| 1784 | |||
| 1785 | /// This method deletes the unreachable nodes in the |
||
| 1786 | /// given list, and any nodes that become unreachable as a result. |
||
| 1787 | void RemoveDeadNodes(SmallVectorImpl<SDNode *> &DeadNodes); |
||
| 1788 | |||
| 1789 | /// Modify anything using 'From' to use 'To' instead. |
||
| 1790 | /// This can cause recursive merging of nodes in the DAG. Use the first |
||
| 1791 | /// version if 'From' is known to have a single result, use the second |
||
| 1792 | /// if you have two nodes with identical results (or if 'To' has a superset |
||
| 1793 | /// of the results of 'From'), use the third otherwise. |
||
| 1794 | /// |
||
| 1795 | /// These methods all take an optional UpdateListener, which (if not null) is |
||
| 1796 | /// informed about nodes that are deleted and modified due to recursive |
||
| 1797 | /// changes in the dag. |
||
| 1798 | /// |
||
| 1799 | /// These functions only replace all existing uses. It's possible that as |
||
| 1800 | /// these replacements are being performed, CSE may cause the From node |
||
| 1801 | /// to be given new uses. These new uses of From are left in place, and |
||
| 1802 | /// not automatically transferred to To. |
||
| 1803 | /// |
||
| 1804 | void ReplaceAllUsesWith(SDValue From, SDValue To); |
||
| 1805 | void ReplaceAllUsesWith(SDNode *From, SDNode *To); |
||
| 1806 | void ReplaceAllUsesWith(SDNode *From, const SDValue *To); |
||
| 1807 | |||
| 1808 | /// Replace any uses of From with To, leaving |
||
| 1809 | /// uses of other values produced by From.getNode() alone. |
||
| 1810 | void ReplaceAllUsesOfValueWith(SDValue From, SDValue To); |
||
| 1811 | |||
| 1812 | /// Like ReplaceAllUsesOfValueWith, but for multiple values at once. |
||
| 1813 | /// This correctly handles the case where |
||
| 1814 | /// there is an overlap between the From values and the To values. |
||
| 1815 | void ReplaceAllUsesOfValuesWith(const SDValue *From, const SDValue *To, |
||
| 1816 | unsigned Num); |
||
| 1817 | |||
| 1818 | /// If an existing load has uses of its chain, create a token factor node with |
||
| 1819 | /// that chain and the new memory node's chain and update users of the old |
||
| 1820 | /// chain to the token factor. This ensures that the new memory node will have |
||
| 1821 | /// the same relative memory dependency position as the old load. Returns the |
||
| 1822 | /// new merged load chain. |
||
| 1823 | SDValue makeEquivalentMemoryOrdering(SDValue OldChain, SDValue NewMemOpChain); |
||
| 1824 | |||
| 1825 | /// If an existing load has uses of its chain, create a token factor node with |
||
| 1826 | /// that chain and the new memory node's chain and update users of the old |
||
| 1827 | /// chain to the token factor. This ensures that the new memory node will have |
||
| 1828 | /// the same relative memory dependency position as the old load. Returns the |
||
| 1829 | /// new merged load chain. |
||
| 1830 | SDValue makeEquivalentMemoryOrdering(LoadSDNode *OldLoad, SDValue NewMemOp); |
||
| 1831 | |||
| 1832 | /// Topological-sort the AllNodes list and a |
||
| 1833 | /// assign a unique node id for each node in the DAG based on their |
||
| 1834 | /// topological order. Returns the number of nodes. |
||
| 1835 | unsigned AssignTopologicalOrder(); |
||
| 1836 | |||
| 1837 | /// Move node N in the AllNodes list to be immediately |
||
| 1838 | /// before the given iterator Position. This may be used to update the |
||
| 1839 | /// topological ordering when the list of nodes is modified. |
||
| 1840 | void RepositionNode(allnodes_iterator Position, SDNode *N) { |
||
| 1841 | AllNodes.insert(Position, AllNodes.remove(N)); |
||
| 1842 | } |
||
| 1843 | |||
| 1844 | /// Returns an APFloat semantics tag appropriate for the given type. If VT is |
||
| 1845 | /// a vector type, the element semantics are returned. |
||
| 1846 | static const fltSemantics &EVTToAPFloatSemantics(EVT VT) { |
||
| 1847 | switch (VT.getScalarType().getSimpleVT().SimpleTy) { |
||
| 1848 | default: llvm_unreachable("Unknown FP format"); |
||
| 1849 | case MVT::f16: return APFloat::IEEEhalf(); |
||
| 1850 | case MVT::bf16: return APFloat::BFloat(); |
||
| 1851 | case MVT::f32: return APFloat::IEEEsingle(); |
||
| 1852 | case MVT::f64: return APFloat::IEEEdouble(); |
||
| 1853 | case MVT::f80: return APFloat::x87DoubleExtended(); |
||
| 1854 | case MVT::f128: return APFloat::IEEEquad(); |
||
| 1855 | case MVT::ppcf128: return APFloat::PPCDoubleDouble(); |
||
| 1856 | } |
||
| 1857 | } |
||
| 1858 | |||
| 1859 | /// Add a dbg_value SDNode. If SD is non-null that means the |
||
| 1860 | /// value is produced by SD. |
||
| 1861 | void AddDbgValue(SDDbgValue *DB, bool isParameter); |
||
| 1862 | |||
| 1863 | /// Add a dbg_label SDNode. |
||
| 1864 | void AddDbgLabel(SDDbgLabel *DB); |
||
| 1865 | |||
| 1866 | /// Get the debug values which reference the given SDNode. |
||
| 1867 | ArrayRef<SDDbgValue*> GetDbgValues(const SDNode* SD) const { |
||
| 1868 | return DbgInfo->getSDDbgValues(SD); |
||
| 1869 | } |
||
| 1870 | |||
| 1871 | public: |
||
| 1872 | /// Return true if there are any SDDbgValue nodes associated |
||
| 1873 | /// with this SelectionDAG. |
||
| 1874 | bool hasDebugValues() const { return !DbgInfo->empty(); } |
||
| 1875 | |||
| 1876 | SDDbgInfo::DbgIterator DbgBegin() const { return DbgInfo->DbgBegin(); } |
||
| 1877 | SDDbgInfo::DbgIterator DbgEnd() const { return DbgInfo->DbgEnd(); } |
||
| 1878 | |||
| 1879 | SDDbgInfo::DbgIterator ByvalParmDbgBegin() const { |
||
| 1880 | return DbgInfo->ByvalParmDbgBegin(); |
||
| 1881 | } |
||
| 1882 | SDDbgInfo::DbgIterator ByvalParmDbgEnd() const { |
||
| 1883 | return DbgInfo->ByvalParmDbgEnd(); |
||
| 1884 | } |
||
| 1885 | |||
| 1886 | SDDbgInfo::DbgLabelIterator DbgLabelBegin() const { |
||
| 1887 | return DbgInfo->DbgLabelBegin(); |
||
| 1888 | } |
||
| 1889 | SDDbgInfo::DbgLabelIterator DbgLabelEnd() const { |
||
| 1890 | return DbgInfo->DbgLabelEnd(); |
||
| 1891 | } |
||
| 1892 | |||
| 1893 | /// To be invoked on an SDNode that is slated to be erased. This |
||
| 1894 | /// function mirrors \c llvm::salvageDebugInfo. |
||
| 1895 | void salvageDebugInfo(SDNode &N); |
||
| 1896 | |||
| 1897 | void dump() const; |
||
| 1898 | |||
| 1899 | /// In most cases this function returns the ABI alignment for a given type, |
||
| 1900 | /// except for illegal vector types where the alignment exceeds that of the |
||
| 1901 | /// stack. In such cases we attempt to break the vector down to a legal type |
||
| 1902 | /// and return the ABI alignment for that instead. |
||
| 1903 | Align getReducedAlign(EVT VT, bool UseABI); |
||
| 1904 | |||
| 1905 | /// Create a stack temporary based on the size in bytes and the alignment |
||
| 1906 | SDValue CreateStackTemporary(TypeSize Bytes, Align Alignment); |
||
| 1907 | |||
| 1908 | /// Create a stack temporary, suitable for holding the specified value type. |
||
| 1909 | /// If minAlign is specified, the slot size will have at least that alignment. |
||
| 1910 | SDValue CreateStackTemporary(EVT VT, unsigned minAlign = 1); |
||
| 1911 | |||
| 1912 | /// Create a stack temporary suitable for holding either of the specified |
||
| 1913 | /// value types. |
||
| 1914 | SDValue CreateStackTemporary(EVT VT1, EVT VT2); |
||
| 1915 | |||
| 1916 | SDValue FoldSymbolOffset(unsigned Opcode, EVT VT, |
||
| 1917 | const GlobalAddressSDNode *GA, |
||
| 1918 | const SDNode *N2); |
||
| 1919 | |||
| 1920 | SDValue FoldConstantArithmetic(unsigned Opcode, const SDLoc &DL, EVT VT, |
||
| 1921 | ArrayRef<SDValue> Ops); |
||
| 1922 | |||
| 1923 | /// Fold floating-point operations with 2 operands when both operands are |
||
| 1924 | /// constants and/or undefined. |
||
| 1925 | SDValue foldConstantFPMath(unsigned Opcode, const SDLoc &DL, EVT VT, |
||
| 1926 | SDValue N1, SDValue N2); |
||
| 1927 | |||
| 1928 | /// Constant fold a setcc to true or false. |
||
| 1929 | SDValue FoldSetCC(EVT VT, SDValue N1, SDValue N2, ISD::CondCode Cond, |
||
| 1930 | const SDLoc &dl); |
||
| 1931 | |||
| 1932 | /// Return true if the sign bit of Op is known to be zero. |
||
| 1933 | /// We use this predicate to simplify operations downstream. |
||
| 1934 | bool SignBitIsZero(SDValue Op, unsigned Depth = 0) const; |
||
| 1935 | |||
| 1936 | /// Return true if 'Op & Mask' is known to be zero. We |
||
| 1937 | /// use this predicate to simplify operations downstream. Op and Mask are |
||
| 1938 | /// known to be the same type. |
||
| 1939 | bool MaskedValueIsZero(SDValue Op, const APInt &Mask, |
||
| 1940 | unsigned Depth = 0) const; |
||
| 1941 | |||
| 1942 | /// Return true if 'Op & Mask' is known to be zero in DemandedElts. We |
||
| 1943 | /// use this predicate to simplify operations downstream. Op and Mask are |
||
| 1944 | /// known to be the same type. |
||
| 1945 | bool MaskedValueIsZero(SDValue Op, const APInt &Mask, |
||
| 1946 | const APInt &DemandedElts, unsigned Depth = 0) const; |
||
| 1947 | |||
| 1948 | /// Return true if 'Op' is known to be zero in DemandedElts. We |
||
| 1949 | /// use this predicate to simplify operations downstream. |
||
| 1950 | bool MaskedVectorIsZero(SDValue Op, const APInt &DemandedElts, |
||
| 1951 | unsigned Depth = 0) const; |
||
| 1952 | |||
| 1953 | /// Return true if '(Op & Mask) == Mask'. |
||
| 1954 | /// Op and Mask are known to be the same type. |
||
| 1955 | bool MaskedValueIsAllOnes(SDValue Op, const APInt &Mask, |
||
| 1956 | unsigned Depth = 0) const; |
||
| 1957 | |||
| 1958 | /// For each demanded element of a vector, see if it is known to be zero. |
||
| 1959 | APInt computeVectorKnownZeroElements(SDValue Op, const APInt &DemandedElts, |
||
| 1960 | unsigned Depth = 0) const; |
||
| 1961 | |||
| 1962 | /// Determine which bits of Op are known to be either zero or one and return |
||
| 1963 | /// them in Known. For vectors, the known bits are those that are shared by |
||
| 1964 | /// every vector element. |
||
| 1965 | /// Targets can implement the computeKnownBitsForTargetNode method in the |
||
| 1966 | /// TargetLowering class to allow target nodes to be understood. |
||
| 1967 | KnownBits computeKnownBits(SDValue Op, unsigned Depth = 0) const; |
||
| 1968 | |||
| 1969 | /// Determine which bits of Op are known to be either zero or one and return |
||
| 1970 | /// them in Known. The DemandedElts argument allows us to only collect the |
||
| 1971 | /// known bits that are shared by the requested vector elements. |
||
| 1972 | /// Targets can implement the computeKnownBitsForTargetNode method in the |
||
| 1973 | /// TargetLowering class to allow target nodes to be understood. |
||
| 1974 | KnownBits computeKnownBits(SDValue Op, const APInt &DemandedElts, |
||
| 1975 | unsigned Depth = 0) const; |
||
| 1976 | |||
| 1977 | /// Used to represent the possible overflow behavior of an operation. |
||
| 1978 | /// Never: the operation cannot overflow. |
||
| 1979 | /// Always: the operation will always overflow. |
||
| 1980 | /// Sometime: the operation may or may not overflow. |
||
| 1981 | enum OverflowKind { |
||
| 1982 | OFK_Never, |
||
| 1983 | OFK_Sometime, |
||
| 1984 | OFK_Always, |
||
| 1985 | }; |
||
| 1986 | |||
| 1987 | /// Determine if the result of the addition of 2 node can overflow. |
||
| 1988 | OverflowKind computeOverflowKind(SDValue N0, SDValue N1) const; |
||
| 1989 | |||
| 1990 | /// Test if the given value is known to have exactly one bit set. This differs |
||
| 1991 | /// from computeKnownBits in that it doesn't necessarily determine which bit |
||
| 1992 | /// is set. |
||
| 1993 | bool isKnownToBeAPowerOfTwo(SDValue Val) const; |
||
| 1994 | |||
| 1995 | /// Return the number of times the sign bit of the register is replicated into |
||
| 1996 | /// the other bits. We know that at least 1 bit is always equal to the sign |
||
| 1997 | /// bit (itself), but other cases can give us information. For example, |
||
| 1998 | /// immediately after an "SRA X, 2", we know that the top 3 bits are all equal |
||
| 1999 | /// to each other, so we return 3. Targets can implement the |
||
| 2000 | /// ComputeNumSignBitsForTarget method in the TargetLowering class to allow |
||
| 2001 | /// target nodes to be understood. |
||
| 2002 | unsigned ComputeNumSignBits(SDValue Op, unsigned Depth = 0) const; |
||
| 2003 | |||
| 2004 | /// Return the number of times the sign bit of the register is replicated into |
||
| 2005 | /// the other bits. We know that at least 1 bit is always equal to the sign |
||
| 2006 | /// bit (itself), but other cases can give us information. For example, |
||
| 2007 | /// immediately after an "SRA X, 2", we know that the top 3 bits are all equal |
||
| 2008 | /// to each other, so we return 3. The DemandedElts argument allows |
||
| 2009 | /// us to only collect the minimum sign bits of the requested vector elements. |
||
| 2010 | /// Targets can implement the ComputeNumSignBitsForTarget method in the |
||
| 2011 | /// TargetLowering class to allow target nodes to be understood. |
||
| 2012 | unsigned ComputeNumSignBits(SDValue Op, const APInt &DemandedElts, |
||
| 2013 | unsigned Depth = 0) const; |
||
| 2014 | |||
| 2015 | /// Get the upper bound on bit size for this Value \p Op as a signed integer. |
||
| 2016 | /// i.e. x == sext(trunc(x to MaxSignedBits) to bitwidth(x)). |
||
| 2017 | /// Similar to the APInt::getSignificantBits function. |
||
| 2018 | /// Helper wrapper to ComputeNumSignBits. |
||
| 2019 | unsigned ComputeMaxSignificantBits(SDValue Op, unsigned Depth = 0) const; |
||
| 2020 | |||
| 2021 | /// Get the upper bound on bit size for this Value \p Op as a signed integer. |
||
| 2022 | /// i.e. x == sext(trunc(x to MaxSignedBits) to bitwidth(x)). |
||
| 2023 | /// Similar to the APInt::getSignificantBits function. |
||
| 2024 | /// Helper wrapper to ComputeNumSignBits. |
||
| 2025 | unsigned ComputeMaxSignificantBits(SDValue Op, const APInt &DemandedElts, |
||
| 2026 | unsigned Depth = 0) const; |
||
| 2027 | |||
| 2028 | /// Return true if this function can prove that \p Op is never poison |
||
| 2029 | /// and, if \p PoisonOnly is false, does not have undef bits. |
||
| 2030 | bool isGuaranteedNotToBeUndefOrPoison(SDValue Op, bool PoisonOnly = false, |
||
| 2031 | unsigned Depth = 0) const; |
||
| 2032 | |||
| 2033 | /// Return true if this function can prove that \p Op is never poison |
||
| 2034 | /// and, if \p PoisonOnly is false, does not have undef bits. The DemandedElts |
||
| 2035 | /// argument limits the check to the requested vector elements. |
||
| 2036 | bool isGuaranteedNotToBeUndefOrPoison(SDValue Op, const APInt &DemandedElts, |
||
| 2037 | bool PoisonOnly = false, |
||
| 2038 | unsigned Depth = 0) const; |
||
| 2039 | |||
| 2040 | /// Return true if this function can prove that \p Op is never poison. |
||
| 2041 | bool isGuaranteedNotToBePoison(SDValue Op, unsigned Depth = 0) const { |
||
| 2042 | return isGuaranteedNotToBeUndefOrPoison(Op, /*PoisonOnly*/ true, Depth); |
||
| 2043 | } |
||
| 2044 | |||
| 2045 | /// Return true if this function can prove that \p Op is never poison. The |
||
| 2046 | /// DemandedElts argument limits the check to the requested vector elements. |
||
| 2047 | bool isGuaranteedNotToBePoison(SDValue Op, const APInt &DemandedElts, |
||
| 2048 | unsigned Depth = 0) const { |
||
| 2049 | return isGuaranteedNotToBeUndefOrPoison(Op, DemandedElts, |
||
| 2050 | /*PoisonOnly*/ true, Depth); |
||
| 2051 | } |
||
| 2052 | |||
| 2053 | /// Return true if Op can create undef or poison from non-undef & non-poison |
||
| 2054 | /// operands. The DemandedElts argument limits the check to the requested |
||
| 2055 | /// vector elements. |
||
| 2056 | /// |
||
| 2057 | /// \p ConsiderFlags controls whether poison producing flags on the |
||
| 2058 | /// instruction are considered. This can be used to see if the instruction |
||
| 2059 | /// could still introduce undef or poison even without poison generating flags |
||
| 2060 | /// which might be on the instruction. (i.e. could the result of |
||
| 2061 | /// Op->dropPoisonGeneratingFlags() still create poison or undef) |
||
| 2062 | bool canCreateUndefOrPoison(SDValue Op, const APInt &DemandedElts, |
||
| 2063 | bool PoisonOnly = false, |
||
| 2064 | bool ConsiderFlags = true, |
||
| 2065 | unsigned Depth = 0) const; |
||
| 2066 | |||
| 2067 | /// Return true if Op can create undef or poison from non-undef & non-poison |
||
| 2068 | /// operands. |
||
| 2069 | /// |
||
| 2070 | /// \p ConsiderFlags controls whether poison producing flags on the |
||
| 2071 | /// instruction are considered. This can be used to see if the instruction |
||
| 2072 | /// could still introduce undef or poison even without poison generating flags |
||
| 2073 | /// which might be on the instruction. (i.e. could the result of |
||
| 2074 | /// Op->dropPoisonGeneratingFlags() still create poison or undef) |
||
| 2075 | bool canCreateUndefOrPoison(SDValue Op, bool PoisonOnly = false, |
||
| 2076 | bool ConsiderFlags = true, |
||
| 2077 | unsigned Depth = 0) const; |
||
| 2078 | |||
| 2079 | /// Return true if the specified operand is an ISD::ADD with a ConstantSDNode |
||
| 2080 | /// on the right-hand side, or if it is an ISD::OR with a ConstantSDNode that |
||
| 2081 | /// is guaranteed to have the same semantics as an ADD. This handles the |
||
| 2082 | /// equivalence: |
||
| 2083 | /// X|Cst == X+Cst iff X&Cst = 0. |
||
| 2084 | bool isBaseWithConstantOffset(SDValue Op) const; |
||
| 2085 | |||
| 2086 | /// Test whether the given SDValue (or all elements of it, if it is a |
||
| 2087 | /// vector) is known to never be NaN. If \p SNaN is true, returns if \p Op is |
||
| 2088 | /// known to never be a signaling NaN (it may still be a qNaN). |
||
| 2089 | bool isKnownNeverNaN(SDValue Op, bool SNaN = false, unsigned Depth = 0) const; |
||
| 2090 | |||
| 2091 | /// \returns true if \p Op is known to never be a signaling NaN. |
||
| 2092 | bool isKnownNeverSNaN(SDValue Op, unsigned Depth = 0) const { |
||
| 2093 | return isKnownNeverNaN(Op, true, Depth); |
||
| 2094 | } |
||
| 2095 | |||
| 2096 | /// Test whether the given floating point SDValue is known to never be |
||
| 2097 | /// positive or negative zero. |
||
| 2098 | bool isKnownNeverZeroFloat(SDValue Op) const; |
||
| 2099 | |||
| 2100 | /// Test whether the given SDValue is known to contain non-zero value(s). |
||
| 2101 | bool isKnownNeverZero(SDValue Op) const; |
||
| 2102 | |||
| 2103 | /// Test whether two SDValues are known to compare equal. This |
||
| 2104 | /// is true if they are the same value, or if one is negative zero and the |
||
| 2105 | /// other positive zero. |
||
| 2106 | bool isEqualTo(SDValue A, SDValue B) const; |
||
| 2107 | |||
| 2108 | /// Return true if A and B have no common bits set. As an example, this can |
||
| 2109 | /// allow an 'add' to be transformed into an 'or'. |
||
| 2110 | bool haveNoCommonBitsSet(SDValue A, SDValue B) const; |
||
| 2111 | |||
| 2112 | /// Test whether \p V has a splatted value for all the demanded elements. |
||
| 2113 | /// |
||
| 2114 | /// On success \p UndefElts will indicate the elements that have UNDEF |
||
| 2115 | /// values instead of the splat value, this is only guaranteed to be correct |
||
| 2116 | /// for \p DemandedElts. |
||
| 2117 | /// |
||
| 2118 | /// NOTE: The function will return true for a demanded splat of UNDEF values. |
||
| 2119 | bool isSplatValue(SDValue V, const APInt &DemandedElts, APInt &UndefElts, |
||
| 2120 | unsigned Depth = 0) const; |
||
| 2121 | |||
| 2122 | /// Test whether \p V has a splatted value. |
||
| 2123 | bool isSplatValue(SDValue V, bool AllowUndefs = false) const; |
||
| 2124 | |||
| 2125 | /// If V is a splatted value, return the source vector and its splat index. |
||
| 2126 | SDValue getSplatSourceVector(SDValue V, int &SplatIndex); |
||
| 2127 | |||
| 2128 | /// If V is a splat vector, return its scalar source operand by extracting |
||
| 2129 | /// that element from the source vector. If LegalTypes is true, this method |
||
| 2130 | /// may only return a legally-typed splat value. If it cannot legalize the |
||
| 2131 | /// splatted value it will return SDValue(). |
||
| 2132 | SDValue getSplatValue(SDValue V, bool LegalTypes = false); |
||
| 2133 | |||
| 2134 | /// If a SHL/SRA/SRL node \p V has a constant or splat constant shift amount |
||
| 2135 | /// that is less than the element bit-width of the shift node, return it. |
||
| 2136 | const APInt *getValidShiftAmountConstant(SDValue V, |
||
| 2137 | const APInt &DemandedElts) const; |
||
| 2138 | |||
| 2139 | /// If a SHL/SRA/SRL node \p V has constant shift amounts that are all less |
||
| 2140 | /// than the element bit-width of the shift node, return the minimum value. |
||
| 2141 | const APInt * |
||
| 2142 | getValidMinimumShiftAmountConstant(SDValue V, |
||
| 2143 | const APInt &DemandedElts) const; |
||
| 2144 | |||
| 2145 | /// If a SHL/SRA/SRL node \p V has constant shift amounts that are all less |
||
| 2146 | /// than the element bit-width of the shift node, return the maximum value. |
||
| 2147 | const APInt * |
||
| 2148 | getValidMaximumShiftAmountConstant(SDValue V, |
||
| 2149 | const APInt &DemandedElts) const; |
||
| 2150 | |||
| 2151 | /// Match a binop + shuffle pyramid that represents a horizontal reduction |
||
| 2152 | /// over the elements of a vector starting from the EXTRACT_VECTOR_ELT node /p |
||
| 2153 | /// Extract. The reduction must use one of the opcodes listed in /p |
||
| 2154 | /// CandidateBinOps and on success /p BinOp will contain the matching opcode. |
||
| 2155 | /// Returns the vector that is being reduced on, or SDValue() if a reduction |
||
| 2156 | /// was not matched. If \p AllowPartials is set then in the case of a |
||
| 2157 | /// reduction pattern that only matches the first few stages, the extracted |
||
| 2158 | /// subvector of the start of the reduction is returned. |
||
| 2159 | SDValue matchBinOpReduction(SDNode *Extract, ISD::NodeType &BinOp, |
||
| 2160 | ArrayRef<ISD::NodeType> CandidateBinOps, |
||
| 2161 | bool AllowPartials = false); |
||
| 2162 | |||
| 2163 | /// Utility function used by legalize and lowering to |
||
| 2164 | /// "unroll" a vector operation by splitting out the scalars and operating |
||
| 2165 | /// on each element individually. If the ResNE is 0, fully unroll the vector |
||
| 2166 | /// op. If ResNE is less than the width of the vector op, unroll up to ResNE. |
||
| 2167 | /// If the ResNE is greater than the width of the vector op, unroll the |
||
| 2168 | /// vector op and fill the end of the resulting vector with UNDEFS. |
||
| 2169 | SDValue UnrollVectorOp(SDNode *N, unsigned ResNE = 0); |
||
| 2170 | |||
| 2171 | /// Like UnrollVectorOp(), but for the [US](ADD|SUB|MUL)O family of opcodes. |
||
| 2172 | /// This is a separate function because those opcodes have two results. |
||
| 2173 | std::pair<SDValue, SDValue> UnrollVectorOverflowOp(SDNode *N, |
||
| 2174 | unsigned ResNE = 0); |
||
| 2175 | |||
| 2176 | /// Return true if loads are next to each other and can be |
||
| 2177 | /// merged. Check that both are nonvolatile and if LD is loading |
||
| 2178 | /// 'Bytes' bytes from a location that is 'Dist' units away from the |
||
| 2179 | /// location that the 'Base' load is loading from. |
||
| 2180 | bool areNonVolatileConsecutiveLoads(LoadSDNode *LD, LoadSDNode *Base, |
||
| 2181 | unsigned Bytes, int Dist) const; |
||
| 2182 | |||
| 2183 | /// Infer alignment of a load / store address. Return std::nullopt if it |
||
| 2184 | /// cannot be inferred. |
||
| 2185 | MaybeAlign InferPtrAlign(SDValue Ptr) const; |
||
| 2186 | |||
| 2187 | /// Compute the VTs needed for the low/hi parts of a type |
||
| 2188 | /// which is split (or expanded) into two not necessarily identical pieces. |
||
| 2189 | std::pair<EVT, EVT> GetSplitDestVTs(const EVT &VT) const; |
||
| 2190 | |||
| 2191 | /// Compute the VTs needed for the low/hi parts of a type, dependent on an |
||
| 2192 | /// enveloping VT that has been split into two identical pieces. Sets the |
||
| 2193 | /// HisIsEmpty flag when hi type has zero storage size. |
||
| 2194 | std::pair<EVT, EVT> GetDependentSplitDestVTs(const EVT &VT, const EVT &EnvVT, |
||
| 2195 | bool *HiIsEmpty) const; |
||
| 2196 | |||
| 2197 | /// Split the vector with EXTRACT_SUBVECTOR using the provides |
||
| 2198 | /// VTs and return the low/high part. |
||
| 2199 | std::pair<SDValue, SDValue> SplitVector(const SDValue &N, const SDLoc &DL, |
||
| 2200 | const EVT &LoVT, const EVT &HiVT); |
||
| 2201 | |||
| 2202 | /// Split the vector with EXTRACT_SUBVECTOR and return the low/high part. |
||
| 2203 | std::pair<SDValue, SDValue> SplitVector(const SDValue &N, const SDLoc &DL) { |
||
| 2204 | EVT LoVT, HiVT; |
||
| 2205 | std::tie(LoVT, HiVT) = GetSplitDestVTs(N.getValueType()); |
||
| 2206 | return SplitVector(N, DL, LoVT, HiVT); |
||
| 2207 | } |
||
| 2208 | |||
| 2209 | /// Split the explicit vector length parameter of a VP operation. |
||
| 2210 | std::pair<SDValue, SDValue> SplitEVL(SDValue N, EVT VecVT, const SDLoc &DL); |
||
| 2211 | |||
| 2212 | /// Split the node's operand with EXTRACT_SUBVECTOR and |
||
| 2213 | /// return the low/high part. |
||
| 2214 | std::pair<SDValue, SDValue> SplitVectorOperand(const SDNode *N, unsigned OpNo) |
||
| 2215 | { |
||
| 2216 | return SplitVector(N->getOperand(OpNo), SDLoc(N)); |
||
| 2217 | } |
||
| 2218 | |||
| 2219 | /// Widen the vector up to the next power of two using INSERT_SUBVECTOR. |
||
| 2220 | SDValue WidenVector(const SDValue &N, const SDLoc &DL); |
||
| 2221 | |||
| 2222 | /// Append the extracted elements from Start to Count out of the vector Op in |
||
| 2223 | /// Args. If Count is 0, all of the elements will be extracted. The extracted |
||
| 2224 | /// elements will have type EVT if it is provided, and otherwise their type |
||
| 2225 | /// will be Op's element type. |
||
| 2226 | void ExtractVectorElements(SDValue Op, SmallVectorImpl<SDValue> &Args, |
||
| 2227 | unsigned Start = 0, unsigned Count = 0, |
||
| 2228 | EVT EltVT = EVT()); |
||
| 2229 | |||
| 2230 | /// Compute the default alignment value for the given type. |
||
| 2231 | Align getEVTAlign(EVT MemoryVT) const; |
||
| 2232 | |||
| 2233 | /// Test whether the given value is a constant int or similar node. |
||
| 2234 | SDNode *isConstantIntBuildVectorOrConstantInt(SDValue N) const; |
||
| 2235 | |||
| 2236 | /// Test whether the given value is a constant FP or similar node. |
||
| 2237 | SDNode *isConstantFPBuildVectorOrConstantFP(SDValue N) const ; |
||
| 2238 | |||
| 2239 | /// \returns true if \p N is any kind of constant or build_vector of |
||
| 2240 | /// constants, int or float. If a vector, it may not necessarily be a splat. |
||
| 2241 | inline bool isConstantValueOfAnyType(SDValue N) const { |
||
| 2242 | return isConstantIntBuildVectorOrConstantInt(N) || |
||
| 2243 | isConstantFPBuildVectorOrConstantFP(N); |
||
| 2244 | } |
||
| 2245 | |||
| 2246 | /// Set CallSiteInfo to be associated with Node. |
||
| 2247 | void addCallSiteInfo(const SDNode *Node, CallSiteInfoImpl &&CallInfo) { |
||
| 2248 | SDEI[Node].CSInfo = std::move(CallInfo); |
||
| 2249 | } |
||
| 2250 | /// Return CallSiteInfo associated with Node, or a default if none exists. |
||
| 2251 | CallSiteInfo getCallSiteInfo(const SDNode *Node) { |
||
| 2252 | auto I = SDEI.find(Node); |
||
| 2253 | return I != SDEI.end() ? std::move(I->second).CSInfo : CallSiteInfo(); |
||
| 2254 | } |
||
| 2255 | /// Set HeapAllocSite to be associated with Node. |
||
| 2256 | void addHeapAllocSite(const SDNode *Node, MDNode *MD) { |
||
| 2257 | SDEI[Node].HeapAllocSite = MD; |
||
| 2258 | } |
||
| 2259 | /// Return HeapAllocSite associated with Node, or nullptr if none exists. |
||
| 2260 | MDNode *getHeapAllocSite(const SDNode *Node) const { |
||
| 2261 | auto I = SDEI.find(Node); |
||
| 2262 | return I != SDEI.end() ? I->second.HeapAllocSite : nullptr; |
||
| 2263 | } |
||
| 2264 | /// Set PCSections to be associated with Node. |
||
| 2265 | void addPCSections(const SDNode *Node, MDNode *MD) { |
||
| 2266 | SDEI[Node].PCSections = MD; |
||
| 2267 | } |
||
| 2268 | /// Return PCSections associated with Node, or nullptr if none exists. |
||
| 2269 | MDNode *getPCSections(const SDNode *Node) const { |
||
| 2270 | auto It = SDEI.find(Node); |
||
| 2271 | return It != SDEI.end() ? It->second.PCSections : nullptr; |
||
| 2272 | } |
||
| 2273 | /// Set NoMergeSiteInfo to be associated with Node if NoMerge is true. |
||
| 2274 | void addNoMergeSiteInfo(const SDNode *Node, bool NoMerge) { |
||
| 2275 | if (NoMerge) |
||
| 2276 | SDEI[Node].NoMerge = NoMerge; |
||
| 2277 | } |
||
| 2278 | /// Return NoMerge info associated with Node. |
||
| 2279 | bool getNoMergeSiteInfo(const SDNode *Node) const { |
||
| 2280 | auto I = SDEI.find(Node); |
||
| 2281 | return I != SDEI.end() ? I->second.NoMerge : false; |
||
| 2282 | } |
||
| 2283 | |||
| 2284 | /// Copy extra info associated with one node to another. |
||
| 2285 | void copyExtraInfo(SDNode *From, SDNode *To); |
||
| 2286 | |||
| 2287 | /// Return the current function's default denormal handling kind for the given |
||
| 2288 | /// floating point type. |
||
| 2289 | DenormalMode getDenormalMode(EVT VT) const { |
||
| 2290 | return MF->getDenormalMode(EVTToAPFloatSemantics(VT)); |
||
| 2291 | } |
||
| 2292 | |||
| 2293 | bool shouldOptForSize() const; |
||
| 2294 | |||
| 2295 | /// Get the (commutative) neutral element for the given opcode, if it exists. |
||
| 2296 | SDValue getNeutralElement(unsigned Opcode, const SDLoc &DL, EVT VT, |
||
| 2297 | SDNodeFlags Flags); |
||
| 2298 | |||
| 2299 | /// Some opcodes may create immediate undefined behavior when used with some |
||
| 2300 | /// values (integer division-by-zero for example). Therefore, these operations |
||
| 2301 | /// are not generally safe to move around or change. |
||
| 2302 | bool isSafeToSpeculativelyExecute(unsigned Opcode) const { |
||
| 2303 | switch (Opcode) { |
||
| 2304 | case ISD::SDIV: |
||
| 2305 | case ISD::SREM: |
||
| 2306 | case ISD::SDIVREM: |
||
| 2307 | case ISD::UDIV: |
||
| 2308 | case ISD::UREM: |
||
| 2309 | case ISD::UDIVREM: |
||
| 2310 | return false; |
||
| 2311 | default: |
||
| 2312 | return true; |
||
| 2313 | } |
||
| 2314 | } |
||
| 2315 | |||
| 2316 | private: |
||
| 2317 | void InsertNode(SDNode *N); |
||
| 2318 | bool RemoveNodeFromCSEMaps(SDNode *N); |
||
| 2319 | void AddModifiedNodeToCSEMaps(SDNode *N); |
||
| 2320 | SDNode *FindModifiedNodeSlot(SDNode *N, SDValue Op, void *&InsertPos); |
||
| 2321 | SDNode *FindModifiedNodeSlot(SDNode *N, SDValue Op1, SDValue Op2, |
||
| 2322 | void *&InsertPos); |
||
| 2323 | SDNode *FindModifiedNodeSlot(SDNode *N, ArrayRef<SDValue> Ops, |
||
| 2324 | void *&InsertPos); |
||
| 2325 | SDNode *UpdateSDLocOnMergeSDNode(SDNode *N, const SDLoc &loc); |
||
| 2326 | |||
| 2327 | void DeleteNodeNotInCSEMaps(SDNode *N); |
||
| 2328 | void DeallocateNode(SDNode *N); |
||
| 2329 | |||
| 2330 | void allnodes_clear(); |
||
| 2331 | |||
| 2332 | /// Look up the node specified by ID in CSEMap. If it exists, return it. If |
||
| 2333 | /// not, return the insertion token that will make insertion faster. This |
||
| 2334 | /// overload is for nodes other than Constant or ConstantFP, use the other one |
||
| 2335 | /// for those. |
||
| 2336 | SDNode *FindNodeOrInsertPos(const FoldingSetNodeID &ID, void *&InsertPos); |
||
| 2337 | |||
| 2338 | /// Look up the node specified by ID in CSEMap. If it exists, return it. If |
||
| 2339 | /// not, return the insertion token that will make insertion faster. Performs |
||
| 2340 | /// additional processing for constant nodes. |
||
| 2341 | SDNode *FindNodeOrInsertPos(const FoldingSetNodeID &ID, const SDLoc &DL, |
||
| 2342 | void *&InsertPos); |
||
| 2343 | |||
| 2344 | /// Maps to auto-CSE operations. |
||
| 2345 | std::vector<CondCodeSDNode*> CondCodeNodes; |
||
| 2346 | |||
| 2347 | std::vector<SDNode*> ValueTypeNodes; |
||
| 2348 | std::map<EVT, SDNode*, EVT::compareRawBits> ExtendedValueTypeNodes; |
||
| 2349 | StringMap<SDNode*> ExternalSymbols; |
||
| 2350 | |||
| 2351 | std::map<std::pair<std::string, unsigned>, SDNode *> TargetExternalSymbols; |
||
| 2352 | DenseMap<MCSymbol *, SDNode *> MCSymbols; |
||
| 2353 | |||
| 2354 | FlagInserter *Inserter = nullptr; |
||
| 2355 | }; |
||
| 2356 | |||
| 2357 | template <> struct GraphTraits<SelectionDAG*> : public GraphTraits<SDNode*> { |
||
| 2358 | using nodes_iterator = pointer_iterator<SelectionDAG::allnodes_iterator>; |
||
| 2359 | |||
| 2360 | static nodes_iterator nodes_begin(SelectionDAG *G) { |
||
| 2361 | return nodes_iterator(G->allnodes_begin()); |
||
| 2362 | } |
||
| 2363 | |||
| 2364 | static nodes_iterator nodes_end(SelectionDAG *G) { |
||
| 2365 | return nodes_iterator(G->allnodes_end()); |
||
| 2366 | } |
||
| 2367 | }; |
||
| 2368 | |||
| 2369 | } // end namespace llvm |
||
| 2370 | |||
| 2371 | #endif // LLVM_CODEGEN_SELECTIONDAG_H |