[llvm] 55c71c9 - Simplify WPD test case for hybrid LTO and thinTLO.
via llvm-commits
llvm-commits at lists.llvm.org
Tue Dec 21 09:27:47 PST 2021
Author: minglotus-6
Date: 2021-12-21T17:23:42Z
New Revision: 55c71c9eac9bc7f956a05fa9258fad4f86565450
URL: https://github.com/llvm/llvm-project/commit/55c71c9eac9bc7f956a05fa9258fad4f86565450
DIFF: https://github.com/llvm/llvm-project/commit/55c71c9eac9bc7f956a05fa9258fad4f86565450.diff
LOG: Simplify WPD test case for hybrid LTO and thinTLO.
1) remove verbose information (function linkage types, alignment, TBAA) 2) remove unused element or replace irrelevant element with null (as placeholders) in virtual table, remove unused definitions of deleted elements accordingly.
Differential Revision: https://reviews.llvm.org/D116071
Added:
Modified:
llvm/test/ThinLTO/X86/Inputs/devirt_after_filtering_unreachable_lib.ll
llvm/test/ThinLTO/X86/devirt_after_filtering_unreachable.ll
Removed:
################################################################################
diff --git a/llvm/test/ThinLTO/X86/Inputs/devirt_after_filtering_unreachable_lib.ll b/llvm/test/ThinLTO/X86/Inputs/devirt_after_filtering_unreachable_lib.ll
index 038a70d091452..da7bd0170d956 100644
--- a/llvm/test/ThinLTO/X86/Inputs/devirt_after_filtering_unreachable_lib.ll
+++ b/llvm/test/ThinLTO/X86/Inputs/devirt_after_filtering_unreachable_lib.ll
@@ -3,124 +3,37 @@ source_filename = "lib.cc"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
-%class.Derived = type { %class.Base }
-%class.Base = type { i32 (...)** }
+%Derived = type { %Base }
+%Base = type { i32 (...)** }
-$_ZN7DerivedD2Ev = comdat any
+ at _ZTV7Derived = constant { [3 x i8*] } { [3 x i8*] [i8* null, i8* null, i8* bitcast (void (%Derived*)* @_ZN7DerivedD0Ev to i8*)] }, !type !0, !type !1, !vcall_visibility !2
+ at _ZTV4Base = constant { [3 x i8*] } { [3 x i8*] [i8* null, i8* null, i8* bitcast (void (%Base*)* @_ZN4BaseD0Ev to i8*)] }, !type !0, !vcall_visibility !2
-$_ZN7DerivedD0Ev = comdat any
-
-$_ZN4BaseD2Ev = comdat any
-
-$_ZN4BaseD0Ev = comdat any
-
-$_ZTS4Base = comdat any
-
-$_ZTI4Base = comdat any
-
-$_ZTV4Base = comdat any
-
- at _ZTV7Derived = hidden unnamed_addr constant { [5 x i8*] } { [5 x i8*] [i8* null, i8* bitcast ({ i8*, i8*, i8* }* @_ZTI7Derived to i8*), i8* bitcast (void (%class.Derived*)* @_ZN7DerivedD2Ev to i8*), i8* bitcast (void (%class.Derived*)* @_ZN7DerivedD0Ev to i8*), i8* bitcast (void (%class.Derived*)* @_ZN7Derived1xEv to i8*)] }, align 8, !type !0, !type !1, !type !2, !type !3, !vcall_visibility !4
- at _ZTVN10__cxxabiv120__si_class_type_infoE = external dso_local global i8*
- at _ZTS7Derived = hidden constant [9 x i8] c"7Derived\00", align 1
- at _ZTVN10__cxxabiv117__class_type_infoE = external dso_local global i8*
- at _ZTS4Base = linkonce_odr hidden constant [6 x i8] c"4Base\00", comdat, align 1
- at _ZTI4Base = linkonce_odr hidden constant { i8*, i8* } { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv117__class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @_ZTS4Base, i32 0, i32 0) }, comdat, align 8
- at _ZTI7Derived = hidden constant { i8*, i8*, i8* } { i8* bitcast (i8** getelementptr inbounds (i8*, i8** @_ZTVN10__cxxabiv120__si_class_type_infoE, i64 2) to i8*), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @_ZTS7Derived, i32 0, i32 0), i8* bitcast ({ i8*, i8* }* @_ZTI4Base to i8*) }, align 8
- at _ZTV4Base = linkonce_odr hidden unnamed_addr constant { [5 x i8*] } { [5 x i8*] [i8* null, i8* bitcast ({ i8*, i8* }* @_ZTI4Base to i8*), i8* bitcast (void (%class.Base*)* @_ZN4BaseD2Ev to i8*), i8* bitcast (void (%class.Base*)* @_ZN4BaseD0Ev to i8*), i8* bitcast (void ()* @__cxa_pure_virtual to i8*)] }, comdat, align 8, !type !0, !type !1, !vcall_visibility !4
- at str = private unnamed_addr constant [11 x i8] c"Derived::x\00", align 1
- at str.3 = private unnamed_addr constant [23 x i8] c"In Derived::~Derived()\00", align 1
- at str.4 = private unnamed_addr constant [17 x i8] c"In Base::~Base()\00", align 1
-
-; Function Attrs: mustprogress nofree nounwind uwtable
-define hidden void @_ZN7Derived1xEv(%class.Derived* nocapture nonnull readnone align 8 %this) unnamed_addr align 2 {
+define void @_Z3fooP4Base(%Base* %b) {
entry:
- %puts = tail call i32 @puts(i8* nonnull dereferenceable(1) getelementptr inbounds ([11 x i8], [11 x i8]* @str, i64 0, i64 0))
- ret void
-}
-
-; Function Attrs: mustprogress nounwind uwtable
-define hidden void @_Z3fooP4Base(%class.Base* %b) local_unnamed_addr {
-entry:
- %isnull = icmp eq %class.Base* %b, null
- br i1 %isnull, label %delete.end, label %delete.notnull
-
-delete.notnull: ; preds = %entry
- %0 = bitcast %class.Base* %b to void (%class.Base*)***
- %vtable = load void (%class.Base*)**, void (%class.Base*)*** %0, align 8, !tbaa !9
- %1 = bitcast void (%class.Base*)** %vtable to i8*
+ %0 = bitcast %Base* %b to void (%Base*)***
+ %vtable = load void (%Base*)**, void (%Base*)*** %0
+ %1 = bitcast void (%Base*)** %vtable to i8*
%2 = tail call i1 @llvm.type.test(i8* %1, metadata !"_ZTS4Base")
tail call void @llvm.assume(i1 %2)
- %vfn = getelementptr inbounds void (%class.Base*)*, void (%class.Base*)** %vtable, i64 1
- %3 = load void (%class.Base*)*, void (%class.Base*)** %vfn, align 8
- tail call void %3(%class.Base* nonnull align 8 dereferenceable(8) %b)
- br label %delete.end
-
-delete.end: ; preds = %delete.notnull, %entry
+ %vfn = getelementptr inbounds void (%Base*)*, void (%Base*)** %vtable, i64 0
+ %3 = load void (%Base*)*, void (%Base*)** %vfn
+ tail call void %3(%Base* %b)
ret void
}
declare i1 @llvm.type.test(i8*, metadata)
-declare void @llvm.assume(i1 noundef)
-
-define linkonce_odr hidden void @_ZN7DerivedD2Ev(%class.Derived* nonnull align 8 dereferenceable(8) %this) unnamed_addr comdat align 2 {
-entry:
- %0 = getelementptr inbounds %class.Derived, %class.Derived* %this, i64 0, i32 0, i32 0
- store i32 (...)** bitcast (i8** getelementptr inbounds ({ [5 x i8*] }, { [5 x i8*] }* @_ZTV7Derived, i64 0, inrange i32 0, i64 2) to i32 (...)**), i32 (...)*** %0, align 8, !tbaa !9
- %puts = tail call i32 @puts(i8* nonnull dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @str.3, i64 0, i64 0))
- store i32 (...)** bitcast (i8** getelementptr inbounds ({ [5 x i8*] }, { [5 x i8*] }* @_ZTV4Base, i64 0, inrange i32 0, i64 2) to i32 (...)**), i32 (...)*** %0, align 8, !tbaa !9
- %puts.i = tail call i32 @puts(i8* nonnull dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @str.4, i64 0, i64 0))
- ret void
-}
-
-; Function Attrs: nounwind uwtable
-define linkonce_odr hidden void @_ZN7DerivedD0Ev(%class.Derived* nonnull align 8 dereferenceable(8) %this) unnamed_addr comdat align 2 {
-entry:
- %0 = getelementptr inbounds %class.Derived, %class.Derived* %this, i64 0, i32 0, i32 0
- store i32 (...)** bitcast (i8** getelementptr inbounds ({ [5 x i8*] }, { [5 x i8*] }* @_ZTV7Derived, i64 0, inrange i32 0, i64 2) to i32 (...)**), i32 (...)*** %0, align 8, !tbaa !9
- %puts.i = tail call i32 @puts(i8* nonnull dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @str.3, i64 0, i64 0))
- store i32 (...)** bitcast (i8** getelementptr inbounds ({ [5 x i8*] }, { [5 x i8*] }* @_ZTV4Base, i64 0, inrange i32 0, i64 2) to i32 (...)**), i32 (...)*** %0, align 8, !tbaa !9
- %puts.i.i = tail call i32 @puts(i8* nonnull dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @str.4, i64 0, i64 0))
- %1 = bitcast %class.Derived* %this to i8*
- tail call void @_ZdlPv(i8* nonnull %1)
- ret void
-}
+declare void @llvm.assume(i1)
-; Function Attrs: nounwind uwtable
-define linkonce_odr hidden void @_ZN4BaseD2Ev(%class.Base* nonnull align 8 dereferenceable(8) %this) unnamed_addr comdat align 2 {
-entry:
- %0 = getelementptr inbounds %class.Base, %class.Base* %this, i64 0, i32 0
- store i32 (...)** bitcast (i8** getelementptr inbounds ({ [5 x i8*] }, { [5 x i8*] }* @_ZTV4Base, i64 0, inrange i32 0, i64 2) to i32 (...)**), i32 (...)*** %0, align 8, !tbaa !9
- %puts = tail call i32 @puts(i8* nonnull dereferenceable(1) getelementptr inbounds ([17 x i8], [17 x i8]* @str.4, i64 0, i64 0))
+define void @_ZN7DerivedD0Ev(%Derived* %this) {
ret void
}
-; Function Attrs: nounwind uwtable
-define linkonce_odr hidden void @_ZN4BaseD0Ev(%class.Base* nonnull align 8 dereferenceable(8) %this) unnamed_addr comdat align 2 {
-entry:
- tail call void @llvm.trap()
+define void @_ZN4BaseD0Ev(%Base* %this) {
unreachable
}
-declare dso_local void @__cxa_pure_virtual() unnamed_addr
-
-declare void @llvm.trap()
-
-declare dso_local void @_ZdlPv(i8*) local_unnamed_addr
-
-declare noundef i32 @puts(i8* nocapture noundef readonly) local_unnamed_addr
-
-!llvm.module.flags = !{!5, !6, !7}
-
!0 = !{i64 16, !"_ZTS4Base"}
-!1 = !{i64 32, !"_ZTSM4BaseFvvE.virtual"}
-!2 = !{i64 16, !"_ZTS7Derived"}
-!3 = !{i64 32, !"_ZTSM7DerivedFvvE.virtual"}
-!4 = !{i64 1}
-!5 = !{i32 1, !"wchar_size", i32 4}
-!6 = !{i32 1, !"Virtual Function Elim", i32 0}
-!7 = !{i32 7, !"uwtable", i32 1}
-!9 = !{!10, !10, i64 0}
-!10 = !{!"vtable pointer", !11, i64 0}
-!11 = !{!"Simple C++ TBAA"}
+!1 = !{i64 16, !"_ZTS7Derived"}
+!2 = !{i64 1}
diff --git a/llvm/test/ThinLTO/X86/devirt_after_filtering_unreachable.ll b/llvm/test/ThinLTO/X86/devirt_after_filtering_unreachable.ll
index 53037ac4df7ff..cdc3f574e3e2c 100644
--- a/llvm/test/ThinLTO/X86/devirt_after_filtering_unreachable.ll
+++ b/llvm/test/ThinLTO/X86/devirt_after_filtering_unreachable.ll
@@ -14,32 +14,14 @@
; Tests that devirtualization happens.
; RUN: llvm-lto2 run -save-temps %t-main.bc %t-foo.bc -pass-remarks=. -o %t \
; RUN: -whole-program-visibility \
-; RUN: -r=%t-foo.bc,_ZN7Derived1xEv,pl \
-; RUN: -r=%t-foo.bc,puts, \
; RUN: -r=%t-foo.bc,_Z3fooP4Base,pl \
-; RUN: -r=%t-foo.bc,_ZN7DerivedD2Ev,pl \
; RUN: -r=%t-foo.bc,_ZN7DerivedD0Ev,pl \
-; RUN: -r=%t-foo.bc,_ZN4BaseD2Ev,pl \
; RUN: -r=%t-foo.bc,_ZN4BaseD0Ev,pl \
-; RUN: -r=%t-foo.bc,__cxa_pure_virtual, \
-; RUN: -r=%t-foo.bc,_ZdlPv, \
; RUN: -r=%t-foo.bc,_ZTV7Derived,l \
-; RUN: -r=%t-foo.bc,_ZTVN10__cxxabiv120__si_class_type_infoE, \
-; RUN: -r=%t-foo.bc,_ZTS7Derived,pl \
-; RUN: -r=%t-foo.bc,_ZTVN10__cxxabiv117__class_type_infoE, \
-; RUN: -r=%t-foo.bc,_ZTS4Base,pl \
-; RUN: -r=%t-foo.bc,_ZTI4Base,pl \
-; RUN: -r=%t-foo.bc,_ZTI7Derived,pl \
; RUN: -r=%t-foo.bc,_ZTV4Base,l \
-; RUN: -r=%t-foo.bc,__cxa_pure_virtual, \
-; RUN: -r=%t-foo.bc,_ZN7Derived1xEv, \
-; RUN: -r=%t-foo.bc,_ZN7DerivedD2Ev, \
; RUN: -r=%t-foo.bc,_ZN7DerivedD0Ev, \
-; RUN: -r=%t-foo.bc,_ZN4BaseD2Ev, \
; RUN: -r=%t-foo.bc,_ZN4BaseD0Ev, \
; RUN: -r=%t-foo.bc,_ZTV7Derived,pl \
-; RUN: -r=%t-foo.bc,_ZTI4Base, \
-; RUN: -r=%t-foo.bc,_ZTI7Derived, \
; RUN: -r=%t-foo.bc,_ZTV4Base,pl \
; RUN: -r=%t-main.bc,main,plx \
; RUN: -r=%t-main.bc,_Znwm,pl \
@@ -62,22 +44,10 @@
; RUN: -whole-program-visibility \
; RUN: -wholeprogramdevirt-print-index-based \
; RUN: -o %t5 \
-; RUN: -r=%t4.o,_ZN7Derived1xEv,pl \
-; RUN: -r=%t4.o,puts, \
; RUN: -r=%t4.o,_Z3fooP4Base,pl \
-; RUN: -r=%t4.o,_ZN7DerivedD2Ev,pl \
; RUN: -r=%t4.o,_ZN7DerivedD0Ev,pl \
-; RUN: -r=%t4.o,_ZN4BaseD2Ev,pl \
; RUN: -r=%t4.o,_ZN4BaseD0Ev,pl \
-; RUN: -r=%t4.o,__cxa_pure_virtual, \
-; RUN: -r=%t4.o,_ZdlPv, \
; RUN: -r=%t4.o,_ZTV7Derived,pl \
-; RUN: -r=%t4.o,_ZTVN10__cxxabiv120__si_class_type_infoE, \
-; RUN: -r=%t4.o,_ZTS7Derived,pl \
-; RUN: -r=%t4.o,_ZTVN10__cxxabiv117__class_type_infoE, \
-; RUN: -r=%t4.o,_ZTS4Base,pl \
-; RUN: -r=%t4.o,_ZTI4Base,pl \
-; RUN: -r=%t4.o,_ZTI7Derived,pl \
; RUN: -r=%t4.o,_ZTV4Base,pl \
; RUN: -r=%t3.o,main,plx \
; RUN: -r=%t3.o,_Znwm, \
@@ -93,31 +63,22 @@ source_filename = "tmp.cc"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
-%class.Derived = type { %class.Base }
-%class.Base = type { i32 (...)** }
+%Derived = type { %Base }
+%Base = type { i32 (...)** }
- at _ZTV7Derived = external dso_local unnamed_addr constant { [5 x i8*] }, align 8
+ at _ZTV7Derived = external constant { [5 x i8*] }
-define hidden i32 @main() local_unnamed_addr {
+define hidden i32 @main() {
entry:
- %call = tail call noalias nonnull dereferenceable(8) i8* @_Znwm(i64 8)
- %0 = bitcast i8* %call to %class.Derived*
- %1 = getelementptr inbounds %class.Derived, %class.Derived* %0, i64 0, i32 0, i32 0
- store i32 (...)** bitcast (i8** getelementptr inbounds ({ [5 x i8*] }, { [5 x i8*] }* @_ZTV7Derived, i64 0, inrange i32 0, i64 2) to i32 (...)**), i32 (...)*** %1, align 8, !tbaa !4
- %2 = getelementptr %class.Derived, %class.Derived* %0, i64 0, i32 0
- tail call void @_Z3fooP4Base(%class.Base* nonnull %2)
+ %call = tail call i8* @_Znwm(i64 8)
+ %0 = bitcast i8* %call to %Derived*
+ %1 = getelementptr inbounds %Derived, %Derived* %0, i64 0, i32 0, i32 0
+ store i32 (...)** bitcast (i8** getelementptr inbounds ({ [5 x i8*] }, { [5 x i8*] }* @_ZTV7Derived, i64 0, inrange i32 0, i64 2) to i32 (...)**), i32 (...)*** %1
+ %2 = getelementptr %Derived, %Derived* %0, i64 0, i32 0
+ tail call void @_Z3fooP4Base(%Base* nonnull %2)
ret i32 0
}
-declare dso_local nonnull i8* @_Znwm(i64) local_unnamed_addr
+declare i8* @_Znwm(i64)
-declare dso_local void @_Z3fooP4Base(%class.Base*) local_unnamed_addr
-
-!llvm.module.flags = !{!0, !1, !2}
-
-!0 = !{i32 1, !"wchar_size", i32 4}
-!1 = !{i32 1, !"Virtual Function Elim", i32 0}
-!2 = !{i32 7, !"uwtable", i32 1}
-!4 = !{!5, !5, i64 0}
-!5 = !{!"vtable pointer", !6, i64 0}
-!6 = !{!"Simple C++ TBAA"}
\ No newline at end of file
+declare void @_Z3fooP4Base(%Base*)
More information about the llvm-commits
mailing list