xref: /llvm-project/llvm/test/Linker/Inputs/type-unique-simple2-a.ll (revision f2e868c566107eb2f54e3e6033199297ba11e2d9)
1; Make sure the backend generates a single DIE and uses ref_addr.
2; CHECK: 0x[[BASE:.*]]: DW_TAG_structure_type
3; CHECK-NEXT: DW_AT_name {{.*}}"Base"
4; CHECK-NOT: DW_TAG_structure_type
5; CHECK: 0x[[INT:.*]]: DW_TAG_base_type
6; CHECK-NEXT: DW_AT_name {{.*}}"int"
7; CHECK-NOT: DW_TAG_base_type
8
9; CHECK: DW_TAG_compile_unit
10; CHECK: DW_TAG_formal_parameter
11; CHECK: DW_AT_type [DW_FORM_ref_addr] {{.*}}[[INT]]
12; CHECK: DW_TAG_variable
13; CHECK: DW_AT_type [DW_FORM_ref_addr] {{.*}}[[BASE]]
14
15; Make sure llvm-link only generates a single copy of the struct.
16; LINK: DW_TAG_structure_type
17; LINK-NOT: DW_TAG_structure_type
18
19; Content of header files:
20; struct Base {
21;   int a;
22;   Base *b;
23; };
24; Content of foo.cpp:
25;
26; #include "a.hpp"
27; void f(int a) {
28;   Base t;
29; }
30; Content of bar.cpp:
31;
32; #include "a.hpp"
33; void f(int);
34; void g(int a) {
35;   Base t;
36; }
37; int main() {
38;   f(0);
39;   g(1);
40;   return 0;
41; }
42; ModuleID = 'foo.cpp'
43
44%struct.Base = type { i32, ptr }
45
46; Function Attrs: nounwind ssp uwtable
47define void @_Z1fi(i32 %a) #0 !dbg !12 {
48entry:
49  %a.addr = alloca i32, align 4
50  %t = alloca %struct.Base, align 8
51  store i32 %a, ptr %a.addr, align 4
52  call void @llvm.dbg.declare(metadata ptr %a.addr, metadata !17, metadata !DIExpression()), !dbg !18
53  call void @llvm.dbg.declare(metadata ptr %t, metadata !19, metadata !DIExpression()), !dbg !20
54  ret void, !dbg !21
55}
56
57; Function Attrs: nounwind readnone
58declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
59
60attributes #0 = { nounwind ssp uwtable "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
61attributes #1 = { nounwind readnone }
62
63!llvm.dbg.cu = !{!0}
64!llvm.module.flags = !{!16, !22}
65
66!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.4", isOptimized: false, emissionKind: FullDebug, file: !1, enums: !2, retainedTypes: !3, globals: !2, imports: !2)
67!1 = !DIFile(filename: "foo.cpp", directory: ".")
68!2 = !{}
69!3 = !{!4}
70!4 = !DICompositeType(tag: DW_TAG_structure_type, name: "Base", line: 1, file: !5, elements: !6, identifier: "_ZTS4Base")
71!5 = !DIFile(filename: "./a.hpp", directory: ".")
72!6 = !{!7, !9}
73!7 = !DIDerivedType(tag: DW_TAG_member, name: "a", line: 2, size: 32, align: 32, file: !5, scope: !4, baseType: !8)
74!8 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
75!9 = !DIDerivedType(tag: DW_TAG_member, name: "b", line: 3, size: 64, align: 64, offset: 64, file: !5, scope: !4, baseType: !10)
76!10 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !4)
77!12 = distinct !DISubprogram(name: "f", linkageName: "_Z1fi", line: 3, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 3, file: !1, scope: !13, type: !14, retainedNodes: !2)
78!13 = !DIFile(filename: "foo.cpp", directory: ".")
79!14 = !DISubroutineType(types: !15)
80!15 = !{null, !8}
81!16 = !{i32 2, !"Dwarf Version", i32 3}
82!17 = !DILocalVariable(name: "a", line: 3, arg: 1, scope: !12, file: !13, type: !8)
83!18 = !DILocation(line: 3, scope: !12)
84!19 = !DILocalVariable(name: "t", line: 4, scope: !12, file: !13, type: !4)
85!20 = !DILocation(line: 4, scope: !12)
86!21 = !DILocation(line: 5, scope: !12)
87!22 = !{i32 1, !"Debug Info Version", i32 3}
88