Index: lib/Transforms/IPO/GlobalSplit.cpp =================================================================== --- lib/Transforms/IPO/GlobalSplit.cpp +++ lib/Transforms/IPO/GlobalSplit.cpp @@ -85,7 +85,12 @@ uint64_t ByteOffset = cast( cast(Type->getOperand(0))->getValue()) ->getZExtValue(); - if (ByteOffset < SplitBegin || ByteOffset >= SplitEnd) + // Type metadata may be attached one byte after the end of the vtable, for + // classes without virtual methods in Itanium ABI. AFAIK, it is never + // attached to the first byte of a vtable. Subtract one to get the right + // slice. + uint64_t AttachedTo = (ByteOffset == 0) ? ByteOffset : ByteOffset - 1; + if (AttachedTo < SplitBegin || AttachedTo >= SplitEnd) continue; SplitGV->addMetadata( LLVMContext::MD_type, Index: test/Transforms/GlobalSplit/basic.ll =================================================================== --- test/Transforms/GlobalSplit/basic.ll +++ test/Transforms/GlobalSplit/basic.ll @@ -12,13 +12,13 @@ ] ; CHECK-NOT: @global = -; CHECK: @global.0 = private constant [2 x i8* ()*] [i8* ()* @f1, i8* ()* @f2], !type [[T1:![0-9]+$]] -; CHECK: @global.1 = private constant [1 x i8* ()*] [i8* ()* @f3], !type [[T2:![0-9]+$]] +; CHECK: @global.0 = private constant [2 x i8* ()*] [i8* ()* @f1, i8* ()* @f2], !type [[T1:![0-9]+]], !type [[T2:![0-9]+]], !type [[T3:![0-9]+$]] +; CHECK: @global.1 = private constant [1 x i8* ()*] [i8* ()* @f3], !type [[T4:![0-9]+]], !type [[T5:![0-9]+$]] ; CHECK-NOT: @global = @global = internal constant { [2 x i8* ()*], [1 x i8* ()*] } { [2 x i8* ()*] [i8* ()* @f1, i8* ()* @f2], [1 x i8* ()*] [i8* ()* @f3] -}, !type !0, !type !1 +}, !type !0, !type !1, !type !2, !type !3, !type !4 ; CHECK: define i8* @f1() define i8* @f1() { @@ -51,7 +51,13 @@ declare i1 @llvm.type.test(i8*, metadata) nounwind readnone -; CHECK: [[T1]] = !{i32 8, !"foo"} -; CHECK: [[T2]] = !{i32 0, !"bar"} -!0 = !{i32 8, !"foo"} -!1 = !{i32 16, !"bar"} +; CHECK: [[T1]] = !{i32 0, !"foo"} +; CHECK: [[T2]] = !{i32 15, !"bar"} +; CHECK: [[T3]] = !{i32 16, !"a"} +; CHECK: [[T4]] = !{i32 1, !"b"} +; CHECK: [[T5]] = !{i32 8, !"c"} +!0 = !{i32 0, !"foo"} +!1 = !{i32 15, !"bar"} +!2 = !{i32 16, !"a"} +!3 = !{i32 17, !"b"} +!4 = !{i32 24, !"c"}