| ; RUN: opt -wholeprogramdevirt -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-write-summary=%t -o /dev/null %s | |
| ; RUN: FileCheck %s < %t | |
| ; CHECK: --- | |
| ; CHECK-NEXT: GlobalValueMap: | |
| ; CHECK-NEXT: TypeIdMap: | |
| ; CHECK-NEXT: WithGlobalValueDeadStripping: false | |
| ; CHECK-NEXT: ... |