| # Test object to verify dwarfdump handles v4 and v5 CU/TU/line headers. |
| # We have a representative set of units: v4 CU, v5 CU, v4 TU, v5 split TU. |
| # We have v4 and v5 line-table headers. |
| # |
| # RUN: llvm-mc -triple x86_64-unknown-linux %s -filetype=obj -o %t.o |
| # RUN: llvm-dwarfdump -v %t.o | FileCheck %s |
| # RUN: llvm-dwarfdump -verify %t.o | FileCheck %s --check-prefix=VERIFY |
| |
| .section .debug_str,"MS",@progbits,1 |
| str_producer: |
| .asciz "Handmade DWARF producer" |
| str_CU_4: |
| .asciz "V4_compile_unit" |
| str_CU_5: |
| .asciz "V5_compile_unit" |
| str_TU_4: |
| .asciz "V4_type_unit" |
| str_LT_5a: |
| .asciz "Directory5a" |
| str_LT_5b: |
| .asciz "Directory5b" |
| |
| .section .debug_str.dwo,"MSe",@progbits,1 |
| dwo_TU_5: |
| .asciz "V5_split_type_unit" |
| dwo_producer: |
| .asciz "Handmade DWO producer" |
| dwo_CU_5: |
| .asciz "V5_dwo_compile_unit" |
| dwo_LT_5a: |
| .asciz "DWODirectory5a" |
| dwo_LT_5b: |
| .asciz "DWODirectory5b" |
| |
| .section .debug_str_offsets.dwo,"e",@progbits |
| .long Lstr_offsets_end-Lstr_offsets_start # Length of String Offsets Set |
| Lstr_offsets_start: |
| .short 5 |
| .short 0 |
| .long dwo_TU_5-.debug_str.dwo |
| .long dwo_producer-.debug_str.dwo |
| .long dwo_CU_5-.debug_str.dwo |
| .long dwo_LT_5a-.debug_str.dwo |
| .long dwo_LT_5b-.debug_str.dwo |
| Lstr_offsets_end: |
| |
| # All CUs/TUs use the same abbrev section for simplicity. |
| .section .debug_abbrev,"",@progbits |
| .byte 0x01 # Abbrev code |
| .byte 0x11 # DW_TAG_compile_unit |
| .byte 0x00 # DW_CHILDREN_no |
| .byte 0x25 # DW_AT_producer |
| .byte 0x0e # DW_FORM_strp |
| .byte 0x03 # DW_AT_name |
| .byte 0x0e # DW_FORM_strp |
| .byte 0x10 # DW_AT_stmt_list |
| .byte 0x17 # DW_FORM_sec_offset |
| .byte 0x00 # EOM(1) |
| .byte 0x00 # EOM(2) |
| .byte 0x02 # Abbrev code |
| .byte 0x41 # DW_TAG_type_unit |
| .byte 0x01 # DW_CHILDREN_yes |
| .byte 0x03 # DW_AT_name |
| .byte 0x0e # DW_FORM_strp |
| .byte 0x00 # EOM(1) |
| .byte 0x00 # EOM(2) |
| .byte 0x03 # Abbrev code |
| .byte 0x13 # DW_TAG_structure_type |
| .byte 0x00 # DW_CHILDREN_no (no members) |
| .byte 0x03 # DW_AT_name |
| .byte 0x0e # DW_FORM_strp |
| .byte 0x00 # EOM(1) |
| .byte 0x00 # EOM(2) |
| .byte 0x04 # Abbrev code |
| .byte 0x3c # DW_TAG_partial_unit |
| .byte 0x00 # DW_CHILDREN_no |
| .byte 0x03 # DW_AT_name |
| .byte 0x0e # DW_FORM_strp |
| .byte 0x00 # EOM(1) |
| .byte 0x00 # EOM(2) |
| .byte 0x00 # EOM(3) |
| |
| # And a .dwo copy for the .dwo sections. |
| .section .debug_abbrev.dwo,"e",@progbits |
| .byte 0x01 # Abbrev code |
| .byte 0x11 # DW_TAG_compile_unit |
| .byte 0x00 # DW_CHILDREN_no |
| .byte 0x25 # DW_AT_producer |
| .byte 0x25 # DW_FORM_strx1 |
| .byte 0x03 # DW_AT_name |
| .byte 0x25 # DW_FORM_strx1 |
| .byte 0x10 # DW_AT_stmt_list |
| .byte 0x17 # DW_FORM_sec_offset |
| .byte 0x00 # EOM(1) |
| .byte 0x00 # EOM(2) |
| .byte 0x02 # Abbrev code |
| .byte 0x41 # DW_TAG_type_unit |
| .byte 0x01 # DW_CHILDREN_yes |
| .byte 0x03 # DW_AT_name |
| .byte 0x25 # DW_FORM_strx1 |
| .byte 0x00 # EOM(1) |
| .byte 0x00 # EOM(2) |
| .byte 0x03 # Abbrev code |
| .byte 0x13 # DW_TAG_structure_type |
| .byte 0x00 # DW_CHILDREN_no (no members) |
| .byte 0x03 # DW_AT_name |
| .byte 0x25 # DW_FORM_strx1 |
| .byte 0x00 # EOM(1) |
| .byte 0x00 # EOM(2) |
| .byte 0x00 # EOM(3) |
| |
| .section .debug_info,"",@progbits |
| # CHECK-LABEL: .debug_info contents: |
| |
| # DWARF v4 CU header. V4 CU headers all look the same so we do only one. |
| .long CU_4_end-CU_4_version # Length of Unit |
| CU_4_version: |
| .short 4 # DWARF version number |
| .long .debug_abbrev # Offset Into Abbrev. Section |
| .byte 8 # Address Size (in bytes) |
| # The compile-unit DIE, with DW_AT_producer, DW_AT_name, DW_AT_stmt_list. |
| .byte 1 |
| .long str_producer |
| .long str_CU_4 |
| .long LH_4_start |
| .byte 0 # NULL |
| CU_4_end: |
| |
| # CHECK: 0x00000000: Compile Unit: length = 0x00000015, format = DWARF32, version = 0x0004, abbr_offset = 0x0000, addr_size = 0x08 (next unit at 0x00000019) |
| # CHECK: 0x0000000b: DW_TAG_compile_unit |
| |
| # DWARF v5 normal CU header. |
| .long CU_5_end-CU_5_version # Length of Unit |
| CU_5_version: |
| .short 5 # DWARF version number |
| .byte 1 # DWARF Unit Type |
| .byte 8 # Address Size (in bytes) |
| .long .debug_abbrev # Offset Into Abbrev. Section |
| # The compile-unit DIE, with DW_AT_producer, DW_AT_name, DW_AT_stmt_list. |
| .byte 1 |
| .long str_producer |
| .long str_CU_5 |
| .long LH_5_start |
| .byte 0 # NULL |
| CU_5_end: |
| |
| # CHECK: 0x00000019: Compile Unit: length = 0x00000016, format = DWARF32, version = 0x0005, unit_type = DW_UT_compile, abbr_offset = 0x0000, addr_size = 0x08 (next unit at 0x00000033) |
| # CHECK: 0x00000025: DW_TAG_compile_unit |
| |
| # DWARF v5 CU header (Unit Type = DW_UT_partial). |
| .long CU_5_partial_end-CU_5_partial_version # Length of Unit |
| CU_5_partial_version: |
| .short 5 # DWARF version number |
| .byte 3 # DWARF Unit Type |
| .byte 8 # Address Size (in bytes) |
| .long .debug_abbrev # Offset Into Abbrev. Section |
| # The partial-unit DIE, with DW_AT_name |
| .byte 4 |
| .long str_CU_5 |
| .byte 0 # NULL |
| CU_5_partial_end: |
| |
| # CHECK: 0x00000033: Compile Unit: length = 0x0000000e, format = DWARF32, version = 0x0005, unit_type = DW_UT_partial, abbr_offset = 0x0000, addr_size = 0x08 (next unit at 0x00000045) |
| # CHECK: 0x0000003f: DW_TAG_partial_unit |
| |
| .section .debug_info.dwo,"e",@progbits |
| # CHECK-LABEL: .debug_info.dwo |
| |
| # DWARF v5 split CU header. |
| .long CU_split_5_end-CU_split_5_version # Length of Unit |
| CU_split_5_version: |
| .short 5 # DWARF version number |
| .byte 5 # DWARF Unit Type |
| .byte 8 # Address Size (in bytes) |
| .long 0 # Offset Into Abbrev. Section |
| .quad 0x5a # DWO ID |
| # The split compile-unit DIE, with DW_AT_producer, DW_AT_name, DW_AT_stmt_list. |
| .byte 1 |
| .byte 1 |
| .byte 2 |
| .long 0 |
| .byte 0 # NULL |
| CU_split_5_end: |
| |
| # CHECK: 0x00000000: Compile Unit: length = 0x00000018, format = DWARF32, version = 0x0005, unit_type = DW_UT_split_compile, abbr_offset = 0x0000, addr_size = 0x08, DWO_id = 0x000000000000005a (next unit at 0x0000001c) |
| # CHECK: 0x00000014: DW_TAG_compile_unit |
| # CHECK-NEXT: DW_AT_producer {{.*}} "Handmade DWO producer" |
| # CHECK-NEXT: DW_AT_name {{.*}} "V5_dwo_compile_unit" |
| |
| # Now a DWARF v5 type unit, which goes in a .debug_info.dwo comdat. |
| # Note there will not be another ".debug_info.dwo contents:" line, even though |
| # there is a separate ELF section header; it's dumped along with the previous |
| # unit as if they were in a single section. |
| |
| .section .debug_info.dwo,"Ge",@progbits,5555,comdat |
| # CHECK-NOT: .debug_info.dwo |
| |
| # DWARF v5 split type unit header. |
| TU_split_5_start: |
| .long TU_split_5_end-TU_split_5_version # Length of Unit |
| TU_split_5_version: |
| .short 5 # DWARF version number |
| .byte 6 # DWARF Unit Type |
| .byte 8 # Address Size (in bytes) |
| .long 0 # Offset Into Abbrev. Section |
| .quad 0x8899aabbccddeeff # Type Signature |
| .long TU_split_5_type-TU_split_5_start # Type offset |
| # The type-unit DIE, which has a name. |
| .byte 2 |
| .byte 0 |
| # The type DIE, which has a name. |
| TU_split_5_type: |
| .byte 3 |
| .byte 0 |
| .byte 0 # NULL |
| .byte 0 # NULL |
| TU_split_5_end: |
| |
| # CHECK: 0x00000000: Type Unit: length = 0x0000001a, format = DWARF32, version = 0x0005, unit_type = DW_UT_split_type, abbr_offset = 0x0000, addr_size = 0x08, name = 'V5_split_type_unit', type_signature = 0x8899aabbccddeeff, type_offset = 0x001a (next unit at 0x0000001e) |
| # CHECK: 0x00000018: DW_TAG_type_unit |
| |
| .section .debug_types,"",@progbits |
| # CHECK-LABEL: .debug_types contents: |
| |
| # DWARF v4 Type unit header. Normal/split are identical so we do only one. |
| TU_4_start: |
| .long TU_4_end-TU_4_version # Length of Unit |
| TU_4_version: |
| .short 4 # DWARF version number |
| .long .debug_abbrev # Offset Into Abbrev. Section |
| .byte 8 # Address Size (in bytes) |
| .quad 0x0011223344556677 # Type Signature |
| .long TU_4_type-TU_4_start # Type offset |
| # The type-unit DIE, which has a name. |
| .byte 2 |
| .long str_TU_4 |
| # The type DIE, which has a name. |
| TU_4_type: |
| .byte 3 |
| .long str_TU_4 |
| .byte 0 # NULL |
| .byte 0 # NULL |
| TU_4_end: |
| |
| # CHECK: 0x00000000: Type Unit: length = 0x0000001f, format = DWARF32, version = 0x0004, abbr_offset = 0x0000, addr_size = 0x08, name = 'V4_type_unit', type_signature = 0x0011223344556677, type_offset = 0x001c (next unit at 0x00000023) |
| # CHECK: 0x00000017: DW_TAG_type_unit |
| |
| .section .debug_line,"",@progbits |
| # CHECK-LABEL: .debug_line contents: |
| |
| # DWARF v4 line-table header. |
| LH_4_start: |
| .long LH_4_end-LH_4_version # Length of Unit |
| LH_4_version: |
| .short 4 # DWARF version number |
| .long LH_4_header_end-LH_4_params # Length of Prologue |
| LH_4_params: |
| .byte 1 # Minimum Instruction Length |
| .byte 1 # Maximum Operations per Instruction |
| .byte 1 # Default is_stmt |
| .byte -5 # Line Base |
| .byte 14 # Line Range |
| .byte 13 # Opcode Base |
| .byte 0 # Standard Opcode Lengths |
| .byte 1 |
| .byte 1 |
| .byte 1 |
| .byte 1 |
| .byte 0 |
| .byte 0 |
| .byte 0 |
| .byte 1 |
| .byte 0 |
| .byte 0 |
| .byte 1 |
| # Directory table |
| .asciz "Directory4a" |
| .asciz "Directory4b" |
| .byte 0 |
| # File table |
| .asciz "File4a" # File name 1 |
| .byte 1 # Directory index 1 |
| .byte 0x41 # Timestamp 1 |
| .byte 0x42 # File Size 1 |
| .asciz "File4b" # File name 2 |
| .byte 0 # Directory index 2 |
| .byte 0x43 # Timestamp 2 |
| .byte 0x44 # File Size 2 |
| .byte 0 # End of list |
| LH_4_header_end: |
| # Line number program, which is empty. |
| LH_4_end: |
| |
| # CHECK: Line table prologue: |
| # CHECK: version: 4 |
| # CHECK-NOT: address_size |
| # CHECK-NOT: seg_select_size |
| # CHECK: max_ops_per_inst: 1 |
| # CHECK: include_directories[ 1] = "Directory4a" |
| # CHECK: include_directories[ 2] = "Directory4b" |
| # CHECK-NOT: include_directories |
| # CHECK: file_names[ 1]: |
| # CHECK-NEXT: name: "File4a" |
| # CHECK-NEXT: dir_index: 1 |
| # CHECK-NEXT: mod_time: 0x00000041 |
| # CHECK-NEXT: length: 0x00000042 |
| # CHECK: file_names[ 2]: |
| # CHECK-NEXT: name: "File4b" |
| # CHECK-NEXT: dir_index: 0 |
| # CHECK-NEXT: mod_time: 0x00000043 |
| # CHECK-NEXT: length: 0x00000044 |
| # CHECK-NOT: file_names |
| |
| # DWARF v5 line-table header. |
| LH_5_start: |
| .long LH_5_end-LH_5_version # Length of Unit |
| LH_5_version: |
| .short 5 # DWARF version number |
| .byte 8 # Address Size |
| .byte 0 # Segment Selector Size |
| .long LH_5_header_end-LH_5_params # Length of Prologue |
| LH_5_params: |
| .byte 1 # Minimum Instruction Length |
| .byte 1 # Maximum Operations per Instruction |
| .byte 1 # Default is_stmt |
| .byte -5 # Line Base |
| .byte 14 # Line Range |
| .byte 13 # Opcode Base |
| .byte 0 # Standard Opcode Lengths |
| .byte 1 |
| .byte 1 |
| .byte 1 |
| .byte 1 |
| .byte 0 |
| .byte 0 |
| .byte 0 |
| .byte 1 |
| .byte 0 |
| .byte 0 |
| .byte 1 |
| # Directory table format |
| .byte 1 # One element per directory entry |
| .byte 1 # DW_LNCT_path |
| .byte 0x0e # DW_FORM_strp (-> .debug_str) |
| # Directory table entries |
| .byte 2 # Two directories |
| .long str_LT_5a |
| .long str_LT_5b |
| # File table format |
| .byte 3 # Three elements per file entry |
| .byte 1 # DW_LNCT_path |
| .byte 0x1f # DW_FORM_line_strp (-> .debug_line_str) |
| .byte 2 # DW_LNCT_directory_index |
| .byte 0x0b # DW_FORM_data1 |
| .byte 5 # DW_LNCT_MD5 |
| .byte 0x1e # DW_FORM_data16 |
| # File table entries |
| .byte 2 # Two files |
| .long lstr_LT_5a |
| .byte 0 |
| .quad 0x7766554433221100 |
| .quad 0xffeeddccbbaa9988 |
| .long lstr_LT_5b |
| .byte 1 |
| .quad 0x8899aabbccddeeff |
| .quad 0x0011223344556677 |
| LH_5_header_end: |
| # Line number program, which is empty. |
| LH_5_end: |
| |
| # CHECK: Line table prologue: |
| # CHECK: version: 5 |
| # CHECK: address_size: 8 |
| # CHECK: seg_select_size: 0 |
| # CHECK: max_ops_per_inst: 1 |
| # Mixing .debug_str (here) with .debug_line_str (in file_names) is not |
| # something a producer would do, but both are legal and we want to test them. |
| # CHECK: include_directories[ 0] = .debug_str[0x00000045] = "Directory5a" |
| # CHECK: include_directories[ 1] = .debug_str[0x00000051] = "Directory5b" |
| # CHECK-NOT: include_directories |
| # CHECK: file_names[ 0]: |
| # CHECK-NEXT: name: .debug_line_str[0x00000000] = "File5a" |
| # CHECK-NEXT: dir_index: 0 |
| # CHECK-NEXT: md5_checksum: 00112233445566778899aabbccddeeff |
| # CHECK: file_names[ 1]: |
| # CHECK-NEXT: name: .debug_line_str[0x00000007] = "File5b" |
| # CHECK-NEXT: dir_index: 1 |
| # CHECK-NEXT: md5_checksum: ffeeddccbbaa99887766554433221100 |
| # CHECK-NOT: file_names |
| |
| .section .debug_line_str,"MS",@progbits,1 |
| lstr_LT_5a: |
| .asciz "File5a" |
| lstr_LT_5b: |
| .asciz "File5b" |
| |
| .section .debug_line.dwo,"e",@progbits |
| # CHECK-LABEL: .debug_line.dwo |
| |
| # DWARF v5 DWO line-table header. |
| dwo_LH_5_start: |
| .long dwo_LH_5_end-dwo_LH_5_version # Length of Unit |
| dwo_LH_5_version: |
| .short 5 # DWARF version number |
| .byte 8 # Address Size |
| .byte 0 # Segment Selector Size |
| .long dwo_LH_5_header_end-dwo_LH_5_params # Length of Prologue |
| dwo_LH_5_params: |
| .byte 1 # Minimum Instruction Length |
| .byte 1 # Maximum Operations per Instruction |
| .byte 1 # Default is_stmt |
| .byte -5 # Line Base |
| .byte 14 # Line Range |
| .byte 13 # Opcode Base |
| .byte 0 # Standard Opcode Lengths |
| .byte 1 |
| .byte 1 |
| .byte 1 |
| .byte 1 |
| .byte 0 |
| .byte 0 |
| .byte 0 |
| .byte 1 |
| .byte 0 |
| .byte 0 |
| .byte 1 |
| # Directory table format |
| .byte 1 # One element per directory entry |
| .byte 1 # DW_LNCT_path |
| .byte 0x25 # DW_FORM_strx1 (-> .debug_str.dwo) |
| # Directory table entries |
| .byte 2 # Two directories |
| .byte 3 |
| .byte 4 |
| # File table format |
| .byte 4 # Four elements per file entry |
| .byte 1 # DW_LNCT_path |
| .byte 0x08 # DW_FORM_string |
| .byte 2 # DW_LNCT_directory_index |
| .byte 0x0b # DW_FORM_data1 |
| .byte 3 # DW_LNCT_timestamp |
| .byte 0x0f # DW_FORM_udata |
| .byte 4 # DW_LNCT_size |
| .byte 0x0f # DW_FORM_udata |
| # File table entries |
| .byte 2 # Two files |
| .asciz "DWOFile5a" |
| .byte 0 |
| .byte 0x15 |
| .byte 0x25 |
| .asciz "DWOFile5b" |
| .byte 1 |
| .byte 0x35 |
| .byte 0x45 |
| dwo_LH_5_header_end: |
| # Line number program, which is empty. |
| dwo_LH_5_end: |
| |
| # CHECK: Line table prologue: |
| # CHECK: version: 5 |
| # CHECK: address_size: 8 |
| # CHECK: seg_select_size: 0 |
| # CHECK: max_ops_per_inst: 1 |
| # CHECK: include_directories[ 0] = indexed (00000003) string = "DWODirectory5a" |
| # CHECK: include_directories[ 1] = indexed (00000004) string = "DWODirectory5b" |
| # CHECK-NOT: include_directories |
| # CHECK: file_names[ 0]: |
| # CHECK-NEXT: name: "DWOFile5a" |
| # CHECK-NEXT: dir_index: 0 |
| # CHECK-NEXT: mod_time: 0x00000015 |
| # CHECK-NEXT: length: 0x00000025 |
| # CHECK: file_names[ 1]: |
| # CHECK-NEXT: name: "DWOFile5b" |
| # CHECK-NEXT: dir_index: 1 |
| # CHECK-NEXT: mod_time: 0x00000035 |
| # CHECK-NEXT: length: 0x00000045 |
| # CHECK-NOT: file_names |
| |
| # VERIFY: Verifying .debug_types |
| # VERIFY: No errors. |