diff options
| author | Rafael Espindola <rafael.espindola@gmail.com> | 2014-06-06 01:20:28 +0000 |
|---|---|---|
| committer | Rafael Espindola <rafael.espindola@gmail.com> | 2014-06-06 01:20:28 +0000 |
| commit | 6fd1b8ee48de8deeabc89f70c37b88957b562ba0 (patch) | |
| tree | 538d7a72d829478809c119d62de83e8ed7993f6e /docs/LangRef.rst | |
| parent | bbd34136f344e88ec8a0b148da908c01a1c3d910 (diff) | |
| download | llvm-6fd1b8ee48de8deeabc89f70c37b88957b562ba0.tar.gz llvm-6fd1b8ee48de8deeabc89f70c37b88957b562ba0.tar.bz2 llvm-6fd1b8ee48de8deeabc89f70c37b88957b562ba0.tar.xz | |
Allow aliases to be unnamed_addr.
Alias with unnamed_addr were in a strange state. It is stored in GlobalValue,
the language reference talks about "unnamed_addr aliases" but the verifier
was rejecting them.
It seems natural to allow unnamed_addr in aliases:
* It is a property of how it is accessed, not of the data itself.
* It is perfectly possible to write code that depends on the address
of an alias.
This patch then makes unname_addr legal for aliases. One side effect is that
the syntax changes for a corner case: In globals, unnamed_addr is now printed
before the address space.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@210302 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/LangRef.rst')
| -rw-r--r-- | docs/LangRef.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/LangRef.rst b/docs/LangRef.rst index 6beb9652ed..9bfd3ed2c4 100644 --- a/docs/LangRef.rst +++ b/docs/LangRef.rst @@ -698,7 +698,8 @@ The linkage must be one of ``private``, ``internal``, ``linkonce``, ``weak``, might not correctly handle dropping a weak symbol that is aliased. Alias that are not ``unnamed_addr`` are guaranteed to have the same address as -the aliasee. +the aliasee expression. ``unnamed_addr`` ones are only guaranteed to point +to the same content. Since aliases are only a second name, some restrictions apply, of which some can only be checked when producing an object file: |