102 lines
3.2 KiB
LLVM
102 lines
3.2 KiB
LLVM
; RUN: opt -passes=wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -S -o - %s | FileCheck %s
|
|
; RUN: FileCheck --check-prefix=SUMMARY %s < %t
|
|
|
|
; SUMMARY: TypeIdMap:
|
|
; SUMMARY-NEXT: typeid3:
|
|
; SUMMARY-NEXT: TTRes:
|
|
; SUMMARY-NEXT: Kind: Unknown
|
|
; SUMMARY-NEXT: SizeM1BitWidth: 0
|
|
; SUMMARY-NEXT: AlignLog2: 0
|
|
; SUMMARY-NEXT: SizeM1: 0
|
|
; SUMMARY-NEXT: BitMask: 0
|
|
; SUMMARY-NEXT: InlineBits: 0
|
|
; SUMMARY-NEXT: WPDRes:
|
|
; SUMMARY-NEXT: 0:
|
|
; SUMMARY-NEXT: Kind: SingleImpl
|
|
; SUMMARY-NEXT: SingleImplName: vf3.llvm.merged
|
|
; SUMMARY-NEXT: ResByArg:
|
|
; SUMMARY-NEXT: typeid1:
|
|
; SUMMARY-NEXT: TTRes:
|
|
; SUMMARY-NEXT: Kind: Unknown
|
|
; SUMMARY-NEXT: SizeM1BitWidth: 0
|
|
; SUMMARY-NEXT: AlignLog2: 0
|
|
; SUMMARY-NEXT: SizeM1: 0
|
|
; SUMMARY-NEXT: BitMask: 0
|
|
; SUMMARY-NEXT: InlineBits: 0
|
|
; SUMMARY-NEXT: WPDRes:
|
|
; SUMMARY-NEXT: 0:
|
|
; SUMMARY-NEXT: Kind: SingleImpl
|
|
; SUMMARY-NEXT: SingleImplName: vf1
|
|
; SUMMARY-NEXT: ResByArg:
|
|
; SUMMARY-NEXT: typeid2:
|
|
; SUMMARY-NEXT: TTRes:
|
|
; SUMMARY-NEXT: Kind: Unknown
|
|
; SUMMARY-NEXT: SizeM1BitWidth: 0
|
|
; SUMMARY-NEXT: AlignLog2: 0
|
|
; SUMMARY-NEXT: SizeM1: 0
|
|
; SUMMARY-NEXT: BitMask: 0
|
|
; SUMMARY-NEXT: InlineBits: 0
|
|
; SUMMARY-NEXT: WPDRes:
|
|
; SUMMARY-NEXT: 0:
|
|
; SUMMARY-NEXT: Kind: SingleImpl
|
|
; SUMMARY-NEXT: SingleImplName: vf2
|
|
; SUMMARY-NEXT: ResByArg:
|
|
; SUMMARY-NEXT: typeid4:
|
|
; SUMMARY-NEXT: TTRes:
|
|
; SUMMARY-NEXT: Kind: Unknown
|
|
; SUMMARY-NEXT: SizeM1BitWidth: 0
|
|
; SUMMARY-NEXT: AlignLog2: 0
|
|
; SUMMARY-NEXT: SizeM1: 0
|
|
; SUMMARY-NEXT: BitMask: 0
|
|
; SUMMARY-NEXT: InlineBits: 0
|
|
; SUMMARY-NEXT: WPDRes:
|
|
; SUMMARY-NEXT: 0:
|
|
; SUMMARY-NEXT: Kind: SingleImpl
|
|
; SUMMARY-NEXT: SingleImplName: vf4.llvm.merged
|
|
; SUMMARY-NEXT: ResByArg:
|
|
; SUMMARY-NEXT: WithGlobalValueDeadStripping: false
|
|
; SUMMARY-NEXT: ...
|
|
|
|
; CHECK: $vf4.llvm.merged = comdat largest
|
|
$vf4 = comdat largest
|
|
|
|
; CHECK: @vt1 = constant ptr @vf1
|
|
@vt1 = constant ptr @vf1, !type !0
|
|
|
|
; CHECK: @vt2 = constant ptr @vf2
|
|
@vt2 = constant ptr @vf2, !type !1
|
|
|
|
@vt3 = constant ptr @vf3, !type !2
|
|
|
|
; CHECK: @vt4 = constant ptr @vf4.llvm.merged, comdat($vf4.llvm.merged)
|
|
@vt4 = constant ptr @vf4, comdat($vf4), !type !3
|
|
|
|
@vt5 = constant ptr @vf5, !type !4
|
|
|
|
; CHECK: declare void @vf1(ptr)
|
|
declare void @vf1(ptr)
|
|
|
|
; CHECK: define void @vf2(ptr %0)
|
|
define void @vf2(ptr) {
|
|
ret void
|
|
}
|
|
|
|
; CHECK: define hidden void @vf3.llvm.merged(ptr %0) {
|
|
define internal void @vf3(ptr) {
|
|
ret void
|
|
}
|
|
|
|
; CHECK: define hidden void @vf4.llvm.merged(ptr %0) comdat {
|
|
define internal void @vf4(ptr) comdat {
|
|
ret void
|
|
}
|
|
|
|
declare void @vf5(ptr)
|
|
|
|
!0 = !{i32 0, !"typeid1"}
|
|
!1 = !{i32 0, !"typeid2"}
|
|
!2 = !{i32 0, !"typeid3"}
|
|
!3 = !{i32 0, !"typeid4"}
|
|
!4 = !{i32 0, !5}
|
|
!5 = distinct !{}
|