Prevent alias from pointing to weak aliases.
authorRafael Espindola <rafael.espindola@gmail.com>
Thu, 27 Mar 2014 15:26:56 +0000 (15:26 +0000)
committerRafael Espindola <rafael.espindola@gmail.com>
Thu, 27 Mar 2014 15:26:56 +0000 (15:26 +0000)
commitf165cf7ce8d8df9b136604b1542dd9b4980793fe
tree0049f124f77c4db55402d5a0a6725fdeb6bf59f5
parent16dc6ed33f425fd90ecedb4b8503905ca9af5fd6
Prevent alias from pointing to weak aliases.

This adds back r204781.

Original message:

Aliases are just another name for a position in a file. As such, the
regular symbol resolutions are not applied. For example, given

define void @my_func() {
  ret void
}
@my_alias = alias weak void ()* @my_func
@my_alias2 = alias void ()* @my_alias

We produce without this patch:

        .weak   my_alias
my_alias = my_func
        .globl  my_alias2
my_alias2 = my_alias

That is, in the resulting ELF file my_alias, my_func and my_alias are
just 3 names pointing to offset 0 of .text. That is *not* the
semantics of IR linking. For example, linking in a

@my_alias = alias void ()* @other_func

would require the strong my_alias to override the weak one and
my_alias2 would end up pointing to other_func.

There is no way to represent that with aliases being just another
name, so the best solution seems to be to just disallow it, converting
a miscompile into an error.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@204934 91177308-0d34-0410-b5e6-96231b3b80d8
18 files changed:
docs/LangRef.rst
include/llvm/IR/GlobalAlias.h
lib/CodeGen/SelectionDAG/SelectionDAG.cpp
lib/ExecutionEngine/JIT/JITEmitter.cpp
lib/IR/Globals.cpp
lib/IR/Verifier.cpp
lib/Target/PowerPC/PPCAsmPrinter.cpp
lib/Target/PowerPC/PPCFastISel.cpp
lib/Target/PowerPC/PPCISelDAGToDAG.cpp
lib/Target/TargetMachine.cpp
lib/Target/X86/X86FastISel.cpp
lib/Target/X86/X86ISelLowering.cpp
lib/Target/XCore/XCoreISelLowering.cpp
lib/Transforms/Instrumentation/DataFlowSanitizer.cpp
test/CodeGen/X86/dllexport-x86_64.ll
test/CodeGen/X86/dllexport.ll
test/Feature/aliases.ll
test/Transforms/GlobalOpt/alias-resolve.ll