blob: 0e6b6c5ead5726a80a89998e50a607d7f15f6f57 [file] [log] [blame]
Chris Lattnere4dbb1a2002-11-20 20:47:41 +00001//===- ValueMapper.cpp - Interface shared by lib/Transforms/Utils ---------===//
Misha Brukmanb1c93172005-04-21 23:48:37 +00002//
John Criswell482202a2003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanb1c93172005-04-21 23:48:37 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattnere4dbb1a2002-11-20 20:47:41 +00009//
10// This file defines the MapValue function, which is shared by various parts of
11// the lib/Transforms/Utils library.
12//
13//===----------------------------------------------------------------------===//
14
Dan Gohmana2095032010-08-24 18:50:07 +000015#include "llvm/Transforms/Utils/ValueMapper.h"
Duncan P. N. Exon Smith0fdaf8c2016-04-17 19:40:20 +000016#include "llvm/ADT/DenseSet.h"
David Blaikie348de692015-04-23 21:36:23 +000017#include "llvm/IR/CallSite.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000018#include "llvm/IR/Constants.h"
Duncan P. N. Exon Smith5ab2be02016-04-17 03:58:21 +000019#include "llvm/IR/DebugInfoMetadata.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/Function.h"
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +000021#include "llvm/IR/GlobalAlias.h"
22#include "llvm/IR/GlobalVariable.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000023#include "llvm/IR/InlineAsm.h"
24#include "llvm/IR/Instructions.h"
25#include "llvm/IR/Metadata.h"
David Blaikie88208842015-08-21 20:16:51 +000026#include "llvm/IR/Operator.h"
Chris Lattnerdf3c3422004-01-09 06:12:26 +000027using namespace llvm;
Chris Lattnere4dbb1a2002-11-20 20:47:41 +000028
Chris Lattnerb1ed91f2011-07-09 17:41:24 +000029// Out of line method to get vtable etc for class.
Craig Topper2a6a08b2012-09-26 06:36:36 +000030void ValueMapTypeRemapper::anchor() {}
James Molloyf6f121e2013-05-28 15:17:05 +000031void ValueMaterializer::anchor() {}
Chris Lattnerb1ed91f2011-07-09 17:41:24 +000032
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +000033namespace {
34
Duncan P. N. Exon Smithc6065e32016-04-03 20:17:45 +000035/// A basic block used in a BlockAddress whose function body is not yet
36/// materialized.
37struct DelayedBasicBlock {
38 BasicBlock *OldBB;
39 std::unique_ptr<BasicBlock> TempBB;
Duncan P. N. Exon Smitha9978562016-04-03 20:42:21 +000040
41 // Explicit move for MSVC.
42 DelayedBasicBlock(DelayedBasicBlock &&X)
43 : OldBB(std::move(X.OldBB)), TempBB(std::move(X.TempBB)) {}
44 DelayedBasicBlock &operator=(DelayedBasicBlock &&X) {
45 OldBB = std::move(X.OldBB);
46 TempBB = std::move(X.TempBB);
47 return *this;
48 }
49
Duncan P. N. Exon Smithc6065e32016-04-03 20:17:45 +000050 DelayedBasicBlock(const BlockAddress &Old)
51 : OldBB(Old.getBasicBlock()),
52 TempBB(BasicBlock::Create(Old.getContext())) {}
53};
54
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +000055struct WorklistEntry {
56 enum EntryKind {
57 MapGlobalInit,
58 MapAppendingVar,
59 MapGlobalAliasee,
60 RemapFunction
61 };
62 struct GVInitTy {
63 GlobalVariable *GV;
64 Constant *Init;
65 };
66 struct AppendingGVTy {
67 GlobalVariable *GV;
68 Constant *InitPrefix;
69 };
70 struct GlobalAliaseeTy {
71 GlobalAlias *GA;
72 Constant *Aliasee;
73 };
74
75 unsigned Kind : 2;
76 unsigned MCID : 29;
77 unsigned AppendingGVIsOldCtorDtor : 1;
78 unsigned AppendingGVNumNewMembers;
79 union {
80 GVInitTy GVInit;
81 AppendingGVTy AppendingGV;
82 GlobalAliaseeTy GlobalAliasee;
83 Function *RemapF;
84 } Data;
85};
86
87struct MappingContext {
88 ValueToValueMapTy *VM;
89 ValueMaterializer *Materializer = nullptr;
90
91 /// Construct a MappingContext with a value map and materializer.
92 explicit MappingContext(ValueToValueMapTy &VM,
93 ValueMaterializer *Materializer = nullptr)
94 : VM(&VM), Materializer(Materializer) {}
95};
96
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +000097class MDNodeMapper;
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +000098class Mapper {
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +000099 friend class MDNodeMapper;
100
Duncan P. N. Exon Smith0fdaf8c2016-04-17 19:40:20 +0000101#ifndef NDEBUG
102 DenseSet<GlobalValue *> AlreadyScheduled;
103#endif
104
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000105 RemapFlags Flags;
106 ValueMapTypeRemapper *TypeMapper;
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +0000107 unsigned CurrentMCID = 0;
108 SmallVector<MappingContext, 2> MCs;
109 SmallVector<WorklistEntry, 4> Worklist;
Duncan P. N. Exon Smithc6065e32016-04-03 20:17:45 +0000110 SmallVector<DelayedBasicBlock, 1> DelayedBBs;
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +0000111 SmallVector<Constant *, 16> AppendingInits;
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000112
113public:
114 Mapper(ValueToValueMapTy &VM, RemapFlags Flags,
115 ValueMapTypeRemapper *TypeMapper, ValueMaterializer *Materializer)
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +0000116 : Flags(Flags), TypeMapper(TypeMapper),
117 MCs(1, MappingContext(VM, Materializer)) {}
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000118
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +0000119 /// ValueMapper should explicitly call \a flush() before destruction.
120 ~Mapper() { assert(!hasWorkToDo() && "Expected to be flushed"); }
121
122 bool hasWorkToDo() const { return !Worklist.empty(); }
123
124 unsigned
125 registerAlternateMappingContext(ValueToValueMapTy &VM,
126 ValueMaterializer *Materializer = nullptr) {
127 MCs.push_back(MappingContext(VM, Materializer));
128 return MCs.size() - 1;
129 }
130
131 void addFlags(RemapFlags Flags);
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000132
133 Value *mapValue(const Value *V);
Duncan P. N. Exon Smitha574e7a2016-04-08 19:09:34 +0000134 void remapInstruction(Instruction *I);
Duncan P. N. Exon Smithbb2c3e12016-04-08 19:26:32 +0000135 void remapFunction(Function &F);
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000136
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +0000137 Constant *mapConstant(const Constant *C) {
138 return cast_or_null<Constant>(mapValue(C));
139 }
140
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000141 /// Map metadata.
142 ///
143 /// Find the mapping for MD. Guarantees that the return will be resolved
144 /// (not an MDNode, or MDNode::isResolved() returns true).
145 Metadata *mapMetadata(const Metadata *MD);
146
Duncan P. N. Exon Smith4ec55f82016-04-08 03:13:22 +0000147 // Map LocalAsMetadata, which never gets memoized.
148 //
149 // If the referenced local is not mapped, the principled return is nullptr.
150 // However, optimization passes sometimes move metadata operands *before* the
151 // SSA values they reference. To prevent crashes in \a RemapInstruction(),
152 // return "!{}" when RF_IgnoreMissingLocals is not set.
153 //
154 // \note Adding a mapping for LocalAsMetadata is unsupported. Add a mapping
155 // to the value map for the SSA value in question instead.
156 //
157 // FIXME: Once we have a verifier check for forward references to SSA values
158 // through metadata operands, always return nullptr on unmapped locals.
159 Metadata *mapLocalAsMetadata(const LocalAsMetadata &LAM);
160
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +0000161 void scheduleMapGlobalInitializer(GlobalVariable &GV, Constant &Init,
162 unsigned MCID);
163 void scheduleMapAppendingVariable(GlobalVariable &GV, Constant *InitPrefix,
164 bool IsOldCtorDtor,
165 ArrayRef<Constant *> NewMembers,
166 unsigned MCID);
167 void scheduleMapGlobalAliasee(GlobalAlias &GA, Constant &Aliasee,
168 unsigned MCID);
169 void scheduleRemapFunction(Function &F, unsigned MCID);
170
171 void flush();
172
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000173private:
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +0000174 void mapGlobalInitializer(GlobalVariable &GV, Constant &Init);
175 void mapAppendingVariable(GlobalVariable &GV, Constant *InitPrefix,
176 bool IsOldCtorDtor,
177 ArrayRef<Constant *> NewMembers);
178 void mapGlobalAliasee(GlobalAlias &GA, Constant &Aliasee);
179 void remapFunction(Function &F, ValueToValueMapTy &VM);
180
181 ValueToValueMapTy &getVM() { return *MCs[CurrentMCID].VM; }
182 ValueMaterializer *getMaterializer() { return MCs[CurrentMCID].Materializer; }
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000183
Duncan P. N. Exon Smithc6065e32016-04-03 20:17:45 +0000184 Value *mapBlockAddress(const BlockAddress &BA);
185
Duncan P. N. Exon Smithae8bd4b2016-04-03 19:31:01 +0000186 /// Map metadata that doesn't require visiting operands.
187 Optional<Metadata *> mapSimpleMetadata(const Metadata *MD);
188
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000189 Metadata *mapToMetadata(const Metadata *Key, Metadata *Val);
190 Metadata *mapToSelf(const Metadata *MD);
191};
192
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000193class MDNodeMapper {
194 Mapper &M;
195
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000196 /// Data about a node in \a UniquedGraph.
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000197 struct Data {
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000198 bool HasChanged = false;
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000199 unsigned ID = ~0u;
200 TempMDNode Placeholder;
Duncan P. N. Exon Smithf880d352016-04-05 21:07:01 +0000201
Duncan P. N. Exon Smith818e5f32016-04-05 21:25:33 +0000202 Data() {}
203 Data(Data &&X)
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000204 : HasChanged(std::move(X.HasChanged)), ID(std::move(X.ID)),
205 Placeholder(std::move(X.Placeholder)) {}
Duncan P. N. Exon Smith818e5f32016-04-05 21:25:33 +0000206 Data &operator=(Data &&X) {
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000207 HasChanged = std::move(X.HasChanged);
Duncan P. N. Exon Smith818e5f32016-04-05 21:25:33 +0000208 ID = std::move(X.ID);
209 Placeholder = std::move(X.Placeholder);
210 return *this;
211 }
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000212 };
213
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000214 /// A graph of uniqued nodes.
215 struct UniquedGraph {
216 SmallDenseMap<const Metadata *, Data, 32> Info; // Node properties.
217 SmallVector<MDNode *, 16> POT; // Post-order traversal.
218
219 /// Propagate changed operands through the post-order traversal.
220 ///
221 /// Iteratively update \a Data::HasChanged for each node based on \a
222 /// Data::HasChanged of its operands, until fixed point.
223 void propagateChanges();
224
225 /// Get a forward reference to a node to use as an operand.
226 Metadata &getFwdReference(MDNode &Op);
227 };
228
229 /// Worklist of distinct nodes whose operands need to be remapped.
230 SmallVector<MDNode *, 16> DistinctWorklist;
231
232 // Storage for a UniquedGraph.
233 SmallDenseMap<const Metadata *, Data, 32> InfoStorage;
234 SmallVector<MDNode *, 16> POTStorage;
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000235
236public:
237 MDNodeMapper(Mapper &M) : M(M) {}
238
239 /// Map a metadata node (and its transitive operands).
240 ///
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000241 /// Map all the (unmapped) nodes in the subgraph under \c N. The iterative
242 /// algorithm handles distinct nodes and uniqued node subgraphs using
243 /// different strategies.
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000244 ///
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000245 /// Distinct nodes are immediately mapped and added to \a DistinctWorklist
246 /// using \a mapDistinctNode(). Their mapping can always be computed
247 /// immediately without visiting operands, even if their operands change.
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000248 ///
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000249 /// The mapping for uniqued nodes depends on whether their operands change.
250 /// \a mapTopLevelUniquedNode() traverses the transitive uniqued subgraph of
251 /// a node to calculate uniqued node mappings in bulk. Distinct leafs are
252 /// added to \a DistinctWorklist with \a mapDistinctNode().
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000253 ///
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000254 /// After mapping \c N itself, this function remaps the operands of the
255 /// distinct nodes in \a DistinctWorklist until the entire subgraph under \c
256 /// N has been mapped.
257 Metadata *map(const MDNode &N);
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000258
259private:
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000260 /// Map a top-level uniqued node and the uniqued subgraph underneath it.
261 ///
262 /// This builds up a post-order traversal of the (unmapped) uniqued subgraph
263 /// underneath \c FirstN and calculates the nodes' mapping. Each node uses
264 /// the identity mapping (\a Mapper::mapToSelf()) as long as all of its
265 /// operands uses the identity mapping.
266 ///
267 /// The algorithm works as follows:
268 ///
269 /// 1. \a createPOT(): traverse the uniqued subgraph under \c FirstN and
270 /// save the post-order traversal in the given \a UniquedGraph, tracking
271 /// nodes' operands change.
272 ///
273 /// 2. \a UniquedGraph::propagateChanges(): propagate changed operands
274 /// through the \a UniquedGraph until fixed point, following the rule
275 /// that if a node changes, any node that references must also change.
276 ///
277 /// 3. \a mapNodesInPOT(): map the uniqued nodes, creating new uniqued nodes
278 /// (referencing new operands) where necessary.
279 Metadata *mapTopLevelUniquedNode(const MDNode &FirstN);
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000280
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000281 /// Try to map the operand of an \a MDNode.
282 ///
283 /// If \c Op is already mapped, return the mapping. If it's not an \a
284 /// MDNode, compute and return the mapping. If it's a distinct \a MDNode,
285 /// return the result of \a mapDistinctNode().
286 ///
287 /// \return None if \c Op is an unmapped uniqued \a MDNode.
288 /// \post getMappedOp(Op) only returns None if this returns None.
289 Optional<Metadata *> tryToMapOperand(const Metadata *Op);
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000290
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000291 /// Map a distinct node.
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000292 ///
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000293 /// Return the mapping for the distinct node \c N, saving the result in \a
294 /// DistinctWorklist for later remapping.
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000295 ///
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000296 /// \pre \c N is not yet mapped.
297 /// \pre \c N.isDistinct().
298 MDNode *mapDistinctNode(const MDNode &N);
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000299
300 /// Get a previously mapped node.
301 Optional<Metadata *> getMappedOp(const Metadata *Op) const;
302
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000303 /// Create a post-order traversal of an unmapped uniqued node subgraph.
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000304 ///
305 /// This traverses the metadata graph deeply enough to map \c FirstN. It
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000306 /// uses \a tryToMapOperand() (via \a Mapper::mapSimplifiedNode()), so any
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000307 /// metadata that has already been mapped will not be part of the POT.
308 ///
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000309 /// Each node that has a changed operand from outside the graph (e.g., a
310 /// distinct node, an already-mapped uniqued node, or \a ConstantAsMetadata)
311 /// is marked with \a Data::HasChanged.
312 ///
313 /// \return \c true if any nodes in \c G have \a Data::HasChanged.
314 /// \post \c G.POT is a post-order traversal ending with \c FirstN.
315 /// \post \a Data::hasChanged in \c G.Info indicates whether any node needs
316 /// to change because of operands outside the graph.
317 bool createPOT(UniquedGraph &G, const MDNode &FirstN);
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000318
Duncan P. N. Exon Smith71480bd2016-04-22 02:33:06 +0000319 /// Visit the operands of a uniqued node in the POT.
Duncan P. N. Exon Smith0ab44db2016-04-21 02:34:36 +0000320 ///
Duncan P. N. Exon Smith71480bd2016-04-22 02:33:06 +0000321 /// Visit the operands in the range from \c I to \c E, returning the first
322 /// uniqued node we find that isn't yet in \c G. \c I is always advanced to
323 /// where to continue the loop through the operands.
324 ///
325 /// This sets \c HasChanged if any of the visited operands change.
326 MDNode *visitOperands(UniquedGraph &G, MDNode::op_iterator &I,
327 MDNode::op_iterator E, bool &HasChanged);
Duncan P. N. Exon Smith0ab44db2016-04-21 02:34:36 +0000328
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000329 /// Map all the nodes in the given uniqued graph.
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000330 ///
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000331 /// This visits all the nodes in \c G in post-order, using the identity
332 /// mapping or creating a new node depending on \a Data::HasChanged.
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000333 ///
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000334 /// \pre \a getMappedOp() returns None for nodes in \c G, but not for any of
335 /// their operands outside of \c G.
336 /// \pre \a Data::HasChanged is true for a node in \c G iff any of its
337 /// operands have changed.
338 /// \post \a getMappedOp() returns the mapped node for every node in \c G.
339 void mapNodesInPOT(UniquedGraph &G);
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000340
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000341 /// Remap a node's operands using the given functor.
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000342 ///
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000343 /// Iterate through the operands of \c N and update them in place using \c
344 /// mapOperand.
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000345 ///
346 /// \pre N.isDistinct() or N.isTemporary().
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000347 template <class OperandMapper>
348 void remapOperands(MDNode &N, OperandMapper mapOperand);
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000349};
350
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000351} // end namespace
352
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000353Value *Mapper::mapValue(const Value *V) {
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000354 ValueToValueMapTy::iterator I = getVM().find(V);
355
Chris Lattner43f8d162011-01-08 08:15:20 +0000356 // If the value already exists in the map, use it.
Duncan P. N. Exon Smith3d555ac2016-04-17 18:53:24 +0000357 if (I != getVM().end()) {
358 assert(I->second && "Unexpected null mapping");
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000359 return I->second;
Duncan P. N. Exon Smith3d555ac2016-04-17 18:53:24 +0000360 }
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000361
James Molloyf6f121e2013-05-28 15:17:05 +0000362 // If we have a materializer and it can materialize a value, use that.
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +0000363 if (auto *Materializer = getMaterializer()) {
Mehdi Aminicc8c1072016-05-25 21:03:21 +0000364 if (Value *NewV = Materializer->materialize(const_cast<Value *>(V))) {
365 getVM()[V] = NewV;
366 return NewV;
Rafael Espindola19b52382015-11-27 20:28:19 +0000367 }
James Molloyf6f121e2013-05-28 15:17:05 +0000368 }
369
Dan Gohmanca26f792010-08-26 15:41:53 +0000370 // Global values do not need to be seeded into the VM if they
371 // are using the identity mapping.
Teresa Johnson83d03dd2015-11-15 14:50:14 +0000372 if (isa<GlobalValue>(V)) {
Duncan P. N. Exon Smithfdccad92016-04-07 01:22:45 +0000373 if (Flags & RF_NullMapMissingGlobalValues)
Teresa Johnson83d03dd2015-11-15 14:50:14 +0000374 return nullptr;
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000375 return getVM()[V] = const_cast<Value *>(V);
Teresa Johnson83d03dd2015-11-15 14:50:14 +0000376 }
377
Chris Lattner8b4cf5e2011-07-15 23:18:40 +0000378 if (const InlineAsm *IA = dyn_cast<InlineAsm>(V)) {
379 // Inline asm may need *type* remapping.
380 FunctionType *NewTy = IA->getFunctionType();
381 if (TypeMapper) {
382 NewTy = cast<FunctionType>(TypeMapper->remapType(NewTy));
383
384 if (NewTy != IA->getFunctionType())
385 V = InlineAsm::get(NewTy, IA->getAsmString(), IA->getConstraintString(),
386 IA->hasSideEffects(), IA->isAlignStack());
387 }
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000388
389 return getVM()[V] = const_cast<Value *>(V);
Chris Lattner8b4cf5e2011-07-15 23:18:40 +0000390 }
Chris Lattner6aa34b02003-10-06 15:23:43 +0000391
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000392 if (const auto *MDV = dyn_cast<MetadataAsValue>(V)) {
393 const Metadata *MD = MDV->getMetadata();
Duncan P. N. Exon Smith4ec55f82016-04-08 03:13:22 +0000394
395 if (auto *LAM = dyn_cast<LocalAsMetadata>(MD)) {
396 // Look through to grab the local value.
397 if (Value *LV = mapValue(LAM->getValue())) {
398 if (V == LAM->getValue())
399 return const_cast<Value *>(V);
400 return MetadataAsValue::get(V->getContext(), ValueAsMetadata::get(LV));
401 }
402
403 // FIXME: always return nullptr once Verifier::verifyDominatesUse()
404 // ensures metadata operands only reference defined SSA values.
405 return (Flags & RF_IgnoreMissingLocals)
406 ? nullptr
407 : MetadataAsValue::get(V->getContext(),
408 MDTuple::get(V->getContext(), None));
409 }
410
Chris Lattner43f8d162011-01-08 08:15:20 +0000411 // If this is a module-level metadata and we know that nothing at the module
412 // level is changing, then use an identity mapping.
Duncan P. N. Exon Smith4ec55f82016-04-08 03:13:22 +0000413 if (Flags & RF_NoModuleLevelChanges)
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000414 return getVM()[V] = const_cast<Value *>(V);
Dan Gohmanca26f792010-08-26 15:41:53 +0000415
Duncan P. N. Exon Smith4ec55f82016-04-08 03:13:22 +0000416 // Map the metadata and turn it into a value.
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000417 auto *MappedMD = mapMetadata(MD);
Duncan P. N. Exon Smith4ec55f82016-04-08 03:13:22 +0000418 if (MD == MappedMD)
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000419 return getVM()[V] = const_cast<Value *>(V);
420 return getVM()[V] = MetadataAsValue::get(V->getContext(), MappedMD);
Victor Hernandez5fa88d42010-01-20 05:49:59 +0000421 }
422
Chris Lattner43f8d162011-01-08 08:15:20 +0000423 // Okay, this either must be a constant (which may or may not be mappable) or
424 // is something that is not in the mapping table.
Chris Lattnercf5a47d2009-10-29 00:28:30 +0000425 Constant *C = const_cast<Constant*>(dyn_cast<Constant>(V));
Craig Topperf40110f2014-04-25 05:29:35 +0000426 if (!C)
427 return nullptr;
Duncan P. N. Exon Smithc6065e32016-04-03 20:17:45 +0000428
429 if (BlockAddress *BA = dyn_cast<BlockAddress>(C))
430 return mapBlockAddress(*BA);
431
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000432 // Otherwise, we have some other constant to remap. Start by checking to see
433 // if all operands have an identity remapping.
434 unsigned OpNo = 0, NumOperands = C->getNumOperands();
Craig Topperf40110f2014-04-25 05:29:35 +0000435 Value *Mapped = nullptr;
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000436 for (; OpNo != NumOperands; ++OpNo) {
437 Value *Op = C->getOperand(OpNo);
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000438 Mapped = mapValue(Op);
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000439 if (Mapped != C) break;
Chris Lattnercf5a47d2009-10-29 00:28:30 +0000440 }
Junmo Park95529872016-05-08 23:22:58 +0000441
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000442 // See if the type mapper wants to remap the type as well.
443 Type *NewTy = C->getType();
444 if (TypeMapper)
445 NewTy = TypeMapper->remapType(NewTy);
Chris Lattner43f8d162011-01-08 08:15:20 +0000446
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000447 // If the result type and all operands match up, then just insert an identity
448 // mapping.
449 if (OpNo == NumOperands && NewTy == C->getType())
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000450 return getVM()[V] = C;
451
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000452 // Okay, we need to create a new constant. We've already processed some or
453 // all of the operands, set them all up now.
454 SmallVector<Constant*, 8> Ops;
455 Ops.reserve(NumOperands);
456 for (unsigned j = 0; j != OpNo; ++j)
457 Ops.push_back(cast<Constant>(C->getOperand(j)));
Junmo Park95529872016-05-08 23:22:58 +0000458
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000459 // If one of the operands mismatch, push it and the other mapped operands.
460 if (OpNo != NumOperands) {
461 Ops.push_back(cast<Constant>(Mapped));
Junmo Park95529872016-05-08 23:22:58 +0000462
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000463 // Map the rest of the operands that aren't processed yet.
464 for (++OpNo; OpNo != NumOperands; ++OpNo)
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000465 Ops.push_back(cast<Constant>(mapValue(C->getOperand(OpNo))));
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000466 }
David Blaikie88208842015-08-21 20:16:51 +0000467 Type *NewSrcTy = nullptr;
468 if (TypeMapper)
469 if (auto *GEPO = dyn_cast<GEPOperator>(C))
470 NewSrcTy = TypeMapper->remapType(GEPO->getSourceElementType());
471
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000472 if (ConstantExpr *CE = dyn_cast<ConstantExpr>(C))
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000473 return getVM()[V] = CE->getWithOperands(Ops, NewTy, false, NewSrcTy);
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000474 if (isa<ConstantArray>(C))
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000475 return getVM()[V] = ConstantArray::get(cast<ArrayType>(NewTy), Ops);
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000476 if (isa<ConstantStruct>(C))
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000477 return getVM()[V] = ConstantStruct::get(cast<StructType>(NewTy), Ops);
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000478 if (isa<ConstantVector>(C))
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000479 return getVM()[V] = ConstantVector::get(Ops);
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000480 // If this is a no-operand constant, it must be because the type was remapped.
481 if (isa<UndefValue>(C))
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000482 return getVM()[V] = UndefValue::get(NewTy);
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000483 if (isa<ConstantAggregateZero>(C))
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000484 return getVM()[V] = ConstantAggregateZero::get(NewTy);
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000485 assert(isa<ConstantPointerNull>(C));
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000486 return getVM()[V] = ConstantPointerNull::get(cast<PointerType>(NewTy));
Chris Lattnere4dbb1a2002-11-20 20:47:41 +0000487}
Brian Gaeke6182acf2004-05-19 09:08:12 +0000488
Duncan P. N. Exon Smithc6065e32016-04-03 20:17:45 +0000489Value *Mapper::mapBlockAddress(const BlockAddress &BA) {
490 Function *F = cast<Function>(mapValue(BA.getFunction()));
491
492 // F may not have materialized its initializer. In that case, create a
493 // dummy basic block for now, and replace it once we've materialized all
494 // the initializers.
495 BasicBlock *BB;
Duncan P. N. Exon Smith6f2e3742016-04-06 02:25:12 +0000496 if (F->empty()) {
Duncan P. N. Exon Smithc6065e32016-04-03 20:17:45 +0000497 DelayedBBs.push_back(DelayedBasicBlock(BA));
498 BB = DelayedBBs.back().TempBB.get();
Duncan P. N. Exon Smith6f2e3742016-04-06 02:25:12 +0000499 } else {
500 BB = cast_or_null<BasicBlock>(mapValue(BA.getBasicBlock()));
Duncan P. N. Exon Smithc6065e32016-04-03 20:17:45 +0000501 }
502
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000503 return getVM()[&BA] = BlockAddress::get(F, BB ? BB : BA.getBasicBlock());
Duncan P. N. Exon Smithc6065e32016-04-03 20:17:45 +0000504}
505
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000506Metadata *Mapper::mapToMetadata(const Metadata *Key, Metadata *Val) {
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000507 getVM().MD()[Key].reset(Val);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000508 return Val;
509}
510
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000511Metadata *Mapper::mapToSelf(const Metadata *MD) {
512 return mapToMetadata(MD, const_cast<Metadata *>(MD));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000513}
514
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000515Optional<Metadata *> MDNodeMapper::tryToMapOperand(const Metadata *Op) {
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000516 if (!Op)
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000517 return nullptr;
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000518
519 if (Optional<Metadata *> MappedOp = M.mapSimpleMetadata(Op)) {
Simon Atanasyane12bef72016-04-16 11:49:40 +0000520#ifndef NDEBUG
Duncan P. N. Exon Smitha77d0732016-04-16 03:39:44 +0000521 if (auto *CMD = dyn_cast<ConstantAsMetadata>(Op))
522 assert((!*MappedOp || M.getVM().count(CMD->getValue()) ||
523 M.getVM().getMappedMD(Op)) &&
524 "Expected Value to be memoized");
525 else
526 assert((isa<MDString>(Op) || M.getVM().getMappedMD(Op)) &&
527 "Expected result to be memoized");
Simon Atanasyane12bef72016-04-16 11:49:40 +0000528#endif
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000529 return *MappedOp;
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000530 }
531
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000532 const MDNode &N = *cast<MDNode>(Op);
533 if (N.isDistinct())
534 return mapDistinctNode(N);
535 return None;
536}
537
538MDNode *MDNodeMapper::mapDistinctNode(const MDNode &N) {
539 assert(N.isDistinct() && "Expected a distinct node");
540 assert(!M.getVM().getMappedMD(&N) && "Expected an unmapped node");
541 DistinctWorklist.push_back(cast<MDNode>(
542 (M.Flags & RF_MoveDistinctMDs)
543 ? M.mapToSelf(&N)
544 : M.mapToMetadata(&N, MDNode::replaceWithDistinct(N.clone()))));
545 return DistinctWorklist.back();
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000546}
547
Duncan P. N. Exon Smitha77d0732016-04-16 03:39:44 +0000548static ConstantAsMetadata *wrapConstantAsMetadata(const ConstantAsMetadata &CMD,
549 Value *MappedV) {
550 if (CMD.getValue() == MappedV)
551 return const_cast<ConstantAsMetadata *>(&CMD);
552 return MappedV ? ConstantAsMetadata::getConstant(MappedV) : nullptr;
553}
554
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000555Optional<Metadata *> MDNodeMapper::getMappedOp(const Metadata *Op) const {
Duncan P. N. Exon Smith077affd2015-01-14 01:01:19 +0000556 if (!Op)
557 return nullptr;
Teresa Johnson0e7c82c2015-12-18 17:51:37 +0000558
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000559 if (Optional<Metadata *> MappedOp = M.getVM().getMappedMD(Op))
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000560 return *MappedOp;
Duncan P. N. Exon Smith077affd2015-01-14 01:01:19 +0000561
Duncan P. N. Exon Smithe05ff7c2016-04-08 18:47:02 +0000562 if (isa<MDString>(Op))
563 return const_cast<Metadata *>(Op);
564
Duncan P. N. Exon Smitha77d0732016-04-16 03:39:44 +0000565 if (auto *CMD = dyn_cast<ConstantAsMetadata>(Op))
566 return wrapConstantAsMetadata(*CMD, M.getVM().lookup(CMD->getValue()));
567
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000568 return None;
Duncan P. N. Exon Smith077affd2015-01-14 01:01:19 +0000569}
570
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000571Metadata &MDNodeMapper::UniquedGraph::getFwdReference(MDNode &Op) {
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000572 auto Where = Info.find(&Op);
573 assert(Where != Info.end() && "Expected a valid reference");
574
575 auto &OpD = Where->second;
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000576 if (!OpD.HasChanged)
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000577 return Op;
578
579 // Lazily construct a temporary node.
580 if (!OpD.Placeholder)
581 OpD.Placeholder = Op.clone();
582
583 return *OpD.Placeholder;
584}
585
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000586template <class OperandMapper>
587void MDNodeMapper::remapOperands(MDNode &N, OperandMapper mapOperand) {
588 assert(!N.isUniqued() && "Expected distinct or temporary nodes");
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000589 for (unsigned I = 0, E = N.getNumOperands(); I != E; ++I) {
590 Metadata *Old = N.getOperand(I);
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000591 Metadata *New = mapOperand(Old);
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000592
593 if (Old != New)
594 N.replaceOperandWith(I, New);
595 }
596}
597
Duncan P. N. Exon Smith71480bd2016-04-22 02:33:06 +0000598namespace {
599/// An entry in the worklist for the post-order traversal.
600struct POTWorklistEntry {
601 MDNode *N; ///< Current node.
602 MDNode::op_iterator Op; ///< Current operand of \c N.
603
604 /// Keep a flag of whether operands have changed in the worklist to avoid
605 /// hitting the map in \a UniquedGraph.
606 bool HasChanged = false;
607
608 POTWorklistEntry(MDNode &N) : N(&N), Op(N.op_begin()) {}
609};
610} // end namespace
611
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000612bool MDNodeMapper::createPOT(UniquedGraph &G, const MDNode &FirstN) {
613 assert(G.Info.empty() && "Expected a fresh traversal");
614 assert(FirstN.isUniqued() && "Expected uniqued node in POT");
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000615
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000616 // Construct a post-order traversal of the uniqued subgraph under FirstN.
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000617 bool AnyChanges = false;
Duncan P. N. Exon Smith0ab44db2016-04-21 02:34:36 +0000618 SmallVector<POTWorklistEntry, 16> Worklist;
619 Worklist.push_back(POTWorklistEntry(const_cast<MDNode &>(FirstN)));
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000620 (void)G.Info[&FirstN];
621 while (!Worklist.empty()) {
Duncan P. N. Exon Smith71480bd2016-04-22 02:33:06 +0000622 // Start or continue the traversal through the this node's operands.
623 auto &WE = Worklist.back();
624 if (MDNode *N = visitOperands(G, WE.Op, WE.N->op_end(), WE.HasChanged)) {
625 // Push a new node to traverse first.
626 Worklist.push_back(POTWorklistEntry(*N));
Duncan P. N. Exon Smith0ab44db2016-04-21 02:34:36 +0000627 continue;
Duncan P. N. Exon Smith71480bd2016-04-22 02:33:06 +0000628 }
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000629
Duncan P. N. Exon Smith71480bd2016-04-22 02:33:06 +0000630 // Push the node onto the POT.
631 assert(WE.N->isUniqued() && "Expected only uniqued nodes");
632 assert(WE.Op == WE.N->op_end() && "Expected to visit all operands");
633 auto &D = G.Info[WE.N];
634 AnyChanges |= D.HasChanged = WE.HasChanged;
Duncan P. N. Exon Smith0ab44db2016-04-21 02:34:36 +0000635 D.ID = G.POT.size();
Duncan P. N. Exon Smith71480bd2016-04-22 02:33:06 +0000636 G.POT.push_back(WE.N);
637
638 // Pop the node off the worklist.
639 Worklist.pop_back();
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000640 }
641 return AnyChanges;
642}
643
Duncan P. N. Exon Smith71480bd2016-04-22 02:33:06 +0000644MDNode *MDNodeMapper::visitOperands(UniquedGraph &G, MDNode::op_iterator &I,
645 MDNode::op_iterator E, bool &HasChanged) {
646 while (I != E) {
647 Metadata *Op = *I++; // Increment even on early return.
648 if (Optional<Metadata *> MappedOp = tryToMapOperand(Op)) {
649 // Check if the operand changes.
650 HasChanged |= Op != *MappedOp;
651 continue;
652 }
653
654 // A uniqued metadata node.
655 MDNode &OpN = *cast<MDNode>(Op);
656 assert(OpN.isUniqued() &&
657 "Only uniqued operands cannot be mapped immediately");
658 if (G.Info.insert(std::make_pair(&OpN, Data())).second)
659 return &OpN; // This is a new one. Return it.
Duncan P. N. Exon Smith0ab44db2016-04-21 02:34:36 +0000660 }
Duncan P. N. Exon Smith71480bd2016-04-22 02:33:06 +0000661 return nullptr;
Duncan P. N. Exon Smith0ab44db2016-04-21 02:34:36 +0000662}
663
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000664void MDNodeMapper::UniquedGraph::propagateChanges() {
665 bool AnyChanges;
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000666 do {
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000667 AnyChanges = false;
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000668 for (MDNode *N : POT) {
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000669 auto &D = Info[N];
670 if (D.HasChanged)
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000671 continue;
672
673 if (!llvm::any_of(N->operands(), [&](const Metadata *Op) {
674 auto Where = Info.find(Op);
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000675 return Where != Info.end() && Where->second.HasChanged;
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000676 }))
677 continue;
678
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000679 AnyChanges = D.HasChanged = true;
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000680 }
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000681 } while (AnyChanges);
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000682}
683
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000684void MDNodeMapper::mapNodesInPOT(UniquedGraph &G) {
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000685 // Construct uniqued nodes, building forward references as necessary.
Duncan P. N. Exon Smith11f60fd2016-04-13 22:54:01 +0000686 SmallVector<MDNode *, 16> CyclicNodes;
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000687 for (auto *N : G.POT) {
688 auto &D = G.Info[N];
689 if (!D.HasChanged) {
690 // The node hasn't changed.
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000691 M.mapToSelf(N);
692 continue;
693 }
694
Duncan P. N. Exon Smith0cb5c342016-04-16 21:09:53 +0000695 // Remember whether this node had a placeholder.
696 bool HadPlaceholder(D.Placeholder);
697
698 // Clone the uniqued node and remap the operands.
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000699 TempMDNode ClonedN = D.Placeholder ? std::move(D.Placeholder) : N->clone();
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000700 remapOperands(*ClonedN, [this, &D, &G](Metadata *Old) {
701 if (Optional<Metadata *> MappedOp = getMappedOp(Old))
702 return *MappedOp;
703 assert(G.Info[Old].ID > D.ID && "Expected a forward reference");
704 return &G.getFwdReference(*cast<MDNode>(Old));
705 });
706
Duncan P. N. Exon Smith0cb5c342016-04-16 21:09:53 +0000707 auto *NewN = MDNode::replaceWithUniqued(std::move(ClonedN));
708 M.mapToMetadata(N, NewN);
709
710 // Nodes that were referenced out of order in the POT are involved in a
711 // uniquing cycle.
712 if (HadPlaceholder)
713 CyclicNodes.push_back(NewN);
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000714 }
715
716 // Resolve cycles.
Duncan P. N. Exon Smith11f60fd2016-04-13 22:54:01 +0000717 for (auto *N : CyclicNodes)
Teresa Johnsonb703c772016-03-29 18:24:19 +0000718 if (!N->isResolved())
719 N->resolveCycles();
Duncan P. N. Exon Smithc9fdbdb2015-08-07 00:39:26 +0000720}
721
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000722Metadata *MDNodeMapper::map(const MDNode &N) {
723 assert(DistinctWorklist.empty() && "MDNodeMapper::map is not recursive");
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000724 assert(!(M.Flags & RF_NoModuleLevelChanges) &&
725 "MDNodeMapper::map assumes module-level changes");
Duncan P. N. Exon Smith14cc94c2015-01-14 01:03:05 +0000726
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000727 // Require resolved nodes whenever metadata might be remapped.
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000728 assert(N.isResolved() && "Unexpected unresolved node");
Duncan P. N. Exon Smith920df5c2015-02-04 19:44:34 +0000729
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000730 Metadata *MappedN =
731 N.isUniqued() ? mapTopLevelUniquedNode(N) : mapDistinctNode(N);
732 while (!DistinctWorklist.empty())
733 remapOperands(*DistinctWorklist.pop_back_val(), [this](Metadata *Old) {
734 if (Optional<Metadata *> MappedOp = tryToMapOperand(Old))
735 return *MappedOp;
736 return mapTopLevelUniquedNode(*cast<MDNode>(Old));
737 });
738 return MappedN;
739}
740
741Metadata *MDNodeMapper::mapTopLevelUniquedNode(const MDNode &FirstN) {
742 assert(FirstN.isUniqued() && "Expected uniqued node");
743
744 // Create a post-order traversal of uniqued nodes under FirstN.
745 UniquedGraph G;
746 if (!createPOT(G, FirstN)) {
747 // Return early if no nodes have changed.
748 for (const MDNode *N : G.POT)
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000749 M.mapToSelf(N);
750 return &const_cast<MDNode &>(FirstN);
Duncan P. N. Exon Smith706f37e2015-08-04 06:42:31 +0000751 }
Duncan P. N. Exon Smith0dcffe22015-01-19 22:39:07 +0000752
Duncan P. N. Exon Smith694ab4e2016-04-16 21:44:08 +0000753 // Update graph with all nodes that have changed.
754 G.propagateChanges();
755
756 // Map all the nodes in the graph.
757 mapNodesInPOT(G);
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000758
759 // Return the original node, remapped.
760 return *getMappedOp(&FirstN);
Duncan P. N. Exon Smithb5579892015-01-14 01:06:21 +0000761}
762
Duncan P. N. Exon Smitha77d0732016-04-16 03:39:44 +0000763namespace {
764
765struct MapMetadataDisabler {
766 ValueToValueMapTy &VM;
767
768 MapMetadataDisabler(ValueToValueMapTy &VM) : VM(VM) {
769 VM.disableMapMetadata();
770 }
771 ~MapMetadataDisabler() { VM.enableMapMetadata(); }
772};
773
774} // end namespace
775
Duncan P. N. Exon Smithae8bd4b2016-04-03 19:31:01 +0000776Optional<Metadata *> Mapper::mapSimpleMetadata(const Metadata *MD) {
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000777 // If the value already exists in the map, use it.
Duncan P. N. Exon Smithdb6861e2016-04-15 23:18:43 +0000778 if (Optional<Metadata *> NewMD = getVM().getMappedMD(MD))
Duncan P. N. Exon Smithda4a56d2016-04-02 17:04:38 +0000779 return *NewMD;
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000780
781 if (isa<MDString>(MD))
Duncan P. N. Exon Smithe05ff7c2016-04-08 18:47:02 +0000782 return const_cast<Metadata *>(MD);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000783
Duncan P. N. Exon Smith4ec55f82016-04-08 03:13:22 +0000784 // This is a module-level metadata. If nothing at the module level is
785 // changing, use an identity mapping.
786 if ((Flags & RF_NoModuleLevelChanges))
Duncan P. N. Exon Smith69341e62016-04-08 18:49:36 +0000787 return const_cast<Metadata *>(MD);
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000788
Duncan P. N. Exon Smith4ec55f82016-04-08 03:13:22 +0000789 if (auto *CMD = dyn_cast<ConstantAsMetadata>(MD)) {
Duncan P. N. Exon Smith756e1c32016-04-03 20:54:51 +0000790 // Disallow recursion into metadata mapping through mapValue.
Duncan P. N. Exon Smitha77d0732016-04-16 03:39:44 +0000791 MapMetadataDisabler MMD(getVM());
Duncan P. N. Exon Smith756e1c32016-04-03 20:54:51 +0000792
Duncan P. N. Exon Smitha77d0732016-04-16 03:39:44 +0000793 // Don't memoize ConstantAsMetadata. Instead of lasting until the
794 // LLVMContext is destroyed, they can be deleted when the GlobalValue they
795 // reference is destructed. These aren't super common, so the extra
796 // indirection isn't that expensive.
797 return wrapConstantAsMetadata(*CMD, mapValue(CMD->getValue()));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000798 }
799
Duncan P. N. Exon Smithae8bd4b2016-04-03 19:31:01 +0000800 assert(isa<MDNode>(MD) && "Expected a metadata node");
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000801
Duncan P. N. Exon Smithae8bd4b2016-04-03 19:31:01 +0000802 return None;
803}
804
Duncan P. N. Exon Smith4ec55f82016-04-08 03:13:22 +0000805Metadata *Mapper::mapLocalAsMetadata(const LocalAsMetadata &LAM) {
806 // Lookup the mapping for the value itself, and return the appropriate
807 // metadata.
808 if (Value *V = mapValue(LAM.getValue())) {
809 if (V == LAM.getValue())
810 return const_cast<LocalAsMetadata *>(&LAM);
811 return ValueAsMetadata::get(V);
812 }
813
814 // FIXME: always return nullptr once Verifier::verifyDominatesUse() ensures
815 // metadata operands only reference defined SSA values.
816 return (Flags & RF_IgnoreMissingLocals)
817 ? nullptr
818 : MDTuple::get(LAM.getContext(), None);
819}
820
Duncan P. N. Exon Smith829dc872016-04-03 19:06:24 +0000821Metadata *Mapper::mapMetadata(const Metadata *MD) {
Duncan P. N. Exon Smith4ec55f82016-04-08 03:13:22 +0000822 assert(MD && "Expected valid metadata");
823 assert(!isa<LocalAsMetadata>(MD) && "Unexpected local metadata");
824
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000825 if (Optional<Metadata *> NewMD = mapSimpleMetadata(MD))
826 return *NewMD;
Duncan P. N. Exon Smith920df5c2015-02-04 19:44:34 +0000827
Duncan P. N. Exon Smithea7df772016-04-05 20:23:21 +0000828 return MDNodeMapper(*this).map(*cast<MDNode>(MD));
Duncan P. N. Exon Smith5bf8fef2014-12-09 18:38:53 +0000829}
830
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +0000831void Mapper::flush() {
832 // Flush out the worklist of global values.
833 while (!Worklist.empty()) {
834 WorklistEntry E = Worklist.pop_back_val();
835 CurrentMCID = E.MCID;
836 switch (E.Kind) {
837 case WorklistEntry::MapGlobalInit:
838 E.Data.GVInit.GV->setInitializer(mapConstant(E.Data.GVInit.Init));
839 break;
840 case WorklistEntry::MapAppendingVar: {
841 unsigned PrefixSize = AppendingInits.size() - E.AppendingGVNumNewMembers;
842 mapAppendingVariable(*E.Data.AppendingGV.GV,
843 E.Data.AppendingGV.InitPrefix,
844 E.AppendingGVIsOldCtorDtor,
845 makeArrayRef(AppendingInits).slice(PrefixSize));
846 AppendingInits.resize(PrefixSize);
847 break;
848 }
849 case WorklistEntry::MapGlobalAliasee:
850 E.Data.GlobalAliasee.GA->setAliasee(
851 mapConstant(E.Data.GlobalAliasee.Aliasee));
852 break;
853 case WorklistEntry::RemapFunction:
854 remapFunction(*E.Data.RemapF);
855 break;
856 }
Duncan P. N. Exon Smithc6065e32016-04-03 20:17:45 +0000857 }
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +0000858 CurrentMCID = 0;
Duncan P. N. Exon Smithc6065e32016-04-03 20:17:45 +0000859
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +0000860 // Finish logic for block addresses now that all global values have been
861 // handled.
Duncan P. N. Exon Smithc6065e32016-04-03 20:17:45 +0000862 while (!DelayedBBs.empty()) {
863 DelayedBasicBlock DBB = DelayedBBs.pop_back_val();
864 BasicBlock *BB = cast_or_null<BasicBlock>(mapValue(DBB.OldBB));
865 DBB.TempBB->replaceAllUsesWith(BB ? BB : DBB.OldBB);
866 }
Duncan P. N. Exon Smitha574e7a2016-04-08 19:09:34 +0000867}
868
869void Mapper::remapInstruction(Instruction *I) {
Dan Gohmanca26f792010-08-26 15:41:53 +0000870 // Remap operands.
Davide Italiano96d2a1c2016-04-14 18:07:32 +0000871 for (Use &Op : I->operands()) {
872 Value *V = mapValue(Op);
Chris Lattner43f8d162011-01-08 08:15:20 +0000873 // If we aren't ignoring missing entries, assert that something happened.
Craig Topperf40110f2014-04-25 05:29:35 +0000874 if (V)
Davide Italiano96d2a1c2016-04-14 18:07:32 +0000875 Op = V;
Chris Lattner43f8d162011-01-08 08:15:20 +0000876 else
Duncan P. N. Exon Smithda68cbc2016-04-07 00:26:43 +0000877 assert((Flags & RF_IgnoreMissingLocals) &&
Chris Lattner43f8d162011-01-08 08:15:20 +0000878 "Referenced value not in value map!");
Brian Gaeke6182acf2004-05-19 09:08:12 +0000879 }
Daniel Dunbar95fe13c2010-08-26 03:48:08 +0000880
Jay Foad61ea0e42011-06-23 09:09:15 +0000881 // Remap phi nodes' incoming blocks.
882 if (PHINode *PN = dyn_cast<PHINode>(I)) {
883 for (unsigned i = 0, e = PN->getNumIncomingValues(); i != e; ++i) {
Duncan P. N. Exon Smithadcebdf2016-04-08 19:17:13 +0000884 Value *V = mapValue(PN->getIncomingBlock(i));
Jay Foad61ea0e42011-06-23 09:09:15 +0000885 // If we aren't ignoring missing entries, assert that something happened.
Craig Topperf40110f2014-04-25 05:29:35 +0000886 if (V)
Jay Foad61ea0e42011-06-23 09:09:15 +0000887 PN->setIncomingBlock(i, cast<BasicBlock>(V));
888 else
Duncan P. N. Exon Smithda68cbc2016-04-07 00:26:43 +0000889 assert((Flags & RF_IgnoreMissingLocals) &&
Jay Foad61ea0e42011-06-23 09:09:15 +0000890 "Referenced block not in value map!");
891 }
892 }
893
Devang Patelc0174042011-08-04 20:02:18 +0000894 // Remap attached metadata.
Duncan P. N. Exon Smithde36e802014-11-11 21:30:22 +0000895 SmallVector<std::pair<unsigned, MDNode *>, 4> MDs;
Devang Patelc0174042011-08-04 20:02:18 +0000896 I->getAllMetadata(MDs);
Duncan P. N. Exon Smithe08bcbf2015-08-03 03:27:12 +0000897 for (const auto &MI : MDs) {
898 MDNode *Old = MI.second;
Duncan P. N. Exon Smitha574e7a2016-04-08 19:09:34 +0000899 MDNode *New = cast_or_null<MDNode>(mapMetadata(Old));
Dan Gohmanca26f792010-08-26 15:41:53 +0000900 if (New != Old)
Duncan P. N. Exon Smithe08bcbf2015-08-03 03:27:12 +0000901 I->setMetadata(MI.first, New);
Dan Gohmanca26f792010-08-26 15:41:53 +0000902 }
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +0000903
David Blaikie348de692015-04-23 21:36:23 +0000904 if (!TypeMapper)
905 return;
906
Chris Lattnerb1ed91f2011-07-09 17:41:24 +0000907 // If the instruction's type is being remapped, do so now.
David Blaikie348de692015-04-23 21:36:23 +0000908 if (auto CS = CallSite(I)) {
909 SmallVector<Type *, 3> Tys;
910 FunctionType *FTy = CS.getFunctionType();
911 Tys.reserve(FTy->getNumParams());
912 for (Type *Ty : FTy->params())
913 Tys.push_back(TypeMapper->remapType(Ty));
914 CS.mutateFunctionType(FunctionType::get(
915 TypeMapper->remapType(I->getType()), Tys, FTy->isVarArg()));
David Blaikiebf0a42a2015-04-29 23:00:35 +0000916 return;
917 }
918 if (auto *AI = dyn_cast<AllocaInst>(I))
919 AI->setAllocatedType(TypeMapper->remapType(AI->getAllocatedType()));
David Blaikief5147ef2015-06-01 03:09:34 +0000920 if (auto *GEP = dyn_cast<GetElementPtrInst>(I)) {
David Blaikie73cf8722015-05-05 18:03:48 +0000921 GEP->setSourceElementType(
922 TypeMapper->remapType(GEP->getSourceElementType()));
David Blaikief5147ef2015-06-01 03:09:34 +0000923 GEP->setResultElementType(
924 TypeMapper->remapType(GEP->getResultElementType()));
925 }
David Blaikiebf0a42a2015-04-29 23:00:35 +0000926 I->mutateType(TypeMapper->remapType(I->getType()));
Dan Gohmanca26f792010-08-26 15:41:53 +0000927}
Duncan P. N. Exon Smithbb2c3e12016-04-08 19:26:32 +0000928
Duncan P. N. Exon Smithbb2c3e12016-04-08 19:26:32 +0000929void Mapper::remapFunction(Function &F) {
930 // Remap the operands.
931 for (Use &Op : F.operands())
932 if (Op)
933 Op = mapValue(Op);
934
935 // Remap the metadata attachments.
936 SmallVector<std::pair<unsigned, MDNode *>, 8> MDs;
937 F.getAllMetadata(MDs);
938 for (const auto &I : MDs)
939 F.setMetadata(I.first, cast_or_null<MDNode>(mapMetadata(I.second)));
940
941 // Remap the argument types.
942 if (TypeMapper)
943 for (Argument &A : F.args())
944 A.mutateType(TypeMapper->remapType(A.getType()));
945
946 // Remap the instructions.
947 for (BasicBlock &BB : F)
948 for (Instruction &I : BB)
949 remapInstruction(&I);
950}
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +0000951
952void Mapper::mapAppendingVariable(GlobalVariable &GV, Constant *InitPrefix,
953 bool IsOldCtorDtor,
954 ArrayRef<Constant *> NewMembers) {
955 SmallVector<Constant *, 16> Elements;
956 if (InitPrefix) {
957 unsigned NumElements =
958 cast<ArrayType>(InitPrefix->getType())->getNumElements();
959 for (unsigned I = 0; I != NumElements; ++I)
960 Elements.push_back(InitPrefix->getAggregateElement(I));
961 }
962
963 PointerType *VoidPtrTy;
964 Type *EltTy;
965 if (IsOldCtorDtor) {
966 // FIXME: This upgrade is done during linking to support the C API. See
967 // also IRLinker::linkAppendingVarProto() in IRMover.cpp.
968 VoidPtrTy = Type::getInt8Ty(GV.getContext())->getPointerTo();
969 auto &ST = *cast<StructType>(NewMembers.front()->getType());
970 Type *Tys[3] = {ST.getElementType(0), ST.getElementType(1), VoidPtrTy};
971 EltTy = StructType::get(GV.getContext(), Tys, false);
972 }
973
974 for (auto *V : NewMembers) {
975 Constant *NewV;
976 if (IsOldCtorDtor) {
977 auto *S = cast<ConstantStruct>(V);
978 auto *E1 = mapValue(S->getOperand(0));
979 auto *E2 = mapValue(S->getOperand(1));
980 Value *Null = Constant::getNullValue(VoidPtrTy);
981 NewV =
982 ConstantStruct::get(cast<StructType>(EltTy), E1, E2, Null, nullptr);
983 } else {
984 NewV = cast_or_null<Constant>(mapValue(V));
985 }
986 Elements.push_back(NewV);
987 }
988
989 GV.setInitializer(ConstantArray::get(
990 cast<ArrayType>(GV.getType()->getElementType()), Elements));
991}
992
993void Mapper::scheduleMapGlobalInitializer(GlobalVariable &GV, Constant &Init,
994 unsigned MCID) {
Duncan P. N. Exon Smith0fdaf8c2016-04-17 19:40:20 +0000995 assert(AlreadyScheduled.insert(&GV).second && "Should not reschedule");
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +0000996 assert(MCID < MCs.size() && "Invalid mapping context");
997
998 WorklistEntry WE;
999 WE.Kind = WorklistEntry::MapGlobalInit;
1000 WE.MCID = MCID;
1001 WE.Data.GVInit.GV = &GV;
1002 WE.Data.GVInit.Init = &Init;
1003 Worklist.push_back(WE);
1004}
1005
1006void Mapper::scheduleMapAppendingVariable(GlobalVariable &GV,
1007 Constant *InitPrefix,
1008 bool IsOldCtorDtor,
1009 ArrayRef<Constant *> NewMembers,
1010 unsigned MCID) {
Duncan P. N. Exon Smith0fdaf8c2016-04-17 19:40:20 +00001011 assert(AlreadyScheduled.insert(&GV).second && "Should not reschedule");
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +00001012 assert(MCID < MCs.size() && "Invalid mapping context");
1013
1014 WorklistEntry WE;
1015 WE.Kind = WorklistEntry::MapAppendingVar;
1016 WE.MCID = MCID;
1017 WE.Data.AppendingGV.GV = &GV;
1018 WE.Data.AppendingGV.InitPrefix = InitPrefix;
1019 WE.AppendingGVIsOldCtorDtor = IsOldCtorDtor;
1020 WE.AppendingGVNumNewMembers = NewMembers.size();
1021 Worklist.push_back(WE);
1022 AppendingInits.append(NewMembers.begin(), NewMembers.end());
1023}
1024
1025void Mapper::scheduleMapGlobalAliasee(GlobalAlias &GA, Constant &Aliasee,
1026 unsigned MCID) {
Duncan P. N. Exon Smith0fdaf8c2016-04-17 19:40:20 +00001027 assert(AlreadyScheduled.insert(&GA).second && "Should not reschedule");
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +00001028 assert(MCID < MCs.size() && "Invalid mapping context");
1029
1030 WorklistEntry WE;
1031 WE.Kind = WorklistEntry::MapGlobalAliasee;
1032 WE.MCID = MCID;
1033 WE.Data.GlobalAliasee.GA = &GA;
1034 WE.Data.GlobalAliasee.Aliasee = &Aliasee;
1035 Worklist.push_back(WE);
1036}
1037
1038void Mapper::scheduleRemapFunction(Function &F, unsigned MCID) {
Duncan P. N. Exon Smith0fdaf8c2016-04-17 19:40:20 +00001039 assert(AlreadyScheduled.insert(&F).second && "Should not reschedule");
Duncan P. N. Exon Smith39423b02016-04-16 02:29:55 +00001040 assert(MCID < MCs.size() && "Invalid mapping context");
1041
1042 WorklistEntry WE;
1043 WE.Kind = WorklistEntry::RemapFunction;
1044 WE.MCID = MCID;
1045 WE.Data.RemapF = &F;
1046 Worklist.push_back(WE);
1047}
1048
1049void Mapper::addFlags(RemapFlags Flags) {
1050 assert(!hasWorkToDo() && "Expected to have flushed the worklist");
1051 this->Flags = this->Flags | Flags;
1052}
1053
1054static Mapper *getAsMapper(void *pImpl) {
1055 return reinterpret_cast<Mapper *>(pImpl);
1056}
1057
1058namespace {
1059
1060class FlushingMapper {
1061 Mapper &M;
1062
1063public:
1064 explicit FlushingMapper(void *pImpl) : M(*getAsMapper(pImpl)) {
1065 assert(!M.hasWorkToDo() && "Expected to be flushed");
1066 }
1067 ~FlushingMapper() { M.flush(); }
1068 Mapper *operator->() const { return &M; }
1069};
1070
1071} // end namespace
1072
1073ValueMapper::ValueMapper(ValueToValueMapTy &VM, RemapFlags Flags,
1074 ValueMapTypeRemapper *TypeMapper,
1075 ValueMaterializer *Materializer)
1076 : pImpl(new Mapper(VM, Flags, TypeMapper, Materializer)) {}
1077
1078ValueMapper::~ValueMapper() { delete getAsMapper(pImpl); }
1079
1080unsigned
1081ValueMapper::registerAlternateMappingContext(ValueToValueMapTy &VM,
1082 ValueMaterializer *Materializer) {
1083 return getAsMapper(pImpl)->registerAlternateMappingContext(VM, Materializer);
1084}
1085
1086void ValueMapper::addFlags(RemapFlags Flags) {
1087 FlushingMapper(pImpl)->addFlags(Flags);
1088}
1089
1090Value *ValueMapper::mapValue(const Value &V) {
1091 return FlushingMapper(pImpl)->mapValue(&V);
1092}
1093
1094Constant *ValueMapper::mapConstant(const Constant &C) {
1095 return cast_or_null<Constant>(mapValue(C));
1096}
1097
1098Metadata *ValueMapper::mapMetadata(const Metadata &MD) {
1099 return FlushingMapper(pImpl)->mapMetadata(&MD);
1100}
1101
1102MDNode *ValueMapper::mapMDNode(const MDNode &N) {
1103 return cast_or_null<MDNode>(mapMetadata(N));
1104}
1105
1106void ValueMapper::remapInstruction(Instruction &I) {
1107 FlushingMapper(pImpl)->remapInstruction(&I);
1108}
1109
1110void ValueMapper::remapFunction(Function &F) {
1111 FlushingMapper(pImpl)->remapFunction(F);
1112}
1113
1114void ValueMapper::scheduleMapGlobalInitializer(GlobalVariable &GV,
1115 Constant &Init,
1116 unsigned MCID) {
1117 getAsMapper(pImpl)->scheduleMapGlobalInitializer(GV, Init, MCID);
1118}
1119
1120void ValueMapper::scheduleMapAppendingVariable(GlobalVariable &GV,
1121 Constant *InitPrefix,
1122 bool IsOldCtorDtor,
1123 ArrayRef<Constant *> NewMembers,
1124 unsigned MCID) {
1125 getAsMapper(pImpl)->scheduleMapAppendingVariable(
1126 GV, InitPrefix, IsOldCtorDtor, NewMembers, MCID);
1127}
1128
1129void ValueMapper::scheduleMapGlobalAliasee(GlobalAlias &GA, Constant &Aliasee,
1130 unsigned MCID) {
1131 getAsMapper(pImpl)->scheduleMapGlobalAliasee(GA, Aliasee, MCID);
1132}
1133
1134void ValueMapper::scheduleRemapFunction(Function &F, unsigned MCID) {
1135 getAsMapper(pImpl)->scheduleRemapFunction(F, MCID);
1136}