blob: 3471d8f1f3ffd5d75e5528ac00dc395ae52189b4 [file] [log] [blame]
Nick Lewyckyd01d42e2008-11-02 05:52:50 +00001//===- MergeFunctions.cpp - Merge identical functions ---------------------===//
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 looks for equivalent functions that are mergable and folds them.
11//
Nick Lewyckyd01d42e2008-11-02 05:52:50 +000012// A hash is computed from the function, based on its type and number of
13// basic blocks.
14//
15// Once all hashes are computed, we perform an expensive equality comparison
16// on each function pair. This takes n^2/2 comparisons per bucket, so it's
17// important that the hash function be high quality. The equality comparison
18// iterates through each instruction in each basic block.
19//
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +000020// When a match is found the functions are folded. If both functions are
21// overridable, we move the functionality into a new internal function and
22// leave two overridable thunks to it.
Nick Lewyckyd01d42e2008-11-02 05:52:50 +000023//
24//===----------------------------------------------------------------------===//
25//
26// Future work:
27//
Nick Lewyckyd01d42e2008-11-02 05:52:50 +000028// * virtual functions.
29//
30// Many functions have their address taken by the virtual function table for
31// the object they belong to. However, as long as it's only used for a lookup
Nick Lewyckyfbd27572010-08-08 05:04:23 +000032// and call, this is irrelevant, and we'd like to fold such functions.
Nick Lewyckyd01d42e2008-11-02 05:52:50 +000033//
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +000034// * switch from n^2 pair-wise comparisons to an n-way comparison for each
35// bucket.
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +000036//
Nick Lewyckyfbd27572010-08-08 05:04:23 +000037// * be smarter about bitcasts.
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +000038//
39// In order to fold functions, we will sometimes add either bitcast instructions
40// or bitcast constant expressions. Unfortunately, this can confound further
41// analysis since the two functions differ where one has a bitcast and the
Nick Lewyckyfbd27572010-08-08 05:04:23 +000042// other doesn't. We should learn to look through bitcasts.
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +000043//
Nick Lewyckyd01d42e2008-11-02 05:52:50 +000044//===----------------------------------------------------------------------===//
45
Nick Lewyckyd01d42e2008-11-02 05:52:50 +000046#include "llvm/Transforms/IPO.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000047#include "llvm/ADT/DenseSet.h"
48#include "llvm/ADT/FoldingSet.h"
49#include "llvm/ADT/STLExtras.h"
50#include "llvm/ADT/SmallSet.h"
51#include "llvm/ADT/Statistic.h"
Chandler Carruth219b89b2014-03-04 11:01:28 +000052#include "llvm/IR/CallSite.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000053#include "llvm/IR/Constants.h"
54#include "llvm/IR/DataLayout.h"
55#include "llvm/IR/IRBuilder.h"
56#include "llvm/IR/InlineAsm.h"
57#include "llvm/IR/Instructions.h"
58#include "llvm/IR/LLVMContext.h"
59#include "llvm/IR/Module.h"
60#include "llvm/IR/Operator.h"
Chandler Carruth4220e9c2014-03-04 11:17:44 +000061#include "llvm/IR/ValueHandle.h"
Nick Lewyckyd01d42e2008-11-02 05:52:50 +000062#include "llvm/Pass.h"
Nick Lewyckyd01d42e2008-11-02 05:52:50 +000063#include "llvm/Support/Debug.h"
Torok Edwin56d06592009-07-11 20:10:48 +000064#include "llvm/Support/ErrorHandling.h"
Daniel Dunbar0dd5e1e2009-07-25 00:23:56 +000065#include "llvm/Support/raw_ostream.h"
Nick Lewycky68984ed2010-08-31 08:29:37 +000066#include <vector>
Nick Lewyckyd01d42e2008-11-02 05:52:50 +000067using namespace llvm;
68
Chandler Carruth964daaa2014-04-22 02:55:47 +000069#define DEBUG_TYPE "mergefunc"
70
Nick Lewyckyd01d42e2008-11-02 05:52:50 +000071STATISTIC(NumFunctionsMerged, "Number of functions merged");
Nick Lewycky71972d42010-09-07 01:42:10 +000072STATISTIC(NumThunksWritten, "Number of thunks generated");
Nick Lewyckyf1cec162011-01-25 08:56:50 +000073STATISTIC(NumAliasesWritten, "Number of aliases generated");
Nick Lewycky71972d42010-09-07 01:42:10 +000074STATISTIC(NumDoubleWeak, "Number of new functions created");
Nick Lewyckyd01d42e2008-11-02 05:52:50 +000075
Benjamin Kramer630e6e12013-04-19 23:06:44 +000076/// Returns the type id for a type to be hashed. We turn pointer types into
77/// integers here because the actual compare logic below considers pointers and
78/// integers of the same size as equal.
79static Type::TypeID getTypeIDForHash(Type *Ty) {
80 if (Ty->isPointerTy())
81 return Type::IntegerTyID;
82 return Ty->getTypeID();
83}
84
Nick Lewyckycfb284c2011-01-28 08:43:14 +000085/// Creates a hash-code for the function which is the same for any two
86/// functions that will compare equal, without looking at the instructions
87/// inside the function.
88static unsigned profileFunction(const Function *F) {
Chris Lattner229907c2011-07-18 04:54:35 +000089 FunctionType *FTy = F->getFunctionType();
Nick Lewyckyfbd27572010-08-08 05:04:23 +000090
Nick Lewycky00959372010-09-05 08:22:49 +000091 FoldingSetNodeID ID;
92 ID.AddInteger(F->size());
93 ID.AddInteger(F->getCallingConv());
94 ID.AddBoolean(F->hasGC());
95 ID.AddBoolean(FTy->isVarArg());
Benjamin Kramer630e6e12013-04-19 23:06:44 +000096 ID.AddInteger(getTypeIDForHash(FTy->getReturnType()));
Nick Lewycky00959372010-09-05 08:22:49 +000097 for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i)
Benjamin Kramer630e6e12013-04-19 23:06:44 +000098 ID.AddInteger(getTypeIDForHash(FTy->getParamType(i)));
Nick Lewycky00959372010-09-05 08:22:49 +000099 return ID.ComputeHash();
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000100}
101
Nick Lewycky71972d42010-09-07 01:42:10 +0000102namespace {
103
Nick Lewyckyaaf40122011-01-28 08:19:00 +0000104/// ComparableFunction - A struct that pairs together functions with a
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000105/// DataLayout so that we can keep them together as elements in the DenseSet.
Nick Lewycky00959372010-09-05 08:22:49 +0000106class ComparableFunction {
107public:
Nick Lewyckyf3a07ec2010-09-05 09:00:32 +0000108 static const ComparableFunction EmptyKey;
109 static const ComparableFunction TombstoneKey;
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000110 static DataLayout * const LookupOnly;
Nick Lewyckyf3a07ec2010-09-05 09:00:32 +0000111
Rafael Espindolaaeff8a92014-02-24 23:12:18 +0000112 ComparableFunction(Function *Func, const DataLayout *DL)
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000113 : Func(Func), Hash(profileFunction(Func)), DL(DL) {}
Nick Lewycky00959372010-09-05 08:22:49 +0000114
Nick Lewyckyf3a07ec2010-09-05 09:00:32 +0000115 Function *getFunc() const { return Func; }
116 unsigned getHash() const { return Hash; }
Rafael Espindolaaeff8a92014-02-24 23:12:18 +0000117 const DataLayout *getDataLayout() const { return DL; }
Nick Lewyckyf3a07ec2010-09-05 09:00:32 +0000118
119 // Drops AssertingVH reference to the function. Outside of debug mode, this
120 // does nothing.
121 void release() {
122 assert(Func &&
123 "Attempted to release function twice, or release empty/tombstone!");
124 Func = NULL;
125 }
126
127private:
128 explicit ComparableFunction(unsigned Hash)
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000129 : Func(NULL), Hash(Hash), DL(NULL) {}
Nick Lewyckyf3a07ec2010-09-05 09:00:32 +0000130
131 AssertingVH<Function> Func;
132 unsigned Hash;
Rafael Espindolaaeff8a92014-02-24 23:12:18 +0000133 const DataLayout *DL;
Nick Lewycky00959372010-09-05 08:22:49 +0000134};
135
Nick Lewyckyf3a07ec2010-09-05 09:00:32 +0000136const ComparableFunction ComparableFunction::EmptyKey = ComparableFunction(0);
137const ComparableFunction ComparableFunction::TombstoneKey =
138 ComparableFunction(1);
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000139DataLayout *const ComparableFunction::LookupOnly = (DataLayout*)(-1);
Nick Lewyckyf3a07ec2010-09-05 09:00:32 +0000140
Nick Lewycky71972d42010-09-07 01:42:10 +0000141}
Nick Lewyckyf3a07ec2010-09-05 09:00:32 +0000142
143namespace llvm {
144 template <>
145 struct DenseMapInfo<ComparableFunction> {
146 static ComparableFunction getEmptyKey() {
147 return ComparableFunction::EmptyKey;
148 }
149 static ComparableFunction getTombstoneKey() {
150 return ComparableFunction::TombstoneKey;
151 }
152 static unsigned getHashValue(const ComparableFunction &CF) {
153 return CF.getHash();
154 }
155 static bool isEqual(const ComparableFunction &LHS,
156 const ComparableFunction &RHS);
157 };
158}
159
160namespace {
Nick Lewycky00959372010-09-05 08:22:49 +0000161
Nick Lewyckyfbd27572010-08-08 05:04:23 +0000162/// FunctionComparator - Compares two functions to determine whether or not
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000163/// they will generate machine code with the same behaviour. DataLayout is
Nick Lewyckyfbd27572010-08-08 05:04:23 +0000164/// used if available. The comparator always fails conservatively (erring on the
165/// side of claiming that two functions are different).
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000166class FunctionComparator {
167public:
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000168 FunctionComparator(const DataLayout *DL, const Function *F1,
Nick Lewycky0464d1d2010-08-31 05:53:05 +0000169 const Function *F2)
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000170 : F1(F1), F2(F2), DL(DL) {}
Nick Lewyckye04dc222009-06-12 08:04:51 +0000171
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000172 /// Test whether the two functions have equivalent behaviour.
173 bool compare();
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000174
175private:
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000176 /// Test whether two basic blocks have equivalent behaviour.
177 bool compare(const BasicBlock *BB1, const BasicBlock *BB2);
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000178
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000179 /// Assign or look up previously assigned numbers for the two values, and
180 /// return whether the numbers are equal. Numbers are assigned in the order
181 /// visited.
182 bool enumerate(const Value *V1, const Value *V2);
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000183
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000184 /// Compare two Instructions for equivalence, similar to
185 /// Instruction::isSameOperationAs but with modifications to the type
Nick Lewyckyfbd27572010-08-08 05:04:23 +0000186 /// comparison.
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000187 bool isEquivalentOperation(const Instruction *I1,
188 const Instruction *I2) const;
189
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000190 /// Compare two GEPs for equivalent pointer arithmetic.
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000191 bool isEquivalentGEP(const GEPOperator *GEP1, const GEPOperator *GEP2);
192 bool isEquivalentGEP(const GetElementPtrInst *GEP1,
Nick Lewyckyfbd27572010-08-08 05:04:23 +0000193 const GetElementPtrInst *GEP2) {
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000194 return isEquivalentGEP(cast<GEPOperator>(GEP1), cast<GEPOperator>(GEP2));
195 }
196
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000197 /// cmpType - compares two types,
198 /// defines total ordering among the types set.
199 ///
200 /// Return values:
201 /// 0 if types are equal,
202 /// -1 if Left is less than Right,
203 /// +1 if Left is greater than Right.
204 ///
205 /// Description:
206 /// Comparison is broken onto stages. Like in lexicographical comparison
207 /// stage coming first has higher priority.
208 /// On each explanation stage keep in mind total ordering properties.
209 ///
Stepan Dyatkovskiy90c44362014-03-14 08:17:19 +0000210 /// 0. Before comparison we coerce pointer types of 0 address space to
211 /// integer.
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000212 /// We also don't bother with same type at left and right, so
213 /// just return 0 in this case.
214 ///
215 /// 1. If types are of different kind (different type IDs).
216 /// Return result of type IDs comparison, treating them as numbers.
217 /// 2. If types are vectors or integers, compare Type* values as numbers.
218 /// 3. Types has same ID, so check whether they belongs to the next group:
219 /// * Void
220 /// * Float
221 /// * Double
222 /// * X86_FP80
223 /// * FP128
224 /// * PPC_FP128
225 /// * Label
226 /// * Metadata
227 /// If so - return 0, yes - we can treat these types as equal only because
228 /// their IDs are same.
229 /// 4. If Left and Right are pointers, return result of address space
230 /// comparison (numbers comparison). We can treat pointer types of same
231 /// address space as equal.
232 /// 5. If types are complex.
233 /// Then both Left and Right are to be expanded and their element types will
234 /// be checked with the same way. If we get Res != 0 on some stage, return it.
235 /// Otherwise return 0.
236 /// 6. For all other cases put llvm_unreachable.
237 int cmpType(Type *TyL, Type *TyR) const;
238
239 bool isEquivalentType(Type *Ty1, Type *Ty2) const {
240 return cmpType(Ty1, Ty2) == 0;
241 }
242
243 int cmpNumbers(uint64_t L, uint64_t R) const;
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000244
245 // The two functions undergoing comparison.
Nick Lewycky0464d1d2010-08-31 05:53:05 +0000246 const Function *F1, *F2;
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000247
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000248 const DataLayout *DL;
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000249
Nick Lewycky080ea932011-02-20 08:11:03 +0000250 DenseMap<const Value *, const Value *> id_map;
251 DenseSet<const Value *> seen_values;
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000252};
Nick Lewycky564fcca2011-01-28 07:36:21 +0000253
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000254}
255
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000256int FunctionComparator::cmpNumbers(uint64_t L, uint64_t R) const {
257 if (L < R) return -1;
258 if (L > R) return 1;
259 return 0;
260}
Stepan Dyatkovskiyabb85052013-11-26 16:11:03 +0000261
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000262/// cmpType - compares two types,
263/// defines total ordering among the types set.
264/// See method declaration comments for more details.
265int FunctionComparator::cmpType(Type *TyL, Type *TyR) const {
266
Stepan Dyatkovskiya53cf972014-03-14 08:48:52 +0000267 PointerType *PTyL = dyn_cast<PointerType>(TyL);
268 PointerType *PTyR = dyn_cast<PointerType>(TyR);
Stepan Dyatkovskiyabb85052013-11-26 16:11:03 +0000269
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000270 if (DL) {
Stepan Dyatkovskiya53cf972014-03-14 08:48:52 +0000271 if (PTyL && PTyL->getAddressSpace() == 0) TyL = DL->getIntPtrType(TyL);
272 if (PTyR && PTyR->getAddressSpace() == 0) TyR = DL->getIntPtrType(TyR);
Stepan Dyatkovskiyabb85052013-11-26 16:11:03 +0000273 }
274
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000275 if (TyL == TyR)
276 return 0;
Matt Arsenault5bcefab2013-11-10 01:44:37 +0000277
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000278 if (int Res = cmpNumbers(TyL->getTypeID(), TyR->getTypeID()))
279 return Res;
Nick Lewyckye04dc222009-06-12 08:04:51 +0000280
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000281 switch (TyL->getTypeID()) {
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000282 default:
283 llvm_unreachable("Unknown type!");
Duncan Sands408bb192010-07-07 07:48:00 +0000284 // Fall through in Release mode.
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000285 case Type::IntegerTyID:
Nick Lewyckyfb622f92011-01-26 08:50:18 +0000286 case Type::VectorTyID:
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000287 // TyL == TyR would have returned true earlier.
288 return cmpNumbers((uint64_t)TyL, (uint64_t)TyR);
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000289
Nick Lewyckye04dc222009-06-12 08:04:51 +0000290 case Type::VoidTyID:
291 case Type::FloatTyID:
292 case Type::DoubleTyID:
293 case Type::X86_FP80TyID:
294 case Type::FP128TyID:
295 case Type::PPC_FP128TyID:
296 case Type::LabelTyID:
297 case Type::MetadataTyID:
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000298 return 0;
Nick Lewyckye04dc222009-06-12 08:04:51 +0000299
Nick Lewyckye04dc222009-06-12 08:04:51 +0000300 case Type::PointerTyID: {
Stepan Dyatkovskiya53cf972014-03-14 08:48:52 +0000301 assert(PTyL && PTyR && "Both types must be pointers here.");
302 return cmpNumbers(PTyL->getAddressSpace(), PTyR->getAddressSpace());
Nick Lewyckye04dc222009-06-12 08:04:51 +0000303 }
304
305 case Type::StructTyID: {
Stepan Dyatkovskiya53cf972014-03-14 08:48:52 +0000306 StructType *STyL = cast<StructType>(TyL);
307 StructType *STyR = cast<StructType>(TyR);
308 if (STyL->getNumElements() != STyR->getNumElements())
309 return cmpNumbers(STyL->getNumElements(), STyR->getNumElements());
Nick Lewyckye04dc222009-06-12 08:04:51 +0000310
Stepan Dyatkovskiya53cf972014-03-14 08:48:52 +0000311 if (STyL->isPacked() != STyR->isPacked())
312 return cmpNumbers(STyL->isPacked(), STyR->isPacked());
Nick Lewyckye04dc222009-06-12 08:04:51 +0000313
Stepan Dyatkovskiya53cf972014-03-14 08:48:52 +0000314 for (unsigned i = 0, e = STyL->getNumElements(); i != e; ++i) {
315 if (int Res = cmpType(STyL->getElementType(i),
316 STyR->getElementType(i)))
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000317 return Res;
Nick Lewyckye04dc222009-06-12 08:04:51 +0000318 }
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000319 return 0;
Nick Lewyckye04dc222009-06-12 08:04:51 +0000320 }
321
322 case Type::FunctionTyID: {
Stepan Dyatkovskiya53cf972014-03-14 08:48:52 +0000323 FunctionType *FTyL = cast<FunctionType>(TyL);
324 FunctionType *FTyR = cast<FunctionType>(TyR);
325 if (FTyL->getNumParams() != FTyR->getNumParams())
326 return cmpNumbers(FTyL->getNumParams(), FTyR->getNumParams());
Nick Lewyckye04dc222009-06-12 08:04:51 +0000327
Stepan Dyatkovskiya53cf972014-03-14 08:48:52 +0000328 if (FTyL->isVarArg() != FTyR->isVarArg())
329 return cmpNumbers(FTyL->isVarArg(), FTyR->isVarArg());
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000330
Stepan Dyatkovskiya53cf972014-03-14 08:48:52 +0000331 if (int Res = cmpType(FTyL->getReturnType(), FTyR->getReturnType()))
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000332 return Res;
Nick Lewyckye04dc222009-06-12 08:04:51 +0000333
Stepan Dyatkovskiya53cf972014-03-14 08:48:52 +0000334 for (unsigned i = 0, e = FTyL->getNumParams(); i != e; ++i) {
335 if (int Res = cmpType(FTyL->getParamType(i), FTyR->getParamType(i)))
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000336 return Res;
Nick Lewyckye04dc222009-06-12 08:04:51 +0000337 }
Stepan Dyatkovskiyd8eb0bc2014-03-13 11:54:50 +0000338 return 0;
Nick Lewyckye04dc222009-06-12 08:04:51 +0000339 }
340
Nick Lewycky375efe32010-07-16 06:31:12 +0000341 case Type::ArrayTyID: {
Stepan Dyatkovskiya53cf972014-03-14 08:48:52 +0000342 ArrayType *ATyL = cast<ArrayType>(TyL);
343 ArrayType *ATyR = cast<ArrayType>(TyR);
344 if (ATyL->getNumElements() != ATyR->getNumElements())
345 return cmpNumbers(ATyL->getNumElements(), ATyR->getNumElements());
346 return cmpType(ATyL->getElementType(), ATyR->getElementType());
Nick Lewycky375efe32010-07-16 06:31:12 +0000347 }
Nick Lewyckye04dc222009-06-12 08:04:51 +0000348 }
349}
350
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000351// Determine whether the two operations are the same except that pointer-to-A
352// and pointer-to-B are equivalent. This should be kept in sync with
353// Instruction::isSameOperationAs.
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000354bool FunctionComparator::isEquivalentOperation(const Instruction *I1,
355 const Instruction *I2) const {
Nick Lewyckycb1a4c22011-02-06 05:04:00 +0000356 // Differences from Instruction::isSameOperationAs:
357 // * replace type comparison with calls to isEquivalentType.
358 // * we test for I->hasSameSubclassOptionalData (nuw/nsw/tail) at the top
359 // * because of the above, we don't test for the tail bit on calls later on
Nick Lewyckye04dc222009-06-12 08:04:51 +0000360 if (I1->getOpcode() != I2->getOpcode() ||
361 I1->getNumOperands() != I2->getNumOperands() ||
Dan Gohmanc8a27f22009-08-25 22:11:20 +0000362 !isEquivalentType(I1->getType(), I2->getType()) ||
363 !I1->hasSameSubclassOptionalData(I2))
Nick Lewyckye04dc222009-06-12 08:04:51 +0000364 return false;
365
366 // We have two instructions of identical opcode and #operands. Check to see
367 // if all operands are the same type
368 for (unsigned i = 0, e = I1->getNumOperands(); i != e; ++i)
369 if (!isEquivalentType(I1->getOperand(i)->getType(),
370 I2->getOperand(i)->getType()))
371 return false;
372
373 // Check special state that is a part of some instructions.
374 if (const LoadInst *LI = dyn_cast<LoadInst>(I1))
375 return LI->isVolatile() == cast<LoadInst>(I2)->isVolatile() &&
Eli Friedman211e3482011-08-15 22:16:46 +0000376 LI->getAlignment() == cast<LoadInst>(I2)->getAlignment() &&
377 LI->getOrdering() == cast<LoadInst>(I2)->getOrdering() &&
378 LI->getSynchScope() == cast<LoadInst>(I2)->getSynchScope();
Nick Lewyckye04dc222009-06-12 08:04:51 +0000379 if (const StoreInst *SI = dyn_cast<StoreInst>(I1))
380 return SI->isVolatile() == cast<StoreInst>(I2)->isVolatile() &&
Eli Friedman211e3482011-08-15 22:16:46 +0000381 SI->getAlignment() == cast<StoreInst>(I2)->getAlignment() &&
382 SI->getOrdering() == cast<StoreInst>(I2)->getOrdering() &&
383 SI->getSynchScope() == cast<StoreInst>(I2)->getSynchScope();
Nick Lewyckye04dc222009-06-12 08:04:51 +0000384 if (const CmpInst *CI = dyn_cast<CmpInst>(I1))
385 return CI->getPredicate() == cast<CmpInst>(I2)->getPredicate();
386 if (const CallInst *CI = dyn_cast<CallInst>(I1))
Nick Lewyckycb1a4c22011-02-06 05:04:00 +0000387 return CI->getCallingConv() == cast<CallInst>(I2)->getCallingConv() &&
Nick Lewycky91543442011-01-26 09:23:19 +0000388 CI->getAttributes() == cast<CallInst>(I2)->getAttributes();
Nick Lewyckye04dc222009-06-12 08:04:51 +0000389 if (const InvokeInst *CI = dyn_cast<InvokeInst>(I1))
390 return CI->getCallingConv() == cast<InvokeInst>(I2)->getCallingConv() &&
Nick Lewycky91543442011-01-26 09:23:19 +0000391 CI->getAttributes() == cast<InvokeInst>(I2)->getAttributes();
Eli Friedmanadec5872011-07-29 03:05:32 +0000392 if (const InsertValueInst *IVI = dyn_cast<InsertValueInst>(I1))
393 return IVI->getIndices() == cast<InsertValueInst>(I2)->getIndices();
394 if (const ExtractValueInst *EVI = dyn_cast<ExtractValueInst>(I1))
395 return EVI->getIndices() == cast<ExtractValueInst>(I2)->getIndices();
396 if (const FenceInst *FI = dyn_cast<FenceInst>(I1))
397 return FI->getOrdering() == cast<FenceInst>(I2)->getOrdering() &&
398 FI->getSynchScope() == cast<FenceInst>(I2)->getSynchScope();
399 if (const AtomicCmpXchgInst *CXI = dyn_cast<AtomicCmpXchgInst>(I1))
400 return CXI->isVolatile() == cast<AtomicCmpXchgInst>(I2)->isVolatile() &&
Tim Northovere94a5182014-03-11 10:48:52 +0000401 CXI->getSuccessOrdering() ==
402 cast<AtomicCmpXchgInst>(I2)->getSuccessOrdering() &&
403 CXI->getFailureOrdering() ==
404 cast<AtomicCmpXchgInst>(I2)->getFailureOrdering() &&
Eli Friedmanadec5872011-07-29 03:05:32 +0000405 CXI->getSynchScope() == cast<AtomicCmpXchgInst>(I2)->getSynchScope();
406 if (const AtomicRMWInst *RMWI = dyn_cast<AtomicRMWInst>(I1))
407 return RMWI->getOperation() == cast<AtomicRMWInst>(I2)->getOperation() &&
408 RMWI->isVolatile() == cast<AtomicRMWInst>(I2)->isVolatile() &&
409 RMWI->getOrdering() == cast<AtomicRMWInst>(I2)->getOrdering() &&
410 RMWI->getSynchScope() == cast<AtomicRMWInst>(I2)->getSynchScope();
Nick Lewyckye04dc222009-06-12 08:04:51 +0000411
412 return true;
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000413}
414
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000415// Determine whether two GEP operations perform the same underlying arithmetic.
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000416bool FunctionComparator::isEquivalentGEP(const GEPOperator *GEP1,
417 const GEPOperator *GEP2) {
Matt Arsenault5bcefab2013-11-10 01:44:37 +0000418 unsigned AS = GEP1->getPointerAddressSpace();
419 if (AS != GEP2->getPointerAddressSpace())
420 return false;
421
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000422 if (DL) {
Matt Arsenault5bcefab2013-11-10 01:44:37 +0000423 // When we have target data, we can reduce the GEP down to the value in bytes
424 // added to the address.
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000425 unsigned BitWidth = DL ? DL->getPointerSizeInBits(AS) : 1;
Matt Arsenault5bcefab2013-11-10 01:44:37 +0000426 APInt Offset1(BitWidth, 0), Offset2(BitWidth, 0);
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000427 if (GEP1->accumulateConstantOffset(*DL, Offset1) &&
428 GEP2->accumulateConstantOffset(*DL, Offset2)) {
Matt Arsenault5bcefab2013-11-10 01:44:37 +0000429 return Offset1 == Offset2;
430 }
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000431 }
432
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000433 if (GEP1->getPointerOperand()->getType() !=
434 GEP2->getPointerOperand()->getType())
435 return false;
436
437 if (GEP1->getNumOperands() != GEP2->getNumOperands())
438 return false;
439
440 for (unsigned i = 0, e = GEP1->getNumOperands(); i != e; ++i) {
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000441 if (!enumerate(GEP1->getOperand(i), GEP2->getOperand(i)))
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000442 return false;
443 }
444
445 return true;
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000446}
447
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000448// Compare two values used by the two functions under pair-wise comparison. If
449// this is the first time the values are seen, they're added to the mapping so
450// that we will detect mismatches on next use.
451bool FunctionComparator::enumerate(const Value *V1, const Value *V2) {
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000452 // Check for function @f1 referring to itself and function @f2 referring to
453 // itself, or referring to each other, or both referring to either of them.
454 // They're all equivalent if the two functions are otherwise equivalent.
Nick Lewyckyf216f69a2010-08-06 07:21:30 +0000455 if (V1 == F1 && V2 == F2)
456 return true;
457 if (V1 == F2 && V2 == F1)
458 return true;
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000459
Benjamin Kramer57e3d652011-01-27 20:30:54 +0000460 if (const Constant *C1 = dyn_cast<Constant>(V1)) {
Nick Lewycky13e04ae2011-01-27 08:38:19 +0000461 if (V1 == V2) return true;
Nick Lewycky13e04ae2011-01-27 08:38:19 +0000462 const Constant *C2 = dyn_cast<Constant>(V2);
463 if (!C2) return false;
464 // TODO: constant expressions with GEP or references to F1 or F2.
465 if (C1->isNullValue() && C2->isNullValue() &&
Bill Wendlingea6397f2012-07-19 00:11:40 +0000466 isEquivalentType(C1->getType(), C2->getType()))
Nick Lewycky13e04ae2011-01-27 08:38:19 +0000467 return true;
Nick Lewyckye2d46d32011-01-27 19:51:31 +0000468 // Try bitcasting C2 to C1's type. If the bitcast is legal and returns C1
469 // then they must have equal bit patterns.
Nick Lewycky13e04ae2011-01-27 08:38:19 +0000470 return C1->getType()->canLosslesslyBitCastTo(C2->getType()) &&
471 C1 == ConstantExpr::getBitCast(const_cast<Constant*>(C2), C1->getType());
472 }
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000473
Nick Lewyckyf8797fd2011-02-06 04:33:50 +0000474 if (isa<InlineAsm>(V1) || isa<InlineAsm>(V2))
475 return V1 == V2;
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000476
Nick Lewycky080ea932011-02-20 08:11:03 +0000477 // Check that V1 maps to V2. If we find a value that V1 maps to then we simply
478 // check whether it's equal to V2. When there is no mapping then we need to
479 // ensure that V2 isn't already equivalent to something else. For this
480 // purpose, we track the V2 values in a set.
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000481
Nick Lewycky080ea932011-02-20 08:11:03 +0000482 const Value *&map_elem = id_map[V1];
483 if (map_elem)
484 return map_elem == V2;
485 if (!seen_values.insert(V2).second)
486 return false;
487 map_elem = V2;
488 return true;
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000489}
490
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000491// Test whether two basic blocks have equivalent behaviour.
492bool FunctionComparator::compare(const BasicBlock *BB1, const BasicBlock *BB2) {
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000493 BasicBlock::const_iterator F1I = BB1->begin(), F1E = BB1->end();
494 BasicBlock::const_iterator F2I = BB2->begin(), F2E = BB2->end();
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000495
496 do {
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000497 if (!enumerate(F1I, F2I))
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000498 return false;
499
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000500 if (const GetElementPtrInst *GEP1 = dyn_cast<GetElementPtrInst>(F1I)) {
501 const GetElementPtrInst *GEP2 = dyn_cast<GetElementPtrInst>(F2I);
502 if (!GEP2)
503 return false;
Nick Lewycky47b71c52009-06-13 19:09:52 +0000504
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000505 if (!enumerate(GEP1->getPointerOperand(), GEP2->getPointerOperand()))
Nick Lewycky2b3cbac2010-05-13 06:45:13 +0000506 return false;
Nick Lewycky47b71c52009-06-13 19:09:52 +0000507
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000508 if (!isEquivalentGEP(GEP1, GEP2))
Nick Lewycky2b3cbac2010-05-13 06:45:13 +0000509 return false;
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000510 } else {
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000511 if (!isEquivalentOperation(F1I, F2I))
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000512 return false;
513
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000514 assert(F1I->getNumOperands() == F2I->getNumOperands());
515 for (unsigned i = 0, e = F1I->getNumOperands(); i != e; ++i) {
516 Value *OpF1 = F1I->getOperand(i);
517 Value *OpF2 = F2I->getOperand(i);
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000518
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000519 if (!enumerate(OpF1, OpF2))
Nick Lewycky2b3cbac2010-05-13 06:45:13 +0000520 return false;
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000521
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000522 if (OpF1->getValueID() != OpF2->getValueID() ||
523 !isEquivalentType(OpF1->getType(), OpF2->getType()))
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000524 return false;
525 }
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000526 }
527
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000528 ++F1I, ++F2I;
529 } while (F1I != F1E && F2I != F2E);
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000530
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000531 return F1I == F1E && F2I == F2E;
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000532}
533
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000534// Test whether the two functions have equivalent behaviour.
535bool FunctionComparator::compare() {
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000536 // We need to recheck everything, but check the things that weren't included
537 // in the hash first.
538
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000539 if (F1->getAttributes() != F2->getAttributes())
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000540 return false;
541
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000542 if (F1->hasGC() != F2->hasGC())
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000543 return false;
544
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000545 if (F1->hasGC() && F1->getGC() != F2->getGC())
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000546 return false;
547
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000548 if (F1->hasSection() != F2->hasSection())
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000549 return false;
550
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000551 if (F1->hasSection() && F1->getSection() != F2->getSection())
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000552 return false;
553
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000554 if (F1->isVarArg() != F2->isVarArg())
Nick Lewyckye04dc222009-06-12 08:04:51 +0000555 return false;
556
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000557 // TODO: if it's internal and only used in direct calls, we could handle this
558 // case too.
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000559 if (F1->getCallingConv() != F2->getCallingConv())
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000560 return false;
561
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000562 if (!isEquivalentType(F1->getFunctionType(), F2->getFunctionType()))
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000563 return false;
564
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000565 assert(F1->arg_size() == F2->arg_size() &&
Nick Lewycky71972d42010-09-07 01:42:10 +0000566 "Identically typed functions have different numbers of args!");
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000567
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000568 // Visit the arguments so that they get enumerated in the order they're
569 // passed in.
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000570 for (Function::const_arg_iterator f1i = F1->arg_begin(),
571 f2i = F2->arg_begin(), f1e = F1->arg_end(); f1i != f1e; ++f1i, ++f2i) {
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000572 if (!enumerate(f1i, f2i))
Nick Lewycky71972d42010-09-07 01:42:10 +0000573 llvm_unreachable("Arguments repeat!");
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000574 }
575
Nick Lewyckyfbd27572010-08-08 05:04:23 +0000576 // We do a CFG-ordered walk since the actual ordering of the blocks in the
577 // linked list is immaterial. Our walk starts at the entry block for both
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000578 // functions, then takes each block from each terminator in order. As an
579 // artifact, this also means that unreachable blocks are ignored.
580 SmallVector<const BasicBlock *, 8> F1BBs, F2BBs;
581 SmallSet<const BasicBlock *, 128> VisitedBBs; // in terms of F1.
Nick Lewyckyf216f69a2010-08-06 07:21:30 +0000582
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000583 F1BBs.push_back(&F1->getEntryBlock());
584 F2BBs.push_back(&F2->getEntryBlock());
Nick Lewyckyf216f69a2010-08-06 07:21:30 +0000585
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000586 VisitedBBs.insert(F1BBs[0]);
587 while (!F1BBs.empty()) {
588 const BasicBlock *F1BB = F1BBs.pop_back_val();
589 const BasicBlock *F2BB = F2BBs.pop_back_val();
Nick Lewyckyf216f69a2010-08-06 07:21:30 +0000590
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000591 if (!enumerate(F1BB, F2BB) || !compare(F1BB, F2BB))
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000592 return false;
Nick Lewyckyf216f69a2010-08-06 07:21:30 +0000593
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000594 const TerminatorInst *F1TI = F1BB->getTerminator();
595 const TerminatorInst *F2TI = F2BB->getTerminator();
Nick Lewyckyf216f69a2010-08-06 07:21:30 +0000596
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000597 assert(F1TI->getNumSuccessors() == F2TI->getNumSuccessors());
598 for (unsigned i = 0, e = F1TI->getNumSuccessors(); i != e; ++i) {
599 if (!VisitedBBs.insert(F1TI->getSuccessor(i)))
Nick Lewycky2b3cbac2010-05-13 06:45:13 +0000600 continue;
Nick Lewyckyf216f69a2010-08-06 07:21:30 +0000601
Nick Lewyckyf52bd9c2010-08-02 05:23:03 +0000602 F1BBs.push_back(F1TI->getSuccessor(i));
603 F2BBs.push_back(F2TI->getSuccessor(i));
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000604 }
605 }
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000606 return true;
607}
608
Nick Lewycky564fcca2011-01-28 07:36:21 +0000609namespace {
610
611/// MergeFunctions finds functions which will generate identical machine code,
612/// by considering all pointer types to be equivalent. Once identified,
613/// MergeFunctions will fold them by replacing a call to one to a call to a
614/// bitcast of the other.
615///
616class MergeFunctions : public ModulePass {
617public:
618 static char ID;
619 MergeFunctions()
620 : ModulePass(ID), HasGlobalAliases(false) {
621 initializeMergeFunctionsPass(*PassRegistry::getPassRegistry());
622 }
623
Craig Topper3e4c6972014-03-05 09:10:37 +0000624 bool runOnModule(Module &M) override;
Nick Lewycky564fcca2011-01-28 07:36:21 +0000625
626private:
627 typedef DenseSet<ComparableFunction> FnSetType;
628
629 /// A work queue of functions that may have been modified and should be
630 /// analyzed again.
631 std::vector<WeakVH> Deferred;
632
633 /// Insert a ComparableFunction into the FnSet, or merge it away if it's
634 /// equal to one that's already present.
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000635 bool insert(ComparableFunction &NewF);
Nick Lewycky564fcca2011-01-28 07:36:21 +0000636
637 /// Remove a Function from the FnSet and queue it up for a second sweep of
638 /// analysis.
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000639 void remove(Function *F);
Nick Lewycky564fcca2011-01-28 07:36:21 +0000640
641 /// Find the functions that use this Value and remove them from FnSet and
642 /// queue the functions.
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000643 void removeUsers(Value *V);
Nick Lewycky564fcca2011-01-28 07:36:21 +0000644
645 /// Replace all direct calls of Old with calls of New. Will bitcast New if
646 /// necessary to make types match.
647 void replaceDirectCallers(Function *Old, Function *New);
648
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000649 /// Merge two equivalent functions. Upon completion, G may be deleted, or may
650 /// be converted into a thunk. In either case, it should never be visited
651 /// again.
652 void mergeTwoFunctions(Function *F, Function *G);
Nick Lewycky564fcca2011-01-28 07:36:21 +0000653
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000654 /// Replace G with a thunk or an alias to F. Deletes G.
655 void writeThunkOrAlias(Function *F, Function *G);
Nick Lewycky564fcca2011-01-28 07:36:21 +0000656
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000657 /// Replace G with a simple tail call to bitcast(F). Also replace direct uses
658 /// of G with bitcast(F). Deletes G.
659 void writeThunk(Function *F, Function *G);
Nick Lewycky564fcca2011-01-28 07:36:21 +0000660
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000661 /// Replace G with an alias to F. Deletes G.
662 void writeAlias(Function *F, Function *G);
Nick Lewycky564fcca2011-01-28 07:36:21 +0000663
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000664 /// The set of all distinct functions. Use the insert() and remove() methods
665 /// to modify it.
Nick Lewycky564fcca2011-01-28 07:36:21 +0000666 FnSetType FnSet;
667
Micah Villmowcdfe20b2012-10-08 16:38:25 +0000668 /// DataLayout for more accurate GEP comparisons. May be NULL.
Rafael Espindola43b5a512014-02-25 14:24:11 +0000669 const DataLayout *DL;
Nick Lewycky564fcca2011-01-28 07:36:21 +0000670
671 /// Whether or not the target supports global aliases.
672 bool HasGlobalAliases;
673};
674
675} // end anonymous namespace
676
677char MergeFunctions::ID = 0;
678INITIALIZE_PASS(MergeFunctions, "mergefunc", "Merge Functions", false, false)
679
680ModulePass *llvm::createMergeFunctionsPass() {
681 return new MergeFunctions();
682}
683
684bool MergeFunctions::runOnModule(Module &M) {
685 bool Changed = false;
Rafael Espindola93512512014-02-25 17:30:31 +0000686 DataLayoutPass *DLP = getAnalysisIfAvailable<DataLayoutPass>();
687 DL = DLP ? &DLP->getDataLayout() : 0;
Nick Lewycky564fcca2011-01-28 07:36:21 +0000688
689 for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I) {
690 if (!I->isDeclaration() && !I->hasAvailableExternallyLinkage())
691 Deferred.push_back(WeakVH(I));
692 }
693 FnSet.resize(Deferred.size());
694
695 do {
696 std::vector<WeakVH> Worklist;
697 Deferred.swap(Worklist);
698
699 DEBUG(dbgs() << "size of module: " << M.size() << '\n');
700 DEBUG(dbgs() << "size of worklist: " << Worklist.size() << '\n');
701
702 // Insert only strong functions and merge them. Strong function merging
703 // always deletes one of them.
704 for (std::vector<WeakVH>::iterator I = Worklist.begin(),
705 E = Worklist.end(); I != E; ++I) {
706 if (!*I) continue;
707 Function *F = cast<Function>(*I);
708 if (!F->isDeclaration() && !F->hasAvailableExternallyLinkage() &&
709 !F->mayBeOverridden()) {
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000710 ComparableFunction CF = ComparableFunction(F, DL);
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000711 Changed |= insert(CF);
Nick Lewycky564fcca2011-01-28 07:36:21 +0000712 }
713 }
714
715 // Insert only weak functions and merge them. By doing these second we
716 // create thunks to the strong function when possible. When two weak
717 // functions are identical, we create a new strong function with two weak
718 // weak thunks to it which are identical but not mergable.
719 for (std::vector<WeakVH>::iterator I = Worklist.begin(),
720 E = Worklist.end(); I != E; ++I) {
721 if (!*I) continue;
722 Function *F = cast<Function>(*I);
723 if (!F->isDeclaration() && !F->hasAvailableExternallyLinkage() &&
724 F->mayBeOverridden()) {
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000725 ComparableFunction CF = ComparableFunction(F, DL);
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000726 Changed |= insert(CF);
Nick Lewycky564fcca2011-01-28 07:36:21 +0000727 }
728 }
729 DEBUG(dbgs() << "size of FnSet: " << FnSet.size() << '\n');
730 } while (!Deferred.empty());
731
732 FnSet.clear();
733
734 return Changed;
735}
736
737bool DenseMapInfo<ComparableFunction>::isEqual(const ComparableFunction &LHS,
738 const ComparableFunction &RHS) {
739 if (LHS.getFunc() == RHS.getFunc() &&
740 LHS.getHash() == RHS.getHash())
741 return true;
742 if (!LHS.getFunc() || !RHS.getFunc())
743 return false;
Nick Lewycky292e78c2011-02-09 06:32:02 +0000744
745 // One of these is a special "underlying pointer comparison only" object.
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000746 if (LHS.getDataLayout() == ComparableFunction::LookupOnly ||
747 RHS.getDataLayout() == ComparableFunction::LookupOnly)
Nick Lewycky292e78c2011-02-09 06:32:02 +0000748 return false;
749
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000750 assert(LHS.getDataLayout() == RHS.getDataLayout() &&
Nick Lewycky564fcca2011-01-28 07:36:21 +0000751 "Comparing functions for different targets");
752
Rafael Espindola37dc9e12014-02-21 00:06:31 +0000753 return FunctionComparator(LHS.getDataLayout(), LHS.getFunc(),
Nick Lewyckya46c8982011-02-02 05:31:01 +0000754 RHS.getFunc()).compare();
Nick Lewycky564fcca2011-01-28 07:36:21 +0000755}
756
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000757// Replace direct callers of Old with New.
Nick Lewyckyf1cec162011-01-25 08:56:50 +0000758void MergeFunctions::replaceDirectCallers(Function *Old, Function *New) {
759 Constant *BitcastNew = ConstantExpr::getBitCast(New, Old->getType());
Chandler Carruthcdf47882014-03-09 03:16:01 +0000760 for (auto UI = Old->use_begin(), UE = Old->use_end(); UI != UE;) {
761 Use *U = &*UI;
Nick Lewyckyf1cec162011-01-25 08:56:50 +0000762 ++UI;
Chandler Carruthcdf47882014-03-09 03:16:01 +0000763 CallSite CS(U->getUser());
764 if (CS && CS.isCallee(U)) {
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000765 remove(CS.getInstruction()->getParent()->getParent());
Chandler Carruthcdf47882014-03-09 03:16:01 +0000766 U->set(BitcastNew);
Nick Lewyckyf1cec162011-01-25 08:56:50 +0000767 }
768 }
769}
770
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000771// Replace G with an alias to F if possible, or else a thunk to F. Deletes G.
772void MergeFunctions::writeThunkOrAlias(Function *F, Function *G) {
Nick Lewyckyf1cec162011-01-25 08:56:50 +0000773 if (HasGlobalAliases && G->hasUnnamedAddr()) {
774 if (G->hasExternalLinkage() || G->hasLocalLinkage() ||
775 G->hasWeakLinkage()) {
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000776 writeAlias(F, G);
Nick Lewyckyf1cec162011-01-25 08:56:50 +0000777 return;
778 }
779 }
780
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000781 writeThunk(F, G);
Nick Lewyckyf1cec162011-01-25 08:56:50 +0000782}
783
Stepan Dyatkovskiydc2c4b42013-09-17 09:36:11 +0000784// Helper for writeThunk,
785// Selects proper bitcast operation,
Alp Tokercb402912014-01-24 17:20:08 +0000786// but a bit simpler then CastInst::getCastOpcode.
Stepan Dyatkovskiydc2c4b42013-09-17 09:36:11 +0000787static Value* createCast(IRBuilder<false> &Builder, Value *V, Type *DestTy) {
788 Type *SrcTy = V->getType();
789 if (SrcTy->isIntegerTy() && DestTy->isPointerTy())
790 return Builder.CreateIntToPtr(V, DestTy);
791 else if (SrcTy->isPointerTy() && DestTy->isIntegerTy())
792 return Builder.CreatePtrToInt(V, DestTy);
793 else
794 return Builder.CreateBitCast(V, DestTy);
795}
796
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000797// Replace G with a simple tail call to bitcast(F). Also replace direct uses
798// of G with bitcast(F). Deletes G.
799void MergeFunctions::writeThunk(Function *F, Function *G) {
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000800 if (!G->mayBeOverridden()) {
801 // Redirect direct callers of G to F.
Nick Lewyckyf1cec162011-01-25 08:56:50 +0000802 replaceDirectCallers(G, F);
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000803 }
804
Nick Lewycky71972d42010-09-07 01:42:10 +0000805 // If G was internal then we may have replaced all uses of G with F. If so,
Nick Lewyckyf216f69a2010-08-06 07:21:30 +0000806 // stop here and delete G. There's no need for a thunk.
807 if (G->hasLocalLinkage() && G->use_empty()) {
808 G->eraseFromParent();
809 return;
810 }
811
Nick Lewycky25675ac2009-06-12 15:56:56 +0000812 Function *NewG = Function::Create(G->getFunctionType(), G->getLinkage(), "",
813 G->getParent());
Owen Anderson55f1c092009-08-13 21:58:54 +0000814 BasicBlock *BB = BasicBlock::Create(F->getContext(), "", NewG);
Nick Lewyckyfbd27572010-08-08 05:04:23 +0000815 IRBuilder<false> Builder(BB);
Nick Lewyckye04dc222009-06-12 08:04:51 +0000816
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000817 SmallVector<Value *, 16> Args;
Nick Lewyckye04dc222009-06-12 08:04:51 +0000818 unsigned i = 0;
Chris Lattner229907c2011-07-18 04:54:35 +0000819 FunctionType *FFTy = F->getFunctionType();
Nick Lewyckye04dc222009-06-12 08:04:51 +0000820 for (Function::arg_iterator AI = NewG->arg_begin(), AE = NewG->arg_end();
821 AI != AE; ++AI) {
Stepan Dyatkovskiydc2c4b42013-09-17 09:36:11 +0000822 Args.push_back(createCast(Builder, (Value*)AI, FFTy->getParamType(i)));
Nick Lewyckye04dc222009-06-12 08:04:51 +0000823 ++i;
824 }
825
Jay Foad5bd375a2011-07-15 08:37:34 +0000826 CallInst *CI = Builder.CreateCall(F, Args);
Nick Lewyckye04dc222009-06-12 08:04:51 +0000827 CI->setTailCall();
Nick Lewyckyd5bf51f2009-06-12 16:04:00 +0000828 CI->setCallingConv(F->getCallingConv());
Benjamin Kramerccce8ba2010-01-05 13:12:22 +0000829 if (NewG->getReturnType()->isVoidTy()) {
Nick Lewyckyfbd27572010-08-08 05:04:23 +0000830 Builder.CreateRetVoid();
Nick Lewyckye04dc222009-06-12 08:04:51 +0000831 } else {
Stepan Dyatkovskiydc2c4b42013-09-17 09:36:11 +0000832 Builder.CreateRet(createCast(Builder, CI, NewG->getReturnType()));
Nick Lewyckye04dc222009-06-12 08:04:51 +0000833 }
834
835 NewG->copyAttributesFrom(G);
836 NewG->takeName(G);
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000837 removeUsers(G);
Nick Lewyckye04dc222009-06-12 08:04:51 +0000838 G->replaceAllUsesWith(NewG);
839 G->eraseFromParent();
Nick Lewycky71972d42010-09-07 01:42:10 +0000840
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000841 DEBUG(dbgs() << "writeThunk: " << NewG->getName() << '\n');
Nick Lewycky71972d42010-09-07 01:42:10 +0000842 ++NumThunksWritten;
Nick Lewyckye04dc222009-06-12 08:04:51 +0000843}
844
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000845// Replace G with an alias to F and delete G.
846void MergeFunctions::writeAlias(Function *F, Function *G) {
Nick Lewyckyf1cec162011-01-25 08:56:50 +0000847 Constant *BitcastF = ConstantExpr::getBitCast(F, G->getType());
848 GlobalAlias *GA = new GlobalAlias(G->getType(), G->getLinkage(), "",
849 BitcastF, G->getParent());
850 F->setAlignment(std::max(F->getAlignment(), G->getAlignment()));
851 GA->takeName(G);
852 GA->setVisibility(G->getVisibility());
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000853 removeUsers(G);
Nick Lewyckyf1cec162011-01-25 08:56:50 +0000854 G->replaceAllUsesWith(GA);
855 G->eraseFromParent();
856
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000857 DEBUG(dbgs() << "writeAlias: " << GA->getName() << '\n');
Nick Lewyckyf1cec162011-01-25 08:56:50 +0000858 ++NumAliasesWritten;
859}
860
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000861// Merge two equivalent functions. Upon completion, Function G is deleted.
862void MergeFunctions::mergeTwoFunctions(Function *F, Function *G) {
Nick Lewycky71972d42010-09-07 01:42:10 +0000863 if (F->mayBeOverridden()) {
864 assert(G->mayBeOverridden());
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000865
Nick Lewyckyf1cec162011-01-25 08:56:50 +0000866 if (HasGlobalAliases) {
867 // Make them both thunks to the same internal function.
868 Function *H = Function::Create(F->getFunctionType(), F->getLinkage(), "",
869 F->getParent());
870 H->copyAttributesFrom(F);
871 H->takeName(F);
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000872 removeUsers(F);
Nick Lewyckyf1cec162011-01-25 08:56:50 +0000873 F->replaceAllUsesWith(H);
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000874
Nick Lewyckyf1cec162011-01-25 08:56:50 +0000875 unsigned MaxAlignment = std::max(G->getAlignment(), H->getAlignment());
Nick Lewyckyf0067b62010-08-09 21:03:28 +0000876
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000877 writeAlias(F, G);
878 writeAlias(F, H);
Nick Lewyckyd3c6dfe2010-05-13 05:48:45 +0000879
Nick Lewyckyf1cec162011-01-25 08:56:50 +0000880 F->setAlignment(MaxAlignment);
881 F->setLinkage(GlobalValue::PrivateLinkage);
882 } else {
883 // We can't merge them. Instead, pick one and update all direct callers
884 // to call it and hope that we improve the instruction cache hit rate.
885 replaceDirectCallers(G, F);
886 }
Nick Lewycky71972d42010-09-07 01:42:10 +0000887
888 ++NumDoubleWeak;
Nick Lewyckyf216f69a2010-08-06 07:21:30 +0000889 } else {
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000890 writeThunkOrAlias(F, G);
Nick Lewycky3c6d34a2008-11-02 16:46:26 +0000891 }
892
Nick Lewyckye04dc222009-06-12 08:04:51 +0000893 ++NumFunctionsMerged;
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000894}
895
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000896// Insert a ComparableFunction into the FnSet, or merge it away if equal to one
897// that was already inserted.
898bool MergeFunctions::insert(ComparableFunction &NewF) {
Nick Lewycky00959372010-09-05 08:22:49 +0000899 std::pair<FnSetType::iterator, bool> Result = FnSet.insert(NewF);
Nick Lewycky292e78c2011-02-09 06:32:02 +0000900 if (Result.second) {
901 DEBUG(dbgs() << "Inserting as unique: " << NewF.getFunc()->getName() << '\n');
Nick Lewycky00959372010-09-05 08:22:49 +0000902 return false;
Nick Lewycky292e78c2011-02-09 06:32:02 +0000903 }
Nick Lewyckyfbd27572010-08-08 05:04:23 +0000904
Nick Lewyckyf3a07ec2010-09-05 09:00:32 +0000905 const ComparableFunction &OldF = *Result.first;
Nick Lewycky00959372010-09-05 08:22:49 +0000906
Matt Arsenault517d84e2013-10-01 18:05:30 +0000907 // Don't merge tiny functions, since it can just end up making the function
908 // larger.
909 // FIXME: Should still merge them if they are unnamed_addr and produce an
910 // alias.
911 if (NewF.getFunc()->size() == 1) {
912 if (NewF.getFunc()->front().size() <= 2) {
913 DEBUG(dbgs() << NewF.getFunc()->getName()
914 << " is to small to bother merging\n");
915 return false;
916 }
917 }
918
Nick Lewycky00959372010-09-05 08:22:49 +0000919 // Never thunk a strong function to a weak function.
Nick Lewycky71972d42010-09-07 01:42:10 +0000920 assert(!OldF.getFunc()->mayBeOverridden() ||
921 NewF.getFunc()->mayBeOverridden());
Nick Lewycky00959372010-09-05 08:22:49 +0000922
Nick Lewyckyf3a07ec2010-09-05 09:00:32 +0000923 DEBUG(dbgs() << " " << OldF.getFunc()->getName() << " == "
924 << NewF.getFunc()->getName() << '\n');
Nick Lewycky00959372010-09-05 08:22:49 +0000925
Nick Lewyckyf3a07ec2010-09-05 09:00:32 +0000926 Function *DeleteF = NewF.getFunc();
927 NewF.release();
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000928 mergeTwoFunctions(OldF.getFunc(), DeleteF);
Nick Lewycky00959372010-09-05 08:22:49 +0000929 return true;
Nick Lewyckyfbd27572010-08-08 05:04:23 +0000930}
Nick Lewyckyd01d42e2008-11-02 05:52:50 +0000931
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000932// Remove a function from FnSet. If it was already in FnSet, add it to Deferred
933// so that we'll look at it in the next round.
934void MergeFunctions::remove(Function *F) {
Nick Lewycky292e78c2011-02-09 06:32:02 +0000935 // We need to make sure we remove F, not a function "equal" to F per the
936 // function equality comparator.
937 //
938 // The special "lookup only" ComparableFunction bypasses the expensive
939 // function comparison in favour of a pointer comparison on the underlying
940 // Function*'s.
941 ComparableFunction CF = ComparableFunction(F, ComparableFunction::LookupOnly);
Nick Lewycky4e250c82011-01-02 02:46:33 +0000942 if (FnSet.erase(CF)) {
Nick Lewycky292e78c2011-02-09 06:32:02 +0000943 DEBUG(dbgs() << "Removed " << F->getName() << " from set and deferred it.\n");
Nick Lewycky4e250c82011-01-02 02:46:33 +0000944 Deferred.push_back(F);
Nick Lewycky0464d1d2010-08-31 05:53:05 +0000945 }
Nick Lewycky4e250c82011-01-02 02:46:33 +0000946}
Nick Lewycky00959372010-09-05 08:22:49 +0000947
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000948// For each instruction used by the value, remove() the function that contains
949// the instruction. This should happen right before a call to RAUW.
950void MergeFunctions::removeUsers(Value *V) {
Nick Lewycky5361b842011-01-02 19:16:44 +0000951 std::vector<Value *> Worklist;
952 Worklist.push_back(V);
953 while (!Worklist.empty()) {
954 Value *V = Worklist.back();
955 Worklist.pop_back();
956
Chandler Carruthcdf47882014-03-09 03:16:01 +0000957 for (User *U : V->users()) {
958 if (Instruction *I = dyn_cast<Instruction>(U)) {
Nick Lewyckycfb284c2011-01-28 08:43:14 +0000959 remove(I->getParent()->getParent());
Chandler Carruthcdf47882014-03-09 03:16:01 +0000960 } else if (isa<GlobalValue>(U)) {
Nick Lewycky540f9532011-01-15 10:16:23 +0000961 // do nothing
Chandler Carruthcdf47882014-03-09 03:16:01 +0000962 } else if (Constant *C = dyn_cast<Constant>(U)) {
963 for (User *UU : C->users())
964 Worklist.push_back(UU);
Nick Lewycky5361b842011-01-02 19:16:44 +0000965 }
Nick Lewycky00959372010-09-05 08:22:49 +0000966 }
Nick Lewycky0464d1d2010-08-31 05:53:05 +0000967 }
Nick Lewycky00959372010-09-05 08:22:49 +0000968}