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
11target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
12target 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}
24