LLVM  8.0.1
SelectionDAGDumper.cpp
Go to the documentation of this file.
1 //===- SelectionDAGDumper.cpp - Implement SelectionDAG::dump() ------------===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This implements the SelectionDAG::dump method and friends.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #include "llvm/ADT/APFloat.h"
15 #include "llvm/ADT/APInt.h"
16 #include "llvm/ADT/None.h"
17 #include "llvm/ADT/SmallPtrSet.h"
18 #include "llvm/ADT/StringExtras.h"
19 #include "llvm/CodeGen/ISDOpcodes.h"
20 #include "llvm/CodeGen/MachineBasicBlock.h"
21 #include "llvm/CodeGen/MachineConstantPool.h"
22 #include "llvm/CodeGen/MachineMemOperand.h"
23 #include "llvm/CodeGen/SelectionDAG.h"
24 #include "llvm/CodeGen/SelectionDAGNodes.h"
25 #include "llvm/CodeGen/TargetInstrInfo.h"
26 #include "llvm/CodeGen/TargetLowering.h"
27 #include "llvm/CodeGen/TargetRegisterInfo.h"
28 #include "llvm/CodeGen/TargetSubtargetInfo.h"
29 #include "llvm/CodeGen/ValueTypes.h"
30 #include "llvm/Config/llvm-config.h"
31 #include "llvm/IR/BasicBlock.h"
32 #include "llvm/IR/Constants.h"
33 #include "llvm/IR/DebugInfoMetadata.h"
34 #include "llvm/IR/DebugLoc.h"
35 #include "llvm/IR/Function.h"
36 #include "llvm/IR/Intrinsics.h"
37 #include "llvm/IR/ModuleSlotTracker.h"
38 #include "llvm/IR/Value.h"
39 #include "llvm/Support/Casting.h"
40 #include "llvm/Support/CommandLine.h"
41 #include "llvm/Support/Compiler.h"
42 #include "llvm/Support/Debug.h"
43 #include "llvm/Support/ErrorHandling.h"
44 #include "llvm/Support/MachineValueType.h"
45 #include "llvm/Support/Printable.h"
46 #include "llvm/Support/raw_ostream.h"
47 #include "llvm/Target/TargetIntrinsicInfo.h"
48 #include "llvm/Target/TargetMachine.h"
49 #include "SDNodeDbgValue.h"
50 #include <cstdint>
51 #include <iterator>
52 
53 using namespace llvm;
54 
55 static cl::opt<bool>
56 VerboseDAGDumping("dag-dump-verbose", cl::Hidden,
57  cl::desc("Display more information when dumping selection "
58  "DAG nodes."));
59 
60 std::string SDNode::getOperationName(const SelectionDAG *G) const {
61  switch (getOpcode()) {
62  default:
63  if (getOpcode() < ISD::BUILTIN_OP_END)
64  return "<<Unknown DAG Node>>";
65  if (isMachineOpcode()) {
66  if (G)
67  if (const TargetInstrInfo *TII = G->getSubtarget().getInstrInfo())
68  if (getMachineOpcode() < TII->getNumOpcodes())
69  return TII->getName(getMachineOpcode());
70  return "<<Unknown Machine Node #" + utostr(getOpcode()) + ">>";
71  }
72  if (G) {
73  const TargetLowering &TLI = G->getTargetLoweringInfo();
74  const char *Name = TLI.getTargetNodeName(getOpcode());
75  if (Name) return Name;
76  return "<<Unknown Target Node #" + utostr(getOpcode()) + ">>";
77  }
78  return "<<Unknown Node #" + utostr(getOpcode()) + ">>";
79 
80 #ifndef NDEBUG
81  case ISD::DELETED_NODE: return "<<Deleted Node!>>";
82 #endif
83  case ISD::PREFETCH: return "Prefetch";
84  case ISD::ATOMIC_FENCE: return "AtomicFence";
85  case ISD::ATOMIC_CMP_SWAP: return "AtomicCmpSwap";
86  case ISD::ATOMIC_CMP_SWAP_WITH_SUCCESS: return "AtomicCmpSwapWithSuccess";
87  case ISD::ATOMIC_SWAP: return "AtomicSwap";
88  case ISD::ATOMIC_LOAD_ADD: return "AtomicLoadAdd";
89  case ISD::ATOMIC_LOAD_SUB: return "AtomicLoadSub";
90  case ISD::ATOMIC_LOAD_AND: return "AtomicLoadAnd";
91  case ISD::ATOMIC_LOAD_CLR: return "AtomicLoadClr";
92  case ISD::ATOMIC_LOAD_OR: return "AtomicLoadOr";
93  case ISD::ATOMIC_LOAD_XOR: return "AtomicLoadXor";
94  case ISD::ATOMIC_LOAD_NAND: return "AtomicLoadNand";
95  case ISD::ATOMIC_LOAD_MIN: return "AtomicLoadMin";
96  case ISD::ATOMIC_LOAD_MAX: return "AtomicLoadMax";
97  case ISD::ATOMIC_LOAD_UMIN: return "AtomicLoadUMin";
98  case ISD::ATOMIC_LOAD_UMAX: return "AtomicLoadUMax";
99  case ISD::ATOMIC_LOAD: return "AtomicLoad";
100  case ISD::ATOMIC_STORE: return "AtomicStore";
101  case ISD::PCMARKER: return "PCMarker";
102  case ISD::READCYCLECOUNTER: return "ReadCycleCounter";
103  case ISD::SRCVALUE: return "SrcValue";
104  case ISD::MDNODE_SDNODE: return "MDNode";
105  case ISD::EntryToken: return "EntryToken";
106  case ISD::TokenFactor: return "TokenFactor";
107  case ISD::AssertSext: return "AssertSext";
108  case ISD::AssertZext: return "AssertZext";
109 
110  case ISD::BasicBlock: return "BasicBlock";
111  case ISD::VALUETYPE: return "ValueType";
112  case ISD::Register: return "Register";
113  case ISD::RegisterMask: return "RegisterMask";
114  case ISD::Constant:
115  if (cast<ConstantSDNode>(this)->isOpaque())
116  return "OpaqueConstant";
117  return "Constant";
118  case ISD::ConstantFP: return "ConstantFP";
119  case ISD::GlobalAddress: return "GlobalAddress";
120  case ISD::GlobalTLSAddress: return "GlobalTLSAddress";
121  case ISD::FrameIndex: return "FrameIndex";
122  case ISD::JumpTable: return "JumpTable";
123  case ISD::GLOBAL_OFFSET_TABLE: return "GLOBAL_OFFSET_TABLE";
124  case ISD::RETURNADDR: return "RETURNADDR";
125  case ISD::ADDROFRETURNADDR: return "ADDROFRETURNADDR";
126  case ISD::FRAMEADDR: return "FRAMEADDR";
127  case ISD::SPONENTRY: return "SPONENTRY";
128  case ISD::LOCAL_RECOVER: return "LOCAL_RECOVER";
129  case ISD::READ_REGISTER: return "READ_REGISTER";
130  case ISD::WRITE_REGISTER: return "WRITE_REGISTER";
131  case ISD::FRAME_TO_ARGS_OFFSET: return "FRAME_TO_ARGS_OFFSET";
132  case ISD::EH_DWARF_CFA: return "EH_DWARF_CFA";
133  case ISD::EH_RETURN: return "EH_RETURN";
134  case ISD::EH_SJLJ_SETJMP: return "EH_SJLJ_SETJMP";
135  case ISD::EH_SJLJ_LONGJMP: return "EH_SJLJ_LONGJMP";
136  case ISD::EH_SJLJ_SETUP_DISPATCH: return "EH_SJLJ_SETUP_DISPATCH";
137  case ISD::ConstantPool: return "ConstantPool";
138  case ISD::TargetIndex: return "TargetIndex";
139  case ISD::ExternalSymbol: return "ExternalSymbol";
140  case ISD::BlockAddress: return "BlockAddress";
141  case ISD::INTRINSIC_WO_CHAIN:
142  case ISD::INTRINSIC_VOID:
143  case ISD::INTRINSIC_W_CHAIN: {
144  unsigned OpNo = getOpcode() == ISD::INTRINSIC_WO_CHAIN ? 0 : 1;
145  unsigned IID = cast<ConstantSDNode>(getOperand(OpNo))->getZExtValue();
146  if (IID < Intrinsic::num_intrinsics)
147  return Intrinsic::getName((Intrinsic::ID)IID, None);
148  else if (const TargetIntrinsicInfo *TII = G->getTarget().getIntrinsicInfo())
149  return TII->getName(IID);
150  llvm_unreachable("Invalid intrinsic ID");
151  }
152 
153  case ISD::BUILD_VECTOR: return "BUILD_VECTOR";
154  case ISD::TargetConstant:
155  if (cast<ConstantSDNode>(this)->isOpaque())
156  return "OpaqueTargetConstant";
157  return "TargetConstant";
158  case ISD::TargetConstantFP: return "TargetConstantFP";
159  case ISD::TargetGlobalAddress: return "TargetGlobalAddress";
160  case ISD::TargetGlobalTLSAddress: return "TargetGlobalTLSAddress";
161  case ISD::TargetFrameIndex: return "TargetFrameIndex";
162  case ISD::TargetJumpTable: return "TargetJumpTable";
163  case ISD::TargetConstantPool: return "TargetConstantPool";
164  case ISD::TargetExternalSymbol: return "TargetExternalSymbol";
165  case ISD::MCSymbol: return "MCSymbol";
166  case ISD::TargetBlockAddress: return "TargetBlockAddress";
167 
168  case ISD::CopyToReg: return "CopyToReg";
169  case ISD::CopyFromReg: return "CopyFromReg";
170  case ISD::UNDEF: return "undef";
171  case ISD::MERGE_VALUES: return "merge_values";
172  case ISD::INLINEASM: return "inlineasm";
173  case ISD::EH_LABEL: return "eh_label";
174  case ISD::HANDLENODE: return "handlenode";
175 
176  // Unary operators
177  case ISD::FABS: return "fabs";
178  case ISD::FMINNUM: return "fminnum";
179  case ISD::STRICT_FMINNUM: return "strict_fminnum";
180  case ISD::FMAXNUM: return "fmaxnum";
181  case ISD::STRICT_FMAXNUM: return "strict_fmaxnum";
182  case ISD::FMINNUM_IEEE: return "fminnum_ieee";
183  case ISD::FMAXNUM_IEEE: return "fmaxnum_ieee";
184  case ISD::FMINIMUM: return "fminimum";
185  case ISD::FMAXIMUM: return "fmaximum";
186  case ISD::FNEG: return "fneg";
187  case ISD::FSQRT: return "fsqrt";
188  case ISD::STRICT_FSQRT: return "strict_fsqrt";
189  case ISD::FCBRT: return "fcbrt";
190  case ISD::FSIN: return "fsin";
191  case ISD::STRICT_FSIN: return "strict_fsin";
192  case ISD::FCOS: return "fcos";
193  case ISD::STRICT_FCOS: return "strict_fcos";
194  case ISD::FSINCOS: return "fsincos";
195  case ISD::FTRUNC: return "ftrunc";
196  case ISD::STRICT_FTRUNC: return "strict_ftrunc";
197  case ISD::FFLOOR: return "ffloor";
198  case ISD::STRICT_FFLOOR: return "strict_ffloor";
199  case ISD::FCEIL: return "fceil";
200  case ISD::STRICT_FCEIL: return "strict_fceil";
201  case ISD::FRINT: return "frint";
202  case ISD::STRICT_FRINT: return "strict_frint";
203  case ISD::FNEARBYINT: return "fnearbyint";
204  case ISD::STRICT_FNEARBYINT: return "strict_fnearbyint";
205  case ISD::FROUND: return "fround";
206  case ISD::STRICT_FROUND: return "strict_fround";
207  case ISD::FEXP: return "fexp";
208  case ISD::STRICT_FEXP: return "strict_fexp";
209  case ISD::FEXP2: return "fexp2";
210  case ISD::STRICT_FEXP2: return "strict_fexp2";
211  case ISD::FLOG: return "flog";
212  case ISD::STRICT_FLOG: return "strict_flog";
213  case ISD::FLOG2: return "flog2";
214  case ISD::STRICT_FLOG2: return "strict_flog2";
215  case ISD::FLOG10: return "flog10";
216  case ISD::STRICT_FLOG10: return "strict_flog10";
217 
218  // Binary operators
219  case ISD::ADD: return "add";
220  case ISD::SUB: return "sub";
221  case ISD::MUL: return "mul";
222  case ISD::MULHU: return "mulhu";
223  case ISD::MULHS: return "mulhs";
224  case ISD::SDIV: return "sdiv";
225  case ISD::UDIV: return "udiv";
226  case ISD::SREM: return "srem";
227  case ISD::UREM: return "urem";
228  case ISD::SMUL_LOHI: return "smul_lohi";
229  case ISD::UMUL_LOHI: return "umul_lohi";
230  case ISD::SDIVREM: return "sdivrem";
231  case ISD::UDIVREM: return "udivrem";
232  case ISD::AND: return "and";
233  case ISD::OR: return "or";
234  case ISD::XOR: return "xor";
235  case ISD::SHL: return "shl";
236  case ISD::SRA: return "sra";
237  case ISD::SRL: return "srl";
238  case ISD::ROTL: return "rotl";
239  case ISD::ROTR: return "rotr";
240  case ISD::FSHL: return "fshl";
241  case ISD::FSHR: return "fshr";
242  case ISD::FADD: return "fadd";
243  case ISD::STRICT_FADD: return "strict_fadd";
244  case ISD::FSUB: return "fsub";
245  case ISD::STRICT_FSUB: return "strict_fsub";
246  case ISD::FMUL: return "fmul";
247  case ISD::STRICT_FMUL: return "strict_fmul";
248  case ISD::FDIV: return "fdiv";
249  case ISD::STRICT_FDIV: return "strict_fdiv";
250  case ISD::FMA: return "fma";
251  case ISD::STRICT_FMA: return "strict_fma";
252  case ISD::FMAD: return "fmad";
253  case ISD::FREM: return "frem";
254  case ISD::STRICT_FREM: return "strict_frem";
255  case ISD::FCOPYSIGN: return "fcopysign";
256  case ISD::FGETSIGN: return "fgetsign";
257  case ISD::FCANONICALIZE: return "fcanonicalize";
258  case ISD::FPOW: return "fpow";
259  case ISD::STRICT_FPOW: return "strict_fpow";
260  case ISD::SMIN: return "smin";
261  case ISD::SMAX: return "smax";
262  case ISD::UMIN: return "umin";
263  case ISD::UMAX: return "umax";
264 
265  case ISD::FPOWI: return "fpowi";
266  case ISD::STRICT_FPOWI: return "strict_fpowi";
267  case ISD::SETCC: return "setcc";
268  case ISD::SETCCCARRY: return "setcccarry";
269  case ISD::SELECT: return "select";
270  case ISD::VSELECT: return "vselect";
271  case ISD::SELECT_CC: return "select_cc";
272  case ISD::INSERT_VECTOR_ELT: return "insert_vector_elt";
273  case ISD::EXTRACT_VECTOR_ELT: return "extract_vector_elt";
274  case ISD::CONCAT_VECTORS: return "concat_vectors";
275  case ISD::INSERT_SUBVECTOR: return "insert_subvector";
276  case ISD::EXTRACT_SUBVECTOR: return "extract_subvector";
277  case ISD::SCALAR_TO_VECTOR: return "scalar_to_vector";
278  case ISD::VECTOR_SHUFFLE: return "vector_shuffle";
279  case ISD::CARRY_FALSE: return "carry_false";
280  case ISD::ADDC: return "addc";
281  case ISD::ADDE: return "adde";
282  case ISD::ADDCARRY: return "addcarry";
283  case ISD::SADDO: return "saddo";
284  case ISD::UADDO: return "uaddo";
285  case ISD::SSUBO: return "ssubo";
286  case ISD::USUBO: return "usubo";
287  case ISD::SMULO: return "smulo";
288  case ISD::UMULO: return "umulo";
289  case ISD::SUBC: return "subc";
290  case ISD::SUBE: return "sube";
291  case ISD::SUBCARRY: return "subcarry";
292  case ISD::SHL_PARTS: return "shl_parts";
293  case ISD::SRA_PARTS: return "sra_parts";
294  case ISD::SRL_PARTS: return "srl_parts";
295 
296  case ISD::SADDSAT: return "saddsat";
297  case ISD::UADDSAT: return "uaddsat";
298  case ISD::SSUBSAT: return "ssubsat";
299  case ISD::USUBSAT: return "usubsat";
300  case ISD::SMULFIX: return "smulfix";
301 
302  // Conversion operators.
303  case ISD::SIGN_EXTEND: return "sign_extend";
304  case ISD::ZERO_EXTEND: return "zero_extend";
305  case ISD::ANY_EXTEND: return "any_extend";
306  case ISD::SIGN_EXTEND_INREG: return "sign_extend_inreg";
307  case ISD::ANY_EXTEND_VECTOR_INREG: return "any_extend_vector_inreg";
308  case ISD::SIGN_EXTEND_VECTOR_INREG: return "sign_extend_vector_inreg";
309  case ISD::ZERO_EXTEND_VECTOR_INREG: return "zero_extend_vector_inreg";
310  case ISD::TRUNCATE: return "truncate";
311  case ISD::FP_ROUND: return "fp_round";
312  case ISD::FLT_ROUNDS_: return "flt_rounds";
313  case ISD::FP_ROUND_INREG: return "fp_round_inreg";
314  case ISD::FP_EXTEND: return "fp_extend";
315 
316  case ISD::SINT_TO_FP: return "sint_to_fp";
317  case ISD::UINT_TO_FP: return "uint_to_fp";
318  case ISD::FP_TO_SINT: return "fp_to_sint";
319  case ISD::FP_TO_UINT: return "fp_to_uint";
320  case ISD::BITCAST: return "bitcast";
321  case ISD::ADDRSPACECAST: return "addrspacecast";
322  case ISD::FP16_TO_FP: return "fp16_to_fp";
323  case ISD::FP_TO_FP16: return "fp_to_fp16";
324 
325  // Control flow instructions
326  case ISD::BR: return "br";
327  case ISD::BRIND: return "brind";
328  case ISD::BR_JT: return "br_jt";
329  case ISD::BRCOND: return "brcond";
330  case ISD::BR_CC: return "br_cc";
331  case ISD::CALLSEQ_START: return "callseq_start";
332  case ISD::CALLSEQ_END: return "callseq_end";
333 
334  // EH instructions
335  case ISD::CATCHRET: return "catchret";
336  case ISD::CLEANUPRET: return "cleanupret";
337 
338  // Other operators
339  case ISD::LOAD: return "load";
340  case ISD::STORE: return "store";
341  case ISD::MLOAD: return "masked_load";
342  case ISD::MSTORE: return "masked_store";
343  case ISD::MGATHER: return "masked_gather";
344  case ISD::MSCATTER: return "masked_scatter";
345  case ISD::VAARG: return "vaarg";
346  case ISD::VACOPY: return "vacopy";
347  case ISD::VAEND: return "vaend";
348  case ISD::VASTART: return "vastart";
349  case ISD::DYNAMIC_STACKALLOC: return "dynamic_stackalloc";
350  case ISD::EXTRACT_ELEMENT: return "extract_element";
351  case ISD::BUILD_PAIR: return "build_pair";
352  case ISD::STACKSAVE: return "stacksave";
353  case ISD::STACKRESTORE: return "stackrestore";
354  case ISD::TRAP: return "trap";
355  case ISD::DEBUGTRAP: return "debugtrap";
356  case ISD::LIFETIME_START: return "lifetime.start";
357  case ISD::LIFETIME_END: return "lifetime.end";
358  case ISD::GC_TRANSITION_START: return "gc_transition.start";
359  case ISD::GC_TRANSITION_END: return "gc_transition.end";
360  case ISD::GET_DYNAMIC_AREA_OFFSET: return "get.dynamic.area.offset";
361 
362  // Bit manipulation
363  case ISD::ABS: return "abs";
364  case ISD::BITREVERSE: return "bitreverse";
365  case ISD::BSWAP: return "bswap";
366  case ISD::CTPOP: return "ctpop";
367  case ISD::CTTZ: return "cttz";
368  case ISD::CTTZ_ZERO_UNDEF: return "cttz_zero_undef";
369  case ISD::CTLZ: return "ctlz";
370  case ISD::CTLZ_ZERO_UNDEF: return "ctlz_zero_undef";
371 
372  // Trampolines
373  case ISD::INIT_TRAMPOLINE: return "init_trampoline";
374  case ISD::ADJUST_TRAMPOLINE: return "adjust_trampoline";
375 
376  case ISD::CONDCODE:
377  switch (cast<CondCodeSDNode>(this)->get()) {
378  default: llvm_unreachable("Unknown setcc condition!");
379  case ISD::SETOEQ: return "setoeq";
380  case ISD::SETOGT: return "setogt";
381  case ISD::SETOGE: return "setoge";
382  case ISD::SETOLT: return "setolt";
383  case ISD::SETOLE: return "setole";
384  case ISD::SETONE: return "setone";
385 
386  case ISD::SETO: return "seto";
387  case ISD::SETUO: return "setuo";
388  case ISD::SETUEQ: return "setueq";
389  case ISD::SETUGT: return "setugt";
390  case ISD::SETUGE: return "setuge";
391  case ISD::SETULT: return "setult";
392  case ISD::SETULE: return "setule";
393  case ISD::SETUNE: return "setune";
394 
395  case ISD::SETEQ: return "seteq";
396  case ISD::SETGT: return "setgt";
397  case ISD::SETGE: return "setge";
398  case ISD::SETLT: return "setlt";
399  case ISD::SETLE: return "setle";
400  case ISD::SETNE: return "setne";
401 
402  case ISD::SETTRUE: return "settrue";
403  case ISD::SETTRUE2: return "settrue2";
404  case ISD::SETFALSE: return "setfalse";
405  case ISD::SETFALSE2: return "setfalse2";
406  }
407  case ISD::VECREDUCE_FADD: return "vecreduce_fadd";
408  case ISD::VECREDUCE_STRICT_FADD: return "vecreduce_strict_fadd";
409  case ISD::VECREDUCE_FMUL: return "vecreduce_fmul";
410  case ISD::VECREDUCE_STRICT_FMUL: return "vecreduce_strict_fmul";
411  case ISD::VECREDUCE_ADD: return "vecreduce_add";
412  case ISD::VECREDUCE_MUL: return "vecreduce_mul";
413  case ISD::VECREDUCE_AND: return "vecreduce_and";
414  case ISD::VECREDUCE_OR: return "vecreduce_or";
415  case ISD::VECREDUCE_XOR: return "vecreduce_xor";
416  case ISD::VECREDUCE_SMAX: return "vecreduce_smax";
417  case ISD::VECREDUCE_SMIN: return "vecreduce_smin";
418  case ISD::VECREDUCE_UMAX: return "vecreduce_umax";
419  case ISD::VECREDUCE_UMIN: return "vecreduce_umin";
420  case ISD::VECREDUCE_FMAX: return "vecreduce_fmax";
421  case ISD::VECREDUCE_FMIN: return "vecreduce_fmin";
422  }
423 }
424 
425 const char *SDNode::getIndexedModeName(ISD::MemIndexedMode AM) {
426  switch (AM) {
427  default: return "";
428  case ISD::PRE_INC: return "<pre-inc>";
429  case ISD::PRE_DEC: return "<pre-dec>";
430  case ISD::POST_INC: return "<post-inc>";
431  case ISD::POST_DEC: return "<post-dec>";
432  }
433 }
434 
435 static Printable PrintNodeId(const SDNode &Node) {
436  return Printable([&Node](raw_ostream &OS) {
437 #ifndef NDEBUG
438  OS << 't' << Node.PersistentId;
439 #else
440  OS << (const void*)&Node;
441 #endif
442  });
443 }
444 
445 // Print the MMO with more information from the SelectionDAG.
446 static void printMemOperand(raw_ostream &OS, const MachineMemOperand &MMO,
447  const MachineFunction *MF, const Module *M,
448  const MachineFrameInfo *MFI,
449  const TargetInstrInfo *TII, LLVMContext &Ctx) {
450  ModuleSlotTracker MST(M);
451  if (MF)
452  MST.incorporateFunction(MF->getFunction());
453  SmallVector<StringRef, 0> SSNs;
454  MMO.print(OS, MST, SSNs, Ctx, MFI, TII);
455 }
456 
457 static void printMemOperand(raw_ostream &OS, const MachineMemOperand &MMO,
458  const SelectionDAG *G) {
459  if (G) {
460  const MachineFunction *MF = &G->getMachineFunction();
461  return printMemOperand(OS, MMO, MF, MF->getFunction().getParent(),
462  &MF->getFrameInfo(), G->getSubtarget().getInstrInfo(),
463  *G->getContext());
464  } else {
465  LLVMContext Ctx;
466  return printMemOperand(OS, MMO, /*MF=*/nullptr, /*M=*/nullptr,
467  /*MFI=*/nullptr, /*TII=*/nullptr, Ctx);
468  }
469 }
470 
471 #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
472 LLVM_DUMP_METHOD void SDNode::dump() const { dump(nullptr); }
473 
474 LLVM_DUMP_METHOD void SDNode::dump(const SelectionDAG *G) const {
475  print(dbgs(), G);
476  dbgs() << '\n';
477 }
478 #endif
479 
480 void SDNode::print_types(raw_ostream &OS, const SelectionDAG *G) const {
481  for (unsigned i = 0, e = getNumValues(); i != e; ++i) {
482  if (i) OS << ",";
483  if (getValueType(i) == MVT::Other)
484  OS << "ch";
485  else
486  OS << getValueType(i).getEVTString();
487  }
488 }
489 
490 void SDNode::print_details(raw_ostream &OS, const SelectionDAG *G) const {
491  if (getFlags().hasNoUnsignedWrap())
492  OS << " nuw";
493 
494  if (getFlags().hasNoSignedWrap())
495  OS << " nsw";
496 
497  if (getFlags().hasExact())
498  OS << " exact";
499 
500  if (getFlags().hasNoNaNs())
501  OS << " nnan";
502 
503  if (getFlags().hasNoInfs())
504  OS << " ninf";
505 
506  if (getFlags().hasNoSignedZeros())
507  OS << " nsz";
508 
509  if (getFlags().hasAllowReciprocal())
510  OS << " arcp";
511 
512  if (getFlags().hasAllowContract())
513  OS << " contract";
514 
515  if (getFlags().hasApproximateFuncs())
516  OS << " afn";
517 
518  if (getFlags().hasAllowReassociation())
519  OS << " reassoc";
520 
521  if (getFlags().hasVectorReduction())
522  OS << " vector-reduction";
523 
524  if (const MachineSDNode *MN = dyn_cast<MachineSDNode>(this)) {
525  if (!MN->memoperands_empty()) {
526  OS << "<";
527  OS << "Mem:";
528  for (MachineSDNode::mmo_iterator i = MN->memoperands_begin(),
529  e = MN->memoperands_end(); i != e; ++i) {
530  printMemOperand(OS, **i, G);
531  if (std::next(i) != e)
532  OS << " ";
533  }
534  OS << ">";
535  }
536  } else if (const ShuffleVectorSDNode *SVN =
537  dyn_cast<ShuffleVectorSDNode>(this)) {
538  OS << "<";
539  for (unsigned i = 0, e = ValueList[0].getVectorNumElements(); i != e; ++i) {
540  int Idx = SVN->getMaskElt(i);
541  if (i) OS << ",";
542  if (Idx < 0)
543  OS << "u";
544  else
545  OS << Idx;
546  }
547  OS << ">";
548  } else if (const ConstantSDNode *CSDN = dyn_cast<ConstantSDNode>(this)) {
549  OS << '<' << CSDN->getAPIntValue() << '>';
550  } else if (const ConstantFPSDNode *CSDN = dyn_cast<ConstantFPSDNode>(this)) {
551  if (&CSDN->getValueAPF().getSemantics() == &APFloat::IEEEsingle())
552  OS << '<' << CSDN->getValueAPF().convertToFloat() << '>';
553  else if (&CSDN->getValueAPF().getSemantics() == &APFloat::IEEEdouble())
554  OS << '<' << CSDN->getValueAPF().convertToDouble() << '>';
555  else {
556  OS << "<APFloat(";
557  CSDN->getValueAPF().bitcastToAPInt().print(OS, false);
558  OS << ")>";
559  }
560  } else if (const GlobalAddressSDNode *GADN =
561  dyn_cast<GlobalAddressSDNode>(this)) {
562  int64_t offset = GADN->getOffset();
563  OS << '<';
564  GADN->getGlobal()->printAsOperand(OS);
565  OS << '>';
566  if (offset > 0)
567  OS << " + " << offset;
568  else
569  OS << " " << offset;
570  if (unsigned int TF = GADN->getTargetFlags())
571  OS << " [TF=" << TF << ']';
572  } else if (const FrameIndexSDNode *FIDN = dyn_cast<FrameIndexSDNode>(this)) {
573  OS << "<" << FIDN->getIndex() << ">";
574  } else if (const JumpTableSDNode *JTDN = dyn_cast<JumpTableSDNode>(this)) {
575  OS << "<" << JTDN->getIndex() << ">";
576  if (unsigned int TF = JTDN->getTargetFlags())
577  OS << " [TF=" << TF << ']';
578  } else if (const ConstantPoolSDNode *CP = dyn_cast<ConstantPoolSDNode>(this)){
579  int offset = CP->getOffset();
580  if (CP->isMachineConstantPoolEntry())
581  OS << "<" << *CP->getMachineCPVal() << ">";
582  else
583  OS << "<" << *CP->getConstVal() << ">";
584  if (offset > 0)
585  OS << " + " << offset;
586  else
587  OS << " " << offset;
588  if (unsigned int TF = CP->getTargetFlags())
589  OS << " [TF=" << TF << ']';
590  } else if (const TargetIndexSDNode *TI = dyn_cast<TargetIndexSDNode>(this)) {
591  OS << "<" << TI->getIndex() << '+' << TI->getOffset() << ">";
592  if (unsigned TF = TI->getTargetFlags())
593  OS << " [TF=" << TF << ']';
594  } else if (const BasicBlockSDNode *BBDN = dyn_cast<BasicBlockSDNode>(this)) {
595  OS << "<";
596  const Value *LBB = (const Value*)BBDN->getBasicBlock()->getBasicBlock();
597  if (LBB)
598  OS << LBB->getName() << " ";
599  OS << (const void*)BBDN->getBasicBlock() << ">";
600  } else if (const RegisterSDNode *R = dyn_cast<RegisterSDNode>(this)) {
601  OS << ' ' << printReg(R->getReg(),
602  G ? G->getSubtarget().getRegisterInfo() : nullptr);
603  } else if (const ExternalSymbolSDNode *ES =
604  dyn_cast<ExternalSymbolSDNode>(this)) {
605  OS << "'" << ES->getSymbol() << "'";
606  if (unsigned int TF = ES->getTargetFlags())
607  OS << " [TF=" << TF << ']';
608  } else if (const SrcValueSDNode *M = dyn_cast<SrcValueSDNode>(this)) {
609  if (M->getValue())
610  OS << "<" << M->getValue() << ">";
611  else
612  OS << "<null>";
613  } else if (const MDNodeSDNode *MD = dyn_cast<MDNodeSDNode>(this)) {
614  if (MD->getMD())
615  OS << "<" << MD->getMD() << ">";
616  else
617  OS << "<null>";
618  } else if (const VTSDNode *N = dyn_cast<VTSDNode>(this)) {
619  OS << ":" << N->getVT().getEVTString();
620  }
621  else if (const LoadSDNode *LD = dyn_cast<LoadSDNode>(this)) {
622  OS << "<";
623 
624  printMemOperand(OS, *LD->getMemOperand(), G);
625 
626  bool doExt = true;
627  switch (LD->getExtensionType()) {
628  default: doExt = false; break;
629  case ISD::EXTLOAD: OS << ", anyext"; break;
630  case ISD::SEXTLOAD: OS << ", sext"; break;
631  case ISD::ZEXTLOAD: OS << ", zext"; break;
632  }
633  if (doExt)
634  OS << " from " << LD->getMemoryVT().getEVTString();
635 
636  const char *AM = getIndexedModeName(LD->getAddressingMode());
637  if (*AM)
638  OS << ", " << AM;
639 
640  OS << ">";
641  } else if (const StoreSDNode *ST = dyn_cast<StoreSDNode>(this)) {
642  OS << "<";
643  printMemOperand(OS, *ST->getMemOperand(), G);
644 
645  if (ST->isTruncatingStore())
646  OS << ", trunc to " << ST->getMemoryVT().getEVTString();
647 
648  const char *AM = getIndexedModeName(ST->getAddressingMode());
649  if (*AM)
650  OS << ", " << AM;
651 
652  OS << ">";
653  } else if (const MemSDNode* M = dyn_cast<MemSDNode>(this)) {
654  OS << "<";
655  printMemOperand(OS, *M->getMemOperand(), G);
656  OS << ">";
657  } else if (const BlockAddressSDNode *BA =
658  dyn_cast<BlockAddressSDNode>(this)) {
659  int64_t offset = BA->getOffset();
660  OS << "<";
661  BA->getBlockAddress()->getFunction()->printAsOperand(OS, false);
662  OS << ", ";
663  BA->getBlockAddress()->getBasicBlock()->printAsOperand(OS, false);
664  OS << ">";
665  if (offset > 0)
666  OS << " + " << offset;
667  else
668  OS << " " << offset;
669  if (unsigned int TF = BA->getTargetFlags())
670  OS << " [TF=" << TF << ']';
671  } else if (const AddrSpaceCastSDNode *ASC =
672  dyn_cast<AddrSpaceCastSDNode>(this)) {
673  OS << '['
674  << ASC->getSrcAddressSpace()
675  << " -> "
676  << ASC->getDestAddressSpace()
677  << ']';
678  }
679 
680  if (VerboseDAGDumping) {
681  if (unsigned Order = getIROrder())
682  OS << " [ORD=" << Order << ']';
683 
684  if (getNodeId() != -1)
685  OS << " [ID=" << getNodeId() << ']';
686  if (!(isa<ConstantSDNode>(this) || (isa<ConstantFPSDNode>(this))))
687  OS << "# D:" << isDivergent();
688 
689  if (!G)
690  return;
691 
692  DILocation *L = getDebugLoc();
693  if (!L)
694  return;
695 
696  if (auto *Scope = L->getScope())
697  OS << Scope->getFilename();
698  else
699  OS << "<unknown>";
700  OS << ':' << L->getLine();
701  if (unsigned C = L->getColumn())
702  OS << ':' << C;
703 
704  for (SDDbgValue *Dbg : G->GetDbgValues(this)) {
705  if (Dbg->getKind() != SDDbgValue::SDNODE || Dbg->isInvalidated())
706  continue;
707  Dbg->dump(OS);
708  }
709  }
710 }
711 
712 LLVM_DUMP_METHOD void SDDbgValue::dump(raw_ostream &OS) const {
713  OS << " DbgVal";
714  if (kind==SDNODE)
715  OS << '(' << u.s.ResNo << ')';
716  OS << ":\"" << Var->getName() << '"';
717 #ifndef NDEBUG
718  if (Expr->getNumElements())
719  Expr->dump();
720 #endif
721 }
722 
723 /// Return true if this node is so simple that we should just print it inline
724 /// if it appears as an operand.
725 static bool shouldPrintInline(const SDNode &Node) {
726  if (Node.getOpcode() == ISD::EntryToken)
727  return false;
728  return Node.getNumOperands() == 0;
729 }
730 
731 #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
732 static void DumpNodes(const SDNode *N, unsigned indent, const SelectionDAG *G) {
733  for (const SDValue &Op : N->op_values()) {
734  if (shouldPrintInline(*Op.getNode()))
735  continue;
736  if (Op.getNode()->hasOneUse())
737  DumpNodes(Op.getNode(), indent+2, G);
738  }
739 
740  dbgs().indent(indent);
741  N->dump(G);
742 }
743 
744 LLVM_DUMP_METHOD void SelectionDAG::dump() const {
745  dbgs() << "SelectionDAG has " << AllNodes.size() << " nodes:\n";
746 
747  for (allnodes_const_iterator I = allnodes_begin(), E = allnodes_end();
748  I != E; ++I) {
749  const SDNode *N = &*I;
750  if (!N->hasOneUse() && N != getRoot().getNode() &&
751  (!shouldPrintInline(*N) || N->use_empty()))
752  DumpNodes(N, 2, this);
753  }
754 
755  if (getRoot().getNode()) DumpNodes(getRoot().getNode(), 2, this);
756  dbgs() << "\n\n";
757 }
758 #endif
759 
760 void SDNode::printr(raw_ostream &OS, const SelectionDAG *G) const {
761  OS << PrintNodeId(*this) << ": ";
762  print_types(OS, G);
763  OS << " = " << getOperationName(G);
764  print_details(OS, G);
765 }
766 
767 static bool printOperand(raw_ostream &OS, const SelectionDAG *G,
768  const SDValue Value) {
769  if (!Value.getNode()) {
770  OS << "<null>";
771  return false;
772  } else if (shouldPrintInline(*Value.getNode())) {
773  OS << Value->getOperationName(G) << ':';
774  Value->print_types(OS, G);
775  Value->print_details(OS, G);
776  return true;
777  } else {
778  OS << PrintNodeId(*Value.getNode());
779  if (unsigned RN = Value.getResNo())
780  OS << ':' << RN;
781  return false;
782  }
783 }
784 
785 #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
786 using VisitedSDNodeSet = SmallPtrSet<const SDNode *, 32>;
787 
788 static void DumpNodesr(raw_ostream &OS, const SDNode *N, unsigned indent,
789  const SelectionDAG *G, VisitedSDNodeSet &once) {
790  if (!once.insert(N).second) // If we've been here before, return now.
791  return;
792 
793  // Dump the current SDNode, but don't end the line yet.
794  OS.indent(indent);
795  N->printr(OS, G);
796 
797  // Having printed this SDNode, walk the children:
798  for (unsigned i = 0, e = N->getNumOperands(); i != e; ++i) {
799  if (i) OS << ",";
800  OS << " ";
801 
802  const SDValue Op = N->getOperand(i);
803  bool printedInline = printOperand(OS, G, Op);
804  if (printedInline)
805  once.insert(Op.getNode());
806  }
807 
808  OS << "\n";
809 
810  // Dump children that have grandchildren on their own line(s).
811  for (const SDValue &Op : N->op_values())
812  DumpNodesr(OS, Op.getNode(), indent+2, G, once);
813 }
814 
815 LLVM_DUMP_METHOD void SDNode::dumpr() const {
816  VisitedSDNodeSet once;
817  DumpNodesr(dbgs(), this, 0, nullptr, once);
818 }
819 
820 LLVM_DUMP_METHOD void SDNode::dumpr(const SelectionDAG *G) const {
821  VisitedSDNodeSet once;
822  DumpNodesr(dbgs(), this, 0, G, once);
823 }
824 #endif
825 
826 static void printrWithDepthHelper(raw_ostream &OS, const SDNode *N,
827  const SelectionDAG *G, unsigned depth,
828  unsigned indent) {
829  if (depth == 0)
830  return;
831 
832  OS.indent(indent);
833 
834  N->print(OS, G);
835 
836  if (depth < 1)
837  return;
838 
839  for (const SDValue &Op : N->op_values()) {
840  // Don't follow chain operands.
841  if (Op.getValueType() == MVT::Other)
842  continue;
843  OS << '\n';
844  printrWithDepthHelper(OS, Op.getNode(), G, depth-1, indent+2);
845  }
846 }
847 
848 void SDNode::printrWithDepth(raw_ostream &OS, const SelectionDAG *G,
849  unsigned depth) const {
850  printrWithDepthHelper(OS, this, G, depth, 0);
851 }
852 
853 void SDNode::printrFull(raw_ostream &OS, const SelectionDAG *G) const {
854  // Don't print impossibly deep things.
855  printrWithDepth(OS, G, 10);
856 }
857 
858 #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
859 LLVM_DUMP_METHOD
860 void SDNode::dumprWithDepth(const SelectionDAG *G, unsigned depth) const {
861  printrWithDepth(dbgs(), G, depth);
862 }
863 
864 LLVM_DUMP_METHOD void SDNode::dumprFull(const SelectionDAG *G) const {
865  // Don't print impossibly deep things.
866  dumprWithDepth(G, 10);
867 }
868 #endif
869 
870 void SDNode::print(raw_ostream &OS, const SelectionDAG *G) const {
871  printr(OS, G);
872  for (unsigned i = 0, e = getNumOperands(); i != e; ++i) {
873  if (i) OS << ", "; else OS << " ";
874  printOperand(OS, G, getOperand(i));
875  }
876  if (DebugLoc DL = getDebugLoc()) {
877  OS << ", ";
878  DL.print(OS);
879  }
880 }
llvm::ISD::ADJUST_TRAMPOLINE
ADJUST_TRAMPOLINE - This corresponds to the adjust_trampoline intrinsic.
Definition: ISDOpcodes.h:764
llvm::ISD::BITCAST
BITCAST - This operator converts between integer, vector and FP values, as if the value was stored to...
Definition: ISDOpcodes.h:571
llvm::ISD::FP_ROUND
X = FP_ROUND(Y, TRUNC) - Rounding &#39;Y&#39; from a larger floating point type down to the precision of the ...
Definition: ISDOpcodes.h:538
llvm::ISD::BUILTIN_OP_END
BUILTIN_OP_END - This must be the last enum value in this list.
Definition: ISDOpcodes.h:877
llvm::ISD::FMINNUM
FMINNUM/FMAXNUM - Perform floating-point minimum or maximum on two values.
Definition: ISDOpcodes.h:594
llvm::ISD::STRICT_FSQRT
Constrained versions of libm-equivalent floating point intrinsics.
Definition: ISDOpcodes.h:296
llvm::SDNode::getOperationName
std::string getOperationName(const SelectionDAG *G=nullptr) const
Return the opcode of this operation for printing.
Definition: SelectionDAGDumper.cpp:60
llvm::ISD::EXTRACT_ELEMENT
EXTRACT_ELEMENT - This is used to get the lower or upper (determined by a Constant, which is required to be operand #1) half of the integer or float value specified as operand #0.
Definition: ISDOpcodes.h:184
llvm::SDNode::getOpcode
unsigned getOpcode() const
Return the SelectionDAG opcode value for this node.
Definition: SelectionDAGNodes.h:625
llvm::ISD::DELETED_NODE
DELETED_NODE - This is an illegal value that is used to catch errors.
Definition: ISDOpcodes.h:42
llvm::ISD::MDNODE_SDNODE
MDNODE_SDNODE - This is a node that holdes an MDNode*, which is used to reference metadata in the IR...
Definition: ISDOpcodes.h:736
llvm::ISD::EXTRACT_SUBVECTOR
EXTRACT_SUBVECTOR(VECTOR, IDX) - Returns a subvector from VECTOR (an vector value) starting with the ...
Definition: ISDOpcodes.h:358
llvm::ISD::BR_CC
BR_CC - Conditional branch.
Definition: ISDOpcodes.h:650
llvm
This class represents lattice values for constants.
Definition: AllocatorList.h:24
llvm::ISD::BasicBlock
Various leaf nodes.
Definition: ISDOpcodes.h:60
llvm::ISD::FMINIMUM
FMINIMUM/FMAXIMUM - NaN-propagating minimum/maximum that also treat -0.0 as less than 0...
Definition: ISDOpcodes.h:605
llvm::ISD::VECTOR_SHUFFLE
VECTOR_SHUFFLE(VEC1, VEC2) - Returns a vector, of the same type as VEC1/VEC2.
Definition: ISDOpcodes.h:367
llvm::Module
A Module instance is used to store all the information related to an LLVM module. ...
Definition: Module.h:65
llvm::ISD::ZERO_EXTEND_VECTOR_INREG
ZERO_EXTEND_VECTOR_INREG(Vector) - This operator represents an in-register zero-extension of the low ...
Definition: ISDOpcodes.h:519
llvm::ISD::ADDC
Carry-setting nodes for multiple precision addition and subtraction.
Definition: ISDOpcodes.h:223
llvm::SDNode::getValueType
EVT getValueType(unsigned ResNo) const
Return the type of a specified result.
Definition: SelectionDAGNodes.h:967
llvm::ISD::STACKRESTORE
STACKRESTORE has two operands, an input chain and a pointer to restore to it returns an output chain...
Definition: ISDOpcodes.h:699
llvm::SDNode::print_details
void print_details(raw_ostream &OS, const SelectionDAG *G) const
Definition: SelectionDAGDumper.cpp:490
llvm::ISD::SADDO
RESULT, BOOL = [SU]ADDO(LHS, RHS) - Overflow-aware nodes for addition.
Definition: ISDOpcodes.h:251
llvm::ISD::TargetGlobalAddress
TargetGlobalAddress - Like GlobalAddress, but the DAG does no folding or anything else with this node...
Definition: ISDOpcodes.h:131
llvm::ISD::ATOMIC_CMP_SWAP_WITH_SUCCESS
Val, Success, OUTCHAIN = ATOMIC_CMP_SWAP_WITH_SUCCESS(INCHAIN, ptr, cmp, swap) N.b.
Definition: ISDOpcodes.h:802
llvm::TargetLowering::getTargetNodeName
virtual const char * getTargetNodeName(unsigned Opcode) const
This method returns the name of a target specific DAG node.
Definition: TargetLowering.cpp:43
llvm::ISD::STRICT_FADD
Constrained versions of the binary floating point operators.
Definition: ISDOpcodes.h:289
llvm::ISD::SIGN_EXTEND_VECTOR_INREG
SIGN_EXTEND_VECTOR_INREG(Vector) - This operator represents an in-register sign-extension of the low ...
Definition: ISDOpcodes.h:508
llvm::ModuleSlotTracker
Manage lifetime of a slot tracker for printing IR.
Definition: ModuleSlotTracker.h:30
llvm::ISD::SMIN
[US]{MIN/MAX} - Binary minimum or maximum or signed or unsigned integers.
Definition: ISDOpcodes.h:384
llvm::SDNode::getFlags
const SDNodeFlags getFlags() const
Definition: SelectionDAGNodes.h:955
llvm::ISD::SSUBO
Same for subtraction.
Definition: ISDOpcodes.h:254
llvm::MachineMemOperand::print
void print(raw_ostream &OS) const
Support for operator<<.
Definition: MachineOperand.cpp:1039
llvm::ISD::INSERT_SUBVECTOR
INSERT_SUBVECTOR(VECTOR1, VECTOR2, IDX) - Returns a vector with VECTOR2 inserted into VECTOR1 at the ...
Definition: ISDOpcodes.h:353
llvm::SDNode::PersistentId
uint16_t PersistentId
Unique and persistent id per SDNode in the DAG.
Definition: SelectionDAGNodes.h:615
llvm::ISD::GLOBAL_OFFSET_TABLE
The address of the GOT.
Definition: ISDOpcodes.h:66
llvm::ISD::EntryToken
EntryToken - This is the marker used to indicate the start of a region.
Definition: ISDOpcodes.h:45
llvm::ISD::ATOMIC_FENCE
OUTCHAIN = ATOMIC_FENCE(INCHAIN, ordering, scope) This corresponds to the fence instruction.
Definition: ISDOpcodes.h:781
llvm::ISD::SELECT_CC
Select with condition operator - This selects between a true value and a false value (ops #2 and #3) ...
Definition: ISDOpcodes.h:435
llvm::ISD::FGETSIGN
INT = FGETSIGN(FP) - Return the sign bit of the specified floating point value as an integer 0/1 valu...
Definition: ISDOpcodes.h:316
llvm::ShuffleVectorSDNode
This SDNode is used to implement the code generator support for the llvm IR shufflevector instruction...
Definition: SelectionDAGNodes.h:1446
llvm::ISD::INTRINSIC_W_CHAIN
RESULT,OUTCHAIN = INTRINSIC_W_CHAIN(INCHAIN, INTRINSICID, arg1, ...) This node represents a target in...
Definition: ISDOpcodes.h:159
llvm::ISD::EH_SJLJ_LONGJMP
OUTCHAIN = EH_SJLJ_LONGJMP(INCHAIN, buffer) This corresponds to the eh.sjlj.longjmp intrinsic...
Definition: ISDOpcodes.h:114
llvm::ISD::SDIVREM
SDIVREM/UDIVREM - Divide two integers and produce both a quotient and remainder result.
Definition: ISDOpcodes.h:210
llvm::ISD::SHL_PARTS
SHL_PARTS/SRA_PARTS/SRL_PARTS - These operators are used for expanded integer shift operations...
Definition: ISDOpcodes.h:456
llvm::ISD::CLEANUPRET
CLEANUPRET - Represents a return from a cleanup block funclet.
Definition: ISDOpcodes.h:690
PrintNodeId
static Printable PrintNodeId(const SDNode &Node)
Definition: SelectionDAGDumper.cpp:435
llvm::MachineMemOperand
A description of a memory reference used in the backend.
Definition: MachineMemOperand.h:129
Name
amdgpu Simplify well known AMD library false Value Value const Twine & Name
Definition: AMDGPULibCalls.cpp:221
llvm::ISD::PCMARKER
PCMARKER - This corresponds to the pcmarker intrinsic.
Definition: ISDOpcodes.h:739
llvm::Intrinsic::getName
StringRef getName(ID id)
Return the LLVM name for an intrinsic, such as "llvm.ppc.altivec.lvx".
Definition: Function.cpp:626
MachineConstantPool.h
This file declares the MachineConstantPool class which is an abstract constant pool to keep track of ...
TII
const HexagonInstrInfo * TII
Definition: HexagonCopyToCombine.cpp:128
llvm::ISD::SHL
Shift and rotation operations.
Definition: ISDOpcodes.h:410
llvm::ISD::ABS
ABS - Determine the unsigned absolute value of a signed integer value of the same bitwidth...
Definition: ISDOpcodes.h:393
llvm::ISD::BUILD_PAIR
BUILD_PAIR - This is the opposite of EXTRACT_ELEMENT in some ways.
Definition: ISDOpcodes.h:191
llvm::ISD::SMULFIX
RESULT = SMULFIX(LHS, RHS, SCALE) - Perform fixed point multiplication on 2 integers with the same wi...
Definition: ISDOpcodes.h:280
llvm::ISD::CopyToReg
CopyToReg - This node has three operands: a chain, a register number to set to this value...
Definition: ISDOpcodes.h:170
llvm::ISD::FLT_ROUNDS_
FLT_ROUNDS_ - Returns current rounding mode: -1 Undefined 0 Round to 0 1 Round to nearest 2 Round to ...
Definition: ISDOpcodes.h:546
llvm::ISD::CALLSEQ_START
CALLSEQ_START/CALLSEQ_END - These operators mark the beginning and end of a call sequence, and carry arbitrary information that target might want to know.
Definition: ISDOpcodes.h:713
llvm::ISD::EH_DWARF_CFA
EH_DWARF_CFA - This node represents the pointer to the DWARF Canonical Frame Address (CFA)...
Definition: ISDOpcodes.h:96
llvm::MachineFrameInfo
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted...
Definition: MachineFrameInfo.h:106
llvm::ISD::ATOMIC_SWAP
Val, OUTCHAIN = ATOMIC_SWAP(INCHAIN, ptr, amt) Val, OUTCHAIN = ATOMIC_LOAD_[OpName](INCHAIN, ptr, amt) For double-word atomic operations: ValLo, ValHi, OUTCHAIN = ATOMIC_SWAP(INCHAIN, ptr, amtLo, amtHi) ValLo, ValHi, OUTCHAIN = ATOMIC_LOAD_[OpName](INCHAIN, ptr, amtLo, amtHi) These correspond to the atomicrmw instruction.
Definition: ISDOpcodes.h:810
LLVM_DUMP_METHOD
#define LLVM_DUMP_METHOD
Definition: Compiler.h:74
llvm::ISD::FRAMEADDR
FRAMEADDR, RETURNADDR - These nodes represent llvm.frameaddress and llvm.returnaddress on the DAG...
Definition: ISDOpcodes.h:73
llvm::TargetLowering
This class defines information used to lower LLVM code to legal SelectionDAG operators that the targe...
Definition: TargetLowering.h:2760
APInt.h
This file implements a class to represent arbitrary precision integral constant values and operations...
llvm::ISD::INLINEASM
INLINEASM - Represents an inline asm block.
Definition: ISDOpcodes.h:667
llvm::ISD::STACKSAVE
STACKSAVE - STACKSAVE has one operand, an input chain.
Definition: ISDOpcodes.h:695
llvm::ISD::FRAME_TO_ARGS_OFFSET
FRAME_TO_ARGS_OFFSET - This node represents offset from frame pointer to first (possible) on-stack ar...
Definition: ISDOpcodes.h:91
llvm::SelectionDAG::getMachineFunction
MachineFunction & getMachineFunction() const
Definition: SelectionDAG.h:398
llvm::ISD::SINT_TO_FP
[SU]INT_TO_FP - These operators convert integers (whose interpreted sign depends on the first letter)...
Definition: ISDOpcodes.h:478
llvm::ISD::EH_SJLJ_SETUP_DISPATCH
OUTCHAIN = EH_SJLJ_SETUP_DISPATCH(INCHAIN) The target initializes the dispatch table here...
Definition: ISDOpcodes.h:118
llvm::SelectionDAG::getTarget
const TargetMachine & getTarget() const
Definition: SelectionDAG.h:402
llvm::ISD::VSELECT
Select with a vector condition (op #0) and two vector operands (ops #1 and #2), returning a vector re...
Definition: ISDOpcodes.h:429
llvm::ISD::ADD
Simple integer binary arithmetic operators.
Definition: ISDOpcodes.h:201
llvm::TargetSubtargetInfo::getInstrInfo
virtual const TargetInstrInfo * getInstrInfo() const
Definition: TargetSubtargetInfo.h:96
llvm::APFloatBase::IEEEdouble
static const fltSemantics & IEEEdouble() LLVM_READNONE
Definition: APFloat.cpp:123
llvm::ISD::TargetConstant
TargetConstant* - Like Constant*, but the DAG does not do any folding, simplification, or lowering of the constant.
Definition: ISDOpcodes.h:125
llvm::SDNode::getIndexedModeName
static const char * getIndexedModeName(ISD::MemIndexedMode AM)
Definition: SelectionDAGDumper.cpp:425
llvm::ISD::READCYCLECOUNTER
READCYCLECOUNTER - This corresponds to the readcyclecounter intrinsic.
Definition: ISDOpcodes.h:747
llvm::ISD::ANY_EXTEND_VECTOR_INREG
ANY_EXTEND_VECTOR_INREG(Vector) - This operator represents an in-register any-extension of the low la...
Definition: ISDOpcodes.h:497
llvm::ISD::VECREDUCE_STRICT_FADD
Generic reduction nodes.
Definition: ISDOpcodes.h:866
llvm::ISD::INTRINSIC_WO_CHAIN
RESULT = INTRINSIC_WO_CHAIN(INTRINSICID, arg1, arg2, ...) This node represents a target intrinsic fun...
Definition: ISDOpcodes.h:151
llvm::ISD::UNDEF
UNDEF - An undefined node.
Definition: ISDOpcodes.h:178
llvm::ISD::FP_TO_SINT
FP_TO_[US]INT - Convert a floating point value to a signed or unsigned integer.
Definition: ISDOpcodes.h:524
llvm::ISD::BUILD_VECTOR
BUILD_VECTOR(ELT0, ELT1, ELT2, ELT3,...) - Return a vector with the specified, possibly variable...
Definition: ISDOpcodes.h:327
llvm::TargetInstrInfo
TargetInstrInfo - Interface to description of machine instruction set.
Definition: TargetInstrInfo.h:67
llvm::ISD::LIFETIME_START
This corresponds to the llvm.lifetime.
Definition: ISDOpcodes.h:844
llvm::SDNode::getNumValues
unsigned getNumValues() const
Return the number of values defined/returned by this operator.
Definition: SelectionDAGNodes.h:964
llvm::ISD::INTRINSIC_VOID
OUTCHAIN = INTRINSIC_VOID(INCHAIN, INTRINSICID, arg1, arg2, ...) This node represents a target intrin...
Definition: ISDOpcodes.h:166
llvm::ISD::VECREDUCE_FADD
These reductions are non-strict, and have a single vector operand.
Definition: ISDOpcodes.h:868
llvm::ISD::BR
Control flow instructions. These all have token chains.
Definition: ISDOpcodes.h:629
llvm::ISD::READ_REGISTER
READ_REGISTER, WRITE_REGISTER - This node represents llvm.register on the DAG, which implements the n...
Definition: ISDOpcodes.h:85
llvm::ISD::GC_TRANSITION_START
GC_TRANSITION_START/GC_TRANSITION_END - These operators mark the beginning and end of GC transition s...
Definition: ISDOpcodes.h:852
llvm::ISD::LOCAL_RECOVER
LOCAL_RECOVER - Represents the llvm.localrecover intrinsic.
Definition: ISDOpcodes.h:81
VerboseDAGDumping
static cl::opt< bool > VerboseDAGDumping("dag-dump-verbose", cl::Hidden, cl::desc("Display more information when dumping selection " "DAG nodes."))
llvm::LLVMContext
This is an important class for using LLVM in a threaded context.
Definition: LLVMContext.h:69
llvm::ISD::FADD
Simple binary floating point operators.
Definition: ISDOpcodes.h:283
llvm::MachineFunction::getFrameInfo
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
Definition: MachineFunction.h:463
llvm::ISD::VAEND
VAEND, VASTART - VAEND and VASTART have three operands: an input chain, pointer, and a SRCVALUE...
Definition: ISDOpcodes.h:728
llvm::SDNode::getOperand
const SDValue & getOperand(unsigned Num) const
Definition: SelectionDAGNodes.h:904
llvm::ISD::INSERT_VECTOR_ELT
INSERT_VECTOR_ELT(VECTOR, VAL, IDX) - Returns VECTOR with the element at IDX replaced with VAL...
Definition: ISDOpcodes.h:332
Constants.h
This file contains the declarations for the subclasses of Constant, which represent the different fla...
llvm::ISD::ADDE
Carry-using nodes for multiple precision addition and subtraction.
Definition: ISDOpcodes.h:232
APFloat.h
This file declares a class to represent arbitrary precision floating point values and provide a varie...
llvm::ISD::INIT_TRAMPOLINE
INIT_TRAMPOLINE - This corresponds to the init_trampoline intrinsic.
Definition: ISDOpcodes.h:758
llvm::ISD::TRAP
TRAP - Trapping instruction.
Definition: ISDOpcodes.h:767
llvm::ISD::TargetIndex
TargetIndex - Like a constant pool entry, but with completely target-dependent semantics.
Definition: ISDOpcodes.h:144
llvm::EVT::getEVTString
std::string getEVTString() const
This function returns value type as a string, e.g. "i32".
Definition: ValueTypes.cpp:115
llvm::ISD::AssertSext
AssertSext, AssertZext - These nodes record if a register contains a value that has already been zero...
Definition: ISDOpcodes.h:57
llvm::ISD::DEBUGTRAP
DEBUGTRAP - Trap intended to get the attention of a debugger.
Definition: ISDOpcodes.h:770
llvm::ISD::VAARG
VAARG - VAARG has four operands: an input chain, a pointer, a SRCVALUE, and the alignment.
Definition: ISDOpcodes.h:719
llvm::ISD::CTTZ_ZERO_UNDEF
Bit counting operators with an undefined result for zero inputs.
Definition: ISDOpcodes.h:416
llvm::ISD::ATOMIC_CMP_SWAP
Val, OUTCHAIN = ATOMIC_CMP_SWAP(INCHAIN, ptr, cmp, swap) For double-word atomic operations: ValLo...
Definition: ISDOpcodes.h:796
llvm::ISD::FP_EXTEND
X = FP_EXTEND(Y) - Extend a smaller FP type into a larger FP type.
Definition: ISDOpcodes.h:556
llvm::ModuleSlotTracker::incorporateFunction
void incorporateFunction(const Function &F)
Incorporate the given function.
Definition: AsmWriter.cpp:841
llvm::SDNode::isMachineOpcode
bool isMachineOpcode() const
Test if this node has a post-isel opcode, directly corresponding to a MachineInstr opcode...
Definition: SelectionDAGNodes.h:687
llvm_unreachable
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
Definition: ErrorHandling.h:136
llvm::ISD::HANDLENODE
HANDLENODE node - Used as a handle for various purposes.
Definition: ISDOpcodes.h:750
llvm::ISD::EH_LABEL
EH_LABEL - Represents a label in mid basic block used to track locations needed for debug and excepti...
Definition: ISDOpcodes.h:672
llvm::TargetIntrinsicInfo
TargetIntrinsicInfo - Interface to description of machine instruction set.
Definition: TargetIntrinsicInfo.h:31
llvm::ISD::SADDSAT
RESULT = [US]ADDSAT(LHS, RHS) - Perform saturation addition on 2 integers with the same bit width (W)...
Definition: ISDOpcodes.h:265
llvm::ISD::TokenFactor
TokenFactor - This node takes multiple tokens as input and produces a single token result...
Definition: ISDOpcodes.h:50
llvm::SDNode::dump
void dump() const
Dump this node, for debugging.
Definition: SelectionDAGDumper.cpp:472
llvm::APFloatBase::IEEEsingle
static const fltSemantics & IEEEsingle() LLVM_READNONE
Definition: APFloat.cpp:120
printMemOperand
static void printMemOperand(raw_ostream &OS, const MachineMemOperand &MMO, const MachineFunction *MF, const Module *M, const MachineFrameInfo *MFI, const TargetInstrInfo *TII, LLVMContext &Ctx)
Definition: SelectionDAGDumper.cpp:446
llvm::SelectionDAG::getTargetLoweringInfo
const TargetLowering & getTargetLoweringInfo() const
Definition: SelectionDAG.h:404
llvm::ISD::FCANONICALIZE
Returns platform specific canonical encoding of a floating point number.
Definition: ISDOpcodes.h:319
llvm::ISD::EXTRACT_VECTOR_ELT
EXTRACT_VECTOR_ELT(VECTOR, IDX) - Returns a single element from VECTOR identified by the (potentially...
Definition: ISDOpcodes.h:339
llvm::ISD::SETCCCARRY
Like SetCC, ops #0 and #1 are the LHS and RHS operands to compare, but op #2 is a boolean indicating ...
Definition: ISDOpcodes.h:451
llvm::SelectionDAG
This is used to represent a portion of an LLVM function in a low-level Data Dependence DAG representa...
Definition: SelectionDAG.h:222
llvm::ISD::FP_ROUND_INREG
X = FP_ROUND_INREG(Y, VT) - This operator takes an FP register, and rounds it to a floating point val...
Definition: ISDOpcodes.h:553
llvm::ISD::ADDRSPACECAST
ADDRSPACECAST - This operator converts between pointers of different address spaces.
Definition: ISDOpcodes.h:575
llvm::SmallVector
This is a &#39;vector&#39; (really, a variable-sized array), optimized for the case when the array is small...
Definition: SmallVector.h:847
llvm::ISD::BRCOND
BRCOND - Conditional branch.
Definition: ISDOpcodes.h:644
llvm::ISD::FMINNUM_IEEE
FMINNUM_IEEE/FMAXNUM_IEEE - Perform floating-point minimum or maximum on two values, following the IEEE-754 2008 definition.
Definition: ISDOpcodes.h:600
G
const DataFlowGraph & G
Definition: RDFGraph.cpp:211
llvm::MachineSDNode
An SDNode that represents everything that will be needed to construct a MachineInstr.
Definition: SelectionDAGNodes.h:2290
llvm::ISD::BSWAP
Byte Swap and Counting operators.
Definition: ISDOpcodes.h:413
llvm::ISD::FP16_TO_FP
FP16_TO_FP, FP_TO_FP16 - These operators are used to perform promotions and truncation for half-preci...
Definition: ISDOpcodes.h:581
llvm::SDNode
Represents one node in the SelectionDAG.
Definition: SelectionDAGNodes.h:482
llvm::utostr
std::string utostr(uint64_t X, bool isNeg=false)
Definition: StringExtras.h:224
llvm::MachineFunction::getFunction
const Function & getFunction() const
Return the LLVM function that this machine code represents.
Definition: MachineFunction.h:433
llvm::dbgs
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition: Debug.cpp:133
llvm::ISD::SELECT
Select(COND, TRUEVAL, FALSEVAL).
Definition: ISDOpcodes.h:420
llvm::ISD::ZERO_EXTEND
ZERO_EXTEND - Used for integer types, zeroing the new bits.
Definition: ISDOpcodes.h:468
llvm::ISD::ANY_EXTEND
ANY_EXTEND - Used for integer types. The high bits are undefined.
Definition: ISDOpcodes.h:471
llvm::ISD::FCOPYSIGN
FCOPYSIGN(X, Y) - Return the value of X with the sign of Y.
Definition: ISDOpcodes.h:312
llvm::ISD::CATCHRET
CATCHRET - Represents a return from a catch block funclet.
Definition: ISDOpcodes.h:686
llvm::ISD::GET_DYNAMIC_AREA_OFFSET
GET_DYNAMIC_AREA_OFFSET - get offset from native SP to the address of the most recent dynamic alloca...
Definition: ISDOpcodes.h:859
llvm::ISD::BR_JT
BR_JT - Jumptable branch.
Definition: ISDOpcodes.h:638
llvm::ISD::VACOPY
VACOPY - VACOPY has 5 operands: an input chain, a destination pointer, a source pointer, a SRCVALUE for the destination, and a SRCVALUE for the source.
Definition: ISDOpcodes.h:724
llvm::ISD::AND
Bitwise operators - logical and, logical or, logical xor.
Definition: ISDOpcodes.h:387
llvm::nodes
iterator_range< typename GraphTraits< GraphType >::nodes_iterator > nodes(const GraphType &G)
Definition: GraphTraits.h:109
llvm::ISD::SMUL_LOHI
SMUL_LOHI/UMUL_LOHI - Multiply two integers of type iN, producing a signed/unsigned value of type i[2...
Definition: ISDOpcodes.h:206
llvm::ISD::SIGN_EXTEND_INREG
SIGN_EXTEND_INREG - This operator atomically performs a SHL/SRA pair to sign extend a small value in ...
Definition: ISDOpcodes.h:486
llvm::ISD::LOAD
LOAD and STORE have token chains as their first operand, then the same operands as an LLVM load/store...
Definition: ISDOpcodes.h:614
llvm::TargetMachine::getIntrinsicInfo
virtual const TargetIntrinsicInfo * getIntrinsicInfo() const
If intrinsic information is available, return it. If not, return null.
Definition: TargetMachine.h:169
llvm::SelectionDAG::getSubtarget
const TargetSubtargetInfo & getSubtarget() const
Definition: SelectionDAG.h:403
llvm::ISD::SSUBSAT
RESULT = [US]SUBSAT(LHS, RHS) - Perform saturation subtraction on 2 integers with the same bit width ...
Definition: ISDOpcodes.h:273
llvm::ISD::SMULO
Same for multiplication.
Definition: ISDOpcodes.h:257
llvm::ISD::FSINCOS
FSINCOS - Compute both fsin and fcos as a single operation.
Definition: ISDOpcodes.h:608
llvm::SDNode::print_types
void print_types(raw_ostream &OS, const SelectionDAG *G) const
Definition: SelectionDAGDumper.cpp:480
llvm::ISD::EH_SJLJ_SETJMP
RESULT, OUTCHAIN = EH_SJLJ_SETJMP(INCHAIN, buffer) This corresponds to the eh.sjlj.setjmp intrinsic.
Definition: ISDOpcodes.h:108
llvm::ISD::CopyFromReg
CopyFromReg - This node indicates that the input value is a virtual or physical register that is defi...
Definition: ISDOpcodes.h:175
llvm::ISD::EH_RETURN
OUTCHAIN = EH_RETURN(INCHAIN, OFFSET, HANDLER) - This node represents &#39;eh_return&#39; gcc dwarf builtin...
Definition: ISDOpcodes.h:102
llvm::ISD::CONCAT_VECTORS
CONCAT_VECTORS(VECTOR0, VECTOR1, ...) - Given a number of values of vector type with the same length ...
Definition: ISDOpcodes.h:345
llvm::SDNode::print
void print(raw_ostream &OS, const SelectionDAG *G=nullptr) const
Definition: SelectionDAGDumper.cpp:870
llvm::GlobalValue::getParent
Module * getParent()
Get the module that this global value is contained inside of...
Definition: GlobalValue.h:566
llvm::ISD::FMA
FMA - Perform a * b + c with no intermediate rounding step.
Definition: ISDOpcodes.h:302
llvm::ISD::VECREDUCE_FMAX
FMIN/FMAX nodes can have flags, for NaN/NoNaN variants.
Definition: ISDOpcodes.h:873
llvm::SDNode::getMachineOpcode
unsigned getMachineOpcode() const
This may only be called if isMachineOpcode returns true.
Definition: SelectionDAGNodes.h:692
llvm::ISD::PREFETCH
PREFETCH - This corresponds to a prefetch intrinsic.
Definition: ISDOpcodes.h:776
llvm::raw_ostream
This class implements an extremely fast bulk output stream that can only output to a stream...
Definition: raw_ostream.h:46
llvm::ISD::FMAD
FMAD - Perform a * b + c, while getting the same result as the separately rounded operations...
Definition: ISDOpcodes.h:306
llvm::ISD::SETCC
SetCC operator - This evaluates to a true value iff the condition is true.
Definition: ISDOpcodes.h:443
raw_ostream.h
llvm::ISD::MERGE_VALUES
MERGE_VALUES - This node takes multiple discrete operands and returns them all as its individual resu...
Definition: ISDOpcodes.h:198
llvm::ISD::SIGN_EXTEND
Conversion operators.
Definition: ISDOpcodes.h:465
llvm::Printable
Simple wrapper around std::function<void(raw_ostream&)>.
Definition: Printable.h:38
llvm::ISD::ATOMIC_STORE
OUTCHAIN = ATOMIC_STORE(INCHAIN, ptr, val) This corresponds to "store atomic" instruction.
Definition: ISDOpcodes.h:789
llvm::ISD::TRUNCATE
TRUNCATE - Completely drop the high bits.
Definition: ISDOpcodes.h:474
llvm::ISD::FNEG
Perform various unary floating-point operations inspired by libm.
Definition: ISDOpcodes.h:584
llvm::ISD::ATOMIC_LOAD
Val, OUTCHAIN = ATOMIC_LOAD(INCHAIN, ptr) This corresponds to "load atomic" instruction.
Definition: ISDOpcodes.h:785
llvm::SelectionDAG::getContext
LLVMContext * getContext() const
Definition: SelectionDAG.h:407
llvm::ISD::SCALAR_TO_VECTOR
SCALAR_TO_VECTOR(VAL) - This represents the operation of loading a scalar value into element 0 of the...
Definition: ISDOpcodes.h:375
llvm::ISD::ADDCARRY
Carry-using nodes for multiple precision addition and subtraction.
Definition: ISDOpcodes.h:242
llvm::ISD::CARRY_FALSE
CARRY_FALSE - This node is used when folding other nodes, like ADDC/SUBC, which indicate the carry re...
Definition: ISDOpcodes.h:214
TargetLowering.h
This file describes how to lower LLVM code to machine code.
llvm::ISD::MemIndexedMode
MemIndexedMode
MemIndexedMode enum - This enum defines the load / store indexed addressing modes.
Definition: ISDOpcodes.h:914
llvm::ISD::BRIND
BRIND - Indirect branch.
Definition: ISDOpcodes.h:634
llvm::ISD::MULHU
MULHU/MULHS - Multiply high - Multiply two integers of type iN, producing an unsigned/signed value of...
Definition: ISDOpcodes.h:380
llvm::ISD::SRCVALUE
SRCVALUE - This is a node type that holds a Value* that is used to make reference to a value in the L...
Definition: ISDOpcodes.h:732
llvm::ISD::DYNAMIC_STACKALLOC
DYNAMIC_STACKALLOC - Allocate some number of bytes on the stack aligned to a specified boundary...
Definition: ISDOpcodes.h:623
Generated on Sun Dec 20 2020 13:54:59 for LLVM by   doxygen 1.8.13