move constant folding code out of Utils/Local into libanalysis
[oota-llvm.git] / include / llvm / Transforms / Utils / Local.h
1 //===-- Local.h - Functions to perform local transformations ----*- C++ -*-===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file was developed by the LLVM research group and is distributed under
6 // the University of Illinois Open Source License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This family of functions perform various local transformations to the
11 // program.
12 //
13 //===----------------------------------------------------------------------===//
14
15 #ifndef LLVM_TRANSFORMS_UTILS_LOCAL_H
16 #define LLVM_TRANSFORMS_UTILS_LOCAL_H
17
18 #include "llvm/Function.h"
19
20 namespace llvm {
21
22 class Pass;
23 class PHINode;
24 class AllocaInst;
25 class ConstantExpr;
26 class TargetData;
27
28 //===----------------------------------------------------------------------===//
29 //  Local constant propagation...
30 //
31
32 /// doConstantPropagation - Constant prop a specific instruction.  Returns true
33 /// and potentially moves the iterator if constant propagation was performed.
34 ///
35 bool doConstantPropagation(BasicBlock::iterator &I, const TargetData *TD = 0);
36
37 /// ConstantFoldTerminator - If a terminator instruction is predicated on a
38 /// constant value, convert it into an unconditional branch to the constant
39 /// destination.  This is a nontrivial operation because the successors of this
40 /// basic block must have their PHI nodes updated.
41 ///
42 bool ConstantFoldTerminator(BasicBlock *BB);
43
44 //===----------------------------------------------------------------------===//
45 //  Local dead code elimination...
46 //
47
48 /// isInstructionTriviallyDead - Return true if the result produced by the
49 /// instruction is not used, and the instruction has no side effects.
50 ///
51 bool isInstructionTriviallyDead(Instruction *I);
52
53
54 /// dceInstruction - Inspect the instruction at *BBI and figure out if it
55 /// isTriviallyDead.  If so, remove the instruction and update the iterator to
56 /// point to the instruction that immediately succeeded the original
57 /// instruction.
58 ///
59 bool dceInstruction(BasicBlock::iterator &BBI);
60
61 //===----------------------------------------------------------------------===//
62 //  Control Flow Graph Restructuring...
63 //
64
65 /// SimplifyCFG - This function is used to do simplification of a CFG.  For
66 /// example, it adjusts branches to branches to eliminate the extra hop, it
67 /// eliminates unreachable basic blocks, and does other "peephole" optimization
68 /// of the CFG.  It returns true if a modification was made, possibly deleting
69 /// the basic block that was pointed to.
70 ///
71 /// WARNING:  The entry node of a method may not be simplified.
72 ///
73 bool SimplifyCFG(BasicBlock *BB);
74
75 /// DemoteRegToStack - This function takes a virtual register computed by an
76 /// Instruction and replaces it with a slot in the stack frame, allocated via
77 /// alloca.  This allows the CFG to be changed around without fear of
78 /// invalidating the SSA information for the value.  It returns the pointer to
79 /// the alloca inserted to create a stack slot for X.
80 ///
81 AllocaInst *DemoteRegToStack(Instruction &X, bool VolatileLoads = false);
82
83 } // End llvm namespace
84
85 #endif