mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 19:52:54 +01:00
e5f71f18e0
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. llvm-svn: 210302
58 lines
2.0 KiB
LLVM
58 lines
2.0 KiB
LLVM
; RUN: llvm-link %s %p/unnamed-addr1-b.ll -S -o - | FileCheck %s
|
|
|
|
; Only in this file
|
|
@global-a = common global i32 0
|
|
; CHECK-DAG: @global-a = common global i32 0
|
|
@global-b = common unnamed_addr global i32 0
|
|
; CHECK-DAG: @global-b = common unnamed_addr global i32 0
|
|
|
|
define weak void @func-a() { ret void }
|
|
; CHECK-DAG: define weak void @func-a() {
|
|
define weak void @func-b() unnamed_addr { ret void }
|
|
; CHECK-DAG: define weak void @func-b() unnamed_addr {
|
|
|
|
; Other file has unnamed_addr definition
|
|
@global-c = common unnamed_addr global i32 0
|
|
; CHECK-DAG: @global-c = common unnamed_addr global i32 0
|
|
@global-d = external global i32
|
|
; CHECK-DAG: @global-d = global i32 42
|
|
@global-e = external unnamed_addr global i32
|
|
; CHECK-DAG: @global-e = unnamed_addr global i32 42
|
|
@global-f = weak global i32 42
|
|
; CHECK-DAG: @global-f = global i32 42
|
|
|
|
@alias-a = weak global i32 42
|
|
; CHECK-DAG: @alias-a = alias i32* @global-f
|
|
@alias-b = weak unnamed_addr global i32 42
|
|
; CHECK-DAG: @alias-b = unnamed_addr alias i32* @global-f
|
|
|
|
declare void @func-c()
|
|
; CHECK-DAG: define weak void @func-c() {
|
|
define weak void @func-d() { ret void }
|
|
; CHECK-DAG: define weak void @func-d() {
|
|
define weak void @func-e() unnamed_addr { ret void }
|
|
; CHECK-DAG: define weak void @func-e() unnamed_addr {
|
|
|
|
; Other file has non-unnamed_addr definition
|
|
@global-g = common unnamed_addr global i32 0
|
|
; CHECK-DAG: @global-g = common global i32 0
|
|
@global-h = external global i32
|
|
; CHECK-DAG: @global-h = global i32 42
|
|
@global-i = external unnamed_addr global i32
|
|
; CHECK-DAG: @global-i = global i32 42
|
|
@global-j = weak global i32 42
|
|
; CHECK-DAG: @global-j = global i32 42
|
|
|
|
@alias-c = weak global i32 42
|
|
; CHECK-DAG: @alias-c = alias i32* @global-f
|
|
@alias-d = weak unnamed_addr global i32 42
|
|
; CHECK-DAG: @alias-d = alias i32* @global-f
|
|
|
|
|
|
declare void @func-g()
|
|
; CHECK-DAG: define weak void @func-g() {
|
|
define weak void @func-h() { ret void }
|
|
; CHECK-DAG: define weak void @func-h() {
|
|
define weak void @func-i() unnamed_addr { ret void }
|
|
; CHECK-DAG: define weak void @func-i() {
|