lib/Transforms/IPO/StripDeadPrototypes.cpp

   1 //===-- StripDeadPrototypes.cpp - Remove unused function declarations ----===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 // This pass loops over all of the functions in the input module, looking for
  11 // dead declarations and removes them. Dead declarations are declarations of
  12 // functions for which no implementation is available (i.e., declarations for
  13 // unused library functions).
  14 //
  15 //===----------------------------------------------------------------------===//
  16
  17 #define DEBUG_TYPE "strip-dead-prototypes"
  18 #include "llvm/Transforms/IPO.h"
  19 #include "llvm/Pass.h"
  20 #include "llvm/Module.h"
  21 #include "llvm/ADT/Statistic.h"
  22 #include "llvm/Support/Compiler.h"
  23 using namespace llvm;
  24
  25 STATISTIC(NumDeadPrototypes, "Number of dead prototypes removed");
  26
  27 namespace {
  28
  29 /// @brief Pass to remove unused function declarations.
  30 class VISIBILITY_HIDDEN StripDeadPrototypesPass : public ModulePass {
  31 public:
  32   static char ID; // Pass identification, replacement for typeid
  33   StripDeadPrototypesPass() : ModulePass(&ID) { }
  34   virtual bool runOnModule(Module &M);
  35 };
  36
  37 } // end anonymous namespace
  38
  39 char StripDeadPrototypesPass::ID = 0;
  40 static RegisterPass<StripDeadPrototypesPass>
  41 X("strip-dead-prototypes", "Strip Unused Function Prototypes");
  42
  43 bool StripDeadPrototypesPass::runOnModule(Module &M) {
  44   bool MadeChange = false;
  45   Context = &M.getContext();
  46
  47   // Erase dead function prototypes.
  48   for (Module::iterator I = M.begin(), E = M.end(); I != E; ) {
  49     Function *F = I++;
  50     // Function must be a prototype and unused.
  51     if (F->isDeclaration() && F->use_empty()) {
  52       F->eraseFromParent();
  53       ++NumDeadPrototypes;
  54       MadeChange = true;
  55     }
  56   }
  57
  58   // Erase dead global var prototypes.
  59   for (Module::global_iterator I = M.global_begin(), E = M.global_end();
  60        I != E; ) {
  61     GlobalVariable *GV = I++;
  62     // Global must be a prototype and unused.
  63     if (GV->isDeclaration() && GV->use_empty())
  64       GV->eraseFromParent();
  65   }
  66
  67   // Return an indication of whether we changed anything or not.
  68   return MadeChange;
  69 }
  70
  71 ModulePass *llvm::createStripDeadPrototypesPass() {
  72   return new StripDeadPrototypesPass();
  73 }