SelectionDAG.h revision cbea3045ce0bdd061c494a831d0ce2d5834211cc
1c3aae25116e66c177579b0b79182b09340b19753Chris Lattner//===-- llvm/CodeGen/SelectionDAG.h - InstSelection DAG ---------*- C++ -*-===//
2ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman//
36fbcc26f1460eaee4e0eb8b426fc1ff0c7af11beJohn Criswell//                     The LLVM Compiler Infrastructure
46fbcc26f1460eaee4e0eb8b426fc1ff0c7af11beJohn Criswell//
56fbcc26f1460eaee4e0eb8b426fc1ff0c7af11beJohn Criswell// This file was developed by the LLVM research group and is distributed under
66fbcc26f1460eaee4e0eb8b426fc1ff0c7af11beJohn Criswell// the University of Illinois Open Source 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
18c3aae25116e66c177579b0b79182b09340b19753Chris Lattner#include "llvm/CodeGen/SelectionDAGNodes.h"
19a5682853b9921bbb0dd2ee175c9bd44142d4819eChris Lattner#include "llvm/CodeGen/SelectionDAGCSEMap.h"
20b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner#include "llvm/ADT/ilist"
21b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner
22109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner#include <list>
23322812e603705e1c2037313633e72f689524b163Evan Cheng#include <map>
24322812e603705e1c2037313633e72f689524b163Evan Cheng#include <set>
25eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner#include <string>
26d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke
27d0fde30ce850b78371fd1386338350591f9ff494Brian Gaekenamespace llvm {
28c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  class TargetLowering;
29c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  class TargetMachine;
30b2efb853f00d45b1c8d57f92acd0028fbdeffda6Jim Laskey  class MachineDebugInfo;
31c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  class MachineFunction;
32c3aae25116e66c177579b0b79182b09340b19753Chris Lattner
33c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// SelectionDAG class - This is used to represent a portion of an LLVM function
34c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// in a low-level Data Dependence DAG representation suitable for instruction
35c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// selection.  This DAG is constructed as the first step of instruction
36c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// selection in order to allow implementation of machine specific optimizations
37c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// and code simplifications.
38c3aae25116e66c177579b0b79182b09340b19753Chris Lattner///
39c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// The representation used by the SelectionDAG is a target-independent
40c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// representation, which has some similarities to the GCC RTL representation,
41c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// but is significantly more simple, powerful, and is a graph form instead of a
42c3aae25116e66c177579b0b79182b09340b19753Chris Lattner/// linear form.
43cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner///
44cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattnerclass SelectionDAG {
45063287a76b5d1486f498fcf674a26d1155471a3fChris Lattner  TargetLowering &TLI;
46c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  MachineFunction &MF;
47b2efb853f00d45b1c8d57f92acd0028fbdeffda6Jim Laskey  MachineDebugInfo *DI;
48cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner
49c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  // Root - The root of the entire DAG.  EntryNode - The starting token.
50c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  SDOperand Root, EntryNode;
51cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner
52b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner  // AllNodes - A linked list of nodes in the current DAG.
53b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner  ilist<SDNode> AllNodes;
54691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth
55cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattnerpublic:
56b2efb853f00d45b1c8d57f92acd0028fbdeffda6Jim Laskey  SelectionDAG(TargetLowering &tli, MachineFunction &mf, MachineDebugInfo *di)
57b2efb853f00d45b1c8d57f92acd0028fbdeffda6Jim Laskey  : TLI(tli), MF(mf), DI(di) {
58c3aae25116e66c177579b0b79182b09340b19753Chris Lattner    EntryNode = Root = getNode(ISD::EntryToken, MVT::Other);
59c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  }
60cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner  ~SelectionDAG();
61cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner
62c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  MachineFunction &getMachineFunction() const { return MF; }
63063287a76b5d1486f498fcf674a26d1155471a3fChris Lattner  const TargetMachine &getTarget() const;
64063287a76b5d1486f498fcf674a26d1155471a3fChris Lattner  TargetLowering &getTargetLoweringInfo() const { return TLI; }
65b2efb853f00d45b1c8d57f92acd0028fbdeffda6Jim Laskey  MachineDebugInfo *getMachineDebugInfo() const { return DI; }
66cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner
671080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner  /// viewGraph - Pop up a ghostview window with the DAG rendered using 'dot'.
681080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner  ///
691080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner  void viewGraph();
701080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner
711080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner
72b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner  typedef ilist<SDNode>::const_iterator allnodes_const_iterator;
73b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner  allnodes_const_iterator allnodes_begin() const { return AllNodes.begin(); }
74b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner  allnodes_const_iterator allnodes_end() const { return AllNodes.end(); }
75b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner  typedef ilist<SDNode>::iterator allnodes_iterator;
76b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner  allnodes_iterator allnodes_begin() { return AllNodes.begin(); }
77b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner  allnodes_iterator allnodes_end() { return AllNodes.end(); }
78b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner
79c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  /// getRoot - Return the root tag of the SelectionDAG.
80cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner  ///
81c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  const SDOperand &getRoot() const { return Root; }
82cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner
83c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  /// getEntryNode - Return the token chain corresponding to the entry of the
84c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  /// function.
85c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  const SDOperand &getEntryNode() const { return EntryNode; }
86cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner
87c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  /// setRoot - Set the current root tag of the SelectionDAG.
88cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner  ///
89c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  const SDOperand &setRoot(SDOperand N) { return Root = N; }
90cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner
911d4d41411190dd9e62764e56713753d4155764ddNate Begeman  /// Combine - This iterates over the nodes in the SelectionDAG, folding
921d4d41411190dd9e62764e56713753d4155764ddNate Begeman  /// certain types of nodes together, or eliminating superfluous nodes.  When
931d4d41411190dd9e62764e56713753d4155764ddNate Begeman  /// the AfterLegalize argument is set to 'true', Combine takes care not to
941d4d41411190dd9e62764e56713753d4155764ddNate Begeman  /// generate any nodes that will be illegal on the target.
951d4d41411190dd9e62764e56713753d4155764ddNate Begeman  void Combine(bool AfterLegalize);
961d4d41411190dd9e62764e56713753d4155764ddNate Begeman
97c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  /// Legalize - This transforms the SelectionDAG into a SelectionDAG that is
98c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  /// compatible with the target instruction selector, as indicated by the
99c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  /// TargetLowering object.
100cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner  ///
101c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  /// Note that this is an involved process that may invalidate pointers into
102c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  /// the graph.
103063287a76b5d1486f498fcf674a26d1155471a3fChris Lattner  void Legalize();
104c3aae25116e66c177579b0b79182b09340b19753Chris Lattner
105d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner  /// RemoveDeadNodes - This method deletes all unreachable nodes in the
106190a418bf6b49a4ef1c1980229a2f0d516e8a2cdChris Lattner  /// SelectionDAG.
107190a418bf6b49a4ef1c1980229a2f0d516e8a2cdChris Lattner  void RemoveDeadNodes();
108d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner
10947725d059b259f8a0c145478300c9e9caa006b59Chris Lattner  SDOperand getString(const std::string &Val);
110cbea3045ce0bdd061c494a831d0ce2d5834211ccChris Lattner  SDOperand getConstant(uint64_t Val, MVT::ValueType VT, bool isTarget = false);
111cbea3045ce0bdd061c494a831d0ce2d5834211ccChris Lattner  SDOperand getTargetConstant(uint64_t Val, MVT::ValueType VT) {
112cbea3045ce0bdd061c494a831d0ce2d5834211ccChris Lattner    return getConstant(Val, VT, true);
113cbea3045ce0bdd061c494a831d0ce2d5834211ccChris Lattner  }
114c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  SDOperand getConstantFP(double Val, MVT::ValueType VT);
115ac0d7238258defe72b1aad53d7f48201b91df795Chris Lattner  SDOperand getTargetConstantFP(double Val, MVT::ValueType VT);
11614229bb6369c110644c11bc7906b0c1167d3a87aEvan Cheng  SDOperand getGlobalAddress(const GlobalValue *GV, MVT::ValueType VT,
117cbea3045ce0bdd061c494a831d0ce2d5834211ccChris Lattner                             int offset = 0, bool isTargetGA = false);
11861ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng  SDOperand getTargetGlobalAddress(const GlobalValue *GV, MVT::ValueType VT,
119cbea3045ce0bdd061c494a831d0ce2d5834211ccChris Lattner                                   int offset = 0) {
120cbea3045ce0bdd061c494a831d0ce2d5834211ccChris Lattner    return getGlobalAddress(GV, VT, offset, true);
121cbea3045ce0bdd061c494a831d0ce2d5834211ccChris Lattner  }
122c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  SDOperand getFrameIndex(int FI, MVT::ValueType VT);
123afb2dd43de61f4585e75d1f3ab93a9ac4b3b7592Chris Lattner  SDOperand getTargetFrameIndex(int FI, MVT::ValueType VT);
12437efe6764568a3829fee26aba532283131d1a104Nate Begeman  SDOperand getJumpTable(int JTI, MVT::ValueType VT);
12537efe6764568a3829fee26aba532283131d1a104Nate Begeman  SDOperand getTargetJumpTable(int JTI, MVT::ValueType VT);
126b8973bd8f50d7321635e1e07b81a880a0828d185Evan Cheng  SDOperand getConstantPool(Constant *C, MVT::ValueType VT,
127404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng                           unsigned Alignment=0,  int offset = 0);
128b8973bd8f50d7321635e1e07b81a880a0828d185Evan Cheng  SDOperand getTargetConstantPool(Constant *C, MVT::ValueType VT,
129404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng                                  unsigned Alignment=0, int offset = 0);
130c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  SDOperand getBasicBlock(MachineBasicBlock *MBB);
131c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  SDOperand getExternalSymbol(const char *Sym, MVT::ValueType VT);
1322a2de66db2093a5bc1fd620d1b6ae7992a552b24Andrew Lenharth  SDOperand getTargetExternalSymbol(const char *Sym, MVT::ValueType VT);
13315e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner  SDOperand getValueType(MVT::ValueType);
134d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner  SDOperand getRegister(unsigned Reg, MVT::ValueType VT);
135c3aae25116e66c177579b0b79182b09340b19753Chris Lattner
136d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner  SDOperand getCopyToReg(SDOperand Chain, unsigned Reg, SDOperand N) {
137d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner    return getNode(ISD::CopyToReg, MVT::Other, Chain,
138d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner                   getRegister(Reg, N.getValueType()), N);
139cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner  }
140cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner
141e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner  // This version of the getCopyToReg method takes an extra operand, which
142e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner  // indicates that there is potentially an incoming flag value (if Flag is not
143e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner  // null) and that there should be a flag result.
144e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner  SDOperand getCopyToReg(SDOperand Chain, unsigned Reg, SDOperand N,
145e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner                         SDOperand Flag) {
146e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner    std::vector<MVT::ValueType> VTs;
147e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner    VTs.push_back(MVT::Other);
148e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner    VTs.push_back(MVT::Flag);
149bd564bfc63163e31f320c3da9749db70992dc35eChris Lattner    SDOperand Ops[] = { Chain, getRegister(Reg, N.getValueType()), N, Flag };
150bd564bfc63163e31f320c3da9749db70992dc35eChris Lattner    return getNode(ISD::CopyToReg, VTs, Ops, Flag.Val ? 4 : 3);
151e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner  }
15266a48bbc3565b40ea0e6f2d58cf5e3a8e64802efEvan Cheng
15366a48bbc3565b40ea0e6f2d58cf5e3a8e64802efEvan Cheng  // Similar to last getCopyToReg() except parameter Reg is a SDOperand
15466a48bbc3565b40ea0e6f2d58cf5e3a8e64802efEvan Cheng  SDOperand getCopyToReg(SDOperand Chain, SDOperand Reg, SDOperand N,
15566a48bbc3565b40ea0e6f2d58cf5e3a8e64802efEvan Cheng                         SDOperand Flag) {
15666a48bbc3565b40ea0e6f2d58cf5e3a8e64802efEvan Cheng    std::vector<MVT::ValueType> VTs;
15766a48bbc3565b40ea0e6f2d58cf5e3a8e64802efEvan Cheng    VTs.push_back(MVT::Other);
15866a48bbc3565b40ea0e6f2d58cf5e3a8e64802efEvan Cheng    VTs.push_back(MVT::Flag);
159bd564bfc63163e31f320c3da9749db70992dc35eChris Lattner    SDOperand Ops[] = { Chain, Reg, N, Flag };
160bd564bfc63163e31f320c3da9749db70992dc35eChris Lattner    return getNode(ISD::CopyToReg, VTs, Ops, Flag.Val ? 4 : 3);
16166a48bbc3565b40ea0e6f2d58cf5e3a8e64802efEvan Cheng  }
162e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner
163d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner  SDOperand getCopyFromReg(SDOperand Chain, unsigned Reg, MVT::ValueType VT) {
164d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner    std::vector<MVT::ValueType> ResultTys;
165d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner    ResultTys.push_back(VT);
166d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner    ResultTys.push_back(MVT::Other);
167f06f35e30b4c4d7db304f717a3d4dc6595fbd078Chris Lattner    SDOperand Ops[] = { Chain, getRegister(Reg, VT) };
168f06f35e30b4c4d7db304f717a3d4dc6595fbd078Chris Lattner    return getNode(ISD::CopyFromReg, ResultTys, Ops, 2);
16918c2f13e0f9d0e5d6227cf6d1881e9ee3d1b6109Chris Lattner  }
170e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner
171e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner  // This version of the getCopyFromReg method takes an extra operand, which
172e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner  // indicates that there is potentially an incoming flag value (if Flag is not
173e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner  // null) and that there should be a flag result.
174e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner  SDOperand getCopyFromReg(SDOperand Chain, unsigned Reg, MVT::ValueType VT,
175e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner                           SDOperand Flag) {
176e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner    std::vector<MVT::ValueType> ResultTys;
177e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner    ResultTys.push_back(VT);
178e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner    ResultTys.push_back(MVT::Other);
179e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner    ResultTys.push_back(MVT::Flag);
180f06f35e30b4c4d7db304f717a3d4dc6595fbd078Chris Lattner    SDOperand Ops[] = { Chain, getRegister(Reg, VT), Flag };
181f06f35e30b4c4d7db304f717a3d4dc6595fbd078Chris Lattner    return getNode(ISD::CopyFromReg, ResultTys, Ops, Flag.Val ? 3 : 2);
182e3f1026683c38f6605ccaf698b7082f1b0a0f8c8Chris Lattner  }
18318c2f13e0f9d0e5d6227cf6d1881e9ee3d1b6109Chris Lattner
1847cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner  SDOperand getCondCode(ISD::CondCode Cond);
185cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner
1861ccae666f596d5aeca5c9942995763600b622062Chris Lattner  /// getZeroExtendInReg - Return the expression required to zero extend the Op
1871ccae666f596d5aeca5c9942995763600b622062Chris Lattner  /// value assuming it was the smaller SrcTy value.
1881ccae666f596d5aeca5c9942995763600b622062Chris Lattner  SDOperand getZeroExtendInReg(SDOperand Op, MVT::ValueType SrcTy);
1896a5b6d7633c96c72ca7d5f8ba0c855e4690ada04Chris Lattner
1906a5b6d7633c96c72ca7d5f8ba0c855e4690ada04Chris Lattner  /// getCALLSEQ_START - Return a new CALLSEQ_START node, which always must have
1916a5b6d7633c96c72ca7d5f8ba0c855e4690ada04Chris Lattner  /// a flag result (to ensure it's not CSE'd).
1926a5b6d7633c96c72ca7d5f8ba0c855e4690ada04Chris Lattner  SDOperand getCALLSEQ_START(SDOperand Chain, SDOperand Op) {
1936a5b6d7633c96c72ca7d5f8ba0c855e4690ada04Chris Lattner    std::vector<MVT::ValueType> ResultTys;
1946a5b6d7633c96c72ca7d5f8ba0c855e4690ada04Chris Lattner    ResultTys.push_back(MVT::Other);
1956a5b6d7633c96c72ca7d5f8ba0c855e4690ada04Chris Lattner    ResultTys.push_back(MVT::Flag);
196f06f35e30b4c4d7db304f717a3d4dc6595fbd078Chris Lattner    SDOperand Ops[] = { Chain,  Op };
197f06f35e30b4c4d7db304f717a3d4dc6595fbd078Chris Lattner    return getNode(ISD::CALLSEQ_START, ResultTys, Ops, 2);
1986a5b6d7633c96c72ca7d5f8ba0c855e4690ada04Chris Lattner  }
1991ccae666f596d5aeca5c9942995763600b622062Chris Lattner
200c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  /// getNode - Gets or creates the specified node.
201cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner  ///
202c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  SDOperand getNode(unsigned Opcode, MVT::ValueType VT);
203c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  SDOperand getNode(unsigned Opcode, MVT::ValueType VT, SDOperand N);
204c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  SDOperand getNode(unsigned Opcode, MVT::ValueType VT,
205c3aae25116e66c177579b0b79182b09340b19753Chris Lattner                    SDOperand N1, SDOperand N2);
206c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  SDOperand getNode(unsigned Opcode, MVT::ValueType VT,
207c3aae25116e66c177579b0b79182b09340b19753Chris Lattner                    SDOperand N1, SDOperand N2, SDOperand N3);
208c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  SDOperand getNode(unsigned Opcode, MVT::ValueType VT,
2092d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth                    SDOperand N1, SDOperand N2, SDOperand N3, SDOperand N4);
2102d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth  SDOperand getNode(unsigned Opcode, MVT::ValueType VT,
211f7db8c69a12582c7d1ff7c5f25c948dca2dbf7dcChris Lattner                    SDOperand N1, SDOperand N2, SDOperand N3, SDOperand N4,
212f7db8c69a12582c7d1ff7c5f25c948dca2dbf7dcChris Lattner                    SDOperand N5);
213f7db8c69a12582c7d1ff7c5f25c948dca2dbf7dcChris Lattner  SDOperand getNode(unsigned Opcode, MVT::ValueType VT,
214f06f35e30b4c4d7db304f717a3d4dc6595fbd078Chris Lattner                    const SDOperand *Ops, unsigned NumOps);
215f06f35e30b4c4d7db304f717a3d4dc6595fbd078Chris Lattner  SDOperand getNode(unsigned Opcode, std::vector<MVT::ValueType> &ResultTys,
216f06f35e30b4c4d7db304f717a3d4dc6595fbd078Chris Lattner                    const SDOperand *Ops, unsigned NumOps);
217f06f35e30b4c4d7db304f717a3d4dc6595fbd078Chris Lattner
2187cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner  /// getSetCC - Helper function to make it easier to build SetCC's if you just
2197cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner  /// have an ISD::CondCode instead of an SDOperand.
2207cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner  ///
2217cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner  SDOperand getSetCC(MVT::ValueType VT, SDOperand LHS, SDOperand RHS,
2227cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner                     ISD::CondCode Cond) {
2237cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner    return getNode(ISD::SETCC, VT, LHS, RHS, getCondCode(Cond));
2247cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner  }
2259373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman
2269373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman  /// getSelectCC - Helper function to make it easier to build SelectCC's if you
2279373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman  /// just have an ISD::CondCode instead of an SDOperand.
2289373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman  ///
2299373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman  SDOperand getSelectCC(SDOperand LHS, SDOperand RHS,
2309373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman                        SDOperand True, SDOperand False, ISD::CondCode Cond) {
2319373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman    MVT::ValueType VT = True.getValueType();
2329373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman    return getNode(ISD::SELECT_CC, VT, LHS, RHS, True, False,getCondCode(Cond));
2339373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman  }
2347cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner
235acc398c195a697795bff3245943d104eb19192b9Nate Begeman  /// getVAArg - VAArg produces a result and token chain, and takes a pointer
236acc398c195a697795bff3245943d104eb19192b9Nate Begeman  /// and a source value as input.
237acc398c195a697795bff3245943d104eb19192b9Nate Begeman  SDOperand getVAArg(MVT::ValueType VT, SDOperand Chain, SDOperand Ptr,
238acc398c195a697795bff3245943d104eb19192b9Nate Begeman                     SDOperand SV);
2397cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman
240c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  /// getLoad - Loads are not normal binary operators: their result type is not
241c3aae25116e66c177579b0b79182b09340b19753Chris Lattner  /// determined by their operands, and they produce a value AND a token chain.
242cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner  ///
24321074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner  SDOperand getLoad(MVT::ValueType VT, SDOperand Chain, SDOperand Ptr,
24421074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner                    SDOperand SV);
2455fbb5d2459a5410590f285250faa604576308a93Nate Begeman  SDOperand getVecLoad(unsigned Count, MVT::ValueType VT, SDOperand Chain,
2465fbb5d2459a5410590f285250faa604576308a93Nate Begeman                       SDOperand Ptr, SDOperand SV);
2475f056bf4b862a7c31388a68711dd3b3ed5de2be8Chris Lattner  SDOperand getExtLoad(unsigned Opcode, MVT::ValueType VT, SDOperand Chain,
2485f056bf4b862a7c31388a68711dd3b3ed5de2be8Chris Lattner                       SDOperand Ptr, SDOperand SV, MVT::ValueType EVT);
2492d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth
2502d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth  // getSrcValue - construct a node to track a Value* through the backend
251691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth  SDOperand getSrcValue(const Value* I, int offset = 0);
252cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner
253b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner  /// UpdateNodeOperands - *Mutate* the specified node in-place to have the
254b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner  /// specified operands.  If the resultant node already exists in the DAG,
255b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner  /// this does not modify the specified node, instead it returns the node that
256b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner  /// already exists.  If the resultant node does not exist in the DAG, the
257b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner  /// input node is returned.  As a degenerate case, if you specify the same
258b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner  /// input operands as the node already has, the input node is returned.
259b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner  SDOperand UpdateNodeOperands(SDOperand N, SDOperand Op);
260b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner  SDOperand UpdateNodeOperands(SDOperand N, SDOperand Op1, SDOperand Op2);
261b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner  SDOperand UpdateNodeOperands(SDOperand N, SDOperand Op1, SDOperand Op2,
262b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner                               SDOperand Op3);
263b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner  SDOperand UpdateNodeOperands(SDOperand N, SDOperand Op1, SDOperand Op2,
264b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner                               SDOperand Op3, SDOperand Op4);
2659b88361befd2a94202dc60ccfb3e31756916a9caChris Lattner  SDOperand UpdateNodeOperands(SDOperand N, SDOperand Op1, SDOperand Op2,
2669b88361befd2a94202dc60ccfb3e31756916a9caChris Lattner                               SDOperand Op3, SDOperand Op4, SDOperand Op5);
267f06f35e30b4c4d7db304f717a3d4dc6595fbd078Chris Lattner  SDOperand UpdateNodeOperands(SDOperand N, SDOperand *Ops, unsigned NumOps);
2681b95095857b78e12138c22e76c7936611c51355bChris Lattner
2691b95095857b78e12138c22e76c7936611c51355bChris Lattner  /// SelectNodeTo - These are used for target selectors to *mutate* the
2701b95095857b78e12138c22e76c7936611c51355bChris Lattner  /// specified node to have the specified return type, Target opcode, and
2711b95095857b78e12138c22e76c7936611c51355bChris Lattner  /// operands.  Note that target opcodes are stored as
272eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner  /// ISD::BUILTIN_OP_END+TargetOpcode in the node opcode field.  The 0th value
273eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner  /// of the resultant node is returned.
274eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner  SDOperand SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT::ValueType VT);
275eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner  SDOperand SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT::ValueType VT,
276eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         SDOperand Op1);
277eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner  SDOperand SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT::ValueType VT,
278eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         SDOperand Op1, SDOperand Op2);
279eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner  SDOperand SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT::ValueType VT,
280eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         SDOperand Op1, SDOperand Op2, SDOperand Op3);
281eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner  SDOperand SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT::ValueType VT,
282eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         SDOperand Op1, SDOperand Op2, SDOperand Op3,
283eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         SDOperand Op4);
284eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner  SDOperand SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT::ValueType VT,
285eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         SDOperand Op1, SDOperand Op2, SDOperand Op3,
286eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         SDOperand Op4, SDOperand Op5);
287eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner  SDOperand SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT::ValueType VT,
288eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         SDOperand Op1, SDOperand Op2, SDOperand Op3,
289eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         SDOperand Op4, SDOperand Op5, SDOperand Op6);
2908c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth  SDOperand SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT::ValueType VT,
2918c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth                         SDOperand Op1, SDOperand Op2, SDOperand Op3,
2928c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth                         SDOperand Op4, SDOperand Op5, SDOperand Op6,
2938c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth			 SDOperand Op7);
2947cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth  SDOperand SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT::ValueType VT,
2957cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth                         SDOperand Op1, SDOperand Op2, SDOperand Op3,
2967cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth                         SDOperand Op4, SDOperand Op5, SDOperand Op6,
2977cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth			 SDOperand Op7, SDOperand Op8);
298eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner  SDOperand SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT::ValueType VT1,
299eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         MVT::ValueType VT2, SDOperand Op1, SDOperand Op2);
300eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner  SDOperand SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT::ValueType VT1,
301eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         MVT::ValueType VT2, SDOperand Op1, SDOperand Op2,
302eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         SDOperand Op3);
303eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner  SDOperand SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT::ValueType VT1,
304eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         MVT::ValueType VT2, SDOperand Op1, SDOperand Op2,
305eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         SDOperand Op3, SDOperand Op4);
306eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner  SDOperand SelectNodeTo(SDNode *N, unsigned TargetOpc, MVT::ValueType VT1,
307eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         MVT::ValueType VT2, SDOperand Op1, SDOperand Op2,
308eb19e40efbd3cae80c908a30cdf4d33450733c45Chris Lattner                         SDOperand Op3, SDOperand Op4, SDOperand Op5);
309753c8f20e45f6e4198c7cf4096ecc8948a029e9cChris Lattner
3106ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  /// getTargetNode - These are used for target selectors to create a new node
3116ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  /// with specified return type(s), target opcode, and operands.
3126ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  ///
3136ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  /// Note that getTargetNode returns the resultant node.  If there is already a
3146ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  /// node of the specified opcode and operands, it returns that node instead of
3156ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  /// the current one.
3166ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT);
3176ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT,
3186ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op1);
3196ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT,
3206ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op1, SDOperand Op2);
3216ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT,
3226ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op1, SDOperand Op2, SDOperand Op3);
3236ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT,
3246ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op1, SDOperand Op2, SDOperand Op3,
3256ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op4);
3266ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT,
3276ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op1, SDOperand Op2, SDOperand Op3,
3286ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op4, SDOperand Op5);
3296ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT,
3306ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op1, SDOperand Op2, SDOperand Op3,
3316ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op4, SDOperand Op5, SDOperand Op6);
3326ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT,
3336ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op1, SDOperand Op2, SDOperand Op3,
3346ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op4, SDOperand Op5, SDOperand Op6,
3356ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op7);
3366ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT,
3376ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op1, SDOperand Op2, SDOperand Op3,
3386ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op4, SDOperand Op5, SDOperand Op6,
3396ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op7, SDOperand Op8);
3406ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT,
341bd564bfc63163e31f320c3da9749db70992dc35eChris Lattner                        const SDOperand *Ops, unsigned NumOps);
3426ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT1,
3436ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        MVT::ValueType VT2, SDOperand Op1);
3446ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT1,
3456ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        MVT::ValueType VT2, SDOperand Op1, SDOperand Op2);
3466ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT1,
3476ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        MVT::ValueType VT2, SDOperand Op1, SDOperand Op2,
3486ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op3);
3496ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT1,
3506ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        MVT::ValueType VT2, SDOperand Op1, SDOperand Op2,
3516ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op3, SDOperand Op4);
3526ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT1,
3536ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        MVT::ValueType VT2, SDOperand Op1, SDOperand Op2,
3546ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op3, SDOperand Op4, SDOperand Op5);
3556ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT1,
3566ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        MVT::ValueType VT2, SDOperand Op1, SDOperand Op2,
3576ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op3, SDOperand Op4, SDOperand Op5,
3586ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op6);
3596ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT1,
3606ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        MVT::ValueType VT2, SDOperand Op1, SDOperand Op2,
3616ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op3, SDOperand Op4, SDOperand Op5,
3626ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op6, SDOperand Op7);
3636ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT1,
3646ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        MVT::ValueType VT2, MVT::ValueType VT3,
3656ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op1, SDOperand Op2);
3666ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT1,
3676ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        MVT::ValueType VT2, MVT::ValueType VT3,
3686ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op1, SDOperand Op2,
3696ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op3, SDOperand Op4, SDOperand Op5);
3706ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT1,
3716ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        MVT::ValueType VT2, MVT::ValueType VT3,
3726ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op1, SDOperand Op2,
3736ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op3, SDOperand Op4, SDOperand Op5,
3746ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op6);
3756ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT1,
3766ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        MVT::ValueType VT2, MVT::ValueType VT3,
3776ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op1, SDOperand Op2,
3786ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op3, SDOperand Op4, SDOperand Op5,
3796ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng                        SDOperand Op6, SDOperand Op7);
3806ae46c4c8757237bca2b78b589c96c37015bc356Evan Cheng  SDNode *getTargetNode(unsigned Opcode, MVT::ValueType VT1,
381bd564bfc63163e31f320c3da9749db70992dc35eChris Lattner                        MVT::ValueType VT2,
382bd564bfc63163e31f320c3da9749db70992dc35eChris Lattner                        const SDOperand *Ops, unsigned NumOps);
3836542d950609208de3e1cde704c5f89aad864c0d9Chris Lattner
3846542d950609208de3e1cde704c5f89aad864c0d9Chris Lattner  /// ReplaceAllUsesWith - Modify anything using 'From' to use 'To' instead.
38526005b1b672aebd437edc561d381c5dd19a03ddbChris Lattner  /// This can cause recursive merging of nodes in the DAG.  Use the first
38626005b1b672aebd437edc561d381c5dd19a03ddbChris Lattner  /// version if 'From' is known to have a single result, use the second
38726005b1b672aebd437edc561d381c5dd19a03ddbChris Lattner  /// if you have two nodes with identical results, use the third otherwise.
3886542d950609208de3e1cde704c5f89aad864c0d9Chris Lattner  ///
389fde3f3061d665babeb78443119a09876098fc35eChris Lattner  /// These methods all take an optional vector, which (if not null) is
390fde3f3061d665babeb78443119a09876098fc35eChris Lattner  /// populated with any nodes that are deleted from the SelectionDAG, due to
391fde3f3061d665babeb78443119a09876098fc35eChris Lattner  /// new equivalences that are discovered.
392fde3f3061d665babeb78443119a09876098fc35eChris Lattner  ///
393fde3f3061d665babeb78443119a09876098fc35eChris Lattner  void ReplaceAllUsesWith(SDOperand From, SDOperand Op,
394fde3f3061d665babeb78443119a09876098fc35eChris Lattner                          std::vector<SDNode*> *Deleted = 0);
395fde3f3061d665babeb78443119a09876098fc35eChris Lattner  void ReplaceAllUsesWith(SDNode *From, SDNode *To,
396fde3f3061d665babeb78443119a09876098fc35eChris Lattner                          std::vector<SDNode*> *Deleted = 0);
3978a842cf8287ee957e15b95ceeb6ee5f189caba3dChris Lattner  void ReplaceAllUsesWith(SDNode *From, const SDOperand *To,
398fde3f3061d665babeb78443119a09876098fc35eChris Lattner                          std::vector<SDNode*> *Deleted = 0);
399fae9f1cb34d6d2c4dbd007f2d748a70b67776a82Evan Cheng
40080274268b99e5a066825c8cc5aba58dbc5ad0a52Chris Lattner  /// ReplaceAllUsesOfValueWith - Replace any uses of From with To, leaving
40180274268b99e5a066825c8cc5aba58dbc5ad0a52Chris Lattner  /// uses of other values produced by From.Val alone.  The Deleted vector is
40280274268b99e5a066825c8cc5aba58dbc5ad0a52Chris Lattner  /// handled the same was as for ReplaceAllUsesWith, but it is required for
40380274268b99e5a066825c8cc5aba58dbc5ad0a52Chris Lattner  /// this method.
40480274268b99e5a066825c8cc5aba58dbc5ad0a52Chris Lattner  void ReplaceAllUsesOfValueWith(SDOperand From, SDOperand To,
40580274268b99e5a066825c8cc5aba58dbc5ad0a52Chris Lattner                                 std::vector<SDNode*> &Deleted);
40680274268b99e5a066825c8cc5aba58dbc5ad0a52Chris Lattner
407ba8a0e0d7f03b7cac03ff1eaf9f048eb9d32bd46Chris Lattner  /// DeleteNode - Remove the specified node from the system.  This node must
408ba8a0e0d7f03b7cac03ff1eaf9f048eb9d32bd46Chris Lattner  /// have no referrers.
409ba8a0e0d7f03b7cac03ff1eaf9f048eb9d32bd46Chris Lattner  void DeleteNode(SDNode *N);
410b9ee9e60a905b90fa3e84c5c6091af6e5a0382d2Evan Cheng
411e6f35d8a5cc92d776cf460200e2b815e8c301b14Evan Cheng  /// AssignNodeIds - Assign a unique node id for each node in the DAG based on
412e6f35d8a5cc92d776cf460200e2b815e8c301b14Evan Cheng  /// their allnodes order. It returns the maximum id.
4137c16d776cb827922dd0f8f0a88c5b65a90810c0bEvan Cheng  unsigned AssignNodeIds();
414b9ee9e60a905b90fa3e84c5c6091af6e5a0382d2Evan Cheng
415e6f35d8a5cc92d776cf460200e2b815e8c301b14Evan Cheng  /// AssignTopologicalOrder - Assign a unique node id for each node in the DAG
41609fd736058ec3f69b856ae3ad65177bc31904a8cEvan Cheng  /// based on their topological order. It returns the maximum id and a vector
41709fd736058ec3f69b856ae3ad65177bc31904a8cEvan Cheng  /// of the SDNodes* in assigned order by reference.
41809fd736058ec3f69b856ae3ad65177bc31904a8cEvan Cheng  unsigned AssignTopologicalOrder(std::vector<SDNode*> &TopOrder);
419e6f35d8a5cc92d776cf460200e2b815e8c301b14Evan Cheng
420cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner  void dump() const;
421d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner
422fae9f1cb34d6d2c4dbd007f2d748a70b67776a82Evan Cheng  /// InsertISelMapEntry - A helper function to insert a key / element pair
423fae9f1cb34d6d2c4dbd007f2d748a70b67776a82Evan Cheng  /// into a SDOperand to SDOperand map. This is added to avoid the map
424fae9f1cb34d6d2c4dbd007f2d748a70b67776a82Evan Cheng  /// insertion operator from being inlined.
425fae9f1cb34d6d2c4dbd007f2d748a70b67776a82Evan Cheng  static void InsertISelMapEntry(std::map<SDOperand, SDOperand> &Map,
426fae9f1cb34d6d2c4dbd007f2d748a70b67776a82Evan Cheng                                 SDNode *Key, unsigned KeyResNo,
427fae9f1cb34d6d2c4dbd007f2d748a70b67776a82Evan Cheng                                 SDNode *Element, unsigned ElementResNo);
428322812e603705e1c2037313633e72f689524b163Evan Cheng
429d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattnerprivate:
4301b95095857b78e12138c22e76c7936611c51355bChris Lattner  void RemoveNodeFromCSEMaps(SDNode *N);
4316542d950609208de3e1cde704c5f89aad864c0d9Chris Lattner  SDNode *AddNonLeafNodeToCSEMaps(SDNode *N);
432a5682853b9921bbb0dd2ee175c9bd44142d4819eChris Lattner  SDNode *FindModifiedNodeSlot(SDNode *N, SDOperand Op, void *&InsertPos);
433a5682853b9921bbb0dd2ee175c9bd44142d4819eChris Lattner  SDNode *FindModifiedNodeSlot(SDNode *N, SDOperand Op1, SDOperand Op2,
434a5682853b9921bbb0dd2ee175c9bd44142d4819eChris Lattner                               void *&InsertPos);
435f06f35e30b4c4d7db304f717a3d4dc6595fbd078Chris Lattner  SDNode *FindModifiedNodeSlot(SDNode *N, const SDOperand *Ops, unsigned NumOps,
436a5682853b9921bbb0dd2ee175c9bd44142d4819eChris Lattner                               void *&InsertPos);
437b9aff659e82e4ec1a507e6e7fe7969379a431613Chris Lattner
438fde3f3061d665babeb78443119a09876098fc35eChris Lattner  void DeleteNodeNotInCSEMaps(SDNode *N);
439a5682853b9921bbb0dd2ee175c9bd44142d4819eChris Lattner  MVT::ValueType *getNodeValueTypes(MVT::ValueType VT1);
440a5682853b9921bbb0dd2ee175c9bd44142d4819eChris Lattner  MVT::ValueType *getNodeValueTypes(MVT::ValueType VT1, MVT::ValueType VT2);
441a5682853b9921bbb0dd2ee175c9bd44142d4819eChris Lattner  MVT::ValueType *getNodeValueTypes(std::vector<MVT::ValueType> &RetVals);
442109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner
4437cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner
44432c392a3a5e397b5f1cc83aaedfab96368d11e8aNate Begeman  /// SimplifySetCC - Try to simplify a setcc built with the specified operands
44532c392a3a5e397b5f1cc83aaedfab96368d11e8aNate Begeman  /// and cc.  If unable to simplify it, return a null SDOperand.
4464cf009f49cd37ae9cf4096dfe7ee9bcfa8e59b7aChris Lattner  SDOperand SimplifySetCC(MVT::ValueType VT, SDOperand N1,
4474cf009f49cd37ae9cf4096dfe7ee9bcfa8e59b7aChris Lattner                          SDOperand N2, ISD::CondCode Cond);
448109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner
449109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner  // List of non-single value types.
450109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner  std::list<std::vector<MVT::ValueType> > VTList;
451109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner
4521cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner  // Maps to auto-CSE operations.
4537cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner  std::vector<CondCodeSDNode*> CondCodeNodes;
4541cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner
455b29cb29364d3e22f062c695d2d5740dda42d8e8eChris Lattner  std::map<std::pair<uint64_t, MVT::ValueType>, SDNode*> ConstantFPs;
456ac0d7238258defe72b1aad53d7f48201b91df795Chris Lattner  std::map<std::pair<uint64_t, MVT::ValueType>, SDNode*> TargetConstantFPs;
45737efe6764568a3829fee26aba532283131d1a104Nate Begeman  std::map<int, SDNode*> FrameIndices, TargetFrameIndices, JumpTableIndices,
45837efe6764568a3829fee26aba532283131d1a104Nate Begeman    TargetJumpTableIndices;
459404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng  std::map<std::pair<Constant *,
460404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng                     std::pair<int, unsigned> >, SDNode*> ConstantPoolIndices;
461404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng  std::map<std::pair<Constant *,
462404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng                 std::pair<int, unsigned> >, SDNode*> TargetConstantPoolIndices;
46315e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner  std::vector<SDNode*> ValueTypeNodes;
4645f056bf4b862a7c31388a68711dd3b3ed5de2be8Chris Lattner  std::map<std::string, SDNode*> ExternalSymbols;
4652a2de66db2093a5bc1fd620d1b6ae7992a552b24Andrew Lenharth  std::map<std::string, SDNode*> TargetExternalSymbols;
46647725d059b259f8a0c145478300c9e9caa006b59Chris Lattner  std::map<std::string, StringSDNode*> StringNodes;
467a5682853b9921bbb0dd2ee175c9bd44142d4819eChris Lattner  SelectionDAGCSEMap CSEMap;
468cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner};
469cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner
4701080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattnertemplate <> struct GraphTraits<SelectionDAG*> : public GraphTraits<SDNode*> {
4711080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner  typedef SelectionDAG::allnodes_iterator nodes_iterator;
4721080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner  static nodes_iterator nodes_begin(SelectionDAG *G) {
4731080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner    return G->allnodes_begin();
4741080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner  }
4751080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner  static nodes_iterator nodes_end(SelectionDAG *G) {
4761080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner    return G->allnodes_end();
4771080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner  }
4781080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner};
4791080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner
480b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner}  // end namespace llvm
481cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner
482cacf462915344c2af25eef1af1f3ee2c7280ff56Chris Lattner#endif
483