xref: /llvm-project/llvm/test/DebugInfo/Generic/univariant-discriminated-union.ll (revision 10b03e66629aedad79a804e22d23b575077303b3)
1; RUN: %llc_dwarf -O0 -filetype=obj < %s > %t
2; RUN: llvm-dwarfdump -v -debug-info %t | FileCheck %s
3
4; RUN: %llc_dwarf --try-experimental-debuginfo-iterators -O0 -filetype=obj < %s > %t
5; RUN: llvm-dwarfdump -v -debug-info %t | FileCheck %s
6
7; Check for a univariant discriminated union -- that is, a variant
8; part without a discriminant and with just a single variant.
9
10; CHECK: DW_TAG_variant_part
11;   CHECK-NOT: DW_AT_discr
12;   CHECK: DW_TAG_variant
13;     CHECK: DW_TAG_member
14;       CHECK: DW_AT_type
15;       CHECK: DW_AT_alignment
16;       CHECK: DW_AT_data_member_location [DW_FORM_data1]	(0x00)
17
18%F = type { [0 x i8], ptr, [8 x i8] }
19%"F::Nope" = type {}
20
21define internal void @_ZN2e34main17h934ff72f9a38d4bbE() unnamed_addr #0 !dbg !5 {
22start:
23  %qq = alloca %F, align 8
24  call void @llvm.dbg.declare(metadata ptr %qq, metadata !10, metadata !28), !dbg !29
25  store ptr null, ptr %qq, !dbg !29
26  ret void, !dbg !30
27}
28
29; Function Attrs: nounwind readnone
30declare void @llvm.dbg.declare(metadata, metadata, metadata) #0
31
32attributes #0 = { nounwind uwtable }
33
34!llvm.module.flags = !{!0, !1}
35!llvm.dbg.cu = !{!2}
36
37!0 = !{i32 1, !"PIE Level", i32 2}
38!1 = !{i32 2, !"Debug Info Version", i32 3}
39!2 = distinct !DICompileUnit(language: DW_LANG_Rust, file: !3, producer: "clang LLVM (rustc version 1.24.0-dev)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !4)
40!3 = !DIFile(filename: "e3.rs", directory: "/home/tromey/Rust")
41!4 = !{}
42!5 = distinct !DISubprogram(name: "main", linkageName: "_ZN2e34mainE", scope: !6, file: !3, line: 2, type: !8, scopeLine: 2, flags: DIFlagPrototyped, spFlags: DISPFlagLocalToUnit | DISPFlagDefinition | DISPFlagMainSubprogram, isOptimized: false, unit: !2, templateParams: !4, retainedNodes: !4)
43!6 = !DINamespace(name: "e3", scope: null)
44!7 = !DIFile(filename: "<unknown>", directory: "")
45!8 = !DISubroutineType(types: !9)
46!9 = !{null}
47!10 = !DILocalVariable(name: "qq", scope: !11, file: !3, line: 3, type: !12, align: 8)
48!11 = distinct !DILexicalBlock(scope: !5, file: !3, line: 3, column: 4)
49!12 = !DICompositeType(tag: DW_TAG_structure_type, name: "F", scope: !6, file: !7, size: 128, align: 64, elements: !13, identifier: "7ce1efff6b82281ab9ceb730566e7e20")
50!13 = !{!14}
51!14 = !DICompositeType(tag: DW_TAG_variant_part, name: "", scope: !12, file: !7, size: 128, align: 64, elements: !16, identifier: "7ce1efff6b82281ab9ceb730566e7e20")
52
53!16 = !{!17}
54!17 = !DIDerivedType(tag: DW_TAG_member, scope: !14, file: !7, baseType: !18, size: 128, align: 64)
55!18 = !DICompositeType(tag: DW_TAG_structure_type, name: "Yep", scope: !12, file: !7, size: 128, align: 64, elements: !19, identifier: "7ce1efff6b82281ab9ceb730566e7e20::Yep")
56!19 = !{!20, !22}
57!20 = !DIDerivedType(tag: DW_TAG_member, name: "__0", scope: !18, file: !7, baseType: !21, size: 8, align: 8, offset: 64)
58!21 = !DIBasicType(name: "u8", size: 8, encoding: DW_ATE_unsigned)
59!22 = !DIDerivedType(tag: DW_TAG_member, name: "__1", scope: !18, file: !7, baseType: !23, size: 64, align: 64)
60!23 = !DIDerivedType(tag: DW_TAG_pointer_type, name: "&u8", baseType: !21, size: 64, align: 64)
61
62!28 = !DIExpression()
63!29 = !DILocation(line: 3, scope: !11)
64!30 = !DILocation(line: 4, scope: !5)
65