test/Bitcode/blockaddress.ll

   1 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
   2 ; RUN: verify-uselistorder < %s
   3 ; PR9857
   4
   5 define void @f(i8** nocapture %ptr1) {
   6 ; CHECK: define void @f
   7 entry:
   8   br label %here.i
   9
  10 here.i:
  11   store i8* blockaddress(@doit, %here), i8** %ptr1, align 8
  12 ; CHECK: blockaddress(@doit, %here)
  13   br label %doit.exit
  14
  15 doit.exit:
  16   ret void
  17 }
  18
  19 define void @doit(i8** nocapture %pptr) {
  20 ; CHECK: define void @doit
  21 entry:
  22   br label %here
  23
  24 here:
  25   store i8* blockaddress(@doit, %here), i8** %pptr, align 8
  26 ; CHECK: blockaddress(@doit, %here)
  27   br label %end
  28
  29 end:
  30   ret void
  31 }
  32
  33 ; PR13895
  34 define void @doitagain(i8** nocapture %pptr) {
  35 ; CHECK: define void @doitagain
  36 entry:
  37   br label %here
  38
  39 here:
  40   store i8* blockaddress(@doit, %here), i8** %pptr, align 8
  41 ; CHECK: blockaddress(@doit, %here)
  42   br label %end
  43
  44 end:
  45   ret void
  46 }
  47
  48 ; Check a blockaddress taken in two separate functions before the referenced
  49 ; function.
  50 define i8* @take1() {
  51   ret i8* blockaddress(@taken, %bb)
  52 }
  53 define i8* @take2() {
  54   ret i8* blockaddress(@taken, %bb)
  55 }
  56 define void @taken() {
  57   unreachable
  58 bb:
  59   unreachable
  60 }