mirror of
https://github.com/RPCS3/llvm.git
synced 2025-01-25 03:55:25 +00:00
6fd1b8ee48
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
35 lines
1.2 KiB
LLVM
35 lines
1.2 KiB
LLVM
; RUN: opt < %s -S -nvvm-reflect -nvvm-reflect-list USE_MUL=0 -O2 | FileCheck %s --check-prefix=USE_MUL_0
|
|
; RUN: opt < %s -S -nvvm-reflect -nvvm-reflect-list USE_MUL=1 -O2 | FileCheck %s --check-prefix=USE_MUL_1
|
|
|
|
@str = private unnamed_addr addrspace(4) constant [8 x i8] c"USE_MUL\00"
|
|
|
|
declare i32 @__nvvm_reflect(i8*)
|
|
declare i8* @llvm.nvvm.ptr.constant.to.gen.p0i8.p4i8(i8 addrspace(4)*)
|
|
|
|
define float @foo(float %a, float %b) {
|
|
; USE_MUL_0: define float @foo
|
|
; USE_MUL_0-NOT: call i32 @__nvvm_reflect
|
|
; USE_MUL_1: define float @foo
|
|
; USE_MUL_1-NOT: call i32 @__nvvm_reflect
|
|
%ptr = tail call i8* @llvm.nvvm.ptr.constant.to.gen.p0i8.p4i8(i8 addrspace(4)* getelementptr inbounds ([8 x i8] addrspace(4)* @str, i32 0, i32 0))
|
|
%reflect = tail call i32 @__nvvm_reflect(i8* %ptr)
|
|
%cmp = icmp ugt i32 %reflect, 0
|
|
br i1 %cmp, label %use_mul, label %use_add
|
|
|
|
use_mul:
|
|
; USE_MUL_1: fmul float %a, %b
|
|
; USE_MUL_0-NOT: fadd float %a, %b
|
|
%ret1 = fmul float %a, %b
|
|
br label %exit
|
|
|
|
use_add:
|
|
; USE_MUL_0: fadd float %a, %b
|
|
; USE_MUL_1-NOT: fmul float %a, %b
|
|
%ret2 = fadd float %a, %b
|
|
br label %exit
|
|
|
|
exit:
|
|
%ret = phi float [%ret1, %use_mul], [%ret2, %use_add]
|
|
ret float %ret
|
|
}
|