10b57cec5SDimitry Andric //===- SelectionDAGDumper.cpp - Implement SelectionDAG::dump() ------------===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // This implements the SelectionDAG::dump method and friends. 100b57cec5SDimitry Andric // 110b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 120b57cec5SDimitry Andric 1381ad6265SDimitry Andric #include "SDNodeDbgValue.h" 140b57cec5SDimitry Andric #include "llvm/ADT/APFloat.h" 150b57cec5SDimitry Andric #include "llvm/ADT/APInt.h" 160b57cec5SDimitry Andric #include "llvm/ADT/SmallPtrSet.h" 170b57cec5SDimitry Andric #include "llvm/ADT/StringExtras.h" 180b57cec5SDimitry Andric #include "llvm/CodeGen/ISDOpcodes.h" 190b57cec5SDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h" 200b57cec5SDimitry Andric #include "llvm/CodeGen/MachineConstantPool.h" 210b57cec5SDimitry Andric #include "llvm/CodeGen/MachineMemOperand.h" 22*06c3fb27SDimitry Andric #include "llvm/CodeGen/MachineValueType.h" 230b57cec5SDimitry Andric #include "llvm/CodeGen/SelectionDAG.h" 240b57cec5SDimitry Andric #include "llvm/CodeGen/SelectionDAGNodes.h" 250b57cec5SDimitry Andric #include "llvm/CodeGen/TargetInstrInfo.h" 260b57cec5SDimitry Andric #include "llvm/CodeGen/TargetLowering.h" 270b57cec5SDimitry Andric #include "llvm/CodeGen/TargetRegisterInfo.h" 280b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h" 290b57cec5SDimitry Andric #include "llvm/CodeGen/ValueTypes.h" 300b57cec5SDimitry Andric #include "llvm/Config/llvm-config.h" 310b57cec5SDimitry Andric #include "llvm/IR/BasicBlock.h" 320b57cec5SDimitry Andric #include "llvm/IR/Constants.h" 330b57cec5SDimitry Andric #include "llvm/IR/DebugInfoMetadata.h" 340b57cec5SDimitry Andric #include "llvm/IR/DebugLoc.h" 350b57cec5SDimitry Andric #include "llvm/IR/Function.h" 360b57cec5SDimitry Andric #include "llvm/IR/Intrinsics.h" 370b57cec5SDimitry Andric #include "llvm/IR/ModuleSlotTracker.h" 380b57cec5SDimitry Andric #include "llvm/IR/Value.h" 390b57cec5SDimitry Andric #include "llvm/Support/Casting.h" 400b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h" 410b57cec5SDimitry Andric #include "llvm/Support/Compiler.h" 420b57cec5SDimitry Andric #include "llvm/Support/Debug.h" 430b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h" 440b57cec5SDimitry Andric #include "llvm/Support/Printable.h" 450b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h" 460b57cec5SDimitry Andric #include "llvm/Target/TargetIntrinsicInfo.h" 470b57cec5SDimitry Andric #include "llvm/Target/TargetMachine.h" 480b57cec5SDimitry Andric #include <cstdint> 490b57cec5SDimitry Andric #include <iterator> 500b57cec5SDimitry Andric 510b57cec5SDimitry Andric using namespace llvm; 520b57cec5SDimitry Andric 530b57cec5SDimitry Andric static cl::opt<bool> 540b57cec5SDimitry Andric VerboseDAGDumping("dag-dump-verbose", cl::Hidden, 550b57cec5SDimitry Andric cl::desc("Display more information when dumping selection " 560b57cec5SDimitry Andric "DAG nodes.")); 570b57cec5SDimitry Andric 580b57cec5SDimitry Andric std::string SDNode::getOperationName(const SelectionDAG *G) const { 590b57cec5SDimitry Andric switch (getOpcode()) { 600b57cec5SDimitry Andric default: 610b57cec5SDimitry Andric if (getOpcode() < ISD::BUILTIN_OP_END) 620b57cec5SDimitry Andric return "<<Unknown DAG Node>>"; 630b57cec5SDimitry Andric if (isMachineOpcode()) { 640b57cec5SDimitry Andric if (G) 650b57cec5SDimitry Andric if (const TargetInstrInfo *TII = G->getSubtarget().getInstrInfo()) 660b57cec5SDimitry Andric if (getMachineOpcode() < TII->getNumOpcodes()) 675ffd83dbSDimitry Andric return std::string(TII->getName(getMachineOpcode())); 680b57cec5SDimitry Andric return "<<Unknown Machine Node #" + utostr(getOpcode()) + ">>"; 690b57cec5SDimitry Andric } 700b57cec5SDimitry Andric if (G) { 710b57cec5SDimitry Andric const TargetLowering &TLI = G->getTargetLoweringInfo(); 720b57cec5SDimitry Andric const char *Name = TLI.getTargetNodeName(getOpcode()); 730b57cec5SDimitry Andric if (Name) return Name; 740b57cec5SDimitry Andric return "<<Unknown Target Node #" + utostr(getOpcode()) + ">>"; 750b57cec5SDimitry Andric } 760b57cec5SDimitry Andric return "<<Unknown Node #" + utostr(getOpcode()) + ">>"; 770b57cec5SDimitry Andric 780b57cec5SDimitry Andric #ifndef NDEBUG 790b57cec5SDimitry Andric case ISD::DELETED_NODE: return "<<Deleted Node!>>"; 800b57cec5SDimitry Andric #endif 810b57cec5SDimitry Andric case ISD::PREFETCH: return "Prefetch"; 82bdd1243dSDimitry Andric case ISD::MEMBARRIER: return "MemBarrier"; 830b57cec5SDimitry Andric case ISD::ATOMIC_FENCE: return "AtomicFence"; 840b57cec5SDimitry Andric case ISD::ATOMIC_CMP_SWAP: return "AtomicCmpSwap"; 850b57cec5SDimitry Andric case ISD::ATOMIC_CMP_SWAP_WITH_SUCCESS: return "AtomicCmpSwapWithSuccess"; 860b57cec5SDimitry Andric case ISD::ATOMIC_SWAP: return "AtomicSwap"; 870b57cec5SDimitry Andric case ISD::ATOMIC_LOAD_ADD: return "AtomicLoadAdd"; 880b57cec5SDimitry Andric case ISD::ATOMIC_LOAD_SUB: return "AtomicLoadSub"; 890b57cec5SDimitry Andric case ISD::ATOMIC_LOAD_AND: return "AtomicLoadAnd"; 900b57cec5SDimitry Andric case ISD::ATOMIC_LOAD_CLR: return "AtomicLoadClr"; 910b57cec5SDimitry Andric case ISD::ATOMIC_LOAD_OR: return "AtomicLoadOr"; 920b57cec5SDimitry Andric case ISD::ATOMIC_LOAD_XOR: return "AtomicLoadXor"; 930b57cec5SDimitry Andric case ISD::ATOMIC_LOAD_NAND: return "AtomicLoadNand"; 940b57cec5SDimitry Andric case ISD::ATOMIC_LOAD_MIN: return "AtomicLoadMin"; 950b57cec5SDimitry Andric case ISD::ATOMIC_LOAD_MAX: return "AtomicLoadMax"; 960b57cec5SDimitry Andric case ISD::ATOMIC_LOAD_UMIN: return "AtomicLoadUMin"; 970b57cec5SDimitry Andric case ISD::ATOMIC_LOAD_UMAX: return "AtomicLoadUMax"; 980b57cec5SDimitry Andric case ISD::ATOMIC_LOAD_FADD: return "AtomicLoadFAdd"; 99bdd1243dSDimitry Andric case ISD::ATOMIC_LOAD_UINC_WRAP: 100bdd1243dSDimitry Andric return "AtomicLoadUIncWrap"; 101bdd1243dSDimitry Andric case ISD::ATOMIC_LOAD_UDEC_WRAP: 102bdd1243dSDimitry Andric return "AtomicLoadUDecWrap"; 1030b57cec5SDimitry Andric case ISD::ATOMIC_LOAD: return "AtomicLoad"; 1040b57cec5SDimitry Andric case ISD::ATOMIC_STORE: return "AtomicStore"; 1050b57cec5SDimitry Andric case ISD::PCMARKER: return "PCMarker"; 1060b57cec5SDimitry Andric case ISD::READCYCLECOUNTER: return "ReadCycleCounter"; 1070b57cec5SDimitry Andric case ISD::SRCVALUE: return "SrcValue"; 1080b57cec5SDimitry Andric case ISD::MDNODE_SDNODE: return "MDNode"; 1090b57cec5SDimitry Andric case ISD::EntryToken: return "EntryToken"; 1100b57cec5SDimitry Andric case ISD::TokenFactor: return "TokenFactor"; 1110b57cec5SDimitry Andric case ISD::AssertSext: return "AssertSext"; 1120b57cec5SDimitry Andric case ISD::AssertZext: return "AssertZext"; 1135ffd83dbSDimitry Andric case ISD::AssertAlign: return "AssertAlign"; 1140b57cec5SDimitry Andric 1150b57cec5SDimitry Andric case ISD::BasicBlock: return "BasicBlock"; 1160b57cec5SDimitry Andric case ISD::VALUETYPE: return "ValueType"; 1170b57cec5SDimitry Andric case ISD::Register: return "Register"; 1180b57cec5SDimitry Andric case ISD::RegisterMask: return "RegisterMask"; 1190b57cec5SDimitry Andric case ISD::Constant: 1200b57cec5SDimitry Andric if (cast<ConstantSDNode>(this)->isOpaque()) 1210b57cec5SDimitry Andric return "OpaqueConstant"; 1220b57cec5SDimitry Andric return "Constant"; 1230b57cec5SDimitry Andric case ISD::ConstantFP: return "ConstantFP"; 1240b57cec5SDimitry Andric case ISD::GlobalAddress: return "GlobalAddress"; 1250b57cec5SDimitry Andric case ISD::GlobalTLSAddress: return "GlobalTLSAddress"; 1260b57cec5SDimitry Andric case ISD::FrameIndex: return "FrameIndex"; 1270b57cec5SDimitry Andric case ISD::JumpTable: return "JumpTable"; 1280b57cec5SDimitry Andric case ISD::GLOBAL_OFFSET_TABLE: return "GLOBAL_OFFSET_TABLE"; 1290b57cec5SDimitry Andric case ISD::RETURNADDR: return "RETURNADDR"; 1300b57cec5SDimitry Andric case ISD::ADDROFRETURNADDR: return "ADDROFRETURNADDR"; 1310b57cec5SDimitry Andric case ISD::FRAMEADDR: return "FRAMEADDR"; 1320b57cec5SDimitry Andric case ISD::SPONENTRY: return "SPONENTRY"; 1330b57cec5SDimitry Andric case ISD::LOCAL_RECOVER: return "LOCAL_RECOVER"; 1340b57cec5SDimitry Andric case ISD::READ_REGISTER: return "READ_REGISTER"; 1350b57cec5SDimitry Andric case ISD::WRITE_REGISTER: return "WRITE_REGISTER"; 1360b57cec5SDimitry Andric case ISD::FRAME_TO_ARGS_OFFSET: return "FRAME_TO_ARGS_OFFSET"; 1370b57cec5SDimitry Andric case ISD::EH_DWARF_CFA: return "EH_DWARF_CFA"; 1380b57cec5SDimitry Andric case ISD::EH_RETURN: return "EH_RETURN"; 1390b57cec5SDimitry Andric case ISD::EH_SJLJ_SETJMP: return "EH_SJLJ_SETJMP"; 1400b57cec5SDimitry Andric case ISD::EH_SJLJ_LONGJMP: return "EH_SJLJ_LONGJMP"; 1410b57cec5SDimitry Andric case ISD::EH_SJLJ_SETUP_DISPATCH: return "EH_SJLJ_SETUP_DISPATCH"; 1420b57cec5SDimitry Andric case ISD::ConstantPool: return "ConstantPool"; 1430b57cec5SDimitry Andric case ISD::TargetIndex: return "TargetIndex"; 1440b57cec5SDimitry Andric case ISD::ExternalSymbol: return "ExternalSymbol"; 1450b57cec5SDimitry Andric case ISD::BlockAddress: return "BlockAddress"; 1460b57cec5SDimitry Andric case ISD::INTRINSIC_WO_CHAIN: 1470b57cec5SDimitry Andric case ISD::INTRINSIC_VOID: 1480b57cec5SDimitry Andric case ISD::INTRINSIC_W_CHAIN: { 1490b57cec5SDimitry Andric unsigned OpNo = getOpcode() == ISD::INTRINSIC_WO_CHAIN ? 0 : 1; 1500b57cec5SDimitry Andric unsigned IID = cast<ConstantSDNode>(getOperand(OpNo))->getZExtValue(); 1510b57cec5SDimitry Andric if (IID < Intrinsic::num_intrinsics) 152fe6060f1SDimitry Andric return Intrinsic::getBaseName((Intrinsic::ID)IID).str(); 153349cc55cSDimitry Andric if (!G) 1540b57cec5SDimitry Andric return "Unknown intrinsic"; 155349cc55cSDimitry Andric if (const TargetIntrinsicInfo *TII = G->getTarget().getIntrinsicInfo()) 1560b57cec5SDimitry Andric return TII->getName(IID); 1570b57cec5SDimitry Andric llvm_unreachable("Invalid intrinsic ID"); 1580b57cec5SDimitry Andric } 1590b57cec5SDimitry Andric 1600b57cec5SDimitry Andric case ISD::BUILD_VECTOR: return "BUILD_VECTOR"; 1610b57cec5SDimitry Andric case ISD::TargetConstant: 1620b57cec5SDimitry Andric if (cast<ConstantSDNode>(this)->isOpaque()) 1630b57cec5SDimitry Andric return "OpaqueTargetConstant"; 1640b57cec5SDimitry Andric return "TargetConstant"; 1650b57cec5SDimitry Andric case ISD::TargetConstantFP: return "TargetConstantFP"; 1660b57cec5SDimitry Andric case ISD::TargetGlobalAddress: return "TargetGlobalAddress"; 1670b57cec5SDimitry Andric case ISD::TargetGlobalTLSAddress: return "TargetGlobalTLSAddress"; 1680b57cec5SDimitry Andric case ISD::TargetFrameIndex: return "TargetFrameIndex"; 1690b57cec5SDimitry Andric case ISD::TargetJumpTable: return "TargetJumpTable"; 1700b57cec5SDimitry Andric case ISD::TargetConstantPool: return "TargetConstantPool"; 1710b57cec5SDimitry Andric case ISD::TargetExternalSymbol: return "TargetExternalSymbol"; 1720b57cec5SDimitry Andric case ISD::MCSymbol: return "MCSymbol"; 1730b57cec5SDimitry Andric case ISD::TargetBlockAddress: return "TargetBlockAddress"; 1740b57cec5SDimitry Andric 1750b57cec5SDimitry Andric case ISD::CopyToReg: return "CopyToReg"; 1760b57cec5SDimitry Andric case ISD::CopyFromReg: return "CopyFromReg"; 1770b57cec5SDimitry Andric case ISD::UNDEF: return "undef"; 1785ffd83dbSDimitry Andric case ISD::VSCALE: return "vscale"; 1790b57cec5SDimitry Andric case ISD::MERGE_VALUES: return "merge_values"; 1800b57cec5SDimitry Andric case ISD::INLINEASM: return "inlineasm"; 1810b57cec5SDimitry Andric case ISD::INLINEASM_BR: return "inlineasm_br"; 1820b57cec5SDimitry Andric case ISD::EH_LABEL: return "eh_label"; 1830b57cec5SDimitry Andric case ISD::ANNOTATION_LABEL: return "annotation_label"; 1840b57cec5SDimitry Andric case ISD::HANDLENODE: return "handlenode"; 1850b57cec5SDimitry Andric 1860b57cec5SDimitry Andric // Unary operators 1870b57cec5SDimitry Andric case ISD::FABS: return "fabs"; 1880b57cec5SDimitry Andric case ISD::FMINNUM: return "fminnum"; 1890b57cec5SDimitry Andric case ISD::STRICT_FMINNUM: return "strict_fminnum"; 1900b57cec5SDimitry Andric case ISD::FMAXNUM: return "fmaxnum"; 1910b57cec5SDimitry Andric case ISD::STRICT_FMAXNUM: return "strict_fmaxnum"; 1920b57cec5SDimitry Andric case ISD::FMINNUM_IEEE: return "fminnum_ieee"; 1930b57cec5SDimitry Andric case ISD::FMAXNUM_IEEE: return "fmaxnum_ieee"; 1940b57cec5SDimitry Andric case ISD::FMINIMUM: return "fminimum"; 195480093f4SDimitry Andric case ISD::STRICT_FMINIMUM: return "strict_fminimum"; 1960b57cec5SDimitry Andric case ISD::FMAXIMUM: return "fmaximum"; 197480093f4SDimitry Andric case ISD::STRICT_FMAXIMUM: return "strict_fmaximum"; 1980b57cec5SDimitry Andric case ISD::FNEG: return "fneg"; 1990b57cec5SDimitry Andric case ISD::FSQRT: return "fsqrt"; 2000b57cec5SDimitry Andric case ISD::STRICT_FSQRT: return "strict_fsqrt"; 2010b57cec5SDimitry Andric case ISD::FCBRT: return "fcbrt"; 2020b57cec5SDimitry Andric case ISD::FSIN: return "fsin"; 2030b57cec5SDimitry Andric case ISD::STRICT_FSIN: return "strict_fsin"; 2040b57cec5SDimitry Andric case ISD::FCOS: return "fcos"; 2050b57cec5SDimitry Andric case ISD::STRICT_FCOS: return "strict_fcos"; 2060b57cec5SDimitry Andric case ISD::FSINCOS: return "fsincos"; 2070b57cec5SDimitry Andric case ISD::FTRUNC: return "ftrunc"; 2080b57cec5SDimitry Andric case ISD::STRICT_FTRUNC: return "strict_ftrunc"; 2090b57cec5SDimitry Andric case ISD::FFLOOR: return "ffloor"; 2100b57cec5SDimitry Andric case ISD::STRICT_FFLOOR: return "strict_ffloor"; 2110b57cec5SDimitry Andric case ISD::FCEIL: return "fceil"; 2120b57cec5SDimitry Andric case ISD::STRICT_FCEIL: return "strict_fceil"; 2130b57cec5SDimitry Andric case ISD::FRINT: return "frint"; 2140b57cec5SDimitry Andric case ISD::STRICT_FRINT: return "strict_frint"; 2150b57cec5SDimitry Andric case ISD::FNEARBYINT: return "fnearbyint"; 2160b57cec5SDimitry Andric case ISD::STRICT_FNEARBYINT: return "strict_fnearbyint"; 2170b57cec5SDimitry Andric case ISD::FROUND: return "fround"; 2180b57cec5SDimitry Andric case ISD::STRICT_FROUND: return "strict_fround"; 2195ffd83dbSDimitry Andric case ISD::FROUNDEVEN: return "froundeven"; 2205ffd83dbSDimitry Andric case ISD::STRICT_FROUNDEVEN: return "strict_froundeven"; 2210b57cec5SDimitry Andric case ISD::FEXP: return "fexp"; 2220b57cec5SDimitry Andric case ISD::STRICT_FEXP: return "strict_fexp"; 2230b57cec5SDimitry Andric case ISD::FEXP2: return "fexp2"; 2240b57cec5SDimitry Andric case ISD::STRICT_FEXP2: return "strict_fexp2"; 2250b57cec5SDimitry Andric case ISD::FLOG: return "flog"; 2260b57cec5SDimitry Andric case ISD::STRICT_FLOG: return "strict_flog"; 2270b57cec5SDimitry Andric case ISD::FLOG2: return "flog2"; 2280b57cec5SDimitry Andric case ISD::STRICT_FLOG2: return "strict_flog2"; 2290b57cec5SDimitry Andric case ISD::FLOG10: return "flog10"; 2300b57cec5SDimitry Andric case ISD::STRICT_FLOG10: return "strict_flog10"; 2310b57cec5SDimitry Andric 2320b57cec5SDimitry Andric // Binary operators 2330b57cec5SDimitry Andric case ISD::ADD: return "add"; 2340b57cec5SDimitry Andric case ISD::SUB: return "sub"; 2350b57cec5SDimitry Andric case ISD::MUL: return "mul"; 2360b57cec5SDimitry Andric case ISD::MULHU: return "mulhu"; 2370b57cec5SDimitry Andric case ISD::MULHS: return "mulhs"; 23881ad6265SDimitry Andric case ISD::AVGFLOORU: return "avgflooru"; 23981ad6265SDimitry Andric case ISD::AVGFLOORS: return "avgfloors"; 24081ad6265SDimitry Andric case ISD::AVGCEILU: return "avgceilu"; 24181ad6265SDimitry Andric case ISD::AVGCEILS: return "avgceils"; 242fe6060f1SDimitry Andric case ISD::ABDS: return "abds"; 243fe6060f1SDimitry Andric case ISD::ABDU: return "abdu"; 2440b57cec5SDimitry Andric case ISD::SDIV: return "sdiv"; 2450b57cec5SDimitry Andric case ISD::UDIV: return "udiv"; 2460b57cec5SDimitry Andric case ISD::SREM: return "srem"; 2470b57cec5SDimitry Andric case ISD::UREM: return "urem"; 2480b57cec5SDimitry Andric case ISD::SMUL_LOHI: return "smul_lohi"; 2490b57cec5SDimitry Andric case ISD::UMUL_LOHI: return "umul_lohi"; 2500b57cec5SDimitry Andric case ISD::SDIVREM: return "sdivrem"; 2510b57cec5SDimitry Andric case ISD::UDIVREM: return "udivrem"; 2520b57cec5SDimitry Andric case ISD::AND: return "and"; 2530b57cec5SDimitry Andric case ISD::OR: return "or"; 2540b57cec5SDimitry Andric case ISD::XOR: return "xor"; 2550b57cec5SDimitry Andric case ISD::SHL: return "shl"; 2560b57cec5SDimitry Andric case ISD::SRA: return "sra"; 2570b57cec5SDimitry Andric case ISD::SRL: return "srl"; 2580b57cec5SDimitry Andric case ISD::ROTL: return "rotl"; 2590b57cec5SDimitry Andric case ISD::ROTR: return "rotr"; 2600b57cec5SDimitry Andric case ISD::FSHL: return "fshl"; 2610b57cec5SDimitry Andric case ISD::FSHR: return "fshr"; 2620b57cec5SDimitry Andric case ISD::FADD: return "fadd"; 2630b57cec5SDimitry Andric case ISD::STRICT_FADD: return "strict_fadd"; 2640b57cec5SDimitry Andric case ISD::FSUB: return "fsub"; 2650b57cec5SDimitry Andric case ISD::STRICT_FSUB: return "strict_fsub"; 2660b57cec5SDimitry Andric case ISD::FMUL: return "fmul"; 2670b57cec5SDimitry Andric case ISD::STRICT_FMUL: return "strict_fmul"; 2680b57cec5SDimitry Andric case ISD::FDIV: return "fdiv"; 2690b57cec5SDimitry Andric case ISD::STRICT_FDIV: return "strict_fdiv"; 2700b57cec5SDimitry Andric case ISD::FMA: return "fma"; 2710b57cec5SDimitry Andric case ISD::STRICT_FMA: return "strict_fma"; 2720b57cec5SDimitry Andric case ISD::FMAD: return "fmad"; 2730b57cec5SDimitry Andric case ISD::FREM: return "frem"; 2740b57cec5SDimitry Andric case ISD::STRICT_FREM: return "strict_frem"; 2750b57cec5SDimitry Andric case ISD::FCOPYSIGN: return "fcopysign"; 2760b57cec5SDimitry Andric case ISD::FGETSIGN: return "fgetsign"; 2770b57cec5SDimitry Andric case ISD::FCANONICALIZE: return "fcanonicalize"; 27881ad6265SDimitry Andric case ISD::IS_FPCLASS: return "is_fpclass"; 2790b57cec5SDimitry Andric case ISD::FPOW: return "fpow"; 2800b57cec5SDimitry Andric case ISD::STRICT_FPOW: return "strict_fpow"; 2810b57cec5SDimitry Andric case ISD::SMIN: return "smin"; 2820b57cec5SDimitry Andric case ISD::SMAX: return "smax"; 2830b57cec5SDimitry Andric case ISD::UMIN: return "umin"; 2840b57cec5SDimitry Andric case ISD::UMAX: return "umax"; 2850b57cec5SDimitry Andric 286*06c3fb27SDimitry Andric case ISD::FLDEXP: return "fldexp"; 287*06c3fb27SDimitry Andric case ISD::STRICT_FLDEXP: return "strict_fldexp"; 288*06c3fb27SDimitry Andric case ISD::FFREXP: return "ffrexp"; 2890b57cec5SDimitry Andric case ISD::FPOWI: return "fpowi"; 2900b57cec5SDimitry Andric case ISD::STRICT_FPOWI: return "strict_fpowi"; 2910b57cec5SDimitry Andric case ISD::SETCC: return "setcc"; 2920b57cec5SDimitry Andric case ISD::SETCCCARRY: return "setcccarry"; 293480093f4SDimitry Andric case ISD::STRICT_FSETCC: return "strict_fsetcc"; 294480093f4SDimitry Andric case ISD::STRICT_FSETCCS: return "strict_fsetccs"; 2950b57cec5SDimitry Andric case ISD::SELECT: return "select"; 2960b57cec5SDimitry Andric case ISD::VSELECT: return "vselect"; 2970b57cec5SDimitry Andric case ISD::SELECT_CC: return "select_cc"; 2980b57cec5SDimitry Andric case ISD::INSERT_VECTOR_ELT: return "insert_vector_elt"; 2990b57cec5SDimitry Andric case ISD::EXTRACT_VECTOR_ELT: return "extract_vector_elt"; 3000b57cec5SDimitry Andric case ISD::CONCAT_VECTORS: return "concat_vectors"; 3010b57cec5SDimitry Andric case ISD::INSERT_SUBVECTOR: return "insert_subvector"; 3020b57cec5SDimitry Andric case ISD::EXTRACT_SUBVECTOR: return "extract_subvector"; 303*06c3fb27SDimitry Andric case ISD::VECTOR_DEINTERLEAVE: return "vector_deinterleave"; 304*06c3fb27SDimitry Andric case ISD::VECTOR_INTERLEAVE: return "vector_interleave"; 3050b57cec5SDimitry Andric case ISD::SCALAR_TO_VECTOR: return "scalar_to_vector"; 3060b57cec5SDimitry Andric case ISD::VECTOR_SHUFFLE: return "vector_shuffle"; 307fe6060f1SDimitry Andric case ISD::VECTOR_SPLICE: return "vector_splice"; 3088bcb0991SDimitry Andric case ISD::SPLAT_VECTOR: return "splat_vector"; 309fe6060f1SDimitry Andric case ISD::SPLAT_VECTOR_PARTS: return "splat_vector_parts"; 310fe6060f1SDimitry Andric case ISD::VECTOR_REVERSE: return "vector_reverse"; 311fe6060f1SDimitry Andric case ISD::STEP_VECTOR: return "step_vector"; 3120b57cec5SDimitry Andric case ISD::CARRY_FALSE: return "carry_false"; 3130b57cec5SDimitry Andric case ISD::ADDC: return "addc"; 3140b57cec5SDimitry Andric case ISD::ADDE: return "adde"; 315*06c3fb27SDimitry Andric case ISD::UADDO_CARRY: return "uaddo_carry"; 316e8d8bef9SDimitry Andric case ISD::SADDO_CARRY: return "saddo_carry"; 3170b57cec5SDimitry Andric case ISD::SADDO: return "saddo"; 3180b57cec5SDimitry Andric case ISD::UADDO: return "uaddo"; 3190b57cec5SDimitry Andric case ISD::SSUBO: return "ssubo"; 3200b57cec5SDimitry Andric case ISD::USUBO: return "usubo"; 3210b57cec5SDimitry Andric case ISD::SMULO: return "smulo"; 3220b57cec5SDimitry Andric case ISD::UMULO: return "umulo"; 3230b57cec5SDimitry Andric case ISD::SUBC: return "subc"; 3240b57cec5SDimitry Andric case ISD::SUBE: return "sube"; 325*06c3fb27SDimitry Andric case ISD::USUBO_CARRY: return "usubo_carry"; 326e8d8bef9SDimitry Andric case ISD::SSUBO_CARRY: return "ssubo_carry"; 3270b57cec5SDimitry Andric case ISD::SHL_PARTS: return "shl_parts"; 3280b57cec5SDimitry Andric case ISD::SRA_PARTS: return "sra_parts"; 3290b57cec5SDimitry Andric case ISD::SRL_PARTS: return "srl_parts"; 3300b57cec5SDimitry Andric 3310b57cec5SDimitry Andric case ISD::SADDSAT: return "saddsat"; 3320b57cec5SDimitry Andric case ISD::UADDSAT: return "uaddsat"; 3330b57cec5SDimitry Andric case ISD::SSUBSAT: return "ssubsat"; 3340b57cec5SDimitry Andric case ISD::USUBSAT: return "usubsat"; 335e8d8bef9SDimitry Andric case ISD::SSHLSAT: return "sshlsat"; 336e8d8bef9SDimitry Andric case ISD::USHLSAT: return "ushlsat"; 3370b57cec5SDimitry Andric 3380b57cec5SDimitry Andric case ISD::SMULFIX: return "smulfix"; 3390b57cec5SDimitry Andric case ISD::SMULFIXSAT: return "smulfixsat"; 3400b57cec5SDimitry Andric case ISD::UMULFIX: return "umulfix"; 3418bcb0991SDimitry Andric case ISD::UMULFIXSAT: return "umulfixsat"; 3420b57cec5SDimitry Andric 343480093f4SDimitry Andric case ISD::SDIVFIX: return "sdivfix"; 3445ffd83dbSDimitry Andric case ISD::SDIVFIXSAT: return "sdivfixsat"; 345480093f4SDimitry Andric case ISD::UDIVFIX: return "udivfix"; 3465ffd83dbSDimitry Andric case ISD::UDIVFIXSAT: return "udivfixsat"; 347480093f4SDimitry Andric 3480b57cec5SDimitry Andric // Conversion operators. 3490b57cec5SDimitry Andric case ISD::SIGN_EXTEND: return "sign_extend"; 3500b57cec5SDimitry Andric case ISD::ZERO_EXTEND: return "zero_extend"; 3510b57cec5SDimitry Andric case ISD::ANY_EXTEND: return "any_extend"; 3520b57cec5SDimitry Andric case ISD::SIGN_EXTEND_INREG: return "sign_extend_inreg"; 3530b57cec5SDimitry Andric case ISD::ANY_EXTEND_VECTOR_INREG: return "any_extend_vector_inreg"; 3540b57cec5SDimitry Andric case ISD::SIGN_EXTEND_VECTOR_INREG: return "sign_extend_vector_inreg"; 3550b57cec5SDimitry Andric case ISD::ZERO_EXTEND_VECTOR_INREG: return "zero_extend_vector_inreg"; 3560b57cec5SDimitry Andric case ISD::TRUNCATE: return "truncate"; 3570b57cec5SDimitry Andric case ISD::FP_ROUND: return "fp_round"; 3580b57cec5SDimitry Andric case ISD::STRICT_FP_ROUND: return "strict_fp_round"; 3590b57cec5SDimitry Andric case ISD::FP_EXTEND: return "fp_extend"; 3600b57cec5SDimitry Andric case ISD::STRICT_FP_EXTEND: return "strict_fp_extend"; 3610b57cec5SDimitry Andric 3620b57cec5SDimitry Andric case ISD::SINT_TO_FP: return "sint_to_fp"; 363480093f4SDimitry Andric case ISD::STRICT_SINT_TO_FP: return "strict_sint_to_fp"; 3640b57cec5SDimitry Andric case ISD::UINT_TO_FP: return "uint_to_fp"; 365480093f4SDimitry Andric case ISD::STRICT_UINT_TO_FP: return "strict_uint_to_fp"; 3660b57cec5SDimitry Andric case ISD::FP_TO_SINT: return "fp_to_sint"; 3678bcb0991SDimitry Andric case ISD::STRICT_FP_TO_SINT: return "strict_fp_to_sint"; 3680b57cec5SDimitry Andric case ISD::FP_TO_UINT: return "fp_to_uint"; 3698bcb0991SDimitry Andric case ISD::STRICT_FP_TO_UINT: return "strict_fp_to_uint"; 370e8d8bef9SDimitry Andric case ISD::FP_TO_SINT_SAT: return "fp_to_sint_sat"; 371e8d8bef9SDimitry Andric case ISD::FP_TO_UINT_SAT: return "fp_to_uint_sat"; 3720b57cec5SDimitry Andric case ISD::BITCAST: return "bitcast"; 3730b57cec5SDimitry Andric case ISD::ADDRSPACECAST: return "addrspacecast"; 3740b57cec5SDimitry Andric case ISD::FP16_TO_FP: return "fp16_to_fp"; 3755ffd83dbSDimitry Andric case ISD::STRICT_FP16_TO_FP: return "strict_fp16_to_fp"; 3760b57cec5SDimitry Andric case ISD::FP_TO_FP16: return "fp_to_fp16"; 3775ffd83dbSDimitry Andric case ISD::STRICT_FP_TO_FP16: return "strict_fp_to_fp16"; 37881ad6265SDimitry Andric case ISD::BF16_TO_FP: return "bf16_to_fp"; 37981ad6265SDimitry Andric case ISD::FP_TO_BF16: return "fp_to_bf16"; 3800b57cec5SDimitry Andric case ISD::LROUND: return "lround"; 3818bcb0991SDimitry Andric case ISD::STRICT_LROUND: return "strict_lround"; 3820b57cec5SDimitry Andric case ISD::LLROUND: return "llround"; 3838bcb0991SDimitry Andric case ISD::STRICT_LLROUND: return "strict_llround"; 3840b57cec5SDimitry Andric case ISD::LRINT: return "lrint"; 3858bcb0991SDimitry Andric case ISD::STRICT_LRINT: return "strict_lrint"; 3860b57cec5SDimitry Andric case ISD::LLRINT: return "llrint"; 3878bcb0991SDimitry Andric case ISD::STRICT_LLRINT: return "strict_llrint"; 3880b57cec5SDimitry Andric 3890b57cec5SDimitry Andric // Control flow instructions 3900b57cec5SDimitry Andric case ISD::BR: return "br"; 3910b57cec5SDimitry Andric case ISD::BRIND: return "brind"; 3920b57cec5SDimitry Andric case ISD::BR_JT: return "br_jt"; 3930b57cec5SDimitry Andric case ISD::BRCOND: return "brcond"; 3940b57cec5SDimitry Andric case ISD::BR_CC: return "br_cc"; 3950b57cec5SDimitry Andric case ISD::CALLSEQ_START: return "callseq_start"; 3960b57cec5SDimitry Andric case ISD::CALLSEQ_END: return "callseq_end"; 3970b57cec5SDimitry Andric 3980b57cec5SDimitry Andric // EH instructions 3990b57cec5SDimitry Andric case ISD::CATCHRET: return "catchret"; 4000b57cec5SDimitry Andric case ISD::CLEANUPRET: return "cleanupret"; 4010b57cec5SDimitry Andric 4020b57cec5SDimitry Andric // Other operators 4030b57cec5SDimitry Andric case ISD::LOAD: return "load"; 4040b57cec5SDimitry Andric case ISD::STORE: return "store"; 4050b57cec5SDimitry Andric case ISD::MLOAD: return "masked_load"; 4060b57cec5SDimitry Andric case ISD::MSTORE: return "masked_store"; 4070b57cec5SDimitry Andric case ISD::MGATHER: return "masked_gather"; 4080b57cec5SDimitry Andric case ISD::MSCATTER: return "masked_scatter"; 4090b57cec5SDimitry Andric case ISD::VAARG: return "vaarg"; 4100b57cec5SDimitry Andric case ISD::VACOPY: return "vacopy"; 4110b57cec5SDimitry Andric case ISD::VAEND: return "vaend"; 4120b57cec5SDimitry Andric case ISD::VASTART: return "vastart"; 4130b57cec5SDimitry Andric case ISD::DYNAMIC_STACKALLOC: return "dynamic_stackalloc"; 4140b57cec5SDimitry Andric case ISD::EXTRACT_ELEMENT: return "extract_element"; 4150b57cec5SDimitry Andric case ISD::BUILD_PAIR: return "build_pair"; 4160b57cec5SDimitry Andric case ISD::STACKSAVE: return "stacksave"; 4170b57cec5SDimitry Andric case ISD::STACKRESTORE: return "stackrestore"; 4180b57cec5SDimitry Andric case ISD::TRAP: return "trap"; 4190b57cec5SDimitry Andric case ISD::DEBUGTRAP: return "debugtrap"; 420e8d8bef9SDimitry Andric case ISD::UBSANTRAP: return "ubsantrap"; 4210b57cec5SDimitry Andric case ISD::LIFETIME_START: return "lifetime.start"; 4220b57cec5SDimitry Andric case ISD::LIFETIME_END: return "lifetime.end"; 423e8d8bef9SDimitry Andric case ISD::PSEUDO_PROBE: 424e8d8bef9SDimitry Andric return "pseudoprobe"; 4250b57cec5SDimitry Andric case ISD::GC_TRANSITION_START: return "gc_transition.start"; 4260b57cec5SDimitry Andric case ISD::GC_TRANSITION_END: return "gc_transition.end"; 4270b57cec5SDimitry Andric case ISD::GET_DYNAMIC_AREA_OFFSET: return "get.dynamic.area.offset"; 4285ffd83dbSDimitry Andric case ISD::FREEZE: return "freeze"; 4295ffd83dbSDimitry Andric case ISD::PREALLOCATED_SETUP: 4305ffd83dbSDimitry Andric return "call_setup"; 4315ffd83dbSDimitry Andric case ISD::PREALLOCATED_ARG: 4325ffd83dbSDimitry Andric return "call_alloc"; 4330b57cec5SDimitry Andric 434fe6060f1SDimitry Andric // Floating point environment manipulation 435bdd1243dSDimitry Andric case ISD::GET_ROUNDING: return "get_rounding"; 436fe6060f1SDimitry Andric case ISD::SET_ROUNDING: return "set_rounding"; 437*06c3fb27SDimitry Andric case ISD::GET_FPENV: return "get_fpenv"; 438*06c3fb27SDimitry Andric case ISD::SET_FPENV: return "set_fpenv"; 439*06c3fb27SDimitry Andric case ISD::RESET_FPENV: return "reset_fpenv"; 440*06c3fb27SDimitry Andric case ISD::GET_FPENV_MEM: return "get_fpenv_mem"; 441*06c3fb27SDimitry Andric case ISD::SET_FPENV_MEM: return "set_fpenv_mem"; 442fe6060f1SDimitry Andric 4430b57cec5SDimitry Andric // Bit manipulation 4440b57cec5SDimitry Andric case ISD::ABS: return "abs"; 4450b57cec5SDimitry Andric case ISD::BITREVERSE: return "bitreverse"; 4460b57cec5SDimitry Andric case ISD::BSWAP: return "bswap"; 4470b57cec5SDimitry Andric case ISD::CTPOP: return "ctpop"; 4480b57cec5SDimitry Andric case ISD::CTTZ: return "cttz"; 4490b57cec5SDimitry Andric case ISD::CTTZ_ZERO_UNDEF: return "cttz_zero_undef"; 4500b57cec5SDimitry Andric case ISD::CTLZ: return "ctlz"; 4510b57cec5SDimitry Andric case ISD::CTLZ_ZERO_UNDEF: return "ctlz_zero_undef"; 452e8d8bef9SDimitry Andric case ISD::PARITY: return "parity"; 4530b57cec5SDimitry Andric 4540b57cec5SDimitry Andric // Trampolines 4550b57cec5SDimitry Andric case ISD::INIT_TRAMPOLINE: return "init_trampoline"; 4560b57cec5SDimitry Andric case ISD::ADJUST_TRAMPOLINE: return "adjust_trampoline"; 4570b57cec5SDimitry Andric 4580b57cec5SDimitry Andric case ISD::CONDCODE: 4590b57cec5SDimitry Andric switch (cast<CondCodeSDNode>(this)->get()) { 4600b57cec5SDimitry Andric default: llvm_unreachable("Unknown setcc condition!"); 4610b57cec5SDimitry Andric case ISD::SETOEQ: return "setoeq"; 4620b57cec5SDimitry Andric case ISD::SETOGT: return "setogt"; 4630b57cec5SDimitry Andric case ISD::SETOGE: return "setoge"; 4640b57cec5SDimitry Andric case ISD::SETOLT: return "setolt"; 4650b57cec5SDimitry Andric case ISD::SETOLE: return "setole"; 4660b57cec5SDimitry Andric case ISD::SETONE: return "setone"; 4670b57cec5SDimitry Andric 4680b57cec5SDimitry Andric case ISD::SETO: return "seto"; 4690b57cec5SDimitry Andric case ISD::SETUO: return "setuo"; 4700b57cec5SDimitry Andric case ISD::SETUEQ: return "setueq"; 4710b57cec5SDimitry Andric case ISD::SETUGT: return "setugt"; 4720b57cec5SDimitry Andric case ISD::SETUGE: return "setuge"; 4730b57cec5SDimitry Andric case ISD::SETULT: return "setult"; 4740b57cec5SDimitry Andric case ISD::SETULE: return "setule"; 4750b57cec5SDimitry Andric case ISD::SETUNE: return "setune"; 4760b57cec5SDimitry Andric 4770b57cec5SDimitry Andric case ISD::SETEQ: return "seteq"; 4780b57cec5SDimitry Andric case ISD::SETGT: return "setgt"; 4790b57cec5SDimitry Andric case ISD::SETGE: return "setge"; 4800b57cec5SDimitry Andric case ISD::SETLT: return "setlt"; 4810b57cec5SDimitry Andric case ISD::SETLE: return "setle"; 4820b57cec5SDimitry Andric case ISD::SETNE: return "setne"; 4830b57cec5SDimitry Andric 4840b57cec5SDimitry Andric case ISD::SETTRUE: return "settrue"; 4850b57cec5SDimitry Andric case ISD::SETTRUE2: return "settrue2"; 4860b57cec5SDimitry Andric case ISD::SETFALSE: return "setfalse"; 4870b57cec5SDimitry Andric case ISD::SETFALSE2: return "setfalse2"; 4880b57cec5SDimitry Andric } 4890b57cec5SDimitry Andric case ISD::VECREDUCE_FADD: return "vecreduce_fadd"; 490e8d8bef9SDimitry Andric case ISD::VECREDUCE_SEQ_FADD: return "vecreduce_seq_fadd"; 4910b57cec5SDimitry Andric case ISD::VECREDUCE_FMUL: return "vecreduce_fmul"; 492e8d8bef9SDimitry Andric case ISD::VECREDUCE_SEQ_FMUL: return "vecreduce_seq_fmul"; 4930b57cec5SDimitry Andric case ISD::VECREDUCE_ADD: return "vecreduce_add"; 4940b57cec5SDimitry Andric case ISD::VECREDUCE_MUL: return "vecreduce_mul"; 4950b57cec5SDimitry Andric case ISD::VECREDUCE_AND: return "vecreduce_and"; 4960b57cec5SDimitry Andric case ISD::VECREDUCE_OR: return "vecreduce_or"; 4970b57cec5SDimitry Andric case ISD::VECREDUCE_XOR: return "vecreduce_xor"; 4980b57cec5SDimitry Andric case ISD::VECREDUCE_SMAX: return "vecreduce_smax"; 4990b57cec5SDimitry Andric case ISD::VECREDUCE_SMIN: return "vecreduce_smin"; 5000b57cec5SDimitry Andric case ISD::VECREDUCE_UMAX: return "vecreduce_umax"; 5010b57cec5SDimitry Andric case ISD::VECREDUCE_UMIN: return "vecreduce_umin"; 5020b57cec5SDimitry Andric case ISD::VECREDUCE_FMAX: return "vecreduce_fmax"; 5030b57cec5SDimitry Andric case ISD::VECREDUCE_FMIN: return "vecreduce_fmin"; 504*06c3fb27SDimitry Andric case ISD::VECREDUCE_FMAXIMUM: return "vecreduce_fmaximum"; 505*06c3fb27SDimitry Andric case ISD::VECREDUCE_FMINIMUM: return "vecreduce_fminimum"; 506753f127fSDimitry Andric case ISD::STACKMAP: 507753f127fSDimitry Andric return "stackmap"; 508fcaf7f86SDimitry Andric case ISD::PATCHPOINT: 509fcaf7f86SDimitry Andric return "patchpoint"; 510e8d8bef9SDimitry Andric 511e8d8bef9SDimitry Andric // Vector Predication 512e8d8bef9SDimitry Andric #define BEGIN_REGISTER_VP_SDNODE(SDID, LEGALARG, NAME, ...) \ 513e8d8bef9SDimitry Andric case ISD::SDID: \ 514e8d8bef9SDimitry Andric return #NAME; 515e8d8bef9SDimitry Andric #include "llvm/IR/VPIntrinsics.def" 5160b57cec5SDimitry Andric } 5170b57cec5SDimitry Andric } 5180b57cec5SDimitry Andric 5190b57cec5SDimitry Andric const char *SDNode::getIndexedModeName(ISD::MemIndexedMode AM) { 5200b57cec5SDimitry Andric switch (AM) { 5210b57cec5SDimitry Andric default: return ""; 5220b57cec5SDimitry Andric case ISD::PRE_INC: return "<pre-inc>"; 5230b57cec5SDimitry Andric case ISD::PRE_DEC: return "<pre-dec>"; 5240b57cec5SDimitry Andric case ISD::POST_INC: return "<post-inc>"; 5250b57cec5SDimitry Andric case ISD::POST_DEC: return "<post-dec>"; 5260b57cec5SDimitry Andric } 5270b57cec5SDimitry Andric } 5280b57cec5SDimitry Andric 5290b57cec5SDimitry Andric static Printable PrintNodeId(const SDNode &Node) { 5300b57cec5SDimitry Andric return Printable([&Node](raw_ostream &OS) { 5310b57cec5SDimitry Andric #ifndef NDEBUG 5320b57cec5SDimitry Andric OS << 't' << Node.PersistentId; 5330b57cec5SDimitry Andric #else 5340b57cec5SDimitry Andric OS << (const void*)&Node; 5350b57cec5SDimitry Andric #endif 5360b57cec5SDimitry Andric }); 5370b57cec5SDimitry Andric } 5380b57cec5SDimitry Andric 5390b57cec5SDimitry Andric // Print the MMO with more information from the SelectionDAG. 5400b57cec5SDimitry Andric static void printMemOperand(raw_ostream &OS, const MachineMemOperand &MMO, 5410b57cec5SDimitry Andric const MachineFunction *MF, const Module *M, 5420b57cec5SDimitry Andric const MachineFrameInfo *MFI, 5430b57cec5SDimitry Andric const TargetInstrInfo *TII, LLVMContext &Ctx) { 5440b57cec5SDimitry Andric ModuleSlotTracker MST(M); 5450b57cec5SDimitry Andric if (MF) 5460b57cec5SDimitry Andric MST.incorporateFunction(MF->getFunction()); 5470b57cec5SDimitry Andric SmallVector<StringRef, 0> SSNs; 5480b57cec5SDimitry Andric MMO.print(OS, MST, SSNs, Ctx, MFI, TII); 5490b57cec5SDimitry Andric } 5500b57cec5SDimitry Andric 5510b57cec5SDimitry Andric static void printMemOperand(raw_ostream &OS, const MachineMemOperand &MMO, 5520b57cec5SDimitry Andric const SelectionDAG *G) { 5530b57cec5SDimitry Andric if (G) { 5540b57cec5SDimitry Andric const MachineFunction *MF = &G->getMachineFunction(); 5550b57cec5SDimitry Andric return printMemOperand(OS, MMO, MF, MF->getFunction().getParent(), 556349cc55cSDimitry Andric &MF->getFrameInfo(), 557349cc55cSDimitry Andric G->getSubtarget().getInstrInfo(), *G->getContext()); 558349cc55cSDimitry Andric } 559349cc55cSDimitry Andric 5600b57cec5SDimitry Andric LLVMContext Ctx; 5610b57cec5SDimitry Andric return printMemOperand(OS, MMO, /*MF=*/nullptr, /*M=*/nullptr, 5620b57cec5SDimitry Andric /*MFI=*/nullptr, /*TII=*/nullptr, Ctx); 5630b57cec5SDimitry Andric } 5640b57cec5SDimitry Andric 5650b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 5660b57cec5SDimitry Andric LLVM_DUMP_METHOD void SDNode::dump() const { dump(nullptr); } 5670b57cec5SDimitry Andric 5680b57cec5SDimitry Andric LLVM_DUMP_METHOD void SDNode::dump(const SelectionDAG *G) const { 5690b57cec5SDimitry Andric print(dbgs(), G); 5700b57cec5SDimitry Andric dbgs() << '\n'; 5710b57cec5SDimitry Andric } 5720b57cec5SDimitry Andric #endif 5730b57cec5SDimitry Andric 5740b57cec5SDimitry Andric void SDNode::print_types(raw_ostream &OS, const SelectionDAG *G) const { 5750b57cec5SDimitry Andric for (unsigned i = 0, e = getNumValues(); i != e; ++i) { 5760b57cec5SDimitry Andric if (i) OS << ","; 5770b57cec5SDimitry Andric if (getValueType(i) == MVT::Other) 5780b57cec5SDimitry Andric OS << "ch"; 5790b57cec5SDimitry Andric else 5800b57cec5SDimitry Andric OS << getValueType(i).getEVTString(); 5810b57cec5SDimitry Andric } 5820b57cec5SDimitry Andric } 5830b57cec5SDimitry Andric 5840b57cec5SDimitry Andric void SDNode::print_details(raw_ostream &OS, const SelectionDAG *G) const { 5850b57cec5SDimitry Andric if (getFlags().hasNoUnsignedWrap()) 5860b57cec5SDimitry Andric OS << " nuw"; 5870b57cec5SDimitry Andric 5880b57cec5SDimitry Andric if (getFlags().hasNoSignedWrap()) 5890b57cec5SDimitry Andric OS << " nsw"; 5900b57cec5SDimitry Andric 5910b57cec5SDimitry Andric if (getFlags().hasExact()) 5920b57cec5SDimitry Andric OS << " exact"; 5930b57cec5SDimitry Andric 5940b57cec5SDimitry Andric if (getFlags().hasNoNaNs()) 5950b57cec5SDimitry Andric OS << " nnan"; 5960b57cec5SDimitry Andric 5970b57cec5SDimitry Andric if (getFlags().hasNoInfs()) 5980b57cec5SDimitry Andric OS << " ninf"; 5990b57cec5SDimitry Andric 6000b57cec5SDimitry Andric if (getFlags().hasNoSignedZeros()) 6010b57cec5SDimitry Andric OS << " nsz"; 6020b57cec5SDimitry Andric 6030b57cec5SDimitry Andric if (getFlags().hasAllowReciprocal()) 6040b57cec5SDimitry Andric OS << " arcp"; 6050b57cec5SDimitry Andric 6060b57cec5SDimitry Andric if (getFlags().hasAllowContract()) 6070b57cec5SDimitry Andric OS << " contract"; 6080b57cec5SDimitry Andric 6090b57cec5SDimitry Andric if (getFlags().hasApproximateFuncs()) 6100b57cec5SDimitry Andric OS << " afn"; 6110b57cec5SDimitry Andric 6120b57cec5SDimitry Andric if (getFlags().hasAllowReassociation()) 6130b57cec5SDimitry Andric OS << " reassoc"; 6140b57cec5SDimitry Andric 615480093f4SDimitry Andric if (getFlags().hasNoFPExcept()) 616480093f4SDimitry Andric OS << " nofpexcept"; 617480093f4SDimitry Andric 6180b57cec5SDimitry Andric if (const MachineSDNode *MN = dyn_cast<MachineSDNode>(this)) { 6190b57cec5SDimitry Andric if (!MN->memoperands_empty()) { 6200b57cec5SDimitry Andric OS << "<"; 6210b57cec5SDimitry Andric OS << "Mem:"; 6220b57cec5SDimitry Andric for (MachineSDNode::mmo_iterator i = MN->memoperands_begin(), 6230b57cec5SDimitry Andric e = MN->memoperands_end(); i != e; ++i) { 6240b57cec5SDimitry Andric printMemOperand(OS, **i, G); 6250b57cec5SDimitry Andric if (std::next(i) != e) 6260b57cec5SDimitry Andric OS << " "; 6270b57cec5SDimitry Andric } 6280b57cec5SDimitry Andric OS << ">"; 6290b57cec5SDimitry Andric } 6300b57cec5SDimitry Andric } else if (const ShuffleVectorSDNode *SVN = 6310b57cec5SDimitry Andric dyn_cast<ShuffleVectorSDNode>(this)) { 6320b57cec5SDimitry Andric OS << "<"; 6330b57cec5SDimitry Andric for (unsigned i = 0, e = ValueList[0].getVectorNumElements(); i != e; ++i) { 6340b57cec5SDimitry Andric int Idx = SVN->getMaskElt(i); 6350b57cec5SDimitry Andric if (i) OS << ","; 6360b57cec5SDimitry Andric if (Idx < 0) 6370b57cec5SDimitry Andric OS << "u"; 6380b57cec5SDimitry Andric else 6390b57cec5SDimitry Andric OS << Idx; 6400b57cec5SDimitry Andric } 6410b57cec5SDimitry Andric OS << ">"; 6420b57cec5SDimitry Andric } else if (const ConstantSDNode *CSDN = dyn_cast<ConstantSDNode>(this)) { 6430b57cec5SDimitry Andric OS << '<' << CSDN->getAPIntValue() << '>'; 6440b57cec5SDimitry Andric } else if (const ConstantFPSDNode *CSDN = dyn_cast<ConstantFPSDNode>(this)) { 6450b57cec5SDimitry Andric if (&CSDN->getValueAPF().getSemantics() == &APFloat::IEEEsingle()) 6460b57cec5SDimitry Andric OS << '<' << CSDN->getValueAPF().convertToFloat() << '>'; 6470b57cec5SDimitry Andric else if (&CSDN->getValueAPF().getSemantics() == &APFloat::IEEEdouble()) 6480b57cec5SDimitry Andric OS << '<' << CSDN->getValueAPF().convertToDouble() << '>'; 6490b57cec5SDimitry Andric else { 6500b57cec5SDimitry Andric OS << "<APFloat("; 6510b57cec5SDimitry Andric CSDN->getValueAPF().bitcastToAPInt().print(OS, false); 6520b57cec5SDimitry Andric OS << ")>"; 6530b57cec5SDimitry Andric } 6540b57cec5SDimitry Andric } else if (const GlobalAddressSDNode *GADN = 6550b57cec5SDimitry Andric dyn_cast<GlobalAddressSDNode>(this)) { 6560b57cec5SDimitry Andric int64_t offset = GADN->getOffset(); 6570b57cec5SDimitry Andric OS << '<'; 6580b57cec5SDimitry Andric GADN->getGlobal()->printAsOperand(OS); 6590b57cec5SDimitry Andric OS << '>'; 6600b57cec5SDimitry Andric if (offset > 0) 6610b57cec5SDimitry Andric OS << " + " << offset; 6620b57cec5SDimitry Andric else 6630b57cec5SDimitry Andric OS << " " << offset; 6640b57cec5SDimitry Andric if (unsigned int TF = GADN->getTargetFlags()) 6650b57cec5SDimitry Andric OS << " [TF=" << TF << ']'; 6660b57cec5SDimitry Andric } else if (const FrameIndexSDNode *FIDN = dyn_cast<FrameIndexSDNode>(this)) { 6670b57cec5SDimitry Andric OS << "<" << FIDN->getIndex() << ">"; 6680b57cec5SDimitry Andric } else if (const JumpTableSDNode *JTDN = dyn_cast<JumpTableSDNode>(this)) { 6690b57cec5SDimitry Andric OS << "<" << JTDN->getIndex() << ">"; 6700b57cec5SDimitry Andric if (unsigned int TF = JTDN->getTargetFlags()) 6710b57cec5SDimitry Andric OS << " [TF=" << TF << ']'; 6720b57cec5SDimitry Andric } else if (const ConstantPoolSDNode *CP = dyn_cast<ConstantPoolSDNode>(this)){ 6730b57cec5SDimitry Andric int offset = CP->getOffset(); 6740b57cec5SDimitry Andric if (CP->isMachineConstantPoolEntry()) 6750b57cec5SDimitry Andric OS << "<" << *CP->getMachineCPVal() << ">"; 6760b57cec5SDimitry Andric else 6770b57cec5SDimitry Andric OS << "<" << *CP->getConstVal() << ">"; 6780b57cec5SDimitry Andric if (offset > 0) 6790b57cec5SDimitry Andric OS << " + " << offset; 6800b57cec5SDimitry Andric else 6810b57cec5SDimitry Andric OS << " " << offset; 6820b57cec5SDimitry Andric if (unsigned int TF = CP->getTargetFlags()) 6830b57cec5SDimitry Andric OS << " [TF=" << TF << ']'; 6840b57cec5SDimitry Andric } else if (const TargetIndexSDNode *TI = dyn_cast<TargetIndexSDNode>(this)) { 6850b57cec5SDimitry Andric OS << "<" << TI->getIndex() << '+' << TI->getOffset() << ">"; 6860b57cec5SDimitry Andric if (unsigned TF = TI->getTargetFlags()) 6870b57cec5SDimitry Andric OS << " [TF=" << TF << ']'; 6880b57cec5SDimitry Andric } else if (const BasicBlockSDNode *BBDN = dyn_cast<BasicBlockSDNode>(this)) { 6890b57cec5SDimitry Andric OS << "<"; 6900b57cec5SDimitry Andric const Value *LBB = (const Value*)BBDN->getBasicBlock()->getBasicBlock(); 6910b57cec5SDimitry Andric if (LBB) 6920b57cec5SDimitry Andric OS << LBB->getName() << " "; 6930b57cec5SDimitry Andric OS << (const void*)BBDN->getBasicBlock() << ">"; 6940b57cec5SDimitry Andric } else if (const RegisterSDNode *R = dyn_cast<RegisterSDNode>(this)) { 6950b57cec5SDimitry Andric OS << ' ' << printReg(R->getReg(), 6960b57cec5SDimitry Andric G ? G->getSubtarget().getRegisterInfo() : nullptr); 6970b57cec5SDimitry Andric } else if (const ExternalSymbolSDNode *ES = 6980b57cec5SDimitry Andric dyn_cast<ExternalSymbolSDNode>(this)) { 6990b57cec5SDimitry Andric OS << "'" << ES->getSymbol() << "'"; 7000b57cec5SDimitry Andric if (unsigned int TF = ES->getTargetFlags()) 7010b57cec5SDimitry Andric OS << " [TF=" << TF << ']'; 7020b57cec5SDimitry Andric } else if (const SrcValueSDNode *M = dyn_cast<SrcValueSDNode>(this)) { 7030b57cec5SDimitry Andric if (M->getValue()) 7040b57cec5SDimitry Andric OS << "<" << M->getValue() << ">"; 7050b57cec5SDimitry Andric else 7060b57cec5SDimitry Andric OS << "<null>"; 7070b57cec5SDimitry Andric } else if (const MDNodeSDNode *MD = dyn_cast<MDNodeSDNode>(this)) { 7080b57cec5SDimitry Andric if (MD->getMD()) 7090b57cec5SDimitry Andric OS << "<" << MD->getMD() << ">"; 7100b57cec5SDimitry Andric else 7110b57cec5SDimitry Andric OS << "<null>"; 7120b57cec5SDimitry Andric } else if (const VTSDNode *N = dyn_cast<VTSDNode>(this)) { 713*06c3fb27SDimitry Andric OS << ":" << N->getVT(); 7140b57cec5SDimitry Andric } 7150b57cec5SDimitry Andric else if (const LoadSDNode *LD = dyn_cast<LoadSDNode>(this)) { 7160b57cec5SDimitry Andric OS << "<"; 7170b57cec5SDimitry Andric 7180b57cec5SDimitry Andric printMemOperand(OS, *LD->getMemOperand(), G); 7190b57cec5SDimitry Andric 7200b57cec5SDimitry Andric bool doExt = true; 7210b57cec5SDimitry Andric switch (LD->getExtensionType()) { 7220b57cec5SDimitry Andric default: doExt = false; break; 7230b57cec5SDimitry Andric case ISD::EXTLOAD: OS << ", anyext"; break; 7240b57cec5SDimitry Andric case ISD::SEXTLOAD: OS << ", sext"; break; 7250b57cec5SDimitry Andric case ISD::ZEXTLOAD: OS << ", zext"; break; 7260b57cec5SDimitry Andric } 7270b57cec5SDimitry Andric if (doExt) 728*06c3fb27SDimitry Andric OS << " from " << LD->getMemoryVT(); 7290b57cec5SDimitry Andric 7300b57cec5SDimitry Andric const char *AM = getIndexedModeName(LD->getAddressingMode()); 7310b57cec5SDimitry Andric if (*AM) 7320b57cec5SDimitry Andric OS << ", " << AM; 7330b57cec5SDimitry Andric 7340b57cec5SDimitry Andric OS << ">"; 7350b57cec5SDimitry Andric } else if (const StoreSDNode *ST = dyn_cast<StoreSDNode>(this)) { 7360b57cec5SDimitry Andric OS << "<"; 7370b57cec5SDimitry Andric printMemOperand(OS, *ST->getMemOperand(), G); 7380b57cec5SDimitry Andric 7390b57cec5SDimitry Andric if (ST->isTruncatingStore()) 740*06c3fb27SDimitry Andric OS << ", trunc to " << ST->getMemoryVT(); 7410b57cec5SDimitry Andric 7420b57cec5SDimitry Andric const char *AM = getIndexedModeName(ST->getAddressingMode()); 7430b57cec5SDimitry Andric if (*AM) 7440b57cec5SDimitry Andric OS << ", " << AM; 7450b57cec5SDimitry Andric 7460b57cec5SDimitry Andric OS << ">"; 7470b57cec5SDimitry Andric } else if (const MaskedLoadSDNode *MLd = dyn_cast<MaskedLoadSDNode>(this)) { 7480b57cec5SDimitry Andric OS << "<"; 7490b57cec5SDimitry Andric 7500b57cec5SDimitry Andric printMemOperand(OS, *MLd->getMemOperand(), G); 7510b57cec5SDimitry Andric 7520b57cec5SDimitry Andric bool doExt = true; 7530b57cec5SDimitry Andric switch (MLd->getExtensionType()) { 7540b57cec5SDimitry Andric default: doExt = false; break; 7550b57cec5SDimitry Andric case ISD::EXTLOAD: OS << ", anyext"; break; 7560b57cec5SDimitry Andric case ISD::SEXTLOAD: OS << ", sext"; break; 7570b57cec5SDimitry Andric case ISD::ZEXTLOAD: OS << ", zext"; break; 7580b57cec5SDimitry Andric } 7590b57cec5SDimitry Andric if (doExt) 760*06c3fb27SDimitry Andric OS << " from " << MLd->getMemoryVT(); 7610b57cec5SDimitry Andric 762480093f4SDimitry Andric const char *AM = getIndexedModeName(MLd->getAddressingMode()); 763480093f4SDimitry Andric if (*AM) 764480093f4SDimitry Andric OS << ", " << AM; 765480093f4SDimitry Andric 7660b57cec5SDimitry Andric if (MLd->isExpandingLoad()) 7670b57cec5SDimitry Andric OS << ", expanding"; 7680b57cec5SDimitry Andric 7690b57cec5SDimitry Andric OS << ">"; 7700b57cec5SDimitry Andric } else if (const MaskedStoreSDNode *MSt = dyn_cast<MaskedStoreSDNode>(this)) { 7710b57cec5SDimitry Andric OS << "<"; 7720b57cec5SDimitry Andric printMemOperand(OS, *MSt->getMemOperand(), G); 7730b57cec5SDimitry Andric 7740b57cec5SDimitry Andric if (MSt->isTruncatingStore()) 775*06c3fb27SDimitry Andric OS << ", trunc to " << MSt->getMemoryVT(); 7760b57cec5SDimitry Andric 777480093f4SDimitry Andric const char *AM = getIndexedModeName(MSt->getAddressingMode()); 778480093f4SDimitry Andric if (*AM) 779480093f4SDimitry Andric OS << ", " << AM; 780480093f4SDimitry Andric 7810b57cec5SDimitry Andric if (MSt->isCompressingStore()) 7820b57cec5SDimitry Andric OS << ", compressing"; 7830b57cec5SDimitry Andric 7840b57cec5SDimitry Andric OS << ">"; 785e8d8bef9SDimitry Andric } else if (const auto *MGather = dyn_cast<MaskedGatherSDNode>(this)) { 786e8d8bef9SDimitry Andric OS << "<"; 787e8d8bef9SDimitry Andric printMemOperand(OS, *MGather->getMemOperand(), G); 788e8d8bef9SDimitry Andric 789e8d8bef9SDimitry Andric bool doExt = true; 790e8d8bef9SDimitry Andric switch (MGather->getExtensionType()) { 791e8d8bef9SDimitry Andric default: doExt = false; break; 792e8d8bef9SDimitry Andric case ISD::EXTLOAD: OS << ", anyext"; break; 793e8d8bef9SDimitry Andric case ISD::SEXTLOAD: OS << ", sext"; break; 794e8d8bef9SDimitry Andric case ISD::ZEXTLOAD: OS << ", zext"; break; 795e8d8bef9SDimitry Andric } 796e8d8bef9SDimitry Andric if (doExt) 797*06c3fb27SDimitry Andric OS << " from " << MGather->getMemoryVT(); 798e8d8bef9SDimitry Andric 799e8d8bef9SDimitry Andric auto Signed = MGather->isIndexSigned() ? "signed" : "unsigned"; 800e8d8bef9SDimitry Andric auto Scaled = MGather->isIndexScaled() ? "scaled" : "unscaled"; 801e8d8bef9SDimitry Andric OS << ", " << Signed << " " << Scaled << " offset"; 802e8d8bef9SDimitry Andric 803e8d8bef9SDimitry Andric OS << ">"; 804e8d8bef9SDimitry Andric } else if (const auto *MScatter = dyn_cast<MaskedScatterSDNode>(this)) { 805e8d8bef9SDimitry Andric OS << "<"; 806e8d8bef9SDimitry Andric printMemOperand(OS, *MScatter->getMemOperand(), G); 807e8d8bef9SDimitry Andric 808e8d8bef9SDimitry Andric if (MScatter->isTruncatingStore()) 809*06c3fb27SDimitry Andric OS << ", trunc to " << MScatter->getMemoryVT(); 810e8d8bef9SDimitry Andric 811e8d8bef9SDimitry Andric auto Signed = MScatter->isIndexSigned() ? "signed" : "unsigned"; 812e8d8bef9SDimitry Andric auto Scaled = MScatter->isIndexScaled() ? "scaled" : "unscaled"; 813e8d8bef9SDimitry Andric OS << ", " << Signed << " " << Scaled << " offset"; 814e8d8bef9SDimitry Andric 815e8d8bef9SDimitry Andric OS << ">"; 8160b57cec5SDimitry Andric } else if (const MemSDNode *M = dyn_cast<MemSDNode>(this)) { 8170b57cec5SDimitry Andric OS << "<"; 8180b57cec5SDimitry Andric printMemOperand(OS, *M->getMemOperand(), G); 8190b57cec5SDimitry Andric OS << ">"; 8200b57cec5SDimitry Andric } else if (const BlockAddressSDNode *BA = 8210b57cec5SDimitry Andric dyn_cast<BlockAddressSDNode>(this)) { 8220b57cec5SDimitry Andric int64_t offset = BA->getOffset(); 8230b57cec5SDimitry Andric OS << "<"; 8240b57cec5SDimitry Andric BA->getBlockAddress()->getFunction()->printAsOperand(OS, false); 8250b57cec5SDimitry Andric OS << ", "; 8260b57cec5SDimitry Andric BA->getBlockAddress()->getBasicBlock()->printAsOperand(OS, false); 8270b57cec5SDimitry Andric OS << ">"; 8280b57cec5SDimitry Andric if (offset > 0) 8290b57cec5SDimitry Andric OS << " + " << offset; 8300b57cec5SDimitry Andric else 8310b57cec5SDimitry Andric OS << " " << offset; 8320b57cec5SDimitry Andric if (unsigned int TF = BA->getTargetFlags()) 8330b57cec5SDimitry Andric OS << " [TF=" << TF << ']'; 8340b57cec5SDimitry Andric } else if (const AddrSpaceCastSDNode *ASC = 8350b57cec5SDimitry Andric dyn_cast<AddrSpaceCastSDNode>(this)) { 8360b57cec5SDimitry Andric OS << '[' 8370b57cec5SDimitry Andric << ASC->getSrcAddressSpace() 8380b57cec5SDimitry Andric << " -> " 8390b57cec5SDimitry Andric << ASC->getDestAddressSpace() 8400b57cec5SDimitry Andric << ']'; 8410b57cec5SDimitry Andric } else if (const LifetimeSDNode *LN = dyn_cast<LifetimeSDNode>(this)) { 8420b57cec5SDimitry Andric if (LN->hasOffset()) 8430b57cec5SDimitry Andric OS << "<" << LN->getOffset() << " to " << LN->getOffset() + LN->getSize() << ">"; 84481ad6265SDimitry Andric } else if (const auto *AA = dyn_cast<AssertAlignSDNode>(this)) { 84581ad6265SDimitry Andric OS << '<' << AA->getAlign().value() << '>'; 8460b57cec5SDimitry Andric } 8470b57cec5SDimitry Andric 8480b57cec5SDimitry Andric if (VerboseDAGDumping) { 8490b57cec5SDimitry Andric if (unsigned Order = getIROrder()) 8500b57cec5SDimitry Andric OS << " [ORD=" << Order << ']'; 8510b57cec5SDimitry Andric 8520b57cec5SDimitry Andric if (getNodeId() != -1) 8530b57cec5SDimitry Andric OS << " [ID=" << getNodeId() << ']'; 8540b57cec5SDimitry Andric if (!(isa<ConstantSDNode>(this) || (isa<ConstantFPSDNode>(this)))) 8550b57cec5SDimitry Andric OS << " # D:" << isDivergent(); 8560b57cec5SDimitry Andric 8570b57cec5SDimitry Andric if (G && !G->GetDbgValues(this).empty()) { 8580b57cec5SDimitry Andric OS << " [NoOfDbgValues=" << G->GetDbgValues(this).size() << ']'; 8590b57cec5SDimitry Andric for (SDDbgValue *Dbg : G->GetDbgValues(this)) 8600b57cec5SDimitry Andric if (!Dbg->isInvalidated()) 8610b57cec5SDimitry Andric Dbg->print(OS); 8620b57cec5SDimitry Andric } else if (getHasDebugValue()) 8630b57cec5SDimitry Andric OS << " [NoOfDbgValues>0]"; 864*06c3fb27SDimitry Andric 865*06c3fb27SDimitry Andric if (const auto *MD = G ? G->getPCSections(this) : nullptr) { 866*06c3fb27SDimitry Andric OS << " [pcsections "; 867*06c3fb27SDimitry Andric MD->printAsOperand(OS, G->getMachineFunction().getFunction().getParent()); 868*06c3fb27SDimitry Andric OS << ']'; 869*06c3fb27SDimitry Andric } 8700b57cec5SDimitry Andric } 8710b57cec5SDimitry Andric } 8720b57cec5SDimitry Andric 8730b57cec5SDimitry Andric LLVM_DUMP_METHOD void SDDbgValue::print(raw_ostream &OS) const { 8740b57cec5SDimitry Andric OS << " DbgVal(Order=" << getOrder() << ')'; 875fe6060f1SDimitry Andric if (isInvalidated()) 876fe6060f1SDimitry Andric OS << "(Invalidated)"; 877fe6060f1SDimitry Andric if (isEmitted()) 878fe6060f1SDimitry Andric OS << "(Emitted)"; 879fe6060f1SDimitry Andric OS << "("; 880fe6060f1SDimitry Andric bool Comma = false; 881fe6060f1SDimitry Andric for (const SDDbgOperand &Op : getLocationOps()) { 882fe6060f1SDimitry Andric if (Comma) 883fe6060f1SDimitry Andric OS << ", "; 884fe6060f1SDimitry Andric switch (Op.getKind()) { 885fe6060f1SDimitry Andric case SDDbgOperand::SDNODE: 886fe6060f1SDimitry Andric if (Op.getSDNode()) 887fe6060f1SDimitry Andric OS << "SDNODE=" << PrintNodeId(*Op.getSDNode()) << ':' << Op.getResNo(); 8880b57cec5SDimitry Andric else 889fe6060f1SDimitry Andric OS << "SDNODE"; 8900b57cec5SDimitry Andric break; 891fe6060f1SDimitry Andric case SDDbgOperand::CONST: 892fe6060f1SDimitry Andric OS << "CONST"; 8930b57cec5SDimitry Andric break; 894fe6060f1SDimitry Andric case SDDbgOperand::FRAMEIX: 895fe6060f1SDimitry Andric OS << "FRAMEIX=" << Op.getFrameIx(); 8960b57cec5SDimitry Andric break; 897fe6060f1SDimitry Andric case SDDbgOperand::VREG: 898fe6060f1SDimitry Andric OS << "VREG=" << Op.getVReg(); 8990b57cec5SDimitry Andric break; 9000b57cec5SDimitry Andric } 901fe6060f1SDimitry Andric Comma = true; 902fe6060f1SDimitry Andric } 903fe6060f1SDimitry Andric OS << ")"; 9040b57cec5SDimitry Andric if (isIndirect()) OS << "(Indirect)"; 905fe6060f1SDimitry Andric if (isVariadic()) 906fe6060f1SDimitry Andric OS << "(Variadic)"; 9070b57cec5SDimitry Andric OS << ":\"" << Var->getName() << '"'; 9080b57cec5SDimitry Andric #ifndef NDEBUG 9090b57cec5SDimitry Andric if (Expr->getNumElements()) 9100b57cec5SDimitry Andric Expr->dump(); 9110b57cec5SDimitry Andric #endif 9120b57cec5SDimitry Andric } 9130b57cec5SDimitry Andric 9140b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 9150b57cec5SDimitry Andric LLVM_DUMP_METHOD void SDDbgValue::dump() const { 9160b57cec5SDimitry Andric if (isInvalidated()) 9170b57cec5SDimitry Andric return; 9180b57cec5SDimitry Andric print(dbgs()); 9190b57cec5SDimitry Andric dbgs() << "\n"; 9200b57cec5SDimitry Andric } 9210b57cec5SDimitry Andric #endif 9220b57cec5SDimitry Andric 9230b57cec5SDimitry Andric /// Return true if this node is so simple that we should just print it inline 9240b57cec5SDimitry Andric /// if it appears as an operand. 9250b57cec5SDimitry Andric static bool shouldPrintInline(const SDNode &Node, const SelectionDAG *G) { 9260b57cec5SDimitry Andric // Avoid lots of cluttering when inline printing nodes with associated 9270b57cec5SDimitry Andric // DbgValues in verbose mode. 9280b57cec5SDimitry Andric if (VerboseDAGDumping && G && !G->GetDbgValues(&Node).empty()) 9290b57cec5SDimitry Andric return false; 9300b57cec5SDimitry Andric if (Node.getOpcode() == ISD::EntryToken) 9310b57cec5SDimitry Andric return false; 9320b57cec5SDimitry Andric return Node.getNumOperands() == 0; 9330b57cec5SDimitry Andric } 9340b57cec5SDimitry Andric 9350b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 9360b57cec5SDimitry Andric static void DumpNodes(const SDNode *N, unsigned indent, const SelectionDAG *G) { 9370b57cec5SDimitry Andric for (const SDValue &Op : N->op_values()) { 9380b57cec5SDimitry Andric if (shouldPrintInline(*Op.getNode(), G)) 9390b57cec5SDimitry Andric continue; 9400b57cec5SDimitry Andric if (Op.getNode()->hasOneUse()) 9410b57cec5SDimitry Andric DumpNodes(Op.getNode(), indent+2, G); 9420b57cec5SDimitry Andric } 9430b57cec5SDimitry Andric 9440b57cec5SDimitry Andric dbgs().indent(indent); 9450b57cec5SDimitry Andric N->dump(G); 9460b57cec5SDimitry Andric } 9470b57cec5SDimitry Andric 9480b57cec5SDimitry Andric LLVM_DUMP_METHOD void SelectionDAG::dump() const { 9490b57cec5SDimitry Andric dbgs() << "SelectionDAG has " << AllNodes.size() << " nodes:\n"; 9500b57cec5SDimitry Andric 951fe6060f1SDimitry Andric for (const SDNode &N : allnodes()) { 952fe6060f1SDimitry Andric if (!N.hasOneUse() && &N != getRoot().getNode() && 953fe6060f1SDimitry Andric (!shouldPrintInline(N, this) || N.use_empty())) 954fe6060f1SDimitry Andric DumpNodes(&N, 2, this); 9550b57cec5SDimitry Andric } 9560b57cec5SDimitry Andric 9570b57cec5SDimitry Andric if (getRoot().getNode()) DumpNodes(getRoot().getNode(), 2, this); 9580b57cec5SDimitry Andric dbgs() << "\n"; 9590b57cec5SDimitry Andric 9600b57cec5SDimitry Andric if (VerboseDAGDumping) { 9610b57cec5SDimitry Andric if (DbgBegin() != DbgEnd()) 9620b57cec5SDimitry Andric dbgs() << "SDDbgValues:\n"; 9630b57cec5SDimitry Andric for (auto *Dbg : make_range(DbgBegin(), DbgEnd())) 9640b57cec5SDimitry Andric Dbg->dump(); 9650b57cec5SDimitry Andric if (ByvalParmDbgBegin() != ByvalParmDbgEnd()) 9660b57cec5SDimitry Andric dbgs() << "Byval SDDbgValues:\n"; 9670b57cec5SDimitry Andric for (auto *Dbg : make_range(ByvalParmDbgBegin(), ByvalParmDbgEnd())) 9680b57cec5SDimitry Andric Dbg->dump(); 9690b57cec5SDimitry Andric } 9700b57cec5SDimitry Andric dbgs() << "\n"; 9710b57cec5SDimitry Andric } 9720b57cec5SDimitry Andric #endif 9730b57cec5SDimitry Andric 9740b57cec5SDimitry Andric void SDNode::printr(raw_ostream &OS, const SelectionDAG *G) const { 9750b57cec5SDimitry Andric OS << PrintNodeId(*this) << ": "; 9760b57cec5SDimitry Andric print_types(OS, G); 9770b57cec5SDimitry Andric OS << " = " << getOperationName(G); 9780b57cec5SDimitry Andric print_details(OS, G); 9790b57cec5SDimitry Andric } 9800b57cec5SDimitry Andric 9810b57cec5SDimitry Andric static bool printOperand(raw_ostream &OS, const SelectionDAG *G, 9820b57cec5SDimitry Andric const SDValue Value) { 9830b57cec5SDimitry Andric if (!Value.getNode()) { 9840b57cec5SDimitry Andric OS << "<null>"; 9850b57cec5SDimitry Andric return false; 986349cc55cSDimitry Andric } 987349cc55cSDimitry Andric 988349cc55cSDimitry Andric if (shouldPrintInline(*Value.getNode(), G)) { 9890b57cec5SDimitry Andric OS << Value->getOperationName(G) << ':'; 9900b57cec5SDimitry Andric Value->print_types(OS, G); 9910b57cec5SDimitry Andric Value->print_details(OS, G); 9920b57cec5SDimitry Andric return true; 993349cc55cSDimitry Andric } 994349cc55cSDimitry Andric 9950b57cec5SDimitry Andric OS << PrintNodeId(*Value.getNode()); 9960b57cec5SDimitry Andric if (unsigned RN = Value.getResNo()) 9970b57cec5SDimitry Andric OS << ':' << RN; 9980b57cec5SDimitry Andric return false; 9990b57cec5SDimitry Andric } 10000b57cec5SDimitry Andric 10010b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 10020b57cec5SDimitry Andric using VisitedSDNodeSet = SmallPtrSet<const SDNode *, 32>; 10030b57cec5SDimitry Andric 10040b57cec5SDimitry Andric static void DumpNodesr(raw_ostream &OS, const SDNode *N, unsigned indent, 10050b57cec5SDimitry Andric const SelectionDAG *G, VisitedSDNodeSet &once) { 10060b57cec5SDimitry Andric if (!once.insert(N).second) // If we've been here before, return now. 10070b57cec5SDimitry Andric return; 10080b57cec5SDimitry Andric 10090b57cec5SDimitry Andric // Dump the current SDNode, but don't end the line yet. 10100b57cec5SDimitry Andric OS.indent(indent); 10110b57cec5SDimitry Andric N->printr(OS, G); 10120b57cec5SDimitry Andric 10130b57cec5SDimitry Andric // Having printed this SDNode, walk the children: 10140b57cec5SDimitry Andric for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) { 10150b57cec5SDimitry Andric if (i) OS << ","; 10160b57cec5SDimitry Andric OS << " "; 10170b57cec5SDimitry Andric 10180b57cec5SDimitry Andric const SDValue Op = N->getOperand(i); 10190b57cec5SDimitry Andric bool printedInline = printOperand(OS, G, Op); 10200b57cec5SDimitry Andric if (printedInline) 10210b57cec5SDimitry Andric once.insert(Op.getNode()); 10220b57cec5SDimitry Andric } 10230b57cec5SDimitry Andric 10240b57cec5SDimitry Andric OS << "\n"; 10250b57cec5SDimitry Andric 10260b57cec5SDimitry Andric // Dump children that have grandchildren on their own line(s). 10270b57cec5SDimitry Andric for (const SDValue &Op : N->op_values()) 10280b57cec5SDimitry Andric DumpNodesr(OS, Op.getNode(), indent+2, G, once); 10290b57cec5SDimitry Andric } 10300b57cec5SDimitry Andric 10310b57cec5SDimitry Andric LLVM_DUMP_METHOD void SDNode::dumpr() const { 10320b57cec5SDimitry Andric VisitedSDNodeSet once; 10330b57cec5SDimitry Andric DumpNodesr(dbgs(), this, 0, nullptr, once); 10340b57cec5SDimitry Andric } 10350b57cec5SDimitry Andric 10360b57cec5SDimitry Andric LLVM_DUMP_METHOD void SDNode::dumpr(const SelectionDAG *G) const { 10370b57cec5SDimitry Andric VisitedSDNodeSet once; 10380b57cec5SDimitry Andric DumpNodesr(dbgs(), this, 0, G, once); 10390b57cec5SDimitry Andric } 10400b57cec5SDimitry Andric #endif 10410b57cec5SDimitry Andric 10420b57cec5SDimitry Andric static void printrWithDepthHelper(raw_ostream &OS, const SDNode *N, 10430b57cec5SDimitry Andric const SelectionDAG *G, unsigned depth, 10440b57cec5SDimitry Andric unsigned indent) { 10450b57cec5SDimitry Andric if (depth == 0) 10460b57cec5SDimitry Andric return; 10470b57cec5SDimitry Andric 10480b57cec5SDimitry Andric OS.indent(indent); 10490b57cec5SDimitry Andric 10500b57cec5SDimitry Andric N->print(OS, G); 10510b57cec5SDimitry Andric 10520b57cec5SDimitry Andric for (const SDValue &Op : N->op_values()) { 10530b57cec5SDimitry Andric // Don't follow chain operands. 10540b57cec5SDimitry Andric if (Op.getValueType() == MVT::Other) 10550b57cec5SDimitry Andric continue; 10560b57cec5SDimitry Andric OS << '\n'; 10570b57cec5SDimitry Andric printrWithDepthHelper(OS, Op.getNode(), G, depth - 1, indent + 2); 10580b57cec5SDimitry Andric } 10590b57cec5SDimitry Andric } 10600b57cec5SDimitry Andric 10610b57cec5SDimitry Andric void SDNode::printrWithDepth(raw_ostream &OS, const SelectionDAG *G, 10620b57cec5SDimitry Andric unsigned depth) const { 10630b57cec5SDimitry Andric printrWithDepthHelper(OS, this, G, depth, 0); 10640b57cec5SDimitry Andric } 10650b57cec5SDimitry Andric 10660b57cec5SDimitry Andric void SDNode::printrFull(raw_ostream &OS, const SelectionDAG *G) const { 10670b57cec5SDimitry Andric // Don't print impossibly deep things. 10680b57cec5SDimitry Andric printrWithDepth(OS, G, 10); 10690b57cec5SDimitry Andric } 10700b57cec5SDimitry Andric 10710b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 10720b57cec5SDimitry Andric LLVM_DUMP_METHOD 10730b57cec5SDimitry Andric void SDNode::dumprWithDepth(const SelectionDAG *G, unsigned depth) const { 10740b57cec5SDimitry Andric printrWithDepth(dbgs(), G, depth); 10750b57cec5SDimitry Andric } 10760b57cec5SDimitry Andric 10770b57cec5SDimitry Andric LLVM_DUMP_METHOD void SDNode::dumprFull(const SelectionDAG *G) const { 10780b57cec5SDimitry Andric // Don't print impossibly deep things. 10790b57cec5SDimitry Andric dumprWithDepth(G, 10); 10800b57cec5SDimitry Andric } 10810b57cec5SDimitry Andric #endif 10820b57cec5SDimitry Andric 10830b57cec5SDimitry Andric void SDNode::print(raw_ostream &OS, const SelectionDAG *G) const { 10840b57cec5SDimitry Andric printr(OS, G); 1085bdd1243dSDimitry Andric // Under VerboseDAGDumping divergence will be printed always. 1086bdd1243dSDimitry Andric if (isDivergent() && !VerboseDAGDumping) 1087bdd1243dSDimitry Andric OS << " # D:1"; 10880b57cec5SDimitry Andric for (unsigned i = 0, e = getNumOperands(); i != e; ++i) { 10890b57cec5SDimitry Andric if (i) OS << ", "; else OS << " "; 10900b57cec5SDimitry Andric printOperand(OS, G, getOperand(i)); 10910b57cec5SDimitry Andric } 10920b57cec5SDimitry Andric if (DebugLoc DL = getDebugLoc()) { 10930b57cec5SDimitry Andric OS << ", "; 10940b57cec5SDimitry Andric DL.print(OS); 10950b57cec5SDimitry Andric } 10960b57cec5SDimitry Andric } 1097