BasicBlockPlacement.cpp
CodeGenPrepare.cpp
ConstantProp.cpp
+ CorrelatedValuePropagation.cpp
DCE.cpp
DeadStoreElimination.cpp
GEPSplitter.cpp
Sink.cpp
TailDuplication.cpp
TailRecursionElimination.cpp
- ValuePropagation.cpp
)
target_link_libraries (LLVMScalarOpts LLVMTransformUtils)
--- /dev/null
+//===- ValuePropagation.cpp - Propagate information derived control flow --===//
+//
+// The LLVM Compiler Infrastructure
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
+//
+// This file implements the Value Propagation pass.
+//
+//===----------------------------------------------------------------------===//
+
+#define DEBUG_TYPE "value-propagation"
+#include "llvm/Transforms/Scalar.h"
+#include "llvm/Function.h"
+#include "llvm/Instructions.h"
+#include "llvm/Pass.h"
+#include "llvm/Analysis/LazyValueInfo.h"
+#include "llvm/Transforms/Utils/Local.h"
+#include "llvm/ADT/Statistic.h"
+using namespace llvm;
+
+STATISTIC(NumPhis, "Number of phis propagated");
+STATISTIC(NumSelects, "Number of selects propagated");
+
+namespace {
+ class ValuePropagation : public FunctionPass {
+ LazyValueInfo *LVI;
+
+ bool processSelect(SelectInst *SI);
+ bool processPHI(PHINode *P);
+
+ public:
+ static char ID;
+ ValuePropagation(): FunctionPass(ID) { }
+
+ bool runOnFunction(Function &F);
+
+ virtual void getAnalysisUsage(AnalysisUsage &AU) const {
+ AU.addRequired<LazyValueInfo>();
+ }
+ };
+}
+
+char ValuePropagation::ID = 0;
+INITIALIZE_PASS(ValuePropagation, "value-propagation",
+ "Value Propagation", false, false);
+
+// Public interface to the Value Propagation pass
+Pass *llvm::createValuePropagationPass() {
+ return new ValuePropagation();
+}
+
+bool ValuePropagation::processSelect(SelectInst *S) {
+ if (S->getType()->isVectorTy()) return false;
+
+ Constant *C = LVI->getConstant(S->getOperand(0), S->getParent());
+ if (!C) return false;
+
+ ConstantInt *CI = dyn_cast<ConstantInt>(C);
+ if (!CI) return false;
+
+ S->replaceAllUsesWith(S->getOperand(CI->isOne() ? 1 : 2));
+ S->eraseFromParent();
+
+ ++NumSelects;
+
+ return true;
+}
+
+bool ValuePropagation::processPHI(PHINode *P) {
+ bool Changed = false;
+
+ BasicBlock *BB = P->getParent();
+ for (unsigned i = 0, e = P->getNumIncomingValues(); i < e; ++i) {
+ Value *Incoming = P->getIncomingValue(i);
+ if (isa<Constant>(Incoming)) continue;
+
+ Constant *C = LVI->getConstantOnEdge(P->getIncomingValue(i),
+ P->getIncomingBlock(i),
+ BB);
+ if (!C) continue;
+
+ P->setIncomingValue(i, C);
+ Changed = true;
+ }
+
+ if (Value *ConstVal = P->hasConstantValue()) {
+ P->replaceAllUsesWith(ConstVal);
+ P->eraseFromParent();
+ Changed = true;
+ }
+
+ ++NumPhis;
+
+ return Changed;
+}
+
+bool ValuePropagation::runOnFunction(Function &F) {
+ LVI = &getAnalysis<LazyValueInfo>();
+
+ bool Changed = false;
+
+ for (Function::iterator FI = F.begin(), FE = F.end(); FI != FE; ++FI)
+ for (BasicBlock::iterator BI = FI->begin(), BE = FI->end(); BI != BE; ) {
+ Instruction *II = BI++;
+ if (SelectInst *SI = dyn_cast<SelectInst>(II))
+ Changed |= processSelect(SI);
+ else if (PHINode *P = dyn_cast<PHINode>(II))
+ Changed |= processPHI(P);
+ }
+
+ if (Changed)
+ for (Function::iterator FI = F.begin(), FE = F.end(); FI != FE; ++FI)
+ SimplifyInstructionsInBlock(FI);
+
+ return Changed;
+}
+++ /dev/null
-//===- ValuePropagation.cpp - Propagate information derived control flow --===//
-//
-// The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-//
-// This file implements the Value Propagation pass.
-//
-//===----------------------------------------------------------------------===//
-
-#define DEBUG_TYPE "value-propagation"
-#include "llvm/Transforms/Scalar.h"
-#include "llvm/Function.h"
-#include "llvm/Instructions.h"
-#include "llvm/Pass.h"
-#include "llvm/Analysis/LazyValueInfo.h"
-#include "llvm/Transforms/Utils/Local.h"
-#include "llvm/ADT/Statistic.h"
-using namespace llvm;
-
-STATISTIC(NumPhis, "Number of phis propagated");
-STATISTIC(NumSelects, "Number of selects propagated");
-
-namespace {
- class ValuePropagation : public FunctionPass {
- LazyValueInfo *LVI;
-
- bool processSelect(SelectInst *SI);
- bool processPHI(PHINode *P);
-
- public:
- static char ID;
- ValuePropagation(): FunctionPass(ID) { }
-
- bool runOnFunction(Function &F);
-
- virtual void getAnalysisUsage(AnalysisUsage &AU) const {
- AU.addRequired<LazyValueInfo>();
- }
- };
-}
-
-char ValuePropagation::ID = 0;
-INITIALIZE_PASS(ValuePropagation, "value-propagation",
- "Value Propagation", false, false);
-
-// Public interface to the Value Propagation pass
-Pass *llvm::createValuePropagationPass() {
- return new ValuePropagation();
-}
-
-bool ValuePropagation::processSelect(SelectInst *S) {
- if (S->getType()->isVectorTy()) return false;
-
- Constant *C = LVI->getConstant(S->getOperand(0), S->getParent());
- if (!C) return false;
-
- ConstantInt *CI = dyn_cast<ConstantInt>(C);
- if (!CI) return false;
-
- S->replaceAllUsesWith(S->getOperand(CI->isOne() ? 1 : 2));
- S->eraseFromParent();
-
- ++NumSelects;
-
- return true;
-}
-
-bool ValuePropagation::processPHI(PHINode *P) {
- bool Changed = false;
-
- BasicBlock *BB = P->getParent();
- for (unsigned i = 0, e = P->getNumIncomingValues(); i < e; ++i) {
- Value *Incoming = P->getIncomingValue(i);
- if (isa<Constant>(Incoming)) continue;
-
- Constant *C = LVI->getConstantOnEdge(P->getIncomingValue(i),
- P->getIncomingBlock(i),
- BB);
- if (!C) continue;
-
- P->setIncomingValue(i, C);
- Changed = true;
- }
-
- if (Value *ConstVal = P->hasConstantValue()) {
- P->replaceAllUsesWith(ConstVal);
- P->eraseFromParent();
- Changed = true;
- }
-
- ++NumPhis;
-
- return Changed;
-}
-
-bool ValuePropagation::runOnFunction(Function &F) {
- LVI = &getAnalysis<LazyValueInfo>();
-
- bool Changed = false;
-
- for (Function::iterator FI = F.begin(), FE = F.end(); FI != FE; ++FI)
- for (BasicBlock::iterator BI = FI->begin(), BE = FI->end(); BI != BE; ) {
- Instruction *II = BI++;
- if (SelectInst *SI = dyn_cast<SelectInst>(II))
- Changed |= processSelect(SI);
- else if (PHINode *P = dyn_cast<PHINode>(II))
- Changed |= processPHI(P);
- }
-
- if (Changed)
- for (Function::iterator FI = F.begin(), FE = F.end(); FI != FE; ++FI)
- SimplifyInstructionsInBlock(FI);
-
- return Changed;
-}