Chris Lattner | 156bcf3 | 2003-04-18 04:34:29 +0000 | [diff] [blame] | 1 | //===- ConstantMerge.cpp - Merge duplicate global constants ---------------===// |
Misha Brukman | fd93908 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 2 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 4ee451d | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | fd93908 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 7 | // |
John Criswell | b576c94 | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | 475becb | 2001-10-18 20:05:37 +0000 | [diff] [blame] | 9 | // |
| 10 | // This file defines the interface to a pass that merges duplicate global |
| 11 | // constants together into a single constant that is shared. This is useful |
| 12 | // because some passes (ie TraceValues) insert a lot of string constants into |
Chris Lattner | e4314ed | 2002-09-23 23:00:46 +0000 | [diff] [blame] | 13 | // the program, regardless of whether or not an existing string is available. |
Chris Lattner | 475becb | 2001-10-18 20:05:37 +0000 | [diff] [blame] | 14 | // |
| 15 | // Algorithm: ConstantMerge is designed to build up a map of available constants |
Chris Lattner | e4314ed | 2002-09-23 23:00:46 +0000 | [diff] [blame] | 16 | // and eliminate duplicates when it is initialized. |
Chris Lattner | 475becb | 2001-10-18 20:05:37 +0000 | [diff] [blame] | 17 | // |
| 18 | //===----------------------------------------------------------------------===// |
| 19 | |
Chris Lattner | 86453c5 | 2006-12-19 22:09:18 +0000 | [diff] [blame] | 20 | #define DEBUG_TYPE "constmerge" |
Chris Lattner | 9cfea85 | 2002-07-23 19:57:40 +0000 | [diff] [blame] | 21 | #include "llvm/Transforms/IPO.h" |
Chris Lattner | 49ddd3a | 2010-09-15 00:30:11 +0000 | [diff] [blame] | 22 | #include "llvm/Constants.h" |
Chris Lattner | c3b6ffc | 2010-02-12 18:17:23 +0000 | [diff] [blame] | 23 | #include "llvm/DerivedTypes.h" |
Chris Lattner | 793c6b8 | 2002-01-31 00:45:11 +0000 | [diff] [blame] | 24 | #include "llvm/Module.h" |
Chris Lattner | bd0ef77 | 2002-02-26 21:46:54 +0000 | [diff] [blame] | 25 | #include "llvm/Pass.h" |
Chris Lattner | c3b6ffc | 2010-02-12 18:17:23 +0000 | [diff] [blame] | 26 | #include "llvm/ADT/DenseMap.h" |
Chris Lattner | 49ddd3a | 2010-09-15 00:30:11 +0000 | [diff] [blame] | 27 | #include "llvm/ADT/SmallPtrSet.h" |
Reid Spencer | 551ccae | 2004-09-01 22:55:40 +0000 | [diff] [blame] | 28 | #include "llvm/ADT/Statistic.h" |
Chris Lattner | 1e2385b | 2003-11-21 21:54:22 +0000 | [diff] [blame] | 29 | using namespace llvm; |
Brian Gaeke | d0fde30 | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 30 | |
Chris Lattner | 86453c5 | 2006-12-19 22:09:18 +0000 | [diff] [blame] | 31 | STATISTIC(NumMerged, "Number of global constants merged"); |
Chris Lattner | c67ebfa | 2002-10-09 23:16:04 +0000 | [diff] [blame] | 32 | |
Chris Lattner | 86453c5 | 2006-12-19 22:09:18 +0000 | [diff] [blame] | 33 | namespace { |
Nick Lewycky | 6726b6d | 2009-10-25 06:33:48 +0000 | [diff] [blame] | 34 | struct ConstantMerge : public ModulePass { |
Nick Lewycky | ecd94c8 | 2007-05-06 13:37:16 +0000 | [diff] [blame] | 35 | static char ID; // Pass identification, replacement for typeid |
Owen Anderson | 081c34b | 2010-10-19 17:21:58 +0000 | [diff] [blame] | 36 | ConstantMerge() : ModulePass(ID) { |
| 37 | initializeConstantMergePass(*PassRegistry::getPassRegistry()); |
| 38 | } |
Devang Patel | 794fd75 | 2007-05-01 21:15:47 +0000 | [diff] [blame] | 39 | |
Chris Lattner | 9234d03 | 2002-06-25 15:55:29 +0000 | [diff] [blame] | 40 | // run - For this pass, process all of the globals in the module, |
| 41 | // eliminating duplicate constants. |
| 42 | // |
Chris Lattner | b12914b | 2004-09-20 04:48:05 +0000 | [diff] [blame] | 43 | bool runOnModule(Module &M); |
Chris Lattner | 9234d03 | 2002-06-25 15:55:29 +0000 | [diff] [blame] | 44 | }; |
| 45 | } |
| 46 | |
Dan Gohman | 844731a | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 47 | char ConstantMerge::ID = 0; |
Owen Anderson | d13db2c | 2010-07-21 22:09:45 +0000 | [diff] [blame] | 48 | INITIALIZE_PASS(ConstantMerge, "constmerge", |
Owen Anderson | ce665bd | 2010-10-07 22:25:06 +0000 | [diff] [blame] | 49 | "Merge Duplicate Global Constants", false, false) |
Dan Gohman | 844731a | 2008-05-13 00:00:25 +0000 | [diff] [blame] | 50 | |
Chris Lattner | b12914b | 2004-09-20 04:48:05 +0000 | [diff] [blame] | 51 | ModulePass *llvm::createConstantMergePass() { return new ConstantMerge(); } |
Chris Lattner | 9234d03 | 2002-06-25 15:55:29 +0000 | [diff] [blame] | 52 | |
Chris Lattner | 49ddd3a | 2010-09-15 00:30:11 +0000 | [diff] [blame] | 53 | |
| 54 | |
| 55 | /// Find values that are marked as llvm.used. |
| 56 | static void FindUsedValues(GlobalVariable *LLVMUsed, |
| 57 | SmallPtrSet<const GlobalValue*, 8> &UsedValues) { |
| 58 | if (LLVMUsed == 0) return; |
| 59 | ConstantArray *Inits = dyn_cast<ConstantArray>(LLVMUsed->getInitializer()); |
| 60 | if (Inits == 0) return; |
| 61 | |
| 62 | for (unsigned i = 0, e = Inits->getNumOperands(); i != e; ++i) |
| 63 | if (GlobalValue *GV = |
| 64 | dyn_cast<GlobalValue>(Inits->getOperand(i)->stripPointerCasts())) |
| 65 | UsedValues.insert(GV); |
| 66 | } |
| 67 | |
Chris Lattner | b12914b | 2004-09-20 04:48:05 +0000 | [diff] [blame] | 68 | bool ConstantMerge::runOnModule(Module &M) { |
Chris Lattner | 49ddd3a | 2010-09-15 00:30:11 +0000 | [diff] [blame] | 69 | // Find all the globals that are marked "used". These cannot be merged. |
| 70 | SmallPtrSet<const GlobalValue*, 8> UsedGlobals; |
| 71 | FindUsedValues(M.getGlobalVariable("llvm.used"), UsedGlobals); |
| 72 | FindUsedValues(M.getGlobalVariable("llvm.compiler.used"), UsedGlobals); |
| 73 | |
Chris Lattner | e1c173b | 2006-03-07 17:56:59 +0000 | [diff] [blame] | 74 | // Map unique constant/section pairs to globals. We don't want to merge |
| 75 | // globals in different sections. |
Chris Lattner | c3b6ffc | 2010-02-12 18:17:23 +0000 | [diff] [blame] | 76 | DenseMap<Constant*, GlobalVariable*> CMap; |
Chris Lattner | b972380 | 2003-12-22 23:49:36 +0000 | [diff] [blame] | 77 | |
| 78 | // Replacements - This vector contains a list of replacements to perform. |
Chris Lattner | c3b6ffc | 2010-02-12 18:17:23 +0000 | [diff] [blame] | 79 | SmallVector<std::pair<GlobalVariable*, GlobalVariable*>, 32> Replacements; |
Chris Lattner | b972380 | 2003-12-22 23:49:36 +0000 | [diff] [blame] | 80 | |
Chris Lattner | 0898c78 | 2003-12-28 07:19:08 +0000 | [diff] [blame] | 81 | bool MadeChange = false; |
Chris Lattner | 475becb | 2001-10-18 20:05:37 +0000 | [diff] [blame] | 82 | |
Chris Lattner | 0898c78 | 2003-12-28 07:19:08 +0000 | [diff] [blame] | 83 | // Iterate constant merging while we are still making progress. Merging two |
| 84 | // constants together may allow us to merge other constants together if the |
| 85 | // second level constants have initializers which point to the globals that |
| 86 | // were just merged. |
| 87 | while (1) { |
| 88 | // First pass: identify all globals that can be merged together, filling in |
| 89 | // the Replacements vector. We cannot do the replacement in this pass |
| 90 | // because doing so may cause initializers of other globals to be rewritten, |
| 91 | // invalidating the Constant* pointers in CMap. |
| 92 | // |
Chris Lattner | ae143ce | 2007-04-14 18:06:52 +0000 | [diff] [blame] | 93 | for (Module::global_iterator GVI = M.global_begin(), E = M.global_end(); |
| 94 | GVI != E; ) { |
| 95 | GlobalVariable *GV = GVI++; |
| 96 | |
Chris Lattner | 8264a9f | 2007-04-14 01:11:54 +0000 | [diff] [blame] | 97 | // If this GV is dead, remove it. |
| 98 | GV->removeDeadConstantUsers(); |
Rafael Espindola | bb46f52 | 2009-01-15 20:18:42 +0000 | [diff] [blame] | 99 | if (GV->use_empty() && GV->hasLocalLinkage()) { |
Jeff Cohen | 98a7220 | 2007-04-14 17:18:29 +0000 | [diff] [blame] | 100 | GV->eraseFromParent(); |
| 101 | continue; |
Chris Lattner | 8264a9f | 2007-04-14 01:11:54 +0000 | [diff] [blame] | 102 | } |
| 103 | |
Chris Lattner | c3b6ffc | 2010-02-12 18:17:23 +0000 | [diff] [blame] | 104 | // Only process constants with initializers in the default addres space. |
| 105 | if (!GV->isConstant() ||!GV->hasDefinitiveInitializer() || |
Chris Lattner | 49ddd3a | 2010-09-15 00:30:11 +0000 | [diff] [blame] | 106 | GV->getType()->getAddressSpace() != 0 || !GV->getSection().empty() || |
| 107 | // Don't touch values marked with attribute(used). |
| 108 | UsedGlobals.count(GV)) |
Chris Lattner | c3b6ffc | 2010-02-12 18:17:23 +0000 | [diff] [blame] | 109 | continue; |
| 110 | |
Chris Lattner | 49ddd3a | 2010-09-15 00:30:11 +0000 | [diff] [blame] | 111 | |
| 112 | |
Chris Lattner | c3b6ffc | 2010-02-12 18:17:23 +0000 | [diff] [blame] | 113 | Constant *Init = GV->getInitializer(); |
Misha Brukman | fd93908 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 114 | |
Chris Lattner | c3b6ffc | 2010-02-12 18:17:23 +0000 | [diff] [blame] | 115 | // Check to see if the initializer is already known. |
| 116 | GlobalVariable *&Slot = CMap[Init]; |
Misha Brukman | fd93908 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 117 | |
Chris Lattner | c3b6ffc | 2010-02-12 18:17:23 +0000 | [diff] [blame] | 118 | if (Slot == 0) { // Nope, add it to the map. |
| 119 | Slot = GV; |
| 120 | } else if (GV->hasLocalLinkage()) { // Yup, this is a duplicate! |
| 121 | // Make all uses of the duplicate constant use the canonical version. |
| 122 | Replacements.push_back(std::make_pair(GV, Slot)); |
Chris Lattner | 475becb | 2001-10-18 20:05:37 +0000 | [diff] [blame] | 123 | } |
Chris Lattner | 8264a9f | 2007-04-14 01:11:54 +0000 | [diff] [blame] | 124 | } |
Misha Brukman | fd93908 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 125 | |
Chris Lattner | 0898c78 | 2003-12-28 07:19:08 +0000 | [diff] [blame] | 126 | if (Replacements.empty()) |
| 127 | return MadeChange; |
| 128 | CMap.clear(); |
Misha Brukman | fd93908 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 129 | |
Chris Lattner | 0898c78 | 2003-12-28 07:19:08 +0000 | [diff] [blame] | 130 | // Now that we have figured out which replacements must be made, do them all |
| 131 | // now. This avoid invalidating the pointers in CMap, which are unneeded |
| 132 | // now. |
| 133 | for (unsigned i = 0, e = Replacements.size(); i != e; ++i) { |
Chris Lattner | c3b6ffc | 2010-02-12 18:17:23 +0000 | [diff] [blame] | 134 | // Eliminate any uses of the dead global. |
Chris Lattner | 0898c78 | 2003-12-28 07:19:08 +0000 | [diff] [blame] | 135 | Replacements[i].first->replaceAllUsesWith(Replacements[i].second); |
Misha Brukman | fd93908 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 136 | |
Chris Lattner | c3b6ffc | 2010-02-12 18:17:23 +0000 | [diff] [blame] | 137 | // Delete the global value from the module. |
| 138 | Replacements[i].first->eraseFromParent(); |
Chris Lattner | 0898c78 | 2003-12-28 07:19:08 +0000 | [diff] [blame] | 139 | } |
Misha Brukman | fd93908 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 140 | |
Chris Lattner | 0898c78 | 2003-12-28 07:19:08 +0000 | [diff] [blame] | 141 | NumMerged += Replacements.size(); |
| 142 | Replacements.clear(); |
Chris Lattner | b972380 | 2003-12-22 23:49:36 +0000 | [diff] [blame] | 143 | } |
Chris Lattner | b972380 | 2003-12-22 23:49:36 +0000 | [diff] [blame] | 144 | } |