test/Transforms/StripSymbols/block-address.ll

   1 ; RUN: opt -strip -S < %s | FileCheck %s
   2 ; PR10286
   3
   4 @main_addrs = constant [2 x i8*] [i8* blockaddress(@f, %FOO), i8* blockaddress(@f, %BAR)]
   5 ; CHECK: @main_addrs = constant [2 x i8*] [i8* blockaddress(@f, %2), i8* blockaddress(@f, %3)]
   6
   7 declare void @foo() nounwind
   8 declare void @bar() nounwind
   9
  10 define void @f(i8* %indirect.goto.dest) nounwind uwtable ssp {
  11 entry:
  12   indirectbr i8* %indirect.goto.dest, [label %FOO, label %BAR]
  13
  14   ; CHECK: indirectbr i8* %0, [label %2, label %3]
  15
  16 FOO:
  17   call void @foo()
  18   ret void
  19
  20 BAR:
  21   call void @bar()
  22   ret void
  23 }