# RUN: llvm-mc -triple x86_64-apple-darwin %s -filetype=obj -o %t.o
# RUN: not llvm-dwarfdump -verify %t.o 2>&1 | FileCheck %s
# CHECK: error: Subprogram with call site entry has no DW_AT_call attribute:
# CHECK: DW_TAG_subprogram
# CHECK: DW_AT_name ("main")
# CHECK: DW_TAG_call_site
# CHECK: DW_AT_call_origin
# CHECK: Errors detected.
# Source:
## define void @foo() !dbg !25 {
## ret void, !dbg !28
## }
##
## define i32 @main() !dbg !29 {
## call void @foo(), !dbg !32
## ret i32 0, !dbg !33
## }
##
## !llvm.dbg.cu = !{!2}
## !llvm.module.flags = !{!8, !9, !10, !11}
## !llvm.ident = !{!12}
##
## !0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
## !1 = distinct !DIGlobalVariable(name: "sink", scope: !2, file: !3, line: 1, type: !6, isLocal: false, isDefinition: true)
## !2 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !3, producer: "clang version 7.0.0 ", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !5)
## !3 = !DIFile(filename: "/Users/vsk/src/llvm.org-tailcall/tail2.cc", directory: "/Users/vsk/src/builds/llvm-project-tailcall-RA", checksumkind: CSK_MD5, checksum: "3b61952c21b7f657ddb7c0ad44cf5529")
## !4 = !{}
## !5 = !{!0}
## !6 = !DIDerivedType(tag: DW_TAG_volatile_type, baseType: !7)
## !7 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
## !8 = !{i32 2, !"Dwarf Version", i32 5}
## !9 = !{i32 2, !"Debug Info Version", i32 3}
## !10 = !{i32 1, !"wchar_size", i32 4}
## !11 = !{i32 7, !"PIC Level", i32 2}
## !12 = !{!"clang version 7.0.0 "}
## !13 = distinct !DISubprogram(name: "bat", linkageName: "_Z3batv", scope: !3, file: !3, line: 2, type: !14, isLocal: false, isDefinition: true, scopeLine: 2, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, isOptimized: true, unit: !2, retainedNodes: !4)
## !14 = !DISubroutineType(types: !15)
## !15 = !{null}
## !16 = !DILocation(line: 2, column: 44, scope: !13)
## !17 = !{!18, !18, i64 0}
## !18 = !{!"int", !19, i64 0}
## !19 = !{!"omnipotent char", !20, i64 0}
## !20 = !{!"Simple C++ TBAA"}
## !21 = !DILocation(line: 2, column: 48, scope: !13)
## !22 = distinct !DISubprogram(name: "bar", linkageName: "_Z3barv", scope: !3, file: !3, line: 3, type: !14, isLocal: false, isDefinition: true, scopeLine: 3, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, isOptimized: true, unit: !2, retainedNodes: !4)
## !23 = !DILocation(line: 3, column: 44, scope: !22)
## !24 = !DILocation(line: 3, column: 48, scope: !22)
## !25 = distinct !DISubprogram(name: "foo", linkageName: "_Z3foov", scope: !3, file: !3, line: 4, type: !14, isLocal: false, isDefinition: true, scopeLine: 4, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, isOptimized: true, unit: !2, retainedNodes: !4)
## !26 = !DILocation(line: 5, column: 3, scope: !25)
## !27 = !DILocation(line: 6, column: 3, scope: !25)
## !28 = !DILocation(line: 7, column: 1, scope: !25)
## !29 = distinct !DISubprogram(name: "main", scope: !3, file: !3, line: 8, type: !30, isLocal: false, isDefinition: true, scopeLine: 8, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, isOptimized: true, unit: !2, retainedNodes: !4)
## !30 = !DISubroutineType(types: !31)
## !31 = !{!7}
## !32 = !DILocation(line: 8, column: 50, scope: !29)
## !33 = !DILocation(line: 8, column: 57, scope: !29)
.section __TEXT,__text,regular,pure_instructions
.globl _foo ## -- Begin function foo
_foo: ## @foo
Lfunc_begin0:
.cfi_startproc
## %bb.0:
retq
Ltmp0:
Lfunc_end0:
.cfi_endproc
## -- End function
.globl _main ## -- Begin function main
_main: ## @main
Lfunc_begin1:
.cfi_startproc
## %bb.0:
pushq %rax
.cfi_def_cfa_offset 16
Ltmp1:
callq _foo
xorl %eax, %eax
popq %rcx
retq
Ltmp2:
Lfunc_end1:
.cfi_endproc
## -- End function
.section __DWARF,__debug_str_offs,regular,debug
Lsection_str_off:
.long 36
.short 5
.short 0
Lstr_offsets_base0:
.section __DWARF,__debug_str,regular,debug
Linfo_string:
.asciz "clang version 7.0.0 " ## string offset=0
.asciz "/Users/vsk/src/llvm.org-tailcall/tail2.cc" ## string offset=21
.asciz "/Users/vsk/src/builds/llvm-project-tailcall-RA" ## string offset=63
.asciz "sink" ## string offset=110
.asciz "int" ## string offset=115
.asciz "foo" ## string offset=119
.asciz "_Z3foov" ## string offset=123
.asciz "main" ## string offset=131
.section __DWARF,__debug_str_offs,regular,debug
.long 0
.long 21
.long 63
.long 110
.long 115
.long 119
.long 123
.long 131
.section __DWARF,__debug_abbrev,regular,debug
Lsection_abbrev:
.byte 1 ## Abbreviation Code
.byte 17 ## DW_TAG_compile_unit
.byte 1 ## DW_CHILDREN_yes
.byte 37 ## DW_AT_producer
.byte 37 ## DW_FORM_strx1
.byte 19 ## DW_AT_language
.byte 5 ## DW_FORM_data2
.byte 3 ## DW_AT_name
.byte 37 ## DW_FORM_strx1
.byte 114 ## DW_AT_str_offsets_base
.byte 23 ## DW_FORM_sec_offset
.byte 16 ## DW_AT_stmt_list
.byte 23 ## DW_FORM_sec_offset
.byte 27 ## DW_AT_comp_dir
.byte 37 ## DW_FORM_strx1
.ascii "\341\177" ## DW_AT_APPLE_optimized
.byte 25 ## DW_FORM_flag_present
.byte 17 ## DW_AT_low_pc
.byte 1 ## DW_FORM_addr
.byte 18 ## DW_AT_high_pc
.byte 6 ## DW_FORM_data4
.byte 0 ## EOM(1)
.byte 0 ## EOM(2)
.byte 2 ## Abbreviation Code
.byte 52 ## DW_TAG_variable
.byte 0 ## DW_CHILDREN_no
.byte 3 ## DW_AT_name
.byte 37 ## DW_FORM_strx1
.byte 73 ## DW_AT_type
.byte 19 ## DW_FORM_ref4
.byte 63 ## DW_AT_external
.byte 25 ## DW_FORM_flag_present
.byte 58 ## DW_AT_decl_file
.byte 11 ## DW_FORM_data1
.byte 59 ## DW_AT_decl_line
.byte 11 ## DW_FORM_data1
.byte 0 ## EOM(1)
.byte 0 ## EOM(2)
.byte 3 ## Abbreviation Code
.byte 53 ## DW_TAG_volatile_type
.byte 0 ## DW_CHILDREN_no
.byte 73 ## DW_AT_type
.byte 19 ## DW_FORM_ref4
.byte 0 ## EOM(1)
.byte 0 ## EOM(2)
.byte 4 ## Abbreviation Code
.byte 36 ## DW_TAG_base_type
.byte 0 ## DW_CHILDREN_no
.byte 3 ## DW_AT_name
.byte 37 ## DW_FORM_strx1
.byte 62 ## DW_AT_encoding
.byte 11 ## DW_FORM_data1
.byte 11 ## DW_AT_byte_size
.byte 11 ## DW_FORM_data1
.byte 0 ## EOM(1)
.byte 0 ## EOM(2)
.byte 5 ## Abbreviation Code
.byte 46 ## DW_TAG_subprogram
.byte 0 ## DW_CHILDREN_no
.byte 17 ## DW_AT_low_pc
.byte 1 ## DW_FORM_addr
.byte 18 ## DW_AT_high_pc
.byte 6 ## DW_FORM_data4
.ascii "\347\177" ## DW_AT_APPLE_omit_frame_ptr
.byte 25 ## DW_FORM_flag_present
.byte 64 ## DW_AT_frame_base
.byte 24 ## DW_FORM_exprloc
## .byte 122 ## DW_AT_call_all_calls
## .byte 25 ## DW_FORM_flag_present
.byte 110 ## DW_AT_linkage_name
.byte 37 ## DW_FORM_strx1
.byte 3 ## DW_AT_name
.byte 37 ## DW_FORM_strx1
.byte 58 ## DW_AT_decl_file
.byte 11 ## DW_FORM_data1
.byte 59 ## DW_AT_decl_line
.byte 11 ## DW_FORM_data1
.byte 63 ## DW_AT_external
.byte 25 ## DW_FORM_flag_present
.ascii "\341\177" ## DW_AT_APPLE_optimized
.byte 25 ## DW_FORM_flag_present
.byte 0 ## EOM(1)
.byte 0 ## EOM(2)
.byte 6 ## Abbreviation Code
.byte 46 ## DW_TAG_subprogram
.byte 1 ## DW_CHILDREN_yes
.byte 17 ## DW_AT_low_pc
.byte 1 ## DW_FORM_addr
.byte 18 ## DW_AT_high_pc
.byte 6 ## DW_FORM_data4
.ascii "\347\177" ## DW_AT_APPLE_omit_frame_ptr
.byte 25 ## DW_FORM_flag_present
.byte 64 ## DW_AT_frame_base
.byte 24 ## DW_FORM_exprloc
## .byte 122 ## DW_AT_call_all_calls
## .byte 25 ## DW_FORM_flag_present
.byte 3 ## DW_AT_name
.byte 37 ## DW_FORM_strx1
.byte 58 ## DW_AT_decl_file
.byte 11 ## DW_FORM_data1
.byte 59 ## DW_AT_decl_line
.byte 11 ## DW_FORM_data1
.byte 73 ## DW_AT_type
.byte 19 ## DW_FORM_ref4
.byte 63 ## DW_AT_external
.byte 25 ## DW_FORM_flag_present
.ascii "\341\177" ## DW_AT_APPLE_optimized
.byte 25 ## DW_FORM_flag_present
.byte 0 ## EOM(1)
.byte 0 ## EOM(2)
.byte 7 ## Abbreviation Code
.byte 72 ## DW_TAG_call_site
.byte 0 ## DW_CHILDREN_no
.byte 127 ## DW_AT_call_origin
.byte 19 ## DW_FORM_ref4
.byte 0 ## EOM(1)
.byte 0 ## EOM(2)
.byte 0 ## EOM(3)
.section __DWARF,__debug_info,regular,debug
Lsection_info:
Lcu_begin0:
.long 99 ## Length of Unit
.short 5 ## DWARF version number
.byte 1 ## DWARF Unit Type
.byte 8 ## Address Size (in bytes)
.set Lset0, Lsection_abbrev-Lsection_abbrev ## Offset Into Abbrev. Section
.long Lset0
.byte 1 ## Abbrev [1] 0xc:0x5b DW_TAG_compile_unit
.byte 0 ## DW_AT_producer
.short 4 ## DW_AT_language
.byte 1 ## DW_AT_name
.set Lset1, Lstr_offsets_base0-Lsection_str_off ## DW_AT_str_offsets_base
.long Lset1
.set Lset2, Lline_table_start0-Lsection_line ## DW_AT_stmt_list
.long Lset2
.byte 2 ## DW_AT_comp_dir
## DW_AT_APPLE_optimized
.quad Lfunc_begin0 ## DW_AT_low_pc
.set Lset3, Lfunc_end1-Lfunc_begin0 ## DW_AT_high_pc
.long Lset3
.byte 2 ## Abbrev [2] 0x26:0x8 DW_TAG_variable
.byte 3 ## DW_AT_name
.long 46 ## DW_AT_type
## DW_AT_external
.byte 1 ## DW_AT_decl_file
.byte 1 ## DW_AT_decl_line
.byte 3 ## Abbrev [3] 0x2e:0x5 DW_TAG_volatile_type
.long 51 ## DW_AT_type
.byte 4 ## Abbrev [4] 0x33:0x4 DW_TAG_base_type
.byte 4 ## DW_AT_name
.byte 5 ## DW_AT_encoding
.byte 4 ## DW_AT_byte_size
.byte 5 ## Abbrev [5] 0x37:0x13 DW_TAG_subprogram
.quad Lfunc_begin0 ## DW_AT_low_pc
.set Lset4, Lfunc_end0-Lfunc_begin0 ## DW_AT_high_pc
.long Lset4
## DW_AT_APPLE_omit_frame_ptr
.byte 1 ## DW_AT_frame_base
.byte 87
## DW_AT_call_all_calls
.byte 6 ## DW_AT_linkage_name
.byte 5 ## DW_AT_name
.byte 1 ## DW_AT_decl_file
.byte 4 ## DW_AT_decl_line
## DW_AT_external
## DW_AT_APPLE_optimized
.byte 6 ## Abbrev [6] 0x4a:0x1c DW_TAG_subprogram
.quad Lfunc_begin1 ## DW_AT_low_pc
.set Lset5, Lfunc_end1-Lfunc_begin1 ## DW_AT_high_pc
.long Lset5
## DW_AT_APPLE_omit_frame_ptr
.byte 1 ## DW_AT_frame_base
.byte 87
## DW_AT_call_all_calls
.byte 7 ## DW_AT_name
.byte 1 ## DW_AT_decl_file
.byte 8 ## DW_AT_decl_line
.long 51 ## DW_AT_type
## DW_AT_external
## DW_AT_APPLE_optimized
.byte 7 ## Abbrev [7] 0x60:0x5 DW_TAG_call_site
.long 55 ## DW_AT_call_origin
.byte 0 ## End Of Children Mark
.byte 0 ## End Of Children Mark
.section __DWARF,__debug_macinfo,regular,debug
Ldebug_macinfo:
.byte 0 ## End Of Macro List Mark
.section __DWARF,__debug_names,regular,debug
Ldebug_names_begin:
.set Lset6, Lnames_end0-Lnames_start0 ## Header: unit length
.long Lset6
Lnames_start0:
.short 5 ## Header: version
.short 0 ## Header: padding
.long 1 ## Header: compilation unit count
.long 0 ## Header: local type unit count
.long 0 ## Header: foreign type unit count
.long 4 ## Header: bucket count
.long 4 ## Header: name count
.set Lset7, Lnames_abbrev_end0-Lnames_abbrev_start0 ## Header: abbreviation table size
.long Lset7
.long 8 ## Header: augmentation string size
.ascii "LLVM0700" ## Header: augmentation string
.set Lset8, Lcu_begin0-Lsection_info ## Compilation unit 0
.long Lset8
.long 1 ## Bucket 0
.long 2 ## Bucket 1
.long 3 ## Bucket 2
.long 4 ## Bucket 3
.long 193495088 ## Hash in Bucket 0
.long 193491849 ## Hash in Bucket 1
.long 2090499946 ## Hash in Bucket 2
.long -1257882357 ## Hash in Bucket 3
.long 115 ## String in Bucket 0: int
.long 119 ## String in Bucket 1: foo
.long 131 ## String in Bucket 2: main
.long 123 ## String in Bucket 3: _Z3foov
.set Lset9, Lnames3-Lnames_entries0 ## Offset in Bucket 0
.long Lset9
.set Lset10, Lnames0-Lnames_entries0 ## Offset in Bucket 1
.long Lset10
.set Lset11, Lnames1-Lnames_entries0 ## Offset in Bucket 2
.long Lset11
.set Lset12, Lnames2-Lnames_entries0 ## Offset in Bucket 3
.long Lset12
Lnames_abbrev_start0:
.byte 46 ## Abbrev code
.byte 46 ## DW_TAG_subprogram
.byte 3 ## DW_IDX_die_offset
.byte 19 ## DW_FORM_ref4
.byte 0 ## End of abbrev
.byte 0 ## End of abbrev
.byte 36 ## Abbrev code
.byte 36 ## DW_TAG_base_type
.byte 3 ## DW_IDX_die_offset
.byte 19 ## DW_FORM_ref4
.byte 0 ## End of abbrev
.byte 0 ## End of abbrev
.byte 0 ## End of abbrev list
Lnames_abbrev_end0:
Lnames_entries0:
Lnames3:
.byte 36 ## Abbreviation code
.long 51 ## DW_IDX_die_offset
.long 0 ## End of list: int
Lnames0:
.byte 46 ## Abbreviation code
.long 55 ## DW_IDX_die_offset
.long 0 ## End of list: foo
Lnames1:
.byte 46 ## Abbreviation code
.long 74 ## DW_IDX_die_offset
.long 0 ## End of list: main
Lnames2:
.byte 46 ## Abbreviation code
.long 55 ## DW_IDX_die_offset
.long 0 ## End of list: _Z3foov
Lnames_end0:
.subsections_via_symbols
.section __DWARF,__debug_line,regular,debug
Lsection_line:
Lline_table_start0: