llvm/test/Bitcode/blockaddress-globalvalue-users.ll

   1 ; RUN: llvm-as %s -o %t.bc
   2 ; RUN: llvm-bcanalyzer -dump %t.bc | FileCheck %s
   3 ; RUN: llvm-dis %t.bc
   4
   5 ; There's a curious case where blockaddress constants may refer to functions
   6 ; outside of the function they're used in. There's a special bitcode function
   7 ; code, FUNC_CODE_BLOCKADDR_USERS, used to signify that this is the case.
   8
   9 ; The intent of this test is two-fold:
  10 ; 1. Ensure we do not produce BLOCKADDR_USERS bitcode function code on the first
  11 ;    fn, @repro, by accident, when @fun and @fun2 use a global value, @foo,
  12 ;    which is initialized to @repro's blockaddress constants.
  13 ; 2. Ensure we can round-trip serializing+desearlizing such case.
  14
  15 ; CHECK: <FUNCTION_BLOCK
  16 ; CHECK-NOT: <BLOCKADDR_USERS
  17
  18 @foo = global i8* blockaddress(@repro, %label)
  19
  20 define void @repro() {
  21   br label %label
  22
  23 label:
  24   call void @fun()
  25   ret void
  26 }
  27
  28 define void @fun() noinline {
  29   call void @f(i8** @foo)
  30   ret void
  31 }
  32
  33 define void @fun2() noinline {
  34   call void @f(i8** @foo)
  35   ret void
  36 }
  37
  38 declare void @f(i8**)