75 lines · plain
1; RUN: %llc_dwarf -O0 -filetype=obj < %s > %t2; RUN: llvm-dwarfdump -v -debug-info %t | FileCheck %s3 4; Check for a variant part that has two members, where one uses a list5; of discriminants, and where both refer to a DIE that is not a child6; of the variant.7 8; CHECK: DW_AT_name [DW_FORM_str{{[a-z]+}}] ({{(.* = )?}}"Discr")9; CHECK: DW_TAG_variant_part10; CHECK-NOT: TAG11; CHECK: DW_AT_discr [DW_FORM_ref4] (cu + {{0x[0-9a-fA-F]+}} => {[[OFFSET:0x[0-9a-fA-F]+]]})12; CHECK: DW_TAG_variant13; CHECK: DW_AT_discr_list [DW_FORM_block1] (<0x05> 00 17 01 61 6c )14; CHECK: DW_TAG_member15; CHECK: DW_AT_name [DW_FORM_str{{[a-z]+}}] ({{(.* = )?}}"var0")16; CHECK: DW_AT_type17; CHECK: DW_AT_alignment18; CHECK: DW_AT_data_member_location [DW_FORM_data1] (0x00)19; CHECK: DW_TAG_variant20; CHECK: DW_AT_discr_value [DW_FORM_data1] (0x4b)21; CHECK: DW_TAG_member22; CHECK: DW_AT_type23; CHECK: DW_AT_alignment24; CHECK: DW_AT_data_member_location [DW_FORM_data1] (0x00)25 26%F = type { [0 x i8], ptr, [8 x i8] }27%"F::Nope" = type {}28 29define internal void @_ZN2e34main17h934ff72f9a38d4bbE() unnamed_addr #0 !dbg !5 {30start:31 %qq = alloca %F, align 832 call void @llvm.dbg.declare(metadata ptr %qq, metadata !10, metadata !28), !dbg !2933 store ptr null, ptr %qq, !dbg !2934 ret void, !dbg !3035}36 37; Function Attrs: nounwind readnone38declare void @llvm.dbg.declare(metadata, metadata, metadata) #039 40attributes #0 = { nounwind uwtable }41 42!llvm.module.flags = !{!0, !1}43!llvm.dbg.cu = !{!2}44 45!0 = !{i32 1, !"PIE Level", i32 2}46!1 = !{i32 2, !"Debug Info Version", i32 3}47!2 = distinct !DICompileUnit(language: DW_LANG_Ada95, file: !3, producer: "gnat-llvm", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !4)48!3 = !DIFile(filename: "e3.rs", directory: "/home/tromey/Ada")49!4 = !{}50!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)51!6 = !DINamespace(name: "e3", scope: null)52!7 = !DIFile(filename: "<unknown>", directory: "")53!8 = !DISubroutineType(types: !9)54!9 = !{null}55!10 = !DILocalVariable(name: "qq", scope: !11, file: !3, line: 3, type: !12, align: 8)56!11 = distinct !DILexicalBlock(scope: !5, file: !3, line: 3, column: 4)57!12 = !DICompositeType(tag: DW_TAG_structure_type, name: "F", scope: !6, file: !7, size: 128, align: 64, elements: !13, identifier: "7ce1efff6b82281ab9ceb730566e7e20")58!13 = !{!14, !15}59!14 = !DIDerivedType(tag: DW_TAG_member, name: "Discr", scope: !12, file: !7, baseType: !27, size: 64, align: 64)60!15 = !DICompositeType(tag: DW_TAG_variant_part, scope: !12, file: !7, size: 128, align: 64, elements: !16, identifier: "7ce1efff6b82281ab9ceb730566e7e20", discriminator: !14)61!16 = !{!17, !24}62!17 = !DIDerivedType(tag: DW_TAG_member, name: "var0", scope: !15, file: !7, baseType: !18, size: 128, align: 64, extraData: [4 x i32] [i32 23, i32 23, i32 97, i32 108])63!18 = !DICompositeType(tag: DW_TAG_structure_type, name: "Yep", scope: !12, file: !7, size: 128, align: 64, elements: !19, identifier: "7ce1efff6b82281ab9ceb730566e7e20::Yep")64!19 = !{!20, !22}65!20 = !DIDerivedType(tag: DW_TAG_member, name: "var1", scope: !18, file: !7, baseType: !21, size: 8, align: 8, offset: 64)66!21 = !DIBasicType(name: "u8", size: 8, encoding: DW_ATE_unsigned)67!22 = !DIDerivedType(tag: DW_TAG_member, name: "var2", scope: !18, file: !7, baseType: !23, size: 64, align: 64)68!23 = !DIDerivedType(tag: DW_TAG_pointer_type, name: "&u8", baseType: !21, size: 64, align: 64)69!24 = !DIDerivedType(tag: DW_TAG_member, scope: !15, file: !7, baseType: !25, size: 128, align: 64, extraData: i32 75)70!25 = !DICompositeType(tag: DW_TAG_structure_type, name: "Nope", scope: !12, file: !7, size: 128, align: 64, elements: !4, identifier: "7ce1efff6b82281ab9ceb730566e7e20::Nope")71!27 = !DIBasicType(name: "u64", size: 64, encoding: DW_ATE_unsigned)72!28 = !DIExpression()73!29 = !DILocation(line: 3, scope: !11)74!30 = !DILocation(line: 4, scope: !5)75