llvm/test/Bitcode/blockaddress-aggregate-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 produce BLOCKADDR_USERS bitcode function code on the first fn,
  11 ;    @repro, since @fun and @fun2 both refer to @repro via blockaddress
  12 ;    constants.
  13 ; 2. Ensure we can round-trip serializing+desearlizing such case.
  14
  15 ; CHECK: <FUNCTION_BLOCK
  16 ; CHECK: <BLOCKADDR_USERS op0=2 op1=1
  17 ; CHECK: <FUNCTION_BLOCK
  18 ; CHECK: <FUNCTION_BLOCK
  19
  20 %struct.ptrs = type { i8*, i8* }
  21
  22 define void @repro() {
  23   br label %label
  24
  25 label:
  26   call void @fun()
  27   ret void
  28 }
  29
  30 define void @fun() noinline {
  31   call void @f(%struct.ptrs { i8* blockaddress(@repro, %label), i8* blockaddress(@repro, %label) })
  32   ret void
  33 }
  34
  35 define void @fun2() noinline {
  36   call void @f(%struct.ptrs { i8* blockaddress(@repro, %label), i8* blockaddress(@repro, %label) })
  37   ret void
  38 }
  39
  40 declare void @f(%struct.ptrs)