From 17d93465464ce516b431ebf533b04f77bdce5c36 Mon Sep 17 00:00:00 2001 From: Devang Patel Date: Thu, 4 Aug 2011 19:44:28 +0000 Subject: [PATCH] Linke NamedMDNodes after linking global values as comment suggests. llvm-svn: 136909 --- lib/Linker/LinkModules.cpp | 10 +++++----- test/Linker/2011-08-04-Metadata.ll | 29 +++++++++++++++++++++++++++++ test/Linker/2011-08-04-Metadata2.ll | 29 +++++++++++++++++++++++++++++ 3 files changed, 63 insertions(+), 5 deletions(-) create mode 100644 test/Linker/2011-08-04-Metadata.ll create mode 100644 test/Linker/2011-08-04-Metadata2.ll diff --git a/lib/Linker/LinkModules.cpp b/lib/Linker/LinkModules.cpp index 0c078607bc8..b075711b7d4 100644 --- a/lib/Linker/LinkModules.cpp +++ b/lib/Linker/LinkModules.cpp @@ -896,11 +896,6 @@ bool ModuleLinker::run() { // Loop over all of the linked values to compute type mappings. computeTypeMapping(); - // Remap all of the named mdnoes in Src into the DstM module. We do this - // after linking GlobalValues so that MDNodes that reference GlobalValues - // are properly remapped. - linkNamedMDNodes(); - // Insert all of the globals in src into the DstM module... without linking // initializers (which could refer to functions not yet mapped over). for (Module::global_iterator I = SrcM->global_begin(), @@ -941,6 +936,11 @@ bool ModuleLinker::run() { // Resolve all uses of aliases with aliasees. linkAliasBodies(); + // Remap all of the named mdnoes in Src into the DstM module. We do this + // after linking GlobalValues so that MDNodes that reference GlobalValues + // are properly remapped. + linkNamedMDNodes(); + // Now that all of the types from the source are used, resolve any structs // copied over to the dest that didn't exist there. TypeMap.linkDefinedTypeBodies(); diff --git a/test/Linker/2011-08-04-Metadata.ll b/test/Linker/2011-08-04-Metadata.ll new file mode 100644 index 00000000000..952eccc5076 --- /dev/null +++ b/test/Linker/2011-08-04-Metadata.ll @@ -0,0 +1,29 @@ +; RUN: llvm-link %s %p/2011-08-04-Metadata2.ll -o %t.bc +; RUN: llvm-dis < %t.bc | FileCheck %s +; Test if internal global variable's debug info is merged appropriately or not. + +;CHECK: metadata !{i32 589876, i32 0, metadata !{{[0-9]+}}, metadata !"x", metadata !"x", metadata !"", metadata !{{[0-9]+}}, i32 1, metadata !{{[0-9]+}}, i32 1, i32 1, i32* @x1} +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" +target triple = "x86_64-apple-macosx10.7.0" + +@x = internal global i32 0, align 4 + +define void @foo() nounwind uwtable ssp { +entry: + store i32 1, i32* @x, align 4, !dbg !7 + ret void, !dbg !7 +} + +!llvm.dbg.cu = !{!0} +!llvm.dbg.sp = !{!1} +!llvm.dbg.gv = !{!5} + +!0 = metadata !{i32 589841, i32 0, i32 12, metadata !"/tmp/one.c", metadata !"/Volumes/Lalgate/Slate/D", metadata !"clang version 3.0 ()", i1 true, i1 false, metadata !"", i32 0} +!1 = metadata !{i32 589870, i32 0, metadata !2, metadata !"foo", metadata !"foo", metadata !"", metadata !2, i32 3, metadata !3, i1 false, i1 true, i32 0, i32 0, i32 0, i32 0, i1 false, void ()* @foo, null, null} +!2 = metadata !{i32 589865, metadata !"/tmp/one.c", metadata !"/Volumes/Lalgate/Slate/D", metadata !0} +!3 = metadata !{i32 589845, metadata !2, metadata !"", metadata !2, i32 0, i64 0, i64 0, i32 0, i32 0, i32 0, metadata !4, i32 0, i32 0} +!4 = metadata !{null} +!5 = metadata !{i32 589876, i32 0, metadata !0, metadata !"x", metadata !"x", metadata !"", metadata !2, i32 2, metadata !6, i32 1, i32 1, i32* @x} +!6 = metadata !{i32 589860, metadata !0, metadata !"int", null, i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} +!7 = metadata !{i32 3, i32 14, metadata !8, null} +!8 = metadata !{i32 589835, metadata !1, i32 3, i32 12, metadata !2, i32 0} diff --git a/test/Linker/2011-08-04-Metadata2.ll b/test/Linker/2011-08-04-Metadata2.ll new file mode 100644 index 00000000000..fa5e7c9a3f7 --- /dev/null +++ b/test/Linker/2011-08-04-Metadata2.ll @@ -0,0 +1,29 @@ +; This file is used by 2011-08-04-Metadata.ll, so it doesn't actually do anything itself +; +; RUN: true + + +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" +target triple = "x86_64-apple-macosx10.7.0" + +@x = internal global i32 0, align 4 + +define void @bar() nounwind uwtable ssp { +entry: + store i32 1, i32* @x, align 4, !dbg !7 + ret void, !dbg !7 +} + +!llvm.dbg.cu = !{!0} +!llvm.dbg.sp = !{!1} +!llvm.dbg.gv = !{!5} + +!0 = metadata !{i32 589841, i32 0, i32 12, metadata !"/tmp/two.c", metadata !"/Volumes/Lalgate/Slate/D", metadata !"clang version 3.0 ()", i1 true, i1 false, metadata !"", i32 0} +!1 = metadata !{i32 589870, i32 0, metadata !2, metadata !"bar", metadata !"bar", metadata !"", metadata !2, i32 2, metadata !3, i1 false, i1 true, i32 0, i32 0, i32 0, i32 0, i1 false, void ()* @bar, null, null} +!2 = metadata !{i32 589865, metadata !"/tmp/two.c", metadata !"/Volumes/Lalgate/Slate/D", metadata !0} +!3 = metadata !{i32 589845, metadata !2, metadata !"", metadata !2, i32 0, i64 0, i64 0, i32 0, i32 0, i32 0, metadata !4, i32 0, i32 0} +!4 = metadata !{null} +!5 = metadata !{i32 589876, i32 0, metadata !0, metadata !"x", metadata !"x", metadata !"", metadata !2, i32 1, metadata !6, i32 1, i32 1, i32* @x} +!6 = metadata !{i32 589860, metadata !0, metadata !"int", null, i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} +!7 = metadata !{i32 2, i32 14, metadata !8, null} +!8 = metadata !{i32 589835, metadata !1, i32 2, i32 12, metadata !2, i32 0}