SelectionDAG.h revision ff7a562751604a9fe13efc75bd59622244b54d35
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" 204b84086e89d86fb16f562166d9fea8df37db6be7Dan Gohman#include "llvm/ADT/StringMap.h" 21583bd47f777fe3eb8305872fa0eadab31e833dffJim Laskey#include "llvm/CodeGen/SelectionDAGNodes.h" 22c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman#include "llvm/Support/RecyclingAllocator.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 FunctionLoweringInfo; 33b4e6a5df5dada0cd919cc6e2717eb3118db9cc45Bill Wendlingclass MachineConstantPoolValue; 34b4e6a5df5dada0cd919cc6e2717eb3118db9cc45Bill Wendlingclass MachineFunction; 3531441b7e95e0840e1ae144e5db6f791d6a36bc60Evan Chengclass MDNode; 36b4e6a5df5dada0cd919cc6e2717eb3118db9cc45Bill Wendlingclass SDNodeOrdering; 37bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesenclass SDDbgValue; 38b4e6a5df5dada0cd919cc6e2717eb3118db9cc45Bill Wendlingclass TargetLowering; 39ff7a562751604a9fe13efc75bd59622244b54d35Dan Gohmanclass TargetSelectionDAGInfo; 40fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman 418e4018e2de52c534405d7155c7009d0b35afb861Cedric Venettemplate<> struct ilist_traits<SDNode> : public ilist_default_traits<SDNode> { 428e4018e2de52c534405d7155c7009d0b35afb861Cedric Venetprivate: 437309be6735666143bd9835b275dc8501617a2591Gabor Greif mutable ilist_half_node<SDNode> Sentinel; 44fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohmanpublic: 45fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman SDNode *createSentinel() const { 46c7f6b8c5d40e17bf43fd3a1549d7d89c9da735e1Gabor Greif return static_cast<SDNode*>(&Sentinel); 47fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman } 48fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman static void destroySentinel(SDNode *) {} 49fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman 50c23b8719ef9d6b1220e854b37d40e9e1c48a82bcGabor Greif SDNode *provideInitialHead() const { return createSentinel(); } 51c23b8719ef9d6b1220e854b37d40e9e1c48a82bcGabor Greif SDNode *ensureHead(SDNode*) const { return createSentinel(); } 52f3841fcbd587c31aa9842b3f33bd57de40c9f443Gabor Greif static void noteHead(SDNode*, SDNode*) {} 53c23b8719ef9d6b1220e854b37d40e9e1c48a82bcGabor Greif 54fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman static void deleteNode(SDNode *) { 55fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman assert(0 && "ilist_traits<SDNode> shouldn't see a deleteNode call!"); 56fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman } 57fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohmanprivate: 58fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman static void createNode(const SDNode &); 59fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman}; 60c3aae25116e66c177579b0b79182b09340b19753Chris Lattner 61bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen/// SDDbgInfo - Keeps track of dbg_value information through SDISel. We do 62bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen/// not build SDNodes for these so as not to perturb the generated code; 63bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng/// instead the info is kept off to the side in this structure. Each SDNode may 64bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng/// have one or more associated dbg_value entries. This information is kept in 65bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng/// DbgValMap. 66fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen/// Byval parameters are handled separately because they don't use alloca's, 67fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen/// which busts the normal mechanism. There is good reason for handling all 68fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen/// parameters separately: they may not have code generated for them, they 69fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen/// should always go at the beginning of the function regardless of other code 70fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen/// motion, and debug info for them is potentially useful even if the parameter 71fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen/// is unused. Right now only byval parameters are handled separately. 72bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesenclass SDDbgInfo { 73bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng SmallVector<SDDbgValue*, 32> DbgValues; 74fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen SmallVector<SDDbgValue*, 32> ByvalParmDbgValues; 75d4c6c3a7c3140ce487a805138b6f53f82ff6b783Devang Patel DenseMap<const SDNode*, SmallVector<SDDbgValue*, 2> > DbgValMap; 76bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen 77bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen void operator=(const SDDbgInfo&); // Do not implement. 78bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen SDDbgInfo(const SDDbgInfo&); // Do not implement. 79bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesenpublic: 80bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen SDDbgInfo() {} 81bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen 82fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen void add(SDDbgValue *V, const SDNode *Node, bool isParameter) { 83fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen if (isParameter) { 84fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen ByvalParmDbgValues.push_back(V); 85fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen } else DbgValues.push_back(V); 86bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng if (Node) 87d4c6c3a7c3140ce487a805138b6f53f82ff6b783Devang Patel DbgValMap[Node].push_back(V); 88bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen } 89bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng 90bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen void clear() { 91d4c6c3a7c3140ce487a805138b6f53f82ff6b783Devang Patel DbgValMap.clear(); 92bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng DbgValues.clear(); 93fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen ByvalParmDbgValues.clear(); 94bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng } 95bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng 96bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng bool empty() const { 97fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen return DbgValues.empty() && ByvalParmDbgValues.empty(); 98bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen } 99bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng 100bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng SmallVector<SDDbgValue*,2> &getSDDbgValues(const SDNode *Node) { 101d4c6c3a7c3140ce487a805138b6f53f82ff6b783Devang Patel return DbgValMap[Node]; 102bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen } 103bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng 104bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng typedef SmallVector<SDDbgValue*,32>::iterator DbgIterator; 105bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng DbgIterator DbgBegin() { return DbgValues.begin(); } 106bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng DbgIterator DbgEnd() { return DbgValues.end(); } 107fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen DbgIterator ByvalParmDbgBegin() { return ByvalParmDbgValues.begin(); } 108fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen DbgIterator ByvalParmDbgEnd() { return ByvalParmDbgValues.end(); } 109bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen}; 110bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen 11125cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sandsenum CombineLevel { 11225cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands Unrestricted, // Combine may create illegal operations and illegal types. 11325cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands NoIllegalTypes, // Combine may create illegal operations but no illegal types. 11425cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands NoIllegalOperations // Combine may only create legal operations and types. 11525cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands}; 11625cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands 117cf495bc2e505e52ad018da55bed11c7b8bc97db5David Greeneclass SelectionDAG; 118cf495bc2e505e52ad018da55bed11c7b8bc97db5David Greenevoid checkForCycles(const SDNode *N); 119cf495bc2e505e52ad018da55bed11c7b8bc97db5David Greenevoid checkForCycles(const SelectionDAG *DAG); 120cf495bc2e505e52ad018da55bed11c7b8bc97db5David Greene 121c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// SelectionDAG class - This is used to represent a portion of an LLVM function 122c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// in a low-level Data Dependence DAG representation suitable for instruction 123c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// selection. This DAG is constructed as the first step of instruction 124c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// selection in order to allow implementation of machine specific optimizations 125c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// and code simplifications. 126c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// 127c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// The representation used by the SelectionDAG is a target-independent 128c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// representation, which has some similarities to the GCC RTL representation, 129c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// but is significantly more simple, powerful, and is a graph form instead of a 130c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// linear form. 131cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner/// 132cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattnerclass SelectionDAG { 13350d2b1ac029d63500ea9b9347561b1454fa6ed6aDan Gohman const TargetMachine &TM; 134d858e90f039f5fcdc2fa93035e911a5a9505cc50Dan Gohman const TargetLowering &TLI; 135ff7a562751604a9fe13efc75bd59622244b54d35Dan Gohman const TargetSelectionDAGInfo &TSI; 1367c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman MachineFunction *MF; 137ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner FunctionLoweringInfo &FLI; 138512063dd0f91a76b9dd904dfff72a52b4d09e89fChris Lattner LLVMContext *Context; 139cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 140f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// EntryNode - The starting token. 141f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman SDNode EntryNode; 142f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman 143f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// Root - The root of the entire DAG. 144f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman SDValue Root; 145cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 146213a16c637926bfc38ba373d3aba6778e181e3ecChris Lattner /// AllNodes - A linked list of nodes in the current DAG. 147fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman ilist<SDNode> AllNodes; 148fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman 149f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// NodeAllocatorType - The AllocatorType for allocating SDNodes. We use 150f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// pool allocation with recycling. 151f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman typedef RecyclingAllocator<BumpPtrAllocator, SDNode, sizeof(LargestSDNode), 152f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman AlignOf<MostAlignedSDNode>::Alignment> 153f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman NodeAllocatorType; 154f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman 155f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// NodeAllocator - Pool allocation for nodes. 156f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman NodeAllocatorType NodeAllocator; 157691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth 158213a16c637926bfc38ba373d3aba6778e181e3ecChris Lattner /// CSEMap - This structure is used to memoize nodes, automatically performing 159d23b33435ae722ff5aa5ab97135a4f31041959e2Bob Wilson /// CSE with existing nodes when a duplicate is requested. 160583bd47f777fe3eb8305872fa0eadab31e833dffJim Laskey FoldingSet<SDNode> CSEMap; 161213a16c637926bfc38ba373d3aba6778e181e3ecChris Lattner 162f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// OperandAllocator - Pool allocation for machine-opcode SDNode operands. 163f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman BumpPtrAllocator OperandAllocator; 164f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman 165e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// Allocator - Pool allocation for misc. objects that are created once per 166e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// SelectionDAG. 167e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman BumpPtrAllocator Allocator; 168e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman 169b4e6a5df5dada0cd919cc6e2717eb3118db9cc45Bill Wendling /// SDNodeOrdering - The ordering of the SDNodes. It roughly corresponds to 170b4e6a5df5dada0cd919cc6e2717eb3118db9cc45Bill Wendling /// the ordering of the original LLVM instructions. 171b4e6a5df5dada0cd919cc6e2717eb3118db9cc45Bill Wendling SDNodeOrdering *Ordering; 172819309efec6f11ba752bd7cbfe186495745f020bDaniel Dunbar 173bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen /// DbgInfo - Tracks dbg_value information through SDISel. 174bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen SDDbgInfo *DbgInfo; 175bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen 176d038e04188047eca4749d025ef1f05f7ae660bcaDuncan Sands /// VerifyNode - Sanity check the given node. Aborts if it is invalid. 177d038e04188047eca4749d025ef1f05f7ae660bcaDuncan Sands void VerifyNode(SDNode *N); 178d038e04188047eca4749d025ef1f05f7ae660bcaDuncan Sands 179c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene /// setGraphColorHelper - Implementation of setSubgraphColor. 180c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene /// Return whether we had to truncate the search. 181c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene /// 182c23b8719ef9d6b1220e854b37d40e9e1c48a82bcGabor Greif bool setSubgraphColorHelper(SDNode *N, const char *Color, 183c23b8719ef9d6b1220e854b37d40e9e1c48a82bcGabor Greif DenseSet<SDNode *> &visited, 184c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene int level, bool &printed); 185c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene 186819309efec6f11ba752bd7cbfe186495745f020bDaniel Dunbar void operator=(const SelectionDAG&); // Do not implement. 187819309efec6f11ba752bd7cbfe186495745f020bDaniel Dunbar SelectionDAG(const SelectionDAG&); // Do not implement. 188819309efec6f11ba752bd7cbfe186495745f020bDaniel Dunbar 189cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattnerpublic: 19050d2b1ac029d63500ea9b9347561b1454fa6ed6aDan Gohman SelectionDAG(const TargetMachine &TM, FunctionLoweringInfo &fli); 191cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner ~SelectionDAG(); 192cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 1937c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman /// init - Prepare this SelectionDAG to process code in the given 1947c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman /// MachineFunction. 1957c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman /// 196de6e783b2490447866b592cd39855e6f4d25efffChris Lattner void init(MachineFunction &mf); 1977c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman 1987c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman /// clear - Clear state and free memory necessary to make this 199f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// SelectionDAG ready to process a new block. 200f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman /// 2017c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman void clear(); 202f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman 2037c3234c6be0dc0bdf4b5d6f848cd728a77f349d7Dan Gohman MachineFunction &getMachineFunction() const { return *MF; } 20450d2b1ac029d63500ea9b9347561b1454fa6ed6aDan Gohman const TargetMachine &getTarget() const { return TM; } 205d858e90f039f5fcdc2fa93035e911a5a9505cc50Dan Gohman const TargetLowering &getTargetLoweringInfo() const { return TLI; } 206ff7a562751604a9fe13efc75bd59622244b54d35Dan Gohman const TargetSelectionDAGInfo &getSelectionDAGInfo() const { return TSI; } 207ead0d88ad7659dabd66cc3149af97d98256fca84Chris Lattner FunctionLoweringInfo &getFunctionLoweringInfo() const { return FLI; } 208d1474d09cbe5fdeec8ba0d6c6b52f316f3422532Owen Anderson LLVMContext *getContext() const {return Context; } 209cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 210ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// viewGraph - Pop up a GraphViz/gv window with the DAG rendered using 'dot'. 2111080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner /// 212462dc7f4960e5074ddf4769ec8b2ef1ba7a4d2c8Dan Gohman void viewGraph(const std::string &Title); 2130b12aef49087b57d276ed760a83525d1e2602144Dan Gohman void viewGraph(); 214fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 215ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey#ifndef NDEBUG 216ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey std::map<const SDNode *, std::string> NodeGraphAttrs; 217ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey#endif 2181080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 219ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// clearGraphAttrs - Clear all previously defined node graph attributes. 220ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// Intended to be used from a debugging tool (eg. gdb). 221ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey void clearGraphAttrs(); 222fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 223ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// setGraphAttrs - Set graph attributes for a node. (eg. "color=red".) 224ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// 225ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey void setGraphAttrs(const SDNode *N, const char *Attrs); 226fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 227ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// getGraphAttrs - Get graph attributes for a node. (eg. "color=red".) 228ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// Used from getNodeAttributes. 229ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey const std::string getGraphAttrs(const SDNode *N) const; 230fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 231ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// setGraphColor - Convenience for setting node color attribute. 232ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey /// 233ec20402c90b605afeedbcf0e3aabe6f8054f23ddJim Laskey void setGraphColor(const SDNode *N, const char *Color); 2341080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 235c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene /// setGraphColor - Convenience for setting subgraph color attribute. 236c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene /// 237c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene void setSubgraphColor(SDNode *N, const char *Color); 238c5e7e8d87d4a3b10edd5ac93ba1f3cdb4d1b449aDavid Greene 239fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman typedef ilist<SDNode>::const_iterator allnodes_const_iterator; 240b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner allnodes_const_iterator allnodes_begin() const { return AllNodes.begin(); } 241b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner allnodes_const_iterator allnodes_end() const { return AllNodes.end(); } 242fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman typedef ilist<SDNode>::iterator allnodes_iterator; 243b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner allnodes_iterator allnodes_begin() { return AllNodes.begin(); } 244b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner allnodes_iterator allnodes_end() { return AllNodes.end(); } 245fed90b6d097d50881afb45e4d79f430db66dd741Dan Gohman ilist<SDNode>::size_type allnodes_size() const { 2460e5f1306b059b62d7725f324e087efbc8e7a782dDan Gohman return AllNodes.size(); 2470e5f1306b059b62d7725f324e087efbc8e7a782dDan Gohman } 248fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 249c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// getRoot - Return the root tag of the SelectionDAG. 250cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner /// 251475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue &getRoot() const { return Root; } 252cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 253c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// getEntryNode - Return the token chain corresponding to the entry of the 254c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// function. 255f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman SDValue getEntryNode() const { 256f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman return SDValue(const_cast<SDNode *>(&EntryNode), 0); 257f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman } 258cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 259c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// setRoot - Set the current root tag of the SelectionDAG. 260cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner /// 261475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue &setRoot(SDValue N) { 262825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson assert((!N.getNode() || N.getValueType() == MVT::Other) && 263acaf09dbe4a6781163857db1321bbd5795e7d410Dan Gohman "DAG root value is not a chain!"); 264cf495bc2e505e52ad018da55bed11c7b8bc97db5David Greene if (N.getNode()) 265cf495bc2e505e52ad018da55bed11c7b8bc97db5David Greene checkForCycles(N.getNode()); 266cf495bc2e505e52ad018da55bed11c7b8bc97db5David Greene Root = N; 267cf495bc2e505e52ad018da55bed11c7b8bc97db5David Greene if (N.getNode()) 268cf495bc2e505e52ad018da55bed11c7b8bc97db5David Greene checkForCycles(this); 269cf495bc2e505e52ad018da55bed11c7b8bc97db5David Greene return Root; 270acaf09dbe4a6781163857db1321bbd5795e7d410Dan Gohman } 271cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 2721d4d41411190dd9e62764e56713753d4155764ddNate Begeman /// Combine - This iterates over the nodes in the SelectionDAG, folding 27325cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands /// certain types of nodes together, or eliminating superfluous nodes. The 27425cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands /// Level argument controls whether Combine is allowed to produce nodes and 27525cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands /// types that are illegal on the target. 27698a366d547772010e94609e4584489b3e5ce0043Bill Wendling void Combine(CombineLevel Level, AliasAnalysis &AA, 27798a366d547772010e94609e4584489b3e5ce0043Bill Wendling CodeGenOpt::Level OptLevel); 27825cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands 27901d029b82cb08367d81aa10cdc94d05360466649Chris Lattner /// LegalizeTypes - This transforms the SelectionDAG into a SelectionDAG that 28025cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands /// only uses types natively supported by the target. Returns "true" if it 28125cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands /// made any changes. 28201d029b82cb08367d81aa10cdc94d05360466649Chris Lattner /// 28301d029b82cb08367d81aa10cdc94d05360466649Chris Lattner /// Note that this is an involved process that may invalidate pointers into 28401d029b82cb08367d81aa10cdc94d05360466649Chris Lattner /// the graph. 28525cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands bool LegalizeTypes(); 28625cf2275ff7de3de3bc0e508abaf457413d74725Duncan Sands 287c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// Legalize - This transforms the SelectionDAG into a SelectionDAG that is 288c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// compatible with the target instruction selector, as indicated by the 289c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// TargetLowering object. 290cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner /// 291c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// Note that this is an involved process that may invalidate pointers into 292c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// the graph. 293714efc63d4319b771d89a95aa7a42d400f03d8c9Dan Gohman void Legalize(CodeGenOpt::Level OptLevel); 294c3aae25116e66c177579b0b79182b09340b19753Chris Lattner 2955c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// LegalizeVectors - This transforms the SelectionDAG into a SelectionDAG 2965c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// that only uses vector math operations supported by the target. This is 2975c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// necessary as a separate step from Legalize because unrolling a vector 2985c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// operation can introduce illegal types, which requires running 2995c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// LegalizeTypes again. 3005c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// 3015c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// This returns true if it made any changes; in that case, LegalizeTypes 3025c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// is called again before Legalize. 3035c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// 3045c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// Note that this is an involved process that may invalidate pointers into 3055c22c8074404797f1313b1334757254fb5c6487aEli Friedman /// the graph. 3065c22c8074404797f1313b1334757254fb5c6487aEli Friedman bool LegalizeVectors(); 3075c22c8074404797f1313b1334757254fb5c6487aEli Friedman 308d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner /// RemoveDeadNodes - This method deletes all unreachable nodes in the 309190a418bf6b49a4ef1c1980229a2f0d516e8a2cdChris Lattner /// SelectionDAG. 310190a418bf6b49a4ef1c1980229a2f0d516e8a2cdChris Lattner void RemoveDeadNodes(); 311130a6471b90f66e99b1f9f42877fdf611c330ac6Evan Cheng 312130a6471b90f66e99b1f9f42877fdf611c330ac6Evan Cheng /// DeleteNode - Remove the specified node from the system. This node must 313130a6471b90f66e99b1f9f42877fdf611c330ac6Evan Cheng /// have no referrers. 314130a6471b90f66e99b1f9f42877fdf611c330ac6Evan Cheng void DeleteNode(SDNode *N); 315130a6471b90f66e99b1f9f42877fdf611c330ac6Evan Cheng 31670046e920fa37989a041af663ada2b2b646e258fChris Lattner /// getVTList - Return an SDVTList that represents the list of values 31770046e920fa37989a041af663ada2b2b646e258fChris Lattner /// specified. 318e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDVTList getVTList(EVT VT); 319e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDVTList getVTList(EVT VT1, EVT VT2); 320e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDVTList getVTList(EVT VT1, EVT VT2, EVT VT3); 321e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDVTList getVTList(EVT VT1, EVT VT2, EVT VT3, EVT VT4); 322e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDVTList getVTList(const EVT *VTs, unsigned NumVTs); 323fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 3241b1a49714ef26225a42199cf2930529f31868322Chris Lattner //===--------------------------------------------------------------------===// 32570046e920fa37989a041af663ada2b2b646e258fChris Lattner // Node creation methods. 32670046e920fa37989a041af663ada2b2b646e258fChris Lattner // 327e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getConstant(uint64_t Val, EVT VT, bool isTarget = false); 328e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getConstant(const APInt &Val, EVT VT, bool isTarget = false); 329e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getConstant(const ConstantInt &Val, EVT VT, bool isTarget = false); 330475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getIntPtrConstant(uint64_t Val, bool isTarget = false); 331e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getTargetConstant(uint64_t Val, EVT VT) { 332cbea3045ce0bdd061c494a831d0ce2d5834211ccChris Lattner return getConstant(Val, VT, true); 333cbea3045ce0bdd061c494a831d0ce2d5834211ccChris Lattner } 334e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getTargetConstant(const APInt &Val, EVT VT) { 3356394b099e836f56a937cdcc7332c9487b504ca68Dan Gohman return getConstant(Val, VT, true); 3366394b099e836f56a937cdcc7332c9487b504ca68Dan Gohman } 337e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getTargetConstant(const ConstantInt &Val, EVT VT) { 3384fbd796a1251a27e6590765a0a34876f436a0af9Dan Gohman return getConstant(Val, VT, true); 3394fbd796a1251a27e6590765a0a34876f436a0af9Dan Gohman } 3400a406ae0d940d92c51ee145b48ff7a483a366849Dale Johannesen // The forms below that take a double should only be used for simple 3410a406ae0d940d92c51ee145b48ff7a483a366849Dale Johannesen // constants that can be exactly represented in VT. No checks are made. 342e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getConstantFP(double Val, EVT VT, bool isTarget = false); 343e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getConstantFP(const APFloat& Val, EVT VT, bool isTarget = false); 344e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getConstantFP(const ConstantFP &CF, EVT VT, bool isTarget = false); 345e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getTargetConstantFP(double Val, EVT VT) { 346c9f8f416800784ca6453222b307bc44ad24739b0Chris Lattner return getConstantFP(Val, VT, true); 347c9f8f416800784ca6453222b307bc44ad24739b0Chris Lattner } 348e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getTargetConstantFP(const APFloat& Val, EVT VT) { 349f04afdbb48568ef09f11fd10ac03426101f2dbf8Dale Johannesen return getConstantFP(Val, VT, true); 350f04afdbb48568ef09f11fd10ac03426101f2dbf8Dale Johannesen } 351e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getTargetConstantFP(const ConstantFP &Val, EVT VT) { 3524fbd796a1251a27e6590765a0a34876f436a0af9Dan Gohman return getConstantFP(Val, VT, true); 3534fbd796a1251a27e6590765a0a34876f436a0af9Dan Gohman } 354e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getGlobalAddress(const GlobalValue *GV, EVT VT, 3552a4ed82ce2ba4a02f2a02eb4ed8ce5186f3f93daChris Lattner int64_t offset = 0, bool isTargetGA = false, 3562a4ed82ce2ba4a02f2a02eb4ed8ce5186f3f93daChris Lattner unsigned char TargetFlags = 0); 357e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getTargetGlobalAddress(const GlobalValue *GV, EVT VT, 3582a4ed82ce2ba4a02f2a02eb4ed8ce5186f3f93daChris Lattner int64_t offset = 0, 3592a4ed82ce2ba4a02f2a02eb4ed8ce5186f3f93daChris Lattner unsigned char TargetFlags = 0) { 3602a4ed82ce2ba4a02f2a02eb4ed8ce5186f3f93daChris Lattner return getGlobalAddress(GV, VT, offset, true, TargetFlags); 361cbea3045ce0bdd061c494a831d0ce2d5834211ccChris Lattner } 362e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getFrameIndex(int FI, EVT VT, bool isTarget = false); 363e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getTargetFrameIndex(int FI, EVT VT) { 364c9f8f416800784ca6453222b307bc44ad24739b0Chris Lattner return getFrameIndex(FI, VT, true); 365c9f8f416800784ca6453222b307bc44ad24739b0Chris Lattner } 366e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getJumpTable(int JTI, EVT VT, bool isTarget = false, 367f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner unsigned char TargetFlags = 0); 368e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getTargetJumpTable(int JTI, EVT VT, unsigned char TargetFlags = 0) { 369f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner return getJumpTable(JTI, VT, true, TargetFlags); 370c9f8f416800784ca6453222b307bc44ad24739b0Chris Lattner } 37146510a73e977273ec67747eb34cbdb43f815e451Dan Gohman SDValue getConstantPool(const Constant *C, EVT VT, 372f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner unsigned Align = 0, int Offs = 0, bool isT=false, 373f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner unsigned char TargetFlags = 0); 37446510a73e977273ec67747eb34cbdb43f815e451Dan Gohman SDValue getTargetConstantPool(const Constant *C, EVT VT, 375f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner unsigned Align = 0, int Offset = 0, 376f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner unsigned char TargetFlags = 0) { 377f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner return getConstantPool(C, VT, Align, Offset, true, TargetFlags); 378c9f8f416800784ca6453222b307bc44ad24739b0Chris Lattner } 379e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getConstantPool(MachineConstantPoolValue *C, EVT VT, 380f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner unsigned Align = 0, int Offs = 0, bool isT=false, 381f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner unsigned char TargetFlags = 0); 382475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getTargetConstantPool(MachineConstantPoolValue *C, 383e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson EVT VT, unsigned Align = 0, 384f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner int Offset = 0, unsigned char TargetFlags=0) { 385f5a5546f435a261c93078defb41ed18d9cafd7d3Chris Lattner return getConstantPool(C, VT, Align, Offset, true, TargetFlags); 386d6594ae54cfde4db4d30272192645c0a45fb9902Evan Cheng } 3878ad9b43e690e8773cf836b30e8da26bc71e18844Dale Johannesen // When generating a branch to a BB, we don't in general know enough 3888ad9b43e690e8773cf836b30e8da26bc71e18844Dale Johannesen // to provide debug info for the BB at that time, so keep this one around. 389475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getBasicBlock(MachineBasicBlock *MBB); 390e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getBasicBlock(MachineBasicBlock *MBB, DebugLoc dl); 391e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getExternalSymbol(const char *Sym, EVT VT); 392e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getExternalSymbol(const char *Sym, DebugLoc dl, EVT VT); 393e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getTargetExternalSymbol(const char *Sym, EVT VT, 3941af2231da64a14d638406d133c7912bfc1c8a9ceChris Lattner unsigned char TargetFlags = 0); 395e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getValueType(EVT); 396e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getRegister(unsigned Reg, EVT VT); 3977561d480953e0a2faa4af9be0a00b1180097c4bdChris Lattner SDValue getEHLabel(DebugLoc dl, SDValue Root, MCSymbol *Label); 39846510a73e977273ec67747eb34cbdb43f815e451Dan Gohman SDValue getBlockAddress(const BlockAddress *BA, EVT VT, 39929cbade25aa094ca9a149a96a8614cf6f3247480Dan Gohman bool isTarget = false, unsigned char TargetFlags = 0); 400c3aae25116e66c177579b0b79182b09340b19753Chris Lattner 4010f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getCopyToReg(SDValue Chain, DebugLoc dl, unsigned Reg, SDValue N) { 402825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson return getNode(ISD::CopyToReg, dl, MVT::Other, Chain, 4030f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen getRegister(Reg, N.getValueType()), N); 4040f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen } 405cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 406e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner // This version of the getCopyToReg method takes an extra operand, which 407e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner // indicates that there is potentially an incoming flag value (if Flag is not 408e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner // null) and that there should be a flag result. 4090f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getCopyToReg(SDValue Chain, DebugLoc dl, unsigned Reg, SDValue N, 410be1be5ef0d5a2bb52746b6bd69d4b1e88513c81aEvan Cheng SDValue Flag) { 411825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson SDVTList VTs = getVTList(MVT::Other, MVT::Flag); 4120f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Ops[] = { Chain, getRegister(Reg, N.getValueType()), N, Flag }; 413fc1665793e62eb4f26d24b8a19eecf59cd872e2aDan Gohman return getNode(ISD::CopyToReg, dl, VTs, Ops, Flag.getNode() ? 4 : 3); 4140f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen } 41566a48bbc3565b40ea0e6f2d58cf5e3a8e64802efEvan Cheng 416475871a144eb604ddaf37503397ba0941442e5fbDan Gohman // Similar to last getCopyToReg() except parameter Reg is a SDValue 4170f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getCopyToReg(SDValue Chain, DebugLoc dl, SDValue Reg, SDValue N, 4180f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Flag) { 419825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson SDVTList VTs = getVTList(MVT::Other, MVT::Flag); 4200f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Ops[] = { Chain, Reg, N, Flag }; 421fc1665793e62eb4f26d24b8a19eecf59cd872e2aDan Gohman return getNode(ISD::CopyToReg, dl, VTs, Ops, Flag.getNode() ? 4 : 3); 4220f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen } 423fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 424e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getCopyFromReg(SDValue Chain, DebugLoc dl, unsigned Reg, EVT VT) { 425825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson SDVTList VTs = getVTList(VT, MVT::Other); 4260f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Ops[] = { Chain, getRegister(Reg, VT) }; 427fc1665793e62eb4f26d24b8a19eecf59cd872e2aDan Gohman return getNode(ISD::CopyFromReg, dl, VTs, Ops, 2); 4280f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen } 429fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 430e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner // This version of the getCopyFromReg method takes an extra operand, which 431e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner // indicates that there is potentially an incoming flag value (if Flag is not 432e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner // null) and that there should be a flag result. 433e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getCopyFromReg(SDValue Chain, DebugLoc dl, unsigned Reg, EVT VT, 4340f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Flag) { 435825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson SDVTList VTs = getVTList(VT, MVT::Other, MVT::Flag); 4360f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Ops[] = { Chain, getRegister(Reg, VT), Flag }; 437fc1665793e62eb4f26d24b8a19eecf59cd872e2aDan Gohman return getNode(ISD::CopyFromReg, dl, VTs, Ops, Flag.getNode() ? 3 : 2); 4380f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen } 43918c2f13e0f9d0e5d6227cf6d1881e9ee3d1b6109Chris Lattner 440475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getCondCode(ISD::CondCode Cond); 441cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 44277cdf30742284a173fe818417eb482224cdee8d4Mon P Wang /// Returns the ConvertRndSat Note: Avoid using this node because it may 44377cdf30742284a173fe818417eb482224cdee8d4Mon P Wang /// disappear in the future and most targets don't support it. 444e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getConvertRndSat(EVT VT, DebugLoc dl, SDValue Val, SDValue DTy, 4450f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue STy, 4460f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue Rnd, SDValue Sat, ISD::CvtCode Code); 4479008ca6b6b4f638cfafccb593cbc5b1d3f5ab877Nate Begeman 4489008ca6b6b4f638cfafccb593cbc5b1d3f5ab877Nate Begeman /// getVectorShuffle - Return an ISD::VECTOR_SHUFFLE node. The number of 4499008ca6b6b4f638cfafccb593cbc5b1d3f5ab877Nate Begeman /// elements in VT, which must be a vector type, must match the number of 4505a5ca1519e04310f585197c20e7ae584b7f2d11fNate Begeman /// mask elements NumElts. A integer mask element equal to -1 is treated as 4519008ca6b6b4f638cfafccb593cbc5b1d3f5ab877Nate Begeman /// undefined. 452e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getVectorShuffle(EVT VT, DebugLoc dl, SDValue N1, SDValue N2, 4539008ca6b6b4f638cfafccb593cbc5b1d3f5ab877Nate Begeman const int *MaskElts); 45477cdf30742284a173fe818417eb482224cdee8d4Mon P Wang 4553a66a68b0cc81193abfc074b1d360a4950151d38Duncan Sands /// getSExtOrTrunc - Convert Op, which must be of integer type, to the 4563a66a68b0cc81193abfc074b1d360a4950151d38Duncan Sands /// integer type VT, by either sign-extending or truncating it. 4573a66a68b0cc81193abfc074b1d360a4950151d38Duncan Sands SDValue getSExtOrTrunc(SDValue Op, DebugLoc DL, EVT VT); 4583a66a68b0cc81193abfc074b1d360a4950151d38Duncan Sands 4593a66a68b0cc81193abfc074b1d360a4950151d38Duncan Sands /// getZExtOrTrunc - Convert Op, which must be of integer type, to the 4603a66a68b0cc81193abfc074b1d360a4950151d38Duncan Sands /// integer type VT, by either zero-extending or truncating it. 4613a66a68b0cc81193abfc074b1d360a4950151d38Duncan Sands SDValue getZExtOrTrunc(SDValue Op, DebugLoc DL, EVT VT); 4623a66a68b0cc81193abfc074b1d360a4950151d38Duncan Sands 4631ccae666f596d5aeca5c9942995763600b622062Chris Lattner /// getZeroExtendInReg - Return the expression required to zero extend the Op 4641ccae666f596d5aeca5c9942995763600b622062Chris Lattner /// value assuming it was the smaller SrcTy value. 465e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getZeroExtendInReg(SDValue Op, DebugLoc DL, EVT SrcTy); 466fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 4674c2454623841f05c6c665659b34c214950d12d7eBob Wilson /// getNOT - Create a bitwise NOT operation as (XOR Val, -1). 468e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getNOT(DebugLoc DL, SDValue Val, EVT VT); 4694c2454623841f05c6c665659b34c214950d12d7eBob Wilson 4706a5b6d7633c96c72ca7d5f8ba0c855e4690ada04Chris Lattner /// getCALLSEQ_START - Return a new CALLSEQ_START node, which always must have 471e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen /// a flag result (to ensure it's not CSE'd). CALLSEQ_START does not have a 472e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen /// useful DebugLoc. 473475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getCALLSEQ_START(SDValue Chain, SDValue Op) { 474825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson SDVTList VTs = getVTList(MVT::Other, MVT::Flag); 475475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue Ops[] = { Chain, Op }; 476b494ccf02ce17318d3f2a7b2d674bec60781fc73Chris Lattner return getNode(ISD::CALLSEQ_START, DebugLoc(), VTs, Ops, 2); 4776a5b6d7633c96c72ca7d5f8ba0c855e4690ada04Chris Lattner } 4781ccae666f596d5aeca5c9942995763600b622062Chris Lattner 4790f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling /// getCALLSEQ_END - Return a new CALLSEQ_END node, which always must have a 480e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen /// flag result (to ensure it's not CSE'd). CALLSEQ_END does not have 481e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen /// a useful DebugLoc. 482475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getCALLSEQ_END(SDValue Chain, SDValue Op1, SDValue Op2, 483475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue InFlag) { 484825b72b0571821bf2d378749f69d6c4cfb52d2f9Owen Anderson SDVTList NodeTys = getVTList(MVT::Other, MVT::Flag); 485475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SmallVector<SDValue, 4> Ops; 4860f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling Ops.push_back(Chain); 4870f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling Ops.push_back(Op1); 4880f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling Ops.push_back(Op2); 4890f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling Ops.push_back(InFlag); 490b494ccf02ce17318d3f2a7b2d674bec60781fc73Chris Lattner return getNode(ISD::CALLSEQ_END, DebugLoc(), NodeTys, &Ops[0], 491ba36cb5242eb02b12b277f82b9efe497f7da4d7fGabor Greif (unsigned)Ops.size() - (InFlag.getNode() == 0 ? 1 : 0)); 4920f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling } 4930f8d9c04d9feef86cee35cf5fecfb348a6b3de50Bill Wendling 494e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen /// getUNDEF - Return an UNDEF node. UNDEF does not have a useful DebugLoc. 495e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getUNDEF(EVT VT) { 496b494ccf02ce17318d3f2a7b2d674bec60781fc73Chris Lattner return getNode(ISD::UNDEF, DebugLoc(), VT); 497e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen } 498e8d7230f480654cdb8ff1c3d0a38e1e9ab0bd55fDale Johannesen 499b300d2aa3ef08b5074449e2c05804717f488f4e4Dale Johannesen /// getGLOBAL_OFFSET_TABLE - Return a GLOBAL_OFFSET_TABLE node. This does 500b300d2aa3ef08b5074449e2c05804717f488f4e4Dale Johannesen /// not have a useful DebugLoc. 501e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getGLOBAL_OFFSET_TABLE(EVT VT) { 502b494ccf02ce17318d3f2a7b2d674bec60781fc73Chris Lattner return getNode(ISD::GLOBAL_OFFSET_TABLE, DebugLoc(), VT); 503b300d2aa3ef08b5074449e2c05804717f488f4e4Dale Johannesen } 504b300d2aa3ef08b5074449e2c05804717f488f4e4Dale Johannesen 505c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// getNode - Gets or creates the specified node. 506cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner /// 507e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getNode(unsigned Opcode, DebugLoc DL, EVT VT); 508e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getNode(unsigned Opcode, DebugLoc DL, EVT VT, SDValue N); 509e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getNode(unsigned Opcode, DebugLoc DL, EVT VT, SDValue N1, SDValue N2); 510e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getNode(unsigned Opcode, DebugLoc DL, EVT VT, 5117ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N1, SDValue N2, SDValue N3); 512e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getNode(unsigned Opcode, DebugLoc DL, EVT VT, 5137ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N1, SDValue N2, SDValue N3, SDValue N4); 514e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getNode(unsigned Opcode, DebugLoc DL, EVT VT, 5157ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N1, SDValue N2, SDValue N3, SDValue N4, 5167ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N5); 517e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getNode(unsigned Opcode, DebugLoc DL, EVT VT, 5187ade28cd62f5188951387e1056a46001388a21f9Bill Wendling const SDUse *Ops, unsigned NumOps); 519e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getNode(unsigned Opcode, DebugLoc DL, EVT VT, 5207ade28cd62f5188951387e1056a46001388a21f9Bill Wendling const SDValue *Ops, unsigned NumOps); 5217ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, 522e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson const std::vector<EVT> &ResultTys, 5237ade28cd62f5188951387e1056a46001388a21f9Bill Wendling const SDValue *Ops, unsigned NumOps); 524e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getNode(unsigned Opcode, DebugLoc DL, const EVT *VTs, unsigned NumVTs, 5257ade28cd62f5188951387e1056a46001388a21f9Bill Wendling const SDValue *Ops, unsigned NumOps); 5267ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, SDVTList VTs, 5277ade28cd62f5188951387e1056a46001388a21f9Bill Wendling const SDValue *Ops, unsigned NumOps); 5287ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, SDVTList VTs); 5297ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, SDVTList VTs, SDValue N); 5307ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, SDVTList VTs, 5317ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N1, SDValue N2); 5327ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, SDVTList VTs, 5337ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N1, SDValue N2, SDValue N3); 5347ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, SDVTList VTs, 5357ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N1, SDValue N2, SDValue N3, SDValue N4); 5367ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue getNode(unsigned Opcode, DebugLoc DL, SDVTList VTs, 5377ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N1, SDValue N2, SDValue N3, SDValue N4, 5387ade28cd62f5188951387e1056a46001388a21f9Bill Wendling SDValue N5); 539475871a144eb604ddaf37503397ba0941442e5fbDan Gohman 54098ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman /// getStackArgumentTokenFactor - Compute a TokenFactor to force all 54198ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman /// the incoming stack arguments to be loaded from the stack. This is 54298ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman /// used in tail call lowering to protect stack arguments from being 54398ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman /// clobbered. 54498ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman SDValue getStackArgumentTokenFactor(SDValue Chain); 54598ca4f2a325f72374a477f9deba7d09e8999c29bDan Gohman 5460f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getMemcpy(SDValue Chain, DebugLoc dl, SDValue Dst, SDValue Src, 54720adc9dc4650313f017b27d9818eb2176238113dMon P Wang SDValue Size, unsigned Align, bool isVol, bool AlwaysInline, 5480f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen const Value *DstSV, uint64_t DstSVOff, 54901f63cdb0433fd2e4b76538ee58ee89c26349564Evan Cheng const Value *SrcSV, uint64_t SrcSVOff); 5505c0d6ed325417baa5d119af9c2b6790231d8565fRafael Espindola 5510f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getMemmove(SDValue Chain, DebugLoc dl, SDValue Dst, SDValue Src, 55220adc9dc4650313f017b27d9818eb2176238113dMon P Wang SDValue Size, unsigned Align, bool isVol, 5530f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen const Value *DstSV, uint64_t DstOSVff, 55401f63cdb0433fd2e4b76538ee58ee89c26349564Evan Cheng const Value *SrcSV, uint64_t SrcSVOff); 5555c0d6ed325417baa5d119af9c2b6790231d8565fRafael Espindola 5560f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue getMemset(SDValue Chain, DebugLoc dl, SDValue Dst, SDValue Src, 55720adc9dc4650313f017b27d9818eb2176238113dMon P Wang SDValue Size, unsigned Align, bool isVol, 55801f63cdb0433fd2e4b76538ee58ee89c26349564Evan Cheng const Value *DstSV, uint64_t DstSVOff); 5595c0d6ed325417baa5d119af9c2b6790231d8565fRafael Espindola 5607cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner /// getSetCC - Helper function to make it easier to build SetCC's if you just 561475871a144eb604ddaf37503397ba0941442e5fbDan Gohman /// have an ISD::CondCode instead of an SDValue. 5627cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner /// 563e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getSetCC(DebugLoc DL, EVT VT, SDValue LHS, SDValue RHS, 564d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling ISD::CondCode Cond) { 565d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling return getNode(ISD::SETCC, DL, VT, LHS, RHS, getCondCode(Cond)); 566b43e9c196542acc80c9e4643809661065710848fNate Begeman } 567b43e9c196542acc80c9e4643809661065710848fNate Begeman 568b43e9c196542acc80c9e4643809661065710848fNate Begeman /// getVSetCC - Helper function to make it easier to build VSetCC's nodes 569475871a144eb604ddaf37503397ba0941442e5fbDan Gohman /// if you just have an ISD::CondCode instead of an SDValue. 570b43e9c196542acc80c9e4643809661065710848fNate Begeman /// 571e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getVSetCC(DebugLoc DL, EVT VT, SDValue LHS, SDValue RHS, 572d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling ISD::CondCode Cond) { 573d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling return getNode(ISD::VSETCC, DL, VT, LHS, RHS, getCondCode(Cond)); 5747cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner } 5759373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman 5769373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman /// getSelectCC - Helper function to make it easier to build SelectCC's if you 577475871a144eb604ddaf37503397ba0941442e5fbDan Gohman /// just have an ISD::CondCode instead of an SDValue. 5789373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman /// 579d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling SDValue getSelectCC(DebugLoc DL, SDValue LHS, SDValue RHS, 580d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling SDValue True, SDValue False, ISD::CondCode Cond) { 581d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling return getNode(ISD::SELECT_CC, DL, True.getValueType(), 582d69c3141ed6d237ad19fdfbfcef8901491b24c2eBill Wendling LHS, RHS, True, False, getCondCode(Cond)); 5839373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman } 584fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 585acc398c195a697795bff3245943d104eb19192b9Nate Begeman /// getVAArg - VAArg produces a result and token chain, and takes a pointer 586acc398c195a697795bff3245943d104eb19192b9Nate Begeman /// and a source value as input. 587e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getVAArg(EVT VT, DebugLoc dl, SDValue Chain, SDValue Ptr, 5880f502f6f44f2756f5cb7b17d8f1d8eae000d51b4Dale Johannesen SDValue SV); 5897cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman 590fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel /// getAtomic - Gets a node for an atomic op, produces result and chain and 591c4d1021ead43cfa7da08a8f7ddc9a059a8ba14c5Mon P Wang /// takes 3 operands 592e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getAtomic(unsigned Opcode, DebugLoc dl, EVT MemVT, SDValue Chain, 593e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue Ptr, SDValue Cmp, SDValue Swp, const Value* PtrVal, 594e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen unsigned Alignment=0); 595c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman SDValue getAtomic(unsigned Opcode, DebugLoc dl, EVT MemVT, SDValue Chain, 596c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman SDValue Ptr, SDValue Cmp, SDValue Swp, 597c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman MachineMemOperand *MMO); 598ab0b949e0e9de452f3b052b11634ab761e008b23Andrew Lenharth 599c4d1021ead43cfa7da08a8f7ddc9a059a8ba14c5Mon P Wang /// getAtomic - Gets a node for an atomic op, produces result and chain and 600c4d1021ead43cfa7da08a8f7ddc9a059a8ba14c5Mon P Wang /// takes 2 operands. 601e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getAtomic(unsigned Opcode, DebugLoc dl, EVT MemVT, SDValue Chain, 602e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue Ptr, SDValue Val, const Value* PtrVal, 603e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen unsigned Alignment = 0); 604c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman SDValue getAtomic(unsigned Opcode, DebugLoc dl, EVT MemVT, SDValue Chain, 605c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman SDValue Ptr, SDValue Val, 606c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman MachineMemOperand *MMO); 607ab0b949e0e9de452f3b052b11634ab761e008b23Andrew Lenharth 608c4d1021ead43cfa7da08a8f7ddc9a059a8ba14c5Mon P Wang /// getMemIntrinsicNode - Creates a MemIntrinsicNode that may produce a 609c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman /// result and takes a list of operands. Opcode may be INTRINSIC_VOID, 610c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman /// INTRINSIC_W_CHAIN, or a target-specific opcode with a value not 611c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman /// less than FIRST_TARGET_MEMORY_OPCODE. 612e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getMemIntrinsicNode(unsigned Opcode, DebugLoc dl, 613e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson const EVT *VTs, unsigned NumVTs, 614e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen const SDValue *Ops, unsigned NumOps, 615e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson EVT MemVT, const Value *srcValue, int SVOff, 616e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen unsigned Align = 0, bool Vol = false, 617e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen bool ReadMem = true, bool WriteMem = true); 618c4d1021ead43cfa7da08a8f7ddc9a059a8ba14c5Mon P Wang 619e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getMemIntrinsicNode(unsigned Opcode, DebugLoc dl, SDVTList VTList, 620e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen const SDValue *Ops, unsigned NumOps, 621e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson EVT MemVT, const Value *srcValue, int SVOff, 622e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen unsigned Align = 0, bool Vol = false, 623e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen bool ReadMem = true, bool WriteMem = true); 624c4d1021ead43cfa7da08a8f7ddc9a059a8ba14c5Mon P Wang 625c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman SDValue getMemIntrinsicNode(unsigned Opcode, DebugLoc dl, SDVTList VTList, 626c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman const SDValue *Ops, unsigned NumOps, 627c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman EVT MemVT, MachineMemOperand *MMO); 628c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman 6294bdcb61af33399d4e01fdf3c47ca1f1f5356e370Duncan Sands /// getMergeValues - Create a MERGE_VALUES node from the given operands. 63054c94525f420cab274af60e98a77f081f96e59c2Dale Johannesen SDValue getMergeValues(const SDValue *Ops, unsigned NumOps, DebugLoc dl); 631f9516208e57364ab1e7d8748af1f59a2ea5fb572Duncan Sands 632c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// getLoad - Loads are not normal binary operators: their result type is not 633c3aae25116e66c177579b0b79182b09340b19753Chris Lattner /// determined by their operands, and they produce a value AND a token chain. 634cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner /// 635e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getLoad(EVT VT, DebugLoc dl, SDValue Chain, SDValue Ptr, 6361e559443a17d1b335f697551c6263ba60d5dd827David Greene const Value *SV, int SVOffset, bool isVolatile, 6371e559443a17d1b335f697551c6263ba60d5dd827David Greene bool isNonTemporal, unsigned Alignment); 638e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue getExtLoad(ISD::LoadExtType ExtType, DebugLoc dl, EVT VT, 6391e559443a17d1b335f697551c6263ba60d5dd827David Greene SDValue Chain, SDValue Ptr, const Value *SV, 6401e559443a17d1b335f697551c6263ba60d5dd827David Greene int SVOffset, EVT MemVT, bool isVolatile, 6411e559443a17d1b335f697551c6263ba60d5dd827David Greene bool isNonTemporal, unsigned Alignment); 642e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getIndexedLoad(SDValue OrigLoad, DebugLoc dl, SDValue Base, 643e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue Offset, ISD::MemIndexedMode AM); 644e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getLoad(ISD::MemIndexedMode AM, DebugLoc dl, ISD::LoadExtType ExtType, 645e6798372ea38e5ea24c26282a0d69aa6e3829854Nate Begeman EVT VT, SDValue Chain, SDValue Ptr, SDValue Offset, 6468a55ce4a392f07ac1f3c183100ac591b7ad7c693Dan Gohman const Value *SV, int SVOffset, EVT MemVT, 6471e559443a17d1b335f697551c6263ba60d5dd827David Greene bool isVolatile, bool isNonTemporal, unsigned Alignment); 648c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman SDValue getLoad(ISD::MemIndexedMode AM, DebugLoc dl, ISD::LoadExtType ExtType, 649c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman EVT VT, SDValue Chain, SDValue Ptr, SDValue Offset, 650c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman EVT MemVT, MachineMemOperand *MMO); 6512d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth 652ad071e1cd1a4b880019f1b2e827ee81867815f82Evan Cheng /// getStore - Helper function to build ISD::STORE nodes. 653ad071e1cd1a4b880019f1b2e827ee81867815f82Evan Cheng /// 654e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getStore(SDValue Chain, DebugLoc dl, SDValue Val, SDValue Ptr, 6551e559443a17d1b335f697551c6263ba60d5dd827David Greene const Value *SV, int SVOffset, bool isVolatile, 6561e559443a17d1b335f697551c6263ba60d5dd827David Greene bool isNonTemporal, unsigned Alignment); 657c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman SDValue getStore(SDValue Chain, DebugLoc dl, SDValue Val, SDValue Ptr, 658c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman MachineMemOperand *MMO); 659e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getTruncStore(SDValue Chain, DebugLoc dl, SDValue Val, SDValue Ptr, 6601e559443a17d1b335f697551c6263ba60d5dd827David Greene const Value *SV, int SVOffset, EVT TVT, 6611e559443a17d1b335f697551c6263ba60d5dd827David Greene bool isNonTemporal, bool isVolatile, 6621e559443a17d1b335f697551c6263ba60d5dd827David Greene unsigned Alignment); 663c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman SDValue getTruncStore(SDValue Chain, DebugLoc dl, SDValue Val, SDValue Ptr, 664c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman EVT TVT, MachineMemOperand *MMO); 665e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue getIndexedStore(SDValue OrigStoe, DebugLoc dl, SDValue Base, 666e8c17335c53f0f37262ee342f46b0d00ac0c1493Dale Johannesen SDValue Offset, ISD::MemIndexedMode AM); 667ad071e1cd1a4b880019f1b2e827ee81867815f82Evan Cheng 668101a90f3d3c3ad9159676ba744b59b3a9d0b4af5Dan Gohman /// getSrcValue - Construct a node to track a Value* through the backend. 669475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue getSrcValue(const Value *v); 67069de1932b350d7cdfc0ed1f4198d6f78c7822a02Dan Gohman 671decc2671516e6c52ee2f29f7746f8d02753845eaChris Lattner /// getMDNode - Return an MDNodeSDNode which holds an MDNode. 672decc2671516e6c52ee2f29f7746f8d02753845eaChris Lattner SDValue getMDNode(const MDNode *MD); 673decc2671516e6c52ee2f29f7746f8d02753845eaChris Lattner 67492abc62399881ba9c525be80362c134ad836e2d9Duncan Sands /// getShiftAmountOperand - Return the specified value casted to 67592abc62399881ba9c525be80362c134ad836e2d9Duncan Sands /// the target's desired shift amount type. 67692abc62399881ba9c525be80362c134ad836e2d9Duncan Sands SDValue getShiftAmountOperand(SDValue Op); 67792abc62399881ba9c525be80362c134ad836e2d9Duncan Sands 678b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner /// UpdateNodeOperands - *Mutate* the specified node in-place to have the 679b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner /// specified operands. If the resultant node already exists in the DAG, 680b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner /// this does not modify the specified node, instead it returns the node that 681b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner /// already exists. If the resultant node does not exist in the DAG, the 682b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner /// input node is returned. As a degenerate case, if you specify the same 683b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner /// input operands as the node already has, the input node is returned. 684475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue UpdateNodeOperands(SDValue N, SDValue Op); 685475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue UpdateNodeOperands(SDValue N, SDValue Op1, SDValue Op2); 686475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue UpdateNodeOperands(SDValue N, SDValue Op1, SDValue Op2, 687475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue Op3); 688475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue UpdateNodeOperands(SDValue N, SDValue Op1, SDValue Op2, 689475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue Op3, SDValue Op4); 690475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue UpdateNodeOperands(SDValue N, SDValue Op1, SDValue Op2, 691475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue Op3, SDValue Op4, SDValue Op5); 692475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue UpdateNodeOperands(SDValue N, 693475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue *Ops, unsigned NumOps); 694fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 6951b95095857b78e12138c22e76c7936611c51355bChris Lattner /// SelectNodeTo - These are used for target selectors to *mutate* the 6961b95095857b78e12138c22e76c7936611c51355bChris Lattner /// specified node to have the specified return type, Target opcode, and 6971b95095857b78e12138c22e76c7936611c51355bChris Lattner /// operands. Note that target opcodes are stored as 698e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// ~TargetOpcode in the node opcode field. The resultant node is returned. 699e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, EVT VT); 700e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, EVT VT, SDValue Op1); 701e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, EVT VT, 702475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue Op1, SDValue Op2); 703e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, EVT VT, 704475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDValue Op1, SDValue Op2, SDValue Op3); 705e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, EVT VT, 706475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue *Ops, unsigned NumOps); 707e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, EVT VT1, EVT VT2); 708e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, EVT VT1, 709e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson EVT VT2, const SDValue *Ops, unsigned NumOps); 710e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, EVT VT1, 711e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson EVT VT2, EVT VT3, const SDValue *Ops, unsigned NumOps); 712e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDNode *SelectNodeTo(SDNode *N, unsigned MachineOpc, EVT VT1, 713e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson EVT VT2, EVT VT3, EVT VT4, const SDValue *Ops, 71413d6d446f62f908e8cf74acb3a4df65ea5f497ceBill Wendling unsigned NumOps); 715e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, EVT VT1, 716e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson EVT VT2, SDValue Op1); 717e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, EVT VT1, 718e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson EVT VT2, SDValue Op1, SDValue Op2); 719e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, EVT VT1, 720e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson EVT VT2, SDValue Op1, SDValue Op2, SDValue Op3); 721e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, EVT VT1, 722e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson EVT VT2, EVT VT3, SDValue Op1, SDValue Op2, SDValue Op3); 723cd920d9ecfcefff13c3619a32b58399cac2e3630Dan Gohman SDNode *SelectNodeTo(SDNode *N, unsigned TargetOpc, SDVTList VTs, 724475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue *Ops, unsigned NumOps); 725694481ee01bfe507c6e37de0dc1c64cff455eefdEvan Cheng 726df51247725143acb781c224faffd848cc7cf95d8Chris Lattner /// MorphNodeTo - This *mutates* the specified node to have the specified 727e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// return type, opcode, and operands. 728e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman SDNode *MorphNodeTo(SDNode *N, unsigned Opc, SDVTList VTs, 729475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue *Ops, unsigned NumOps); 730753c8f20e45f6e4198c7cf4096ecc8948a029e9cChris Lattner 731602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman /// getMachineNode - These are used for target selectors to create a new node 732602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman /// with specified return type(s), MachineInstr opcode, and operands. 7336ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng /// 734602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman /// Note that getMachineNode returns the resultant node. If there is already 735602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman /// a node of the specified opcode and operands, it returns that node instead 736602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman /// of the current one. 737c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, EVT VT); 738c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, EVT VT, 739c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman SDValue Op1); 740c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, EVT VT, 741c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman SDValue Op1, SDValue Op2); 742c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, EVT VT, 743602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman SDValue Op1, SDValue Op2, SDValue Op3); 744c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, EVT VT, 745602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman const SDValue *Ops, unsigned NumOps); 746c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, EVT VT1, EVT VT2); 747c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, EVT VT1, EVT VT2, 748602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman SDValue Op1); 749c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, EVT VT1, 750602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman EVT VT2, SDValue Op1, SDValue Op2); 751c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, EVT VT1, 752602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman EVT VT2, SDValue Op1, SDValue Op2, SDValue Op3); 753c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, EVT VT1, EVT VT2, 754602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman const SDValue *Ops, unsigned NumOps); 755c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, EVT VT1, EVT VT2, 756602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman EVT VT3, SDValue Op1, SDValue Op2); 757c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, EVT VT1, EVT VT2, 758602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman EVT VT3, SDValue Op1, SDValue Op2, SDValue Op3); 759c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, EVT VT1, EVT VT2, 760602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman EVT VT3, const SDValue *Ops, unsigned NumOps); 761c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, EVT VT1, EVT VT2, 762602b0c8c17f458d2c80f2deb3c8e554d516ee316Dan Gohman EVT VT3, EVT VT4, const SDValue *Ops, unsigned NumOps); 763c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, 764c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman const std::vector<EVT> &ResultTys, const SDValue *Ops, 765c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman unsigned NumOps); 766c81b783e2777b70f4533a4750489d058b6b74ad9Dan Gohman MachineSDNode *getMachineNode(unsigned Opcode, DebugLoc dl, SDVTList VTs, 767c76909abfec876c6b751d693ebd3df07df686aa0Dan Gohman const SDValue *Ops, unsigned NumOps); 76808b1173971a51eb89d7d6ee0992c39170c86994aEvan Cheng 7696a402dc952ccad3f8fd0d9e272dbdd261f50854eDan Gohman /// getTargetExtractSubreg - A convenience function for creating 7706a402dc952ccad3f8fd0d9e272dbdd261f50854eDan Gohman /// TargetInstrInfo::EXTRACT_SUBREG nodes. 7716a402dc952ccad3f8fd0d9e272dbdd261f50854eDan Gohman SDValue getTargetExtractSubreg(int SRIdx, DebugLoc DL, EVT VT, 7726a402dc952ccad3f8fd0d9e272dbdd261f50854eDan Gohman SDValue Operand); 7736a402dc952ccad3f8fd0d9e272dbdd261f50854eDan Gohman 7745fcbf0d26ecb99d54c182f542bf8db43ff048d6dBob Wilson /// getTargetInsertSubreg - A convenience function for creating 7755fcbf0d26ecb99d54c182f542bf8db43ff048d6dBob Wilson /// TargetInstrInfo::INSERT_SUBREG nodes. 7765fcbf0d26ecb99d54c182f542bf8db43ff048d6dBob Wilson SDValue getTargetInsertSubreg(int SRIdx, DebugLoc DL, EVT VT, 7775fcbf0d26ecb99d54c182f542bf8db43ff048d6dBob Wilson SDValue Operand, SDValue Subreg); 7785fcbf0d26ecb99d54c182f542bf8db43ff048d6dBob Wilson 77908b1173971a51eb89d7d6ee0992c39170c86994aEvan Cheng /// getNodeIfExists - Get the specified node if it's already available, or 78008b1173971a51eb89d7d6ee0992c39170c86994aEvan Cheng /// else return NULL. 78108b1173971a51eb89d7d6ee0992c39170c86994aEvan Cheng SDNode *getNodeIfExists(unsigned Opcode, SDVTList VTs, 782475871a144eb604ddaf37503397ba0941442e5fbDan Gohman const SDValue *Ops, unsigned NumOps); 783fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 78431441b7e95e0840e1ae144e5db6f791d6a36bc60Evan Cheng /// getDbgValue - Creates a SDDbgValue node. 78531441b7e95e0840e1ae144e5db6f791d6a36bc60Evan Cheng /// 78631441b7e95e0840e1ae144e5db6f791d6a36bc60Evan Cheng SDDbgValue *getDbgValue(MDNode *MDPtr, SDNode *N, unsigned R, uint64_t Off, 78731441b7e95e0840e1ae144e5db6f791d6a36bc60Evan Cheng DebugLoc DL, unsigned O); 78846510a73e977273ec67747eb34cbdb43f815e451Dan Gohman SDDbgValue *getDbgValue(MDNode *MDPtr, const Value *C, uint64_t Off, 78931441b7e95e0840e1ae144e5db6f791d6a36bc60Evan Cheng DebugLoc DL, unsigned O); 79031441b7e95e0840e1ae144e5db6f791d6a36bc60Evan Cheng SDDbgValue *getDbgValue(MDNode *MDPtr, unsigned FI, uint64_t Off, 79131441b7e95e0840e1ae144e5db6f791d6a36bc60Evan Cheng DebugLoc DL, unsigned O); 79231441b7e95e0840e1ae144e5db6f791d6a36bc60Evan Cheng 793f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// DAGUpdateListener - Clients of various APIs that cause global effects on 794f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// the DAG can optionally implement this interface. This allows the clients 795f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// to handle the various sorts of updates that happen. 796f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner class DAGUpdateListener { 797f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner public: 798f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner virtual ~DAGUpdateListener(); 799edfcf598faab9ce294712551ecf67093acd1c66eDuncan Sands 800edfcf598faab9ce294712551ecf67093acd1c66eDuncan Sands /// NodeDeleted - The node N that was deleted and, if E is not null, an 801edfcf598faab9ce294712551ecf67093acd1c66eDuncan Sands /// equivalent node E that replaced it. 802edfcf598faab9ce294712551ecf67093acd1c66eDuncan Sands virtual void NodeDeleted(SDNode *N, SDNode *E) = 0; 803edfcf598faab9ce294712551ecf67093acd1c66eDuncan Sands 804edfcf598faab9ce294712551ecf67093acd1c66eDuncan Sands /// NodeUpdated - The node N that was updated. 805f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner virtual void NodeUpdated(SDNode *N) = 0; 806f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner }; 807fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 808f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// RemoveDeadNode - Remove the specified node from the system. If any of its 809f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// operands then becomes dead, remove them as well. Inform UpdateListener 810f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// for each node deleted. 811f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner void RemoveDeadNode(SDNode *N, DAGUpdateListener *UpdateListener = 0); 812fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 8130fe9c6e7babb3c0731d9cb864ec498ec4184760fDan Gohman /// RemoveDeadNodes - This method deletes the unreachable nodes in the 8140fe9c6e7babb3c0731d9cb864ec498ec4184760fDan Gohman /// given list, and any nodes that become unreachable as a result. 8150fe9c6e7babb3c0731d9cb864ec498ec4184760fDan Gohman void RemoveDeadNodes(SmallVectorImpl<SDNode *> &DeadNodes, 8160fe9c6e7babb3c0731d9cb864ec498ec4184760fDan Gohman DAGUpdateListener *UpdateListener = 0); 8170fe9c6e7babb3c0731d9cb864ec498ec4184760fDan Gohman 8186542d950609208de3e1cde704c5f89aad864c0d9Chris Lattner /// ReplaceAllUsesWith - Modify anything using 'From' to use 'To' instead. 81926005b1b672aebd437edc561d381c5dd19a03ddbChris Lattner /// This can cause recursive merging of nodes in the DAG. Use the first 82026005b1b672aebd437edc561d381c5dd19a03ddbChris Lattner /// version if 'From' is known to have a single result, use the second 821c23e4968790395053f3f52aeb3342637fcaafdbfDan Gohman /// if you have two nodes with identical results (or if 'To' has a superset 822c23e4968790395053f3f52aeb3342637fcaafdbfDan Gohman /// of the results of 'From'), use the third otherwise. 8236542d950609208de3e1cde704c5f89aad864c0d9Chris Lattner /// 824fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel /// These methods all take an optional UpdateListener, which (if not null) is 825f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// informed about nodes that are deleted and modified due to recursive 826f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// changes in the dag. 827fde3f3061d665babeb78443119a09876098fc35eChris Lattner /// 8289ad136c851e0a66eb471573aac9fec47d53a61baDan Gohman /// These functions only replace all existing uses. It's possible that as 8299ad136c851e0a66eb471573aac9fec47d53a61baDan Gohman /// these replacements are being performed, CSE may cause the From node 8309ad136c851e0a66eb471573aac9fec47d53a61baDan Gohman /// to be given new uses. These new uses of From are left in place, and 8319ad136c851e0a66eb471573aac9fec47d53a61baDan Gohman /// not automatically transfered to To. 8329ad136c851e0a66eb471573aac9fec47d53a61baDan Gohman /// 833475871a144eb604ddaf37503397ba0941442e5fbDan Gohman void ReplaceAllUsesWith(SDValue From, SDValue Op, 834f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner DAGUpdateListener *UpdateListener = 0); 835fde3f3061d665babeb78443119a09876098fc35eChris Lattner void ReplaceAllUsesWith(SDNode *From, SDNode *To, 836f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner DAGUpdateListener *UpdateListener = 0); 837475871a144eb604ddaf37503397ba0941442e5fbDan Gohman void ReplaceAllUsesWith(SDNode *From, const SDValue *To, 838f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner DAGUpdateListener *UpdateListener = 0); 839fae9f1cb34d6d2c4dbd007f2d748a70b67776a82Evan Cheng 84080274268b99e5a066825c8cc5aba58dbc5ad0a52Chris Lattner /// ReplaceAllUsesOfValueWith - Replace any uses of From with To, leaving 841f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner /// uses of other values produced by From.Val alone. 842475871a144eb604ddaf37503397ba0941442e5fbDan Gohman void ReplaceAllUsesOfValueWith(SDValue From, SDValue To, 843f8dc0617baceeba8ccd67c8881eb88eb1be2902cChris Lattner DAGUpdateListener *UpdateListener = 0); 84480274268b99e5a066825c8cc5aba58dbc5ad0a52Chris Lattner 845e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// ReplaceAllUsesOfValuesWith - Like ReplaceAllUsesOfValueWith, but 846e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// for multiple values at once. This correctly handles the case where 847e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman /// there is an overlap between the From values and the To values. 848475871a144eb604ddaf37503397ba0941442e5fbDan Gohman void ReplaceAllUsesOfValuesWith(const SDValue *From, const SDValue *To, 849e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman unsigned Num, 850e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman DAGUpdateListener *UpdateListener = 0); 851e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman 852f06c835f769aa1cf67801ed1f6bd366a447c18b1Dan Gohman /// AssignTopologicalOrder - Topological-sort the AllNodes list and a 853f06c835f769aa1cf67801ed1f6bd366a447c18b1Dan Gohman /// assign a unique node id for each node in the DAG based on their 854f06c835f769aa1cf67801ed1f6bd366a447c18b1Dan Gohman /// topological order. Returns the number of nodes. 855f06c835f769aa1cf67801ed1f6bd366a447c18b1Dan Gohman unsigned AssignTopologicalOrder(); 856e6f35d8a5cc92d776cf460200e2b815e8c301b14Evan Cheng 8578be6bbe5bfd50945ac6c5542e0f54a0924a5db8dDan Gohman /// RepositionNode - Move node N in the AllNodes list to be immediately 8588be6bbe5bfd50945ac6c5542e0f54a0924a5db8dDan Gohman /// before the given iterator Position. This may be used to update the 8598be6bbe5bfd50945ac6c5542e0f54a0924a5db8dDan Gohman /// topological ordering when the list of nodes is modified. 8608be6bbe5bfd50945ac6c5542e0f54a0924a5db8dDan Gohman void RepositionNode(allnodes_iterator Position, SDNode *N) { 8618be6bbe5bfd50945ac6c5542e0f54a0924a5db8dDan Gohman AllNodes.insert(Position, AllNodes.remove(N)); 8628be6bbe5bfd50945ac6c5542e0f54a0924a5db8dDan Gohman } 8638be6bbe5bfd50945ac6c5542e0f54a0924a5db8dDan Gohman 8641efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng /// isCommutativeBinOp - Returns true if the opcode is a commutative binary 8651efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng /// operation. 8661efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng static bool isCommutativeBinOp(unsigned Opcode) { 8674ae9e0c5301126d7f2d4b2975eb86ed21f7b574dChris Lattner // FIXME: This should get its info from the td file, so that we can include 8684ae9e0c5301126d7f2d4b2975eb86ed21f7b574dChris Lattner // target info. 8691efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng switch (Opcode) { 8701efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::ADD: 8711efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::MUL: 8721efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::MULHU: 8731efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::MULHS: 874b6c7437568f0472548ede2710458f52cfad4532eDan Gohman case ISD::SMUL_LOHI: 875b6c7437568f0472548ede2710458f52cfad4532eDan Gohman case ISD::UMUL_LOHI: 8761efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::FADD: 8771efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::FMUL: 8781efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::AND: 8791efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::OR: 8801efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::XOR: 88156e04a80b3cbd348aaf8f1828ed28fb4a9de2312Dan Gohman case ISD::SADDO: 88256e04a80b3cbd348aaf8f1828ed28fb4a9de2312Dan Gohman case ISD::UADDO: 883fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel case ISD::ADDC: 8841efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng case ISD::ADDE: return true; 8851efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng default: return false; 8861efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng } 8871efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng } 8881efba0ecb4d0b3807c48e6e0f74e3ce5c9fad809Evan Cheng 889b4e6a5df5dada0cd919cc6e2717eb3118db9cc45Bill Wendling /// AssignOrdering - Assign an order to the SDNode. 8904533cac557cdcc13e7c990942758ec8338d9172aBill Wendling void AssignOrdering(const SDNode *SD, unsigned Order); 891b4e6a5df5dada0cd919cc6e2717eb3118db9cc45Bill Wendling 8920777e927214c61c5d681e5b7dd5d00665c81133aBill Wendling /// GetOrdering - Get the order for the SDNode. 8930777e927214c61c5d681e5b7dd5d00665c81133aBill Wendling unsigned GetOrdering(const SDNode *SD) const; 8940777e927214c61c5d681e5b7dd5d00665c81133aBill Wendling 895bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng /// AddDbgValue - Add a dbg_value SDNode. If SD is non-null that means the 896bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng /// value is produced by SD. 897fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen void AddDbgValue(SDDbgValue *DB, SDNode *SD, bool isParameter); 898bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen 899bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng /// GetDbgValues - Get the debug values which reference the given SDNode. 900bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng SmallVector<SDDbgValue*,2> &GetDbgValues(const SDNode* SD) { 901bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng return DbgInfo->getSDDbgValues(SD); 902bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng } 903bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen 904bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng /// hasDebugValues - Return true if there are any SDDbgValue nodes associated 905bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng /// with this SelectionDAG. 906bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng bool hasDebugValues() const { return !DbgInfo->empty(); } 907bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen 908bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng SDDbgInfo::DbgIterator DbgBegin() { return DbgInfo->DbgBegin(); } 909bfcb3051899b7141a946d769fcf6e8a8453bc530Evan Cheng SDDbgInfo::DbgIterator DbgEnd() { return DbgInfo->DbgEnd(); } 910fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen SDDbgInfo::DbgIterator ByvalParmDbgBegin() { 911fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen return DbgInfo->ByvalParmDbgBegin(); 912fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen } 913fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen SDDbgInfo::DbgIterator ByvalParmDbgEnd() { 914fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen return DbgInfo->ByvalParmDbgEnd(); 915fdb42fa5fe794cc2c89e2ed7f57a89ed24d9952aDale Johannesen } 916bfdf7f38523bd38ae0538861a2bfd8bdc46e5c33Dale Johannesen 917cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner void dump() const; 918d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner 91937ce9df0da6cddc3b8bfef9b63d33d058a0f2f15Chris Lattner /// CreateStackTemporary - Create a stack temporary, suitable for holding the 920364d73ddab43b699ab90240f11b7a2eb5cf69bd8Mon P Wang /// specified value type. If minAlign is specified, the slot size will have 921364d73ddab43b699ab90240f11b7a2eb5cf69bd8Mon P Wang /// at least that alignment. 922e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue CreateStackTemporary(EVT VT, unsigned minAlign = 1); 92347d9dcc584cdb7fd645ca1d5c2a0ce363570aeb7Duncan Sands 92447d9dcc584cdb7fd645ca1d5c2a0ce363570aeb7Duncan Sands /// CreateStackTemporary - Create a stack temporary suitable for holding 92547d9dcc584cdb7fd645ca1d5c2a0ce363570aeb7Duncan Sands /// either of the specified value types. 926e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue CreateStackTemporary(EVT VT1, EVT VT2); 92747d9dcc584cdb7fd645ca1d5c2a0ce363570aeb7Duncan Sands 928fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel /// FoldConstantArithmetic - 929f3cbca279db891403659208a99f8e1cceb8c9ea6Bill Wendling SDValue FoldConstantArithmetic(unsigned Opcode, 930e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson EVT VT, 931f3cbca279db891403659208a99f8e1cceb8c9ea6Bill Wendling ConstantSDNode *Cst1, 932f3cbca279db891403659208a99f8e1cceb8c9ea6Bill Wendling ConstantSDNode *Cst2); 933f3cbca279db891403659208a99f8e1cceb8c9ea6Bill Wendling 93451dabfb28375be7bc5848806ae31cd068b6133f8Chris Lattner /// FoldSetCC - Constant fold a setcc to true or false. 935e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson SDValue FoldSetCC(EVT VT, SDValue N1, 936ff97d4fe81ef0dcee9fe490bed8ab08e40251905Dale Johannesen SDValue N2, ISD::CondCode Cond, DebugLoc dl); 937fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 9382e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman /// SignBitIsZero - Return true if the sign bit of Op is known to be zero. We 9392e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman /// use this predicate to simplify operations downstream. 940475871a144eb604ddaf37503397ba0941442e5fbDan Gohman bool SignBitIsZero(SDValue Op, unsigned Depth = 0) const; 9412e68b6f52d0979575b2f02ed29717d907ba0684cDan Gohman 942ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// MaskedValueIsZero - Return true if 'Op & Mask' is known to be zero. We 943ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// use this predicate to simplify operations downstream. Op and Mask are 944ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// known to be the same type. 945475871a144eb604ddaf37503397ba0941442e5fbDan Gohman bool MaskedValueIsZero(SDValue Op, const APInt &Mask, unsigned Depth = 0) 946ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman const; 947fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 948ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// ComputeMaskedBits - Determine which of the bits specified in Mask are 949ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// known to be either zero or one and return them in the KnownZero/KnownOne 950ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// bitsets. This code only analyzes bits in Mask, in order to short-circuit 951fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel /// processing. Targets can implement the computeMaskedBitsForTargetNode 952ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// method in the TargetLowering class to allow target nodes to be understood. 953475871a144eb604ddaf37503397ba0941442e5fbDan Gohman void ComputeMaskedBits(SDValue Op, const APInt &Mask, APInt &KnownZero, 954fd29e0eb060ea8b4d490860329234d2ae5f5952eDan Gohman APInt &KnownOne, unsigned Depth = 0) const; 955fd29e0eb060ea8b4d490860329234d2ae5f5952eDan Gohman 956ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// ComputeNumSignBits - Return the number of times the sign bit of the 957ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// register is replicated into the other bits. We know that at least 1 bit 958ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// is always equal to the sign bit (itself), but other cases can give us 959ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// information. For example, immediately after an "SRA X, 2", we know that 960ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// the top 3 bits are all equal to each other, so we return 3. Targets can 961ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// implement the ComputeNumSignBitsForTarget method in the TargetLowering 962ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman /// class to allow target nodes to be understood. 963475871a144eb604ddaf37503397ba0941442e5fbDan Gohman unsigned ComputeNumSignBits(SDValue Op, unsigned Depth = 0) const; 964a844bdeab31ef04221e7ef59a8467893584cc14dEvan Cheng 9658d44b28bc6f615b9ad79b066987d53b1ea2a2942Dan Gohman /// isKnownNeverNan - Test whether the given SDValue is known to never be NaN. 9668d44b28bc6f615b9ad79b066987d53b1ea2a2942Dan Gohman bool isKnownNeverNaN(SDValue Op) const; 9678d44b28bc6f615b9ad79b066987d53b1ea2a2942Dan Gohman 968e832693acbfc713bcaf44720efa8149e93a38027Dan Gohman /// isKnownNeverZero - Test whether the given SDValue is known to never be 969e832693acbfc713bcaf44720efa8149e93a38027Dan Gohman /// positive or negative Zero. 970e832693acbfc713bcaf44720efa8149e93a38027Dan Gohman bool isKnownNeverZero(SDValue Op) const; 971e832693acbfc713bcaf44720efa8149e93a38027Dan Gohman 972e832693acbfc713bcaf44720efa8149e93a38027Dan Gohman /// isEqualTo - Test whether two SDValues are known to compare equal. This 973e832693acbfc713bcaf44720efa8149e93a38027Dan Gohman /// is true if they are the same value, or if one is negative zero and the 974e832693acbfc713bcaf44720efa8149e93a38027Dan Gohman /// other positive zero. 975e832693acbfc713bcaf44720efa8149e93a38027Dan Gohman bool isEqualTo(SDValue A, SDValue B) const; 976e832693acbfc713bcaf44720efa8149e93a38027Dan Gohman 977475871a144eb604ddaf37503397ba0941442e5fbDan Gohman /// isVerifiedDebugInfoDesc - Returns true if the specified SDValue has 978a844bdeab31ef04221e7ef59a8467893584cc14dEvan Cheng /// been verified as a debug information descriptor. 979475871a144eb604ddaf37503397ba0941442e5fbDan Gohman bool isVerifiedDebugInfoDesc(SDValue Op) const; 98077f0b7a50a08614b5ffd58f1864b68a9a30d0cb0Evan Cheng 98177f0b7a50a08614b5ffd58f1864b68a9a30d0cb0Evan Cheng /// getShuffleScalarElt - Returns the scalar element that will make up the ith 98277f0b7a50a08614b5ffd58f1864b68a9a30d0cb0Evan Cheng /// element of the result of the vector shuffle. 9835a5ca1519e04310f585197c20e7ae584b7f2d11fNate Begeman SDValue getShuffleScalarElt(const ShuffleVectorSDNode *N, unsigned Idx); 984fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 985cd6e725f21852e2f8cdf5fd0e65eb42c224776f8Mon P Wang /// UnrollVectorOp - Utility function used by legalize and lowering to 986cd6e725f21852e2f8cdf5fd0e65eb42c224776f8Mon P Wang /// "unroll" a vector operation by splitting out the scalars and operating 987cd6e725f21852e2f8cdf5fd0e65eb42c224776f8Mon P Wang /// on each element individually. If the ResNE is 0, fully unroll the vector 988cd6e725f21852e2f8cdf5fd0e65eb42c224776f8Mon P Wang /// op. If ResNE is less than the width of the vector op, unroll up to ResNE. 989cd6e725f21852e2f8cdf5fd0e65eb42c224776f8Mon P Wang /// If the ResNE is greater than the width of the vector op, unroll the 990cd6e725f21852e2f8cdf5fd0e65eb42c224776f8Mon P Wang /// vector op and fill the end of the resulting vector with UNDEFS. 991cd6e725f21852e2f8cdf5fd0e65eb42c224776f8Mon P Wang SDValue UnrollVectorOp(SDNode *N, unsigned ResNE = 0); 992cd6e725f21852e2f8cdf5fd0e65eb42c224776f8Mon P Wang 99364fa4a9584113f63eccc1a650e7e0cc4ddbab3f6Evan Cheng /// isConsecutiveLoad - Return true if LD is loading 'Bytes' bytes from a 99464fa4a9584113f63eccc1a650e7e0cc4ddbab3f6Evan Cheng /// location that is 'Dist' units away from the location that the 'Base' load 99564fa4a9584113f63eccc1a650e7e0cc4ddbab3f6Evan Cheng /// is loading from. 99664fa4a9584113f63eccc1a650e7e0cc4ddbab3f6Evan Cheng bool isConsecutiveLoad(LoadSDNode *LD, LoadSDNode *Base, 99764fa4a9584113f63eccc1a650e7e0cc4ddbab3f6Evan Cheng unsigned Bytes, int Dist) const; 99864fa4a9584113f63eccc1a650e7e0cc4ddbab3f6Evan Cheng 999f2dc5c785dea1816cbc064b58b4b6ea23c4fd7d4Evan Cheng /// InferPtrAlignment - Infer alignment of a load / store address. Return 0 if 1000f2dc5c785dea1816cbc064b58b4b6ea23c4fd7d4Evan Cheng /// it cannot be inferred. 10017ced2e0b304e76ab746c7d9a54ad8d4930445a38Evan Cheng unsigned InferPtrAlignment(SDValue Ptr) const; 1002f2dc5c785dea1816cbc064b58b4b6ea23c4fd7d4Evan Cheng 1003d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattnerprivate: 1004095cc29f321382e1f7d295e262a28197f92c5491Dan Gohman bool RemoveNodeFromCSEMaps(SDNode *N); 1005399461095b033438d1f5863cd0d6f82a616f74dcDan Gohman void AddModifiedNodeToCSEMaps(SDNode *N, DAGUpdateListener *UpdateListener); 1006475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDNode *FindModifiedNodeSlot(SDNode *N, SDValue Op, void *&InsertPos); 1007475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDNode *FindModifiedNodeSlot(SDNode *N, SDValue Op1, SDValue Op2, 1008a5682853b9921bbb0dd2ee175c9bd44142d4819eChris Lattner void *&InsertPos); 1009475871a144eb604ddaf37503397ba0941442e5fbDan Gohman SDNode *FindModifiedNodeSlot(SDNode *N, const SDValue *Ops, unsigned NumOps, 1010a5682853b9921bbb0dd2ee175c9bd44142d4819eChris Lattner void *&InsertPos); 1011b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner 1012fde3f3061d665babeb78443119a09876098fc35eChris Lattner void DeleteNodeNotInCSEMaps(SDNode *N); 1013c53361294957b63a9c1e405256c6f0a81db1685cDan Gohman void DeallocateNode(SDNode *N); 10149c6e70eca9a49c146b26621cbcbb9464ceeac024Dan Gohman 1015e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson unsigned getEVTAlignment(EVT MemoryVT) const; 1016f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman 1017f350b277f32d7d47f86c0e54f4aec4d470500618Dan Gohman void allnodes_clear(); 1018fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 1019101a90f3d3c3ad9159676ba744b59b3a9d0b4af5Dan Gohman /// VTList - List of non-single value types. 1020e8be6c63915e0389f1eef6b53c64300d13b2ce99Dan Gohman std::vector<SDVTList> VTList; 1021fdc40a0a696c658d550d894ea03772e5f8af2c94Scott Michel 1022101a90f3d3c3ad9159676ba744b59b3a9d0b4af5Dan Gohman /// CondCodeNodes - Maps to auto-CSE operations. 10237cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner std::vector<CondCodeSDNode*> CondCodeNodes; 10241cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner 102515e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner std::vector<SDNode*> ValueTypeNodes; 1026e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson std::map<EVT, SDNode*, EVT::compareRawBits> ExtendedValueTypeNodes; 1027056292fd738924f3f7703725d8f630983794b5a5Bill Wendling StringMap<SDNode*> ExternalSymbols; 10281af2231da64a14d638406d133c7912bfc1c8a9ceChris Lattner 10291af2231da64a14d638406d133c7912bfc1c8a9ceChris Lattner std::map<std::pair<std::string, unsigned char>,SDNode*> TargetExternalSymbols; 1030cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner}; 1031cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 10321080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattnertemplate <> struct GraphTraits<SelectionDAG*> : public GraphTraits<SDNode*> { 10331080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner typedef SelectionDAG::allnodes_iterator nodes_iterator; 10341080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner static nodes_iterator nodes_begin(SelectionDAG *G) { 10351080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return G->allnodes_begin(); 10361080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 10371080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner static nodes_iterator nodes_end(SelectionDAG *G) { 10381080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return G->allnodes_end(); 10391080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 10401080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner}; 10411080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 1042b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner} // end namespace llvm 1043cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner 1044cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner#endif 1045