From: Bob Wilson Date: Thu, 12 Jun 2014 21:37:30 +0000 (+0000) Subject: Move test for r210734 to Feature/aliases.ll. X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7418e1f4bd5a4bda32af18f46ff2837221d12d5c;p=oota-llvm.git Move test for r210734 to Feature/aliases.ll. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@210833 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/Feature/aliases.ll b/test/Feature/aliases.ll index c3593852d71..ad1d1b08901 100644 --- a/test/Feature/aliases.ll +++ b/test/Feature/aliases.ll @@ -10,6 +10,12 @@ @foo3 = alias i32* @foo2 @foo4 = unnamed_addr alias 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** @ptr + %FunTy = type i32() define i32 @foo_f() { diff --git a/test/Verifier/alias.ll b/test/Verifier/alias.ll index d71a7cb2b6e..ff02a37bab9 100644 --- a/test/Verifier/alias.ll +++ b/test/Verifier/alias.ll @@ -11,10 +11,6 @@ declare void @f() ; CHECK: Alias must point to a definition ; CHECK-NEXT: @ga -; References to a global declaration from an initializer are OK. -@gptr = global i32* @g -@gptr_a = alias i32** @gptr -; CHECK-NOT: Alias must point to a definition @test2_a = alias i32* @test2_b @test2_b = alias i32* @test2_a