[PATCH] D38602: ModuleUtils: Stop using comdat members to generate unique module ids.
Peter Collingbourne via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Oct 5 14:47:12 PDT 2017
pcc created this revision.
Herald added subscribers: hiraditya, eraman, mehdi_amini.
It is possible for two modules to define the same set of external
symbols without causing a duplicate symbol error at link time,
as long as each of the symbols is a comdat member. So we cannot
use them as part of a unique id for the module.
https://reviews.llvm.org/D38602
Files:
llvm/include/llvm/Transforms/Utils/ModuleUtils.h
llvm/lib/Transforms/Utils/ModuleUtils.cpp
llvm/test/Transforms/ThinLTOBitcodeWriter/filter-alias.ll
llvm/test/Transforms/ThinLTOBitcodeWriter/unsplittable.ll
Index: llvm/test/Transforms/ThinLTOBitcodeWriter/unsplittable.ll
===================================================================
--- llvm/test/Transforms/ThinLTOBitcodeWriter/unsplittable.ll
+++ llvm/test/Transforms/ThinLTOBitcodeWriter/unsplittable.ll
@@ -21,4 +21,10 @@
ret void
}
+$h = comdat any
+; CHECK: define void @h() comdat
+define void @h() comdat {
+ ret void
+}
+
!0 = !{i32 0, !"typeid"}
Index: llvm/test/Transforms/ThinLTOBitcodeWriter/filter-alias.ll
===================================================================
--- llvm/test/Transforms/ThinLTOBitcodeWriter/filter-alias.ll
+++ llvm/test/Transforms/ThinLTOBitcodeWriter/filter-alias.ll
@@ -13,4 +13,6 @@
@al = external unnamed_addr alias i8*, getelementptr inbounds ({ [1 x i8*] }, { [1 x i8*] }* @anon, i32 0, i32 0, i32 1)
+ at foo = global i32 1
+
!0 = !{i64 8, !"?AVA@@"}
Index: llvm/lib/Transforms/Utils/ModuleUtils.cpp
===================================================================
--- llvm/lib/Transforms/Utils/ModuleUtils.cpp
+++ llvm/lib/Transforms/Utils/ModuleUtils.cpp
@@ -243,7 +243,7 @@
bool ExportsSymbols = false;
auto AddGlobal = [&](GlobalValue &GV) {
if (GV.isDeclaration() || GV.getName().startswith("llvm.") ||
- !GV.hasExternalLinkage())
+ !GV.hasExternalLinkage() || GV.hasComdat())
return;
ExportsSymbols = true;
Md5.update(GV.getName());
Index: llvm/include/llvm/Transforms/Utils/ModuleUtils.h
===================================================================
--- llvm/include/llvm/Transforms/Utils/ModuleUtils.h
+++ llvm/include/llvm/Transforms/Utils/ModuleUtils.h
@@ -85,7 +85,8 @@
Module &M, SmallVectorImpl<Function *> &DeadComdatFunctions);
/// \brief Produce a unique identifier for this module by taking the MD5 sum of
-/// the names of the module's strong external symbols.
+/// the names of the module's strong external symbols that are not comdat
+/// members.
///
/// This identifier is normally guaranteed to be unique, or the program would
/// fail to link due to multiply defined symbols.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D38602.117901.patch
Type: text/x-patch
Size: 2075 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20171005/5ae07d55/attachment.bin>
More information about the llvm-commits
mailing list