Home | History | Annotate | Download | only in Bitcode
      1 ; RUN: verify-uselistorder %s
      2 ; XFAIL: *
      3 
      4 ; Test 1
      5 @g1 = global i8 0
      6 
      7 declare void @llvm.donothing() nounwind readnone
      8 
      9 define void @f.no_personality1() personality i8 0 {
     10   invoke void @llvm.donothing() to label %normal unwind label %exception
     11 exception:
     12   %cleanup = landingpad i8 cleanup
     13   br label %normal
     14 normal:
     15   ret void
     16 }
     17 
     18 ; Test 2
     19 @g2 = global i8 -1
     20 @g3 = global i8 -1
     21 
     22 define void @f.no_personality2() personality i8 -1 {
     23   invoke void @llvm.donothing() to label %normal unwind label %exception
     24 exception:
     25   %cleanup = landingpad i8 cleanup
     26   br label %normal
     27 normal:
     28   ret void
     29 }
     30 
     31 ; Test 3
     32 declare void @f1() prefix i32 1
     33 
     34 define void @test1() {
     35   %t1 = alloca half  ; Implicit i32 1 used here.
     36   %t2 = alloca float
     37   ret void
     38 }
     39 
     40 ; Test 4
     41 declare void @f2() prefix i32 2
     42 
     43 define void @test2(i32* %word) {
     44   %cmpxchg.0 = cmpxchg i32* %word, i32 0, i32 2 monotonic monotonic
     45   %cmpxchg.1 = cmpxchg i32* %word, i32 0, i32 2 acq_rel monotonic
     46   ret void
     47 }
     48 
     49 ; Test 5
     50 @g4 = global i32 3
     51 @g5 = global i32 3
     52 declare void @test3() prefix i32 3
     53 
     54 ; Test 6
     55 @g6 = global i32 4
     56 @g7 = global i32 4
     57 declare void @c() prologue i32 4
     58