[llvm-commits] CVS: llvm/include/llvm/Transforms/Utils/ Local.h

[Christopher Lattner]

Changes in directory llvm/include/llvm/Transforms/Utils:

Local.h updated: 1.5 -> 1.6

---
Log message:

* Doxygenize API
* Add new functions for identifying and breaking critical edges


---
Diffs of the changes:

Index: llvm/include/llvm/Transforms/Utils/Local.h
diff -u llvm/include/llvm/Transforms/Utils/Local.h:1.5 llvm/include/llvm/Transforms/Utils/Local.h:1.6
--- llvm/include/llvm/Transforms/Utils/Local.h:1.5	Sun Sep  1 23:04:11 2002
+++ llvm/include/llvm/Transforms/Utils/Local.h	Thu Sep  5 21:19:25 2002
@@ -9,21 +9,22 @@
 #define LLVM_TRANSFORMS_UTILS_LOCAL_H
 
 #include "llvm/Function.h"
+class Pass;
 
 //===----------------------------------------------------------------------===//
 //  Local constant propogation...
 //
 
-// doConstantPropogation - Constant prop a specific instruction.  Returns true
-// and potentially moves the iterator if constant propogation was performed.
-//
+/// doConstantPropogation - Constant prop a specific instruction.  Returns true
+/// and potentially moves the iterator if constant propogation was performed.
+///
 bool doConstantPropogation(BasicBlock::iterator &I);
 
-// ConstantFoldTerminator - If a terminator instruction is predicated on a
-// constant value, convert it into an unconditional branch to the constant
-// destination.  This is a nontrivial operation because the successors of this
-// basic block must have their PHI nodes updated.
-//
+/// ConstantFoldTerminator - If a terminator instruction is predicated on a
+/// constant value, convert it into an unconditional branch to the constant
+/// destination.  This is a nontrivial operation because the successors of this
+/// basic block must have their PHI nodes updated.
+///
 bool ConstantFoldTerminator(BasicBlock *BB);
 
 
@@ -31,16 +32,17 @@
 //  Local dead code elimination...
 //
 
-// isInstructionTriviallyDead - Return true if the result produced by the
-// instruction is not used, and the instruction has no side effects.
-//
+/// isInstructionTriviallyDead - Return true if the result produced by the
+/// instruction is not used, and the instruction has no side effects.
+///
 bool isInstructionTriviallyDead(Instruction *I);
 
 
-// dceInstruction - Inspect the instruction at *BBI and figure out if it
-// isTriviallyDead.  If so, remove the instruction and update the iterator to
-// point to the instruction that immediately succeeded the original instruction.
-//
+/// dceInstruction - Inspect the instruction at *BBI and figure out if it
+/// isTriviallyDead.  If so, remove the instruction and update the iterator to
+/// point to the instruction that immediately succeeded the original
+/// instruction.
+///
 bool dceInstruction(BasicBlock::iterator &BBI);
 
 
@@ -48,14 +50,28 @@
 //  Control Flow Graph Restructuring...
 //
 
-// SimplifyCFG - This function is used to do simplification of a CFG.  For
-// example, it adjusts branches to branches to eliminate the extra hop, it
-// eliminates unreachable basic blocks, and does other "peephole" optimization
-// of the CFG.  It returns true if a modification was made, possibly deleting
-// the basic block that was pointed to.
-//
-// WARNING:  The entry node of a method may not be simplified.
-//
+/// SimplifyCFG - This function is used to do simplification of a CFG.  For
+/// example, it adjusts branches to branches to eliminate the extra hop, it
+/// eliminates unreachable basic blocks, and does other "peephole" optimization
+/// of the CFG.  It returns true if a modification was made, possibly deleting
+/// the basic block that was pointed to.
+///
+/// WARNING:  The entry node of a method may not be simplified.
+///
 bool SimplifyCFG(BasicBlock *BB);
+
+
+/// isCriticalEdge - Return true if the specified edge is a critical edge.
+/// Critical edges are edges from a block with multiple successors to a block
+/// with multiple predecessors.
+///
+///
+bool isCriticalEdge(const TerminatorInst *TI, unsigned SuccNum);
+
+/// BreakCriticalEdge - Insert a new node node to split the critical edge.  This
+/// will update DominatorSet and DominatorTree information if it is available,
+/// thus calling this pass will not invalidate either of them.
+///
+void BreakCriticalEdge(TerminatorInst *TI, unsigned SuccNum, Pass *P = 0);
 
 #endif