## Test that yaml2obj emits .debug_info section. ## a) Generate the .debug_info section from the "DWARF" entry. ## Generate and verify a DWARF32 little endian .debug_info (DWARFv5) section. # RUN: yaml2obj --docnum=1 -DENDIAN=ELFDATA2LSB %s -o %t1.le.o # RUN: llvm-readobj --sections --section-data %t1.le.o | \ # RUN: FileCheck -DINDEX=2 -DNAME=15 -DOFFSET=0x9B -DSIZE=179 -DADDRALIGN=1 %s --check-prefixes=SHDR,DWARF32-LE-CONTENT # SHDR: Index: [[INDEX]] # SHDR-NEXT: Name: .debug_info ([[NAME]]) # SHDR-NEXT: Type: SHT_PROGBITS (0x1) # SHDR-NEXT: Flags [ (0x0) # SHDR-NEXT: ] # SHDR-NEXT: Address: 0x0 # SHDR-NEXT: Offset: [[OFFSET]] # SHDR-NEXT: Size: [[SIZE]] # SHDR-NEXT: Link: 0 # SHDR-NEXT: Info: 0 # SHDR-NEXT: AddressAlignment: [[ADDRALIGN]] # SHDR-NEXT: EntrySize: 0 # DWARF32-LE-CONTENT-NEXT: SectionData ( # DWARF32-LE-CONTENT-NEXT: 0000: 34120000 05000204 34120000 01785634 ## ^------- unit_length (4-byte) ## ^--- version (2-byte) ## ^- unit_type (1-byte) DW_UT_type ## ^- address_size (1-byte) ## ^------- debug_abbrev_offset (4-byte) ## ^- abbreviation code (LEB128) 0x01 ## ^----- Form: DW_FORM_addr (4-byte) # DWARF32-LE-CONTENT-NEXT: 0010: 12020012 34020000 00123434 12785634 ## -- ## ^--- Form: DW_FORM_block2 size (2-byte) ## ^- ^- Form: DW_FORM_block2 body (2-byte) ## ^-------- Form: DW_FORM_block4 size (4-byte) ## ^-^- Form: DW_FORM_block4 body (2-byte) ## ^---- Form: DW_FORM_data2 (2-byte) ## ^----- Form: DW_FORM_data4 (4-byte) # DWARF32-LE-CONTENT-NEXT: 0020: 12F0DEBC 9A785634 12616263 64000212 ## -- ## ^----------------- Form: DW_FORM_data8 (8-byte) ## ^---------- Form: DW_FORM_string "abcd\0" ## ^- Form: DW_FORM_block size (ULEB128) ## ^- Form: DW_FORM_block body (2-byte) # DWARF32-LE-CONTENT-NEXT: 0030: 34021234 1201B424 78563412 B4247856 ## ^- Form: DW_FORM_block body ## ^- Form: DW_FORM_block1 size (1-byte) ## ^-^- Form: DW_FORM_block1 body (2-byte) ## ^- Form: DW_FORM_data1 (1-byte) ## ^- Form: DW_FORM_flag (1-byte) ## ^--- Form: DW_FORM_sdata (SLEB128) 0x1234 ## ^------- Form: DW_FORM_strp (4-byte) ## ^--- Form: DW_FORM_udata (ULEB128) 0x1234 ## ^--- Form: DW_FORM_ref_addr (4-byte) # DWARF32-LE-CONTENT-NEXT: 0040: 34121234 12785634 12F0DEBC 9A785634 ## ---- ## ^- Form: DW_FORM_ref1 (1-byte) ## ^---- Form: DW_FORM_ref2 (2-byte) ## ^-------- Form: DW_FORM_ref4 (4-byte) ## ^-------------- Form: DW_FORM_ref8 (8-byte) # DWARF32-LE-CONTENT-NEXT: 0050: 12B42408 65666768 00341200 00021234 ## -- ## ^--- Form: DW_FORM_ref_udata (ULEB128) 0x1234 ## ^- Form: DW_FORM_indirect (ULEB128) DW_FORM_string ## ^---------- "efgh\0" ## ^-------- Form: DW_FORM_sec_offset (4-byte) ## ^- Form: DW_FORM_exprloc size (ULEB128) 0x02 ## ^-^- Form: DW_FORM_exprloc body (2-byte) # DWARF32-LE-CONTENT-NEXT: 0060: B424B424 78563412 78563412 78563412 ## ^--- Form: DW_FORM_strx (ULEB128) ## ^--- Form: DW_FORM_addrx (ULEB128) ## ^------- Form: DW_FORM_ref_sup4 (4-byte) ## ^------- Form: DW_FORM_strp_sup (4-byte) ## ^------- Form: DW_FORM_line_strp (4-byte) # DWARF32-LE-CONTENT-NEXT: 0070: F0DEBC9A 78563412 B424B424 F0DEBC9A ## ^---------------- Form: DW_FORM_ref_sig8 (8-byte) ## ^--- Form: DW_FORM_loclistx (ULEB128) ## ^--- Form: DW_FORM_rnglistx (ULEB128) ## ^------- Form: DW_FORM_ref_sup8 (8-byte) # DWARF32-LE-CONTENT-NEXT: 0080: 78563412 12341278 56341212 34127856 ## -------- ## ^- Form: DW_FORM_strx1 (1-byte) ## ^--- Form: DW_FORM_strx2 (2-byte) ## ^-------- Form: DW_FORM_strx4 (4-byte) ## ^- Form: DW_FORM_addrx1 (1-byte) ## ^--- Form: DW_FORM_addrx2 (1-byte) ## ^--- Form: DW_FORM_addrx4 (4-byte) # DWARF32-LE-CONTENT-NEXT: 0090: 34123412 00000500 01043412 00000078 ## ---- ## ^-------- unit_length (4-byte) ## ^--- version (2-byte) ## ^- unit_type (1-byte) ## ^- address_size (1-byte) ## ^-------- debug_abbrev_offset (4-byte) ## ^- abbrev code (ULEB128) 0x00 ## ^- unit_length (4-byte) # DWARF32-LE-CONTENT-NEXT: 00A0: 56000004 00785600 00040178 56341202 ## ------ ## ^---- version (2-byte) ## ^-------- debug_abbrev_offset (4-byte) ## ^- address_size (1-byte) ## ^- abbrev code (ULEB128) 0x01 ## ^-------- Form: DW_FORM_addr ## ^- Form: DW_FORM_block2 size (2-byte) # DWARF32-LE-CONTENT-NEXT: 00B0: 001234 ## -- ## ^-^- Form: DW_FORM_block2 body (2-byte) # DWARF32-LE-CONTENT-NEXT: ) --- !ELF FileHeader: Class: ELFCLASS64 Data: [[ENDIAN]] Type: ET_EXEC DWARF: debug_abbrev: - Table: - Code: 1 Tag: DW_TAG_compile_unit Children: DW_CHILDREN_no Attributes: - Attribute: 0x01 Form: DW_FORM_addr ## 0x01 - Attribute: 0x01 Form: DW_FORM_block2 ## 0x03 - Attribute: 0x01 Form: DW_FORM_block4 ## 0x04 - Attribute: 0x01 Form: DW_FORM_data2 ## 0x05 - Attribute: 0x01 Form: DW_FORM_data4 ## 0x06 - Attribute: 0x01 Form: DW_FORM_data8 ## 0x07 - Attribute: 0x01 Form: DW_FORM_string ## 0x08 - Attribute: 0x01 Form: DW_FORM_block ## 0x09 - Attribute: 0x01 Form: DW_FORM_block1 ## 0x0a - Attribute: 0x01 Form: DW_FORM_data1 ## 0x0b - Attribute: 0x01 Form: DW_FORM_flag ## 0x0c - Attribute: 0x01 Form: DW_FORM_sdata ## 0x0d - Attribute: 0x01 Form: DW_FORM_strp ## 0x0e - Attribute: 0x01 Form: DW_FORM_udata ## 0x0f - Attribute: 0x01 Form: DW_FORM_ref_addr ## 0x10 - Attribute: 0x01 Form: DW_FORM_ref1 ## 0x11 - Attribute: 0x01 Form: DW_FORM_ref2 ## 0x12 - Attribute: 0x01 Form: DW_FORM_ref4 ## 0x13 - Attribute: 0x01 Form: DW_FORM_ref8 ## 0x14 - Attribute: 0x01 Form: DW_FORM_ref_udata ## 0x15 - Attribute: 0x01 Form: DW_FORM_indirect ## 0x16 - Attribute: 0x01 Form: DW_FORM_sec_offset ## 0x17 - Attribute: 0x01 Form: DW_FORM_exprloc ## 0x18 - Attribute: 0x01 Form: DW_FORM_strx ## 0x1a - Attribute: 0x01 Form: DW_FORM_addrx ## 0x1b - Attribute: 0x01 Form: DW_FORM_ref_sup4 ## 0x1c - Attribute: 0x01 Form: DW_FORM_strp_sup ## 0x1d - Attribute: 0x01 Form: DW_FORM_data16 ## 0x1e - Attribute: 0x01 Form: DW_FORM_line_strp ## 0x1f - Attribute: 0x01 Form: DW_FORM_ref_sig8 ## 0x20 - Attribute: 0x01 Form: DW_FORM_implicit_const ## 0x21 Value: 0x01 - Attribute: 0x01 Form: DW_FORM_loclistx ## 0x22 - Attribute: 0x01 Form: DW_FORM_rnglistx ## 0x23 - Attribute: 0x01 Form: DW_FORM_ref_sup8 ## 0x24 - Attribute: 0x01 Form: DW_FORM_strx1 ## 0x25 - Attribute: 0x01 Form: DW_FORM_strx2 ## 0x26 - Attribute: 0x01 Form: DW_FORM_strx3 ## 0x27 - Attribute: 0x01 Form: DW_FORM_strx4 ## 0x28 - Attribute: 0x01 Form: DW_FORM_addrx1 ## 0x29 - Attribute: 0x01 Form: DW_FORM_addrx2 ## 0x2a - Attribute: 0x01 Form: DW_FORM_addrx3 ## 0x2b - Attribute: 0x01 Form: DW_FORM_addrx4 ## 0x2c debug_info: - Length: 0x1234 Version: 5 UnitType: DW_UT_type AbbrOffset: 0x1234 AddrSize: 4 Entries: - AbbrCode: 1 Values: - Value: 0x12345678 ## DW_FORM_addr - BlockData: ## DW_FORM_block2 - 0x12 - 0x34 - BlockData: ## DW_FORM_block4 - 0x12 - 0x34 - Value: 0x1234 ## DW_FORM_data2 - Value: 0x12345678 ## DW_FORM_data4 - Value: 0x123456789abcdef0 ## DW_FORM_data8 - CStr: abcd ## DW_FORM_string - BlockData: ## DW_FORM_block - 0x12 - 0x34 - BlockData: ## DW_FORM_block1 - 0x12 - 0x34 - Value: 0x12 ## DW_FORM_data1 - Value: 0x01 ## DW_FORM_flag - Value: 0x1234 ## DW_FORM_sdata - Value: 0x12345678 ## DW_FORM_strp - Value: 0x1234 ## DW_FORM_udata - Value: 0x12345678 ## DW_FORM_ref_addr - Value: 0x12 ## DW_FORM_ref1 - Value: 0x1234 ## DW_FORM_ref2 - Value: 0x12345678 ## DW_FORM_ref4 - Value: 0x123456789abcdef0 ## DW_FORM_ref8 - Value: 0x1234 ## DW_FORM_ref_udata - Value: 0x08 ## DW_FORM_indirect. The following value's form is 0x08, which is DW_FORM_string. - CStr: efgh - Value: 0x1234 ## DW_FORM_sec_offset - BlockData: ## DW_FORM_exprloc - 0x12 - 0x34 - Value: 0x1234 ## DW_FORM_strx - Value: 0x1234 ## DW_FORM_addrx - Value: 0x12345678 ## DW_FORM_ref_sup4 - Value: 0x12345678 ## DW_FORM_strp_sup - Value: 0x1234 ## DW_FORM_data16 (unimplemented) - Value: 0x12345678 ## DW_FORM_line_strp - Value: 0x123456789abcdef0 ## DW_FORM_ref_sig8 - Value: 0x1234 ## DW_FORM_implicit_const (unimplemented) - Value: 0x1234 ## DW_FORM_loclistx - Value: 0x1234 ## DW_FORM_rnglistx - Value: 0x123456789abcdef0 ## DW_FORM_ref_sup8 - Value: 0x12 ## DW_FORM_strx1 - Value: 0x1234 ## DW_FORM_strx2 - Value: 0x123456 ## DW_FORM_strx3 (unimplemented) - Value: 0x12345678 ## DW_FORM_strx4 - Value: 0x12 ## DW_FORM_addrx1 - Value: 0x1234 ## DW_FORM_addrx2 - Value: 0x123456 ## DW_FORM_addrx3 (unimplemented) - Value: 0x12345678 ## DW_FORM_addrx4 - Length: 0x1234 Version: 5 ## Test another unit type. UnitType: DW_UT_compile AbbrOffset: 0x1234 AddrSize: 4 Entries: - AbbrCode: 0 Values: [] - Length: 0x5678 ## Test DWARFv4 Version: 4 AbbrevTableID: 0 AbbrOffset: 0x5678 AddrSize: 4 Entries: - AbbrCode: 1 Values: - Value: 0x12345678 ## DW_FORM_addr - BlockData: ## DW_FORM_block2 - 0x12 - 0x34 ## Generate and verify a DWARF32 big endian .debug_info (DWARFv4) section. # RUN: yaml2obj --docnum=1 -DENDIAN=ELFDATA2MSB %s -o %t1.be.o # RUN: llvm-readobj --sections --section-data %t1.be.o | \ # RUN: FileCheck -DINDEX=2 -DNAME=15 -DOFFSET=0x9B -DSIZE=179 -DADDRALIGN=1 %s --check-prefixes=SHDR,DWARF32-BE-CONTENT # DWARF32-BE-CONTENT-NEXT: SectionData ( # DWARF32-BE-CONTENT-NEXT: 0000: 00001234 00050204 00001234 01123456 ## ^------- unit_length (4-byte) ## ^--- version (2-byte) ## ^- unit_type (1-byte) DW_UT_type ## ^- address_size (1-byte) ## ^------- debug_abbrev_offset (4-byte) ## ^- abbreviation code (LEB128) 0x01 ## ^----- Form: DW_FORM_addr (4-byte) # DWARF32-BE-CONTENT-NEXT: 0010: 78000212 34000000 02123412 34123456 ## -- ## ^--- Form: DW_FORM_block2 size (2-byte) ## ^- ^- Form: DW_FORM_block2 body (2-byte) ## ^-------- Form: DW_FORM_block4 size (4-byte) ## ^-^- Form: DW_FORM_block4 body (2-byte) ## ^---- Form: DW_FORM_data2 (2-byte) ## ^----- Form: DW_FORM_data4 (4-byte) # DWARF32-BE-CONTENT-NEXT: 0020: 78123456 789ABCDE F0616263 64000212 ## -- ## ^----------------- Form: DW_FORM_data8 (8-byte) ## ^---------- Form: DW_FORM_string "abcd\0" ## ^- Form: DW_FORM_block size (ULEB128) ## ^- Form: DW_FORM_block body (2-byte) # DWARF32-BE-CONTENT-NEXT: 0030: 34021234 1201B424 12345678 B4241234 ## ^- Form: DW_FORM_block body ## ^- Form: DW_FORM_block1 size (1-byte) ## ^-^- Form: DW_FORM_block1 body (2-byte) ## ^- Form: DW_FORM_data1 (1-byte) ## ^- Form: DW_FORM_flag (1-byte) ## ^--- Form: DW_FORM_sdata (SLEB128) 0x1234 ## ^------- Form: DW_FORM_strp (4-byte) ## ^--- Form: DW_FORM_udata (ULEB128) 0x1234 ## ^--- Form: DW_FORM_ref_addr (4-byte) # DWARF32-BE-CONTENT-NEXT: 0040: 56781212 34123456 78123456 789ABCDE ## ---- ## ^- Form: DW_FORM_ref1 (1-byte) ## ^---- Form: DW_FORM_ref2 (2-byte) ## ^-------- Form: DW_FORM_ref4 (4-byte) ## ^-------------- Form: DW_FORM_ref8 (8-byte) # DWARF32-BE-CONTENT-NEXT: 0050: F0B42408 65666768 00000012 34021234 ## -- ## ^--- Form: DW_FORM_ref_udata (ULEB128) 0x1234 ## ^- Form: DW_FORM_indirect (ULEB128) DW_FORM_string ## ^---------- "efgh\0" ## ^-------- Form: DW_FORM_sec_offset (4-byte) ## ^- Form: DW_FORM_exprloc size (ULEB128) 0x02 ## ^-^- Form: DW_FORM_exprloc body (2-byte) # DWARF32-BE-CONTENT-NEXT: 0060: B424B424 12345678 12345678 12345678 ## ^--- Form: DW_FORM_strx (ULEB128) ## ^--- Form: DW_FORM_addrx (ULEB128) ## ^------- Form: DW_FORM_ref_sup4 (4-byte) ## ^------- Form: DW_FORM_strp_sup (4-byte) ## ^------- Form: DW_FORM_line_strp (4-byte) # DWARF32-BE-CONTENT-NEXT: 0070: 12345678 9ABCDEF0 B424B424 12345678 ## ^---------------- Form: DW_FORM_ref_sig8 (8-byte) ## ^--- Form: DW_FORM_loclistx (ULEB128) ## ^--- Form: DW_FORM_rnglistx (ULEB128) ## ^------- Form: DW_FORM_ref_sup8 (8-byte) # DWARF32-BE-CONTENT-NEXT: 0080: 9ABCDEF0 12123412 34567812 12341234 ## -------- ## ^- Form: DW_FORM_strx1 (1-byte) ## ^--- Form: DW_FORM_strx2 (2-byte) ## ^-------- Form: DW_FORM_strx4 (4-byte) ## ^- Form: DW_FORM_addrx1 (1-byte) ## ^--- Form: DW_FORM_addrx2 (1-byte) ## ^--- Form: DW_FORM_addrx4 (4-byte) # DWARF32-BE-CONTENT-NEXT: 0090: 56780000 12340005 01040000 12340000 ## ---- ## ^-------- unit_length (4-byte) ## ^--- version (2-byte) ## ^- unit_type (1-byte) ## ^- address_size (1-byte) ## ^-------- debug_abbrev_offset (4-byte) ## ^- abbrev code (ULEB128) 0x00 ## ^- unit_length (4-byte) # DWARF32-BE-CONTENT-NEXT: 00A0: 00567800 04000056 78040112 34567800 ## ------ ## ^---- version (2-byte) ## ^-------- debug_abbrev_offset (4-byte) ## ^- address_size (1-byte) ## ^- abbrev code (ULEB128) 0x01 ## ^-------- Form: DW_FORM_addr ## ^- Form: DW_FORM_block2 size (2-byte) # DWARF32-BE-CONTENT-NEXT: 00B0: 021234 ## -- ## ^-^- Form: DW_FORM_block2 body (2-byte) # DWARF32-BE-CONTENT-NEXT: ) ## b) Generate the .debug_info section from raw section content. # RUN: yaml2obj --docnum=2 %s -o %t2.o # RUN: llvm-readobj --sections --section-data %t2.o | \ # RUN: FileCheck -DINDEX=1 -DNAME=1 -DOFFSET=0x40 -DSIZE=3 -DADDRALIGN=0 %s --check-prefixes=SHDR,ARBITRARY-CONTENT # ARBITRARY-CONTENT-NEXT: SectionData ( # ARBITRARY-CONTENT-NEXT: 0000: 112233 # ARBITRARY-CONTENT-NEXT: ) --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC Sections: - Name: .debug_info Type: SHT_PROGBITS Content: "112233" ## c) Generate the .debug_info section when the "Size" is specified. # RUN: yaml2obj --docnum=3 %s -o %t3.o # RUN: llvm-readobj --sections --section-data %t3.o | \ # RUN: FileCheck -DINDEX=1 -DNAME=1 -DOFFSET=0x40 -DSIZE=16 -DADDRALIGN=0 %s --check-prefixes=SHDR,SIZE # SIZE-NEXT: SectionData ( # SIZE-NEXT: 0000: 00000000 00000000 00000000 00000000 # SIZE-NEXT: ) --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC Sections: - Name: .debug_info Type: SHT_PROGBITS Size: 0x10 ## d) Test that yaml2obj emits an error message when both the "Size" and the ## "debug_info" entry are specified at the same time. # RUN: not yaml2obj --docnum=4 %s 2>&1 | FileCheck %s --check-prefix=AMBIGUOUS-CONTENT # AMBIGUOUS-CONTENT: yaml2obj: error: cannot specify section '.debug_info' contents in the 'DWARF' entry and the 'Content' or 'Size' in the 'Sections' entry at the same time --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC Sections: - Name: .debug_info Type: SHT_PROGBITS Size: 0x10 DWARF: debug_abbrev: - Table: - Code: 1 Tag: DW_TAG_compile_unit Children: DW_CHILDREN_no debug_info: - Length: 0x1234 Version: 5 UnitType: DW_UT_type AbbrOffset: 0x1234 Entries: [] ## e) Test that yaml2obj emits an error message when both the "Content" and the ## "debug_info" entry are specified at the same time. # RUN: not yaml2obj --docnum=5 %s 2>&1 | FileCheck %s --check-prefix=AMBIGUOUS-CONTENT --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC Sections: - Name: .debug_info Type: SHT_PROGBITS Content: "00" DWARF: debug_abbrev: - Table: - Code: 1 Tag: DW_TAG_compile_unit Children: DW_CHILDREN_no debug_info: - Length: 0x1234 Version: 5 UnitType: DW_UT_type AbbrOffset: 0x1234 Entries: [] ## f) Test that all the properties can be overridden by the section header when ## the "debug_info" entry doesn't exist. # RUN: yaml2obj --docnum=6 %s -o %t6.o # RUN: llvm-readelf --sections %t6.o | FileCheck %s --check-prefix=OVERRIDDEN # OVERRIDDEN: [Nr] Name Type Address Off Size ES Flg Lk Inf Al # OVERRIDDEN: [ 1] .debug_info STRTAB 0000000000002020 000050 00000d 01 A 2 1 2 # OVERRIDDEN-NEXT: [ 2] .sec STRTAB 0000000000000000 00005d 000000 00 0 0 0 --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC Sections: - Name: .debug_info Type: SHT_STRTAB ## SHT_PROGBITS by default. Flags: [SHF_ALLOC] ## 0 by default. Link: .sec ## 0 by default. EntSize: 1 ## 0 by default. Info: 1 ## 0 by default. AddressAlign: 2 ## 0 by default. Address: 0x2020 ## 0x00 by default. Offset: 0x50 ## 0x40 for the first section. Size: 0x0d ## Set the "Size" so that we can reuse the check tag "OVERRIDDEN". - Name: .sec ## Linked by .debug_info. Type: SHT_STRTAB ## g) Test that all the properties can be overridden by the section header when ## the "debug_info" entry exists. # RUN: yaml2obj --docnum=7 %s -o %t7.o # RUN: llvm-readelf --sections %t7.o | FileCheck %s --check-prefix=OVERRIDDEN --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC Sections: - Name: .debug_info Type: SHT_STRTAB ## SHT_PROGBITS by default. Flags: [SHF_ALLOC] ## 0 by default. Link: .sec ## 0 by default. EntSize: 1 ## 0 by default. Info: 1 ## 0 by default. AddressAlign: 2 ## 0 by default. Address: 0x2020 ## 0x00 by default. Offset: 0x50 ## 0x40 for the first section. - Name: .sec ## Linked by .debug_info. Type: SHT_STRTAB DWARF: debug_abbrev: - Table: - Code: 1 Tag: DW_TAG_compile_unit Children: DW_CHILDREN_no debug_info: - Length: 0x1234 Version: 5 UnitType: DW_UT_type AbbrOffset: 0x1234 Entries: - AbbrCode: 0 Values: [] ## h) Test that yaml2obj doesn't crash when the 'Entries' of a compilation unit is empty. # RUN: yaml2obj --docnum=8 %s -o %t8.o # RUN: llvm-readelf --hex-dump=.debug_info %t8.o | \ # RUN: FileCheck %s --check-prefix=EMPTY-ENTRIES --match-full-lines # EMPTY-ENTRIES: Hex dump of section '.debug_info': # EMPTY-ENTRIES-NEXT: 0x00000000 34120000 05000204 34120000 4.......4... # EMPTY-ENTRIES-EMPTY: ## ^- 'Entries' is empty --- !ELF FileHeader: Class: ELFCLASS32 Data: ELFDATA2LSB Type: ET_EXEC DWARF: debug_info: - Length: 0x1234 Version: 5 UnitType: DW_UT_type AbbrOffset: 0x1234 Entries: [] ## h) Test that yaml2obj emits values in the DIE according to the abbreviation whose ## index is equal to the value in 'AbbrevCode'. # RUN: yaml2obj --docnum=9 %s -o %t9.o # RUN: llvm-readelf --hex-dump=.debug_info %t9.o | \ # RUN: FileCheck %s --check-prefix=FORM --match-full-lines # FORM: Hex dump of section '.debug_info': # FORM-NEXT: 0x00000000 34120000 05000204 34120000 02341221 4.......4....4.! ## ^------- unit_length (4-byte) ## ^- abbreviation code (ULEB128) ## ^--- Form: DW_FORM_data2 (2-byte) ## ^- Form: DW_FORM_data4 (4-byte) # FORM-NEXT: 0x00000010 43658701 21436587 341200 Ce..!Ce.4.. ## ------ ## ^- abbreviation code (ULEB128) ## ^------- Form: DW_FORM_data4 (4-byte) ## ^--- Form: DW_FORM_data2 (2-byte) ## ^- abbreviation code (ULEB128) # FORM-EMPTY: --- !ELF FileHeader: Class: ELFCLASS32 Data: ELFDATA2LSB Type: ET_EXEC DWARF: debug_abbrev: - Table: - Tag: DW_TAG_compile_unit Children: DW_CHILDREN_yes Attributes: - Attribute: DW_AT_low_pc Form: DW_FORM_data4 - Attribute: DW_AT_high_pc Form: DW_FORM_data2 - Tag: DW_TAG_subprogram Children: DW_CHILDREN_no Attributes: - Attribute: DW_AT_low_pc Form: DW_FORM_data2 - Attribute: DW_AT_high_pc Form: DW_FORM_data4 debug_info: - Length: 0x1234 Version: 5 UnitType: DW_UT_type AbbrOffset: 0x1234 Entries: ## Test that yaml2obj emits values when the abbrev code is specified. - AbbrCode: 2 Values: - Value: 0x1234 - Value: 0x87654321 ## Test that yaml2obj emits values when the abbrev code is specified to ## be lower than the first abbrev. - AbbrCode: 1 Values: - Value: 0x87654321 - Value: 0x1234 ## Test that yaml2obj ignores the contents of entries with abbrev code 0. - AbbrCode: 0 Values: - Value: 0x1234 ## i) Test that yaml2obj reports an error when 'debug_info' has values in its ## entries but 'debug_abbrev' doesn't have enough attributes for them. # RUN: not yaml2obj --docnum=10 %s -o %t10.o 2>&1 | \ # RUN: FileCheck %s --check-prefixes=ERROR # ERROR: yaml2obj: error: abbrev code must be less than or equal to the number of entries in abbreviation table --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC DWARF: debug_abbrev: - Table: [] debug_info: - Length: 0x1234 Version: 5 UnitType: DW_UT_type AbbrOffset: 0x1234 Entries: - AbbrCode: 1 Values: - Value: 0x1234 ## j) Test that yaml2obj emits the correct DWARF64 unit headers. ## DWARFv5 unit header. # RUN: yaml2obj --docnum=11 %s -o %t11.o # RUN: llvm-readelf --hex-dump=.debug_info %t11.o | \ # RUN: FileCheck %s --check-prefix=DWARFV5-HEADER # DWARFV5-HEADER: Hex dump of section '.debug_info': # DWARFV5-HEADER-NEXT: 0x00000000 ffffffff 0c000000 00000000 05000208 ................ ## ^------------------------- unit_length (12-byte) ## ^--- version (2-byte) ## ^- unit_type (1-byte) ## ^- address_size (1-byte) # DWARFV5-HEADER-NEXT: 0x00000010 34120000 00000000 4....... ## ^---------------- debug_abbrev_offset (8-byte) --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC DWARF: debug_info: - Format: DWARF64 Length: 0x0c Version: 5 UnitType: DW_UT_type AbbrOffset: 0x1234 Entries: [] ## DWARFv4 unit header. # RUN: yaml2obj --docnum=12 %s -o %t12.o # RUN: llvm-readelf --hex-dump=.debug_info %t12.o | \ # RUN: FileCheck %s --check-prefix=DWARFV4-HEADER # DWARFV4-HEADER: Hex dump of section '.debug_info': # DWARFV4-HEADER-NEXT: 0x00000000 ffffffff 0c000000 00000000 04003412 ..............4. ## ^------------------------- unit_length (12-byte) ## ^--- version (2-byte) ## ^--- debug_abbrev_offset (8-byte) # DWARFV4-HEADER-NEXT: 0x00000010 00000000 000008 ....... ## ------------- ## ^- address_size (1-byte) --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC DWARF: debug_info: - Format: DWARF64 Length: 0x0c Version: 4 AbbrOffset: 0x1234 Entries: [] ## k) Test that yaml2obj is able to emit a correct length for compilation units. # RUN: yaml2obj --docnum=13 %s -o %t13.o # RUN: llvm-readelf --hex-dump=.debug_info %t13.o | \ # RUN: FileCheck %s --check-prefix=INFER-LENGTH # INFER-LENGTH: Hex dump of section '.debug_info': # INFER-LENGTH-NEXT: 0x00000000 37000000 04000000 00000801 00000000 7............... ## ^------- unit_length (0x37) ## ^--- version (2-byte) ## ^-------- debug_abbrev_offset (4-byte) ## ^- address_size (1-byte) ## ^- abbrev code (ULEB128) 0x01 ## ^------- Form: DW_FORM_strp (4-byte) # INFER-LENGTH-NEXT: 0x00000010 0c001600 00000000 00001e00 00002011 .............. . ## ^--- Form: DW_FORM_data2 (2-byte) ## ^-------- Form: DW_FORM_strp (4-byte) ## ^-------- Form: DW_FORM_sec_offset (4-byte) ## ^-------- Form: DW_FORM_strp (4-byte) ## ^--- Form: DW_FORM_addr (8-byte) # INFER-LENGTH-NEXT: 0x00000020 00000000 00003300 00000220 11000000 ......3.... .... ## ------------- ## ^-------- Form: DW_FORM_data4 (4-byte) ## ^- abbrev code (ULEB128) 0x02 ## ^---------- Form: DW_FORM_addr (8-byte) # INFER-LENGTH-NEXT: 0x00000030 00000006 00000038 000000 .......8... ## ------ ## ^-------- Form: DW_FORM_data4 (4-byte) ## ^-------- Form: DW_FORM_strp (4-byte) ## The handwritten DIEs should look like: ## 0x0000000b: DW_TAG_compile_unit [1] * ## DW_AT_producer [DW_FORM_strp] ( .debug_str[0x00000000] = "clang version 10.0.0 ") ## DW_AT_language [DW_FORM_data2] (DW_LANG_C99) ## DW_AT_name [DW_FORM_strp] ( .debug_str[0x00000016] = "hello.c") ## DW_AT_stmt_list [DW_FORM_sec_offset] (0x00000000) ## DW_AT_comp_dir [DW_FORM_strp] ( .debug_str[0x0000001e] = "/home/v/x/llvm/playground") ## DW_AT_low_pc [DW_FORM_addr] (0x0000000000001120) ## DW_AT_high_pc [DW_FORM_data4] (0x00000033) ## ## 0x0000002a: DW_TAG_subprogram [2] ## DW_AT_low_pc [DW_FORM_addr] (0x0000000000001120) ## DW_AT_high_pc [DW_FORM_data4] (0x00000006) ## DW_AT_name [DW_FORM_strp] ( .debug_str[0x00000038] = "main") --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC DWARF: debug_str: - "clang version 10.0.0 " - "hello.c" - "/home/v/x/llvm/playground" - "main" debug_abbrev: - Table: - Code: 1 Tag: DW_TAG_compile_unit Children: DW_CHILDREN_yes Attributes: - Attribute: DW_AT_producer Form: DW_FORM_strp - Attribute: DW_AT_language Form: DW_FORM_data2 - Attribute: DW_AT_name Form: DW_FORM_strp - Attribute: DW_AT_stmt_list Form: DW_FORM_sec_offset - Attribute: DW_AT_comp_dir Form: DW_FORM_strp - Attribute: DW_AT_low_pc Form: DW_FORM_addr - Attribute: DW_AT_high_pc Form: DW_FORM_data4 - Code: 2 Tag: DW_TAG_subprogram Children: DW_CHILDREN_no Attributes: - Attribute: DW_AT_low_pc Form: DW_FORM_addr - Attribute: DW_AT_high_pc Form: DW_FORM_data4 - Attribute: DW_AT_name Form: DW_FORM_strp debug_info: - Version: 4 AbbrOffset: 0x00 Entries: - AbbrCode: 1 Values: - Value: 0x00 ## DW_AT_producer [DW_FORM_strp] - Value: 0x0c ## DW_LANG_C99, DW_AT_language [DW_FORM_data2] - Value: 0x16 ## DW_AT_name [DW_FORM_strp] - Value: 0x00 ## DW_AT_stmt_list [DW_FORM_sec_offset] - Value: 0x1e ## DW_AT_comp_dir [DW_FORM_strp] - Value: 0x1120 ## DW_AT_low_pc [DW_FORM_addr] - Value: 0x33 ## DW_AT_high_pc [DW_FORM_data4] - AbbrCode: 2 Values: - Value: 0x1120 ## DW_AT_low_pc [DW_FORM_addr] - Value: 0x06 ## DW_AT_high_pc [DW_FORM_data4] - Value: 0x38 ## DW_AT_name [DW_FORM_strp] ## l) Test that if we don't specify the 'Values' key for an entry, yaml2obj will only emit the abbrev_code. # RUN: yaml2obj --docnum=14 %s -o %t14.o # RUN: llvm-readelf --hex-dump=.debug_info %t14.o | \ # RUN: FileCheck %s --check-prefix=NO-VALUES # NO-VALUES: Hex dump of section '.debug_info': # NO-VALUES-NEXT: 0x00000000 0a000000 04000000 00000801 0002 .............. ## ^------- unit_length (4-byte) ## ^--- version (2-byte) ## ^-------- debug_abbrev_offset (4-byte) ## ^- address_size (1-byte) ## ^- abbrev_code (ULEB128) 0x01 ## ^- abbrev_code (ULEB128) 0x00 ## ^- abbrev_code (ULEB128) 0x02 --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC DWARF: debug_info: - Version: 4 AbbrOffset: 0x00 Entries: - AbbrCode: 1 - AbbrCode: 0 - AbbrCode: 2 ## m) Test that yaml2obj is able to infer the address size from the object file. # RUN: yaml2obj --docnum=15 -DBITS=64 %s -o %t15.64-bit.o # RUN: llvm-readelf --hex-dump=.debug_info %t15.64-bit.o | \ # RUN: FileCheck %s --check-prefix=ADDRSIZE -DADDRSIZE=08 # ADDRSIZE: Hex dump of section '.debug_info': # ADDRSIZE-NEXT: 0x00000000 07000000 04000000 0000[[ADDRSIZE]] ........... # RUN: yaml2obj --docnum=15 -DBITS=32 %s -o %t15.32-bit.o # RUN: llvm-readelf --hex-dump=.debug_info %t15.32-bit.o | \ # RUN: FileCheck %s --check-prefix=ADDRSIZE -DADDRSIZE=04 --- !ELF FileHeader: Class: ELFCLASS[[BITS]] Data: ELFDATA2LSB Type: ET_EXEC DWARF: debug_info: - Version: 4 AbbrOffset: 0x00 ## n) Test that yaml2obj emits an error message when a compilation unit has values but there is no associated abbrev table. ## RUN: not yaml2obj --docnum=16 %s 2>&1 | FileCheck %s --check-prefix=NO-ABBREV # NO-ABBREV: yaml2obj: error: cannot find abbrev table whose ID is 0 for compilation unit with index 0 --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC Machine: EM_X86_64 DWARF: debug_info: - Version: 4 AbbrOffset: 0x00 Entries: - AbbrCode: 1 Values: - Value: 0x1234 ## o) Test that yaml2obj is able to generate compilation units according to the ## associated abbrev table that is referenced by the 'AbbrevTableID' and infer ## the value of the debug_abbrev_offset field. # RUN: yaml2obj --docnum=17 %s -o %t17.o # RUN: llvm-readelf --hex-dump=.debug_info %t17.o | FileCheck %s --check-prefix=MULTI-TABLES # MULTI-TABLES: Hex dump of section '.debug_info': # MULTI-TABLES-NEXT: 0x00000000 0c000000 04000800 00000801 34120000 ............4... ## ^------- unit_length (4-byte) ## ^--- version (2-byte) ## ^-------- debug_abbrev_offset (4-byte) ## ^- address_size (1-byte) ## ^- abbrev_code (ULEB128) 0x01 ## ^------- Form: DW_FORM_data4 (4-byte) 0x1234 # MULTI-TABLES-NEXT: 0x00000010 0c000000 04000800 00000801 21430000 ............!C.. ## ^------- unit_length (4-byte) ## ^--- version (2-byte) ## ^-------- debug_abbrev_offset (4-byte) ## ^- address_size (1-byte) ## ^- abbrev_code (ULEB128) 0x01 ## ^------- Form: DW_FORM_data4 (4-byte) 0x4321 # MULTI-TABLES-NEXT: 0x00000020 10000000 04000000 00000801 78560000 ............xV.. ## ^------- unit_length (4-byte) ## ^--- version (2-byte) ## ^-------- debug_abbrev_offset (4-byte) ## ^- address_size (1-byte) ## ^- abbrev_code (ULEB128) 0x01 ## ^------- Form: DW_FORM_addr (8-byte) 0x5678 # MULTI-TABLES-NEXT: 0x00000030 00000000 0b000000 04001000 00000801 ................ ## -------- ## ^------- unit_length (4-byte) ## ^--- version (2-byte) ## ^-------- debug_abbrev_offset (4-byte) ## ^- address_size (1-byte) ## ^- abbrev_code (ULEB128) 0x01 # MULTI-TABLES-NEXT: 0x00000040 e58e02 ... ## ^----- Form: DW_FORM_udata (ULEB128) 0x8765 --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC DWARF: debug_abbrev: - Table: - Code: 1 Tag: DW_TAG_compile_unit Children: DW_CHILDREN_no Attributes: - Attribute: DW_AT_low_pc Form: DW_FORM_addr - ID: 2 Table: - Code: 1 Tag: DW_TAG_compile_unit Children: DW_CHILDREN_no Attributes: - Attribute: DW_AT_low_pc Form: DW_FORM_data4 - ID: 1 Table: - Code: 1 Tag: DW_TAG_compile_unit Children: DW_CHILDREN_no Attributes: - Attribute: DW_AT_low_pc Form: DW_FORM_udata debug_info: - Version: 4 AbbrevTableID: 2 Entries: - AbbrCode: 1 Values: - Value: 0x1234 - Version: 4 AbbrevTableID: 2 Entries: - AbbrCode: 1 Values: - Value: 0x4321 - Version: 4 AbbrevTableID: 0 Entries: - AbbrCode: 1 Values: - Value: 0x5678 - Version: 4 AbbrevTableID: 1 Entries: - AbbrCode: 1 Values: - Value: 0x8765 ## p) Test that when the debug_abbrev_offset field isn't specified and there is no associated ## abbrev table, yaml2obj will assign 0 to the debug_abbrev_offset field. # RUN: yaml2obj --docnum=18 %s -o %t18.o # RUN: llvm-readelf --hex-dump=.debug_info %t18.o | FileCheck %s --check-prefix=ZERO-OFFSET # ZERO-OFFSET: Hex dump of section '.debug_info': # ZERO-OFFSET-NEXT: 0x00000000 07000000 04000000 000008 ........... ## ^------- unit_length (4-byte) ## ^--- version (2-byte) ## ^-------- debug_abbrev_offset (4-byte) ## ^- address_size (1-byte) --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC DWARF: debug_info: - Version: 4 AbbrevTableID: [[ABBREVID=]] ## q) Test that when we assign an invalid 'AbbrevTableID' that doesn't point to an abbrev table, ## yaml2obj will assign 0 to the debug_abbrev_offset field. # RUN: yaml2obj --docnum=18 -DABBREVID=2 %s -o %t18.o # RUN: llvm-readelf --hex-dump=.debug_info %t18.o | FileCheck %s --check-prefix=ZERO-OFFSET