Home | History | Annotate | Download | only in Verifier
      1 ; RUN:  not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
      2 
      3 
      4 declare void @f()
      5 @fa = alias void ()* @f
      6 ; CHECK: Alias must point to a definition
      7 ; CHECK-NEXT: @fa
      8 
      9 @g = external global i32
     10 @ga = alias i32* @g
     11 ; CHECK: Alias must point to a definition
     12 ; CHECK-NEXT: @ga
     13 
     14 
     15 @test2_a = alias i32* @test2_b
     16 @test2_b = alias i32* @test2_a
     17 ; CHECK:      Aliases cannot form a cycle
     18 ; CHECK-NEXT: i32* @test2_a
     19 ; CHECK-NEXT: Aliases cannot form a cycle
     20 ; CHECK-NEXT: i32* @test2_b
     21 
     22 
     23 @test3_a = global i32 42
     24 @test3_b = alias weak i32* @test3_a
     25 @test3_c = alias i32* @test3_b
     26 ; CHECK: Alias cannot point to a weak alias
     27 ; CHECK-NEXT: i32* @test3_c
     28