test/Transforms/LowerTypeTests/blockaddress.ll

   1 ; RUN: opt -S %s -lowertypetests | FileCheck %s
   2
   3
   4 ; CHECK: define hidden i8* @f2.cfi() !type !0 {
   5 ; CHECK-NEXT:  br label %b
   6 ; CHECK: b:
   7 ; CHECK-NEXT:  ret i8* blockaddress(@f2.cfi, %b)
   8 ; CHECK-NEXT: }
   9
  10 target triple = "x86_64-unknown-linux"
  11
  12 define void @f1() {
  13 entry:
  14   %0 = call i1 @llvm.type.test(i8* bitcast (i8* ()* @f2 to i8*), metadata !"_ZTSFvP3bioE")
  15   ret void
  16 }
  17
  18 declare i1 @llvm.type.test(i8*, metadata)
  19
  20 define i8* @f2() !type !5 {
  21   br label %b
  22
  23 b:
  24   ret i8* blockaddress(@f2, %b)
  25 }
  26
  27 !5 = !{i64 0, !"_ZTSFvP3bioE"}