SelectionDAGNodes.h revision 1ac1c4b9d2877bd2d15bcf578bc617a605d815b0
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. 6647725d059b259f8a0c145478300c9e9caa006b59Chris Lattner Constant, ConstantFP, STRING, 6747725d059b259f8a0c145478300c9e9caa006b59Chris Lattner GlobalAddress, FrameIndex, ConstantPool, 68d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner BasicBlock, ExternalSymbol, VALUETYPE, CONDCODE, Register, 69056f9f61d071c6c583951678f2bf543a1316efccChris Lattner 708cfa57b1b4eade4e0101195b2f94ab288cd03563Nate Begeman // ConstantVec works like Constant or ConstantFP, except that it is not a 718cfa57b1b4eade4e0101195b2f94ab288cd03563Nate Begeman // leaf node. All operands are either Constant or ConstantFP nodes. 728cfa57b1b4eade4e0101195b2f94ab288cd03563Nate Begeman ConstantVec, 738cfa57b1b4eade4e0101195b2f94ab288cd03563Nate Begeman 74056f9f61d071c6c583951678f2bf543a1316efccChris Lattner // TargetConstant - Like Constant, but the DAG does not do any folding or 75056f9f61d071c6c583951678f2bf543a1316efccChris Lattner // simplification of the constant. This is used by the DAG->DAG selector. 76056f9f61d071c6c583951678f2bf543a1316efccChris Lattner TargetConstant, 77f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner 78f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner // TargetGlobalAddress - Like GlobalAddress, but the DAG does no folding or 79f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner // anything else with this node, and this is valid in the target-specific 80f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner // dag, turning into a GlobalAddress operand. 81f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner TargetGlobalAddress, 82afb2dd43de61f4585e75d1f3ab93a9ac4b3b7592Chris Lattner TargetFrameIndex, 83aaaaf79d4aaa172c2f2ae0e327bbae523a045bf5Chris Lattner TargetConstantPool, 842a2de66db2093a5bc1fd620d1b6ae7992a552b24Andrew Lenharth TargetExternalSymbol, 8563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 86d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner // CopyToReg - This node has three operands: a chain, a register number to 87d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner // set to this value, and a value. 8863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner CopyToReg, 8963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 9063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // CopyFromReg - This node indicates that the input value is a virtual or 9163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // physical register that is defined outside of the scope of this 9218c2f13e0f9d0e5d6227cf6d1881e9ee3d1b6109Chris Lattner // SelectionDAG. The register is available from the RegSDNode object. 9363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner CopyFromReg, 9463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 95fc1b1dad88a256ab5ab16dd548ad82df8efa2ca9Nate Begeman // UNDEF - An undefined node 96fc1b1dad88a256ab5ab16dd548ad82df8efa2ca9Nate Begeman UNDEF, 97fc1b1dad88a256ab5ab16dd548ad82df8efa2ca9Nate Begeman 9863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // EXTRACT_ELEMENT - This is used to get the first or second (determined by 9963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // a Constant, which is required to be operand #1), element of the aggregate 10063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // value specified as operand #0. This is only for use before legalization, 10163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // for values that will be broken into multiple registers. 10263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner EXTRACT_ELEMENT, 10363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 10463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // BUILD_PAIR - This is the opposite of EXTRACT_ELEMENT in some ways. Given 10563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // two values of the same integer value type, this produces a value twice as 10663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // big. Like EXTRACT_ELEMENT, this can only be used before legalization. 10763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner BUILD_PAIR, 108006e3e3649b2e19762b7bc134292b781569685b0Chris Lattner 109006e3e3649b2e19762b7bc134292b781569685b0Chris Lattner // MERGE_VALUES - This node takes multiple discrete operands and returns 110006e3e3649b2e19762b7bc134292b781569685b0Chris Lattner // them all as its individual results. This nodes has exactly the same 111006e3e3649b2e19762b7bc134292b781569685b0Chris Lattner // number of inputs and outputs, and is only valid before legalization. 112006e3e3649b2e19762b7bc134292b781569685b0Chris Lattner // This node is useful for some pieces of the code generator that want to 113006e3e3649b2e19762b7bc134292b781569685b0Chris Lattner // think about a single node with multiple results, not multiple nodes. 114006e3e3649b2e19762b7bc134292b781569685b0Chris Lattner MERGE_VALUES, 11563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 116615c2d0920862ae7d4d766ee3da660ecf2197308Chris Lattner // Simple integer binary arithmetic operators. 117bede0b7dd7c70792b09f6d38f6f2dfe7c1feb1d1Chris Lattner ADD, SUB, MUL, SDIV, UDIV, SREM, UREM, 118615c2d0920862ae7d4d766ee3da660ecf2197308Chris Lattner 119615c2d0920862ae7d4d766ee3da660ecf2197308Chris Lattner // Simple binary floating point operators. 120615c2d0920862ae7d4d766ee3da660ecf2197308Chris Lattner FADD, FSUB, FMUL, FDIV, FREM, 1215fbb5d2459a5410590f285250faa604576308a93Nate Begeman 1225fbb5d2459a5410590f285250faa604576308a93Nate Begeman // Simple abstract vector operators. Unlike the integer and floating point 1235fbb5d2459a5410590f285250faa604576308a93Nate Begeman // binary operators, these nodes also take two additional operands: 1245fbb5d2459a5410590f285250faa604576308a93Nate Begeman // a constant element count, and a value type node indicating the type of 125ab48be377298bd509427a29e174cf4e305138819Nate Begeman // the elements. The order is op0, op1, count, type. All vector opcodes, 126ab48be377298bd509427a29e174cf4e305138819Nate Begeman // including VLOAD, must currently have count and type as their 3rd and 4th 127ab48be377298bd509427a29e174cf4e305138819Nate Begeman // arguments. 1285fbb5d2459a5410590f285250faa604576308a93Nate Begeman VADD, VSUB, VMUL, 129bede0b7dd7c70792b09f6d38f6f2dfe7c1feb1d1Chris Lattner 130bede0b7dd7c70792b09f6d38f6f2dfe7c1feb1d1Chris Lattner // MULHU/MULHS - Multiply high - Multiply two integers of type iN, producing 131bede0b7dd7c70792b09f6d38f6f2dfe7c1feb1d1Chris Lattner // an unsigned/signed value of type i[2*n], then return the top part. 132bede0b7dd7c70792b09f6d38f6f2dfe7c1feb1d1Chris Lattner MULHU, MULHS, 13363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 13463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // Bitwise operators. 13563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner AND, OR, XOR, SHL, SRA, SRL, 13663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 137691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth // Counting operators 138691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth CTTZ, CTLZ, CTPOP, 139691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth 1409373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman // Select 1419373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman SELECT, 1429373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman 1439373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman // Select with condition operator - This selects between a true value and 1449373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman // a false value (ops #2 and #3) based on the boolean result of comparing 1459373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman // the lhs and rhs (ops #0 and #1) of a conditional expression with the 1469373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman // condition code in op #4, a CondCodeSDNode. 1479373a81e53ce5f9f2c06c4209b8b886605aece08Nate Begeman SELECT_CC, 14863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 14963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // SetCC operator - This evaluates to a boolean (i1) true value if the 1507cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner // condition is true. The operands to this are the left and right operands 1517cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner // to compare (ops #0, and #1) and the condition code to compare them with 1527cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner // (op #2) as a CondCodeSDNode. 15363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETCC, 15463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 1555880b9fa3e964efdb5465fe740f1c7aaf054766aChris Lattner // ADD_PARTS/SUB_PARTS - These operators take two logical operands which are 1565880b9fa3e964efdb5465fe740f1c7aaf054766aChris Lattner // broken into a multiple pieces each, and return the resulting pieces of 1575880b9fa3e964efdb5465fe740f1c7aaf054766aChris Lattner // doing an atomic add/sub operation. This is used to handle add/sub of 1585880b9fa3e964efdb5465fe740f1c7aaf054766aChris Lattner // expanded types. The operation ordering is: 1595880b9fa3e964efdb5465fe740f1c7aaf054766aChris Lattner // [Lo,Hi] = op [LoLHS,HiLHS], [LoRHS,HiRHS] 1605880b9fa3e964efdb5465fe740f1c7aaf054766aChris Lattner ADD_PARTS, SUB_PARTS, 16163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 16214c5b53c037a6a175118ed1a7d7e0e74153d56c4Chris Lattner // SHL_PARTS/SRA_PARTS/SRL_PARTS - These operators are used for expanded 16314c5b53c037a6a175118ed1a7d7e0e74153d56c4Chris Lattner // integer shift operations, just like ADD/SUB_PARTS. The operation 16414c5b53c037a6a175118ed1a7d7e0e74153d56c4Chris Lattner // ordering is: 1656b8f2d649c1e96e0222be9de1e5d6c79e3eef021Chris Lattner // [Lo,Hi] = op [LoLHS,HiLHS], Amt 16614c5b53c037a6a175118ed1a7d7e0e74153d56c4Chris Lattner SHL_PARTS, SRA_PARTS, SRL_PARTS, 16714c5b53c037a6a175118ed1a7d7e0e74153d56c4Chris Lattner 16863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // Conversion operators. These are all single input single output 16963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // operations. For all of these, the result type must be strictly 17063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // wider or narrower (depending on the operation) than the source 17163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // type. 17263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 17363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // SIGN_EXTEND - Used for integer types, replicating the sign bit 17463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // into new bits. 17563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SIGN_EXTEND, 17663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 17763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // ZERO_EXTEND - Used for integer types, zeroing the new bits. 17863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner ZERO_EXTEND, 17963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 1807e122db776d9731dfe5acb7faa9da4f3c33ee5a1Chris Lattner // ANY_EXTEND - Used for integer types. The high bits are undefined. 1817e122db776d9731dfe5acb7faa9da4f3c33ee5a1Chris Lattner ANY_EXTEND, 1827e122db776d9731dfe5acb7faa9da4f3c33ee5a1Chris Lattner 18363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // TRUNCATE - Completely drop the high bits. 18463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner TRUNCATE, 18563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 1861645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner // [SU]INT_TO_FP - These operators convert integers (whose interpreted sign 1871645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner // depends on the first letter) to floating point. 1881645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner SINT_TO_FP, 1891645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner UINT_TO_FP, 1901645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner 191ea5761068956b157832d67bcc9d5e8ba706f545cChris Lattner // SIGN_EXTEND_INREG - This operator atomically performs a SHL/SRA pair to 192ea5761068956b157832d67bcc9d5e8ba706f545cChris Lattner // sign extend a small value in a large integer register (e.g. sign 193ea5761068956b157832d67bcc9d5e8ba706f545cChris Lattner // extending the low 8 bits of a 32-bit register to fill the top 24 bits 19415e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner // with the 7th bit). The size of the smaller type is indicated by the 1th 19515e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner // operand, a ValueType node. 196859157daee6a4b49e99921832e1dde065167b317Chris Lattner SIGN_EXTEND_INREG, 197859157daee6a4b49e99921832e1dde065167b317Chris Lattner 1981645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner // FP_TO_[US]INT - Convert a floating point value to a signed or unsigned 1991645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner // integer. 2001645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner FP_TO_SINT, 2011645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner FP_TO_UINT, 2021645ed0b93901ec678cd54024c8b09bca632b296Chris Lattner 20363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // FP_ROUND - Perform a rounding operation from the current 204859157daee6a4b49e99921832e1dde065167b317Chris Lattner // precision down to the specified precision (currently always 64->32). 20563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner FP_ROUND, 20663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 207859157daee6a4b49e99921832e1dde065167b317Chris Lattner // FP_ROUND_INREG - This operator takes a floating point register, and 208859157daee6a4b49e99921832e1dde065167b317Chris Lattner // rounds it to a floating point value. It then promotes it and returns it 209859157daee6a4b49e99921832e1dde065167b317Chris Lattner // in a register of the same size. This operation effectively just discards 21015e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner // excess precision. The type to round down to is specified by the 1th 21115e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner // operation, a VTSDNode (currently always 64->32->64). 212859157daee6a4b49e99921832e1dde065167b317Chris Lattner FP_ROUND_INREG, 213859157daee6a4b49e99921832e1dde065167b317Chris Lattner 21463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // FP_EXTEND - Extend a smaller FP type into a larger FP type. 21563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner FP_EXTEND, 21663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 2171ac1c4b9d2877bd2d15bcf578bc617a605d815b0Chris Lattner // BIT_CONVERT - Theis operator converts between integer and FP values, as 2181ac1c4b9d2877bd2d15bcf578bc617a605d815b0Chris Lattner // if one was stored to memory as integer and the other was loaded from the 2191ac1c4b9d2877bd2d15bcf578bc617a605d815b0Chris Lattner // same address. The source and result are required to have the same bit 2201ac1c4b9d2877bd2d15bcf578bc617a605d815b0Chris Lattner // size (e.g. f32 <-> i32). This can also be used for int-to-int or 2211ac1c4b9d2877bd2d15bcf578bc617a605d815b0Chris Lattner // fp-to-fp conversions, but that is a noop, deleted by getNode(). 2221ac1c4b9d2877bd2d15bcf578bc617a605d815b0Chris Lattner BIT_CONVERT, 2231ac1c4b9d2877bd2d15bcf578bc617a605d815b0Chris Lattner 2247f64464ff100bcb7661b65c74c13dc88e83eb65bChris Lattner // FNEG, FABS, FSQRT, FSIN, FCOS - Perform unary floating point negation, 2257f64464ff100bcb7661b65c74c13dc88e83eb65bChris Lattner // absolute value, square root, sine and cosine operations. 2267f64464ff100bcb7661b65c74c13dc88e83eb65bChris Lattner FNEG, FABS, FSQRT, FSIN, FCOS, 2277366fd39727180a3261dd99e3797f89979d74e66Chris Lattner 2281cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // Other operators. LOAD and STORE have token chains as their first 229f7db8c69a12582c7d1ff7c5f25c948dca2dbf7dcChris Lattner // operand, then the same operands as an LLVM load/store instruction, then a 230f7db8c69a12582c7d1ff7c5f25c948dca2dbf7dcChris Lattner // SRCVALUE node that provides alias analysis information. 23163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner LOAD, STORE, 2325fbb5d2459a5410590f285250faa604576308a93Nate Begeman 2335fbb5d2459a5410590f285250faa604576308a93Nate Begeman // Abstract vector version of LOAD. VLOAD has a token chain as the first 2345fbb5d2459a5410590f285250faa604576308a93Nate Begeman // operand, followed by a pointer operand, a constant element count, a value 2355fbb5d2459a5410590f285250faa604576308a93Nate Begeman // type node indicating the type of the elements, and a SRCVALUE node. 2365fbb5d2459a5410590f285250faa604576308a93Nate Begeman VLOAD, 23763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 2385f056bf4b862a7c31388a68711dd3b3ed5de2be8Chris Lattner // EXTLOAD, SEXTLOAD, ZEXTLOAD - These three operators all load a value from 2395f056bf4b862a7c31388a68711dd3b3ed5de2be8Chris Lattner // memory and extend them to a larger value (e.g. load a byte into a word 2405f056bf4b862a7c31388a68711dd3b3ed5de2be8Chris Lattner // register). All three of these have four operands, a token chain, a 2415f056bf4b862a7c31388a68711dd3b3ed5de2be8Chris Lattner // pointer to load from, a SRCVALUE for alias analysis, and a VALUETYPE node 2425f056bf4b862a7c31388a68711dd3b3ed5de2be8Chris Lattner // indicating the type to load. 2431cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // 2441cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // SEXTLOAD loads the integer operand and sign extends it to a larger 2451cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // integer result type. 2461cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // ZEXTLOAD loads the integer operand and zero extends it to a larger 2471cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // integer result type. 248ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman // EXTLOAD is used for two things: floating point extending loads, and 2491cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // integer extending loads where it doesn't matter what the high 2501cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // bits are set to. The code generator is allowed to codegen this 2511cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // into whichever operation is more efficient. 2521cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner EXTLOAD, SEXTLOAD, ZEXTLOAD, 2531cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner 2541cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // TRUNCSTORE - This operators truncates (for integer) or rounds (for FP) a 2551cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner // value and stores it to memory in one operation. This can be used for 256f7db8c69a12582c7d1ff7c5f25c948dca2dbf7dcChris Lattner // either integer or floating point operands. The first four operands of 257f7db8c69a12582c7d1ff7c5f25c948dca2dbf7dcChris Lattner // this are the same as a standard store. The fifth is the ValueType to 258f7db8c69a12582c7d1ff7c5f25c948dca2dbf7dcChris Lattner // store it as (which will be smaller than the source value). 2591cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner TRUNCSTORE, 2601cff05c7c216eea0e9173738c2a60b70c2b3c013Chris Lattner 26163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // DYNAMIC_STACKALLOC - Allocate some number of bytes on the stack aligned 26263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // to a specified boundary. The first operand is the token chain, the 26363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // second is the number of bytes to allocate, and the third is the alignment 26474fe063e90045931eefaba561730e6a9175ced78Chris Lattner // boundary. The size is guaranteed to be a multiple of the stack 26574fe063e90045931eefaba561730e6a9175ced78Chris Lattner // alignment, and the alignment is guaranteed to be bigger than the stack 26674fe063e90045931eefaba561730e6a9175ced78Chris Lattner // alignment (if required) or 0 to get standard stack alignment. 26763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner DYNAMIC_STACKALLOC, 26863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 26963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // Control flow instructions. These all have token chains. 270ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 27163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // BR - Unconditional branch. The first operand is the chain 27263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // operand, the second is the MBB to branch to. 27363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner BR, 27463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 27563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // BRCOND - Conditional branch. The first operand is the chain, 27663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // the second is the condition, the third is the block to branch 27763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // to if the condition is true. 27863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner BRCOND, 27963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 2801df633821b9994a132ea329e5b04a9a2d0580de3Chris Lattner // BRCONDTWOWAY - Two-way conditional branch. The first operand is the 2811df633821b9994a132ea329e5b04a9a2d0580de3Chris Lattner // chain, the second is the condition, the third is the block to branch to 2821df633821b9994a132ea329e5b04a9a2d0580de3Chris Lattner // if true, and the forth is the block to branch to if false. Targets 2831df633821b9994a132ea329e5b04a9a2d0580de3Chris Lattner // usually do not implement this, preferring to have legalize demote the 2841df633821b9994a132ea329e5b04a9a2d0580de3Chris Lattner // operation to BRCOND/BR pairs when necessary. 2851df633821b9994a132ea329e5b04a9a2d0580de3Chris Lattner BRCONDTWOWAY, 2861df633821b9994a132ea329e5b04a9a2d0580de3Chris Lattner 2877cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman // BR_CC - Conditional branch. The behavior is like that of SELECT_CC, in 2887cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman // that the condition is represented as condition code, and two nodes to 2897cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman // compare, rather than as a combined SetCC node. The operands in order are 2907cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman // chain, cc, lhs, rhs, block to branch to if condition is true. 2917cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman BR_CC, 2927cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman 2937cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman // BRTWOWAY_CC - Two-way conditional branch. The operands in order are 2947cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman // chain, cc, lhs, rhs, block to branch to if condition is true, block to 2957cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman // branch to if condition is false. Targets usually do not implement this, 2967cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman // preferring to have legalize demote the operation to BRCOND/BR pairs. 2977cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman BRTWOWAY_CC, 2987cbd525ba85ebe440d15fa359ec940e404d14906Nate Begeman 29963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // RET - Return from function. The first operand is the chain, 30063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // and any subsequent operands are the return values for the 30163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // function. This operation can have variable number of operands. 30263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner RET, 30363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 30463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // CALL - Call to a function pointer. The first operand is the chain, the 30563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // second is the destination function pointer (a GlobalAddress for a direct 30663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // call). Arguments have already been lowered to explicit DAGs according to 3074c1eae9fb329e0e371d453957c56426294de24e9Chris Lattner // the calling convention in effect here. TAILCALL is the same as CALL, but 3084c1eae9fb329e0e371d453957c56426294de24e9Chris Lattner // the callee is known not to access the stack of the caller. 30963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner CALL, 3104c1eae9fb329e0e371d453957c56426294de24e9Chris Lattner TAILCALL, 311ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner 312ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner // MEMSET/MEMCPY/MEMMOVE - The first operand is the chain, and the rest 313ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner // correspond to the operands of the LLVM intrinsic functions. The only 314ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner // result is a token chain. The alignment argument is guaranteed to be a 315ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner // Constant node. 316ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner MEMSET, 317ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner MEMMOVE, 318ef36aa75d7df2bb67e8bfb0da7c43c1b331611e4Chris Lattner MEMCPY, 319ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 32016cd04d26c53c6f81313cafb85f6c0e7a07cdff6Chris Lattner // CALLSEQ_START/CALLSEQ_END - These operators mark the beginning and end of 32116cd04d26c53c6f81313cafb85f6c0e7a07cdff6Chris Lattner // a call sequence, and carry arbitrary information that target might want 32216cd04d26c53c6f81313cafb85f6c0e7a07cdff6Chris Lattner // to know. The first operand is a chain, the rest are specified by the 32316cd04d26c53c6f81313cafb85f6c0e7a07cdff6Chris Lattner // target and not touched by the DAG optimizers. 32416cd04d26c53c6f81313cafb85f6c0e7a07cdff6Chris Lattner CALLSEQ_START, // Beginning of a call sequence 32516cd04d26c53c6f81313cafb85f6c0e7a07cdff6Chris Lattner CALLSEQ_END, // End of a call sequence 32663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 32721074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner // SRCVALUE - This corresponds to a Value*, and is used to associate memory 32821074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner // locations with their value. This allows one use alias analysis 32921074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner // information in the backend. 33021074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner SRCVALUE, 33121074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner 332e3f570c3f9048bc71a9f5841343eae63719e439bMisha Brukman // PCMARKER - This corresponds to the pcmarker intrinsic. 33395762124a1d781cc0f8cbc4c22e9c5c1358d7ea0Andrew Lenharth PCMARKER, 33463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 335aeef8fc5c6124a34bd2a723071a3982b559c26f2Andrew Lenharth // READCYCLECOUNTER - This corresponds to the readcyclecounter intrinsic. 3368b91c77385a055474d271aa8c10f0382fdeaafebAndrew Lenharth // The only operand is a chain and a value and a chain are produced. The 3378b91c77385a055474d271aa8c10f0382fdeaafebAndrew Lenharth // value is the contents of the architecture specific cycle counter like 3388b91c77385a055474d271aa8c10f0382fdeaafebAndrew Lenharth // register (or other high accuracy low latency clock source) 339aeef8fc5c6124a34bd2a723071a3982b559c26f2Andrew Lenharth READCYCLECOUNTER, 340aeef8fc5c6124a34bd2a723071a3982b559c26f2Andrew Lenharth 34121074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner // READPORT, WRITEPORT, READIO, WRITEIO - These correspond to the LLVM 34221074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner // intrinsics of the same name. The first operand is a token chain, the 34321074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner // other operands match the intrinsic. These produce a token chain in 34421074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner // addition to a value (if any). 34521074f43ed5165828717ea3606eb2bd222a39b26Chris Lattner READPORT, WRITEPORT, READIO, WRITEIO, 346d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner 347d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner // HANDLENODE node - Used as a handle for various purposes. 348d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner HANDLENODE, 3492d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth 35047725d059b259f8a0c145478300c9e9caa006b59Chris Lattner // LOCATION - This node is used to represent a source location for debug 35147725d059b259f8a0c145478300c9e9caa006b59Chris Lattner // info. It takes token chain as input, then a line number, then a column 35247725d059b259f8a0c145478300c9e9caa006b59Chris Lattner // number, then a filename, then a working dir. It produces a token chain 35347725d059b259f8a0c145478300c9e9caa006b59Chris Lattner // as output. 35447725d059b259f8a0c145478300c9e9caa006b59Chris Lattner LOCATION, 35547725d059b259f8a0c145478300c9e9caa006b59Chris Lattner 356f5395cee6a24699a016b2e379cf4804b09ce5030Jim Laskey // DEBUG_LOC - This node is used to represent source line information 357f5395cee6a24699a016b2e379cf4804b09ce5030Jim Laskey // embedded in the code. It takes token chain as input, then a line number, 358f5395cee6a24699a016b2e379cf4804b09ce5030Jim Laskey // then a column then a file id (provided by MachineDebugInfo. It produces 359f5395cee6a24699a016b2e379cf4804b09ce5030Jim Laskey // a token chain as output. 360f5395cee6a24699a016b2e379cf4804b09ce5030Jim Laskey DEBUG_LOC, 361f5395cee6a24699a016b2e379cf4804b09ce5030Jim Laskey 36263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // BUILTIN_OP_END - This must be the last enum value in this list. 36363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner BUILTIN_OP_END, 36463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner }; 36563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 36663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner //===--------------------------------------------------------------------===// 36763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// ISD::CondCode enum - These are ordered carefully to make the bitfields 36863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// below work out, when considering SETFALSE (something that never exists 36963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// dynamically) as 0. "U" -> Unsigned (for integer operands) or Unordered 37063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// (for floating point), "L" -> Less than, "G" -> Greater than, "E" -> Equal 37163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// to. If the "N" column is 1, the result of the comparison is undefined if 37263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// the input is a NAN. 37363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 37463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// All of these (except for the 'always folded ops') should be handled for 37563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// floating point. For integer, only the SETEQ,SETNE,SETLT,SETLE,SETGT, 37663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// SETGE,SETULT,SETULE,SETUGT, and SETUGE opcodes are used. 37763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 37863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// Note that these are laid out in a specific order to allow bit-twiddling 37963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// to transform conditions. 38063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner enum CondCode { 38163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // Opcode N U L G E Intuitive operation 38263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETFALSE, // 0 0 0 0 Always false (always folded) 38363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETOEQ, // 0 0 0 1 True if ordered and equal 38463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETOGT, // 0 0 1 0 True if ordered and greater than 38563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETOGE, // 0 0 1 1 True if ordered and greater than or equal 38663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETOLT, // 0 1 0 0 True if ordered and less than 38763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETOLE, // 0 1 0 1 True if ordered and less than or equal 38863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETONE, // 0 1 1 0 True if ordered and operands are unequal 38963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETO, // 0 1 1 1 True if ordered (no nans) 39063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETUO, // 1 0 0 0 True if unordered: isnan(X) | isnan(Y) 39163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETUEQ, // 1 0 0 1 True if unordered or equal 39263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETUGT, // 1 0 1 0 True if unordered or greater than 39363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETUGE, // 1 0 1 1 True if unordered, greater than, or equal 39463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETULT, // 1 1 0 0 True if unordered or less than 395ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman SETULE, // 1 1 0 1 True if unordered, less than, or equal 39663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETUNE, // 1 1 1 0 True if unordered or not equal 39763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETTRUE, // 1 1 1 1 Always true (always folded) 39863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // Don't care operations: undefined if the input is a nan. 39963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETFALSE2, // 1 X 0 0 0 Always false (always folded) 40063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETEQ, // 1 X 0 0 1 True if equal 40163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETGT, // 1 X 0 1 0 True if greater than 40263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETGE, // 1 X 0 1 1 True if greater than or equal 40363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETLT, // 1 X 1 0 0 True if less than 404ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman SETLE, // 1 X 1 0 1 True if less than or equal 40563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETNE, // 1 X 1 1 0 True if not equal 40663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETTRUE2, // 1 X 1 1 1 Always true (always folded) 40763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 40863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SETCC_INVALID, // Marker value. 40963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner }; 41063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 41163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// isSignedIntSetCC - Return true if this is a setcc instruction that 41263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// performs a signed comparison when used with integer operands. 41363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline bool isSignedIntSetCC(CondCode Code) { 41463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Code == SETGT || Code == SETGE || Code == SETLT || Code == SETLE; 41563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 41663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 41763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// isUnsignedIntSetCC - Return true if this is a setcc instruction that 41863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// performs an unsigned comparison when used with integer operands. 41963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline bool isUnsignedIntSetCC(CondCode Code) { 42063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Code == SETUGT || Code == SETUGE || Code == SETULT || Code == SETULE; 42163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 42263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 42363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// isTrueWhenEqual - Return true if the specified condition returns true if 42463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// the two operands to the condition are equal. Note that if one of the two 42563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// operands is a NaN, this value is meaningless. 42663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline bool isTrueWhenEqual(CondCode Cond) { 42763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return ((int)Cond & 1) != 0; 42863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 42963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 43063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getUnorderedFlavor - This function returns 0 if the condition is always 43163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// false if an operand is a NaN, 1 if the condition is always true if the 43263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// operand is a NaN, and 2 if the condition is undefined if the operand is a 43363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// NaN. 43463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline unsigned getUnorderedFlavor(CondCode Cond) { 43563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return ((int)Cond >> 3) & 3; 43663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 43763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 43863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getSetCCInverse - Return the operation corresponding to !(X op Y), where 43963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 'op' is a valid SetCC operation. 44063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner CondCode getSetCCInverse(CondCode Operation, bool isInteger); 44163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 44263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getSetCCSwappedOperands - Return the operation corresponding to (Y op X) 44363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// when given the operation for (X op Y). 44463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner CondCode getSetCCSwappedOperands(CondCode Operation); 44563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 44663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getSetCCOrOperation - Return the result of a logical OR between different 44763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// comparisons of identical values: ((X op1 Y) | (X op2 Y)). This 44863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// function returns SETCC_INVALID if it is not possible to represent the 44963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// resultant comparison. 45063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner CondCode getSetCCOrOperation(CondCode Op1, CondCode Op2, bool isInteger); 45163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 45263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getSetCCAndOperation - Return the result of a logical AND between 45363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// different comparisons of identical values: ((X op1 Y) & (X op2 Y)). This 45463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// function returns SETCC_INVALID if it is not possible to represent the 45563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// resultant comparison. 45663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner CondCode getSetCCAndOperation(CondCode Op1, CondCode Op2, bool isInteger); 45763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner} // end llvm::ISD namespace 45863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 45963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 46063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner//===----------------------------------------------------------------------===// 46163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// SDOperand - Unlike LLVM values, Selection DAG nodes may return multiple 46263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// values as the result of a computation. Many nodes return multiple values, 46363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// from loads (which define a token and a return value) to ADDC (which returns 46463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// a result and a carry value), to calls (which may return an arbitrary number 46563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// of values). 46663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// 46763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// As such, each use of a SelectionDAG computation must indicate the node that 46863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// computes it as well as which return value to use from that node. This pair 46963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// of information is represented with the SDOperand value type. 47063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// 471f26bc8ef4827cf0023a7052b62b920b41813d473Chris Lattnerclass SDOperand { 472f26bc8ef4827cf0023a7052b62b920b41813d473Chris Lattnerpublic: 47363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SDNode *Val; // The node defining the value we are using. 47463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner unsigned ResNo; // Which return value of the node we are using. 47563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 47663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SDOperand() : Val(0) {} 47763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SDOperand(SDNode *val, unsigned resno) : Val(val), ResNo(resno) {} 47863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 47963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner bool operator==(const SDOperand &O) const { 48063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Val == O.Val && ResNo == O.ResNo; 48163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 48263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner bool operator!=(const SDOperand &O) const { 48363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return !operator==(O); 48463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 48563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner bool operator<(const SDOperand &O) const { 48663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Val < O.Val || (Val == O.Val && ResNo < O.ResNo); 48763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 48863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 48963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SDOperand getValue(unsigned R) const { 49063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return SDOperand(Val, R); 49163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 49263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 49363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getValueType - Return the ValueType of the referenced return value. 49463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 49563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline MVT::ValueType getValueType() const; 496ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 49763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // Forwarding methods - These forward to the corresponding methods in SDNode. 49863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline unsigned getOpcode() const; 4990442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner inline unsigned getNodeDepth() const; 50063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline unsigned getNumOperands() const; 50163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner inline const SDOperand &getOperand(unsigned i) const; 5020f66a9172175aa7c3055333358170581c999219bNate Begeman inline bool isTargetOpcode() const; 5030f66a9172175aa7c3055333358170581c999219bNate Begeman inline unsigned getTargetOpcode() const; 504a44f4aeca77c6c1627568fe68e92af9c7e33dc7eChris Lattner 505a44f4aeca77c6c1627568fe68e92af9c7e33dc7eChris Lattner /// hasOneUse - Return true if there is exactly one operation using this 506a44f4aeca77c6c1627568fe68e92af9c7e33dc7eChris Lattner /// result value of the defining operator. 507a44f4aeca77c6c1627568fe68e92af9c7e33dc7eChris Lattner inline bool hasOneUse() const; 50863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 50963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 51063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 51163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// simplify_type specializations - Allow casting operators to work directly on 51263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// SDOperands as if they were SDNode*'s. 51363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnertemplate<> struct simplify_type<SDOperand> { 51463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner typedef SDNode* SimpleType; 51563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static SimpleType getSimplifiedValue(const SDOperand &Val) { 51663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return static_cast<SimpleType>(Val.Val); 51763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 51863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 51963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnertemplate<> struct simplify_type<const SDOperand> { 52063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner typedef SDNode* SimpleType; 52163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static SimpleType getSimplifiedValue(const SDOperand &Val) { 52263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return static_cast<SimpleType>(Val.Val); 52363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 52463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 52563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 52663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 52763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// SDNode - Represents one node in the SelectionDAG. 52863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner/// 52963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass SDNode { 5300442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// NodeType - The operation that this node performs. 5310442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// 5320442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner unsigned short NodeType; 5330442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner 5340442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// NodeDepth - Node depth is defined as MAX(Node depth of children)+1. This 5350442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// means that leaves have a depth of 1, things that use only leaves have a 5360442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// depth of 2, etc. 5370442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner unsigned short NodeDepth; 5380442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner 539f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner /// OperandList - The values that are used by this operation. 5400442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// 541f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner SDOperand *OperandList; 542f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner 543f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner /// ValueList - The types of the values this node defines. SDNode's may 544f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner /// define multiple values simultaneously. 545f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner MVT::ValueType *ValueList; 54663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 547f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner /// NumOperands/NumValues - The number of entries in the Operand/Value list. 548f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner unsigned short NumOperands, NumValues; 549b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner 550b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner /// Prev/Next pointers - These pointers form the linked list of of the 551b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner /// AllNodes list in the current DAG. 552b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner SDNode *Prev, *Next; 553b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner friend struct ilist_traits<SDNode>; 55463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 55563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// Uses - These are all of the SDNode's that use a value produced by this 55663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// node. 55763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner std::vector<SDNode*> Uses; 55863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 559b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner virtual ~SDNode() { 560b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner assert(NumOperands == 0 && "Operand list not cleared before deletion"); 561b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner } 562b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner 56363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner //===--------------------------------------------------------------------===// 56463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // Accessors 56563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner // 56663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner unsigned getOpcode() const { return NodeType; } 5670f66a9172175aa7c3055333358170581c999219bNate Begeman bool isTargetOpcode() const { return NodeType >= ISD::BUILTIN_OP_END; } 5680f66a9172175aa7c3055333358170581c999219bNate Begeman unsigned getTargetOpcode() const { 5690f66a9172175aa7c3055333358170581c999219bNate Begeman assert(isTargetOpcode() && "Not a target opcode!"); 5700f66a9172175aa7c3055333358170581c999219bNate Begeman return NodeType - ISD::BUILTIN_OP_END; 5710f66a9172175aa7c3055333358170581c999219bNate Begeman } 57263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 57363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner size_t use_size() const { return Uses.size(); } 57463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner bool use_empty() const { return Uses.empty(); } 57563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner bool hasOneUse() const { return Uses.size() == 1; } 57663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 5770442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// getNodeDepth - Return the distance from this node to the leaves in the 5780442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner /// graph. The leaves have a depth of 1. 5790442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner unsigned getNodeDepth() const { return NodeDepth; } 5800442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner 5817ece380440238ad0630a225b85a09a2dbed1165aChris Lattner typedef std::vector<SDNode*>::const_iterator use_iterator; 5827ece380440238ad0630a225b85a09a2dbed1165aChris Lattner use_iterator use_begin() const { return Uses.begin(); } 5837ece380440238ad0630a225b85a09a2dbed1165aChris Lattner use_iterator use_end() const { return Uses.end(); } 5847ece380440238ad0630a225b85a09a2dbed1165aChris Lattner 585b18a2f816cc9d1351ca8e380a6db5c5ef981943eChris Lattner /// hasNUsesOfValue - Return true if there are exactly NUSES uses of the 586b18a2f816cc9d1351ca8e380a6db5c5ef981943eChris Lattner /// indicated value. This method ignores uses of other values defined by this 587b18a2f816cc9d1351ca8e380a6db5c5ef981943eChris Lattner /// operation. 588b18a2f816cc9d1351ca8e380a6db5c5ef981943eChris Lattner bool hasNUsesOfValue(unsigned NUses, unsigned Value); 589b18a2f816cc9d1351ca8e380a6db5c5ef981943eChris Lattner 59063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getNumOperands - Return the number of values used by this operation. 59163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 592f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner unsigned getNumOperands() const { return NumOperands; } 59363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 59463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner const SDOperand &getOperand(unsigned Num) const { 595f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(Num < NumOperands && "Invalid child # of SDNode!"); 596f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner return OperandList[Num]; 59763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 598f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner typedef const SDOperand* op_iterator; 599f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner op_iterator op_begin() const { return OperandList; } 600f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner op_iterator op_end() const { return OperandList+NumOperands; } 60150f5a51f41d36c519de68ff11fbf7c7c76f45416Chris Lattner 60263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 60363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getNumValues - Return the number of values defined/returned by this 60463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// operator. 60563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 606f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner unsigned getNumValues() const { return NumValues; } 60763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 60863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// getValueType - Return the type of a specified result. 60963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// 61063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner MVT::ValueType getValueType(unsigned ResNo) const { 611f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(ResNo < NumValues && "Illegal result number!"); 612f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner return ValueList[ResNo]; 61363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 6149eb59ec548b861d6ede05b4e6dc22aabf645e665Jeff Cohen 615f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner typedef const MVT::ValueType* value_iterator; 616f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner value_iterator value_begin() const { return ValueList; } 617f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner value_iterator value_end() const { return ValueList+NumValues; } 61863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 6196e6e3ceb080e5a8bdfd3258d883a06ebbd8a1965Chris Lattner /// getOperationName - Return the opcode of this operation for printing. 6206e6e3ceb080e5a8bdfd3258d883a06ebbd8a1965Chris Lattner /// 621efe58694050e48b61584b8454434dcd1ad886a71Chris Lattner const char* getOperationName(const SelectionDAG *G = 0) const; 62263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner void dump() const; 623efe58694050e48b61584b8454434dcd1ad886a71Chris Lattner void dump(const SelectionDAG *G) const; 62463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 62563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *) { return true; } 62663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 62773b35371bf3c21304086299f0282d6b7a163bc12Chris Lattner 62873b35371bf3c21304086299f0282d6b7a163bc12Chris Lattner /// setAdjCallChain - This method should only be used by the legalizer. 62973b35371bf3c21304086299f0282d6b7a163bc12Chris Lattner void setAdjCallChain(SDOperand N); 6309eb59ec548b861d6ede05b4e6dc22aabf645e665Jeff Cohen 63163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 63263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 633109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner 634109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner /// getValueTypeList - Return a pointer to the specified value type. 635109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner /// 636109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner static MVT::ValueType *getValueTypeList(MVT::ValueType VT); 63763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 6380442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner SDNode(unsigned NT, MVT::ValueType VT) : NodeType(NT), NodeDepth(1) { 639f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = 0; NumOperands = 0; 640109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner ValueList = getValueTypeList(VT); 641f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 1; 642b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner Prev = 0; Next = 0; 64363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 64463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SDNode(unsigned NT, SDOperand Op) 6450442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner : NodeType(NT), NodeDepth(Op.Val->getNodeDepth()+1) { 646f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[1]; 647f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = Op; 648f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 1; 64963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner Op.Val->Uses.push_back(this); 650f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner ValueList = 0; 651f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 0; 652b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner Prev = 0; Next = 0; 65363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 65463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SDNode(unsigned NT, SDOperand N1, SDOperand N2) 65563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner : NodeType(NT) { 6560442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner if (N1.Val->getNodeDepth() > N2.Val->getNodeDepth()) 6570442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner NodeDepth = N1.Val->getNodeDepth()+1; 6580442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner else 6590442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner NodeDepth = N2.Val->getNodeDepth()+1; 660f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[2]; 661f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = N1; 662f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[1] = N2; 663f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 2; 66463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner N1.Val->Uses.push_back(this); N2.Val->Uses.push_back(this); 665f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner ValueList = 0; 666f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 0; 667b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner Prev = 0; Next = 0; 66863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 66963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner SDNode(unsigned NT, SDOperand N1, SDOperand N2, SDOperand N3) 67063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner : NodeType(NT) { 6710442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner unsigned ND = N1.Val->getNodeDepth(); 6720442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner if (ND < N2.Val->getNodeDepth()) 6730442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner ND = N2.Val->getNodeDepth(); 6740442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner if (ND < N3.Val->getNodeDepth()) 6750442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner ND = N3.Val->getNodeDepth(); 6760442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner NodeDepth = ND+1; 6770442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner 678f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[3]; 679f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = N1; 680f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[1] = N2; 681f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[2] = N3; 682f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 3; 683f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner 68463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner N1.Val->Uses.push_back(this); N2.Val->Uses.push_back(this); 68563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner N3.Val->Uses.push_back(this); 686f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner ValueList = 0; 687f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 0; 688b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner Prev = 0; Next = 0; 68963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 6902d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth SDNode(unsigned NT, SDOperand N1, SDOperand N2, SDOperand N3, SDOperand N4) 6912d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth : NodeType(NT) { 6922d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth unsigned ND = N1.Val->getNodeDepth(); 6932d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth if (ND < N2.Val->getNodeDepth()) 6942d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth ND = N2.Val->getNodeDepth(); 6952d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth if (ND < N3.Val->getNodeDepth()) 6962d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth ND = N3.Val->getNodeDepth(); 6972d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth if (ND < N4.Val->getNodeDepth()) 6982d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth ND = N4.Val->getNodeDepth(); 6992d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth NodeDepth = ND+1; 7002d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth 701f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[4]; 702f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = N1; 703f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[1] = N2; 704f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[2] = N3; 705f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[3] = N4; 706f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 4; 707f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner 7082d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth N1.Val->Uses.push_back(this); N2.Val->Uses.push_back(this); 7092d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth N3.Val->Uses.push_back(this); N4.Val->Uses.push_back(this); 710f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner ValueList = 0; 711f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 0; 712b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner Prev = 0; Next = 0; 7132d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth } 714f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner SDNode(unsigned Opc, const std::vector<SDOperand> &Nodes) : NodeType(Opc) { 715f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = Nodes.size(); 716f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[NumOperands]; 717f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner 7180442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner unsigned ND = 0; 719f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner for (unsigned i = 0, e = Nodes.size(); i != e; ++i) { 720f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[i] = Nodes[i]; 721f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner SDNode *N = OperandList[i].Val; 722f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner N->Uses.push_back(this); 723f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner if (ND < N->getNodeDepth()) ND = N->getNodeDepth(); 7240442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner } 7250442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner NodeDepth = ND+1; 726f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner ValueList = 0; 727f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 0; 728b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner Prev = 0; Next = 0; 729f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner } 7301b95095857b78e12138c22e76c7936611c51355bChris Lattner 7311b95095857b78e12138c22e76c7936611c51355bChris Lattner /// MorphNodeTo - This clears the return value and operands list, and sets the 7321b95095857b78e12138c22e76c7936611c51355bChris Lattner /// opcode of the node to the specified value. This should only be used by 7331b95095857b78e12138c22e76c7936611c51355bChris Lattner /// the SelectionDAG class. 7341b95095857b78e12138c22e76c7936611c51355bChris Lattner void MorphNodeTo(unsigned Opc) { 7351b95095857b78e12138c22e76c7936611c51355bChris Lattner NodeType = Opc; 736f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner ValueList = 0; 737f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 0; 738b467f8af4125471361468ab91dbedba2abf2e09aChris Lattner 739b467f8af4125471361468ab91dbedba2abf2e09aChris Lattner // Clear the operands list, updating used nodes to remove this from their 740b467f8af4125471361468ab91dbedba2abf2e09aChris Lattner // use list. 741f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner for (op_iterator I = op_begin(), E = op_end(); I != E; ++I) 742f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner I->Val->removeUser(this); 743f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner delete [] OperandList; 744f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = 0; 745f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 0; 74663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 7471b95095857b78e12138c22e76c7936611c51355bChris Lattner 74863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner void setValueTypes(MVT::ValueType VT) { 749f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(NumValues == 0 && "Should not have values yet!"); 750109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner ValueList = getValueTypeList(VT); 751f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumValues = 1; 75263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 753109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner void setValueTypes(MVT::ValueType *List, unsigned NumVal) { 754f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(NumValues == 0 && "Should not have values yet!"); 755109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner ValueList = List; 756109654fae9c5b8b96bd3a829824cdbceb27ced06Chris Lattner NumValues = NumVal; 75763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 7581b95095857b78e12138c22e76c7936611c51355bChris Lattner 7591b95095857b78e12138c22e76c7936611c51355bChris Lattner void setOperands(SDOperand Op0) { 760f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(NumOperands == 0 && "Should not have operands yet!"); 761f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[1]; 762f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = Op0; 763f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 1; 7648c3484c5181834e6b7060a6064ac769878101f23Chris Lattner Op0.Val->Uses.push_back(this); 7651b95095857b78e12138c22e76c7936611c51355bChris Lattner } 7661b95095857b78e12138c22e76c7936611c51355bChris Lattner void setOperands(SDOperand Op0, SDOperand Op1) { 767f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(NumOperands == 0 && "Should not have operands yet!"); 768f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[2]; 769f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = Op0; 770f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[1] = Op1; 771f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 2; 7728c3484c5181834e6b7060a6064ac769878101f23Chris Lattner Op0.Val->Uses.push_back(this); Op1.Val->Uses.push_back(this); 7731b95095857b78e12138c22e76c7936611c51355bChris Lattner } 7741b95095857b78e12138c22e76c7936611c51355bChris Lattner void setOperands(SDOperand Op0, SDOperand Op1, SDOperand Op2) { 775f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(NumOperands == 0 && "Should not have operands yet!"); 776f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[3]; 777f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = Op0; 778f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[1] = Op1; 779f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[2] = Op2; 780f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 3; 7818c3484c5181834e6b7060a6064ac769878101f23Chris Lattner Op0.Val->Uses.push_back(this); Op1.Val->Uses.push_back(this); 7828c3484c5181834e6b7060a6064ac769878101f23Chris Lattner Op2.Val->Uses.push_back(this); 7838c3484c5181834e6b7060a6064ac769878101f23Chris Lattner } 784294a0a103d561864f2089b9f5948fb1a49801918Nate Begeman void setOperands(SDOperand Op0, SDOperand Op1, SDOperand Op2, SDOperand Op3) { 785f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(NumOperands == 0 && "Should not have operands yet!"); 786f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[4]; 787f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = Op0; 788f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[1] = Op1; 789f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[2] = Op2; 790f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[3] = Op3; 791f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 4; 792294a0a103d561864f2089b9f5948fb1a49801918Nate Begeman Op0.Val->Uses.push_back(this); Op1.Val->Uses.push_back(this); 793294a0a103d561864f2089b9f5948fb1a49801918Nate Begeman Op2.Val->Uses.push_back(this); Op3.Val->Uses.push_back(this); 794294a0a103d561864f2089b9f5948fb1a49801918Nate Begeman } 795d54209fcf9af827fecfaf32685a0fb8caf7cadb1Chris Lattner void setOperands(SDOperand Op0, SDOperand Op1, SDOperand Op2, SDOperand Op3, 796d54209fcf9af827fecfaf32685a0fb8caf7cadb1Chris Lattner SDOperand Op4) { 797f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner assert(NumOperands == 0 && "Should not have operands yet!"); 798f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList = new SDOperand[5]; 799f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[0] = Op0; 800f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[1] = Op1; 801f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[2] = Op2; 802f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[3] = Op3; 803f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner OperandList[4] = Op4; 804f71e843f651ad94e19f85daa947fe24312b40d11Chris Lattner NumOperands = 5; 805d54209fcf9af827fecfaf32685a0fb8caf7cadb1Chris Lattner Op0.Val->Uses.push_back(this); Op1.Val->Uses.push_back(this); 806d54209fcf9af827fecfaf32685a0fb8caf7cadb1Chris Lattner Op2.Val->Uses.push_back(this); Op3.Val->Uses.push_back(this); 807d54209fcf9af827fecfaf32685a0fb8caf7cadb1Chris Lattner Op4.Val->Uses.push_back(this); 808d54209fcf9af827fecfaf32685a0fb8caf7cadb1Chris Lattner } 80961ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng void setOperands(SDOperand Op0, SDOperand Op1, SDOperand Op2, SDOperand Op3, 81061ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng SDOperand Op4, SDOperand Op5) { 81161ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng assert(NumOperands == 0 && "Should not have operands yet!"); 81261ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng OperandList = new SDOperand[6]; 81361ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng OperandList[0] = Op0; 81461ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng OperandList[1] = Op1; 81561ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng OperandList[2] = Op2; 81661ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng OperandList[3] = Op3; 81761ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng OperandList[4] = Op4; 81861ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng OperandList[5] = Op5; 81961ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng NumOperands = 6; 82061ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng Op0.Val->Uses.push_back(this); Op1.Val->Uses.push_back(this); 82161ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng Op2.Val->Uses.push_back(this); Op3.Val->Uses.push_back(this); 82261ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng Op4.Val->Uses.push_back(this); Op5.Val->Uses.push_back(this); 82361ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng } 8248c3484c5181834e6b7060a6064ac769878101f23Chris Lattner void addUser(SDNode *User) { 8258c3484c5181834e6b7060a6064ac769878101f23Chris Lattner Uses.push_back(User); 8261b95095857b78e12138c22e76c7936611c51355bChris Lattner } 827d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner void removeUser(SDNode *User) { 828d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner // Remove this user from the operand's use list. 829d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner for (unsigned i = Uses.size(); ; --i) { 830d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner assert(i != 0 && "Didn't find user!"); 831d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner if (Uses[i-1] == User) { 8328c3484c5181834e6b7060a6064ac769878101f23Chris Lattner Uses[i-1] = Uses.back(); 8338c3484c5181834e6b7060a6064ac769878101f23Chris Lattner Uses.pop_back(); 8348c3484c5181834e6b7060a6064ac769878101f23Chris Lattner return; 835d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner } 836d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner } 837d1fc96499b7619356c7542200d32da898b79f7c1Chris Lattner } 83863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 83963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 84063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 84163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner// Define inline functions from the SDOperand class. 84263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 84363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerinline unsigned SDOperand::getOpcode() const { 84463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Val->getOpcode(); 84563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner} 8460442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattnerinline unsigned SDOperand::getNodeDepth() const { 8470442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner return Val->getNodeDepth(); 8480442fbfadbeea21eee9df88dc466d95e040dde6bChris Lattner} 84963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerinline MVT::ValueType SDOperand::getValueType() const { 85063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Val->getValueType(ResNo); 85163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner} 85263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerinline unsigned SDOperand::getNumOperands() const { 85363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Val->getNumOperands(); 85463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner} 85563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerinline const SDOperand &SDOperand::getOperand(unsigned i) const { 85663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return Val->getOperand(i); 85763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner} 8580f66a9172175aa7c3055333358170581c999219bNate Begemaninline bool SDOperand::isTargetOpcode() const { 8590f66a9172175aa7c3055333358170581c999219bNate Begeman return Val->isTargetOpcode(); 8600f66a9172175aa7c3055333358170581c999219bNate Begeman} 8610f66a9172175aa7c3055333358170581c999219bNate Begemaninline unsigned SDOperand::getTargetOpcode() const { 8620f66a9172175aa7c3055333358170581c999219bNate Begeman return Val->getTargetOpcode(); 8630f66a9172175aa7c3055333358170581c999219bNate Begeman} 864a44f4aeca77c6c1627568fe68e92af9c7e33dc7eChris Lattnerinline bool SDOperand::hasOneUse() const { 865a44f4aeca77c6c1627568fe68e92af9c7e33dc7eChris Lattner return Val->hasNUsesOfValue(1, ResNo); 866a44f4aeca77c6c1627568fe68e92af9c7e33dc7eChris Lattner} 86763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 868d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner/// HandleSDNode - This class is used to form a handle around another node that 869d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner/// is persistant and is updated across invocations of replaceAllUsesWith on its 870d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner/// operand. This node should be directly created by end-users and not added to 871d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner/// the AllNodes list. 872d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattnerclass HandleSDNode : public SDNode { 873d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattnerpublic: 874d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner HandleSDNode(SDOperand X) : SDNode(ISD::HANDLENODE, X) {} 875d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner ~HandleSDNode() { 876d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner MorphNodeTo(ISD::HANDLENODE); // Drops operand uses. 877d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner } 878d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner 879d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner SDOperand getValue() const { return getOperand(0); } 880d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner}; 881d623e953fc5f46b013994dfa4651cff4d17af159Chris Lattner 88247725d059b259f8a0c145478300c9e9caa006b59Chris Lattnerclass StringSDNode : public SDNode { 88347725d059b259f8a0c145478300c9e9caa006b59Chris Lattner std::string Value; 88447725d059b259f8a0c145478300c9e9caa006b59Chris Lattnerprotected: 88547725d059b259f8a0c145478300c9e9caa006b59Chris Lattner friend class SelectionDAG; 88647725d059b259f8a0c145478300c9e9caa006b59Chris Lattner StringSDNode(const std::string &val) 88747725d059b259f8a0c145478300c9e9caa006b59Chris Lattner : SDNode(ISD::STRING, MVT::Other), Value(val) { 88847725d059b259f8a0c145478300c9e9caa006b59Chris Lattner } 88947725d059b259f8a0c145478300c9e9caa006b59Chris Lattnerpublic: 89047725d059b259f8a0c145478300c9e9caa006b59Chris Lattner const std::string &getValue() const { return Value; } 89147725d059b259f8a0c145478300c9e9caa006b59Chris Lattner static bool classof(const StringSDNode *) { return true; } 89247725d059b259f8a0c145478300c9e9caa006b59Chris Lattner static bool classof(const SDNode *N) { 89347725d059b259f8a0c145478300c9e9caa006b59Chris Lattner return N->getOpcode() == ISD::STRING; 89447725d059b259f8a0c145478300c9e9caa006b59Chris Lattner } 89547725d059b259f8a0c145478300c9e9caa006b59Chris Lattner}; 89663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 89763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass ConstantSDNode : public SDNode { 89863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner uint64_t Value; 89963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 90063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 901056f9f61d071c6c583951678f2bf543a1316efccChris Lattner ConstantSDNode(bool isTarget, uint64_t val, MVT::ValueType VT) 902056f9f61d071c6c583951678f2bf543a1316efccChris Lattner : SDNode(isTarget ? ISD::TargetConstant : ISD::Constant, VT), Value(val) { 90363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 90463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 90563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 90663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner uint64_t getValue() const { return Value; } 90763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 90863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner int64_t getSignExtended() const { 90963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner unsigned Bits = MVT::getSizeInBits(getValueType(0)); 910f26bc8ef4827cf0023a7052b62b920b41813d473Chris Lattner return ((int64_t)Value << (64-Bits)) >> (64-Bits); 91163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 91263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 91363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner bool isNullValue() const { return Value == 0; } 91463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner bool isAllOnesValue() const { 9152bffad3eebff7997599d12c17248ae580ba17cb8Chris Lattner int NumBits = MVT::getSizeInBits(getValueType(0)); 9162bffad3eebff7997599d12c17248ae580ba17cb8Chris Lattner if (NumBits == 64) return Value+1 == 0; 9172bffad3eebff7997599d12c17248ae580ba17cb8Chris Lattner return Value == (1ULL << NumBits)-1; 91863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 91963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 92063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const ConstantSDNode *) { return true; } 92163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 922056f9f61d071c6c583951678f2bf543a1316efccChris Lattner return N->getOpcode() == ISD::Constant || 923056f9f61d071c6c583951678f2bf543a1316efccChris Lattner N->getOpcode() == ISD::TargetConstant; 92463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 92563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 92663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 92763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass ConstantFPSDNode : public SDNode { 92863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner double Value; 92963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 93063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 93163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner ConstantFPSDNode(double val, MVT::ValueType VT) 93263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner : SDNode(ISD::ConstantFP, VT), Value(val) { 93363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 93463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 93563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 93663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner double getValue() const { return Value; } 93763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 93863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// isExactlyValue - We don't rely on operator== working on double values, as 93963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// it returns true for things that are clearly not equal, like -0.0 and 0.0. 94063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// As such, this method can be used to do an exact bit-for-bit comparison of 94163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner /// two floating point values. 94258b968be853ef02d0f448e5e2c31676e361c210fJim Laskey bool isExactlyValue(double V) const; 94363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 94463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const ConstantFPSDNode *) { return true; } 94563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 94663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return N->getOpcode() == ISD::ConstantFP; 94763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 94863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 94963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 95063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass GlobalAddressSDNode : public SDNode { 95163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner GlobalValue *TheGlobal; 95261ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng int offset; 95363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 95463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 95561ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng GlobalAddressSDNode(bool isTarget, const GlobalValue *GA, MVT::ValueType VT, 95661ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng int o=0) 957f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner : SDNode(isTarget ? ISD::TargetGlobalAddress : ISD::GlobalAddress, VT) { 95863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner TheGlobal = const_cast<GlobalValue*>(GA); 95961ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng offset = o; 96063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 96163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 96263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 96363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner GlobalValue *getGlobal() const { return TheGlobal; } 96461ca74bc3a29b2af2be7e4bd612289da8aae85b5Evan Cheng int getOffset() const { return offset; } 96563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 96663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const GlobalAddressSDNode *) { return true; } 96763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 968f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner return N->getOpcode() == ISD::GlobalAddress || 969f6b184981e429ff03742d66cf7111debd9e2bc61Chris Lattner N->getOpcode() == ISD::TargetGlobalAddress; 97063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 97163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 97263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 97363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 97463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass FrameIndexSDNode : public SDNode { 97563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner int FI; 97663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 97763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 978afb2dd43de61f4585e75d1f3ab93a9ac4b3b7592Chris Lattner FrameIndexSDNode(int fi, MVT::ValueType VT, bool isTarg) 979afb2dd43de61f4585e75d1f3ab93a9ac4b3b7592Chris Lattner : SDNode(isTarg ? ISD::TargetFrameIndex : ISD::FrameIndex, VT), FI(fi) {} 98063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 98163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 98263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner int getIndex() const { return FI; } 98363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 98463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const FrameIndexSDNode *) { return true; } 98563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 986afb2dd43de61f4585e75d1f3ab93a9ac4b3b7592Chris Lattner return N->getOpcode() == ISD::FrameIndex || 987afb2dd43de61f4585e75d1f3ab93a9ac4b3b7592Chris Lattner N->getOpcode() == ISD::TargetFrameIndex; 98863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 98963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 99063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 99163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass ConstantPoolSDNode : public SDNode { 9925839bf2b3bd22689d9dd0e9de66c2dce71d130aeChris Lattner Constant *C; 99363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 99463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 9955839bf2b3bd22689d9dd0e9de66c2dce71d130aeChris Lattner ConstantPoolSDNode(Constant *c, MVT::ValueType VT, bool isTarget) 996aaaaf79d4aaa172c2f2ae0e327bbae523a045bf5Chris Lattner : SDNode(isTarget ? ISD::TargetConstantPool : ISD::ConstantPool, VT), 9975839bf2b3bd22689d9dd0e9de66c2dce71d130aeChris Lattner C(c) {} 99863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 99963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 10005839bf2b3bd22689d9dd0e9de66c2dce71d130aeChris Lattner Constant *get() const { return C; } 100163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 100263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const ConstantPoolSDNode *) { return true; } 100363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 1004aaaaf79d4aaa172c2f2ae0e327bbae523a045bf5Chris Lattner return N->getOpcode() == ISD::ConstantPool || 1005aaaaf79d4aaa172c2f2ae0e327bbae523a045bf5Chris Lattner N->getOpcode() == ISD::TargetConstantPool; 100663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 100763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 100863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 100963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass BasicBlockSDNode : public SDNode { 101063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner MachineBasicBlock *MBB; 101163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 101263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 101363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner BasicBlockSDNode(MachineBasicBlock *mbb) 101463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner : SDNode(ISD::BasicBlock, MVT::Other), MBB(mbb) {} 101563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 101663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 101763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner MachineBasicBlock *getBasicBlock() const { return MBB; } 101863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 101963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const BasicBlockSDNode *) { return true; } 102063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 102163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner return N->getOpcode() == ISD::BasicBlock; 102263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 102363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 102463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 10252d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharthclass SrcValueSDNode : public SDNode { 10262d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth const Value *V; 1027691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth int offset; 10282d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharthprotected: 10292d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth friend class SelectionDAG; 1030691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth SrcValueSDNode(const Value* v, int o) 1031691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth : SDNode(ISD::SRCVALUE, MVT::Other), V(v), offset(o) {} 10322d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth 10332d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharthpublic: 10342d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth const Value *getValue() const { return V; } 1035691ef2ba066dda14ae4ac0ad645054fbc967785aAndrew Lenharth int getOffset() const { return offset; } 10362d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth 10372d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth static bool classof(const SrcValueSDNode *) { return true; } 10382d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth static bool classof(const SDNode *N) { 10392d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth return N->getOpcode() == ISD::SRCVALUE; 10402d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth } 10412d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth}; 10422d86ea21dd76647cb054fd5d27df9e49efc672b6Andrew Lenharth 104363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 1044d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattnerclass RegisterSDNode : public SDNode { 104563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner unsigned Reg; 104663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 104763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 1048d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner RegisterSDNode(unsigned reg, MVT::ValueType VT) 1049d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner : SDNode(ISD::Register, VT), Reg(reg) {} 105063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 105163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 105263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner unsigned getReg() const { return Reg; } 105363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 1054d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner static bool classof(const RegisterSDNode *) { return true; } 105563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 1056d5d0f9bd20d9df07d6b4d41b7e8ed6d33b6a649dChris Lattner return N->getOpcode() == ISD::Register; 105763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 105863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 105963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 106063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerclass ExternalSymbolSDNode : public SDNode { 106163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner const char *Symbol; 106263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 106363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 10642a2de66db2093a5bc1fd620d1b6ae7992a552b24Andrew Lenharth ExternalSymbolSDNode(bool isTarget, const char *Sym, MVT::ValueType VT) 10652a2de66db2093a5bc1fd620d1b6ae7992a552b24Andrew Lenharth : SDNode(isTarget ? ISD::TargetExternalSymbol : ISD::ExternalSymbol, VT), 10662a2de66db2093a5bc1fd620d1b6ae7992a552b24Andrew Lenharth Symbol(Sym) { 106763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 106863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 106963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 107063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner const char *getSymbol() const { return Symbol; } 107163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 107263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const ExternalSymbolSDNode *) { return true; } 107363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 10742a2de66db2093a5bc1fd620d1b6ae7992a552b24Andrew Lenharth return N->getOpcode() == ISD::ExternalSymbol || 10752a2de66db2093a5bc1fd620d1b6ae7992a552b24Andrew Lenharth N->getOpcode() == ISD::TargetExternalSymbol; 107663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 107763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 107863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 10797cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattnerclass CondCodeSDNode : public SDNode { 108063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner ISD::CondCode Condition; 108163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerprotected: 108263b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner friend class SelectionDAG; 10837cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner CondCodeSDNode(ISD::CondCode Cond) 10847cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner : SDNode(ISD::CONDCODE, MVT::Other), Condition(Cond) { 108563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 108663b570d49b7bf205d48749aae1467ef96152ea7aChris Lattnerpublic: 108763b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 10887cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner ISD::CondCode get() const { return Condition; } 108963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 10907cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner static bool classof(const CondCodeSDNode *) { return true; } 109163b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner static bool classof(const SDNode *N) { 10927cf7e3f33f25544d08492d47cc8a1cbba25dc8d7Chris Lattner return N->getOpcode() == ISD::CONDCODE; 109363b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner } 109463b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner}; 109563b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 109615e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner/// VTSDNode - This class is used to represent MVT::ValueType's, which are used 109715e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner/// to parameterize some operations. 109815e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattnerclass VTSDNode : public SDNode { 109915e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner MVT::ValueType ValueType; 110015e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattnerprotected: 110115e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner friend class SelectionDAG; 110215e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner VTSDNode(MVT::ValueType VT) 110315e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner : SDNode(ISD::VALUETYPE, MVT::Other), ValueType(VT) {} 110415e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattnerpublic: 110515e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner 110615e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner MVT::ValueType getVT() const { return ValueType; } 110715e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner 110815e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner static bool classof(const VTSDNode *) { return true; } 110915e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner static bool classof(const SDNode *N) { 111015e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner return N->getOpcode() == ISD::VALUETYPE; 111115e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner } 111215e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner}; 111315e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner 111415e4b01920d6a0ffbe35d3e5aa88a4b42970b6a7Chris Lattner 11151080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattnerclass SDNodeIterator : public forward_iterator<SDNode, ptrdiff_t> { 11161080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner SDNode *Node; 11171080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner unsigned Operand; 1118ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 11191080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner SDNodeIterator(SDNode *N, unsigned Op) : Node(N), Operand(Op) {} 11201080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattnerpublic: 11211080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner bool operator==(const SDNodeIterator& x) const { 11221080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return Operand == x.Operand; 11231080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 11241080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner bool operator!=(const SDNodeIterator& x) const { return !operator==(x); } 11251080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 11261080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner const SDNodeIterator &operator=(const SDNodeIterator &I) { 11271080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner assert(I.Node == Node && "Cannot assign iterators to two different nodes!"); 11281080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner Operand = I.Operand; 11291080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return *this; 11301080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 1131ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 11321080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner pointer operator*() const { 11331080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return Node->getOperand(Operand).Val; 11341080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 11351080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner pointer operator->() const { return operator*(); } 1136ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 11371080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner SDNodeIterator& operator++() { // Preincrement 11381080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner ++Operand; 11391080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return *this; 11401080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 11411080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner SDNodeIterator operator++(int) { // Postincrement 1142ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman SDNodeIterator tmp = *this; ++*this; return tmp; 11431080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 11441080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 11451080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner static SDNodeIterator begin(SDNode *N) { return SDNodeIterator(N, 0); } 11461080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner static SDNodeIterator end (SDNode *N) { 11471080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return SDNodeIterator(N, N->getNumOperands()); 11481080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 11491080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 11501080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner unsigned getOperand() const { return Operand; } 11511080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner const SDNode *getNode() const { return Node; } 11521080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner}; 11531080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 11541080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattnertemplate <> struct GraphTraits<SDNode*> { 11551080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner typedef SDNode NodeType; 11561080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner typedef SDNodeIterator ChildIteratorType; 11571080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner static inline NodeType *getEntryNode(SDNode *N) { return N; } 1158ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman static inline ChildIteratorType child_begin(NodeType *N) { 11591080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return SDNodeIterator::begin(N); 11601080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 1161ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman static inline ChildIteratorType child_end(NodeType *N) { 11621080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner return SDNodeIterator::end(N); 11631080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner } 11641080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner}; 11651080b9ee534579c67f7c99364cc6fa11edbcd919Chris Lattner 1166b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattnertemplate<> 1167b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattnerstruct ilist_traits<SDNode> { 1168b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner static SDNode *getPrev(const SDNode *N) { return N->Prev; } 1169b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner static SDNode *getNext(const SDNode *N) { return N->Next; } 1170b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner 1171b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner static void setPrev(SDNode *N, SDNode *Prev) { N->Prev = Prev; } 1172b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner static void setNext(SDNode *N, SDNode *Next) { N->Next = Next; } 1173b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner 1174b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner static SDNode *createSentinel() { 1175b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner return new SDNode(ISD::EntryToken, MVT::Other); 1176b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner } 1177b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner static void destroySentinel(SDNode *N) { delete N; } 1178b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner //static SDNode *createNode(const SDNode &V) { return new SDNode(V); } 1179b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner 1180b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner 1181b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner void addNodeToList(SDNode *NTy) {} 1182b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner void removeNodeFromList(SDNode *NTy) {} 1183b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner void transferNodesFromList(iplist<SDNode, ilist_traits> &L2, 1184b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner const ilist_iterator<SDNode> &X, 1185b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner const ilist_iterator<SDNode> &Y) {} 1186b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner}; 1187b80e2be8894db9f843f32ebaffb9b7fd6b57d206Chris Lattner 118863b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner} // end llvm namespace 118963b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner 119063b570d49b7bf205d48749aae1467ef96152ea7aChris Lattner#endif 1191