| ; RUN: opt -wholeprogramdevirt -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: Unsat |
| ; 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$merged' |
| ; SUMMARY-NEXT: ResByArg: |
| ; SUMMARY-NEXT: typeid1: |
| ; SUMMARY-NEXT: TTRes: |
| ; SUMMARY-NEXT: Kind: Unsat |
| ; 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: Unsat |
| ; 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: Unsat |
| ; 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$merged' |
| ; SUMMARY-NEXT: ResByArg: |
| ; SUMMARY-NEXT: WithGlobalValueDeadStripping: false |
| ; SUMMARY-NEXT: ... |
| |
| ; CHECK: $"vf4$merged" = comdat largest |
| $vf4 = comdat largest |
| |
| ; CHECK: @vt1 = constant void (i8*)* @vf1 |
| @vt1 = constant void (i8*)* @vf1, !type !0 |
| |
| ; CHECK: @vt2 = constant void (i8*)* @vf2 |
| @vt2 = constant void (i8*)* @vf2, !type !1 |
| |
| @vt3 = constant void (i8*)* @vf3, !type !2 |
| |
| ; CHECK: @vt4 = constant void (i8*)* @"vf4$merged", comdat($"vf4$merged") |
| @vt4 = constant void (i8*)* @vf4, comdat($vf4), !type !3 |
| |
| @vt5 = constant void (i8*)* @vf5, !type !4 |
| |
| ; CHECK: declare void @vf1(i8*) |
| declare void @vf1(i8*) |
| |
| ; CHECK: define void @vf2(i8*) |
| define void @vf2(i8*) { |
| ret void |
| } |
| |
| ; CHECK: define hidden void @"vf3$merged"(i8*) { |
| define internal void @vf3(i8*) { |
| ret void |
| } |
| |
| ; CHECK: define hidden void @"vf4$merged"(i8*) comdat { |
| define internal void @vf4(i8*) comdat { |
| ret void |
| } |
| |
| declare void @vf5(i8*) |
| |
| !0 = !{i32 0, !"typeid1"} |
| !1 = !{i32 0, !"typeid2"} |
| !2 = !{i32 0, !"typeid3"} |
| !3 = !{i32 0, !"typeid4"} |
| !4 = !{i32 0, !5} |
| !5 = distinct !{} |
