1; RUN: opt -thinlto-bc -thinlto-split-lto-unit -o %t %s 2; RUN: llvm-modextract -b -n 0 -o - %t | llvm-dis | FileCheck --check-prefix=M0 %s 3; RUN: llvm-modextract -b -n 1 -o - %t | llvm-dis | FileCheck --check-prefix=M1 %s 4 5; M0: @g = external constant [10 x ptr]{{$}} 6; M1: @g = constant [10 x ptr] 7@g = constant [10 x ptr] [ 8 ptr @ok1, 9 ptr @ok2, 10 ptr @wrongtype1, 11 ptr @wrongtype2, 12 ptr @wrongtype3, 13 ptr @wrongtype4, 14 ptr @wrongtype5, 15 ptr @usesthis, 16 ptr @reads, 17 ptr @attributedFunc 18], !type !0 19 20; M0: define i64 @ok1 21; M1: define available_externally i64 @ok1 22define i64 @ok1(ptr %this) { 23 ret i64 42 24} 25 26; M0: define i64 @ok2 27; M1: define available_externally i64 @ok2 28define i64 @ok2(ptr %this, i64 %arg) { 29 %1 = tail call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %arg, i64 %arg) 30 ret i64 %arg 31} 32 33; M1: declare { i64, i1 } @llvm.sadd.with.overflow.i64(i64, i64) 34declare { i64, i1 } @llvm.sadd.with.overflow.i64(i64, i64) 35 36; M0: define void @wrongtype1 37; M1: declare void @wrongtype1() 38define void @wrongtype1(ptr) { 39 ret void 40} 41 42; M0: define i128 @wrongtype2 43; M1: declare void @wrongtype2() 44define i128 @wrongtype2(ptr) { 45 ret i128 0 46} 47 48; M0: define i64 @wrongtype3 49; M1: declare void @wrongtype3() 50define i64 @wrongtype3() { 51 ret i64 0 52} 53 54; M0: define i64 @wrongtype4 55; M1: declare void @wrongtype4() 56define i64 @wrongtype4(ptr, ptr) { 57 ret i64 0 58} 59 60; M0: define i64 @wrongtype5 61; M1: declare void @wrongtype5() 62define i64 @wrongtype5(ptr, i128) { 63 ret i64 0 64} 65 66; M0: define i64 @usesthis 67; M1: declare void @usesthis() 68define i64 @usesthis(ptr %this) { 69 %i = ptrtoint ptr %this to i64 70 ret i64 %i 71} 72 73; M0: define i8 @reads 74; M1: declare void @reads() 75define i8 @reads(ptr %this) { 76 %l = load i8, ptr %this 77 ret i8 %l 78} 79 80; Check function attributes are copied over splitted module 81; M0: declare dso_local noundef ptr @attributedFunc(ptr noalias, i8 zeroext) unnamed_addr #[[ATTR0:[0-9]+]] 82; M1: declare dso_local void @attributedFunc() unnamed_addr #[[ATTR1:[0-9]+]] 83declare dso_local noundef ptr @attributedFunc(ptr noalias, i8 zeroext) unnamed_addr alwaysinline willreturn 84; M0: attributes #[[ATTR0]] = { alwaysinline willreturn } 85; M1: attributes #[[ATTR1]] = { alwaysinline willreturn } 86 87!0 = !{i32 0, !"typeid"} 88