SelectionDAG.h revision f5a5546f435a261c93078defb41ed18d9cafd7d3
1c3aae25116e66c177579b0b79182b09340b19753Chris Lattner//===-- llvm/CodeGen/SelectionDAG.h - InstSelection DAG ---------*- C++ -*-===// 2ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman// 36fbcc26f1460eaee4e0eb8b426fc1ff0c7af11beJohn Criswell// The LLVM Compiler Infrastructure 46fbcc26f1460eaee4e0eb8b426fc1ff0c7af11beJohn Criswell// 57ed47a13356daed2a34cd2209a31f92552e3bdd8Chris Lattner// This file is distributed under the University of Illinois Open Source 67ed47a13356daed2a34cd2209a31f92552e3bdd8Chris Lattner// License. See LICENSE.TXT for details. 7ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman// 86fbcc26f1460eaee4e0eb8b426fc1ff0c7af11beJohn Criswell//===----------------------------------------------------------------------===// 9ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman// 10c3aae25116e66c177579b0b79182b09340b19753Chris Lattner// This file declares the SelectionDAG class, and transitively defines the 11c3aae25116e66c177579b0b79182b09340b19753Chris Lattner// SDNode class and subclasses. 12ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman// 13cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner//===----------------------------------------------------------------------===// 14cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 15cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner#ifndef LLVM_CODEGEN_SELECTIONDAG_H 16cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner#define LLVM_CODEGEN_SELECTIONDAG_H 17cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 18fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman#include "llvm/ADT/ilist.h" 19c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene#include "llvm/ADT/DenseSet.h" 20583bd47f777fe3eb8305872fa0eadab31e833dffJim Laskey#include "llvm/ADT/FoldingSet.h" 214b84086e89d86fb16f562166d9fea8df37db6be7Dan Gohman#include "llvm/ADT/StringMap.h" 22583bd47f777fe3eb8305872fa0eadab31e833dffJim Laskey#include "llvm/CodeGen/SelectionDAGNodes.h" 2398a366d547772010e94609e4584489b3e5ce0043Bill Wendling#include "llvm/Target/TargetMachine.h" 24acaf09dbe4a6781163857db1321bbd5795e7d410Dan Gohman#include <cassert> 255892d47a625638a90afeb31dd4f6f80a2f9bacdeChris Lattner#include <vector> 26322812e603705e1c2037313633e72f689524b163Evan Cheng#include <map> 27eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner#include <string> 28d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 29d0fde30ce850b78371fd1386338350591f9ff494Brian Gaekenamespace llvm { 30fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman 31fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohmanclass AliasAnalysis; 32fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohmanclass TargetLowering; 33fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohmanclass MachineModuleInfo; 346e7a1617ac4a34792d9097b8d3644b72f57a45f7Devang Patelclass DwarfWriter; 35fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohmanclass MachineFunction; 36fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohmanclass MachineConstantPoolValue; 37fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohmanclass FunctionLoweringInfo; 38fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman 398e4018e2de52c534405d7155c7009d0b35afb861Cedric Venettemplate<> struct ilist_traits<SDNode> : public ilist_default_traits<SDNode> { 408e4018e2de52c534405d7155c7009d0b35afb861Cedric Venetprivate: 419c01f2dd0b20e09f4edef832620a188eda62ff5aDan Gohman mutable ilist_node<SDNode> Sentinel; 42fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohmanpublic: 43fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman SDNode *createSentinel() const { 44c7f6b8c5d40e17bf43fd3a1549d7d89c9da735e1Gabor Greif return static_cast<SDNode*>(&Sentinel); 45fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman } 46fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman static void destroySentinel(SDNode *) {} 47fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman 48c23b8719ef9d6b1220e854b37d40e9e1c48a82bcGabor Greif SDNode *provideInitialHead() const { return createSentinel(); } 49c23b8719ef9d6b1220e854b37d40e9e1c48a82bcGabor Greif SDNode *ensureHead(SDNode*) const { return createSentinel(); } 50f3841fcbd587c31aa9842b3f33bd57de40c9f443Gabor Greif static void noteHead(SDNode*, SDNode*) {} 51c23b8719ef9d6b1220e854b37d40e9e1c48a82bcGabor Greif 52fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman static void deleteNode(SDNode *) { 53fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman assert(0 && "ilist_traits<SDNode> shouldn't see a deleteNode call!"); 54fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman } 55fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohmanprivate: 56fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman static void createNode(const SDNode &); 57fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman}; 58c3aae25116e66c177579b0b79182b09340b19753Chris Lattner 5925cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sandsenum CombineLevel { 6025cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands Unrestricted, // Combine may create illegal operations and illegal types. 6125cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands NoIllegalTypes, // Combine may create illegal operations but no illegal types. 6225cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands NoIllegalOperations // Combine may only create legal operations and types. 6325cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands}; 6425cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands 65c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// SelectionDAG class - This is used to represent a portion of an LLVM function 66c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// in a low-level Data Dependence DAG representation suitable for instruction 67c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// selection. This DAG is constructed as the first step of instruction 68c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// selection in order to allow implementation of machine specific optimizations 69c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// and code simplifications. 70c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// 71c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// The representation used by the SelectionDAG is a target-independent 72c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// representation, which has some similarities to the GCC RTL representation, 73c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// but is significantly more simple, powerful, and is a graph form instead of a 74c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// linear form. 75cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner/// 76cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattnerclass SelectionDAG { 77063287a76b5d1486f498fcf674a26d1155471a3fChris Lattner TargetLowering &TLI; 787c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman MachineFunction *MF; 79ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner FunctionLoweringInfo &FLI; 8044c3b9fdd416c79f4b67cde1aecfced5921efd81Jim Laskey MachineModuleInfo *MMI; 816e7a1617ac4a34792d9097b8d3644b72f57a45f7Devang Patel DwarfWriter *DW; 82cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 83f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// EntryNode - The starting token. 84f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman SDNode EntryNode; 85f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman 86f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// Root - The root of the entire DAG. 87f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman SDValue Root; 88cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 89213a16c637926bfc38ba373d3aba6778e181e3ecChris Lattner /// AllNodes - A linked list of nodes in the current DAG. 90fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman ilist<SDNode> AllNodes; 91fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman 92f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// NodeAllocatorType - The AllocatorType for allocating SDNodes. We use 93f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// pool allocation with recycling. 94f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman typedef RecyclingAllocator<BumpPtrAllocator, SDNode, sizeof(LargestSDNode), 95f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman AlignOf<MostAlignedSDNode>::Alignment> 96f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman NodeAllocatorType; 97f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman 98f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// NodeAllocator - Pool allocation for nodes. 99f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman NodeAllocatorType NodeAllocator; 100691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth 101213a16c637926bfc38ba373d3aba6778e181e3ecChris Lattner /// CSEMap - This structure is used to memoize nodes, automatically performing 102213a16c637926bfc38ba373d3aba6778e181e3ecChris Lattner /// CSE with existing nodes with a duplicate is requested. 103583bd47f777fe3eb8305872fa0eadab31e833dffJim Laskey FoldingSet<SDNode> CSEMap; 104213a16c637926bfc38ba373d3aba6778e181e3ecChris Lattner 105f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// OperandAllocator - Pool allocation for machine-opcode SDNode operands. 106f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman BumpPtrAllocator OperandAllocator; 107f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman 108e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// Allocator - Pool allocation for misc. objects that are created once per 109e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// SelectionDAG. 110e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman BumpPtrAllocator Allocator; 111e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman 112d038e04188047eca4749d025ef1f05f7ae660bcaDuncan Sands /// VerifyNode - Sanity check the given node. Aborts if it is invalid. 113d038e04188047eca4749d025ef1f05f7ae660bcaDuncan Sands void VerifyNode(SDNode *N); 114d038e04188047eca4749d025ef1f05f7ae660bcaDuncan Sands 115c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene /// setGraphColorHelper - Implementation of setSubgraphColor. 116c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene /// Return whether we had to truncate the search. 117c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene /// 118c23b8719ef9d6b1220e854b37d40e9e1c48a82bcGabor Greif bool setSubgraphColorHelper(SDNode *N, const char *Color, 119c23b8719ef9d6b1220e854b37d40e9e1c48a82bcGabor Greif DenseSet<SDNode *> &visited, 120c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene int level, bool &printed); 121c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene 122cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattnerpublic: 1237c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman SelectionDAG(TargetLowering &tli, FunctionLoweringInfo &fli); 124cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner ~SelectionDAG(); 125cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 1267c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman /// init - Prepare this SelectionDAG to process code in the given 1277c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman /// MachineFunction. 1287c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman /// 1296e7a1617ac4a34792d9097b8d3644b72f57a45f7Devang Patel void init(MachineFunction &mf, MachineModuleInfo *mmi, DwarfWriter *dw); 1307c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman 1317c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman /// clear - Clear state and free memory necessary to make this 132f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// SelectionDAG ready to process a new block. 133f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// 1347c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman void clear(); 135f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman 1367c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman MachineFunction &getMachineFunction() const { return *MF; } 137063287a76b5d1486f498fcf674a26d1155471a3fChris Lattner const TargetMachine &getTarget() const; 138063287a76b5d1486f498fcf674a26d1155471a3fChris Lattner TargetLowering &getTargetLoweringInfo() const { return TLI; } 139ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner FunctionLoweringInfo &getFunctionLoweringInfo() const { return FLI; } 14044c3b9fdd416c79f4b67cde1aecfced5921efd81Jim Laskey MachineModuleInfo *getMachineModuleInfo() const { return MMI; } 14183489bb7700c69b7a4a8da59365c42d3f5c8129bDevang Patel DwarfWriter *getDwarfWriter() const { return DW; } 142cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 143ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// viewGraph - Pop up a GraphViz/gv window with the DAG rendered using 'dot'. 1441080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner /// 145462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman void viewGraph(const std::string &Title); 1460b12aef49087b57d276ed760a83525d1e2602144Dan Gohman void viewGraph(); 147fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 148ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey#ifndef NDEBUG 149ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey std::map<const SDNode *, std::string> NodeGraphAttrs; 150ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey#endif 1511080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 152ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// clearGraphAttrs - Clear all previously defined node graph attributes. 153ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// Intended to be used from a debugging tool (eg. gdb). 154ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey void clearGraphAttrs(); 155fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 156ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// setGraphAttrs - Set graph attributes for a node. (eg. "color=red".) 157ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// 158ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey void setGraphAttrs(const SDNode *N, const char *Attrs); 159fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 160ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// getGraphAttrs - Get graph attributes for a node. (eg. "color=red".) 161ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// Used from getNodeAttributes. 162ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey const std::string getGraphAttrs(const SDNode *N) const; 163fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 164ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// setGraphColor - Convenience for setting node color attribute. 165ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// 166ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey void setGraphColor(const SDNode *N, const char *Color); 1671080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 168c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene /// setGraphColor - Convenience for setting subgraph color attribute. 169c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene /// 170c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene void setSubgraphColor(SDNode *N, const char *Color); 171c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene 172fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman typedef ilist<SDNode>::const_iterator allnodes_const_iterator; 173b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner allnodes_const_iterator allnodes_begin() const { return AllNodes.begin(); } 174b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner allnodes_const_iterator allnodes_end() const { return AllNodes.end(); } 175fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman typedef ilist<SDNode>::iterator allnodes_iterator; 176b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner allnodes_iterator allnodes_begin() { return AllNodes.begin(); } 177b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner allnodes_iterator allnodes_end() { return AllNodes.end(); } 178fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman ilist<SDNode>::size_type allnodes_size() const { 1790e5f1306b059b62d7725f324e087efbc8e7a782dDan Gohman return AllNodes.size(); 1800e5f1306b059b62d7725f324e087efbc8e7a782dDan Gohman } 181fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 182c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// getRoot - Return the root tag of the SelectionDAG. 183cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner /// 184475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue &getRoot() const { return Root; } 185cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 186c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// getEntryNode - Return the token chain corresponding to the entry of the 187c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// function. 188f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman SDValue getEntryNode() const { 189f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman return SDValue(const_cast<SDNode *>(&EntryNode), 0); 190f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman } 191cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 192c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// setRoot - Set the current root tag of the SelectionDAG. 193cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner /// 194475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue &setRoot(SDValue N) { 195ba36cb5242eb02b12b277f82b9efe497f7da4d7fGabor Greif assert((!N.getNode() || N.getValueType() == MVT::Other) && 196acaf09dbe4a6781163857db1321bbd5795e7d410Dan Gohman "DAG root value is not a chain!"); 197acaf09dbe4a6781163857db1321bbd5795e7d410Dan Gohman return Root = N; 198acaf09dbe4a6781163857db1321bbd5795e7d410Dan Gohman } 199cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 2001d4d41411190dd9e62764e56713753d4155764ddNate Begeman /// Combine - This iterates over the nodes in the SelectionDAG, folding 20125cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands /// certain types of nodes together, or eliminating superfluous nodes. The 20225cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands /// Level argument controls whether Combine is allowed to produce nodes and 20325cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands /// types that are illegal on the target. 20498a366d547772010e94609e4584489b3e5ce0043Bill Wendling void Combine(CombineLevel Level, AliasAnalysis &AA, 20598a366d547772010e94609e4584489b3e5ce0043Bill Wendling CodeGenOpt::Level OptLevel); 20625cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands 20701d029b82cb08367d81aa10cdc94d05360466649Chris Lattner /// LegalizeTypes - This transforms the SelectionDAG into a SelectionDAG that 20825cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands /// only uses types natively supported by the target. Returns "true" if it 20925cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands /// made any changes. 21001d029b82cb08367d81aa10cdc94d05360466649Chris Lattner /// 21101d029b82cb08367d81aa10cdc94d05360466649Chris Lattner /// Note that this is an involved process that may invalidate pointers into 21201d029b82cb08367d81aa10cdc94d05360466649Chris Lattner /// the graph. 21325cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands bool LegalizeTypes(); 21425cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands 215c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// Legalize - This transforms the SelectionDAG into a SelectionDAG that is 216c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// compatible with the target instruction selector, as indicated by the 217c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// TargetLowering object. 218cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner /// 219c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// Note that this is an involved process that may invalidate pointers into 220c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// the graph. 22198a366d547772010e94609e4584489b3e5ce0043Bill Wendling void Legalize(bool TypesNeedLegalizing, CodeGenOpt::Level OptLevel); 222c3aae25116e66c177579b0b79182b09340b19753Chris Lattner 2235c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// LegalizeVectors - This transforms the SelectionDAG into a SelectionDAG 2245c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// that only uses vector math operations supported by the target. This is 2255c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// necessary as a separate step from Legalize because unrolling a vector 2265c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// operation can introduce illegal types, which requires running 2275c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// LegalizeTypes again. 2285c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// 2295c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// This returns true if it made any changes; in that case, LegalizeTypes 2305c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// is called again before Legalize. 2315c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// 2325c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// Note that this is an involved process that may invalidate pointers into 2335c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// the graph. 2345c22c8074404797f1313b1334757254fb5c6487aEli Friedman bool LegalizeVectors(); 2355c22c8074404797f1313b1334757254fb5c6487aEli Friedman 236d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner /// RemoveDeadNodes - This method deletes all unreachable nodes in the 237190a418bf6b49a4ef1c1980229a2f0d516e8a2cdChris Lattner /// SelectionDAG. 238190a418bf6b49a4ef1c1980229a2f0d516e8a2cdChris Lattner void RemoveDeadNodes(); 239130a6471b90f66e99b1f9f42877fdf611c330ac6Evan Cheng 240130a6471b90f66e99b1f9f42877fdf611c330ac6Evan Cheng /// DeleteNode - Remove the specified node from the system. This node must 241130a6471b90f66e99b1f9f42877fdf611c330ac6Evan Cheng /// have no referrers. 242130a6471b90f66e99b1f9f42877fdf611c330ac6Evan Cheng void DeleteNode(SDNode *N); 243130a6471b90f66e99b1f9f42877fdf611c330ac6Evan Cheng 24470046e920fa37989a041af663ada2b2b646e258fChris Lattner /// getVTList - Return an SDVTList that represents the list of values 24570046e920fa37989a041af663ada2b2b646e258fChris Lattner /// specified. 24683ec4b6711980242ef3c55a4fa36b2d7a39c1bfbDuncan Sands SDVTList getVTList(MVT VT); 24783ec4b6711980242ef3c55a4fa36b2d7a39c1bfbDuncan Sands SDVTList getVTList(MVT VT1, MVT VT2); 24883ec4b6711980242ef3c55a4fa36b2d7a39c1bfbDuncan Sands SDVTList getVTList(MVT VT1, MVT VT2, MVT VT3); 24913d6d446f62f908e8cf74acb3a4df65ea5f497ceBill Wendling SDVTList getVTList(MVT VT1, MVT VT2, MVT VT3, MVT VT4); 25083ec4b6711980242ef3c55a4fa36b2d7a39c1bfbDuncan Sands SDVTList getVTList(const MVT *VTs, unsigned NumVTs); 251fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 2521b1a49714ef26225a42199cf2930529f31868322Chris Lattner //===--------------------------------------------------------------------===// 25370046e920fa37989a041af663ada2b2b646e258fChris Lattner // Node creation methods. 25470046e920fa37989a041af663ada2b2b646e258fChris Lattner // 255475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getConstant(uint64_t Val, MVT VT, bool isTarget = false); 256475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getConstant(const APInt &Val, MVT VT, bool isTarget = false); 2574fbd796a1251a27e6590765a0a34876f436a0af9Dan Gohman SDValue getConstant(const ConstantInt &Val, MVT VT, bool isTarget = false); 258475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getIntPtrConstant(uint64_t Val, bool isTarget = false); 259475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getTargetConstant(uint64_t Val, MVT VT) { 260cbea3045ce0bdd061c494a831d0ce2d5834211ccChris Lattner return getConstant(Val, VT, true); 261cbea3045ce0bdd061c494a831d0ce2d5834211ccChris Lattner } 262475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getTargetConstant(const APInt &Val, MVT VT) { 2636394b099e836f56a937cdcc7332c9487b504ca68Dan Gohman return getConstant(Val, VT, true); 2646394b099e836f56a937cdcc7332c9487b504ca68Dan Gohman } 2654fbd796a1251a27e6590765a0a34876f436a0af9Dan Gohman SDValue getTargetConstant(const ConstantInt &Val, MVT VT) { 2664fbd796a1251a27e6590765a0a34876f436a0af9Dan Gohman return getConstant(Val, VT, true); 2674fbd796a1251a27e6590765a0a34876f436a0af9Dan Gohman } 268475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getConstantFP(double Val, MVT VT, bool isTarget = false); 269475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getConstantFP(const APFloat& Val, MVT VT, bool isTarget = false); 2704fbd796a1251a27e6590765a0a34876f436a0af9Dan Gohman SDValue getConstantFP(const ConstantFP &CF, MVT VT, bool isTarget = false); 271475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getTargetConstantFP(double Val, MVT VT) { 272c9f8f416800784ca6453222b307bc44ad24739b0Chris Lattner return getConstantFP(Val, VT, true); 273c9f8f416800784ca6453222b307bc44ad24739b0Chris Lattner } 274475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getTargetConstantFP(const APFloat& Val, MVT VT) { 275f04afdbb48568ef09f11fd10ac03426101f2dbf8Dale Johannesen return getConstantFP(Val, VT, true); 276f04afdbb48568ef09f11fd10ac03426101f2dbf8Dale Johannesen } 2774fbd796a1251a27e6590765a0a34876f436a0af9Dan Gohman SDValue getTargetConstantFP(const ConstantFP &Val, MVT VT) { 2784fbd796a1251a27e6590765a0a34876f436a0af9Dan Gohman return getConstantFP(Val, VT, true); 2794fbd796a1251a27e6590765a0a34876f436a0af9Dan Gohman } 280475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getGlobalAddress(const GlobalValue *GV, MVT VT, 2812a4ed82ce2ba4a02f2a02eb4ed8ce5186f3f93daChris Lattner int64_t offset = 0, bool isTargetGA = false, 2822a4ed82ce2ba4a02f2a02eb4ed8ce5186f3f93daChris Lattner unsigned char TargetFlags = 0); 283475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getTargetGlobalAddress(const GlobalValue *GV, MVT VT, 2842a4ed82ce2ba4a02f2a02eb4ed8ce5186f3f93daChris Lattner int64_t offset = 0, 2852a4ed82ce2ba4a02f2a02eb4ed8ce5186f3f93daChris Lattner unsigned char TargetFlags = 0) { 2862a4ed82ce2ba4a02f2a02eb4ed8ce5186f3f93daChris Lattner return getGlobalAddress(GV, VT, offset, true, TargetFlags); 287cbea3045ce0bdd061c494a831d0ce2d5834211ccChris Lattner } 288475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getFrameIndex(int FI, MVT VT, bool isTarget = false); 289475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getTargetFrameIndex(int FI, MVT VT) { 290c9f8f416800784ca6453222b307bc44ad24739b0Chris Lattner return getFrameIndex(FI, VT, true); 291c9f8f416800784ca6453222b307bc44ad24739b0Chris Lattner } 292f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner SDValue getJumpTable(int JTI, MVT VT, bool isTarget = false, 293f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner unsigned char TargetFlags = 0); 294f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner SDValue getTargetJumpTable(int JTI, MVT VT, unsigned char TargetFlags = 0) { 295f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner return getJumpTable(JTI, VT, true, TargetFlags); 296c9f8f416800784ca6453222b307bc44ad24739b0Chris Lattner } 297475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getConstantPool(Constant *C, MVT VT, 298f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner unsigned Align = 0, int Offs = 0, bool isT=false, 299f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner unsigned char TargetFlags = 0); 300475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getTargetConstantPool(Constant *C, MVT VT, 301f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner unsigned Align = 0, int Offset = 0, 302f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner unsigned char TargetFlags = 0) { 303f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner return getConstantPool(C, VT, Align, Offset, true, TargetFlags); 304c9f8f416800784ca6453222b307bc44ad24739b0Chris Lattner } 305475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getConstantPool(MachineConstantPoolValue *C, MVT VT, 306f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner unsigned Align = 0, int Offs = 0, bool isT=false, 307f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner unsigned char TargetFlags = 0); 308475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getTargetConstantPool(MachineConstantPoolValue *C, 30983ec4b6711980242ef3c55a4fa36b2d7a39c1bfbDuncan Sands MVT VT, unsigned Align = 0, 310f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner int Offset = 0, unsigned char TargetFlags=0) { 311f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner return getConstantPool(C, VT, Align, Offset, true, TargetFlags); 312d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng } 3138ad9b43e690e8773cf836b30e8da26bc71e18844Dale Johannesen // When generating a branch to a BB, we don't in general know enough 3148ad9b43e690e8773cf836b30e8da26bc71e18844Dale Johannesen // to provide debug info for the BB at that time, so keep this one around. 315475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getBasicBlock(MachineBasicBlock *MBB); 316e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getBasicBlock(MachineBasicBlock *MBB, DebugLoc dl); 317056292fd738924f3f7703725d8f630983794b5a5Bill Wendling SDValue getExternalSymbol(const char *Sym, MVT VT); 318e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getExternalSymbol(const char *Sym, DebugLoc dl, MVT VT); 3191af2231da64a14d638406d133c7912bfc1c8a9ceChris Lattner SDValue getTargetExternalSymbol(const char *Sym, MVT VT, 3201af2231da64a14d638406d133c7912bfc1c8a9ceChris Lattner unsigned char TargetFlags = 0); 321475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getArgFlags(ISD::ArgFlagsTy Flags); 322475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getValueType(MVT); 323475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getRegister(unsigned Reg, MVT VT); 324af29a5235d3a1a09e9fc2989a5d504f00fa9aaf3Chris Lattner SDValue getDbgStopPoint(DebugLoc DL, SDValue Root, 325af29a5235d3a1a09e9fc2989a5d504f00fa9aaf3Chris Lattner unsigned Line, unsigned Col, Value *CU); 326fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel SDValue getLabel(unsigned Opcode, DebugLoc dl, SDValue Root, 327e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen unsigned LabelID); 328c3aae25116e66c177579b0b79182b09340b19753Chris Lattner 3290f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getCopyToReg(SDValue Chain, DebugLoc dl, unsigned Reg, SDValue N) { 3300f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen return getNode(ISD::CopyToReg, dl, MVT::Other, Chain, 3310f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen getRegister(Reg, N.getValueType()), N); 3320f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen } 333cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 334e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner // This version of the getCopyToReg method takes an extra operand, which 335e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner // indicates that there is potentially an incoming flag value (if Flag is not 336e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner // null) and that there should be a flag result. 3370f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getCopyToReg(SDValue Chain, DebugLoc dl, unsigned Reg, SDValue N, 338be1be5ef0d5a2bb52746b6bd69d4b1e88513c81aEvan Cheng SDValue Flag) { 339fc1665793e62eb4f26d24b8a19eecf59cd872e2aDan Gohman SDVTList VTs = getVTList(MVT::Other, MVT::Flag); 3400f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Ops[] = { Chain, getRegister(Reg, N.getValueType()), N, Flag }; 341fc1665793e62eb4f26d24b8a19eecf59cd872e2aDan Gohman return getNode(ISD::CopyToReg, dl, VTs, Ops, Flag.getNode() ? 4 : 3); 3420f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen } 34366a48bbc3565b40ea0e6f2d58cf5e3a8e64802efEvan Cheng 344475871a144eb604ddaf37503397ba0941442e5fbDan Gohman // Similar to last getCopyToReg() except parameter Reg is a SDValue 3450f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getCopyToReg(SDValue Chain, DebugLoc dl, SDValue Reg, SDValue N, 3460f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Flag) { 347fc1665793e62eb4f26d24b8a19eecf59cd872e2aDan Gohman SDVTList VTs = getVTList(MVT::Other, MVT::Flag); 3480f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Ops[] = { Chain, Reg, N, Flag }; 349fc1665793e62eb4f26d24b8a19eecf59cd872e2aDan Gohman return getNode(ISD::CopyToReg, dl, VTs, Ops, Flag.getNode() ? 4 : 3); 3500f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen } 351fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 3520f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getCopyFromReg(SDValue Chain, DebugLoc dl, unsigned Reg, MVT VT) { 353fc1665793e62eb4f26d24b8a19eecf59cd872e2aDan Gohman SDVTList VTs = getVTList(VT, MVT::Other); 3540f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Ops[] = { Chain, getRegister(Reg, VT) }; 355fc1665793e62eb4f26d24b8a19eecf59cd872e2aDan Gohman return getNode(ISD::CopyFromReg, dl, VTs, Ops, 2); 3560f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen } 357fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 358e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner // This version of the getCopyFromReg method takes an extra operand, which 359e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner // indicates that there is potentially an incoming flag value (if Flag is not 360e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner // null) and that there should be a flag result. 3610f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getCopyFromReg(SDValue Chain, DebugLoc dl, unsigned Reg, MVT VT, 3620f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Flag) { 363fc1665793e62eb4f26d24b8a19eecf59cd872e2aDan Gohman SDVTList VTs = getVTList(VT, MVT::Other, MVT::Flag); 3640f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Ops[] = { Chain, getRegister(Reg, VT), Flag }; 365fc1665793e62eb4f26d24b8a19eecf59cd872e2aDan Gohman return getNode(ISD::CopyFromReg, dl, VTs, Ops, Flag.getNode() ? 3 : 2); 3660f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen } 36718c2f13e0f9d0e5d6227cf6d1881e9ee3d1b6109Chris Lattner 368475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getCondCode(ISD::CondCode Cond); 369cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 37077cdf30742284a173fe818417eb482224cdee8d4Mon P Wang /// Returns the ConvertRndSat Note: Avoid using this node because it may 37177cdf30742284a173fe818417eb482224cdee8d4Mon P Wang /// disappear in the future and most targets don't support it. 3720f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getConvertRndSat(MVT VT, DebugLoc dl, SDValue Val, SDValue DTy, 3730f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue STy, 3740f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Rnd, SDValue Sat, ISD::CvtCode Code); 3759008ca6b6b4f638cfafccb593cbc5b1d3f5ab877Nate Begeman 3769008ca6b6b4f638cfafccb593cbc5b1d3f5ab877Nate Begeman /// getVectorShuffle - Return an ISD::VECTOR_SHUFFLE node. The number of 3779008ca6b6b4f638cfafccb593cbc5b1d3f5ab877Nate Begeman /// elements in VT, which must be a vector type, must match the number of 3785a5ca1519e04310f585197c20e7ae584b7f2d11fNate Begeman /// mask elements NumElts. A integer mask element equal to -1 is treated as 3799008ca6b6b4f638cfafccb593cbc5b1d3f5ab877Nate Begeman /// undefined. 3809008ca6b6b4f638cfafccb593cbc5b1d3f5ab877Nate Begeman SDValue getVectorShuffle(MVT VT, DebugLoc dl, SDValue N1, SDValue N2, 3819008ca6b6b4f638cfafccb593cbc5b1d3f5ab877Nate Begeman const int *MaskElts); 38277cdf30742284a173fe818417eb482224cdee8d4Mon P Wang 3831ccae666f596d5aeca5c9942995763600b622062Chris Lattner /// getZeroExtendInReg - Return the expression required to zero extend the Op 3841ccae666f596d5aeca5c9942995763600b622062Chris Lattner /// value assuming it was the smaller SrcTy value. 3856ce610f04bb232ce8b57e50e885f30f65d19e1a6Bill Wendling SDValue getZeroExtendInReg(SDValue Op, DebugLoc DL, MVT SrcTy); 386fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 3874c2454623841f05c6c665659b34c214950d12d7eBob Wilson /// getNOT - Create a bitwise NOT operation as (XOR Val, -1). 38841b9d278add97c744930aa2a0048ff1c01e48c4fBill Wendling SDValue getNOT(DebugLoc DL, SDValue Val, MVT VT); 3894c2454623841f05c6c665659b34c214950d12d7eBob Wilson 3906a5b6d7633c96c72ca7d5f8ba0c855e4690ada04Chris Lattner /// getCALLSEQ_START - Return a new CALLSEQ_START node, which always must have 391e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen /// a flag result (to ensure it's not CSE'd). CALLSEQ_START does not have a 392e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen /// useful DebugLoc. 393475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getCALLSEQ_START(SDValue Chain, SDValue Op) { 394fc1665793e62eb4f26d24b8a19eecf59cd872e2aDan Gohman SDVTList VTs = getVTList(MVT::Other, MVT::Flag); 395475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue Ops[] = { Chain, Op }; 396fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel return getNode(ISD::CALLSEQ_START, DebugLoc::getUnknownLoc(), 397fc1665793e62eb4f26d24b8a19eecf59cd872e2aDan Gohman VTs, Ops, 2); 3986a5b6d7633c96c72ca7d5f8ba0c855e4690ada04Chris Lattner } 3991ccae666f596d5aeca5c9942995763600b622062Chris Lattner 4000f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling /// getCALLSEQ_END - Return a new CALLSEQ_END node, which always must have a 401e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen /// flag result (to ensure it's not CSE'd). CALLSEQ_END does not have 402e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen /// a useful DebugLoc. 403475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getCALLSEQ_END(SDValue Chain, SDValue Op1, SDValue Op2, 404475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue InFlag) { 4050f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling SDVTList NodeTys = getVTList(MVT::Other, MVT::Flag); 406475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SmallVector<SDValue, 4> Ops; 4070f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling Ops.push_back(Chain); 4080f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling Ops.push_back(Op1); 4090f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling Ops.push_back(Op2); 4100f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling Ops.push_back(InFlag); 411e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen return getNode(ISD::CALLSEQ_END, DebugLoc::getUnknownLoc(), NodeTys, 412fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel &Ops[0], 413ba36cb5242eb02b12b277f82b9efe497f7da4d7fGabor Greif (unsigned)Ops.size() - (InFlag.getNode() == 0 ? 1 : 0)); 4140f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling } 4150f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling 416e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen /// getUNDEF - Return an UNDEF node. UNDEF does not have a useful DebugLoc. 417e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen SDValue getUNDEF(MVT VT) { 418e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen return getNode(ISD::UNDEF, DebugLoc::getUnknownLoc(), VT); 419e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen } 420e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen 421b300d2aa3ef08b5074449e2c05804717f488f4e4Dale Johannesen /// getGLOBAL_OFFSET_TABLE - Return a GLOBAL_OFFSET_TABLE node. This does 422b300d2aa3ef08b5074449e2c05804717f488f4e4Dale Johannesen /// not have a useful DebugLoc. 423b300d2aa3ef08b5074449e2c05804717f488f4e4Dale Johannesen SDValue getGLOBAL_OFFSET_TABLE(MVT VT) { 424b300d2aa3ef08b5074449e2c05804717f488f4e4Dale Johannesen return getNode(ISD::GLOBAL_OFFSET_TABLE, DebugLoc::getUnknownLoc(), VT); 425b300d2aa3ef08b5074449e2c05804717f488f4e4Dale Johannesen } 426b300d2aa3ef08b5074449e2c05804717f488f4e4Dale Johannesen 427c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// getNode - Gets or creates the specified node. 428cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner /// 4297ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, MVT VT); 4307ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, MVT VT, SDValue N); 4317ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, MVT VT, SDValue N1, SDValue N2); 4327ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, MVT VT, 4337ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N1, SDValue N2, SDValue N3); 4347ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, MVT VT, 4357ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N1, SDValue N2, SDValue N3, SDValue N4); 4367ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, MVT VT, 4377ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N1, SDValue N2, SDValue N3, SDValue N4, 4387ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N5); 4397ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, MVT VT, 4407ade28cd62f5188951387e1056a46001388a21f9Bill Wendling const SDUse *Ops, unsigned NumOps); 4417ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, MVT VT, 4427ade28cd62f5188951387e1056a46001388a21f9Bill Wendling const SDValue *Ops, unsigned NumOps); 4437ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, 4447ade28cd62f5188951387e1056a46001388a21f9Bill Wendling const std::vector<MVT> &ResultTys, 4457ade28cd62f5188951387e1056a46001388a21f9Bill Wendling const SDValue *Ops, unsigned NumOps); 4467ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, const MVT *VTs, unsigned NumVTs, 4477ade28cd62f5188951387e1056a46001388a21f9Bill Wendling const SDValue *Ops, unsigned NumOps); 4487ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, SDVTList VTs, 4497ade28cd62f5188951387e1056a46001388a21f9Bill Wendling const SDValue *Ops, unsigned NumOps); 4507ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, SDVTList VTs); 4517ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, SDVTList VTs, SDValue N); 4527ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, SDVTList VTs, 4537ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N1, SDValue N2); 4547ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, SDVTList VTs, 4557ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N1, SDValue N2, SDValue N3); 4567ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, SDVTList VTs, 4577ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N1, SDValue N2, SDValue N3, SDValue N4); 4587ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, SDVTList VTs, 4597ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N1, SDValue N2, SDValue N3, SDValue N4, 4607ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N5); 461475871a144eb604ddaf37503397ba0941442e5fbDan Gohman 4620f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getMemcpy(SDValue Chain, DebugLoc dl, SDValue Dst, SDValue Src, 4630f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Size, unsigned Align, bool AlwaysInline, 4640f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen const Value *DstSV, uint64_t DstSVOff, 46501f63cdb0433fd2e4b76538ee58ee89c26349564Evan Cheng const Value *SrcSV, uint64_t SrcSVOff); 4665c0d6ed325417baa5d119af9c2b6790231d8565fRafael Espindola 4670f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getMemmove(SDValue Chain, DebugLoc dl, SDValue Dst, SDValue Src, 4680f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Size, unsigned Align, 4690f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen const Value *DstSV, uint64_t DstOSVff, 47001f63cdb0433fd2e4b76538ee58ee89c26349564Evan Cheng const Value *SrcSV, uint64_t SrcSVOff); 4715c0d6ed325417baa5d119af9c2b6790231d8565fRafael Espindola 4720f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getMemset(SDValue Chain, DebugLoc dl, SDValue Dst, SDValue Src, 4730f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Size, unsigned Align, 47401f63cdb0433fd2e4b76538ee58ee89c26349564Evan Cheng const Value *DstSV, uint64_t DstSVOff); 4755c0d6ed325417baa5d119af9c2b6790231d8565fRafael Espindola 4767cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner /// getSetCC - Helper function to make it easier to build SetCC's if you just 477475871a144eb604ddaf37503397ba0941442e5fbDan Gohman /// have an ISD::CondCode instead of an SDValue. 4787cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner /// 479d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling SDValue getSetCC(DebugLoc DL, MVT VT, SDValue LHS, SDValue RHS, 480d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling ISD::CondCode Cond) { 481d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling return getNode(ISD::SETCC, DL, VT, LHS, RHS, getCondCode(Cond)); 482b43e9c196542acc80c9e4643809661065710848fNate Begeman } 483b43e9c196542acc80c9e4643809661065710848fNate Begeman 484b43e9c196542acc80c9e4643809661065710848fNate Begeman /// getVSetCC - Helper function to make it easier to build VSetCC's nodes 485475871a144eb604ddaf37503397ba0941442e5fbDan Gohman /// if you just have an ISD::CondCode instead of an SDValue. 486b43e9c196542acc80c9e4643809661065710848fNate Begeman /// 487d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling SDValue getVSetCC(DebugLoc DL, MVT VT, SDValue LHS, SDValue RHS, 488d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling ISD::CondCode Cond) { 489d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling return getNode(ISD::VSETCC, DL, VT, LHS, RHS, getCondCode(Cond)); 4907cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner } 4919373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman 4929373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman /// getSelectCC - Helper function to make it easier to build SelectCC's if you 493475871a144eb604ddaf37503397ba0941442e5fbDan Gohman /// just have an ISD::CondCode instead of an SDValue. 4949373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman /// 495d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling SDValue getSelectCC(DebugLoc DL, SDValue LHS, SDValue RHS, 496d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling SDValue True, SDValue False, ISD::CondCode Cond) { 497d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling return getNode(ISD::SELECT_CC, DL, True.getValueType(), 498d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling LHS, RHS, True, False, getCondCode(Cond)); 4999373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman } 500fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 501acc398c195a697795bff3245943d104eb19192b9Nate Begeman /// getVAArg - VAArg produces a result and token chain, and takes a pointer 502acc398c195a697795bff3245943d104eb19192b9Nate Begeman /// and a source value as input. 5030f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getVAArg(MVT VT, DebugLoc dl, SDValue Chain, SDValue Ptr, 5040f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue SV); 5057cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman 506fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel /// getAtomic - Gets a node for an atomic op, produces result and chain and 507c4d1021ead43cfa7da08a8f7ddc9a059a8ba14c5Mon P Wang /// takes 3 operands 508fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel SDValue getAtomic(unsigned Opcode, DebugLoc dl, MVT MemVT, SDValue Chain, 509e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue Ptr, SDValue Cmp, SDValue Swp, const Value* PtrVal, 510e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen unsigned Alignment=0); 511ab0b949e0e9de452f3b052b11634ab761e008b23Andrew Lenharth 512c4d1021ead43cfa7da08a8f7ddc9a059a8ba14c5Mon P Wang /// getAtomic - Gets a node for an atomic op, produces result and chain and 513c4d1021ead43cfa7da08a8f7ddc9a059a8ba14c5Mon P Wang /// takes 2 operands. 514e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getAtomic(unsigned Opcode, DebugLoc dl, MVT MemVT, SDValue Chain, 515e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue Ptr, SDValue Val, const Value* PtrVal, 516e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen unsigned Alignment = 0); 517ab0b949e0e9de452f3b052b11634ab761e008b23Andrew Lenharth 518c4d1021ead43cfa7da08a8f7ddc9a059a8ba14c5Mon P Wang /// getMemIntrinsicNode - Creates a MemIntrinsicNode that may produce a 519c4d1021ead43cfa7da08a8f7ddc9a059a8ba14c5Mon P Wang /// result and takes a list of operands. 520e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getMemIntrinsicNode(unsigned Opcode, DebugLoc dl, 521e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen const MVT *VTs, unsigned NumVTs, 522e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen const SDValue *Ops, unsigned NumOps, 523e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen MVT MemVT, const Value *srcValue, int SVOff, 524e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen unsigned Align = 0, bool Vol = false, 525e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen bool ReadMem = true, bool WriteMem = true); 526c4d1021ead43cfa7da08a8f7ddc9a059a8ba14c5Mon P Wang 527e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getMemIntrinsicNode(unsigned Opcode, DebugLoc dl, SDVTList VTList, 528e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen const SDValue *Ops, unsigned NumOps, 529e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen MVT MemVT, const Value *srcValue, int SVOff, 530e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen unsigned Align = 0, bool Vol = false, 531e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen bool ReadMem = true, bool WriteMem = true); 532c4d1021ead43cfa7da08a8f7ddc9a059a8ba14c5Mon P Wang 5334bdcb61af33399d4e01fdf3c47ca1f1f5356e370Duncan Sands /// getMergeValues - Create a MERGE_VALUES node from the given operands. 53454c94525f420cab274af60e98a77f081f96e59c2Dale Johannesen SDValue getMergeValues(const SDValue *Ops, unsigned NumOps, DebugLoc dl); 535f9516208e57364ab1e7d8748af1f59a2ea5fb572Duncan Sands 536095cc29f321382e1f7d295e262a28197f92c5491Dan Gohman /// getCall - Create a CALL node from the given information. 537095cc29f321382e1f7d295e262a28197f92c5491Dan Gohman /// 538e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getCall(unsigned CallingConv, DebugLoc dl, bool IsVarArgs, 539e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen bool IsTailCall, bool isInreg, SDVTList VTs, 540e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen const SDValue *Operands, unsigned NumOperands); 541095cc29f321382e1f7d295e262a28197f92c5491Dan Gohman 542c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// getLoad - Loads are not normal binary operators: their result type is not 543c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// determined by their operands, and they produce a value AND a token chain. 544cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner /// 545e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getLoad(MVT VT, DebugLoc dl, SDValue Chain, SDValue Ptr, 546e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen const Value *SV, int SVOffset, bool isVolatile=false, 547e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen unsigned Alignment=0); 548e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getExtLoad(ISD::LoadExtType ExtType, DebugLoc dl, MVT VT, 549e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue Chain, SDValue Ptr, const Value *SV, 550e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen int SVOffset, MVT EVT, bool isVolatile=false, 551e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen unsigned Alignment=0); 552e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getIndexedLoad(SDValue OrigLoad, DebugLoc dl, SDValue Base, 553e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue Offset, ISD::MemIndexedMode AM); 554e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getLoad(ISD::MemIndexedMode AM, DebugLoc dl, ISD::LoadExtType ExtType, 555e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen MVT VT, SDValue Chain, 556e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue Ptr, SDValue Offset, 557e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen const Value *SV, int SVOffset, MVT EVT, 558e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen bool isVolatile=false, unsigned Alignment=0); 5592d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth 560ad071e1cd1a4b880019f1b2e827ee81867815f82Evan Cheng /// getStore - Helper function to build ISD::STORE nodes. 561ad071e1cd1a4b880019f1b2e827ee81867815f82Evan Cheng /// 562e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getStore(SDValue Chain, DebugLoc dl, SDValue Val, SDValue Ptr, 563e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen const Value *SV, int SVOffset, bool isVolatile=false, 564e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen unsigned Alignment=0); 565e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getTruncStore(SDValue Chain, DebugLoc dl, SDValue Val, SDValue Ptr, 566e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen const Value *SV, int SVOffset, MVT TVT, 567e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen bool isVolatile=false, unsigned Alignment=0); 568e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getIndexedStore(SDValue OrigStoe, DebugLoc dl, SDValue Base, 569e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue Offset, ISD::MemIndexedMode AM); 570ad071e1cd1a4b880019f1b2e827ee81867815f82Evan Cheng 571101a90f3d3c3ad9159676ba744b59b3a9d0b4af5Dan Gohman /// getSrcValue - Construct a node to track a Value* through the backend. 572475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getSrcValue(const Value *v); 57369de1932b350d7cdfc0ed1f4198d6f78c7822a02Dan Gohman 574101a90f3d3c3ad9159676ba744b59b3a9d0b4af5Dan Gohman /// getMemOperand - Construct a node to track a memory reference 575101a90f3d3c3ad9159676ba744b59b3a9d0b4af5Dan Gohman /// through the backend. 576475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getMemOperand(const MachineMemOperand &MO); 577cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 57892abc62399881ba9c525be80362c134ad836e2d9Duncan Sands /// getShiftAmountOperand - Return the specified value casted to 57992abc62399881ba9c525be80362c134ad836e2d9Duncan Sands /// the target's desired shift amount type. 58092abc62399881ba9c525be80362c134ad836e2d9Duncan Sands SDValue getShiftAmountOperand(SDValue Op); 58192abc62399881ba9c525be80362c134ad836e2d9Duncan Sands 582b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner /// UpdateNodeOperands - *Mutate* the specified node in-place to have the 583b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner /// specified operands. If the resultant node already exists in the DAG, 584b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner /// this does not modify the specified node, instead it returns the node that 585b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner /// already exists. If the resultant node does not exist in the DAG, the 586b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner /// input node is returned. As a degenerate case, if you specify the same 587b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner /// input operands as the node already has, the input node is returned. 588475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue UpdateNodeOperands(SDValue N, SDValue Op); 589475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue UpdateNodeOperands(SDValue N, SDValue Op1, SDValue Op2); 590475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue UpdateNodeOperands(SDValue N, SDValue Op1, SDValue Op2, 591475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue Op3); 592475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue UpdateNodeOperands(SDValue N, SDValue Op1, SDValue Op2, 593475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue Op3, SDValue Op4); 594475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue UpdateNodeOperands(SDValue N, SDValue Op1, SDValue Op2, 595475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue Op3, SDValue Op4, SDValue Op5); 596475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue UpdateNodeOperands(SDValue N, 597475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue *Ops, unsigned NumOps); 598fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 5991b95095857b78e12138c22e76c7936611c51355bChris Lattner /// SelectNodeTo - These are used for target selectors to *mutate* the 6001b95095857b78e12138c22e76c7936611c51355bChris Lattner /// specified node to have the specified return type, Target opcode, and 6011b95095857b78e12138c22e76c7936611c51355bChris Lattner /// operands. Note that target opcodes are stored as 602e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// ~TargetOpcode in the node opcode field. The resultant node is returned. 60383ec4b6711980242ef3c55a4fa36b2d7a39c1bfbDuncan Sands SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT VT); 604475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT VT, SDValue Op1); 60583ec4b6711980242ef3c55a4fa36b2d7a39c1bfbDuncan Sands SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT VT, 606475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue Op1, SDValue Op2); 60783ec4b6711980242ef3c55a4fa36b2d7a39c1bfbDuncan Sands SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT VT, 608475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue Op1, SDValue Op2, SDValue Op3); 60983ec4b6711980242ef3c55a4fa36b2d7a39c1bfbDuncan Sands SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT VT, 610475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue *Ops, unsigned NumOps); 611cd920d9ecfcefff13c3619a32b58399cac2e3630Dan Gohman SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT VT1, MVT VT2); 612cd920d9ecfcefff13c3619a32b58399cac2e3630Dan Gohman SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT VT1, 613475871a144eb604ddaf37503397ba0941442e5fbDan Gohman MVT VT2, const SDValue *Ops, unsigned NumOps); 614cd920d9ecfcefff13c3619a32b58399cac2e3630Dan Gohman SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT VT1, 615475871a144eb604ddaf37503397ba0941442e5fbDan Gohman MVT VT2, MVT VT3, const SDValue *Ops, unsigned NumOps); 61613d6d446f62f908e8cf74acb3a4df65ea5f497ceBill Wendling SDNode *SelectNodeTo(SDNode *N, unsigned MachineOpc, MVT VT1, 61713d6d446f62f908e8cf74acb3a4df65ea5f497ceBill Wendling MVT VT2, MVT VT3, MVT VT4, const SDValue *Ops, 61813d6d446f62f908e8cf74acb3a4df65ea5f497ceBill Wendling unsigned NumOps); 619cd920d9ecfcefff13c3619a32b58399cac2e3630Dan Gohman SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT VT1, 620475871a144eb604ddaf37503397ba0941442e5fbDan Gohman MVT VT2, SDValue Op1); 62183ec4b6711980242ef3c55a4fa36b2d7a39c1bfbDuncan Sands SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT VT1, 622475871a144eb604ddaf37503397ba0941442e5fbDan Gohman MVT VT2, SDValue Op1, SDValue Op2); 62383ec4b6711980242ef3c55a4fa36b2d7a39c1bfbDuncan Sands SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT VT1, 624475871a144eb604ddaf37503397ba0941442e5fbDan Gohman MVT VT2, SDValue Op1, SDValue Op2, SDValue Op3); 62513d6d446f62f908e8cf74acb3a4df65ea5f497ceBill Wendling SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT VT1, 62613d6d446f62f908e8cf74acb3a4df65ea5f497ceBill Wendling MVT VT2, MVT VT3, SDValue Op1, SDValue Op2, SDValue Op3); 627cd920d9ecfcefff13c3619a32b58399cac2e3630Dan Gohman SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, SDVTList VTs, 628475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue *Ops, unsigned NumOps); 629694481ee01bfe507c6e37de0dc1c64cff455eefdEvan Cheng 630e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// MorphNodeTo - These *mutate* the specified node to have the specified 631e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// return type, opcode, and operands. 632e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman SDNode *MorphNodeTo(SDNode *N, unsigned Opc, MVT VT); 633475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDNode *MorphNodeTo(SDNode *N, unsigned Opc, MVT VT, SDValue Op1); 634e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman SDNode *MorphNodeTo(SDNode *N, unsigned Opc, MVT VT, 635475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue Op1, SDValue Op2); 636e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman SDNode *MorphNodeTo(SDNode *N, unsigned Opc, MVT VT, 637475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue Op1, SDValue Op2, SDValue Op3); 638e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman SDNode *MorphNodeTo(SDNode *N, unsigned Opc, MVT VT, 639475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue *Ops, unsigned NumOps); 640e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman SDNode *MorphNodeTo(SDNode *N, unsigned Opc, MVT VT1, MVT VT2); 641e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman SDNode *MorphNodeTo(SDNode *N, unsigned Opc, MVT VT1, 642475871a144eb604ddaf37503397ba0941442e5fbDan Gohman MVT VT2, const SDValue *Ops, unsigned NumOps); 643e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman SDNode *MorphNodeTo(SDNode *N, unsigned Opc, MVT VT1, 644475871a144eb604ddaf37503397ba0941442e5fbDan Gohman MVT VT2, MVT VT3, const SDValue *Ops, unsigned NumOps); 645e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman SDNode *MorphNodeTo(SDNode *N, unsigned Opc, MVT VT1, 646475871a144eb604ddaf37503397ba0941442e5fbDan Gohman MVT VT2, SDValue Op1); 647e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman SDNode *MorphNodeTo(SDNode *N, unsigned Opc, MVT VT1, 648475871a144eb604ddaf37503397ba0941442e5fbDan Gohman MVT VT2, SDValue Op1, SDValue Op2); 649e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman SDNode *MorphNodeTo(SDNode *N, unsigned Opc, MVT VT1, 650475871a144eb604ddaf37503397ba0941442e5fbDan Gohman MVT VT2, SDValue Op1, SDValue Op2, SDValue Op3); 651e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman SDNode *MorphNodeTo(SDNode *N, unsigned Opc, SDVTList VTs, 652475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue *Ops, unsigned NumOps); 653753c8f20e45f6e4198c7cf4096ecc8948a029e9cChris Lattner 6546ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng /// getTargetNode - These are used for target selectors to create a new node 6556ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng /// with specified return type(s), target opcode, and operands. 6566ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng /// 6576ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng /// Note that getTargetNode returns the resultant node. If there is already a 6586ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng /// node of the specified opcode and operands, it returns that node instead of 6596ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng /// the current one. 66056ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, MVT VT); 66156ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, MVT VT, SDValue Op1); 662fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, MVT VT, SDValue Op1, 66356ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDValue Op2); 66456ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, MVT VT, 665e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue Op1, SDValue Op2, SDValue Op3); 66656ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, MVT VT, 667e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen const SDValue *Ops, unsigned NumOps); 66856ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, MVT VT1, MVT VT2); 669fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, MVT VT1, MVT VT2, 67056ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDValue Op1); 67156ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, MVT VT1, 672e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen MVT VT2, SDValue Op1, SDValue Op2); 67356ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, MVT VT1, 674e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen MVT VT2, SDValue Op1, SDValue Op2, SDValue Op3); 67556ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, MVT VT1, MVT VT2, 676e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen const SDValue *Ops, unsigned NumOps); 67756ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, MVT VT1, MVT VT2, MVT VT3, 678e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue Op1, SDValue Op2); 67956ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, MVT VT1, MVT VT2, MVT VT3, 680e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue Op1, SDValue Op2, SDValue Op3); 68156ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, MVT VT1, MVT VT2, MVT VT3, 682e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen const SDValue *Ops, unsigned NumOps); 68356ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, MVT VT1, MVT VT2, MVT VT3, 68456ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling MVT VT4, const SDValue *Ops, unsigned NumOps); 68556ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling SDNode *getTargetNode(unsigned Opcode, DebugLoc dl, 68656ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling const std::vector<MVT> &ResultTys, const SDValue *Ops, 68756ab1a281511dde8c173cd2dc8ef55a916049037Bill Wendling unsigned NumOps); 68808b1173971a51eb89d7d6ee0992c39170c86994aEvan Cheng 68908b1173971a51eb89d7d6ee0992c39170c86994aEvan Cheng /// getNodeIfExists - Get the specified node if it's already available, or 69008b1173971a51eb89d7d6ee0992c39170c86994aEvan Cheng /// else return NULL. 69108b1173971a51eb89d7d6ee0992c39170c86994aEvan Cheng SDNode *getNodeIfExists(unsigned Opcode, SDVTList VTs, 692475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue *Ops, unsigned NumOps); 693fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 694f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// DAGUpdateListener - Clients of various APIs that cause global effects on 695f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// the DAG can optionally implement this interface. This allows the clients 696f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// to handle the various sorts of updates that happen. 697f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner class DAGUpdateListener { 698f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner public: 699f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner virtual ~DAGUpdateListener(); 700edfcf598faab9ce294712551ecf67093acd1c66eDuncan Sands 701edfcf598faab9ce294712551ecf67093acd1c66eDuncan Sands /// NodeDeleted - The node N that was deleted and, if E is not null, an 702edfcf598faab9ce294712551ecf67093acd1c66eDuncan Sands /// equivalent node E that replaced it. 703edfcf598faab9ce294712551ecf67093acd1c66eDuncan Sands virtual void NodeDeleted(SDNode *N, SDNode *E) = 0; 704edfcf598faab9ce294712551ecf67093acd1c66eDuncan Sands 705edfcf598faab9ce294712551ecf67093acd1c66eDuncan Sands /// NodeUpdated - The node N that was updated. 706f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner virtual void NodeUpdated(SDNode *N) = 0; 707f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner }; 708fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 709f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// RemoveDeadNode - Remove the specified node from the system. If any of its 710f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// operands then becomes dead, remove them as well. Inform UpdateListener 711f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// for each node deleted. 712f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner void RemoveDeadNode(SDNode *N, DAGUpdateListener *UpdateListener = 0); 713fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 7140fe9c6e7babb3c0731d9cb864ec498ec4184760fDan Gohman /// RemoveDeadNodes - This method deletes the unreachable nodes in the 7150fe9c6e7babb3c0731d9cb864ec498ec4184760fDan Gohman /// given list, and any nodes that become unreachable as a result. 7160fe9c6e7babb3c0731d9cb864ec498ec4184760fDan Gohman void RemoveDeadNodes(SmallVectorImpl<SDNode *> &DeadNodes, 7170fe9c6e7babb3c0731d9cb864ec498ec4184760fDan Gohman DAGUpdateListener *UpdateListener = 0); 7180fe9c6e7babb3c0731d9cb864ec498ec4184760fDan Gohman 7196542d950609208de3e1cde704c5f89aad864c0d9Chris Lattner /// ReplaceAllUsesWith - Modify anything using 'From' to use 'To' instead. 72026005b1b672aebd437edc561d381c5dd19a03ddbChris Lattner /// This can cause recursive merging of nodes in the DAG. Use the first 72126005b1b672aebd437edc561d381c5dd19a03ddbChris Lattner /// version if 'From' is known to have a single result, use the second 722c23e4968790395053f3f52aeb3342637fcaafdbfDan Gohman /// if you have two nodes with identical results (or if 'To' has a superset 723c23e4968790395053f3f52aeb3342637fcaafdbfDan Gohman /// of the results of 'From'), use the third otherwise. 7246542d950609208de3e1cde704c5f89aad864c0d9Chris Lattner /// 725fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel /// These methods all take an optional UpdateListener, which (if not null) is 726f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// informed about nodes that are deleted and modified due to recursive 727f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// changes in the dag. 728fde3f3061d665babeb78443119a09876098fc35eChris Lattner /// 7299ad136c851e0a66eb471573aac9fec47d53a61baDan Gohman /// These functions only replace all existing uses. It's possible that as 7309ad136c851e0a66eb471573aac9fec47d53a61baDan Gohman /// these replacements are being performed, CSE may cause the From node 7319ad136c851e0a66eb471573aac9fec47d53a61baDan Gohman /// to be given new uses. These new uses of From are left in place, and 7329ad136c851e0a66eb471573aac9fec47d53a61baDan Gohman /// not automatically transfered to To. 7339ad136c851e0a66eb471573aac9fec47d53a61baDan Gohman /// 734475871a144eb604ddaf37503397ba0941442e5fbDan Gohman void ReplaceAllUsesWith(SDValue From, SDValue Op, 735f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner DAGUpdateListener *UpdateListener = 0); 736fde3f3061d665babeb78443119a09876098fc35eChris Lattner void ReplaceAllUsesWith(SDNode *From, SDNode *To, 737f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner DAGUpdateListener *UpdateListener = 0); 738475871a144eb604ddaf37503397ba0941442e5fbDan Gohman void ReplaceAllUsesWith(SDNode *From, const SDValue *To, 739f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner DAGUpdateListener *UpdateListener = 0); 740fae9f1cb34d6d2c4dbd007f2d748a70b67776a82Evan Cheng 74180274268b99e5a066825c8cc5aba58dbc5ad0a52Chris Lattner /// ReplaceAllUsesOfValueWith - Replace any uses of From with To, leaving 742f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// uses of other values produced by From.Val alone. 743475871a144eb604ddaf37503397ba0941442e5fbDan Gohman void ReplaceAllUsesOfValueWith(SDValue From, SDValue To, 744f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner DAGUpdateListener *UpdateListener = 0); 74580274268b99e5a066825c8cc5aba58dbc5ad0a52Chris Lattner 746e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// ReplaceAllUsesOfValuesWith - Like ReplaceAllUsesOfValueWith, but 747e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// for multiple values at once. This correctly handles the case where 748e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// there is an overlap between the From values and the To values. 749475871a144eb604ddaf37503397ba0941442e5fbDan Gohman void ReplaceAllUsesOfValuesWith(const SDValue *From, const SDValue *To, 750e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman unsigned Num, 751e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman DAGUpdateListener *UpdateListener = 0); 752e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman 753f06c835f769aa1cf67801ed1f6bd366a447c18b1Dan Gohman /// AssignTopologicalOrder - Topological-sort the AllNodes list and a 754f06c835f769aa1cf67801ed1f6bd366a447c18b1Dan Gohman /// assign a unique node id for each node in the DAG based on their 755f06c835f769aa1cf67801ed1f6bd366a447c18b1Dan Gohman /// topological order. Returns the number of nodes. 756f06c835f769aa1cf67801ed1f6bd366a447c18b1Dan Gohman unsigned AssignTopologicalOrder(); 757e6f35d8a5cc92d776cf460200e2b815e8c301b14Evan Cheng 7588be6bbe5bfd50945ac6c5542e0f54a0924a5db8dDan Gohman /// RepositionNode - Move node N in the AllNodes list to be immediately 7598be6bbe5bfd50945ac6c5542e0f54a0924a5db8dDan Gohman /// before the given iterator Position. This may be used to update the 7608be6bbe5bfd50945ac6c5542e0f54a0924a5db8dDan Gohman /// topological ordering when the list of nodes is modified. 7618be6bbe5bfd50945ac6c5542e0f54a0924a5db8dDan Gohman void RepositionNode(allnodes_iterator Position, SDNode *N) { 7628be6bbe5bfd50945ac6c5542e0f54a0924a5db8dDan Gohman AllNodes.insert(Position, AllNodes.remove(N)); 7638be6bbe5bfd50945ac6c5542e0f54a0924a5db8dDan Gohman } 7648be6bbe5bfd50945ac6c5542e0f54a0924a5db8dDan Gohman 7651efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng /// isCommutativeBinOp - Returns true if the opcode is a commutative binary 7661efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng /// operation. 7671efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng static bool isCommutativeBinOp(unsigned Opcode) { 7684ae9e0c5301126d7f2d4b2975eb86ed21f7b574dChris Lattner // FIXME: This should get its info from the td file, so that we can include 7694ae9e0c5301126d7f2d4b2975eb86ed21f7b574dChris Lattner // target info. 7701efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng switch (Opcode) { 7711efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::ADD: 7721efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::MUL: 7731efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::MULHU: 7741efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::MULHS: 775b6c7437568f0472548ede2710458f52cfad4532eDan Gohman case ISD::SMUL_LOHI: 776b6c7437568f0472548ede2710458f52cfad4532eDan Gohman case ISD::UMUL_LOHI: 7771efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::FADD: 7781efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::FMUL: 7791efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::AND: 7801efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::OR: 7811efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::XOR: 78256e04a80b3cbd348aaf8f1828ed28fb4a9de2312Dan Gohman case ISD::SADDO: 78356e04a80b3cbd348aaf8f1828ed28fb4a9de2312Dan Gohman case ISD::UADDO: 784fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel case ISD::ADDC: 7851efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::ADDE: return true; 7861efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng default: return false; 7871efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng } 7881efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng } 7891efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng 790cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner void dump() const; 791d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner 79237ce9df0da6cddc3b8bfef9b63d33d058a0f2f15Chris Lattner /// CreateStackTemporary - Create a stack temporary, suitable for holding the 793364d73ddab43b699ab90240f11b7a2eb5cf69bd8Mon P Wang /// specified value type. If minAlign is specified, the slot size will have 794364d73ddab43b699ab90240f11b7a2eb5cf69bd8Mon P Wang /// at least that alignment. 795475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue CreateStackTemporary(MVT VT, unsigned minAlign = 1); 79647d9dcc584cdb7fd645ca1d5c2a0ce363570aeb7Duncan Sands 79747d9dcc584cdb7fd645ca1d5c2a0ce363570aeb7Duncan Sands /// CreateStackTemporary - Create a stack temporary suitable for holding 79847d9dcc584cdb7fd645ca1d5c2a0ce363570aeb7Duncan Sands /// either of the specified value types. 79947d9dcc584cdb7fd645ca1d5c2a0ce363570aeb7Duncan Sands SDValue CreateStackTemporary(MVT VT1, MVT VT2); 80047d9dcc584cdb7fd645ca1d5c2a0ce363570aeb7Duncan Sands 801fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel /// FoldConstantArithmetic - 802f3cbca279db891403659208a99f8e1cceb8c9ea6Bill Wendling SDValue FoldConstantArithmetic(unsigned Opcode, 803f3cbca279db891403659208a99f8e1cceb8c9ea6Bill Wendling MVT VT, 804f3cbca279db891403659208a99f8e1cceb8c9ea6Bill Wendling ConstantSDNode *Cst1, 805f3cbca279db891403659208a99f8e1cceb8c9ea6Bill Wendling ConstantSDNode *Cst2); 806f3cbca279db891403659208a99f8e1cceb8c9ea6Bill Wendling 80751dabfb28375be7bc5848806ae31cd068b6133f8Chris Lattner /// FoldSetCC - Constant fold a setcc to true or false. 808475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue FoldSetCC(MVT VT, SDValue N1, 809ff97d4fe81ef0dcee9fe490bed8ab08e40251905Dale Johannesen SDValue N2, ISD::CondCode Cond, DebugLoc dl); 810fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 8112e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman /// SignBitIsZero - Return true if the sign bit of Op is known to be zero. We 8122e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman /// use this predicate to simplify operations downstream. 813475871a144eb604ddaf37503397ba0941442e5fbDan Gohman bool SignBitIsZero(SDValue Op, unsigned Depth = 0) const; 8142e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman 815ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// MaskedValueIsZero - Return true if 'Op & Mask' is known to be zero. We 816ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// use this predicate to simplify operations downstream. Op and Mask are 817ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// known to be the same type. 818475871a144eb604ddaf37503397ba0941442e5fbDan Gohman bool MaskedValueIsZero(SDValue Op, const APInt &Mask, unsigned Depth = 0) 819ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman const; 820fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 821ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// ComputeMaskedBits - Determine which of the bits specified in Mask are 822ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// known to be either zero or one and return them in the KnownZero/KnownOne 823ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// bitsets. This code only analyzes bits in Mask, in order to short-circuit 824fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel /// processing. Targets can implement the computeMaskedBitsForTargetNode 825ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// method in the TargetLowering class to allow target nodes to be understood. 826475871a144eb604ddaf37503397ba0941442e5fbDan Gohman void ComputeMaskedBits(SDValue Op, const APInt &Mask, APInt &KnownZero, 827fd29e0eb060ea8b4d490860329234d2ae5f5952eDan Gohman APInt &KnownOne, unsigned Depth = 0) const; 828fd29e0eb060ea8b4d490860329234d2ae5f5952eDan Gohman 829ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// ComputeNumSignBits - Return the number of times the sign bit of the 830ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// register is replicated into the other bits. We know that at least 1 bit 831ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// is always equal to the sign bit (itself), but other cases can give us 832ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// information. For example, immediately after an "SRA X, 2", we know that 833ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// the top 3 bits are all equal to each other, so we return 3. Targets can 834ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// implement the ComputeNumSignBitsForTarget method in the TargetLowering 835ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// class to allow target nodes to be understood. 836475871a144eb604ddaf37503397ba0941442e5fbDan Gohman unsigned ComputeNumSignBits(SDValue Op, unsigned Depth = 0) const; 837a844bdeab31ef04221e7ef59a8467893584cc14dEvan Cheng 838475871a144eb604ddaf37503397ba0941442e5fbDan Gohman /// isVerifiedDebugInfoDesc - Returns true if the specified SDValue has 839a844bdeab31ef04221e7ef59a8467893584cc14dEvan Cheng /// been verified as a debug information descriptor. 840475871a144eb604ddaf37503397ba0941442e5fbDan Gohman bool isVerifiedDebugInfoDesc(SDValue Op) const; 84177f0b7a50a08614b5ffd58f1864b68a9a30d0cb0Evan Cheng 84277f0b7a50a08614b5ffd58f1864b68a9a30d0cb0Evan Cheng /// getShuffleScalarElt - Returns the scalar element that will make up the ith 84377f0b7a50a08614b5ffd58f1864b68a9a30d0cb0Evan Cheng /// element of the result of the vector shuffle. 8445a5ca1519e04310f585197c20e7ae584b7f2d11fNate Begeman SDValue getShuffleScalarElt(const ShuffleVectorSDNode *N, unsigned Idx); 845fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 846d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattnerprivate: 847095cc29f321382e1f7d295e262a28197f92c5491Dan Gohman bool RemoveNodeFromCSEMaps(SDNode *N); 848399461095b033438d1f5863cd0d6f82a616f74dcDan Gohman void AddModifiedNodeToCSEMaps(SDNode *N, DAGUpdateListener *UpdateListener); 849475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDNode *FindModifiedNodeSlot(SDNode *N, SDValue Op, void *&InsertPos); 850475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDNode *FindModifiedNodeSlot(SDNode *N, SDValue Op1, SDValue Op2, 851a5682853b9921bbb0dd2ee175c9bd44142d4819eChris Lattner void *&InsertPos); 852475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDNode *FindModifiedNodeSlot(SDNode *N, const SDValue *Ops, unsigned NumOps, 853a5682853b9921bbb0dd2ee175c9bd44142d4819eChris Lattner void *&InsertPos); 854b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner 855fde3f3061d665babeb78443119a09876098fc35eChris Lattner void DeleteNodeNotInCSEMaps(SDNode *N); 856c53361294957b63a9c1e405256c6f0a81db1685cDan Gohman void DeallocateNode(SDNode *N); 8579c6e70eca9a49c146b26621cbcbb9464ceeac024Dan Gohman 8589c6e70eca9a49c146b26621cbcbb9464ceeac024Dan Gohman unsigned getMVTAlignment(MVT MemoryVT) const; 859f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman 860f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman void allnodes_clear(); 861fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 862101a90f3d3c3ad9159676ba744b59b3a9d0b4af5Dan Gohman /// VTList - List of non-single value types. 863e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman std::vector<SDVTList> VTList; 864fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 865101a90f3d3c3ad9159676ba744b59b3a9d0b4af5Dan Gohman /// CondCodeNodes - Maps to auto-CSE operations. 8667cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner std::vector<CondCodeSDNode*> CondCodeNodes; 8671cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner 86815e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner std::vector<SDNode*> ValueTypeNodes; 8698e4eb09b1e3571965f49edcdfb56b1375b1b7551Duncan Sands std::map<MVT, SDNode*, MVT::compareRawBits> ExtendedValueTypeNodes; 870056292fd738924f3f7703725d8f630983794b5a5Bill Wendling StringMap<SDNode*> ExternalSymbols; 8711af2231da64a14d638406d133c7912bfc1c8a9ceChris Lattner 8721af2231da64a14d638406d133c7912bfc1c8a9ceChris Lattner std::map<std::pair<std::string, unsigned char>,SDNode*> TargetExternalSymbols; 873cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner}; 874cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 8751080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattnertemplate <> struct GraphTraits<SelectionDAG*> : public GraphTraits<SDNode*> { 8761080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner typedef SelectionDAG::allnodes_iterator nodes_iterator; 8771080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner static nodes_iterator nodes_begin(SelectionDAG *G) { 8781080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return G->allnodes_begin(); 8791080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 8801080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner static nodes_iterator nodes_end(SelectionDAG *G) { 8811080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return G->allnodes_end(); 8821080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 8831080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner}; 8841080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 885b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner} // end namespace llvm 886cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 887cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner#endif 888