mirror of
https://github.com/RPCSX/llvm.git
synced 2024-12-26 22:27:54 +00:00
58019e7bea
They are as much trouble as aliases to declarations. They are requiring the code generator to define a symbol with the same value as another symbol, but the second symbol is undefined. If representing this is important for some optimization, we could add support for available_externally aliases. They would be *required* to point to a declaration (or available_externally definition). git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@254170 91177308-0d34-0410-b5e6-96231b3b80d8
34 lines
818 B
LLVM
34 lines
818 B
LLVM
; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
|
|
|
|
|
|
declare void @f()
|
|
@fa = alias void (), void ()* @f
|
|
; CHECK: Alias must point to a definition
|
|
; CHECK-NEXT: @fa
|
|
|
|
@g = external global i32
|
|
@ga = alias i32, i32* @g
|
|
; CHECK: Alias must point to a definition
|
|
; CHECK-NEXT: @ga
|
|
|
|
define available_externally void @f2() {
|
|
ret void
|
|
}
|
|
@fa2 = alias void(), void()* @f2
|
|
; CHECK: Alias must point to a definition
|
|
; CHECK-NEXT: @fa2
|
|
|
|
@test2_a = alias i32, i32* @test2_b
|
|
@test2_b = alias i32, i32* @test2_a
|
|
; CHECK: Aliases cannot form a cycle
|
|
; CHECK-NEXT: i32* @test2_a
|
|
; CHECK-NEXT: Aliases cannot form a cycle
|
|
; CHECK-NEXT: i32* @test2_b
|
|
|
|
|
|
@test3_a = global i32 42
|
|
@test3_b = weak alias i32, i32* @test3_a
|
|
@test3_c = alias i32, i32* @test3_b
|
|
; CHECK: Alias cannot point to a weak alias
|
|
; CHECK-NEXT: i32* @test3_c
|