MachineBasicBlock.h revision 0370fad74b48388412c52d1325512f2c218487fa
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 Evlogimenos  typedef ilist<MachineInstr> Instructions;
62c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenos  Instructions Insts;
638e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattner  MachineBasicBlock *Prev, *Next;
641194e9501984daf0d3237ed1bf18a156173e7fd4Chris Lattner  const BasicBlock *BB;
65c07d8d8a26f63dfc54dbd0e1ff776763ec6443adBrian Gaeke  int Number;
66792699c46ef9bfc47dd459bbfa7e71bcb2cee29aTanya Lattner  MachineFunction *Parent;
6776456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke
6813d828567812041c1ca1817f4b66fce840903a1fEvan Cheng  /// Predecessors/Successors - Keep track of the predecessor / successor
6913d828567812041c1ca1817f4b66fce840903a1fEvan Cheng  /// basicblocks.
7013d828567812041c1ca1817f4b66fce840903a1fEvan Cheng  std::vector<MachineBasicBlock *> Predecessors;
7113d828567812041c1ca1817f4b66fce840903a1fEvan Cheng  std::vector<MachineBasicBlock *> Successors;
7213d828567812041c1ca1817f4b66fce840903a1fEvan Cheng
7313d828567812041c1ca1817f4b66fce840903a1fEvan Cheng  /// LiveIns - Keep track of the physical registers that are livein of
7413d828567812041c1ca1817f4b66fce840903a1fEvan Cheng  /// the basicblock.
7513d828567812041c1ca1817f4b66fce840903a1fEvan Cheng  std::vector<unsigned> LiveIns;
7630b8e51addc23fb317c03d093a25828d3d5be45aJim Laskey
7730b8e51addc23fb317c03d093a25828d3d5be45aJim Laskey  /// IsLandingPad - Indicate that this basic block is entered via an
7830b8e51addc23fb317c03d093a25828d3d5be45aJim Laskey  /// exception handler.
7930b8e51addc23fb317c03d093a25828d3d5be45aJim Laskey  bool IsLandingPad;
8013d828567812041c1ca1817f4b66fce840903a1fEvan Cheng
81deb9654056939a12981446f6ed1139dca3412746Vikram S. Advepublic:
82423c2260f95883f7c84ac962e58ac66c3a11efacDan Gohman  explicit MachineBasicBlock(const BasicBlock *bb = 0) : Prev(0), Next(0),
83423c2260f95883f7c84ac962e58ac66c3a11efacDan Gohman                                                         BB(bb), Number(-1),
84423c2260f95883f7c84ac962e58ac66c3a11efacDan Gohman                                                         Parent(0),
85423c2260f95883f7c84ac962e58ac66c3a11efacDan Gohman                                                         IsLandingPad(false) {
86ab8672c8bb83e722b856eac67863542ea7e0cbb2Alkis Evlogimenos    Insts.parent = this;
87ab8672c8bb83e722b856eac67863542ea7e0cbb2Alkis Evlogimenos  }
8817fb34bf8cd10a798c9206eeef3bff151b4d3688Tanya Lattner
8917fb34bf8cd10a798c9206eeef3bff151b4d3688Tanya Lattner  ~MachineBasicBlock();
90ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman
91d0aa0cdbc6fee00f2b2019633a9b9d00d301ac68Chris Lattner  /// getBasicBlock - Return the LLVM basic block that this instance
92d0aa0cdbc6fee00f2b2019633a9b9d00d301ac68Chris Lattner  /// corresponded to originally.
93d0aa0cdbc6fee00f2b2019633a9b9d00d301ac68Chris Lattner  ///
941194e9501984daf0d3237ed1bf18a156173e7fd4Chris Lattner  const BasicBlock *getBasicBlock() const { return BB; }
955e61fa95196b85281eec655787e9c73267532bd1Chris Lattner
965e61fa95196b85281eec655787e9c73267532bd1Chris Lattner  /// getParent - Return the MachineFunction containing this basic block.
975e61fa95196b85281eec655787e9c73267532bd1Chris Lattner  ///
98792699c46ef9bfc47dd459bbfa7e71bcb2cee29aTanya Lattner  const MachineFunction *getParent() const { return Parent; }
99792699c46ef9bfc47dd459bbfa7e71bcb2cee29aTanya Lattner  MachineFunction *getParent() { return Parent; }
1005e61fa95196b85281eec655787e9c73267532bd1Chris Lattner
101c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenos  typedef ilist<MachineInstr>::iterator                       iterator;
102c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenos  typedef ilist<MachineInstr>::const_iterator           const_iterator;
103deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  typedef std::reverse_iterator<const_iterator> const_reverse_iterator;
104deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  typedef std::reverse_iterator<iterator>             reverse_iterator;
105deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve
106deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  unsigned size() const { return Insts.size(); }
107deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  bool empty() const { return Insts.empty(); }
108deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve
109c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenos  MachineInstr& front() { return Insts.front(); }
110c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenos  MachineInstr& back()  { return Insts.back(); }
111deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve
112deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  iterator                begin()       { return Insts.begin();  }
113deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  const_iterator          begin() const { return Insts.begin();  }
114deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  iterator                  end()       { return Insts.end();    }
115deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  const_iterator            end() const { return Insts.end();    }
116deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  reverse_iterator       rbegin()       { return Insts.rbegin(); }
117deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  const_reverse_iterator rbegin() const { return Insts.rbegin(); }
118deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  reverse_iterator       rend  ()       { return Insts.rend();   }
119deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  const_reverse_iterator rend  () const { return Insts.rend();   }
120deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve
12176456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke  // Machine-CFG iterators
12276456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke  typedef std::vector<MachineBasicBlock *>::iterator       pred_iterator;
12376456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke  typedef std::vector<MachineBasicBlock *>::const_iterator const_pred_iterator;
12476456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke  typedef std::vector<MachineBasicBlock *>::iterator       succ_iterator;
12576456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke  typedef std::vector<MachineBasicBlock *>::const_iterator const_succ_iterator;
1266603d7ec67e64b987451975771759ade4e9f19baEvan Cheng  typedef std::vector<MachineBasicBlock *>::reverse_iterator
1276603d7ec67e64b987451975771759ade4e9f19baEvan Cheng                                                         pred_reverse_iterator;
1286603d7ec67e64b987451975771759ade4e9f19baEvan Cheng  typedef std::vector<MachineBasicBlock *>::const_reverse_iterator
1296603d7ec67e64b987451975771759ade4e9f19baEvan Cheng                                                   const_pred_reverse_iterator;
1306603d7ec67e64b987451975771759ade4e9f19baEvan Cheng  typedef std::vector<MachineBasicBlock *>::reverse_iterator
1316603d7ec67e64b987451975771759ade4e9f19baEvan Cheng                                                         succ_reverse_iterator;
1326603d7ec67e64b987451975771759ade4e9f19baEvan Cheng  typedef std::vector<MachineBasicBlock *>::const_reverse_iterator
1336603d7ec67e64b987451975771759ade4e9f19baEvan Cheng                                                   const_succ_reverse_iterator;
134ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman
135cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner  pred_iterator        pred_begin()       { return Predecessors.begin(); }
136cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner  const_pred_iterator  pred_begin() const { return Predecessors.begin(); }
137cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner  pred_iterator        pred_end()         { return Predecessors.end();   }
138cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner  const_pred_iterator  pred_end()   const { return Predecessors.end();   }
1396603d7ec67e64b987451975771759ade4e9f19baEvan Cheng  pred_reverse_iterator        pred_rbegin()
1406603d7ec67e64b987451975771759ade4e9f19baEvan Cheng                                          { return Predecessors.rbegin();}
1416603d7ec67e64b987451975771759ade4e9f19baEvan Cheng  const_pred_reverse_iterator  pred_rbegin() const
1426603d7ec67e64b987451975771759ade4e9f19baEvan Cheng                                          { return Predecessors.rbegin();}
1436603d7ec67e64b987451975771759ade4e9f19baEvan Cheng  pred_reverse_iterator        pred_rend()
1446603d7ec67e64b987451975771759ade4e9f19baEvan Cheng                                          { return Predecessors.rend();  }
1456603d7ec67e64b987451975771759ade4e9f19baEvan Cheng  const_pred_reverse_iterator  pred_rend()   const
1466603d7ec67e64b987451975771759ade4e9f19baEvan Cheng                                          { return Predecessors.rend();  }
147cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner  unsigned             pred_size()  const { return Predecessors.size();  }
148cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner  bool                 pred_empty() const { return Predecessors.empty(); }
149cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner  succ_iterator        succ_begin()       { return Successors.begin();   }
150cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner  const_succ_iterator  succ_begin() const { return Successors.begin();   }
151cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner  succ_iterator        succ_end()         { return Successors.end();     }
152cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner  const_succ_iterator  succ_end()   const { return Successors.end();     }
1536603d7ec67e64b987451975771759ade4e9f19baEvan Cheng  succ_reverse_iterator        succ_rbegin()
1546603d7ec67e64b987451975771759ade4e9f19baEvan Cheng                                          { return Successors.rbegin();  }
1556603d7ec67e64b987451975771759ade4e9f19baEvan Cheng  const_succ_reverse_iterator  succ_rbegin() const
1566603d7ec67e64b987451975771759ade4e9f19baEvan Cheng                                          { return Successors.rbegin();  }
1576603d7ec67e64b987451975771759ade4e9f19baEvan Cheng  succ_reverse_iterator        succ_rend()
1586603d7ec67e64b987451975771759ade4e9f19baEvan Cheng                                          { return Successors.rend();    }
1596603d7ec67e64b987451975771759ade4e9f19baEvan Cheng  const_succ_reverse_iterator  succ_rend()   const
1606603d7ec67e64b987451975771759ade4e9f19baEvan Cheng                                          { return Successors.rend();    }
161cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner  unsigned             succ_size()  const { return Successors.size();    }
162cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner  bool                 succ_empty() const { return Successors.empty();   }
16376456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke
16413d828567812041c1ca1817f4b66fce840903a1fEvan Cheng  // LiveIn management methods.
16513d828567812041c1ca1817f4b66fce840903a1fEvan Cheng
16613d828567812041c1ca1817f4b66fce840903a1fEvan Cheng  /// addLiveIn - Add the specified register as a live in.  Note that it
16713d828567812041c1ca1817f4b66fce840903a1fEvan Cheng  /// is an error to add the same register to the same set more than once.
16813d828567812041c1ca1817f4b66fce840903a1fEvan Cheng  void addLiveIn(unsigned Reg)  { LiveIns.push_back(Reg); }
16913d828567812041c1ca1817f4b66fce840903a1fEvan Cheng
170b371f457b0ea4a652a9f526ba4375c80ae542252Evan Cheng  /// removeLiveIn - Remove the specified register from the live in set.
171b371f457b0ea4a652a9f526ba4375c80ae542252Evan Cheng  ///
172b371f457b0ea4a652a9f526ba4375c80ae542252Evan Cheng  void removeLiveIn(unsigned Reg);
173b371f457b0ea4a652a9f526ba4375c80ae542252Evan Cheng
17413d828567812041c1ca1817f4b66fce840903a1fEvan Cheng  // Iteration support for live in sets.  These sets are kept in sorted
17513d828567812041c1ca1817f4b66fce840903a1fEvan Cheng  // order by their register number.
176b371f457b0ea4a652a9f526ba4375c80ae542252Evan Cheng  typedef std::vector<unsigned>::iterator       livein_iterator;
177b371f457b0ea4a652a9f526ba4375c80ae542252Evan Cheng  typedef std::vector<unsigned>::const_iterator const_livein_iterator;
178b371f457b0ea4a652a9f526ba4375c80ae542252Evan Cheng  livein_iterator       livein_begin()       { return LiveIns.begin(); }
179b371f457b0ea4a652a9f526ba4375c80ae542252Evan Cheng  const_livein_iterator livein_begin() const { return LiveIns.begin(); }
180b371f457b0ea4a652a9f526ba4375c80ae542252Evan Cheng  livein_iterator       livein_end()         { return LiveIns.end(); }
181b371f457b0ea4a652a9f526ba4375c80ae542252Evan Cheng  const_livein_iterator livein_end()   const { return LiveIns.end(); }
18213d828567812041c1ca1817f4b66fce840903a1fEvan Cheng  bool            livein_empty() const { return LiveIns.empty(); }
18313d828567812041c1ca1817f4b66fce840903a1fEvan Cheng
18430b8e51addc23fb317c03d093a25828d3d5be45aJim Laskey  /// isLandingPad - Returns true if the block is a landing pad. That is
18530b8e51addc23fb317c03d093a25828d3d5be45aJim Laskey  /// this basic block is entered via an exception handler.
18630b8e51addc23fb317c03d093a25828d3d5be45aJim Laskey  bool isLandingPad() const { return IsLandingPad; }
18730b8e51addc23fb317c03d093a25828d3d5be45aJim Laskey
18830b8e51addc23fb317c03d093a25828d3d5be45aJim Laskey  /// setIsLandingPad - Indicates the block is a landing pad.  That is
18930b8e51addc23fb317c03d093a25828d3d5be45aJim Laskey  /// this basic block is entered via an exception handler.
19030b8e51addc23fb317c03d093a25828d3d5be45aJim Laskey  void setIsLandingPad() { IsLandingPad = true; }
19130b8e51addc23fb317c03d093a25828d3d5be45aJim Laskey
19234ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner  // Code Layout methods.
19334ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner
19434ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner  /// moveBefore/moveAfter - move 'this' block before or after the specified
19534ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner  /// block.  This only moves the block, it does not modify the CFG or adjust
19634ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner  /// potential fall-throughs at the end of the block.
19734ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner  void moveBefore(MachineBasicBlock *NewAfter);
19834ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner  void moveAfter(MachineBasicBlock *NewBefore);
19934ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner
20076456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke  // Machine-CFG mutators
20134ea07692f4cd7c007f1c5062bcebb6d03131077Chris Lattner
20276456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke  /// addSuccessor - Add succ as a successor of this MachineBasicBlock.
20376456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke  /// The Predecessors list of succ is automatically updated.
20476456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke  ///
2053dfbb558b5e74554104710ed16807fe74ec220a3Chris Lattner  void addSuccessor(MachineBasicBlock *succ);
20676456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke
207dc4a4922d32b470acd68498d41e3b8130cf1e74eChris Lattner  /// removeSuccessor - Remove successor from the successors list of this
20876456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke  /// MachineBasicBlock. The Predecessors list of succ is automatically updated.
20976456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke  ///
2103dfbb558b5e74554104710ed16807fe74ec220a3Chris Lattner  void removeSuccessor(MachineBasicBlock *succ);
211dc4a4922d32b470acd68498d41e3b8130cf1e74eChris Lattner
212dc4a4922d32b470acd68498d41e3b8130cf1e74eChris Lattner  /// removeSuccessor - Remove specified successor from the successors list of
213dc4a4922d32b470acd68498d41e3b8130cf1e74eChris Lattner  /// this MachineBasicBlock. The Predecessors list of succ is automatically
214dc4a4922d32b470acd68498d41e3b8130cf1e74eChris Lattner  /// updated.
215dc4a4922d32b470acd68498d41e3b8130cf1e74eChris Lattner  ///
2163dfbb558b5e74554104710ed16807fe74ec220a3Chris Lattner  void removeSuccessor(succ_iterator I);
217cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner
218cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner  /// isSuccessor - Return true if the specified MBB is a successor of this
219cd5bad37112ba22f4c546e5443714570b4104bb6Chris Lattner  /// block.
2204f098788d303bed05da6000f3ff24177aad56623Evan Cheng  bool isSuccessor(MachineBasicBlock *MBB) const;
22176456bc40c79fcae4da52d34f96c079d9759257cBrian Gaeke
222743d0a1f831f1d5a3141a6ca730558f40c35690aAlkis Evlogimenos  /// getFirstTerminator - returns an iterator to the first terminator
223743d0a1f831f1d5a3141a6ca730558f40c35690aAlkis Evlogimenos  /// instruction of this basic block. If a terminator does not exist,
224743d0a1f831f1d5a3141a6ca730558f40c35690aAlkis Evlogimenos  /// it returns end()
225743d0a1f831f1d5a3141a6ca730558f40c35690aAlkis Evlogimenos  iterator getFirstTerminator();
226743d0a1f831f1d5a3141a6ca730558f40c35690aAlkis Evlogimenos
2270bbcd6bfd1a90c2aa7386a88ba9fc9aba47d03a7Brian Gaeke  void pop_front() { Insts.pop_front(); }
228f24d879520a615a03f19ced3c7491f7b51934d1cChris Lattner  void pop_back() { Insts.pop_back(); }
229deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  void push_back(MachineInstr *MI) { Insts.push_back(MI); }
230deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  template<typename IT>
231deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  void insert(iterator I, IT S, IT E) { Insts.insert(I, S, E); }
232deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  iterator insert(iterator I, MachineInstr *M) { return Insts.insert(I, M); }
233deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve
23446d6a1aeb549a2e4ccd982a1a2cefda541d79c52Vikram S. Adve  // erase - Remove the specified element or range from the instruction list.
235c0b9dc5be79f009d260edb5cd5e1d8346587aaa2Alkis Evlogimenos  // These functions delete any instructions removed.
236deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  //
23746d6a1aeb549a2e4ccd982a1a2cefda541d79c52Vikram S. Adve  iterator erase(iterator I)             { return Insts.erase(I); }
238deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve  iterator erase(iterator I, iterator E) { return Insts.erase(I, E); }
23983706a5a3a6f19451765b743c5a72b62f74eb71aChris Lattner  MachineInstr *remove(MachineInstr *I)  { return Insts.remove(I); }
240da44b151259525abc9c299f89b9532f3a9883b4eBrian Gaeke  void clear()                           { Insts.clear(); }
241ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman
242f24d879520a615a03f19ced3c7491f7b51934d1cChris Lattner  /// splice - Take a block of instructions from MBB 'Other' in the range [From,
243f24d879520a615a03f19ced3c7491f7b51934d1cChris Lattner  /// To), and insert them into this MBB right before 'where'.
244f24d879520a615a03f19ced3c7491f7b51934d1cChris Lattner  void splice(iterator where, MachineBasicBlock *Other, iterator From,
245f24d879520a615a03f19ced3c7491f7b51934d1cChris Lattner              iterator To) {
246f24d879520a615a03f19ced3c7491f7b51934d1cChris Lattner    Insts.splice(where, Other->Insts, From, To);
247f24d879520a615a03f19ced3c7491f7b51934d1cChris Lattner  }
2488e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattner
2490370fad74b48388412c52d1325512f2c218487faEvan Cheng  /// ReplaceUsesOfBlockWith - Given a machine basic block that branched to
2500370fad74b48388412c52d1325512f2c218487faEvan Cheng  /// 'Old', change the code and CFG so that it branches to 'New' instead.
2510370fad74b48388412c52d1325512f2c218487faEvan Cheng  void ReplaceUsesOfBlockWith(MachineBasicBlock *Old, MachineBasicBlock *New);
2520370fad74b48388412c52d1325512f2c218487faEvan Cheng
253f13a3f4dd1eaa89ca9a64a1e820b089facca3366Brian Gaeke  // Debugging methods.
254f13a3f4dd1eaa89ca9a64a1e820b089facca3366Brian Gaeke  void dump() const;
255f13a3f4dd1eaa89ca9a64a1e820b089facca3366Brian Gaeke  void print(std::ostream &OS) const;
2565c7e326585f3a543388ba871c3425f7664cd9143Bill Wendling  void print(std::ostream *OS) const { if (OS) print(*OS); }
257f13a3f4dd1eaa89ca9a64a1e820b089facca3366Brian Gaeke
258da86bdc75c8d36cb7b1f4e785a3749d7c8f8e638Brian Gaeke  /// getNumber - MachineBasicBlocks are uniquely numbered at the function
259da86bdc75c8d36cb7b1f4e785a3749d7c8f8e638Brian Gaeke  /// level, unless they're not in a MachineFunction yet, in which case this
260da86bdc75c8d36cb7b1f4e785a3749d7c8f8e638Brian Gaeke  /// will return -1.
261da86bdc75c8d36cb7b1f4e785a3749d7c8f8e638Brian Gaeke  ///
262c07d8d8a26f63dfc54dbd0e1ff776763ec6443adBrian Gaeke  int getNumber() const { return Number; }
26320a6d8e63056cc2025e7143a5f7226e079e0bc80Chris Lattner  void setNumber(int N) { Number = N; }
264c07d8d8a26f63dfc54dbd0e1ff776763ec6443adBrian Gaeke
2658e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattnerprivate:   // Methods used to maintain doubly linked list of blocks...
2661fca5ff62bb2ecb5bfc8974f4dbfc56e9d3ca721Chris Lattner  friend struct ilist_traits<MachineBasicBlock>;
2678e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattner
2688e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattner  MachineBasicBlock *getPrev() const { return Prev; }
2698e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattner  MachineBasicBlock *getNext() const { return Next; }
2708e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattner  void setPrev(MachineBasicBlock *P) { Prev = P; }
2718e7ae9860bd1f29c95e4e10fe151a22aaafafef9Chris Lattner  void setNext(MachineBasicBlock *N) { Next = N; }
2728560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke
2738560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke  // Machine-CFG mutators
2748560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke
2758560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke  /// addPredecessor - Remove pred as a predecessor of this MachineBasicBlock.
2768560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke  /// Don't do this unless you know what you're doing, because it doesn't
2778560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke  /// update pred's successors list. Use pred->addSuccessor instead.
2788560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke  ///
2793dfbb558b5e74554104710ed16807fe74ec220a3Chris Lattner  void addPredecessor(MachineBasicBlock *pred);
2808560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke
2818560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke  /// removePredecessor - Remove pred as a predecessor of this
2828560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke  /// MachineBasicBlock. Don't do this unless you know what you're
2838560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke  /// doing, because it doesn't update pred's successors list. Use
2848560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke  /// pred->removeSuccessor instead.
2858560af4f5fe589cf792bd44617c2308c4f087ba8Brian Gaeke  ///
2863dfbb558b5e74554104710ed16807fe74ec220a3Chris Lattner  void removePredecessor(MachineBasicBlock *pred);
287deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve};
288deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve
2891ccc4684f3413d1f176a2c7a867545ce03b6414cChris Lattnerstd::ostream& operator<<(std::ostream &OS, const MachineBasicBlock &MBB);
2900aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner
2910aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner//===--------------------------------------------------------------------===//
2920aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// GraphTraits specializations for machine basic block graphs (machine-CFGs)
2930aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner//===--------------------------------------------------------------------===//
2940aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner
2950aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// Provide specializations of GraphTraits to be able to treat a
2960aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// MachineFunction as a graph of MachineBasicBlocks...
2970aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner//
2980aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner
2990aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattnertemplate <> struct GraphTraits<MachineBasicBlock *> {
3000aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  typedef MachineBasicBlock NodeType;
3010aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  typedef MachineBasicBlock::succ_iterator ChildIteratorType;
3020aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner
3030aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  static NodeType *getEntryNode(MachineBasicBlock *BB) { return BB; }
304ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman  static inline ChildIteratorType child_begin(NodeType *N) {
3050aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner    return N->succ_begin();
3060aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  }
307ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman  static inline ChildIteratorType child_end(NodeType *N) {
3080aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner    return N->succ_end();
3090aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  }
3100aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner};
3110aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner
3120aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattnertemplate <> struct GraphTraits<const MachineBasicBlock *> {
3130aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  typedef const MachineBasicBlock NodeType;
3140aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  typedef MachineBasicBlock::const_succ_iterator ChildIteratorType;
3150aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner
3160aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  static NodeType *getEntryNode(const MachineBasicBlock *BB) { return BB; }
317ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman  static inline ChildIteratorType child_begin(NodeType *N) {
3180aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner    return N->succ_begin();
3190aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  }
320ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman  static inline ChildIteratorType child_end(NodeType *N) {
3210aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner    return N->succ_end();
3220aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  }
3230aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner};
3240aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner
3250aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// Provide specializations of GraphTraits to be able to treat a
3260aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// MachineFunction as a graph of MachineBasicBlocks... and to walk it
3270aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// in inverse order.  Inverse order for a function is considered
3280aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// to be when traversing the predecessor edges of a MBB
3290aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner// instead of the successor edges.
3300aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner//
3310aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattnertemplate <> struct GraphTraits<Inverse<MachineBasicBlock*> > {
3320aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  typedef MachineBasicBlock NodeType;
3330aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  typedef MachineBasicBlock::pred_iterator ChildIteratorType;
3340aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  static NodeType *getEntryNode(Inverse<MachineBasicBlock *> G) {
3350aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner    return G.Graph;
3360aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  }
337ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman  static inline ChildIteratorType child_begin(NodeType *N) {
3380aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner    return N->pred_begin();
3390aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  }
340ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman  static inline ChildIteratorType child_end(NodeType *N) {
3410aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner    return N->pred_end();
3420aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  }
3430aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner};
3440aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner
3450aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattnertemplate <> struct GraphTraits<Inverse<const MachineBasicBlock*> > {
3460aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  typedef const MachineBasicBlock NodeType;
3470aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  typedef MachineBasicBlock::const_pred_iterator ChildIteratorType;
3480aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  static NodeType *getEntryNode(Inverse<const MachineBasicBlock*> G) {
349ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman    return G.Graph;
3500aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  }
351ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman  static inline ChildIteratorType child_begin(NodeType *N) {
3520aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner    return N->pred_begin();
3530aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  }
354ea61c358720aa6c7a159d51658b34276316aa841Misha Brukman  static inline ChildIteratorType child_end(NodeType *N) {
3550aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner    return N->pred_end();
3560aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner  }
3570aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner};
3580aef12a7a96968a80c38144dfc0a7ae6a9152db9Chris Lattner
359d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke} // End llvm namespace
360deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve
361deb9654056939a12981446f6ed1139dca3412746Vikram S. Adve#endif
362