diff --git a/lib/Transforms/Utils/ValueMapper.cpp b/lib/Transforms/Utils/ValueMapper.cpp index e728fd16a30..973b105a1cb 100644 --- a/lib/Transforms/Utils/ValueMapper.cpp +++ b/lib/Transforms/Utils/ValueMapper.cpp @@ -15,6 +15,7 @@ #include "llvm/Transforms/Utils/ValueMapper.h" #include "llvm/Constants.h" #include "llvm/Function.h" +#include "llvm/InlineAsm.h" #include "llvm/Instructions.h" #include "llvm/Metadata.h" using namespace llvm; @@ -31,8 +32,23 @@ Value *llvm::MapValue(const Value *V, ValueToValueMapTy &VM, RemapFlags Flags, // Global values do not need to be seeded into the VM if they // are using the identity mapping. - if (isa(V) || isa(V) || isa(V)) + if (isa(V) || isa(V)) return VM[V] = const_cast(V); + + if (const InlineAsm *IA = dyn_cast(V)) { + // Inline asm may need *type* remapping. + FunctionType *NewTy = IA->getFunctionType(); + if (TypeMapper) { + NewTy = cast(TypeMapper->remapType(NewTy)); + + if (NewTy != IA->getFunctionType()) + V = InlineAsm::get(NewTy, IA->getAsmString(), IA->getConstraintString(), + IA->hasSideEffects(), IA->isAlignStack()); + } + + return VM[V] = const_cast(V); + } + if (const MDNode *MD = dyn_cast(V)) { // If this is a module-level metadata and we know that nothing at the module diff --git a/test/Linker/inlineasm.ll b/test/Linker/inlineasm.ll new file mode 100644 index 00000000000..d77f3a715b1 --- /dev/null +++ b/test/Linker/inlineasm.ll @@ -0,0 +1,17 @@ +; RUN: echo > %t.ll +; RUN: llvm-link %t.ll %s -S + +; ModuleID = 'bitfield-access-2.o' +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32" +target triple = "i386-apple-macosx10.6.8" + +; rdar://9776316 - type remapping needed for inline asm blobs. + +%T = type { [18 x i32], [4 x i8*] } + +define void @f(%T* %x) nounwind ssp { +entry: +call void asm sideeffect "", "=*m"(%T* %x) nounwind +unreachable +} +