1; REQUIRES: x86-registered-target 2 3; Test to ensure that only referenced type ID records are emitted into 4; each distributed index file. 5 6; RUN: opt -thinlto-bc -o %t1.o %s 7; RUN: opt -thinlto-bc -o %t2.o %p/Inputs/cfi-distributed.ll 8 9; RUN: llvm-lto2 run -thinlto-distributed-indexes %t1.o %t2.o \ 10; RUN: -o %t3 \ 11; RUN: -r=%t1.o,test,px \ 12; RUN: -r=%t1.o,_ZTV1B, \ 13; RUN: -r=%t1.o,_ZTV1B,px \ 14; RUN: -r=%t1.o,test2, \ 15; RUN: -r=%t2.o,test2,px \ 16; RUN: -r=%t2.o,_ZTV1B2, \ 17; RUN: -r=%t2.o,_ZTV1B2,px 18 19; Since @test calls @test2, the latter should be imported here and the 20; first index file should reference both type ids. 21; RUN: llvm-dis %t1.o.thinlto.bc -o - | FileCheck %s --check-prefix=INDEX1 22; INDEX1: typeid: (name: "_ZTS1A" 23; INDEX1: typeid: (name: "_ZTS1A2" 24 25; The second index file, corresponding to @test2, should only contain the 26; typeid for _ZTS1A. 27; RUN: llvm-dis %t2.o.thinlto.bc -o - | FileCheck %s --check-prefix=INDEX2 28; INDEX2-NOT: typeid: (name: "_ZTS1A" 29; INDEX2: typeid: (name: "_ZTS1A2" 30 31target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 32target triple = "x86_64-grtev4-linux-gnu" 33 34%struct.B = type { %struct.A } 35%struct.A = type { i32 (...)** } 36 37@_ZTV1B = constant { [3 x i8*] } { [3 x i8*] [i8* undef, i8* undef, i8* undef] }, !type !0 38 39define void @test(i8* %b) { 40entry: 41 tail call void @test2(i8* %b) 42 %0 = bitcast i8* %b to i8** 43 %vtable2 = load i8*, i8** %0 44 %1 = tail call i1 @llvm.type.test(i8* %vtable2, metadata !"_ZTS1A") 45 br i1 %1, label %cont, label %trap 46 47trap: 48 tail call void @llvm.trap() 49 unreachable 50 51cont: 52 ret void 53} 54 55declare void @test2(i8*) 56declare i1 @llvm.type.test(i8*, metadata) 57declare void @llvm.trap() 58 59!0 = !{i64 16, !"_ZTS1A"} 60!1 = !{i64 16, !"_ZTS1B"} 61