1Replicate this scenario:
2
3$ cat a.c
4struct Foo { int x; };
5int g(struct Foo *p);
6int main() {
7  struct Foo f = {42};
8  return g(&f);
9}
10
11$ cat b.c
12struct Foo { int x; };
13int g(struct Foo *p) { return p->x; }
14
15$ cl -c a.c b.c -Zi -Fdts.pdb
16
17$ lld-link a.obj b.obj -debug -entry:main -nodefaultlib -out:t.exe
18
19RUN: rm -rf %t && mkdir -p %t && cd %t
20RUN: yaml2obj %S/Inputs/pdb-type-server-simple-a.yaml -o a.obj
21RUN: yaml2obj %S/Inputs/pdb-type-server-simple-b.yaml -o b.obj
22RUN: llvm-pdbutil yaml2pdb %S/Inputs/pdb-type-server-simple-ts.yaml -pdb ts.pdb
23RUN: lld-link a.obj b.obj -entry:main -debug -out:t.exe -pdb:t.pdb -nodefaultlib /summary | FileCheck %s -check-prefix SUMMARY
24RUN: llvm-pdbutil dump -symbols -types -ids -globals %t/t.pdb | FileCheck %s
25
26
27CHECK-LABEL: Types (TPI Stream)
28CHECK: ============================================================
29
30CHECK:   [[FOO_DECL:[^ ]*]] | LF_STRUCTURE [size = 36] `Foo`
31
32CHECK:   [[FOO_PTR:[^ ]*]] | LF_POINTER [size = 12]
33CHECK-NEXT:            referent = [[FOO_DECL]]
34
35CHECK:   [[G_ARGS:[^ ]*]] | LF_ARGLIST [size = 12]
36CHECK-NEXT:            [[FOO_PTR]]: `Foo*`
37
38CHECK:   [[G_PROTO:[^ ]*]] | LF_PROCEDURE [size = 16]
39CHECK-NEXT:       return type = 0x0074 (int), # args = 1, param list = [[G_ARGS]]
40CHECK-NEXT:       calling conv = cdecl, options = None
41
42CHECK:   [[FOO_COMPLETE:[^ ]*]] | LF_STRUCTURE [size = 36] `Foo`
43CHECK-NEXT:       unique name: `.?AUFoo@@`
44CHECK-NEXT:       vtable: <no type>, base list: <no type>, field list: 0x{{.*}}
45CHECK:            options: has unique name
46CHECK:   [[MAIN_PROTO:[^ ]*]] | LF_PROCEDURE [size = 16]
47CHECK:            return type = 0x0074 (int), # args = 0, param list = 0x{{.*}}
48CHECK:            calling conv = cdecl, options = None
49
50
51CHECK-LABEL:                      Types (IPI Stream)
52CHECK: ============================================================
53CHECK:   [[MAIN_ID:[^ ]*]] | LF_FUNC_ID [size = 20]
54CHECK:            name = main, type = [[MAIN_PROTO]], parent scope = <no type>
55CHECK:   [[G_ID:[^ ]*]] | LF_FUNC_ID [size = 16]
56CHECK:            name = g, type = [[G_PROTO]], parent scope = <no type>
57CHECK:   [[A_BUILD:[^ ]*]] | LF_BUILDINFO [size = 28]
58CHECK:            {{.*}}: `a.c`
59CHECK:   [[B_BUILD:[^ ]*]] | LF_BUILDINFO [size = 28]
60CHECK:            {{.*}}: `b.c`
61
62CHECK-LABEL:                       Global Symbols
63CHECK:       ============================================================
64CHECK-NEXT:    Records
65CHECK-NEXT:       36 | S_PROCREF [size = 20] `main`
66CHECK-NEXT:            module = 1, sum name = 0, offset = 104
67CHECK-NEXT:       68 | S_PROCREF [size = 16] `g`
68CHECK-NEXT:            module = 2, sum name = 0, offset = 104
69CHECK-NEXT:       56 | S_UDT [size = 12] `Foo`
70CHECK-NEXT:            original type = 0x1006
71
72CHECK-LABEL:                           Symbols
73CHECK: ============================================================
74CHECK-LABEL:   Mod 0000 | `{{.*}}a.obj`:
75CHECK:        4 | S_OBJNAME [size = 40] sig=0, `C:\src\llvm-project\build\a.obj`
76CHECK:      104 | S_GPROC32 [size = 44] `main`
77CHECK:            parent = 0, end = 196, addr = 0001:0000, code size = 27
78CHECK:            type = {{.*}}, debug start = 4, debug end = 22, flags = none
79CHECK:      200 | S_BUILDINFO [size = 8] BuildId = `[[A_BUILD]]`
80CHECK-LABEL:   Mod 0001 | `{{.*}}b.obj`:
81CHECK:        4 | S_OBJNAME [size = 40] sig=0, `C:\src\llvm-project\build\b.obj`
82CHECK:       44 | S_COMPILE3 [size = 60]
83CHECK:            machine = intel x86-x64, Ver = Microsoft (R) Optimizing Compiler, language = c
84CHECK:            frontend = 19.0.24215.1, backend = 19.0.24215.1
85CHECK:            flags = security checks | hot patchable
86CHECK:      104 | S_GPROC32 [size = 44] `g`
87CHECK:            parent = 0, end = 196, addr = 0001:0032, code size = 13
88CHECK:            type = {{.*}}, debug start = 5, debug end = 12, flags = none
89CHECK:      148 | S_FRAMEPROC [size = 32]
90CHECK:            size = 0, padding size = 0, offset to padding = 0
91CHECK:            bytes of callee saved registers = 0, exception handler addr = 0000:0000
92CHECK:            flags = has async eh | opt speed
93CHECK:      180 | S_REGREL32 [size = 16] `p`
94CHECK:            type = [[FOO_PTR]] (Foo*), register = RSP, offset = 8
95CHECK:      196 | S_END [size = 4]
96CHECK:      200 | S_BUILDINFO [size = 8] BuildId = `[[B_BUILD]]`
97CHECK-LABEL:   Mod 0002 | `* Linker *`:
98
99SUMMARY:                                     Summary
100SUMMARY-NEXT: --------------------------------------------------------------------------------
101SUMMARY-NEXT:               2 Input OBJ files (expanded from all cmd-line inputs)
102SUMMARY-NEXT:               1 PDB type server dependencies
103SUMMARY-NEXT:               0 Precomp OBJ dependencies
104SUMMARY-NEXT:              25 Merged TPI records
105SUMMARY-NEXT:               3 Output PDB strings
106SUMMARY-NEXT:               4 Global symbol records
107SUMMARY-NEXT:              14 Module symbol records
108SUMMARY-NEXT:               2 Public symbol records
109
110SUMMARY:      Top 10 types responsible for the most TPI input:
111SUMMARY-NEXT:        index     total bytes   count     size
112SUMMARY-NEXT:       0x1006:             36 =     1 *     36
113SUMMARY: Run llvm-pdbutil to print details about a particular record:
114SUMMARY-NEXT: llvm-pdbutil dump -types -type-index 0x1006 t.pdb
115
116SUMMARY:      Top 10 types responsible for the most IPI input:
117SUMMARY-NEXT:        index     total bytes   count     size
118SUMMARY-NEXT:       0x1006:            256 =     1 *    256
119SUMMARY: Run llvm-pdbutil to print details about a particular record:
120SUMMARY-NEXT: llvm-pdbutil dump -ids -id-index 0x1006 t.pdb
121