[IR] Reformulate LLVM's EH funclet IR

[oota-llvm.git] / test / Feature / aliases.ll

diff --git a/test/Feature/aliases.ll b/test/Feature/aliases.ll
index c099cc90802162af7f84a21f2f257407f6c3418f..a8c95e9fd0c3d6d2b5f97f78e38ef6a8b441267d 100644 (file)
--- a/test/Feature/aliases.ll
+++ b/test/Feature/aliases.ll
@@ -2,27 +2,40 @@
 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
 ; RUN: diff %t1.ll %t2.ll
 
-; XFAIL: *
+@llvm.used = appending global [1 x i8*] [i8* bitcast (i32* @foo1 to i8*)], section "llvm.metadata"
 
-@bar = external global i32
-@foo1 = alias i32* @bar
-@foo2 = alias i32* @bar
+@bar = global i32 0
+@foo1 = alias i32, i32* @bar
+@foo2 = alias i32, i32* @bar
+@foo3 = alias i32, i32* @foo2
+@foo4 = unnamed_addr alias i32, i32* @foo2
+
+; Make sure the verifier does not complain about references to a global
+; declaration from an initializer.
+@decl = external global i32
+@ptr = global i32* @decl
+@ptr_a = alias i32*, i32** @ptr
 
 %FunTy = type i32()
 
-declare i32 @foo_f()
-@bar_f = alias weak %FunTy* @foo_f
+define i32 @foo_f() {
+  ret i32 0
+}
+@bar_f = weak_odr alias %FunTy, %FunTy* @foo_f
+@bar_ff = alias i32(), i32()* @bar_f
+
+@bar_i = internal alias i32, i32* @bar
 
-@bar_i = alias internal i32* @bar
+@A = alias i64, bitcast (i32* @bar to i64*)
 
 define i32 @test() {
 entry:
-   %tmp = load i32* @foo1
-   %tmp1 = load i32* @foo2
-   %tmp0 = load i32* @bar_i
+   %tmp = load i32, i32* @foo1
+   %tmp1 = load i32, i32* @foo2
+   %tmp0 = load i32, i32* @bar_i
    %tmp2 = call i32 @foo_f()
    %tmp3 = add i32 %tmp, %tmp2
-   %tmp4 = call %FunTy* @bar_f()
+   %tmp4 = call %FunTy @bar_f()
    %tmp5 = add i32 %tmp3, %tmp4
    %tmp6 = add i32 %tmp1, %tmp5
    %tmp7 = add i32 %tmp6, %tmp0