2003-09-30 18:37:50 +00:00
|
|
|
//===-- Local.h - Functions to perform local transformations ----*- C++ -*-===//
|
2003-10-20 20:19:47 +00:00
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file was developed by the LLVM research group and is distributed under
|
|
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
2002-05-07 18:52:48 +00:00
|
|
|
//
|
|
|
|
// This family of functions perform various local transformations to the
|
|
|
|
// program.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_TRANSFORMS_UTILS_LOCAL_H
|
|
|
|
#define LLVM_TRANSFORMS_UTILS_LOCAL_H
|
|
|
|
|
|
|
|
#include "llvm/Function.h"
|
2002-09-06 02:19:25 +00:00
|
|
|
class Pass;
|
2002-05-07 18:52:48 +00:00
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
2003-05-20 21:01:22 +00:00
|
|
|
// Local constant propagation...
|
2002-05-07 18:52:48 +00:00
|
|
|
//
|
|
|
|
|
2003-05-20 21:01:22 +00:00
|
|
|
/// doConstantPropagation - Constant prop a specific instruction. Returns true
|
|
|
|
/// and potentially moves the iterator if constant propagation was performed.
|
2002-09-06 02:19:25 +00:00
|
|
|
///
|
2003-05-20 21:01:22 +00:00
|
|
|
bool doConstantPropagation(BasicBlock::iterator &I);
|
2002-05-07 18:52:48 +00:00
|
|
|
|
2002-09-06 02:19:25 +00:00
|
|
|
/// 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.
|
|
|
|
///
|
2002-05-21 20:04:50 +00:00
|
|
|
bool ConstantFoldTerminator(BasicBlock *BB);
|
2002-05-07 18:52:48 +00:00
|
|
|
|
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Local dead code elimination...
|
|
|
|
//
|
|
|
|
|
2002-09-06 02:19:25 +00:00
|
|
|
/// isInstructionTriviallyDead - Return true if the result produced by the
|
|
|
|
/// instruction is not used, and the instruction has no side effects.
|
|
|
|
///
|
2002-05-07 18:52:48 +00:00
|
|
|
bool isInstructionTriviallyDead(Instruction *I);
|
|
|
|
|
|
|
|
|
2002-09-06 02:19:25 +00:00
|
|
|
/// 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.
|
|
|
|
///
|
2002-05-26 20:18:35 +00:00
|
|
|
bool dceInstruction(BasicBlock::iterator &BBI);
|
2002-05-07 18:52:48 +00:00
|
|
|
|
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Control Flow Graph Restructuring...
|
|
|
|
//
|
|
|
|
|
2002-09-06 02:19:25 +00:00
|
|
|
/// 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.
|
|
|
|
///
|
2002-06-25 16:12:52 +00:00
|
|
|
bool SimplifyCFG(BasicBlock *BB);
|
2002-05-07 18:52:48 +00:00
|
|
|
|
|
|
|
#endif
|