test/Transforms/CrossDSOCFI/cfi_functions.ll

   1 ; Test that types referenced in ThinLTO-style !cfi.functions are known to __cfi_check.
   2 ; RUN: opt -S -cross-dso-cfi < %s | FileCheck %s
   3 ; RUN: opt -S -passes=cross-dso-cfi < %s | FileCheck %s
   4
   5 ; CHECK:      define void @__cfi_check(
   6 ; CHECK:        switch i64
   7 ; CHECK-NEXT:     i64 1234, label
   8 ; CHECK-NEXT:     i64 5678, label
   9 ; CHECK-NEXT:   ]
  10
  11 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  12 target triple = "x86_64-unknown-linux-gnu"
  13
  14 !cfi.functions = !{!0, !1}
  15 !llvm.module.flags = !{!6}
  16
  17 !0 = !{!"f", i8 0, !2, !4}
  18 !1 = !{!"g", i8 1, !3, !5}
  19 !2 = !{i64 0, !"typeid1"}
  20 !3 = !{i64 0, !"typeid2"}
  21 !4 = !{i64 0, i64 1234}
  22 !5 = !{i64 0, i64 5678}
  23 !6 = !{i32 4, !"Cross-DSO CFI", i32 1}