llvm/test/Linker/blockaddress.ll

   1 ; RUN: llvm-as %s -o %t.bc
   2 ; RUN: llvm-link %t.bc -S | FileCheck %s
   3
   4 declare void @f(ptr)
   5
   6 ; Test that a blockaddress in @y referring to %label in @x can be moved when @y
   7 ; appears after @x.
   8 define void @x() {
   9   br label %label
  10
  11 label:
  12   call void @y()
  13   ret void
  14 }
  15
  16 define void @y() {
  17 ; CHECK: define void @y() {
  18 ; CHECK-NEXT: call void @f(ptr blockaddress(@x, %label))
  19   call void @f(ptr blockaddress(@x, %label))
  20   ret void
  21 }
  22
  23 ; Test that a blockaddress in @a referring to %label in @b can be moved when @a
  24 ; appears before @b.
  25 define void @a() {
  26 ; CHECK: define void @a() {
  27 ; CHECK-NEXT: call void @f(ptr blockaddress(@b, %label))
  28   call void @f(ptr blockaddress(@b, %label))
  29   ret void
  30 }
  31
  32 define void @b() {
  33   br label %label
  34
  35 label:
  36   call void @a()
  37   ret void
  38 }
  39
  40 ; Test that @c and @d can both have blockaddress Constants that refer to one
  41 ; another.
  42
  43 define void @c() {
  44 ; CHECK: define void @c() {
  45 ; CHECK-NEXT:  br label %label
  46 ; CHECK-EMPTY:
  47 ; CHECK-NEXT: label:
  48 ; CHECK-NEXT: call void @f(ptr blockaddress(@d, %label))
  49   br label %label
  50
  51 label:
  52   call void @f(ptr blockaddress(@d, %label))
  53   ret void
  54 }
  55
  56 define void @d() {
  57 ; CHECK: define void @d() {
  58 ; CHECK-NEXT:  br label %label
  59 ; CHECK-EMPTY:
  60 ; CHECK-NEXT: label:
  61 ; CHECK-NEXT: call void @f(ptr blockaddress(@c, %label))
  62   br label %label
  63
  64 label:
  65   call void @f(ptr blockaddress(@c, %label))
  66   ret void
  67 }
  68
  69 ; Test that Functions added to IRLinker's Worklist member lazily (linkonce_odr)
  70 ; aren't susceptible to the the same issues as @x/@y above.
  71 define void @parsed() {
  72   br label %label
  73
  74 label:
  75   ret void
  76 }
  77
  78 define linkonce_odr void @lazy() {
  79 ; CHECK: define linkonce_odr void @lazy() {
  80 ; CHECK-NEXT: br label %label
  81 ; CHECK-EMPTY:
  82 ; CHECK-NEXT: label:
  83 ; CHECK-NEXT: call void @f(ptr blockaddress(@parsed, %label))
  84   br label %label
  85
  86 label:
  87   call void @f(ptr blockaddress(@parsed, %label))
  88   ret void
  89 }
  90
  91 define void @parsed2() {
  92   call void @lazy()
  93   ret void
  94 }
  95
  96 ; Same test as @lazy, just with one more level of lazy parsed functions.
  97 define void @parsed3() {
  98   br label %label
  99
 100 label:
 101   ret void
 102 }
 103
 104 define linkonce_odr void @lazy1() {
 105 ; CHECK: define linkonce_odr void @lazy1() {
 106 ; CHECK-NEXT: br label %label
 107 ; CHECK-EMPTY:
 108 ; CHECK-NEXT: label:
 109 ; CHECK-NEXT: call void @f(ptr blockaddress(@parsed3, %label))
 110   br label %label
 111
 112 label:
 113   call void @f(ptr blockaddress(@parsed3, %label))
 114   ret void
 115 }
 116
 117 define linkonce_odr void @lazy2() {
 118   call void @lazy1()
 119   ret void
 120 }
 121
 122 define void @parsed4() {
 123   call void @lazy2()
 124   ret void
 125 }