1; Test that we correctly import an unsat resolution for type identifier "typeid1". 2; RUN: opt -S -lowertypetests -lowertypetests-summary-action=import -lowertypetests-read-summary=%S/Inputs/import-unsat.yaml -lowertypetests-write-summary=%t < %s | FileCheck %s 3; RUN: FileCheck --check-prefix=SUMMARY %s < %t 4 5; SUMMARY: GlobalValueMap: 6; SUMMARY-NEXT: 42: 7; SUMMARY-NEXT: - Linkage: 0 8; SUMMARY-NEXT: Visibility: 0 9; SUMMARY-NEXT: NotEligibleToImport: false 10; SUMMARY-NEXT: Live: true 11; SUMMARY-NEXT: Local: false 12; SUMMARY-NEXT: CanAutoHide: false 13; SUMMARY-NEXT: TypeTests: [ 123 ] 14; SUMMARY-NEXT: TypeIdMap: 15; SUMMARY-NEXT: typeid1: 16; SUMMARY-NEXT: TTRes: 17; SUMMARY-NEXT: Kind: Unsat 18; SUMMARY-NEXT: SizeM1BitWidth: 0 19 20target datalayout = "e-p:32:32" 21 22declare i1 @llvm.type.test(i8* %ptr, metadata %bitset) nounwind readnone 23 24define i1 @foo(i8* %p) { 25 %x = call i1 @llvm.type.test(i8* %p, metadata !"typeid1") 26 ; CHECK: ret i1 false 27 ret i1 %x 28} 29