## Test that yaml2obj emits .debug_abbrev section. ## a) Generate the .debug_abbrev section from the "DWARF" entry. # RUN: yaml2obj --docnum=1 %s -o %t1.o # RUN: llvm-readobj --sections --section-data %t1.o | \ # RUN: FileCheck -DSIZE=59 -DADDRALIGN=1 %s --check-prefixes=SHDR,CONTENT # SHDR: Index: 1 # SHDR-NEXT: Name: .debug_abbrev (1) # SHDR-NEXT: Type: SHT_PROGBITS (0x1) # SHDR-NEXT: Flags [ (0x0) # SHDR-NEXT: ] # SHDR-NEXT: Address: 0x0 # SHDR-NEXT: Offset: 0x40 # SHDR-NEXT: Size: [[SIZE]] # SHDR-NEXT: Link: 0 # SHDR-NEXT: Info: 0 # SHDR-NEXT: AddressAlignment: [[ADDRALIGN]] # SHDR-NEXT: EntrySize: 0 # CONTENT-NEXT: SectionData ( # CONTENT-NEXT: 000: 01110125 0E130503 ## ^- abbreviation code ULEB128 ^- DW_FORM_strp ULEB128 ## ^- DW_TAG_compile_unit ULEB128 ^- DW_AT_language ULEB128 ## ^- DW_CHILDREN_yes 1-byte ^- DW_FORM_data2 ULEB128 ## ^- DW_AT_producer ULEB128 ^- DW_AT_name ULEB128 ## ## CONTENT: 1A000002 2E011101 |...%............| ## ^- DW_AT_strx ULEB128 ^- DW_TAG_subprogram ULEB128 ## ^--- attr terminator ^- DW_CHILDREN_yes 1-byte ## ^- abbreviation code ULEB128 ^- DW_AT_low_pc ULEB128 ## ^- DW_FORM_addr ULEB128 ## # CONTENT-NEXT: 0010: 121B0000 03060081 ## ^- DW_AT_high_pc ULEB128 ^- abbreviation code ULEB128 ## ^- DW_FORM_addrx ULEB128 ^- Tag: value UELB128 ## ^--- attr terminator ^- DW_CHILDREN_no 1-byte ## ^- DW_AT_call_pc ULEB128 (0x81) ## # CONTENT: 01810104 02A04021 |..............@!| ## -- ^- Form: reserved ULEB128 ## ^--- Form: invalid ULEB128 (0x81) ^--- Attribute: reserved ULEB128 (0x2020) ## ^- Attribute: reserved ULEB128 ^- DW_FORM_implicit_const ULEB128 ## # CONTENT-NEXT: 0020: CEC2F105 00000001 ## ^------- Value SLEB128 (12345678) ^--- attr terminator ## ^- abbrev terminator ## ^- abbreviation code ULEB128 # CONTENT: 1101250E 0000022E |..........%.....| ## ^- DW_TAG_compile_unit ULEB128 ^--- attr terminator ## ^- DW_CHILDREN_yes 1-byte ^- abbreviation code ULEB128 ## ^- DW_AT_producer ULEB128 ^- DW_TAG_subprogram ULEB128 ## ^- DW_FORM_strp ULEB128 # CONTENT-NEXT: 0030: 01110100 00031100 000000 |...........| ## ^- DW_CHILDREN_yes 1-byte ^--- attr terminator ## ^- DW_AT_low_pc ULEB128 ^- abbrev table terminator ## ^- DW_FORM_addr UELB128 ## ^---- attr terminator ## ^- abbrev code ULEB128 (0x03) ## ^- DW_TAG_compile_unit ## ^- DW_CHILDREN_no # CONTENT-NEXT: ) --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC DWARF: 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_strx - Code: 2 Tag: DW_TAG_subprogram Children: DW_CHILDREN_yes Attributes: - Attribute: DW_AT_low_pc Form: DW_FORM_addr - Attribute: DW_AT_high_pc Form: DW_FORM_addrx - Code: 3 ## Test a reserved tag value. Tag: 0x06 Children: DW_CHILDREN_no Attributes: ## Test an attribute value that is more than one byte. - Attribute: DW_AT_call_pc ## Test a form value that is more than one byte. Form: 0x81 ## Test a reserved attribute value. - Attribute: 0x04 ## Test a reserved form value. Form: 0x02 - Attribute: 0x2020 ## Test one special attribute form DW_FORM_implicit_const, ## who is followed by a SLEB128 value. Form: DW_FORM_implicit_const Value: 12345678 - Table: - Code: 1 Tag: DW_TAG_compile_unit Children: DW_CHILDREN_yes Attributes: - Attribute: DW_AT_producer Form: DW_FORM_strp - Code: 2 Tag: DW_TAG_subprogram Children: DW_CHILDREN_yes Attributes: - Attribute: DW_AT_low_pc Form: DW_FORM_addr ## Test that if the 'Attributes' field is not specified, yaml2obj emits ## a terminating entry, 0 for the attribute, 0 for the form. - Tag: DW_TAG_compile_unit Children: DW_CHILDREN_no ## b) Generate the .debug_abbrev section from raw section content. # RUN: yaml2obj --docnum=2 %s -o %t2.o # RUN: llvm-readobj --sections --section-data %t2.o | \ # RUN: FileCheck -DADDRALIGN=0 -DSIZE=3 %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_abbrev Type: SHT_PROGBITS Content: "112233" ## c) Generate the .debug_abbrev section when the "Size" is specified. # RUN: yaml2obj --docnum=3 %s -o %t3.o # RUN: llvm-readobj --sections --section-data %t3.o | \ # RUN: FileCheck -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_abbrev Type: SHT_PROGBITS Size: 0x10 ## d) Test that yaml2obj emits an error message when both the "Size" and the ## "debug_abbrev" entry are specified at the same time. # RUN: not yaml2obj --docnum=4 %s 2>&1 | FileCheck %s --check-prefix=ERROR # ERROR: yaml2obj: error: cannot specify section '.debug_abbrev' 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_abbrev Type: SHT_PROGBITS Size: 0x10 DWARF: debug_abbrev: - Table: - Code: 1 Tag: DW_TAG_compile_unit Children: DW_CHILDREN_no ## e) Test that yaml2obj emits an error message when both the "Content" and the ## "debug_abbrev" entry are specified at the same time. # RUN: not yaml2obj --docnum=5 %s 2>&1 | FileCheck %s --check-prefix=ERROR --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC Sections: - Name: .debug_abbrev Type: SHT_PROGBITS Content: "00" DWARF: debug_abbrev: - Table: - Code: 1 Tag: DW_TAG_compile_unit Children: DW_CHILDREN_no ## f) Test that all the properties can be overridden by the section header when ## the "debug_abbrev" 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_abbrev STRTAB 0000000000002020 000050 000006 01 A 2 1 2 # OVERRIDDEN-NEXT: [ 2] .sec STRTAB 0000000000000000 000056 000000 00 0 0 0 --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC Sections: - Name: .debug_abbrev 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: 0x06 ## Set the "Size" so that we can reuse the check tag "OVERRIDDEN". - Name: .sec ## Linked by .debug_abbrev. Type: SHT_STRTAB ## g) Test that all the properties can be overridden by the section header when ## the "debug_abbrev" 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_abbrev 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 ## 1 by default. Address: 0x2020 ## 0x00 by default. Offset: 0x50 ## 0x40 for the first section. - Name: .sec ## Linked by .debug_abbrev. Type: SHT_STRTAB DWARF: debug_abbrev: - Table: - Code: 1 Tag: DW_TAG_compile_unit Children: DW_CHILDREN_no ## h) Test that yaml2obj automatically generates abbreviation codes for us. # RUN: yaml2obj --docnum=8 %s -o %t8.o # RUN: llvm-readelf --hex-dump=.debug_abbrev %t8.o | FileCheck %s --check-prefix=CODE # CODE: 0x00000000 01110000 00022e00 0000042e 00000004 ## ^- abbreviation code ULEB128 ## ^- abbreviation code ULEB128 ## ^- abbreviation code (ULEB128) 0x04 ## ^- abbreviation code (ULEB128) 0x04 ## # CODE-NEXT: 0x00000010 2e000000 052e0000 00062e00 00000001 ## ^- abbreviation code ULEB128 ## ^- abbreviation code ULEB128 ## ^- abbreviation code ULEB128 # CODE-NEXT: 0x00000020 11000000 022e0000 0000 ## ^- abbreviation code ULEB128 --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC DWARF: debug_abbrev: - Table: - Tag: DW_TAG_compile_unit Children: DW_CHILDREN_no - Tag: DW_TAG_subprogram Children: DW_CHILDREN_no - Code: 4 Tag: DW_TAG_subprogram Children: DW_CHILDREN_no - Code: 4 Tag: DW_TAG_subprogram Children: DW_CHILDREN_no - Tag: DW_TAG_subprogram Children: DW_CHILDREN_no - Tag: DW_TAG_subprogram Children: DW_CHILDREN_no - Table: ## Test that the abbrev codes in a new table start from 1 by default. - Tag: DW_TAG_compile_unit Children: DW_CHILDREN_no - Tag: DW_TAG_subprogram Children: DW_CHILDREN_no ## i) Test that yaml2obj emits an error message when there are non-empty compilation units ## and multiple abbrev tables are assigned the same ID. ## RUN: not yaml2obj --docnum=9 %s 2>&1 | FileCheck %s --check-prefix=ID-COLLISION # ID-COLLISION: yaml2obj: error: the ID (1) of abbrev table with index 1 has been used by abbrev table with index 0 --- !ELF FileHeader: Class: ELFCLASS64 Data: ELFDATA2LSB Type: ET_EXEC Machine: EM_X86_64 DWARF: debug_abbrev: - ID: 1 - ID: 1 debug_info: - Version: 4 AbbrOffset: 0x00 Entries: - AbbrCode: 1 Values: - Value: 0x1234