[llvm-commits] [llvm] r109117 - /llvm/trunk/lib/Transforms/Utils/ValueMapper.cpp

Devang Patel dpatel at apple.com
Thu Jul 22 09:35:00 PDT 2010


Author: dpatel
Date: Thu Jul 22 11:35:00 2010
New Revision: 109117

URL: http://llvm.org/viewvc/llvm-project?rev=109117&view=rev
Log:
Map MDNode correctly. 
A non function local MDNode can have an operand which is cloned by MapValue(). 

Modified:
    llvm/trunk/lib/Transforms/Utils/ValueMapper.cpp

Modified: llvm/trunk/lib/Transforms/Utils/ValueMapper.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Transforms/Utils/ValueMapper.cpp?rev=109117&r1=109116&r2=109117&view=diff
==============================================================================
--- llvm/trunk/lib/Transforms/Utils/ValueMapper.cpp (original)
+++ llvm/trunk/lib/Transforms/Utils/ValueMapper.cpp Thu Jul 22 11:35:00 2010
@@ -14,6 +14,7 @@
 
 #include "ValueMapper.h"
 #include "llvm/Type.h"
+#include "llvm/GlobalAlias.h"
 #include "llvm/Constants.h"
 #include "llvm/Function.h"
 #include "llvm/Metadata.h"
@@ -29,15 +30,35 @@
 
   // Global values and non-function-local metadata do not need to be seeded into
   // the VM if they are using the identity mapping.
-  if (isa<GlobalValue>(V) || isa<InlineAsm>(V) || isa<MDString>(V) ||
-      (isa<MDNode>(V) && !cast<MDNode>(V)->isFunctionLocal()))
+  if (isa<GlobalValue>(V) || isa<InlineAsm>(V) || isa<MDString>(V))
     return VMSlot = const_cast<Value*>(V);
 
   if (const MDNode *MD = dyn_cast<MDNode>(V)) {
-    SmallVector<Value*, 4> Elts;
-    for (unsigned i = 0, e = MD->getNumOperands(); i != e; ++i)
-      Elts.push_back(MD->getOperand(i) ? MapValue(MD->getOperand(i), VM) : 0);
-    return VM[V] = MDNode::get(V->getContext(), Elts.data(), Elts.size());
+    Value *Dummy = new GlobalAlias(V->getType(), GlobalValue::ExternalLinkage);
+    VMSlot = Dummy;
+    for (unsigned i = 0, e = MD->getNumOperands(); i != e; ++i) {
+      Value *OP = MD->getOperand(i);
+      if (!OP) continue;
+      Value *MV = MapValue(OP, VM);
+      if (MV != OP) {
+        // This MDNode contain a reference to mapped value. Make a new
+        // MDNode and return it.
+        SmallVector<Value*, 4> Elts;
+        Elts.reserve(MD->getNumOperands());
+        for (unsigned j = 0; j != i; ++j)
+          Elts.push_back(MD->getOperand(j));
+        Elts.push_back(MV);
+        for (++i; i != e; ++i)
+          Elts.push_back(MD->getOperand(i) ? 
+                         MapValue(MD->getOperand(i), VM) : 0);
+        MDNode *NewMD = MDNode::get(V->getContext(), Elts.data(), Elts.size());
+        Dummy->uncheckedReplaceAllUsesWith(NewMD);
+        delete Dummy;
+        return VM[V] = NewMD;
+      }
+    }
+    delete Dummy;
+    return VM[V] = const_cast<Value*>(V);
   }
 
   Constant *C = const_cast<Constant*>(dyn_cast<Constant>(V));





More information about the llvm-commits mailing list