llvm-6502/test/Transforms/GlobalOpt/alias-resolve.ll
Rafael Espindola d57120551f Use "weak alias" instead of "alias weak"
Before this patch we had

@a = weak global ...
but
@b = alias weak ...

The patch changes aliases to look more like global variables.

Looking at some really old code suggests that the reason was that the old
bison based parser had a reduction for alias linkages and another one for
global variable linkages. Putting the alias first avoided the reduce/reduce
conflict.

The days of the old .ll parser are long gone. The new one parses just "linkage"
and a later check is responsible for deciding if a linkage is valid in a
given context.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@214355 91177308-0d34-0410-b5e6-96231b3b80d8
2014-07-30 22:51:54 +00:00

47 lines
1.0 KiB
LLVM

; RUN: opt < %s -globalopt -S | FileCheck %s
@foo1 = alias void ()* @foo2
; CHECK: @foo1 = alias void ()* @bar2
@foo2 = alias void()* @bar1
; CHECK: @foo2 = alias void ()* @bar2
@bar1 = alias void ()* @bar2
; CHECK: @bar1 = alias void ()* @bar2
@weak1 = weak alias void ()* @bar2
; CHECK: @weak1 = weak alias void ()* @bar2
@bar4 = private unnamed_addr constant [2 x i8*] zeroinitializer
@foo4 = linkonce_odr unnamed_addr alias getelementptr inbounds ([2 x i8*]* @bar4, i32 0, i32 1)
; CHECK: @foo4 = linkonce_odr unnamed_addr alias getelementptr inbounds ([2 x i8*]* @bar4, i32 0, i32 1)
define void @bar2() {
ret void
}
; CHECK: define void @bar2()
define void @baz() {
entry:
call void @foo1()
; CHECK: call void @bar2()
call void @foo2()
; CHECK: call void @bar2()
call void @bar1()
; CHECK: call void @bar2()
call void @weak1()
; CHECK: call void @weak1()
ret void
}
@foo3 = alias void ()* @bar3
; CHECK-NOT: bar3
define internal void @bar3() {
ret void
}
;CHECK: define void @foo3