1 ; RUN: %llc_dwarf -O0 -filetype=obj -o %t.o %s 2 ; RUN: llvm-dwarfdump -debug-dump=info %t.o | FileCheck %s 3 ; REQUIRES: object-emission 4 ; 5 ; Test debug info for variadic function arguments. 6 ; Created from tools/clang/tests/CodeGenCXX/debug-info-varargs.cpp 7 ; 8 ; The ... parameter of variadic should be emitted as 9 ; DW_TAG_unspecified_parameters. 10 ; 11 ; Normal variadic function. 12 ; void b(int c, ...); 13 ; 14 ; CHECK: DW_TAG_subprogram 15 ; CHECK-NOT: DW_TAG 16 ; CHECK: DW_AT_name {{.*}} "a" 17 ; CHECK-NOT: DW_TAG 18 ; CHECK: DW_TAG_formal_parameter 19 ; CHECK-NOT: DW_TAG 20 ; CHECK: DW_TAG_formal_parameter 21 ; CHECK-NOT: DW_TAG 22 ; CHECK: DW_TAG_unspecified_parameters 23 ; 24 ; CHECK: DW_TAG_subprogram 25 ; CHECK-NOT: DW_TAG 26 ; CHECK: DW_AT_name {{.*}} "b" 27 ; CHECK-NOT: DW_TAG 28 ; CHECK: DW_TAG_formal_parameter 29 ; CHECK-NOT: DW_TAG 30 ; CHECK: DW_TAG_variable 31 ; CHECK-NOT: DW_TAG 32 ; CHECK: DW_TAG_variable 33 ; CHECK-NOT: DW_TAG 34 ; CHECK: DW_TAG_unspecified_parameters 35 ; 36 ; Variadic C++ member function. 37 ; struct A { void a(int c, ...); } 38 ; 39 ; Variadic function pointer. 40 ; void (*fptr)(int, ...); 41 ; 42 ; CHECK: DW_TAG_subroutine_type 43 ; CHECK-NOT: DW_TAG 44 ; CHECK: DW_TAG_formal_parameter 45 ; CHECK-NOT: DW_TAG 46 ; CHECK: DW_TAG_unspecified_parameters 47 ; 48 ; ModuleID = 'llvm/tools/clang/test/CodeGenCXX/debug-info-varargs.cpp' 49 50 %struct.A = type { i8 } 51 52 ; Function Attrs: nounwind ssp uwtable 53 define void @_Z1biz(i32 %c, ...) #0 !dbg !14 { 54 %1 = alloca i32, align 4 55 %a = alloca %struct.A, align 1 56 %fptr = alloca void (i32, ...)*, align 8 57 store i32 %c, i32* %1, align 4 58 call void @llvm.dbg.declare(metadata i32* %1, metadata !21, metadata !DIExpression()), !dbg !22 59 call void @llvm.dbg.declare(metadata %struct.A* %a, metadata !23, metadata !DIExpression()), !dbg !24 60 call void @llvm.dbg.declare(metadata void (i32, ...)** %fptr, metadata !25, metadata !DIExpression(DW_OP_deref)), !dbg !27 61 store void (i32, ...)* @_Z1biz, void (i32, ...)** %fptr, align 8, !dbg !27 62 ret void, !dbg !28 63 } 64 65 ; Function Attrs: nounwind readnone 66 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1 67 68 attributes #0 = { nounwind ssp uwtable } 69 attributes #1 = { nounwind readnone } 70 71 !llvm.dbg.cu = !{!0} 72 !llvm.module.flags = !{!18, !19} 73 !llvm.ident = !{!20} 74 75 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.5 ", isOptimized: false, emissionKind: FullDebug, file: !1, enums: !2, retainedTypes: !3, globals: !2, imports: !2) 76 !1 = !DIFile(filename: "llvm/tools/clang/test/CodeGenCXX/debug-info-varargs.cpp", directory: "radar/13690847") 77 !2 = !{} 78 !3 = !{!4} 79 !4 = !DICompositeType(tag: DW_TAG_structure_type, name: "A", line: 3, size: 8, align: 8, file: !1, elements: !5, identifier: "_ZTS1A") 80 !5 = !{!6} 81 !6 = !DISubprogram(name: "a", linkageName: "_ZN1A1aEiz", line: 6, isLocal: false, isDefinition: false, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 6, file: !1, scope: !4, type: !7) 82 !7 = !DISubroutineType(types: !8) 83 !8 = !{null, !9, !10, null} 84 !9 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, flags: DIFlagArtificial | DIFlagObjectPointer, baseType: !4) 85 !10 = !DIBasicType(tag: DW_TAG_base_type, name: "int", size: 32, align: 32, encoding: DW_ATE_signed) 86 !14 = distinct !DISubprogram(name: "b", linkageName: "_Z1biz", line: 13, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, unit: !0, scopeLine: 13, file: !1, scope: !15, type: !16, variables: !2) 87 !15 = !DIFile(filename: "llvm/tools/clang/test/CodeGenCXX/debug-info-varargs.cpp", directory: "radar/13690847") 88 !16 = !DISubroutineType(types: !17) 89 !17 = !{null, !10, null} 90 !18 = !{i32 2, !"Dwarf Version", i32 2} 91 !19 = !{i32 1, !"Debug Info Version", i32 3} 92 !20 = !{!"clang version 3.5 "} 93 !21 = !DILocalVariable(name: "c", line: 13, arg: 1, scope: !14, file: !15, type: !10) 94 !22 = !DILocation(line: 13, scope: !14) 95 !23 = !DILocalVariable(name: "a", line: 16, scope: !14, file: !15, type: !4) 96 !24 = !DILocation(line: 16, scope: !14) 97 ; Manually modifed to avoid dependence on pointer size 98 !25 = !DILocalVariable(name: "fptr", line: 18, scope: !14, file: !15, type: !16) 99 !26 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 64, align: 64, baseType: !16) 100 !27 = !DILocation(line: 18, scope: !14) 101 !28 = !DILocation(line: 22, scope: !14) 102