SelectionDAGNodes.h revision 681ee1c1c3f7c3558c29a5bf3a668c1d0784c399
163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner//===-- llvm/CodeGen/SelectionDAGNodes.h - SelectionDAG Nodes ---*- C++ -*-===// 2ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman// 363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner// The LLVM Compiler Infrastructure 463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner// 563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner// This file was developed by the LLVM research group and is distributed under 663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner// the University of Illinois Open Source License. See LICENSE.TXT for details. 7ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman// 863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner//===----------------------------------------------------------------------===// 9ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman// 1063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner// This file declares the SDNode class and derived classes, which are used to 1163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner// represent the nodes and operations present in a SelectionDAG. These nodes 1263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner// and operations are machine code level operations, with some similarities to 1363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner// the GCC RTL representation. 1463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner// 1563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner// Clients should include the SelectionDAG.h file instead of this file directly. 1663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner// 1763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner//===----------------------------------------------------------------------===// 1863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 1963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner#ifndef LLVM_CODEGEN_SELECTIONDAGNODES_H 2063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner#define LLVM_CODEGEN_SELECTIONDAGNODES_H 2163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 2263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner#include "llvm/CodeGen/ValueTypes.h" 232d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth#include "llvm/Value.h" 241080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner#include "llvm/ADT/GraphTraits.h" 251080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner#include "llvm/ADT/iterator" 2639931a3dbac1aa2fe2ec14f26001c8c29102940cJeff Cohen#include "llvm/Support/DataTypes.h" 2763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner#include <cassert> 2863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner#include <vector> 2963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 3063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnernamespace llvm { 3163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 3263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass SelectionDAG; 3363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass GlobalValue; 3463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass MachineBasicBlock; 3563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass SDNode; 3663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnertemplate <typename T> struct simplify_type; 37b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattnertemplate <typename T> struct ilist_traits; 38b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattnertemplate<typename NodeTy, typename Traits> class iplist; 39b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattnertemplate<typename NodeTy> class ilist_iterator; 4063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 4163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// ISD namespace - This namespace contains an enum which represents all of the 4263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// SelectionDAG node types and value types. 4363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// 4463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnernamespace ISD { 4563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner //===--------------------------------------------------------------------===// 4663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// ISD::NodeType enum - This enum defines all of the operators valid in a 4763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// SelectionDAG. 4863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 4963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner enum NodeType { 508a496fcffdcba757412fc5cc6c772260ccfde000Chris Lattner // EntryToken - This is the marker used to indicate the start of the region. 518a496fcffdcba757412fc5cc6c772260ccfde000Chris Lattner EntryToken, 528a496fcffdcba757412fc5cc6c772260ccfde000Chris Lattner 538c4bde36a339b1c538002e819daff84caae4cbadReid Spencer // Token factor - This node takes multiple tokens as input and produces a 548a496fcffdcba757412fc5cc6c772260ccfde000Chris Lattner // single token result. This is used to represent the fact that the operand 558a496fcffdcba757412fc5cc6c772260ccfde000Chris Lattner // operators are independent of each other. 568a496fcffdcba757412fc5cc6c772260ccfde000Chris Lattner TokenFactor, 57f7f3d321916c1ef3a82b2a175a368a148b1ede46Nate Begeman 58f7f3d321916c1ef3a82b2a175a368a148b1ede46Nate Begeman // AssertSext, AssertZext - These nodes record if a register contains a 59f7f3d321916c1ef3a82b2a175a368a148b1ede46Nate Begeman // value that has already been zero or sign extended from a narrower type. 60f7f3d321916c1ef3a82b2a175a368a148b1ede46Nate Begeman // These nodes take two operands. The first is the node that has already 61f7f3d321916c1ef3a82b2a175a368a148b1ede46Nate Begeman // been extended, and the second is a value type node indicating the width 62f7f3d321916c1ef3a82b2a175a368a148b1ede46Nate Begeman // of the extension 63f7f3d321916c1ef3a82b2a175a368a148b1ede46Nate Begeman AssertSext, AssertZext, 64ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 658a496fcffdcba757412fc5cc6c772260ccfde000Chris Lattner // Various leaf nodes. 661ab7d859cf5c490612799d7e132c0b1c39f8f497Evan Cheng STRING, BasicBlock, VALUETYPE, CONDCODE, Register, 671ab7d859cf5c490612799d7e132c0b1c39f8f497Evan Cheng Constant, ConstantFP, 681ab7d859cf5c490612799d7e132c0b1c39f8f497Evan Cheng GlobalAddress, FrameIndex, ConstantPool, ExternalSymbol, 691ab7d859cf5c490612799d7e132c0b1c39f8f497Evan Cheng 70ac0d7238258defe72b1aad53d7f48201b91df795Chris Lattner // TargetConstant* - Like Constant*, but the DAG does not do any folding or 71ac0d7238258defe72b1aad53d7f48201b91df795Chris Lattner // simplification of the constant. 72056f9f61d071c6c583951678f2bf543a1316efccChris Lattner TargetConstant, 73ac0d7238258defe72b1aad53d7f48201b91df795Chris Lattner TargetConstantFP, 74f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner 75f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner // TargetGlobalAddress - Like GlobalAddress, but the DAG does no folding or 76f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner // anything else with this node, and this is valid in the target-specific 77f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner // dag, turning into a GlobalAddress operand. 78f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner TargetGlobalAddress, 79afb2dd43de61f4585e75d1f3ab93a9ac4b3b7592Chris Lattner TargetFrameIndex, 80aaaaf79d4aaa172c2f2ae0e327bbae523a045bf5Chris Lattner TargetConstantPool, 812a2de66db2093a5bc1fd620d1b6ae7992a552b24Andrew Lenharth TargetExternalSymbol, 8272601cac6051a9571ca4db3b32d6a73e40b40bd1Chris Lattner 83ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// RESULT = INTRINSIC_WO_CHAIN(INTRINSICID, arg1, arg2, ...) 84ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// This node represents a target intrinsic function with no side effects. 85ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// The first operand is the ID number of the intrinsic from the 86ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// llvm::Intrinsic namespace. The operands to the intrinsic follow. The 87ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// node has returns the result of the intrinsic. 88ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner INTRINSIC_WO_CHAIN, 89ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner 90ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// RESULT,OUTCHAIN = INTRINSIC_W_CHAIN(INCHAIN, INTRINSICID, arg1, ...) 91ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// This node represents a target intrinsic function with side effects that 92ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// returns a result. The first operand is a chain pointer. The second is 93ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// the ID number of the intrinsic from the llvm::Intrinsic namespace. The 94ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// operands to the intrinsic follow. The node has two results, the result 95ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// of the intrinsic and an output chain. 96ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner INTRINSIC_W_CHAIN, 9763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 98ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// OUTCHAIN = INTRINSIC_VOID(INCHAIN, INTRINSICID, arg1, arg2, ...) 99ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// This node represents a target intrinsic function with side effects that 100ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// does not return a result. The first operand is a chain pointer. The 101ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// second is the ID number of the intrinsic from the llvm::Intrinsic 102ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner /// namespace. The operands to the intrinsic follow. 103ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner INTRINSIC_VOID, 104ef8ef916348ad0da964687358e8be614e2470d67Chris Lattner 105d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner // CopyToReg - This node has three operands: a chain, a register number to 106d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner // set to this value, and a value. 10763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner CopyToReg, 10863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 10963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // CopyFromReg - This node indicates that the input value is a virtual or 11063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // physical register that is defined outside of the scope of this 11118c2f13e0f9d0e5d6227cf6d1881e9ee3d1b6109Chris Lattner // SelectionDAG. The register is available from the RegSDNode object. 11263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner CopyFromReg, 11363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 114fc1b1dad88a256ab5ab16dd548ad82df8efa2ca9Nate Begeman // UNDEF - An undefined node 115fc1b1dad88a256ab5ab16dd548ad82df8efa2ca9Nate Begeman UNDEF, 116681ee1c1c3f7c3558c29a5bf3a668c1d0784c399Chris Lattner 117681ee1c1c3f7c3558c29a5bf3a668c1d0784c399Chris Lattner /// FORMAL_ARGUMENTS(CC#, ISVARARG) - This node represents the formal 118681ee1c1c3f7c3558c29a5bf3a668c1d0784c399Chris Lattner /// arguments for a function. CC# is a Constant value indicating the 119681ee1c1c3f7c3558c29a5bf3a668c1d0784c399Chris Lattner /// calling convention of the function, and ISVARARG is a flag that 120681ee1c1c3f7c3558c29a5bf3a668c1d0784c399Chris Lattner /// indicates whether the function is varargs or not. This node has one 121681ee1c1c3f7c3558c29a5bf3a668c1d0784c399Chris Lattner /// result value for each incoming argument, and is typically custom 122681ee1c1c3f7c3558c29a5bf3a668c1d0784c399Chris Lattner /// legalized. 123681ee1c1c3f7c3558c29a5bf3a668c1d0784c399Chris Lattner FORMAL_ARGUMENTS, 124fc1b1dad88a256ab5ab16dd548ad82df8efa2ca9Nate Begeman 12563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // EXTRACT_ELEMENT - This is used to get the first or second (determined by 12663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // a Constant, which is required to be operand #1), element of the aggregate 12763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // value specified as operand #0. This is only for use before legalization, 12863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // for values that will be broken into multiple registers. 12963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner EXTRACT_ELEMENT, 13063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 13163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // BUILD_PAIR - This is the opposite of EXTRACT_ELEMENT in some ways. Given 13263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // two values of the same integer value type, this produces a value twice as 13363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // big. Like EXTRACT_ELEMENT, this can only be used before legalization. 13463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner BUILD_PAIR, 135006e3e3649b2e19762b7bc134292b781569685b0Chris Lattner 136006e3e3649b2e19762b7bc134292b781569685b0Chris Lattner // MERGE_VALUES - This node takes multiple discrete operands and returns 137006e3e3649b2e19762b7bc134292b781569685b0Chris Lattner // them all as its individual results. This nodes has exactly the same 138006e3e3649b2e19762b7bc134292b781569685b0Chris Lattner // number of inputs and outputs, and is only valid before legalization. 139006e3e3649b2e19762b7bc134292b781569685b0Chris Lattner // This node is useful for some pieces of the code generator that want to 140006e3e3649b2e19762b7bc134292b781569685b0Chris Lattner // think about a single node with multiple results, not multiple nodes. 141006e3e3649b2e19762b7bc134292b781569685b0Chris Lattner MERGE_VALUES, 14263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 143615c2d0920862ae7d4d766ee3da660ecf2197308Chris Lattner // Simple integer binary arithmetic operators. 144bede0b7dd7c70792b09f6d38f6f2dfe7c1feb1d1Chris Lattner ADD, SUB, MUL, SDIV, UDIV, SREM, UREM, 145615c2d0920862ae7d4d766ee3da660ecf2197308Chris Lattner 146551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman // Carry-setting nodes for multiple precision addition and subtraction. 147551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman // These nodes take two operands of the same value type, and produce two 148551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman // results. The first result is the normal add or sub result, the second 149551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman // result is the carry flag result. 150551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman ADDC, SUBC, 151551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman 152551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman // Carry-using nodes for multiple precision addition and subtraction. These 153551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman // nodes take three operands: The first two are the normal lhs and rhs to 154551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman // the add or sub, and the third is the input carry flag. These nodes 155551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman // produce two results; the normal result of the add or sub, and the output 156551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman // carry flag. These nodes both read and write a carry flag to allow them 157551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman // to them to be chained together for add and sub of arbitrarily large 158551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman // values. 159551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman ADDE, SUBE, 160551bf3f80058a026b6a128dffd5530019e1df1b9Nate Begeman 161615c2d0920862ae7d4d766ee3da660ecf2197308Chris Lattner // Simple binary floating point operators. 162615c2d0920862ae7d4d766ee3da660ecf2197308Chris Lattner FADD, FSUB, FMUL, FDIV, FREM, 16338bf3bffe3abfd00169d6dcf4fad7e2197808dbfChris Lattner 16438bf3bffe3abfd00169d6dcf4fad7e2197808dbfChris Lattner // FCOPYSIGN(X, Y) - Return the value of X with the sign of Y. NOTE: This 16538bf3bffe3abfd00169d6dcf4fad7e2197808dbfChris Lattner // DAG node does not require that X and Y have the same type, just that they 16638bf3bffe3abfd00169d6dcf4fad7e2197808dbfChris Lattner // are both floating point. X and the result must have the same type. 16738bf3bffe3abfd00169d6dcf4fad7e2197808dbfChris Lattner // FCOPYSIGN(f32, f64) is allowed. 16838bf3bffe3abfd00169d6dcf4fad7e2197808dbfChris Lattner FCOPYSIGN, 169fa984b61e42c94ad7e66cf2880ca826dba488d30Chris Lattner 17022232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// VBUILD_VECTOR(ELT1, ELT2, ELT3, ELT4,..., COUNT,TYPE) - Return a vector 17122232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// with the specified, possibly variable, elements. The number of elements 17222232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// is required to be a power of two. 17322232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner VBUILD_VECTOR, 174bede0b7dd7c70792b09f6d38f6f2dfe7c1feb1d1Chris Lattner 17522232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// BUILD_VECTOR(ELT1, ELT2, ELT3, ELT4,...) - Return a vector 17622232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// with the specified, possibly variable, elements. The number of elements 17722232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// is required to be a power of two. 17822232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner BUILD_VECTOR, 17922232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner 180fa984b61e42c94ad7e66cf2880ca826dba488d30Chris Lattner /// VINSERT_VECTOR_ELT(VECTOR, VAL, IDX, COUNT,TYPE) - Given a vector 181fa984b61e42c94ad7e66cf2880ca826dba488d30Chris Lattner /// VECTOR, an element ELEMENT, and a (potentially variable) index IDX, 182fa984b61e42c94ad7e66cf2880ca826dba488d30Chris Lattner /// return an vector with the specified element of VECTOR replaced with VAL. 183fa984b61e42c94ad7e66cf2880ca826dba488d30Chris Lattner /// COUNT and TYPE specify the type of vector, as is standard for V* nodes. 184fa984b61e42c94ad7e66cf2880ca826dba488d30Chris Lattner VINSERT_VECTOR_ELT, 185fa984b61e42c94ad7e66cf2880ca826dba488d30Chris Lattner 18622232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// INSERT_VECTOR_ELT(VECTOR, VAL, IDX) - Returns VECTOR (a legal packed 18722232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// type) with the element at IDX replaced with VAL. 18822232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner INSERT_VECTOR_ELT, 1894b8db6c453fd3a7b07bc7c0e8092018530701ffdChris Lattner 1904b8db6c453fd3a7b07bc7c0e8092018530701ffdChris Lattner /// VEXTRACT_VECTOR_ELT(VECTOR, IDX) - Returns a single element from VECTOR 1914b8db6c453fd3a7b07bc7c0e8092018530701ffdChris Lattner /// (an MVT::Vector value) identified by the (potentially variable) element 1924b8db6c453fd3a7b07bc7c0e8092018530701ffdChris Lattner /// number IDX. 1934b8db6c453fd3a7b07bc7c0e8092018530701ffdChris Lattner VEXTRACT_VECTOR_ELT, 1944b8db6c453fd3a7b07bc7c0e8092018530701ffdChris Lattner 1954b8db6c453fd3a7b07bc7c0e8092018530701ffdChris Lattner /// EXTRACT_VECTOR_ELT(VECTOR, IDX) - Returns a single element from VECTOR 1964b8db6c453fd3a7b07bc7c0e8092018530701ffdChris Lattner /// (a legal packed type vector) identified by the (potentially variable) 1974b8db6c453fd3a7b07bc7c0e8092018530701ffdChris Lattner /// element number IDX. 1984b8db6c453fd3a7b07bc7c0e8092018530701ffdChris Lattner EXTRACT_VECTOR_ELT, 19922232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner 200eda6dfd5e46f2475eb1a9d79750bdd6be6b7e94aChris Lattner /// VVECTOR_SHUFFLE(VEC1, VEC2, SHUFFLEVEC, COUNT,TYPE) - Returns a vector, 201eda6dfd5e46f2475eb1a9d79750bdd6be6b7e94aChris Lattner /// of the same type as VEC1/VEC2. SHUFFLEVEC is a VBUILD_VECTOR of 202eda6dfd5e46f2475eb1a9d79750bdd6be6b7e94aChris Lattner /// constant int values that indicate which value each result element will 203eda6dfd5e46f2475eb1a9d79750bdd6be6b7e94aChris Lattner /// get. The elements of VEC1/VEC2 are enumerated in order. This is quite 204eda6dfd5e46f2475eb1a9d79750bdd6be6b7e94aChris Lattner /// similar to the Altivec 'vperm' instruction, except that the indices must 205eda6dfd5e46f2475eb1a9d79750bdd6be6b7e94aChris Lattner /// be constants and are in terms of the element size of VEC1/VEC2, not in 206eda6dfd5e46f2475eb1a9d79750bdd6be6b7e94aChris Lattner /// terms of bytes. 207eda6dfd5e46f2475eb1a9d79750bdd6be6b7e94aChris Lattner VVECTOR_SHUFFLE, 208eda6dfd5e46f2475eb1a9d79750bdd6be6b7e94aChris Lattner 20949c6d3eba8869cf945f6c55ea243466e2b406fe8Chris Lattner /// VECTOR_SHUFFLE(VEC1, VEC2, SHUFFLEVEC) - Returns a vector, of the same 21049c6d3eba8869cf945f6c55ea243466e2b406fe8Chris Lattner /// type as VEC1/VEC2. SHUFFLEVEC is a BUILD_VECTOR of constant int values 21149c6d3eba8869cf945f6c55ea243466e2b406fe8Chris Lattner /// (regardless of whether its datatype is legal or not) that indicate 21249c6d3eba8869cf945f6c55ea243466e2b406fe8Chris Lattner /// which value each result element will get. The elements of VEC1/VEC2 are 21349c6d3eba8869cf945f6c55ea243466e2b406fe8Chris Lattner /// enumerated in order. This is quite similar to the Altivec 'vperm' 21449c6d3eba8869cf945f6c55ea243466e2b406fe8Chris Lattner /// instruction, except that the indices must be constants and are in terms 21549c6d3eba8869cf945f6c55ea243466e2b406fe8Chris Lattner /// of the element size of VEC1/VEC2, not in terms of bytes. 21649c6d3eba8869cf945f6c55ea243466e2b406fe8Chris Lattner VECTOR_SHUFFLE, 21749c6d3eba8869cf945f6c55ea243466e2b406fe8Chris Lattner 218762f2ae0c4c07a93fd2f830fb079692dbccef85cChris Lattner /// X = VBIT_CONVERT(Y) and X = VBIT_CONVERT(Y, COUNT,TYPE) - This node 219762f2ae0c4c07a93fd2f830fb079692dbccef85cChris Lattner /// represents a conversion from or to an ISD::Vector type. 220762f2ae0c4c07a93fd2f830fb079692dbccef85cChris Lattner /// 221762f2ae0c4c07a93fd2f830fb079692dbccef85cChris Lattner /// This is lowered to a BIT_CONVERT of the appropriate input/output types. 222762f2ae0c4c07a93fd2f830fb079692dbccef85cChris Lattner /// The input and output are required to have the same size and at least one 223313f13c5aa9f20ed58422e24c247c05f4f0af7ffChris Lattner /// is required to be a vector (if neither is a vector, just use 224313f13c5aa9f20ed58422e24c247c05f4f0af7ffChris Lattner /// BIT_CONVERT). 225762f2ae0c4c07a93fd2f830fb079692dbccef85cChris Lattner /// 226313f13c5aa9f20ed58422e24c247c05f4f0af7ffChris Lattner /// If the result is a vector, this takes three operands (like any other 227313f13c5aa9f20ed58422e24c247c05f4f0af7ffChris Lattner /// vector producer) which indicate the size and type of the vector result. 228762f2ae0c4c07a93fd2f830fb079692dbccef85cChris Lattner /// Otherwise it takes one input. 229762f2ae0c4c07a93fd2f830fb079692dbccef85cChris Lattner VBIT_CONVERT, 230762f2ae0c4c07a93fd2f830fb079692dbccef85cChris Lattner 23122232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// BINOP(LHS, RHS, COUNT,TYPE) 23222232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// Simple abstract vector operators. Unlike the integer and floating point 23322232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// binary operators, these nodes also take two additional operands: 23422232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// a constant element count, and a value type node indicating the type of 23522232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// the elements. The order is count, type, op0, op1. All vector opcodes, 23622232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// including VLOAD and VConstant must currently have count and type as 23722232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner /// their last two operands. 23822232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner VADD, VSUB, VMUL, VSDIV, VUDIV, 23922232f659bec0f4c23ec46445d3bd3c4deb68686Chris Lattner VAND, VOR, VXOR, 240210721aecc0916315f61660dc387a96b89ec423bChris Lattner 24149027e639eb40eef51837b55a3af17dcdb4d400aChris Lattner /// VSELECT(COND,LHS,RHS, COUNT,TYPE) - Select for MVT::Vector values. 24249027e639eb40eef51837b55a3af17dcdb4d400aChris Lattner /// COND is a boolean value. This node return LHS if COND is true, RHS if 24349027e639eb40eef51837b55a3af17dcdb4d400aChris Lattner /// COND is false. 24449027e639eb40eef51837b55a3af17dcdb4d400aChris Lattner VSELECT, 24549027e639eb40eef51837b55a3af17dcdb4d400aChris Lattner 246210721aecc0916315f61660dc387a96b89ec423bChris Lattner /// SCALAR_TO_VECTOR(VAL) - This represents the operation of loading a 247210721aecc0916315f61660dc387a96b89ec423bChris Lattner /// scalar value into the low element of the resultant vector type. The top 248210721aecc0916315f61660dc387a96b89ec423bChris Lattner /// elements of the vector are undefined. 249210721aecc0916315f61660dc387a96b89ec423bChris Lattner SCALAR_TO_VECTOR, 250210721aecc0916315f61660dc387a96b89ec423bChris Lattner 251bede0b7dd7c70792b09f6d38f6f2dfe7c1feb1d1Chris Lattner // MULHU/MULHS - Multiply high - Multiply two integers of type iN, producing 252bede0b7dd7c70792b09f6d38f6f2dfe7c1feb1d1Chris Lattner // an unsigned/signed value of type i[2*n], then return the top part. 253bede0b7dd7c70792b09f6d38f6f2dfe7c1feb1d1Chris Lattner MULHU, MULHS, 25463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 25535ef913ec21de0f4f1b39c811b4335438717a9b8Nate Begeman // Bitwise operators - logical and, logical or, logical xor, shift left, 25635ef913ec21de0f4f1b39c811b4335438717a9b8Nate Begeman // shift right algebraic (shift in sign bits), shift right logical (shift in 25735ef913ec21de0f4f1b39c811b4335438717a9b8Nate Begeman // zeroes), rotate left, rotate right, and byteswap. 25835ef913ec21de0f4f1b39c811b4335438717a9b8Nate Begeman AND, OR, XOR, SHL, SRA, SRL, ROTL, ROTR, BSWAP, 25963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 260691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth // Counting operators 261691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth CTTZ, CTLZ, CTPOP, 262691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth 263fa984b61e42c94ad7e66cf2880ca826dba488d30Chris Lattner // Select(COND, TRUEVAL, FALSEVAL) 2649373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman SELECT, 2659373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman 2669373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman // Select with condition operator - This selects between a true value and 2679373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman // a false value (ops #2 and #3) based on the boolean result of comparing 2689373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman // the lhs and rhs (ops #0 and #1) of a conditional expression with the 2699373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman // condition code in op #4, a CondCodeSDNode. 2709373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman SELECT_CC, 27163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 27263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // SetCC operator - This evaluates to a boolean (i1) true value if the 2737cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner // condition is true. The operands to this are the left and right operands 2747cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner // to compare (ops #0, and #1) and the condition code to compare them with 2757cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner // (op #2) as a CondCodeSDNode. 27663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETCC, 27763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 27814c5b53c037a6a175118ed1a7d7e0e74153d56c4Chris Lattner // SHL_PARTS/SRA_PARTS/SRL_PARTS - These operators are used for expanded 27914c5b53c037a6a175118ed1a7d7e0e74153d56c4Chris Lattner // integer shift operations, just like ADD/SUB_PARTS. The operation 28014c5b53c037a6a175118ed1a7d7e0e74153d56c4Chris Lattner // ordering is: 2816b8f2d649c1e96e0222be9de1e5d6c79e3eef021Chris Lattner // [Lo,Hi] = op [LoLHS,HiLHS], Amt 28214c5b53c037a6a175118ed1a7d7e0e74153d56c4Chris Lattner SHL_PARTS, SRA_PARTS, SRL_PARTS, 28314c5b53c037a6a175118ed1a7d7e0e74153d56c4Chris Lattner 28463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // Conversion operators. These are all single input single output 28563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // operations. For all of these, the result type must be strictly 28663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // wider or narrower (depending on the operation) than the source 28763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // type. 28863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 28963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // SIGN_EXTEND - Used for integer types, replicating the sign bit 29063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // into new bits. 29163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SIGN_EXTEND, 29263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 29363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // ZERO_EXTEND - Used for integer types, zeroing the new bits. 29463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner ZERO_EXTEND, 29563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 2967e122db776d9731dfe5acb7faa9da4f3c33ee5a1Chris Lattner // ANY_EXTEND - Used for integer types. The high bits are undefined. 2977e122db776d9731dfe5acb7faa9da4f3c33ee5a1Chris Lattner ANY_EXTEND, 2987e122db776d9731dfe5acb7faa9da4f3c33ee5a1Chris Lattner 29963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // TRUNCATE - Completely drop the high bits. 30063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner TRUNCATE, 30163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 3021645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner // [SU]INT_TO_FP - These operators convert integers (whose interpreted sign 3031645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner // depends on the first letter) to floating point. 3041645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner SINT_TO_FP, 3051645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner UINT_TO_FP, 3061645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner 307ea5761068956b157832d67bcc9d5e8ba706f545cChris Lattner // SIGN_EXTEND_INREG - This operator atomically performs a SHL/SRA pair to 308ea5761068956b157832d67bcc9d5e8ba706f545cChris Lattner // sign extend a small value in a large integer register (e.g. sign 309ea5761068956b157832d67bcc9d5e8ba706f545cChris Lattner // extending the low 8 bits of a 32-bit register to fill the top 24 bits 31015e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner // with the 7th bit). The size of the smaller type is indicated by the 1th 31115e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner // operand, a ValueType node. 312859157daee6a4b49e99921832e1dde065167b317Chris Lattner SIGN_EXTEND_INREG, 313859157daee6a4b49e99921832e1dde065167b317Chris Lattner 3141645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner // FP_TO_[US]INT - Convert a floating point value to a signed or unsigned 3151645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner // integer. 3161645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner FP_TO_SINT, 3171645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner FP_TO_UINT, 3181645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner 31963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // FP_ROUND - Perform a rounding operation from the current 320859157daee6a4b49e99921832e1dde065167b317Chris Lattner // precision down to the specified precision (currently always 64->32). 32163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner FP_ROUND, 32263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 323859157daee6a4b49e99921832e1dde065167b317Chris Lattner // FP_ROUND_INREG - This operator takes a floating point register, and 324859157daee6a4b49e99921832e1dde065167b317Chris Lattner // rounds it to a floating point value. It then promotes it and returns it 325859157daee6a4b49e99921832e1dde065167b317Chris Lattner // in a register of the same size. This operation effectively just discards 32615e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner // excess precision. The type to round down to is specified by the 1th 32715e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner // operation, a VTSDNode (currently always 64->32->64). 328859157daee6a4b49e99921832e1dde065167b317Chris Lattner FP_ROUND_INREG, 329859157daee6a4b49e99921832e1dde065167b317Chris Lattner 33063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // FP_EXTEND - Extend a smaller FP type into a larger FP type. 33163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner FP_EXTEND, 33263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 3331ac1c4b9d2877bd2d15bcf578bc617a605d815b0Chris Lattner // BIT_CONVERT - Theis operator converts between integer and FP values, as 3341ac1c4b9d2877bd2d15bcf578bc617a605d815b0Chris Lattner // if one was stored to memory as integer and the other was loaded from the 33580f55abf009c86bc03821e10746832f88f8a735fChris Lattner // same address (or equivalently for vector format conversions, etc). The 33680f55abf009c86bc03821e10746832f88f8a735fChris Lattner // source and result are required to have the same bit size (e.g. 33780f55abf009c86bc03821e10746832f88f8a735fChris Lattner // f32 <-> i32). This can also be used for int-to-int or fp-to-fp 33880f55abf009c86bc03821e10746832f88f8a735fChris Lattner // conversions, but that is a noop, deleted by getNode(). 3391ac1c4b9d2877bd2d15bcf578bc617a605d815b0Chris Lattner BIT_CONVERT, 3401ac1c4b9d2877bd2d15bcf578bc617a605d815b0Chris Lattner 3417f64464ff100bcb7661b65c74c13dc88e83eb65bChris Lattner // FNEG, FABS, FSQRT, FSIN, FCOS - Perform unary floating point negation, 3427f64464ff100bcb7661b65c74c13dc88e83eb65bChris Lattner // absolute value, square root, sine and cosine operations. 3437f64464ff100bcb7661b65c74c13dc88e83eb65bChris Lattner FNEG, FABS, FSQRT, FSIN, FCOS, 34438bf3bffe3abfd00169d6dcf4fad7e2197808dbfChris Lattner 3451cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // Other operators. LOAD and STORE have token chains as their first 346f7db8c69a12582c7d1ff7c5f25c948dca2dbf7dcChris Lattner // operand, then the same operands as an LLVM load/store instruction, then a 347f7db8c69a12582c7d1ff7c5f25c948dca2dbf7dcChris Lattner // SRCVALUE node that provides alias analysis information. 34863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner LOAD, STORE, 3495fbb5d2459a5410590f285250faa604576308a93Nate Begeman 3501ab7d859cf5c490612799d7e132c0b1c39f8f497Evan Cheng // Abstract vector version of LOAD. VLOAD has a constant element count as 3511ab7d859cf5c490612799d7e132c0b1c39f8f497Evan Cheng // the first operand, followed by a value type node indicating the type of 3521ab7d859cf5c490612799d7e132c0b1c39f8f497Evan Cheng // the elements, a token chain, a pointer operand, and a SRCVALUE node. 3535fbb5d2459a5410590f285250faa604576308a93Nate Begeman VLOAD, 35463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 3555f056bf4b862a7c31388a68711dd3b3ed5de2be8Chris Lattner // EXTLOAD, SEXTLOAD, ZEXTLOAD - These three operators all load a value from 3565f056bf4b862a7c31388a68711dd3b3ed5de2be8Chris Lattner // memory and extend them to a larger value (e.g. load a byte into a word 3575f056bf4b862a7c31388a68711dd3b3ed5de2be8Chris Lattner // register). All three of these have four operands, a token chain, a 3585f056bf4b862a7c31388a68711dd3b3ed5de2be8Chris Lattner // pointer to load from, a SRCVALUE for alias analysis, and a VALUETYPE node 3595f056bf4b862a7c31388a68711dd3b3ed5de2be8Chris Lattner // indicating the type to load. 3601cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // 3611cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // SEXTLOAD loads the integer operand and sign extends it to a larger 3621cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // integer result type. 3631cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // ZEXTLOAD loads the integer operand and zero extends it to a larger 3641cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // integer result type. 365210721aecc0916315f61660dc387a96b89ec423bChris Lattner // EXTLOAD is used for three things: floating point extending loads, 366210721aecc0916315f61660dc387a96b89ec423bChris Lattner // integer extending loads [the top bits are undefined], and vector 367210721aecc0916315f61660dc387a96b89ec423bChris Lattner // extending loads [load into low elt]. 3681cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner EXTLOAD, SEXTLOAD, ZEXTLOAD, 3691cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner 3701cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // TRUNCSTORE - This operators truncates (for integer) or rounds (for FP) a 3711cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // value and stores it to memory in one operation. This can be used for 372f7db8c69a12582c7d1ff7c5f25c948dca2dbf7dcChris Lattner // either integer or floating point operands. The first four operands of 373f7db8c69a12582c7d1ff7c5f25c948dca2dbf7dcChris Lattner // this are the same as a standard store. The fifth is the ValueType to 374f7db8c69a12582c7d1ff7c5f25c948dca2dbf7dcChris Lattner // store it as (which will be smaller than the source value). 3751cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner TRUNCSTORE, 3761cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner 37763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // DYNAMIC_STACKALLOC - Allocate some number of bytes on the stack aligned 37863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // to a specified boundary. The first operand is the token chain, the 37963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // second is the number of bytes to allocate, and the third is the alignment 38074fe063e90045931eefaba561730e6a9175ced78Chris Lattner // boundary. The size is guaranteed to be a multiple of the stack 38174fe063e90045931eefaba561730e6a9175ced78Chris Lattner // alignment, and the alignment is guaranteed to be bigger than the stack 38274fe063e90045931eefaba561730e6a9175ced78Chris Lattner // alignment (if required) or 0 to get standard stack alignment. 38363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner DYNAMIC_STACKALLOC, 38463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 38563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // Control flow instructions. These all have token chains. 386ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 38763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // BR - Unconditional branch. The first operand is the chain 38863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // operand, the second is the MBB to branch to. 38963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner BR, 39063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 39163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // BRCOND - Conditional branch. The first operand is the chain, 39263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // the second is the condition, the third is the block to branch 39363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // to if the condition is true. 39463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner BRCOND, 39563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 3967cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman // BR_CC - Conditional branch. The behavior is like that of SELECT_CC, in 3977cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman // that the condition is represented as condition code, and two nodes to 3987cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman // compare, rather than as a combined SetCC node. The operands in order are 3997cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman // chain, cc, lhs, rhs, block to branch to if condition is true. 4007cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman BR_CC, 4017cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman 40263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // RET - Return from function. The first operand is the chain, 40363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // and any subsequent operands are the return values for the 40463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // function. This operation can have variable number of operands. 40563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner RET, 40663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 4077572eb81eee93b0c666ddc5f5ff0ff72f17574fdChris Lattner // INLINEASM - Represents an inline asm block. This node always has two 4087572eb81eee93b0c666ddc5f5ff0ff72f17574fdChris Lattner // return values: a chain and a flag result. The inputs are as follows: 4097572eb81eee93b0c666ddc5f5ff0ff72f17574fdChris Lattner // Operand #0 : Input chain. 4107572eb81eee93b0c666ddc5f5ff0ff72f17574fdChris Lattner // Operand #1 : a ExternalSymbolSDNode with a pointer to the asm string. 4117572eb81eee93b0c666ddc5f5ff0ff72f17574fdChris Lattner // Operand #2n+2: A RegisterNode. 4127572eb81eee93b0c666ddc5f5ff0ff72f17574fdChris Lattner // Operand #2n+3: A TargetConstant, indicating if the reg is a use/def 4137572eb81eee93b0c666ddc5f5ff0ff72f17574fdChris Lattner // Operand #last: Optional, an incoming flag. 4147572eb81eee93b0c666ddc5f5ff0ff72f17574fdChris Lattner INLINEASM, 415ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner 4165a67afc118d47a0061ca9809c763451ea3125306Chris Lattner // STACKSAVE - STACKSAVE has one operand, an input chain. It produces a 4175a67afc118d47a0061ca9809c763451ea3125306Chris Lattner // value, the same type as the pointer type for the system, and an output 4185a67afc118d47a0061ca9809c763451ea3125306Chris Lattner // chain. 4195a67afc118d47a0061ca9809c763451ea3125306Chris Lattner STACKSAVE, 4205a67afc118d47a0061ca9809c763451ea3125306Chris Lattner 4215a67afc118d47a0061ca9809c763451ea3125306Chris Lattner // STACKRESTORE has two operands, an input chain and a pointer to restore to 4225a67afc118d47a0061ca9809c763451ea3125306Chris Lattner // it returns an output chain. 4235a67afc118d47a0061ca9809c763451ea3125306Chris Lattner STACKRESTORE, 4245a67afc118d47a0061ca9809c763451ea3125306Chris Lattner 425ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner // MEMSET/MEMCPY/MEMMOVE - The first operand is the chain, and the rest 426ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner // correspond to the operands of the LLVM intrinsic functions. The only 427ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner // result is a token chain. The alignment argument is guaranteed to be a 428ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner // Constant node. 429ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner MEMSET, 430ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner MEMMOVE, 431ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner MEMCPY, 432ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 43316cd04d26c53c6f81313cafb85f6c0e7a07cdff6Chris Lattner // CALLSEQ_START/CALLSEQ_END - These operators mark the beginning and end of 43416cd04d26c53c6f81313cafb85f6c0e7a07cdff6Chris Lattner // a call sequence, and carry arbitrary information that target might want 43516cd04d26c53c6f81313cafb85f6c0e7a07cdff6Chris Lattner // to know. The first operand is a chain, the rest are specified by the 43616cd04d26c53c6f81313cafb85f6c0e7a07cdff6Chris Lattner // target and not touched by the DAG optimizers. 43716cd04d26c53c6f81313cafb85f6c0e7a07cdff6Chris Lattner CALLSEQ_START, // Beginning of a call sequence 43816cd04d26c53c6f81313cafb85f6c0e7a07cdff6Chris Lattner CALLSEQ_END, // End of a call sequence 439acc398c195a697795bff3245943d104eb19192b9Nate Begeman 440acc398c195a697795bff3245943d104eb19192b9Nate Begeman // VAARG - VAARG has three operands: an input chain, a pointer, and a 441acc398c195a697795bff3245943d104eb19192b9Nate Begeman // SRCVALUE. It returns a pair of values: the vaarg value and a new chain. 442acc398c195a697795bff3245943d104eb19192b9Nate Begeman VAARG, 443acc398c195a697795bff3245943d104eb19192b9Nate Begeman 444acc398c195a697795bff3245943d104eb19192b9Nate Begeman // VACOPY - VACOPY has five operands: an input chain, a destination pointer, 445acc398c195a697795bff3245943d104eb19192b9Nate Begeman // a source pointer, a SRCVALUE for the destination, and a SRCVALUE for the 446acc398c195a697795bff3245943d104eb19192b9Nate Begeman // source. 447acc398c195a697795bff3245943d104eb19192b9Nate Begeman VACOPY, 448acc398c195a697795bff3245943d104eb19192b9Nate Begeman 449acc398c195a697795bff3245943d104eb19192b9Nate Begeman // VAEND, VASTART - VAEND and VASTART have three operands: an input chain, a 450acc398c195a697795bff3245943d104eb19192b9Nate Begeman // pointer, and a SRCVALUE. 451acc398c195a697795bff3245943d104eb19192b9Nate Begeman VAEND, VASTART, 45263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 45321074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner // SRCVALUE - This corresponds to a Value*, and is used to associate memory 45421074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner // locations with their value. This allows one use alias analysis 45521074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner // information in the backend. 45621074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner SRCVALUE, 45721074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner 458e3f570c3f9048bc71a9f5841343eae63719e439bMisha Brukman // PCMARKER - This corresponds to the pcmarker intrinsic. 45995762124a1d781cc0f8cbc4c22e9c5c1358d7ea0Andrew Lenharth PCMARKER, 46063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 461aeef8fc5c6124a34bd2a723071a3982b559c26f2Andrew Lenharth // READCYCLECOUNTER - This corresponds to the readcyclecounter intrinsic. 4628b91c77385a055474d271aa8c10f0382fdeaafebAndrew Lenharth // The only operand is a chain and a value and a chain are produced. The 4638b91c77385a055474d271aa8c10f0382fdeaafebAndrew Lenharth // value is the contents of the architecture specific cycle counter like 4648b91c77385a055474d271aa8c10f0382fdeaafebAndrew Lenharth // register (or other high accuracy low latency clock source) 465aeef8fc5c6124a34bd2a723071a3982b559c26f2Andrew Lenharth READCYCLECOUNTER, 466aeef8fc5c6124a34bd2a723071a3982b559c26f2Andrew Lenharth 467d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner // HANDLENODE node - Used as a handle for various purposes. 468d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner HANDLENODE, 4692d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth 47047725d059b259f8a0c145478300c9e9caa006b59Chris Lattner // LOCATION - This node is used to represent a source location for debug 47147725d059b259f8a0c145478300c9e9caa006b59Chris Lattner // info. It takes token chain as input, then a line number, then a column 47247725d059b259f8a0c145478300c9e9caa006b59Chris Lattner // number, then a filename, then a working dir. It produces a token chain 47347725d059b259f8a0c145478300c9e9caa006b59Chris Lattner // as output. 47447725d059b259f8a0c145478300c9e9caa006b59Chris Lattner LOCATION, 47547725d059b259f8a0c145478300c9e9caa006b59Chris Lattner 476f5395cee6a24699a016b2e379cf4804b09ce5030Jim Laskey // DEBUG_LOC - This node is used to represent source line information 477abf6d1784b2d4bbcb7d20ab64881f77d755059f6Jim Laskey // embedded in the code. It takes a token chain as input, then a line 478abf6d1784b2d4bbcb7d20ab64881f77d755059f6Jim Laskey // number, then a column then a file id (provided by MachineDebugInfo.) It 479abf6d1784b2d4bbcb7d20ab64881f77d755059f6Jim Laskey // produces a token chain as output. 480f5395cee6a24699a016b2e379cf4804b09ce5030Jim Laskey DEBUG_LOC, 481f5395cee6a24699a016b2e379cf4804b09ce5030Jim Laskey 482abf6d1784b2d4bbcb7d20ab64881f77d755059f6Jim Laskey // DEBUG_LABEL - This node is used to mark a location in the code where a 483abf6d1784b2d4bbcb7d20ab64881f77d755059f6Jim Laskey // label should be generated for use by the debug information. It takes a 484df0f659517f688d18922d5b377380366c8a6dfe9Jim Laskey // token chain as input and then a unique id (provided by MachineDebugInfo.) 485df0f659517f688d18922d5b377380366c8a6dfe9Jim Laskey // It produces a token chain as output. 486abf6d1784b2d4bbcb7d20ab64881f77d755059f6Jim Laskey DEBUG_LABEL, 487abf6d1784b2d4bbcb7d20ab64881f77d755059f6Jim Laskey 48863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // BUILTIN_OP_END - This must be the last enum value in this list. 489410354fe0c052141dadeca939395743f8dd58e38Chris Lattner BUILTIN_OP_END 49063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner }; 49163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 492322dcd379eb19ea8d01478a661920ea1ce62fa0dChris Lattner /// Node predicates 493322dcd379eb19ea8d01478a661920ea1ce62fa0dChris Lattner 494a8df166fbef047c90adba3c673162a1b1f6681c4Evan Cheng /// isBuildVectorAllOnes - Return true if the specified node is a 495322dcd379eb19ea8d01478a661920ea1ce62fa0dChris Lattner /// BUILD_VECTOR where all of the elements are ~0 or undef. 496a8df166fbef047c90adba3c673162a1b1f6681c4Evan Cheng bool isBuildVectorAllOnes(const SDNode *N); 4974a147842eb24a7611fcd7bfb37c55185b4664927Evan Cheng 4984a147842eb24a7611fcd7bfb37c55185b4664927Evan Cheng /// isBuildVectorAllZeros - Return true if the specified node is a 4994a147842eb24a7611fcd7bfb37c55185b4664927Evan Cheng /// BUILD_VECTOR where all of the elements are 0 or undef. 5004a147842eb24a7611fcd7bfb37c55185b4664927Evan Cheng bool isBuildVectorAllZeros(const SDNode *N); 501322dcd379eb19ea8d01478a661920ea1ce62fa0dChris Lattner 50263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner //===--------------------------------------------------------------------===// 50363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// ISD::CondCode enum - These are ordered carefully to make the bitfields 50463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// below work out, when considering SETFALSE (something that never exists 50563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// dynamically) as 0. "U" -> Unsigned (for integer operands) or Unordered 50663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// (for floating point), "L" -> Less than, "G" -> Greater than, "E" -> Equal 50763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// to. If the "N" column is 1, the result of the comparison is undefined if 50863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// the input is a NAN. 50963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 51063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// All of these (except for the 'always folded ops') should be handled for 51163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// floating point. For integer, only the SETEQ,SETNE,SETLT,SETLE,SETGT, 51263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// SETGE,SETULT,SETULE,SETUGT, and SETUGE opcodes are used. 51363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 51463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// Note that these are laid out in a specific order to allow bit-twiddling 51563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// to transform conditions. 51663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner enum CondCode { 51763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // Opcode N U L G E Intuitive operation 51863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETFALSE, // 0 0 0 0 Always false (always folded) 51963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETOEQ, // 0 0 0 1 True if ordered and equal 52063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETOGT, // 0 0 1 0 True if ordered and greater than 52163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETOGE, // 0 0 1 1 True if ordered and greater than or equal 52263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETOLT, // 0 1 0 0 True if ordered and less than 52363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETOLE, // 0 1 0 1 True if ordered and less than or equal 52463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETONE, // 0 1 1 0 True if ordered and operands are unequal 52563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETO, // 0 1 1 1 True if ordered (no nans) 52663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETUO, // 1 0 0 0 True if unordered: isnan(X) | isnan(Y) 52763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETUEQ, // 1 0 0 1 True if unordered or equal 52863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETUGT, // 1 0 1 0 True if unordered or greater than 52963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETUGE, // 1 0 1 1 True if unordered, greater than, or equal 53063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETULT, // 1 1 0 0 True if unordered or less than 531ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman SETULE, // 1 1 0 1 True if unordered, less than, or equal 53263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETUNE, // 1 1 1 0 True if unordered or not equal 53363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETTRUE, // 1 1 1 1 Always true (always folded) 53463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // Don't care operations: undefined if the input is a nan. 53563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETFALSE2, // 1 X 0 0 0 Always false (always folded) 53663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETEQ, // 1 X 0 0 1 True if equal 53763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETGT, // 1 X 0 1 0 True if greater than 53863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETGE, // 1 X 0 1 1 True if greater than or equal 53963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETLT, // 1 X 1 0 0 True if less than 540ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman SETLE, // 1 X 1 0 1 True if less than or equal 54163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETNE, // 1 X 1 1 0 True if not equal 54263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETTRUE2, // 1 X 1 1 1 Always true (always folded) 54363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 544410354fe0c052141dadeca939395743f8dd58e38Chris Lattner SETCC_INVALID // Marker value. 54563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner }; 54663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 54763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// isSignedIntSetCC - Return true if this is a setcc instruction that 54863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// performs a signed comparison when used with integer operands. 54963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline bool isSignedIntSetCC(CondCode Code) { 55063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Code == SETGT || Code == SETGE || Code == SETLT || Code == SETLE; 55163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 55263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 55363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// isUnsignedIntSetCC - Return true if this is a setcc instruction that 55463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// performs an unsigned comparison when used with integer operands. 55563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline bool isUnsignedIntSetCC(CondCode Code) { 55663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Code == SETUGT || Code == SETUGE || Code == SETULT || Code == SETULE; 55763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 55863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 55963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// isTrueWhenEqual - Return true if the specified condition returns true if 56063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// the two operands to the condition are equal. Note that if one of the two 56163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// operands is a NaN, this value is meaningless. 56263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline bool isTrueWhenEqual(CondCode Cond) { 56363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return ((int)Cond & 1) != 0; 56463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 56563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 56663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getUnorderedFlavor - This function returns 0 if the condition is always 56763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// false if an operand is a NaN, 1 if the condition is always true if the 56863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// operand is a NaN, and 2 if the condition is undefined if the operand is a 56963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// NaN. 57063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline unsigned getUnorderedFlavor(CondCode Cond) { 57163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return ((int)Cond >> 3) & 3; 57263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 57363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 57463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getSetCCInverse - Return the operation corresponding to !(X op Y), where 57563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 'op' is a valid SetCC operation. 57663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner CondCode getSetCCInverse(CondCode Operation, bool isInteger); 57763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 57863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getSetCCSwappedOperands - Return the operation corresponding to (Y op X) 57963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// when given the operation for (X op Y). 58063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner CondCode getSetCCSwappedOperands(CondCode Operation); 58163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 58263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getSetCCOrOperation - Return the result of a logical OR between different 58363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// comparisons of identical values: ((X op1 Y) | (X op2 Y)). This 58463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// function returns SETCC_INVALID if it is not possible to represent the 58563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// resultant comparison. 58663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner CondCode getSetCCOrOperation(CondCode Op1, CondCode Op2, bool isInteger); 58763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 58863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getSetCCAndOperation - Return the result of a logical AND between 58963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// different comparisons of identical values: ((X op1 Y) & (X op2 Y)). This 59063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// function returns SETCC_INVALID if it is not possible to represent the 59163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// resultant comparison. 59263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner CondCode getSetCCAndOperation(CondCode Op1, CondCode Op2, bool isInteger); 59363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner} // end llvm::ISD namespace 59463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 59563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 59663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner//===----------------------------------------------------------------------===// 59763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// SDOperand - Unlike LLVM values, Selection DAG nodes may return multiple 59863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// values as the result of a computation. Many nodes return multiple values, 59963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// from loads (which define a token and a return value) to ADDC (which returns 60063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// a result and a carry value), to calls (which may return an arbitrary number 60163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// of values). 60263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// 60363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// As such, each use of a SelectionDAG computation must indicate the node that 60463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// computes it as well as which return value to use from that node. This pair 60563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// of information is represented with the SDOperand value type. 60663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// 607f26bc8ef4827cf0023a7052b62b920b41813d473Chris Lattnerclass SDOperand { 608f26bc8ef4827cf0023a7052b62b920b41813d473Chris Lattnerpublic: 60963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SDNode *Val; // The node defining the value we are using. 61063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner unsigned ResNo; // Which return value of the node we are using. 61163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 61263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SDOperand() : Val(0) {} 61363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SDOperand(SDNode *val, unsigned resno) : Val(val), ResNo(resno) {} 61463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 61563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner bool operator==(const SDOperand &O) const { 61663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Val == O.Val && ResNo == O.ResNo; 61763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 61863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner bool operator!=(const SDOperand &O) const { 61963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return !operator==(O); 62063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 62163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner bool operator<(const SDOperand &O) const { 62263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Val < O.Val || (Val == O.Val && ResNo < O.ResNo); 62363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 62463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 62563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SDOperand getValue(unsigned R) const { 62663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return SDOperand(Val, R); 62763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 62863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 629bfa284f69752c54f81bffc2b0d15d5c1e618a659Evan Cheng // isOperand - Return true if this node is an operand of N. 630bfa284f69752c54f81bffc2b0d15d5c1e618a659Evan Cheng bool isOperand(SDNode *N) const; 631bfa284f69752c54f81bffc2b0d15d5c1e618a659Evan Cheng 63263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getValueType - Return the ValueType of the referenced return value. 63363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 63463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline MVT::ValueType getValueType() const; 635ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 63663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // Forwarding methods - These forward to the corresponding methods in SDNode. 63763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline unsigned getOpcode() const; 6380442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner inline unsigned getNodeDepth() const; 63963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline unsigned getNumOperands() const; 64063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline const SDOperand &getOperand(unsigned i) const; 6410f66a9172175aa7c3055333358170581c999219bNate Begeman inline bool isTargetOpcode() const; 6420f66a9172175aa7c3055333358170581c999219bNate Begeman inline unsigned getTargetOpcode() const; 643a44f4aeca77c6c1627568fe68e92af9c7e33dc7eChris Lattner 644a44f4aeca77c6c1627568fe68e92af9c7e33dc7eChris Lattner /// hasOneUse - Return true if there is exactly one operation using this 645a44f4aeca77c6c1627568fe68e92af9c7e33dc7eChris Lattner /// result value of the defining operator. 646a44f4aeca77c6c1627568fe68e92af9c7e33dc7eChris Lattner inline bool hasOneUse() const; 64763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 64863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 64963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 65063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// simplify_type specializations - Allow casting operators to work directly on 65163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// SDOperands as if they were SDNode*'s. 65263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnertemplate<> struct simplify_type<SDOperand> { 65363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner typedef SDNode* SimpleType; 65463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static SimpleType getSimplifiedValue(const SDOperand &Val) { 65563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return static_cast<SimpleType>(Val.Val); 65663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 65763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 65863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnertemplate<> struct simplify_type<const SDOperand> { 65963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner typedef SDNode* SimpleType; 66063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static SimpleType getSimplifiedValue(const SDOperand &Val) { 66163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return static_cast<SimpleType>(Val.Val); 66263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 66363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 66463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 66563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 66663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// SDNode - Represents one node in the SelectionDAG. 66763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// 66863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass SDNode { 6690442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// NodeType - The operation that this node performs. 6700442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// 6710442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner unsigned short NodeType; 6720442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner 6730442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// NodeDepth - Node depth is defined as MAX(Node depth of children)+1. This 6740442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// means that leaves have a depth of 1, things that use only leaves have a 6750442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// depth of 2, etc. 6760442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner unsigned short NodeDepth; 6770442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner 678f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner /// OperandList - The values that are used by this operation. 6790442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// 680f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner SDOperand *OperandList; 681f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner 682f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner /// ValueList - The types of the values this node defines. SDNode's may 683f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner /// define multiple values simultaneously. 684f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner MVT::ValueType *ValueList; 68563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 686f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner /// NumOperands/NumValues - The number of entries in the Operand/Value list. 687f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner unsigned short NumOperands, NumValues; 688b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner 689b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner /// Prev/Next pointers - These pointers form the linked list of of the 690b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner /// AllNodes list in the current DAG. 691b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner SDNode *Prev, *Next; 692b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner friend struct ilist_traits<SDNode>; 69363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 69463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// Uses - These are all of the SDNode's that use a value produced by this 69563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// node. 69663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner std::vector<SDNode*> Uses; 69763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 698b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner virtual ~SDNode() { 699b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner assert(NumOperands == 0 && "Operand list not cleared before deletion"); 700b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner } 701b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner 70263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner //===--------------------------------------------------------------------===// 70363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // Accessors 70463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // 70563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner unsigned getOpcode() const { return NodeType; } 7060f66a9172175aa7c3055333358170581c999219bNate Begeman bool isTargetOpcode() const { return NodeType >= ISD::BUILTIN_OP_END; } 7070f66a9172175aa7c3055333358170581c999219bNate Begeman unsigned getTargetOpcode() const { 7080f66a9172175aa7c3055333358170581c999219bNate Begeman assert(isTargetOpcode() && "Not a target opcode!"); 7090f66a9172175aa7c3055333358170581c999219bNate Begeman return NodeType - ISD::BUILTIN_OP_END; 7100f66a9172175aa7c3055333358170581c999219bNate Begeman } 71163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 71263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner size_t use_size() const { return Uses.size(); } 71363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner bool use_empty() const { return Uses.empty(); } 71463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner bool hasOneUse() const { return Uses.size() == 1; } 71563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 7160442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// getNodeDepth - Return the distance from this node to the leaves in the 7170442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// graph. The leaves have a depth of 1. 7180442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner unsigned getNodeDepth() const { return NodeDepth; } 7190442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner 7207ece380440238ad0630a225b85a09a2dbed1165aChris Lattner typedef std::vector<SDNode*>::const_iterator use_iterator; 7217ece380440238ad0630a225b85a09a2dbed1165aChris Lattner use_iterator use_begin() const { return Uses.begin(); } 7227ece380440238ad0630a225b85a09a2dbed1165aChris Lattner use_iterator use_end() const { return Uses.end(); } 7237ece380440238ad0630a225b85a09a2dbed1165aChris Lattner 724b18a2f816cc9d1351ca8e380a6db5c5ef981943eChris Lattner /// hasNUsesOfValue - Return true if there are exactly NUSES uses of the 725b18a2f816cc9d1351ca8e380a6db5c5ef981943eChris Lattner /// indicated value. This method ignores uses of other values defined by this 726b18a2f816cc9d1351ca8e380a6db5c5ef981943eChris Lattner /// operation. 7274ee621125876cc954cba5280dd9395552755a871Evan Cheng bool hasNUsesOfValue(unsigned NUses, unsigned Value) const; 7284ee621125876cc954cba5280dd9395552755a871Evan Cheng 7294ee621125876cc954cba5280dd9395552755a871Evan Cheng // isOnlyUse - Return true if this node is the only use of N. 7304ee621125876cc954cba5280dd9395552755a871Evan Cheng bool isOnlyUse(SDNode *N) const; 731b18a2f816cc9d1351ca8e380a6db5c5ef981943eChris Lattner 73280d8eaae05d9bcb25abf6c6f0385ec2554355f26Evan Cheng // isOperand - Return true if this node is an operand of N. 73380d8eaae05d9bcb25abf6c6f0385ec2554355f26Evan Cheng bool isOperand(SDNode *N) const; 73480d8eaae05d9bcb25abf6c6f0385ec2554355f26Evan Cheng 73563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getNumOperands - Return the number of values used by this operation. 73663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 737f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner unsigned getNumOperands() const { return NumOperands; } 73863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 73963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner const SDOperand &getOperand(unsigned Num) const { 740f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(Num < NumOperands && "Invalid child # of SDNode!"); 741f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner return OperandList[Num]; 74263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 743f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner typedef const SDOperand* op_iterator; 744f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner op_iterator op_begin() const { return OperandList; } 745f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner op_iterator op_end() const { return OperandList+NumOperands; } 74650f5a51f41d36c519de68ff11fbf7c7c76f45416Chris Lattner 74763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 74863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getNumValues - Return the number of values defined/returned by this 74963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// operator. 75063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 751f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner unsigned getNumValues() const { return NumValues; } 75263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 75363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getValueType - Return the type of a specified result. 75463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 75563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner MVT::ValueType getValueType(unsigned ResNo) const { 756f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(ResNo < NumValues && "Illegal result number!"); 757f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner return ValueList[ResNo]; 75863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 7599eb59ec548b861d6ede05b4e6dc22aabf645e665Jeff Cohen 760f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner typedef const MVT::ValueType* value_iterator; 761f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner value_iterator value_begin() const { return ValueList; } 762f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner value_iterator value_end() const { return ValueList+NumValues; } 76363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 7646e6e3ceb080e5a8bdfd3258d883a06ebbd8a1965Chris Lattner /// getOperationName - Return the opcode of this operation for printing. 7656e6e3ceb080e5a8bdfd3258d883a06ebbd8a1965Chris Lattner /// 766efe58694050e48b61584b8454434dcd1ad886a71Chris Lattner const char* getOperationName(const SelectionDAG *G = 0) const; 76763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner void dump() const; 768efe58694050e48b61584b8454434dcd1ad886a71Chris Lattner void dump(const SelectionDAG *G) const; 76963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 77063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *) { return true; } 77163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 77263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 77363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 774109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner 775109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner /// getValueTypeList - Return a pointer to the specified value type. 776109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner /// 777109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner static MVT::ValueType *getValueTypeList(MVT::ValueType VT); 77863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 7790442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner SDNode(unsigned NT, MVT::ValueType VT) : NodeType(NT), NodeDepth(1) { 780f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = 0; NumOperands = 0; 781109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner ValueList = getValueTypeList(VT); 782f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 1; 783b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner Prev = 0; Next = 0; 78463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 78563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SDNode(unsigned NT, SDOperand Op) 7860442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner : NodeType(NT), NodeDepth(Op.Val->getNodeDepth()+1) { 787f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[1]; 788f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = Op; 789f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 1; 79063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner Op.Val->Uses.push_back(this); 791f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner ValueList = 0; 792f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 0; 793b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner Prev = 0; Next = 0; 79463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 79563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SDNode(unsigned NT, SDOperand N1, SDOperand N2) 79663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner : NodeType(NT) { 7970442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner if (N1.Val->getNodeDepth() > N2.Val->getNodeDepth()) 7980442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner NodeDepth = N1.Val->getNodeDepth()+1; 7990442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner else 8000442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner NodeDepth = N2.Val->getNodeDepth()+1; 801f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[2]; 802f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = N1; 803f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[1] = N2; 804f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 2; 80563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner N1.Val->Uses.push_back(this); N2.Val->Uses.push_back(this); 806f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner ValueList = 0; 807f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 0; 808b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner Prev = 0; Next = 0; 80963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 81063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SDNode(unsigned NT, SDOperand N1, SDOperand N2, SDOperand N3) 81163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner : NodeType(NT) { 8120442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner unsigned ND = N1.Val->getNodeDepth(); 8130442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner if (ND < N2.Val->getNodeDepth()) 8140442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner ND = N2.Val->getNodeDepth(); 8150442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner if (ND < N3.Val->getNodeDepth()) 8160442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner ND = N3.Val->getNodeDepth(); 8170442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner NodeDepth = ND+1; 8180442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner 819f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[3]; 820f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = N1; 821f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[1] = N2; 822f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[2] = N3; 823f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 3; 824f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner 82563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner N1.Val->Uses.push_back(this); N2.Val->Uses.push_back(this); 82663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner N3.Val->Uses.push_back(this); 827f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner ValueList = 0; 828f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 0; 829b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner Prev = 0; Next = 0; 83063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 8312d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth SDNode(unsigned NT, SDOperand N1, SDOperand N2, SDOperand N3, SDOperand N4) 8322d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth : NodeType(NT) { 8332d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth unsigned ND = N1.Val->getNodeDepth(); 8342d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth if (ND < N2.Val->getNodeDepth()) 8352d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth ND = N2.Val->getNodeDepth(); 8362d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth if (ND < N3.Val->getNodeDepth()) 8372d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth ND = N3.Val->getNodeDepth(); 8382d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth if (ND < N4.Val->getNodeDepth()) 8392d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth ND = N4.Val->getNodeDepth(); 8402d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth NodeDepth = ND+1; 8412d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth 842f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[4]; 843f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = N1; 844f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[1] = N2; 845f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[2] = N3; 846f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[3] = N4; 847f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 4; 848f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner 8492d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth N1.Val->Uses.push_back(this); N2.Val->Uses.push_back(this); 8502d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth N3.Val->Uses.push_back(this); N4.Val->Uses.push_back(this); 851f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner ValueList = 0; 852f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 0; 853b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner Prev = 0; Next = 0; 8542d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth } 855f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner SDNode(unsigned Opc, const std::vector<SDOperand> &Nodes) : NodeType(Opc) { 856f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = Nodes.size(); 857f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[NumOperands]; 858f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner 8590442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner unsigned ND = 0; 860f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner for (unsigned i = 0, e = Nodes.size(); i != e; ++i) { 861f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[i] = Nodes[i]; 862f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner SDNode *N = OperandList[i].Val; 863f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner N->Uses.push_back(this); 864f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner if (ND < N->getNodeDepth()) ND = N->getNodeDepth(); 8650442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner } 8660442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner NodeDepth = ND+1; 867f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner ValueList = 0; 868f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 0; 869b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner Prev = 0; Next = 0; 870f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner } 8711b95095857b78e12138c22e76c7936611c51355bChris Lattner 8721b95095857b78e12138c22e76c7936611c51355bChris Lattner /// MorphNodeTo - This clears the return value and operands list, and sets the 8731b95095857b78e12138c22e76c7936611c51355bChris Lattner /// opcode of the node to the specified value. This should only be used by 8741b95095857b78e12138c22e76c7936611c51355bChris Lattner /// the SelectionDAG class. 8751b95095857b78e12138c22e76c7936611c51355bChris Lattner void MorphNodeTo(unsigned Opc) { 8761b95095857b78e12138c22e76c7936611c51355bChris Lattner NodeType = Opc; 877f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner ValueList = 0; 878f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 0; 879b467f8af4125471361468ab91dbedba2abf2e09aChris Lattner 880b467f8af4125471361468ab91dbedba2abf2e09aChris Lattner // Clear the operands list, updating used nodes to remove this from their 881b467f8af4125471361468ab91dbedba2abf2e09aChris Lattner // use list. 882f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner for (op_iterator I = op_begin(), E = op_end(); I != E; ++I) 883f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner I->Val->removeUser(this); 884f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner delete [] OperandList; 885f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = 0; 886f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 0; 88763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 8881b95095857b78e12138c22e76c7936611c51355bChris Lattner 88963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner void setValueTypes(MVT::ValueType VT) { 890f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(NumValues == 0 && "Should not have values yet!"); 891109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner ValueList = getValueTypeList(VT); 892f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 1; 89363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 894109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner void setValueTypes(MVT::ValueType *List, unsigned NumVal) { 895f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(NumValues == 0 && "Should not have values yet!"); 896109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner ValueList = List; 897109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner NumValues = NumVal; 89863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 8991b95095857b78e12138c22e76c7936611c51355bChris Lattner 9001b95095857b78e12138c22e76c7936611c51355bChris Lattner void setOperands(SDOperand Op0) { 901f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(NumOperands == 0 && "Should not have operands yet!"); 902f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[1]; 903f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = Op0; 904f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 1; 9058c3484c5181834e6b7060a6064ac769878101f23Chris Lattner Op0.Val->Uses.push_back(this); 9061b95095857b78e12138c22e76c7936611c51355bChris Lattner } 9071b95095857b78e12138c22e76c7936611c51355bChris Lattner void setOperands(SDOperand Op0, SDOperand Op1) { 908f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(NumOperands == 0 && "Should not have operands yet!"); 909f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[2]; 910f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = Op0; 911f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[1] = Op1; 912f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 2; 9138c3484c5181834e6b7060a6064ac769878101f23Chris Lattner Op0.Val->Uses.push_back(this); Op1.Val->Uses.push_back(this); 9141b95095857b78e12138c22e76c7936611c51355bChris Lattner } 9151b95095857b78e12138c22e76c7936611c51355bChris Lattner void setOperands(SDOperand Op0, SDOperand Op1, SDOperand Op2) { 916f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(NumOperands == 0 && "Should not have operands yet!"); 917f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[3]; 918f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = Op0; 919f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[1] = Op1; 920f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[2] = Op2; 921f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 3; 9228c3484c5181834e6b7060a6064ac769878101f23Chris Lattner Op0.Val->Uses.push_back(this); Op1.Val->Uses.push_back(this); 9238c3484c5181834e6b7060a6064ac769878101f23Chris Lattner Op2.Val->Uses.push_back(this); 9248c3484c5181834e6b7060a6064ac769878101f23Chris Lattner } 925294a0a103d561864f2089b9f5948fb1a49801918Nate Begeman void setOperands(SDOperand Op0, SDOperand Op1, SDOperand Op2, SDOperand Op3) { 926f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(NumOperands == 0 && "Should not have operands yet!"); 927f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[4]; 928f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = Op0; 929f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[1] = Op1; 930f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[2] = Op2; 931f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[3] = Op3; 932f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 4; 933294a0a103d561864f2089b9f5948fb1a49801918Nate Begeman Op0.Val->Uses.push_back(this); Op1.Val->Uses.push_back(this); 934294a0a103d561864f2089b9f5948fb1a49801918Nate Begeman Op2.Val->Uses.push_back(this); Op3.Val->Uses.push_back(this); 935294a0a103d561864f2089b9f5948fb1a49801918Nate Begeman } 936d54209fcf9af827fecfaf32685a0fb8caf7cadb1Chris Lattner void setOperands(SDOperand Op0, SDOperand Op1, SDOperand Op2, SDOperand Op3, 937d54209fcf9af827fecfaf32685a0fb8caf7cadb1Chris Lattner SDOperand Op4) { 938f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(NumOperands == 0 && "Should not have operands yet!"); 939f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[5]; 940f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = Op0; 941f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[1] = Op1; 942f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[2] = Op2; 943f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[3] = Op3; 944f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[4] = Op4; 945f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 5; 946d54209fcf9af827fecfaf32685a0fb8caf7cadb1Chris Lattner Op0.Val->Uses.push_back(this); Op1.Val->Uses.push_back(this); 947d54209fcf9af827fecfaf32685a0fb8caf7cadb1Chris Lattner Op2.Val->Uses.push_back(this); Op3.Val->Uses.push_back(this); 948d54209fcf9af827fecfaf32685a0fb8caf7cadb1Chris Lattner Op4.Val->Uses.push_back(this); 949d54209fcf9af827fecfaf32685a0fb8caf7cadb1Chris Lattner } 95061ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng void setOperands(SDOperand Op0, SDOperand Op1, SDOperand Op2, SDOperand Op3, 95161ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng SDOperand Op4, SDOperand Op5) { 95261ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng assert(NumOperands == 0 && "Should not have operands yet!"); 95361ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng OperandList = new SDOperand[6]; 95461ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng OperandList[0] = Op0; 95561ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng OperandList[1] = Op1; 95661ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng OperandList[2] = Op2; 95761ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng OperandList[3] = Op3; 95861ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng OperandList[4] = Op4; 95961ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng OperandList[5] = Op5; 96061ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng NumOperands = 6; 96161ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng Op0.Val->Uses.push_back(this); Op1.Val->Uses.push_back(this); 96261ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng Op2.Val->Uses.push_back(this); Op3.Val->Uses.push_back(this); 96361ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng Op4.Val->Uses.push_back(this); Op5.Val->Uses.push_back(this); 96461ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng } 9658c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth void setOperands(SDOperand Op0, SDOperand Op1, SDOperand Op2, SDOperand Op3, 9668c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth SDOperand Op4, SDOperand Op5, SDOperand Op6) { 9678c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth assert(NumOperands == 0 && "Should not have operands yet!"); 9688c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth OperandList = new SDOperand[7]; 9698c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth OperandList[0] = Op0; 9708c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth OperandList[1] = Op1; 9718c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth OperandList[2] = Op2; 9728c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth OperandList[3] = Op3; 9738c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth OperandList[4] = Op4; 9748c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth OperandList[5] = Op5; 9758c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth OperandList[6] = Op6; 9768c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth NumOperands = 7; 9778c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth Op0.Val->Uses.push_back(this); Op1.Val->Uses.push_back(this); 9788c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth Op2.Val->Uses.push_back(this); Op3.Val->Uses.push_back(this); 9798c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth Op4.Val->Uses.push_back(this); Op5.Val->Uses.push_back(this); 9808c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth Op6.Val->Uses.push_back(this); 9818c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth } 9827cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth void setOperands(SDOperand Op0, SDOperand Op1, SDOperand Op2, SDOperand Op3, 9837cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth SDOperand Op4, SDOperand Op5, SDOperand Op6, SDOperand Op7) { 9847cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth assert(NumOperands == 0 && "Should not have operands yet!"); 9857cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth OperandList = new SDOperand[8]; 9867cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth OperandList[0] = Op0; 9877cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth OperandList[1] = Op1; 9887cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth OperandList[2] = Op2; 9897cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth OperandList[3] = Op3; 9907cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth OperandList[4] = Op4; 9917cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth OperandList[5] = Op5; 9927cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth OperandList[6] = Op6; 9937cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth OperandList[7] = Op7; 9947cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth NumOperands = 8; 9957cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth Op0.Val->Uses.push_back(this); Op1.Val->Uses.push_back(this); 9967cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth Op2.Val->Uses.push_back(this); Op3.Val->Uses.push_back(this); 9977cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth Op4.Val->Uses.push_back(this); Op5.Val->Uses.push_back(this); 9987cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth Op6.Val->Uses.push_back(this); Op7.Val->Uses.push_back(this); 9997cf11b4ab248d6ab7fb0d9df0b72baf158201abeAndrew Lenharth } 10008c6f1ee5aa376118f1cb7b16b62994fc255eac56Andrew Lenharth 10018c3484c5181834e6b7060a6064ac769878101f23Chris Lattner void addUser(SDNode *User) { 10028c3484c5181834e6b7060a6064ac769878101f23Chris Lattner Uses.push_back(User); 10031b95095857b78e12138c22e76c7936611c51355bChris Lattner } 1004d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner void removeUser(SDNode *User) { 1005d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner // Remove this user from the operand's use list. 1006d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner for (unsigned i = Uses.size(); ; --i) { 1007d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner assert(i != 0 && "Didn't find user!"); 1008d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner if (Uses[i-1] == User) { 10098c3484c5181834e6b7060a6064ac769878101f23Chris Lattner Uses[i-1] = Uses.back(); 10108c3484c5181834e6b7060a6064ac769878101f23Chris Lattner Uses.pop_back(); 10118c3484c5181834e6b7060a6064ac769878101f23Chris Lattner return; 1012d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner } 1013d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner } 1014d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner } 101563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 101663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 101763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 101863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner// Define inline functions from the SDOperand class. 101963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 102063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerinline unsigned SDOperand::getOpcode() const { 102163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Val->getOpcode(); 102263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner} 10230442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattnerinline unsigned SDOperand::getNodeDepth() const { 10240442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner return Val->getNodeDepth(); 10250442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner} 102663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerinline MVT::ValueType SDOperand::getValueType() const { 102763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Val->getValueType(ResNo); 102863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner} 102963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerinline unsigned SDOperand::getNumOperands() const { 103063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Val->getNumOperands(); 103163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner} 103263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerinline const SDOperand &SDOperand::getOperand(unsigned i) const { 103363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Val->getOperand(i); 103463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner} 10350f66a9172175aa7c3055333358170581c999219bNate Begemaninline bool SDOperand::isTargetOpcode() const { 10360f66a9172175aa7c3055333358170581c999219bNate Begeman return Val->isTargetOpcode(); 10370f66a9172175aa7c3055333358170581c999219bNate Begeman} 10380f66a9172175aa7c3055333358170581c999219bNate Begemaninline unsigned SDOperand::getTargetOpcode() const { 10390f66a9172175aa7c3055333358170581c999219bNate Begeman return Val->getTargetOpcode(); 10400f66a9172175aa7c3055333358170581c999219bNate Begeman} 1041a44f4aeca77c6c1627568fe68e92af9c7e33dc7eChris Lattnerinline bool SDOperand::hasOneUse() const { 1042a44f4aeca77c6c1627568fe68e92af9c7e33dc7eChris Lattner return Val->hasNUsesOfValue(1, ResNo); 1043a44f4aeca77c6c1627568fe68e92af9c7e33dc7eChris Lattner} 104463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 1045d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner/// HandleSDNode - This class is used to form a handle around another node that 1046d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner/// is persistant and is updated across invocations of replaceAllUsesWith on its 1047d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner/// operand. This node should be directly created by end-users and not added to 1048d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner/// the AllNodes list. 1049d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattnerclass HandleSDNode : public SDNode { 1050d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattnerpublic: 1051d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner HandleSDNode(SDOperand X) : SDNode(ISD::HANDLENODE, X) {} 1052d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner ~HandleSDNode() { 1053d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner MorphNodeTo(ISD::HANDLENODE); // Drops operand uses. 1054d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner } 1055d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner 1056d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner SDOperand getValue() const { return getOperand(0); } 1057d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner}; 1058d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner 105947725d059b259f8a0c145478300c9e9caa006b59Chris Lattnerclass StringSDNode : public SDNode { 106047725d059b259f8a0c145478300c9e9caa006b59Chris Lattner std::string Value; 106147725d059b259f8a0c145478300c9e9caa006b59Chris Lattnerprotected: 106247725d059b259f8a0c145478300c9e9caa006b59Chris Lattner friend class SelectionDAG; 106347725d059b259f8a0c145478300c9e9caa006b59Chris Lattner StringSDNode(const std::string &val) 106447725d059b259f8a0c145478300c9e9caa006b59Chris Lattner : SDNode(ISD::STRING, MVT::Other), Value(val) { 106547725d059b259f8a0c145478300c9e9caa006b59Chris Lattner } 106647725d059b259f8a0c145478300c9e9caa006b59Chris Lattnerpublic: 106747725d059b259f8a0c145478300c9e9caa006b59Chris Lattner const std::string &getValue() const { return Value; } 106847725d059b259f8a0c145478300c9e9caa006b59Chris Lattner static bool classof(const StringSDNode *) { return true; } 106947725d059b259f8a0c145478300c9e9caa006b59Chris Lattner static bool classof(const SDNode *N) { 107047725d059b259f8a0c145478300c9e9caa006b59Chris Lattner return N->getOpcode() == ISD::STRING; 107147725d059b259f8a0c145478300c9e9caa006b59Chris Lattner } 107247725d059b259f8a0c145478300c9e9caa006b59Chris Lattner}; 107363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 107463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass ConstantSDNode : public SDNode { 107563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner uint64_t Value; 107663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 107763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 1078056f9f61d071c6c583951678f2bf543a1316efccChris Lattner ConstantSDNode(bool isTarget, uint64_t val, MVT::ValueType VT) 1079056f9f61d071c6c583951678f2bf543a1316efccChris Lattner : SDNode(isTarget ? ISD::TargetConstant : ISD::Constant, VT), Value(val) { 108063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 108163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 108263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 108363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner uint64_t getValue() const { return Value; } 108463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 108563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner int64_t getSignExtended() const { 108663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner unsigned Bits = MVT::getSizeInBits(getValueType(0)); 1087f26bc8ef4827cf0023a7052b62b920b41813d473Chris Lattner return ((int64_t)Value << (64-Bits)) >> (64-Bits); 108863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 108963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 109063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner bool isNullValue() const { return Value == 0; } 109163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner bool isAllOnesValue() const { 1092885a87ef8512a184a58a0ebe39705ccb221749efChris Lattner return Value == MVT::getIntVTBitMask(getValueType(0)); 109363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 109463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 109563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const ConstantSDNode *) { return true; } 109663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 1097056f9f61d071c6c583951678f2bf543a1316efccChris Lattner return N->getOpcode() == ISD::Constant || 1098056f9f61d071c6c583951678f2bf543a1316efccChris Lattner N->getOpcode() == ISD::TargetConstant; 109963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 110063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 110163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 110263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass ConstantFPSDNode : public SDNode { 110363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner double Value; 110463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 110563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 1106ac0d7238258defe72b1aad53d7f48201b91df795Chris Lattner ConstantFPSDNode(bool isTarget, double val, MVT::ValueType VT) 1107ac0d7238258defe72b1aad53d7f48201b91df795Chris Lattner : SDNode(isTarget ? ISD::TargetConstantFP : ISD::ConstantFP, VT), 1108ac0d7238258defe72b1aad53d7f48201b91df795Chris Lattner Value(val) { 110963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 111063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 111163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 111263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner double getValue() const { return Value; } 111363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 111463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// isExactlyValue - We don't rely on operator== working on double values, as 111563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// it returns true for things that are clearly not equal, like -0.0 and 0.0. 111663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// As such, this method can be used to do an exact bit-for-bit comparison of 111763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// two floating point values. 111858b968be853ef02d0f448e5e2c31676e361c210fJim Laskey bool isExactlyValue(double V) const; 111963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 112063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const ConstantFPSDNode *) { return true; } 112163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 1122ac0d7238258defe72b1aad53d7f48201b91df795Chris Lattner return N->getOpcode() == ISD::ConstantFP || 1123ac0d7238258defe72b1aad53d7f48201b91df795Chris Lattner N->getOpcode() == ISD::TargetConstantFP; 112463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 112563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 112663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 112763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass GlobalAddressSDNode : public SDNode { 112863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner GlobalValue *TheGlobal; 1129404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng int Offset; 113063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 113163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 113261ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng GlobalAddressSDNode(bool isTarget, const GlobalValue *GA, MVT::ValueType VT, 113361ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng int o=0) 1134404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng : SDNode(isTarget ? ISD::TargetGlobalAddress : ISD::GlobalAddress, VT), 1135404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng Offset(o) { 113663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner TheGlobal = const_cast<GlobalValue*>(GA); 113763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 113863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 113963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 114063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner GlobalValue *getGlobal() const { return TheGlobal; } 1141404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng int getOffset() const { return Offset; } 114263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 114363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const GlobalAddressSDNode *) { return true; } 114463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 1145f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner return N->getOpcode() == ISD::GlobalAddress || 1146f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner N->getOpcode() == ISD::TargetGlobalAddress; 114763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 114863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 114963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 115063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 115163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass FrameIndexSDNode : public SDNode { 115263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner int FI; 115363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 115463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 1155afb2dd43de61f4585e75d1f3ab93a9ac4b3b7592Chris Lattner FrameIndexSDNode(int fi, MVT::ValueType VT, bool isTarg) 1156afb2dd43de61f4585e75d1f3ab93a9ac4b3b7592Chris Lattner : SDNode(isTarg ? ISD::TargetFrameIndex : ISD::FrameIndex, VT), FI(fi) {} 115763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 115863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 115963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner int getIndex() const { return FI; } 116063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 116163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const FrameIndexSDNode *) { return true; } 116263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 1163afb2dd43de61f4585e75d1f3ab93a9ac4b3b7592Chris Lattner return N->getOpcode() == ISD::FrameIndex || 1164afb2dd43de61f4585e75d1f3ab93a9ac4b3b7592Chris Lattner N->getOpcode() == ISD::TargetFrameIndex; 116563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 116663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 116763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 116863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass ConstantPoolSDNode : public SDNode { 11695839bf2b3bd22689d9dd0e9de66c2dce71d130aeChris Lattner Constant *C; 1170404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng int Offset; 1171b8973bd8f50d7321635e1e07b81a880a0828d185Evan Cheng unsigned Alignment; 117263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 117363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 1174404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng ConstantPoolSDNode(bool isTarget, Constant *c, MVT::ValueType VT, 1175404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng int o=0) 1176aaaaf79d4aaa172c2f2ae0e327bbae523a045bf5Chris Lattner : SDNode(isTarget ? ISD::TargetConstantPool : ISD::ConstantPool, VT), 1177404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng C(c), Offset(o), Alignment(0) {} 1178404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng ConstantPoolSDNode(bool isTarget, Constant *c, MVT::ValueType VT, int o, 1179404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng unsigned Align) 1180b8973bd8f50d7321635e1e07b81a880a0828d185Evan Cheng : SDNode(isTarget ? ISD::TargetConstantPool : ISD::ConstantPool, VT), 1181404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng C(c), Offset(o), Alignment(Align) {} 118263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 118363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 11845839bf2b3bd22689d9dd0e9de66c2dce71d130aeChris Lattner Constant *get() const { return C; } 1185404cb4f9fa2df50eac4d84b8a77c84a92188c6d5Evan Cheng int getOffset() const { return Offset; } 1186ef3640aded552279f65bd6d18633e15ffb245157Chris Lattner 1187ef3640aded552279f65bd6d18633e15ffb245157Chris Lattner // Return the alignment of this constant pool object, which is either 0 (for 1188ef3640aded552279f65bd6d18633e15ffb245157Chris Lattner // default alignment) or log2 of the desired value. 1189b8973bd8f50d7321635e1e07b81a880a0828d185Evan Cheng unsigned getAlignment() const { return Alignment; } 119063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 119163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const ConstantPoolSDNode *) { return true; } 119263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 1193aaaaf79d4aaa172c2f2ae0e327bbae523a045bf5Chris Lattner return N->getOpcode() == ISD::ConstantPool || 1194aaaaf79d4aaa172c2f2ae0e327bbae523a045bf5Chris Lattner N->getOpcode() == ISD::TargetConstantPool; 119563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 119663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 119763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 119863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass BasicBlockSDNode : public SDNode { 119963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner MachineBasicBlock *MBB; 120063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 120163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 120263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner BasicBlockSDNode(MachineBasicBlock *mbb) 120363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner : SDNode(ISD::BasicBlock, MVT::Other), MBB(mbb) {} 120463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 120563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 120663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner MachineBasicBlock *getBasicBlock() const { return MBB; } 120763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 120863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const BasicBlockSDNode *) { return true; } 120963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 121063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return N->getOpcode() == ISD::BasicBlock; 121163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 121263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 121363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 12142d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharthclass SrcValueSDNode : public SDNode { 12152d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth const Value *V; 1216691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth int offset; 12172d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharthprotected: 12182d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth friend class SelectionDAG; 1219691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth SrcValueSDNode(const Value* v, int o) 1220691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth : SDNode(ISD::SRCVALUE, MVT::Other), V(v), offset(o) {} 12212d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth 12222d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharthpublic: 12232d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth const Value *getValue() const { return V; } 1224691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth int getOffset() const { return offset; } 12252d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth 12262d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth static bool classof(const SrcValueSDNode *) { return true; } 12272d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth static bool classof(const SDNode *N) { 12282d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth return N->getOpcode() == ISD::SRCVALUE; 12292d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth } 12302d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth}; 12312d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth 123263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 1233d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattnerclass RegisterSDNode : public SDNode { 123463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner unsigned Reg; 123563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 123663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 1237d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner RegisterSDNode(unsigned reg, MVT::ValueType VT) 1238d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner : SDNode(ISD::Register, VT), Reg(reg) {} 123963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 124063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 124163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner unsigned getReg() const { return Reg; } 124263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 1243d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner static bool classof(const RegisterSDNode *) { return true; } 124463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 1245d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner return N->getOpcode() == ISD::Register; 124663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 124763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 124863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 124963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass ExternalSymbolSDNode : public SDNode { 125063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner const char *Symbol; 125163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 125263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 12532a2de66db2093a5bc1fd620d1b6ae7992a552b24Andrew Lenharth ExternalSymbolSDNode(bool isTarget, const char *Sym, MVT::ValueType VT) 12542a2de66db2093a5bc1fd620d1b6ae7992a552b24Andrew Lenharth : SDNode(isTarget ? ISD::TargetExternalSymbol : ISD::ExternalSymbol, VT), 12552a2de66db2093a5bc1fd620d1b6ae7992a552b24Andrew Lenharth Symbol(Sym) { 125663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 125763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 125863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 125963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner const char *getSymbol() const { return Symbol; } 126063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 126163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const ExternalSymbolSDNode *) { return true; } 126263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 12632a2de66db2093a5bc1fd620d1b6ae7992a552b24Andrew Lenharth return N->getOpcode() == ISD::ExternalSymbol || 12642a2de66db2093a5bc1fd620d1b6ae7992a552b24Andrew Lenharth N->getOpcode() == ISD::TargetExternalSymbol; 126563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 126663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 126763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 12687cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattnerclass CondCodeSDNode : public SDNode { 126963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner ISD::CondCode Condition; 127063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 127163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 12727cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner CondCodeSDNode(ISD::CondCode Cond) 12737cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner : SDNode(ISD::CONDCODE, MVT::Other), Condition(Cond) { 127463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 127563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 127663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 12777cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner ISD::CondCode get() const { return Condition; } 127863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 12797cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner static bool classof(const CondCodeSDNode *) { return true; } 128063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 12817cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner return N->getOpcode() == ISD::CONDCODE; 128263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 128363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 128463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 128515e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner/// VTSDNode - This class is used to represent MVT::ValueType's, which are used 128615e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner/// to parameterize some operations. 128715e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattnerclass VTSDNode : public SDNode { 128815e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner MVT::ValueType ValueType; 128915e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattnerprotected: 129015e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner friend class SelectionDAG; 129115e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner VTSDNode(MVT::ValueType VT) 129215e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner : SDNode(ISD::VALUETYPE, MVT::Other), ValueType(VT) {} 129315e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattnerpublic: 129415e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner 129515e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner MVT::ValueType getVT() const { return ValueType; } 129615e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner 129715e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner static bool classof(const VTSDNode *) { return true; } 129815e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner static bool classof(const SDNode *N) { 129915e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner return N->getOpcode() == ISD::VALUETYPE; 130015e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner } 130115e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner}; 130215e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner 130315e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner 13041080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattnerclass SDNodeIterator : public forward_iterator<SDNode, ptrdiff_t> { 13051080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner SDNode *Node; 13061080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner unsigned Operand; 1307ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 13081080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner SDNodeIterator(SDNode *N, unsigned Op) : Node(N), Operand(Op) {} 13091080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattnerpublic: 13101080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner bool operator==(const SDNodeIterator& x) const { 13111080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return Operand == x.Operand; 13121080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 13131080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner bool operator!=(const SDNodeIterator& x) const { return !operator==(x); } 13141080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 13151080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner const SDNodeIterator &operator=(const SDNodeIterator &I) { 13161080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner assert(I.Node == Node && "Cannot assign iterators to two different nodes!"); 13171080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner Operand = I.Operand; 13181080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return *this; 13191080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 1320ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 13211080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner pointer operator*() const { 13221080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return Node->getOperand(Operand).Val; 13231080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 13241080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner pointer operator->() const { return operator*(); } 1325ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 13261080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner SDNodeIterator& operator++() { // Preincrement 13271080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner ++Operand; 13281080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return *this; 13291080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 13301080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner SDNodeIterator operator++(int) { // Postincrement 1331ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman SDNodeIterator tmp = *this; ++*this; return tmp; 13321080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 13331080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 13341080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner static SDNodeIterator begin(SDNode *N) { return SDNodeIterator(N, 0); } 13351080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner static SDNodeIterator end (SDNode *N) { 13361080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return SDNodeIterator(N, N->getNumOperands()); 13371080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 13381080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 13391080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner unsigned getOperand() const { return Operand; } 13401080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner const SDNode *getNode() const { return Node; } 13411080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner}; 13421080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 13431080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattnertemplate <> struct GraphTraits<SDNode*> { 13441080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner typedef SDNode NodeType; 13451080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner typedef SDNodeIterator ChildIteratorType; 13461080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner static inline NodeType *getEntryNode(SDNode *N) { return N; } 1347ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman static inline ChildIteratorType child_begin(NodeType *N) { 13481080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return SDNodeIterator::begin(N); 13491080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 1350ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman static inline ChildIteratorType child_end(NodeType *N) { 13511080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return SDNodeIterator::end(N); 13521080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 13531080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner}; 13541080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 1355b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattnertemplate<> 1356b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattnerstruct ilist_traits<SDNode> { 1357b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner static SDNode *getPrev(const SDNode *N) { return N->Prev; } 1358b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner static SDNode *getNext(const SDNode *N) { return N->Next; } 1359b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner 1360b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner static void setPrev(SDNode *N, SDNode *Prev) { N->Prev = Prev; } 1361b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner static void setNext(SDNode *N, SDNode *Next) { N->Next = Next; } 1362b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner 1363b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner static SDNode *createSentinel() { 1364b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner return new SDNode(ISD::EntryToken, MVT::Other); 1365b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner } 1366b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner static void destroySentinel(SDNode *N) { delete N; } 1367b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner //static SDNode *createNode(const SDNode &V) { return new SDNode(V); } 1368b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner 1369b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner 1370b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner void addNodeToList(SDNode *NTy) {} 1371b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner void removeNodeFromList(SDNode *NTy) {} 1372b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner void transferNodesFromList(iplist<SDNode, ilist_traits> &L2, 1373b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner const ilist_iterator<SDNode> &X, 1374b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner const ilist_iterator<SDNode> &Y) {} 1375b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner}; 1376b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner 137763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner} // end llvm namespace 137863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 137963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner#endif 1380