1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
# RUN: llvm-mc -triple x86_64-unknown-linux %s -filetype=obj -o - | \
# RUN: not llvm-dwarfdump -debug-cu-index -debug-tu-index --verify - | FileCheck %s
# FIXME: The verifier should probably be handled to verify the hash table
# itself - in which case this test would need to be updated to have a correct
# hash table (currently hand crafted with no attempt at correct allocation of
# hashes to buckets) - and probably to verify that the section ranges apply to
# sections that exist, which currently they don't
# This tests that an index that describes units as being in overlapping
# sections is invalid (this was observed in the wild due to overflow due to the
# 32 bit limit of the indexes (a DWARF spec bug - there should be a 64 bit
# version of the index format with 64 bit offsets/sizes)) - but Type Units will
# generally share all the sections other than the info section with each other
# (and with their originating CU) since the dwo format has no way to describe
# which part of non-info-section contributions are used by which units, so
# they're all shared. So demonstrate that the TU index ignores non-info overlap,
# but the CU index diagnoses such overlap (in the abbrev section, in this case)
# This doesn't currently check for info section overlap between the CU and TU
# index, but that could be an extension of this work in the future.
# CHECK: Verifying .debug_cu_index...
# CHECK: error: overlapping index entries for entries 0x0000000000000001 and 0x0000000000000002 for column DW_SECT_ABBREV
# CHECK: Verifying .debug_tu_index...
# CHECK: error: overlapping index entries for entries 0x0000000000000001 and 0x0000000000000003 for column DW_SECT_INFO
.section .debug_cu_index, "", @progbits
## Header:
.long 5 # Version
.long 2 # Section count
.long 3 # Unit count
.long 4 # Slot count
## Hash Table of Signatures:
.quad 0x0000000000000001
.quad 0x0000000000000002
.quad 0x0000000000000003
.quad 0
## Parallel Table of Indexes:
.long 1
.long 2
.long 3
.long 0
## Table of Section Offsets:
## Row 0:
.long 1 # DW_SECT_INFO
.long 3 # DW_SECT_ABBREV
## Row 1:
.long 0x1 # Offset in .debug_info.dwo
.long 0x1 # Offset in .debug_abbrev.dwo
## Row 2:
.long 0x2 # Offset in .debug_info.dwo
.long 0x1 # Offset in .debug_abbrev.dwo
## Row 3:
.long 0x1 # Offset in .debug_info.dwo
.long 0x1 # Offset in .debug_abbrev.dwo
## Table of Section Sizes:
.long 0x1 # Size in .debug_info.dwo
.long 0x1 # Size in .debug_abbrev.dwo
.long 0x1 # Size in .debug_info.dwo
.long 0x1 # Size in .debug_abbrev.dwo
.long 0x1 # Size in .debug_info.dwo
.long 0x1 # Size in .debug_abbrev.dwo
.section .debug_tu_index, "", @progbits
## Header:
.long 5 # Version
.long 2 # Section count
.long 3 # Unit count
.long 4 # Slot count
## Hash Table of Signatures:
.quad 0x0000000000000001
.quad 0x0000000000000002
.quad 0x0000000000000003
.quad 0
## Parallel Table of Indexes:
.long 1
.long 2
.long 3
.long 0
## Table of Section Offsets:
## Row 0:
.long 1 # DW_SECT_INFO
.long 3 # DW_SECT_ABBREV
## Row 1:
.long 0x1 # Offset in .debug_info.dwo
.long 0x1 # Offset in .debug_abbrev.dwo
## Row 2:
.long 0x2 # Offset in .debug_info.dwo
.long 0x1 # Offset in .debug_abbrev.dwo
## Row 3:
.long 0x1 # Offset in .debug_info.dwo
.long 0x1 # Offset in .debug_abbrev.dwo
## Table of Section Sizes:
.long 0x1 # Size in .debug_info.dwo
.long 0x1 # Size in .debug_abbrev.dwo
.long 0x1 # Size in .debug_info.dwo
.long 0x1 # Size in .debug_abbrev.dwo
.long 0x1 # Size in .debug_info.dwo
.long 0x1 # Size in .debug_abbrev.dwo
|
