MachineBasicBlock.h revision 5c7e326585f3a543388ba871c3425f7664cd9143
151a8d8528135ba4e3e4cf7cd711a9e47b19078a3Chris Lattner//===-- llvm/CodeGen/MachineBasicBlock.h ------------------------*- C++ -*-===// 2ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman// 36fbcc26f1460eaee4e0eb8b426fc1ff0c7af11beJohn Criswell// The LLVM Compiler Infrastructure 46fbcc26f1460eaee4e0eb8b426fc1ff0c7af11beJohn Criswell// 56fbcc26f1460eaee4e0eb8b426fc1ff0c7af11beJohn Criswell// This file was developed by the LLVM research group and is distributed under 66fbcc26f1460eaee4e0eb8b426fc1ff0c7af11beJohn Criswell// the University of Illinois Open Source License. See LICENSE.TXT for details. 7ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman// 86fbcc26f1460eaee4e0eb8b426fc1ff0c7af11beJohn Criswell//===----------------------------------------------------------------------===// 9ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman// 10e8b5413e5d0c7c0fc5b384e975c4ca87f4c00699Chris Lattner// Collect the sequence of machine instructions for a basic block. 11e8b5413e5d0c7c0fc5b384e975c4ca87f4c00699Chris Lattner// 1251a8d8528135ba4e3e4cf7cd711a9e47b19078a3Chris Lattner//===----------------------------------------------------------------------===// 13deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve 14fce1143bcfa73f61845002fa50473d1a01384202Misha Brukman#ifndef LLVM_CODEGEN_MACHINEBASICBLOCK_H 15fce1143bcfa73f61845002fa50473d1a01384202Misha Brukman#define LLVM_CODEGEN_MACHINEBASICBLOCK_H 16deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve 17c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenos#include "llvm/CodeGen/MachineInstr.h" 18551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/GraphTraits.h" 19551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/ADT/ilist" 20b5ebf15b2b2ce8989caf1a1114b05d80b0f9bd48Bill Wendling#include "llvm/Support/Streams.h" 21d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 22d0fde30ce850b78371fd1386338350591f9ff494Brian Gaekenamespace llvm { 235e61fa95196b85281eec655787e9c73267532bd1Chris Lattner class MachineFunction; 24d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 2594dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos// ilist_traits 2694dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenostemplate <> 271fca5ff62bb2ecb5bfc8974f4dbfc56e9d3ca721Chris Lattnerstruct ilist_traits<MachineInstr> { 281fca5ff62bb2ecb5bfc8974f4dbfc56e9d3ca721Chris Lattnerprotected: 2994dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos // this is only set by the MachineBasicBlock owning the ilist 3094dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos friend class MachineBasicBlock; 3194dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos MachineBasicBlock* parent; 3294dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos 3394dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenospublic: 3494dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos ilist_traits<MachineInstr>() : parent(0) { } 3594dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos 3694dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos static MachineInstr* getPrev(MachineInstr* N) { return N->prev; } 3794dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos static MachineInstr* getNext(MachineInstr* N) { return N->next; } 3894dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos 3994dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos static const MachineInstr* 4094dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos getPrev(const MachineInstr* N) { return N->prev; } 4194dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos 4294dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos static const MachineInstr* 4394dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos getNext(const MachineInstr* N) { return N->next; } 4494dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos 4594dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos static void setPrev(MachineInstr* N, MachineInstr* prev) { N->prev = prev; } 4694dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos static void setNext(MachineInstr* N, MachineInstr* next) { N->next = next; } 4794dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos 48bbec41dbaca7ced24f77ec7173f0c1e317aae908Chris Lattner static MachineInstr* createSentinel(); 49bbec41dbaca7ced24f77ec7173f0c1e317aae908Chris Lattner static void destroySentinel(MachineInstr *MI) { delete MI; } 50aad5c0505183a5b7913f1a443a1f0650122551ccAlkis Evlogimenos void addNodeToList(MachineInstr* N); 51aad5c0505183a5b7913f1a443a1f0650122551ccAlkis Evlogimenos void removeNodeFromList(MachineInstr* N); 52aad5c0505183a5b7913f1a443a1f0650122551ccAlkis Evlogimenos void transferNodesFromList( 53aad5c0505183a5b7913f1a443a1f0650122551ccAlkis Evlogimenos iplist<MachineInstr, ilist_traits<MachineInstr> >& toList, 54aad5c0505183a5b7913f1a443a1f0650122551ccAlkis Evlogimenos ilist_iterator<MachineInstr> first, 55aad5c0505183a5b7913f1a443a1f0650122551ccAlkis Evlogimenos ilist_iterator<MachineInstr> last); 5694dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos}; 5794dc07728f091c652f0a8059aba6dce5018485eeAlkis Evlogimenos 58aec11f1decda111112c39803cb89dace81cd0568Chris Lattnerclass BasicBlock; 59deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve 60d0aa0cdbc6fee00f2b2019633a9b9d00d301ac68Chris Lattnerclass MachineBasicBlock { 61c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenospublic: 62c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenos typedef ilist<MachineInstr> Instructions; 63c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenos Instructions Insts; 648e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattner MachineBasicBlock *Prev, *Next; 651194e9501984daf0d3237ed1bf18a156173e7fd4Chris Lattner const BasicBlock *BB; 6676456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke std::vector<MachineBasicBlock *> Predecessors; 6776456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke std::vector<MachineBasicBlock *> Successors; 68c07d8d8a26f63dfc54dbd0e1ff776763ec6443adBrian Gaeke int Number; 69792699c46ef9bfc47dd459bbfa7e71bcb2cee29aTanya Lattner MachineFunction *Parent; 7076456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke 71deb9654056939a12981446f6ed1139dca3412746Vikram S. Advepublic: 72c07d8d8a26f63dfc54dbd0e1ff776763ec6443adBrian Gaeke MachineBasicBlock(const BasicBlock *bb = 0) : Prev(0), Next(0), BB(bb), 73792699c46ef9bfc47dd459bbfa7e71bcb2cee29aTanya Lattner Number(-1), Parent(0) { 74ab8672c8bb83e722b856eac67863542ea7e0cbb2Alkis Evlogimenos Insts.parent = this; 75ab8672c8bb83e722b856eac67863542ea7e0cbb2Alkis Evlogimenos } 7617fb34bf8cd10a798c9206eeef3bff151b4d3688Tanya Lattner 7717fb34bf8cd10a798c9206eeef3bff151b4d3688Tanya Lattner ~MachineBasicBlock(); 78ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 79d0aa0cdbc6fee00f2b2019633a9b9d00d301ac68Chris Lattner /// getBasicBlock - Return the LLVM basic block that this instance 80d0aa0cdbc6fee00f2b2019633a9b9d00d301ac68Chris Lattner /// corresponded to originally. 81d0aa0cdbc6fee00f2b2019633a9b9d00d301ac68Chris Lattner /// 821194e9501984daf0d3237ed1bf18a156173e7fd4Chris Lattner const BasicBlock *getBasicBlock() const { return BB; } 835e61fa95196b85281eec655787e9c73267532bd1Chris Lattner 845e61fa95196b85281eec655787e9c73267532bd1Chris Lattner /// getParent - Return the MachineFunction containing this basic block. 855e61fa95196b85281eec655787e9c73267532bd1Chris Lattner /// 86792699c46ef9bfc47dd459bbfa7e71bcb2cee29aTanya Lattner const MachineFunction *getParent() const { return Parent; } 87792699c46ef9bfc47dd459bbfa7e71bcb2cee29aTanya Lattner MachineFunction *getParent() { return Parent; } 885e61fa95196b85281eec655787e9c73267532bd1Chris Lattner 89c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenos typedef ilist<MachineInstr>::iterator iterator; 90c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenos typedef ilist<MachineInstr>::const_iterator const_iterator; 91deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve typedef std::reverse_iterator<const_iterator> const_reverse_iterator; 92deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve typedef std::reverse_iterator<iterator> reverse_iterator; 93deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve 94deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve unsigned size() const { return Insts.size(); } 95deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve bool empty() const { return Insts.empty(); } 96deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve 97c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenos MachineInstr& front() { return Insts.front(); } 98c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenos MachineInstr& back() { return Insts.back(); } 99deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve 100deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve iterator begin() { return Insts.begin(); } 101deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve const_iterator begin() const { return Insts.begin(); } 102deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve iterator end() { return Insts.end(); } 103deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve const_iterator end() const { return Insts.end(); } 104deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve reverse_iterator rbegin() { return Insts.rbegin(); } 105deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve const_reverse_iterator rbegin() const { return Insts.rbegin(); } 106deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve reverse_iterator rend () { return Insts.rend(); } 107deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve const_reverse_iterator rend () const { return Insts.rend(); } 108deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve 10976456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke // Machine-CFG iterators 11076456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke typedef std::vector<MachineBasicBlock *>::iterator pred_iterator; 11176456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke typedef std::vector<MachineBasicBlock *>::const_iterator const_pred_iterator; 11276456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke typedef std::vector<MachineBasicBlock *>::iterator succ_iterator; 11376456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke typedef std::vector<MachineBasicBlock *>::const_iterator const_succ_iterator; 114ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 115cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner pred_iterator pred_begin() { return Predecessors.begin(); } 116cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner const_pred_iterator pred_begin() const { return Predecessors.begin(); } 117cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner pred_iterator pred_end() { return Predecessors.end(); } 118cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner const_pred_iterator pred_end() const { return Predecessors.end(); } 119cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner unsigned pred_size() const { return Predecessors.size(); } 120cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner bool pred_empty() const { return Predecessors.empty(); } 121cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner succ_iterator succ_begin() { return Successors.begin(); } 122cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner const_succ_iterator succ_begin() const { return Successors.begin(); } 123cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner succ_iterator succ_end() { return Successors.end(); } 124cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner const_succ_iterator succ_end() const { return Successors.end(); } 125cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner unsigned succ_size() const { return Successors.size(); } 126cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner bool succ_empty() const { return Successors.empty(); } 12776456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke 12834ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner // Code Layout methods. 12934ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner 13034ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner /// moveBefore/moveAfter - move 'this' block before or after the specified 13134ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner /// block. This only moves the block, it does not modify the CFG or adjust 13234ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner /// potential fall-throughs at the end of the block. 13334ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner void moveBefore(MachineBasicBlock *NewAfter); 13434ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner void moveAfter(MachineBasicBlock *NewBefore); 13534ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner 13676456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke // Machine-CFG mutators 13734ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner 13876456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke /// addSuccessor - Add succ as a successor of this MachineBasicBlock. 13976456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke /// The Predecessors list of succ is automatically updated. 14076456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke /// 1413dfbb558b5e74554104710ed16807fe74ec220a3Chris Lattner void addSuccessor(MachineBasicBlock *succ); 14276456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke 143dc4a4922d32b470acd68498d41e3b8130cf1e74eChris Lattner /// removeSuccessor - Remove successor from the successors list of this 14476456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke /// MachineBasicBlock. The Predecessors list of succ is automatically updated. 14576456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke /// 1463dfbb558b5e74554104710ed16807fe74ec220a3Chris Lattner void removeSuccessor(MachineBasicBlock *succ); 147dc4a4922d32b470acd68498d41e3b8130cf1e74eChris Lattner 148dc4a4922d32b470acd68498d41e3b8130cf1e74eChris Lattner /// removeSuccessor - Remove specified successor from the successors list of 149dc4a4922d32b470acd68498d41e3b8130cf1e74eChris Lattner /// this MachineBasicBlock. The Predecessors list of succ is automatically 150dc4a4922d32b470acd68498d41e3b8130cf1e74eChris Lattner /// updated. 151dc4a4922d32b470acd68498d41e3b8130cf1e74eChris Lattner /// 1523dfbb558b5e74554104710ed16807fe74ec220a3Chris Lattner void removeSuccessor(succ_iterator I); 153cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner 154cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner /// isSuccessor - Return true if the specified MBB is a successor of this 155cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner /// block. 156cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner bool isSuccessor(MachineBasicBlock *MBB) const { 157cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner for (const_succ_iterator I = succ_begin(), E = succ_end(); I != E; ++I) 158cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner if (*I == MBB) 159cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner return true; 160cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner return false; 161cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner } 16276456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke 163743d0a1f831f1d5a3141a6ca730558f40c35690aAlkis Evlogimenos /// getFirstTerminator - returns an iterator to the first terminator 164743d0a1f831f1d5a3141a6ca730558f40c35690aAlkis Evlogimenos /// instruction of this basic block. If a terminator does not exist, 165743d0a1f831f1d5a3141a6ca730558f40c35690aAlkis Evlogimenos /// it returns end() 166743d0a1f831f1d5a3141a6ca730558f40c35690aAlkis Evlogimenos iterator getFirstTerminator(); 167743d0a1f831f1d5a3141a6ca730558f40c35690aAlkis Evlogimenos 1680bbcd6bfd1a90c2aa7386a88ba9fc9aba47d03a7Brian Gaeke void pop_front() { Insts.pop_front(); } 169f24d879520a615a03f19ced3c7491f7b51934d1cChris Lattner void pop_back() { Insts.pop_back(); } 170deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve void push_back(MachineInstr *MI) { Insts.push_back(MI); } 171deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve template<typename IT> 172deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve void insert(iterator I, IT S, IT E) { Insts.insert(I, S, E); } 173deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve iterator insert(iterator I, MachineInstr *M) { return Insts.insert(I, M); } 174deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve 17546d6a1aeb549a2e4ccd982a1a2cefda541d79c52Vikram S. Adve // erase - Remove the specified element or range from the instruction list. 176c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenos // These functions delete any instructions removed. 177deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve // 17846d6a1aeb549a2e4ccd982a1a2cefda541d79c52Vikram S. Adve iterator erase(iterator I) { return Insts.erase(I); } 179deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve iterator erase(iterator I, iterator E) { return Insts.erase(I, E); } 18083706a5a3a6f19451765b743c5a72b62f74eb71aChris Lattner MachineInstr *remove(MachineInstr *I) { return Insts.remove(I); } 181da44b151259525abc9c299f89b9532f3a9883b4eBrian Gaeke void clear() { Insts.clear(); } 182ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman 183f24d879520a615a03f19ced3c7491f7b51934d1cChris Lattner /// splice - Take a block of instructions from MBB 'Other' in the range [From, 184f24d879520a615a03f19ced3c7491f7b51934d1cChris Lattner /// To), and insert them into this MBB right before 'where'. 185f24d879520a615a03f19ced3c7491f7b51934d1cChris Lattner void splice(iterator where, MachineBasicBlock *Other, iterator From, 186f24d879520a615a03f19ced3c7491f7b51934d1cChris Lattner iterator To) { 187f24d879520a615a03f19ced3c7491f7b51934d1cChris Lattner Insts.splice(where, Other->Insts, From, To); 188f24d879520a615a03f19ced3c7491f7b51934d1cChris Lattner } 1898e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattner 190f13a3f4dd1eaa89ca9a64a1e820b089facca3366Brian Gaeke // Debugging methods. 191f13a3f4dd1eaa89ca9a64a1e820b089facca3366Brian Gaeke void dump() const; 192f13a3f4dd1eaa89ca9a64a1e820b089facca3366Brian Gaeke void print(std::ostream &OS) const; 1935c7e326585f3a543388ba871c3425f7664cd9143Bill Wendling void print(std::ostream *OS) const { if (OS) print(*OS); } 194f13a3f4dd1eaa89ca9a64a1e820b089facca3366Brian Gaeke 195da86bdc75c8d36cb7b1f4e785a3749d7c8f8e638Brian Gaeke /// getNumber - MachineBasicBlocks are uniquely numbered at the function 196da86bdc75c8d36cb7b1f4e785a3749d7c8f8e638Brian Gaeke /// level, unless they're not in a MachineFunction yet, in which case this 197da86bdc75c8d36cb7b1f4e785a3749d7c8f8e638Brian Gaeke /// will return -1. 198da86bdc75c8d36cb7b1f4e785a3749d7c8f8e638Brian Gaeke /// 199c07d8d8a26f63dfc54dbd0e1ff776763ec6443adBrian Gaeke int getNumber() const { return Number; } 20020a6d8e63056cc2025e7143a5f7226e079e0bc80Chris Lattner void setNumber(int N) { Number = N; } 201c07d8d8a26f63dfc54dbd0e1ff776763ec6443adBrian Gaeke 2028e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattnerprivate: // Methods used to maintain doubly linked list of blocks... 2031fca5ff62bb2ecb5bfc8974f4dbfc56e9d3ca721Chris Lattner friend struct ilist_traits<MachineBasicBlock>; 2048e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattner 2058e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattner MachineBasicBlock *getPrev() const { return Prev; } 2068e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattner MachineBasicBlock *getNext() const { return Next; } 2078e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattner void setPrev(MachineBasicBlock *P) { Prev = P; } 2088e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattner void setNext(MachineBasicBlock *N) { Next = N; } 2098560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke 2108560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke // Machine-CFG mutators 2118560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke 2128560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke /// addPredecessor - Remove pred as a predecessor of this MachineBasicBlock. 2138560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke /// Don't do this unless you know what you're doing, because it doesn't 2148560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke /// update pred's successors list. Use pred->addSuccessor instead. 2158560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke /// 2163dfbb558b5e74554104710ed16807fe74ec220a3Chris Lattner void addPredecessor(MachineBasicBlock *pred); 2178560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke 2188560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke /// removePredecessor - Remove pred as a predecessor of this 2198560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke /// MachineBasicBlock. Don't do this unless you know what you're 2208560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke /// doing, because it doesn't update pred's successors list. Use 2218560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke /// pred->removeSuccessor instead. 2228560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke /// 2233dfbb558b5e74554104710ed16807fe74ec220a3Chris Lattner void removePredecessor(MachineBasicBlock *pred); 224deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve}; 225deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve 2261ccc4684f3413d1f176a2c7a867545ce03b6414cChris Lattnerstd::ostream& operator<<(std::ostream &OS, const MachineBasicBlock &MBB); 2270aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner 2280aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner//===--------------------------------------------------------------------===// 2290aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// GraphTraits specializations for machine basic block graphs (machine-CFGs) 2300aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner//===--------------------------------------------------------------------===// 2310aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner 2320aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// Provide specializations of GraphTraits to be able to treat a 2330aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// MachineFunction as a graph of MachineBasicBlocks... 2340aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// 2350aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner 2360aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattnertemplate <> struct GraphTraits<MachineBasicBlock *> { 2370aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner typedef MachineBasicBlock NodeType; 2380aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner typedef MachineBasicBlock::succ_iterator ChildIteratorType; 2390aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner 2400aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner static NodeType *getEntryNode(MachineBasicBlock *BB) { return BB; } 241ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman static inline ChildIteratorType child_begin(NodeType *N) { 2420aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner return N->succ_begin(); 2430aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner } 244ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman static inline ChildIteratorType child_end(NodeType *N) { 2450aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner return N->succ_end(); 2460aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner } 2470aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner}; 2480aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner 2490aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattnertemplate <> struct GraphTraits<const MachineBasicBlock *> { 2500aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner typedef const MachineBasicBlock NodeType; 2510aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner typedef MachineBasicBlock::const_succ_iterator ChildIteratorType; 2520aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner 2530aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner static NodeType *getEntryNode(const MachineBasicBlock *BB) { return BB; } 254ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman static inline ChildIteratorType child_begin(NodeType *N) { 2550aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner return N->succ_begin(); 2560aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner } 257ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman static inline ChildIteratorType child_end(NodeType *N) { 2580aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner return N->succ_end(); 2590aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner } 2600aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner}; 2610aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner 2620aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// Provide specializations of GraphTraits to be able to treat a 2630aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// MachineFunction as a graph of MachineBasicBlocks... and to walk it 2640aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// in inverse order. Inverse order for a function is considered 2650aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// to be when traversing the predecessor edges of a MBB 2660aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// instead of the successor edges. 2670aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// 2680aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattnertemplate <> struct GraphTraits<Inverse<MachineBasicBlock*> > { 2690aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner typedef MachineBasicBlock NodeType; 2700aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner typedef MachineBasicBlock::pred_iterator ChildIteratorType; 2710aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner static NodeType *getEntryNode(Inverse<MachineBasicBlock *> G) { 2720aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner return G.Graph; 2730aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner } 274ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman static inline ChildIteratorType child_begin(NodeType *N) { 2750aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner return N->pred_begin(); 2760aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner } 277ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman static inline ChildIteratorType child_end(NodeType *N) { 2780aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner return N->pred_end(); 2790aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner } 2800aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner}; 2810aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner 2820aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattnertemplate <> struct GraphTraits<Inverse<const MachineBasicBlock*> > { 2830aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner typedef const MachineBasicBlock NodeType; 2840aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner typedef MachineBasicBlock::const_pred_iterator ChildIteratorType; 2850aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner static NodeType *getEntryNode(Inverse<const MachineBasicBlock*> G) { 286ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman return G.Graph; 2870aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner } 288ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman static inline ChildIteratorType child_begin(NodeType *N) { 2890aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner return N->pred_begin(); 2900aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner } 291ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman static inline ChildIteratorType child_end(NodeType *N) { 2920aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner return N->pred_end(); 2930aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner } 2940aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner}; 2950aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner 296d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke} // End llvm namespace 297deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve 298deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve#endif 299