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