# 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: