424 lines
16 KiB
YAML
424 lines
16 KiB
YAML
## Test that yaml2obj emits .debug_ranges section.
|
|
|
|
## a) Generate the .debug_ranges section from the "DWARF" entry.
|
|
|
|
## Generate and verify a little endian .debug_ranges section.
|
|
|
|
# RUN: yaml2obj --docnum=1 -DENDIAN=ELFDATA2LSB %s -o %t.le.o
|
|
# RUN: llvm-readobj --sections --section-data %t.le.o | \
|
|
# RUN: FileCheck %s -DSIZE=120 -DADDRALIGN=1 --check-prefixes=DWARF-HEADER,DWARF-LE-CONTENT
|
|
|
|
# DWARF-HEADER: Index: 1
|
|
# DWARF-HEADER-NEXT: Name: .debug_ranges (1)
|
|
# DWARF-HEADER-NEXT: Type: SHT_PROGBITS (0x1)
|
|
# DWARF-HEADER-NEXT: Flags [ (0x0)
|
|
# DWARF-HEADER-NEXT: ]
|
|
# DWARF-HEADER-NEXT: Address: 0x0
|
|
# DWARF-HEADER-NEXT: Offset: 0x40
|
|
# DWARF-HEADER-NEXT: Size: [[SIZE]]
|
|
# DWARF-HEADER-NEXT: Link: 0
|
|
# DWARF-HEADER-NEXT: Info: 0
|
|
# DWARF-HEADER-NEXT: AddressAlignment: [[ADDRALIGN]]
|
|
# DWARF-HEADER-NEXT: EntrySize: 0
|
|
# DWARF-LE-CONTENT-NEXT: SectionData (
|
|
# DWARF-LE-CONTENT-NEXT: 0000: 10000000 20000000 30000000 40000000
|
|
## | | | |
|
|
## | | | +------- HighOffset (4-byte) 0x40
|
|
## | | +------- LowOffset (4-byte) 0x30
|
|
## | +------- HighOffset (4-byte) 0x20
|
|
## +------- LowOffset (4-byte) 0x10
|
|
##
|
|
# DWARF-LE-CONTENT-NEXT: 0010: FFFFFFFF 10000000 00000000 00000000
|
|
## | | | |
|
|
## | | | +------- HighOffset (4-byte) 0x00
|
|
## | | +------- LowOffset (4-byte) 0x00
|
|
## | +------- Base Address (4-byte) 0x10
|
|
## +------- Base Address Entry (4-byte) UINT32_MAX
|
|
##
|
|
# DWARF-LE-CONTENT-NEXT: 0020: 00000000 00000000 10000000 00000000
|
|
## | |
|
|
## | +---------------- LowOffset (8-byte) 0x10
|
|
## +---------------- Terminating Entry (8-byte)
|
|
##
|
|
# DWARF-LE-CONTENT-NEXT: 0030: 20000000 00000000 30000000 00000000
|
|
## | |
|
|
## | +---------------- LowOffset (8-byte) 0x30
|
|
## +---------------- HighOffset (8-byte) 0x20
|
|
##
|
|
# DWARF-LE-CONTENT-NEXT: 0040: 40000000 00000000 FFFFFFFF FFFFFFFF
|
|
## | |
|
|
## | +---------------- Base Address Entry (8-byte) UINT64_MAX
|
|
## +---------------- HighOffset (8-byte) 0x40
|
|
##
|
|
# DWARF-LE-CONTENT-NEXT: 0050: 10000000 00000000 00000000 00000000
|
|
## | |
|
|
## | +---------------- LowOffset (8-byte) 0x00
|
|
## +---------------- Base Address (8-byte) 0x10
|
|
##
|
|
# DWARF-LE-CONTENT-NEXT: 0060: 00000000 00000000 00000000 00000000
|
|
## | |
|
|
## | +---------------- Terminating Entry (16-byte)
|
|
## +---------------- HighOffset (8-byte) 0x00
|
|
##
|
|
# DWARF-LE-CONTENT-NEXT: 0070: 00000000 00000000
|
|
## |
|
|
## +---------------- Terminating Entry (lower 8-byte)
|
|
##
|
|
# DWARF-LE-CONTENT-NEXT: )
|
|
|
|
--- !ELF
|
|
FileHeader:
|
|
Class: ELFCLASS64
|
|
Data: [[ENDIAN]]
|
|
Type: ET_EXEC
|
|
DWARF:
|
|
debug_ranges:
|
|
- AddrSize: 0x04
|
|
Entries:
|
|
- LowOffset: 0x00000010
|
|
HighOffset: 0x00000020
|
|
- LowOffset: 0x00000030
|
|
HighOffset: 0x00000040
|
|
- LowOffset: 0xffffffff
|
|
HighOffset: 0x00000010
|
|
- LowOffset: 0x00000000
|
|
HighOffset: 0x00000000
|
|
- Entries:
|
|
- LowOffset: 0x0000000000000010
|
|
HighOffset: 0x0000000000000020
|
|
- LowOffset: 0x0000000000000030
|
|
HighOffset: 0x0000000000000040
|
|
- LowOffset: 0xffffffffffffffff
|
|
HighOffset: 0x0000000000000010
|
|
- LowOffset: 0x0000000000000000
|
|
HighOffset: 0x0000000000000000
|
|
|
|
## Generate and verify a big endian .debug_ranges section.
|
|
|
|
# RUN: yaml2obj --docnum=1 -DENDIAN=ELFDATA2MSB %s -o %t.be.o
|
|
# RUN: llvm-readobj --sections --section-data %t.be.o | \
|
|
# RUN: FileCheck %s -DSIZE=120 -DADDRALIGN=1 --check-prefixes=DWARF-HEADER,DWARF-BE-CONTENT
|
|
|
|
# DWARF-BE-CONTENT-NEXT: SectionData (
|
|
# DWARF-BE-CONTENT-NEXT: 0000: 00000010 00000020 00000030 00000040
|
|
## | | | |
|
|
## | | | +------- HighOffset (4-byte) 0x40
|
|
## | | +------- LowOffset (4-byte) 0x30
|
|
## | +------- HighOffset (4-byte) 0x20
|
|
## +------- LowOffset (4-byte) 0x10
|
|
##
|
|
# DWARF-BE-CONTENT-NEXT: 0010: FFFFFFFF 00000010 00000000 00000000
|
|
## | | | |
|
|
## | | | +------- HighOffset (4-byte) 0x00
|
|
## | | +------- LowOffset (4-byte) 0x00
|
|
## | +------- Base Address (4-byte) 0x10
|
|
## +------- Base Address Entry (4-byte) UINT32_MAX
|
|
##
|
|
# DWARF-BE-CONTENT-NEXT: 0020: 00000000 00000000 00000000 00000010
|
|
## | |
|
|
## | +---------------- LowOffset (8-byte) 0x10
|
|
## +---------------- Terminating Entry (8-byte)
|
|
##
|
|
# DWARF-BE-CONTENT-NEXT: 0030: 00000000 00000020 00000000 00000030
|
|
## | |
|
|
## | +---------------- LowOffset (8-byte) 0x30
|
|
## +---------------- HighOffset (8-byte) 0x20
|
|
##
|
|
# DWARF-BE-CONTENT-NEXT: 0040: 00000000 00000040 FFFFFFFF FFFFFFFF
|
|
## | |
|
|
## | +---------------- Base Address Entry (8-byte) UINT64_MAX
|
|
## +---------------- HighOffset (8-byte) 0x40
|
|
##
|
|
# DWARF-BE-CONTENT-NEXT: 0050: 00000000 00000010 00000000 00000000
|
|
## | |
|
|
## | +---------------- LowOffset (8-byte) 0x00
|
|
## +---------------- Base Address (8-byte) 0x10
|
|
##
|
|
# DWARF-BE-CONTENT-NEXT: 0060: 00000000 00000000 00000000 00000000
|
|
## | |
|
|
## | +---------------- Terminating Entry (16-byte)
|
|
## +---------------- HighOffset (8-byte) 0x00
|
|
##
|
|
# DWARF-BE-CONTENT-NEXT: 0070: 00000000 00000000
|
|
## |
|
|
## +---------------- Terminating Entry (lower 8-byte)
|
|
##
|
|
# DWARF-BE-CONTENT-NEXT: )
|
|
|
|
## b) Generate the .debug_ranges section from raw section content.
|
|
|
|
# RUN: yaml2obj --docnum=2 %s -o %t2.o
|
|
# RUN: llvm-readobj --sections --section-data %t2.o | \
|
|
# RUN: FileCheck %s -DSIZE=3 -DADDRALIGN=0 --check-prefixes=DWARF-HEADER,ARBITRARY-CONTENT
|
|
|
|
# ARBITRARY-CONTENT: SectionData (
|
|
# ARBITRARY-CONTENT-NEXT: 0000: 112233
|
|
# ARBITRARY-CONTENT-NEXT: )
|
|
|
|
--- !ELF
|
|
FileHeader:
|
|
Class: ELFCLASS64
|
|
Data: ELFDATA2LSB
|
|
Type: ET_EXEC
|
|
Sections:
|
|
- Name: .debug_ranges
|
|
Type: SHT_PROGBITS
|
|
Content: "112233"
|
|
|
|
## c) Generate the .debug_ranges section when the "Size" is specified.
|
|
|
|
# RUN: yaml2obj --docnum=3 %s -o %t3.o
|
|
# RUN: llvm-readobj --hex-dump=.debug_ranges %t3.o | FileCheck %s --check-prefix=SIZE
|
|
|
|
# SIZE: Hex dump of section '.debug_ranges':
|
|
# SIZE-NEXT: 0x00000000 00000000 00000000 00000000 00000000 ................
|
|
# SIZE-EMPTY:
|
|
|
|
--- !ELF
|
|
FileHeader:
|
|
Class: ELFCLASS64
|
|
Data: ELFDATA2LSB
|
|
Type: ET_EXEC
|
|
Sections:
|
|
- Name: .debug_ranges
|
|
Type: SHT_PROGBITS
|
|
Size: 0x10
|
|
|
|
## d) Test that yaml2obj emits an error message when both the "Size" and the
|
|
## "debug_ranges" 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_ranges' 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_ranges
|
|
Type: SHT_PROGBITS
|
|
Size: 0x10
|
|
DWARF:
|
|
debug_ranges:
|
|
- Entries:
|
|
- LowOffset: 0x0000000000000001
|
|
HighOffset: 0x0000000000000002
|
|
|
|
## e) Test that yaml2obj emits an error message when both the "Content" and the
|
|
## "debug_ranges" 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_ranges
|
|
Type: SHT_PROGBITS
|
|
Content: "00"
|
|
DWARF:
|
|
debug_ranges:
|
|
- Entries:
|
|
- LowOffset: 0x0000000000000001
|
|
HighOffset: 0x0000000000000002
|
|
|
|
## f) Test that all the properties can be overridden by the section header when
|
|
## the "debug_ranges" 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_ranges STRTAB 0000000000002020 000050 000020 01 A 2 1 2
|
|
# OVERRIDDEN-NEXT: [ 2] .sec STRTAB 0000000000000000 000070 000000 00 0 0 0
|
|
|
|
--- !ELF
|
|
FileHeader:
|
|
Class: ELFCLASS64
|
|
Data: ELFDATA2LSB
|
|
Type: ET_EXEC
|
|
Sections:
|
|
- Name: .debug_ranges
|
|
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: 0x20 # Set the "Size" so that we can reuse the check tag "OVERRIDDEN".
|
|
- Name: .sec # Linked by .debug_ranges.
|
|
Type: SHT_STRTAB
|
|
|
|
## g) Test that all the properties can be overridden by the section header when
|
|
## the "debug_ranges" 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_ranges
|
|
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_ranges.
|
|
Type: SHT_STRTAB
|
|
DWARF:
|
|
debug_ranges:
|
|
- Entries:
|
|
- LowOffset: 0x0000000000000001
|
|
HighOffset: 0x0000000000000002
|
|
|
|
## h) Test that yaml2obj automatically pads zeros if we try to assign an offset that
|
|
## is greater than or equal to the number of bytes written already.
|
|
|
|
# RUN: yaml2obj --docnum=8 %s -o %t8.o
|
|
# RUN: llvm-readelf --hex-dump=.debug_ranges %t8.o | FileCheck %s --check-prefix=PADDED
|
|
|
|
# PADDED: Hex dump of section '.debug_ranges':
|
|
# PADDED-NEXT: 0x00000000 01000000 00000000 02000000 00000000
|
|
## | |
|
|
## | +---------------- HighOffset (8-byte) 0x02
|
|
## +---------------- LowOffset (8-byte) 0x01
|
|
##
|
|
# PADDED-NEXT: 0x00000010 00000000 00000000 00000000 00000000
|
|
## |
|
|
## +---------------------------------- Terminating Entry (16-byte) 0x00
|
|
##
|
|
# PADDED-NEXT: 0x00000020 00010000 00000000 00020000 00000000
|
|
## | | |
|
|
## | | +------------- HighOffset (8-byte) 0x02
|
|
## | +----------------- LowOffset (8-byte) 0x01
|
|
## +- Padded zeros (1-byte) 0x00
|
|
##
|
|
# PADDED-NEXT: 0x00000030 00000000 00000000 00000000 00000000
|
|
## | |
|
|
## | +-------------------------------- Terminating Entry (16-byte) 0x00
|
|
## +- higher byte(s) of HighOffset
|
|
##
|
|
# PADDED-NEXT: 0x00000040 00010000 00000000 00020000 00000000
|
|
## | | |
|
|
## | | +-------------- HighOffset (8-byte) 0x02
|
|
## | +----------------- LowOffset (8-byte) 0x01
|
|
## +- the last byte of terminating entry.
|
|
##
|
|
# PADDED-NEXT: 0x00000050 00000000 00000000 00000000 00000000
|
|
## | |
|
|
## | +-------------------------------- Terminating Entry (16-byte) 0x00
|
|
## +- higher byte(s) of HighOffset
|
|
##
|
|
# PADDED-NEXT: 0x00000060 00
|
|
## |
|
|
## +- the last byte of terminating entry.
|
|
|
|
--- !ELF
|
|
FileHeader:
|
|
Class: ELFCLASS64
|
|
Data: ELFDATA2LSB
|
|
Type: ET_EXEC
|
|
DWARF:
|
|
debug_ranges:
|
|
- Entries:
|
|
- LowOffset: 0x01
|
|
HighOffset: 0x02
|
|
- Offset: 0x21 ## There are 0x20 bytes before this entry.
|
|
Entries:
|
|
- LowOffset: 0x01
|
|
HighOffset: 0x02
|
|
- Offset: 0x41 ## There are 0x41 bytes before this entry.
|
|
Entries:
|
|
- LowOffset: 0x01
|
|
HighOffset: 0x02
|
|
|
|
## i) Test that yaml2obj emits an error message if we try to assign an invalid offset to an
|
|
## entry of the '.debug_ranges' section.
|
|
|
|
# RUN: not yaml2obj --docnum=9 %s -o %t9.o 2>&1 | FileCheck %s --check-prefix=INVALID-OFFSET
|
|
|
|
# INVALID-OFFSET: yaml2obj: error: 'Offset' for 'debug_ranges' with index 1 must be greater than or equal to the number of bytes written already (0x20)
|
|
|
|
--- !ELF
|
|
FileHeader:
|
|
Class: ELFCLASS64
|
|
Data: ELFDATA2LSB
|
|
Type: ET_EXEC
|
|
DWARF:
|
|
debug_ranges:
|
|
- Entries:
|
|
- LowOffset: 0x01
|
|
HighOffset: 0x02
|
|
- Offset: 0x1F ## Must be greater than or equal to 0x20.
|
|
Entries:
|
|
- LowOffset: 0x01
|
|
HighOffset: 0x02
|
|
|
|
## j) Test that yaml2obj still generates a .debug_ranges section if we assign an invalid value
|
|
## to 'AddrSize' when the 'Entries' list is empty.
|
|
|
|
# RUN: yaml2obj --docnum=10 %s -o %t10.o
|
|
# RUN: llvm-readelf --hex-dump=.debug_ranges %t10.o | \
|
|
# RUN: FileCheck %s --check-prefix=ADDRSIZE
|
|
|
|
# ADDRSIZE: Hex dump of section '.debug_ranges':
|
|
# ADDRSIZE-NEXT: 0x00000000 00000000 00000000 00000000 0000
|
|
## ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ terminating entry (2*AddrSize=14-byte)
|
|
|
|
--- !ELF
|
|
FileHeader:
|
|
Class: ELFCLASS64
|
|
Data: ELFDATA2LSB
|
|
Type: ET_EXEC
|
|
DWARF:
|
|
debug_ranges:
|
|
- AddrSize: 0x07
|
|
Entries: []
|
|
|
|
## k) Test that yaml2obj emits an error message if we try to assign an invalid value to
|
|
## 'AddrSize' when the 'Entries' list isn't empty.
|
|
|
|
# RUN: not yaml2obj --docnum=11 %s 2>&1 | \
|
|
# RUN: FileCheck %s --check-prefix=INVALID-SIZE
|
|
|
|
# INVALID-SIZE: yaml2obj: error: unable to write debug_ranges address offset: invalid integer write size: 7
|
|
|
|
--- !ELF
|
|
FileHeader:
|
|
Class: ELFCLASS64
|
|
Data: ELFDATA2LSB
|
|
Type: ET_EXEC
|
|
DWARF:
|
|
debug_ranges:
|
|
- AddrSize: 0x07
|
|
Entries:
|
|
- LowOffset: 0x1234
|
|
HighOffset: 0x5678
|
|
|
|
## l) Test that the .debug_ranges section header is emitted if the "debug_ranges"
|
|
## entry is empty.
|
|
|
|
# RUN: yaml2obj --docnum=12 %s -o %t12.o
|
|
# RUN: llvm-readobj -S %t12.o | FileCheck -DSIZE=0 -DADDRALIGN=1 %s --check-prefix=DWARF-HEADER
|
|
|
|
--- !ELF
|
|
FileHeader:
|
|
Class: ELFCLASS64
|
|
Data: ELFDATA2LSB
|
|
Type: ET_EXEC
|
|
DWARF:
|
|
debug_ranges: []
|