Convert optimizations to the pass infrastructure

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@873 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Transforms/IPO/InlineSimple.cpp b/lib/Transforms/IPO/InlineSimple.cpp
index c135f6566b23ff5e4c3495908628ee60351f7cf3..ef92b2d07cad7d042e8592900670d9b0df20b437 100644 (file)
--- a/lib/Transforms/IPO/InlineSimple.cpp
+++ b/lib/Transforms/IPO/InlineSimple.cpp
@@ -246,7 +246,7 @@ static inline bool DoMethodInlining(BasicBlock *BB) {
   return false;
 }
 
-bool opt::DoMethodInlining(Method *M) {
+bool opt::MethodInlining::doMethodInlining(Method *M) {
   bool Changed = false;
 
   // Loop through now and inline instructions a basic block at a time...

diff --git a/lib/Transforms/Scalar/ADCE.cpp b/lib/Transforms/Scalar/ADCE.cpp
index 18c851b1188d8fcd6908413ad0b2ba8ad5d05743..14a18116186b63b74d8908df9b49373ff112061d 100644 (file)
--- a/lib/Transforms/Scalar/ADCE.cpp
+++ b/lib/Transforms/Scalar/ADCE.cpp
@@ -293,9 +293,9 @@ BasicBlock *ADCE::fixupCFG(BasicBlock *BB, set<BasicBlock*> &VisitedBlocks,
 
 
 
-// DoADCE - Execute the Agressive Dead Code Elimination Algorithm
+// doADCE - Execute the Agressive Dead Code Elimination Algorithm
 //
-bool opt::DoADCE(Method *M) {
+bool opt::AgressiveDCE::doADCE(Method *M) {
   if (M->isExternal()) return false;
   ADCE DCE(M);
   return DCE.doADCE();

diff --git a/lib/Transforms/Scalar/ConstantProp.cpp b/lib/Transforms/Scalar/ConstantProp.cpp
index 61c026a139204906c2b06cc26e7197a63d00931c..6ab97808a65b59263bab305065b6299809a2843e 100644 (file)
--- a/lib/Transforms/Scalar/ConstantProp.cpp
+++ b/lib/Transforms/Scalar/ConstantProp.cpp
@@ -199,7 +199,7 @@ static bool DoConstPropPass(Method *M) {
 
 // returns true on failure, false on success...
 //
-bool opt::DoConstantPropogation(Method *M) {
+bool opt::ConstantPropogation::doConstantPropogation(Method *M) {
   bool Modified = false;
 
   // Fold constants until we make no progress...

diff --git a/lib/Transforms/Scalar/DCE.cpp b/lib/Transforms/Scalar/DCE.cpp
index 10dcf1eeae4f64191a3f786cad02e0b9e8c8d827..e089525eca4a597e7d804779a0138f9e07d5402d 100644 (file)
--- a/lib/Transforms/Scalar/DCE.cpp
+++ b/lib/Transforms/Scalar/DCE.cpp
@@ -26,6 +26,7 @@
 #include "llvm/Optimizations/DCE.h"
 #include "llvm/Support/STLExtras.h"
 #include "llvm/Module.h"
+#include "llvm/GlobalVariable.h"
 #include "llvm/Method.h"
 #include "llvm/BasicBlock.h"
 #include "llvm/iTerminators.h"
@@ -293,28 +294,40 @@ static bool DoDCEPass(Method *M) {
 // It is possible that we may require multiple passes over the code to fully
 // eliminate dead code.  Iterate until we are done.
 //
-bool opt::DoDeadCodeElimination(Method *M) {
+bool opt::DeadCodeElimination::doDCE(Method *M) {
   bool Changed = false;
   while (DoDCEPass(M)) Changed = true;
   return Changed;
 }
 
-bool opt::DoDeadCodeElimination(Module *Mod) {
+bool opt::DeadCodeElimination::RemoveUnusedGlobalValues(Module *Mod) {
   bool Changed = false;
 
   for (Module::iterator MI = Mod->begin(); MI != Mod->end(); ) {
     Method *Meth = *MI;
-    if (!Meth->isExternal()) {                 // DCE normal methods
-      Changed |= DoDeadCodeElimination(Meth);
-      ++MI;                                    // Next method please
-    } else if (Meth->use_size() == 0) {        // No references to prototype?
+    if (Meth->isExternal() && Meth->use_size() == 0) {
+      // No references to prototype?
       //cerr << "Removing method proto: " << Meth->getName() << endl;
       delete Mod->getMethodList().remove(MI);  // Remove prototype
       // Remove moves iterator to point to the next one automatically
+      Changed = true;
     } else {
       ++MI;                                    // Skip prototype in use.
     }
   }
 
+  for (Module::giterator GI = Mod->gbegin(); GI != Mod->gend(); ) {
+    GlobalVariable *GV = *GI;
+    if (!GV->hasInitializer() && GV->use_size() == 0) {
+      // No references to uninitialized global variable?
+      //cerr << "Removing global var: " << GV->getName() << endl;
+      delete Mod->getGlobalList().remove(GI);
+      // Remove moves iterator to point to the next one automatically
+      Changed = true;
+    } else {
+      ++GI;
+    }
+  }
+
   return Changed;
 }

diff --git a/lib/Transforms/Scalar/SCCP.cpp b/lib/Transforms/Scalar/SCCP.cpp
index f91b786ce19bc436acfa1343c488dc8eff3587e2..101e892653d5f3d76ceb7605c59bf7e029c91e76 100644 (file)
--- a/lib/Transforms/Scalar/SCCP.cpp
+++ b/lib/Transforms/Scalar/SCCP.cpp
@@ -507,7 +507,7 @@ void SCCP::OperandChangedState(User *U) {
 // DoSparseConditionalConstantProp - Use Sparse Conditional Constant Propogation
 // to prove whether a value is constant and whether blocks are used.
 //
-bool opt::DoSCCP(Method *M) {
+bool opt::SCCPPass::doSCCP(Method *M) {
   if (M->isExternal()) return false;
   SCCP S(M);
   return S.doSCCP();

diff --git a/lib/Transforms/Scalar/SymbolStripping.cpp b/lib/Transforms/Scalar/SymbolStripping.cpp
index 6104b62e431d706038f28b98c874199ef7c2fed0..06cf025221d0abaadf23c9497cfb93029869b47e 100644 (file)
--- a/lib/Transforms/Scalar/SymbolStripping.cpp
+++ b/lib/Transforms/Scalar/SymbolStripping.cpp
@@ -44,16 +44,16 @@ static bool StripSymbolTable(SymbolTable *SymTab) {
 
 // DoSymbolStripping - Remove all symbolic information from a method
 //
-bool opt::DoSymbolStripping(Method *M) {
+bool opt::SymbolStripping::doSymbolStripping(Method *M) {
   return StripSymbolTable(M->getSymbolTable());
 }
 
-// DoFullSymbolStripping - Remove all symbolic information from all methods 
+// doStripGlobalSymbols - Remove all symbolic information from all methods 
 // in a module, and all module level symbols. (method names, etc...)
 //
-bool opt::DoFullSymbolStripping(Module *M) {
+bool opt::FullSymbolStripping::doStripGlobalSymbols(Module *M) {
   // Remove all symbols from methods in this module... and then strip all of the
   // symbols in this module...
   //  
-  return DoSymbolStripping(M) | StripSymbolTable(M->getSymbolTable());
+  return StripSymbolTable(M->getSymbolTable());
 }