Bring up to date with December 16, 2014 meeting and
[dwarf-doc.git] / dwarf5 / latexdoc / datarepresentation.tex
1 \chapter{Data Representation}
2 \label{datarep:datarepresentation}
3
4 This section describes the binary representation of the
5 debugging information entry itself, of the attribute types
6 and of other fundamental elements described above.
7
8
9 \section{Vendor Extensibility}
10 \label{datarep:vendorextensibility}
11 \addtoindexx{vendor extensibility}
12 \addtoindexx{vendor specific extensions|see{vendor extensibility}}
13
14 To 
15 \addtoindexx{extensibility|see{vendor extensibility}}
16 reserve a portion of the DWARF name space and ranges of
17 enumeration values for use for vendor specific extensions,
18 special labels are reserved for tag names, attribute names,
19 base type encodings, location operations, language names,
20 calling conventions and call frame instructions.
21
22 The labels denoting the beginning and end of the reserved
23 \hypertarget{chap:DWXXXlohiuser}{}
24 value range for vendor specific extensions consist of the
25 appropriate prefix 
26 (\DWATlouserMARK{}\DWAThiuserMARK{}         DW\_AT,
27 \DWATElouserMARK{}\DWATEhiuserMARK{}    DW\_ATE, 
28 \DWCClouserMARK{}\DWCChiuserMARK{}          DW\_CC,
29 \DWCFAlouserMARK{}\DWCFAhiuserMARK{}    DW\_CFA 
30 \DWENDlouserMARK{}\DWENDhiuserMARK{}    DW\_END, 
31 \DWLANGlouserMARK{}\DWLANGhiuserMARK{}  DW\_LANG, 
32 \DWLNElouserMARK{}\DWLNEhiuserMARK{}    DW\_LNE, 
33 \DWMACROlouserMARK{}\DWMACROhiuserMARK{}DW\_MACRO,
34 \DWOPlouserMARK{}\DWOPhiuserMARK{}          DW\_OP or
35 \DWTAGlouserMARK{}\DWTAGhiuserMARK{}    DW\_TAG, 
36 respectively) followed by
37 \_lo\_user or \_hi\_user. 
38 Values in the  range between \textit{prefix}\_lo\_user 
39 and \textit{prefix}\_hi\_user inclusive,
40 are reserved for vendor specific extensions. Vendors may
41 use values in this range without conflicting with current or
42 future system\dash defined values. All other values are reserved
43 for use by the system.
44
45 \textit{For example, for DIE tags, the special
46 labels are \DWTAGlouserNAME{} and \DWTAGhiuserNAME.}
47
48 \textit{There may also be codes for vendor specific extensions
49 between the number of standard line number opcodes and
50 the first special line number opcode. However, since the
51 number of standard opcodes varies with the DWARF version,
52 the range for extensions is also version dependent. Thus,
53 \DWLNSlouserTARG{} and 
54 \DWLNShiuserTARG{} symbols are not defined.
55 }
56
57 Vendor defined tags, attributes, base type encodings, location
58 atoms, language names, line number actions, calling conventions
59 and call frame instructions, conventionally use the form
60 \text{prefix\_vendor\_id\_name}, where 
61 \textit{vendor\_id}\addtoindexx{vendor id} is some identifying
62 character sequence chosen so as to avoid conflicts with
63 other vendors.
64
65 To ensure that extensions added by one vendor may be safely
66 ignored by consumers that do not understand those extensions,
67 the following rules should be followed:
68 \begin{enumerate}[1. ]
69
70 \item New attributes should be added in such a way that a
71 debugger may recognize the format of a new attribute value
72 without knowing the content of that attribute value.
73
74 \item The semantics of any new attributes should not alter
75 the semantics of previously existing attributes.
76
77 \item The semantics of any new tags should not conflict with
78 the semantics of previously existing tags.
79
80 \item Do not add any new forms of attribute value.
81
82 \end{enumerate}
83
84
85 \section{Reserved Values}
86 \label{datarep:reservedvalues}
87 \subsection{Error Values}
88 \label{datarep:errorvalues}
89 \addtoindexx{reserved values!error}
90
91 As 
92 \addtoindexx{error value}
93 a convenience for consumers of DWARF information, the value
94 0 is reserved in the encodings for attribute names, attribute
95 forms, base type encodings, location operations, languages,
96 line number program opcodes, macro information entries and tag
97 names to represent an error condition or unknown value. DWARF
98 does not specify names for these reserved values, since they
99 do not represent valid encodings for the given type and should
100 not appear in DWARF debugging information.
101
102
103 \subsection{Initial Length Values}
104 \label{datarep:initiallengthvalues}
105 \addtoindexx{reserved values!initial length}
106
107 An \livetarg{datarep:initiallengthvalues}{initial length} field 
108 \addtoindex{initial length field|see{initial length}}
109 is one of the length fields that occur at the beginning 
110 of those DWARF sections that have a header
111 (\dotdebugaranges{}, 
112 \dotdebuginfo{}, 
113 \dotdebugline{},
114 \dotdebugpubnames{}, and 
115 \dotdebugpubtypes{}) or the length field
116 that occurs at the beginning of the CIE and FDE structures
117 in the \dotdebugframe{} section.
118
119 \needlines{4}
120 In an \addtoindex{initial length} field, the values \wfffffffzero through
121 \wffffffff are reserved by DWARF to indicate some form of
122 extension relative to \DWARFVersionII; such values must not
123 be interpreted as a length field. The use of one such value,
124 \xffffffff, is defined below 
125 (see Section \refersec{datarep:32bitand64bitdwarfformats}); 
126 the use of
127 the other values is reserved for possible future extensions.
128
129
130
131 \section{Relocatable, Split, Executable, Shared and Package Object Files} 
132 \label{datarep:executableobjectsandsharedobjects}
133
134 \subsection{Relocatable Objects}
135 \label{data:relocatableobjects}
136 A DWARF producer (for example, a compiler) typically generates its
137 debugging information as part of a relocatable object file.
138 Relocatable object files are then combined by a linker to form an
139 executable file. During the linking process, the linker resolves
140 (binds) symbolic references between the various object files, and
141 relocates the contents of each object file into a combined virtual
142 address space.
143
144 The DWARF debugging information is placed in several sections (see
145 Appendix \refersec{app:debugsectionrelationshipsinformative}), and 
146 requires an object file format capable of
147 representing these separate sections. There are symbolic references
148 between these sections, and also between the debugging information
149 sections and the other sections that contain the text and data of the
150 program itself. Many of these references require relocation, and the
151 producer must emit the relocation information appropriate to the
152 object file format and the target processor architecture. These
153 references include the following:
154
155 \begin{itemize}
156 \item The compilation unit header (see Section 
157 \refersec{datarep:unitheaders}) in the \dotdebuginfo{}
158 section contains a reference to the \dotdebugabbrev{} table. This
159 reference requires a relocation so that after linking, it refers to
160 that contribution to the combined \dotdebugabbrev{} section in the
161 executable file.
162
163 \item Debugging information entries may have attributes with the form
164 \DWFORMaddr{} (see Section \refersec{datarep:attributeencodings}). 
165 These attributes represent locations
166 within the virtual address space of the program, and require
167 relocation.
168
169 \item Debugging information entries may have attributes with the form
170 \DWFORMsecoffset{} (see Section \refersec{datarep:attributeencodings}). 
171 These attributes refer to
172 debugging information in other debugging information sections within
173 the object file, and must be relocated during the linking process.
174 Exception: attributes whose values are relative to a base offset given
175 by \DWATrangesbase{} do not need relocation.
176
177 \item Debugging information entries may have attributes with the form
178 \DWFORMrefone, \DWFORMreftwo, \DWFORMreffour, \DWFORMrefeight, or
179 \DWFORMrefudata{} (see Section \refersec{datarep:attributeencodings}). 
180 These attributes refer to other
181 debugging information entries within the same compilation unit, and
182 are relative to the beginning of the current compilation unit. These
183 values do not need relocation.
184
185 \item Debugging information entries may have attributes with the form
186 \DWFORMrefaddr{} (see Section \refersec{datarep:attributeencodings}). 
187 These attributes refer to
188 debugging information entries that may be outside the current
189 compilation unit. These values require both symbolic binding and
190 relocation.
191
192 \item Debugging information entries may have attributes with the form
193 \DWFORMstrp{} (see Section \refersec{datarep:attributeencodings}). 
194 These attributes refer to strings in
195 the \dotdebugstr{} section. These values require relocation.
196
197 \item Entries in the \dotdebugloc{}, \dotdebugranges{}, and \dotdebugaranges{}
198 sections contain references to locations within the virtual address
199 space of the program, and require relocation.
200
201 \item In the \dotdebugline{} section, the operand of the \DWLNEsetaddress{}
202 opcode is a reference to a location within the virtual address space
203 of the program, and requires relocation.
204
205  The \dotdebugstroffsets{} section contains a list of string offsets,
206 each of which is an offset of a string in the \dotdebugstr{} section. Each
207 of these offsets requires relocation. Depending on the implementation,
208 these relocations may be implicit (i.e., the producer may not need to
209 emit any explicit relocation information for these offsets).
210 \end{itemize}
211
212 \subsection{Split DWARF Objects}
213 \label{datarep:splitdwarfobjects}
214 A DWARF producer may partition the debugging
215 information such that the majority of the debugging
216 information can remain in individual object files without
217 being processed by the linker. The first partition contains
218 debugging information that must still be processed by the linker,
219 and includes the following:
220 \begin{itemize}
221 \item
222 The line number tables, range tables, frame tables, and
223 accelerated access tables, in the usual sections:
224 \dotdebugline, \dotdebuglinestr, \dotdebugranges, \dotdebugframe,
225 \dotdebugpubnames, \dotdebugpubtypes{} and \dotdebugaranges,
226 respectively.
227 \needlines{4}
228 \item
229 An address table, in the \dotdebugaddr{} section. This table
230 contains all addresses and constants that require
231 link-time relocation, and items in the table can be
232 referenced indirectly from the debugging information via
233 the \DWFORMaddrx{} form, and by the \DWOPaddrx{} and
234 \DWOPconstx{} operators.
235 \item
236 A skeleton compilation unit, as described in Section
237 \refersec{chap:skeletoncompilationunitentries}, 
238 in the \dotdebuginfo{} section.
239 \item
240 An abbreviations table for the skeleton compilation unit,
241 in the \dotdebugabbrev{} section.
242 \item
243 A string table, in the \dotdebugstr{} section. The string
244 table is necessary only if the skeleton compilation unit
245 uses either indirect string form, \DWFORMstrp{} or
246 \DWFORMstrx.
247 \item
248 A string offsets table, in the \dotdebugstroffsets{}
249 section. The string offsets table is necessary only if
250 the skeleton compilation unit uses the \DWFORMstrx{} form.
251 \end{itemize}
252 The attributes contained in the skeleton compilation
253 unit can be used by a DWARF consumer to find the object file
254 or DWARF object file that contains the second partition.
255
256 The second partition contains the debugging information that
257 does not need to be processed by the linker. These sections
258 may be left in the object files and ignored by the linker
259 (that is, not combined and copied to the executable object), or
260 they may be placed by the producer in a separate DWARF object
261 file. This partition includes the following:
262 \begin{itemize}
263 \item
264 The full compilation unit, in the \dotdebuginfodwo{} section.
265 Attributes in debugging information entries may refer to
266 machine addresses indirectly using the \DWFORMaddrx{} form,
267 and location expressions may do so using the \DWOPaddrx{} and
268 \DWOPconstx{} forms. Attributes may refer to range table
269 entries with an offset relative to a base offset in the
270 range table for the compilation unit.
271
272 \item Separate type units, in the \dotdebuginfodwo{} section.
273
274 \item
275 Abbreviations table(s) for the compilation unit and type
276 units, in the \dotdebugabbrevdwo{} section.
277
278 \item Location lists, in the \dotdebuglocdwo{} section.
279
280 \item
281 A skeleton line number table (for the type units), in the
282 \dotdebuglinedwo{} section (see 
283 Section \refersec{chap:skeletoncompilationunitentries}).
284
285 \item Macro information, in the \dotdebugmacrodwo{} section.
286
287 \item A string table, in the \dotdebugstrdwo{} section.
288
289 \item A string offsets table, in the \dotdebugstroffsetsdwo{}
290 section.
291 \end{itemize}
292
293 Except where noted otherwise, all references in this document
294 to a debugging information section (for example, \dotdebuginfo),
295 applies also to the corresponding split DWARF section (for example,
296 \dotdebuginfodwo).
297
298 \subsection{Executable Objects}
299 \label{chap:executableobjects}
300 The relocated addresses in the debugging information for an
301 executable object are virtual addresses.
302
303 \subsection{Shared Objects}
304 \label{datarep:sharedobjects}
305 The relocated
306 addresses in the debugging information for a shared object
307 are offsets relative to the start of the lowest region of
308 memory loaded from that shared object.
309
310 \needlines{4}
311 \textit{This requirement makes the debugging information for
312 shared objects position independent.  Virtual addresses in a
313 shared object may be calculated by adding the offset to the
314 base address at which the object was attached. This offset
315 is available in the run\dash time linker\textquoteright s data structures.}
316
317 \subsection{DWARF Package Files}
318 \label{datarep:dwarfpackagefiles}
319 \textit{Using split DWARF objects allows the developer to compile, 
320 link, and debug an application quickly with less link-time overhead,
321 but a more convenient format is needed for saving the debug
322 information for later debugging of a deployed application. A
323 DWARF package file can be used to collect the debugging
324 information from the object (or separate DWARF object) files
325 produced during the compilation of an application.}
326
327 \textit{The package file is typically placed in the same directory as the
328 application, and is given the same name with a \doublequote{\texttt{.dwp}}
329 extension.\addtoindexx{\texttt{.dwp} file extension}}
330
331 A DWARF package file is itself an object file, using the
332 \addtoindexx{package files}
333 \addtoindexx{DWARF package files}
334 same object file format (including byte order) as the
335 corresponding application binary. It consists only of a file
336 header, section table, a number of DWARF debug information
337 sections, and two index sections.
338
339 Each DWARF package file contains no more than one of each of the
340 following sections, copied from a set of object or DWARF object
341 files, and combined, section by section:
342 \begin{alltt}
343     \dotdebuginfodwo
344     \dotdebugabbrevdwo
345     \dotdebuglinedwo
346     \dotdebuglocdwo
347     \dotdebugstroffsetsdwo
348     \dotdebugstrdwo
349     \dotdebugmacrodwo
350 \end{alltt}
351
352 The string table section in \dotdebugstrdwo{} contains all the
353 strings referenced from DWARF attributes using the form
354 \DWFORMstrx. Any attribute in a compilation unit or a type
355 unit using this form will refer to an entry in that unit's
356 contribution to the \dotdebugstroffsetsdwo{} section, which in turn
357 will provide the offset of a string in the \dotdebugstrdwo{}
358 section.
359
360 The DWARF package file also contains two index sections that
361 provide a fast way to locate debug information by compilation
362 unit signature (\DWATdwoid) for compilation units, or by type
363 signature for type units:
364 \begin{alltt}
365     \dotdebugcuindex
366     \dotdebugtuindex
367 \end{alltt}
368
369 \subsubsection{The Compilation Unit (CU) Index Section}
370 The \dotdebugcuindex{} section is a hashed lookup table that maps a
371 compilation unit signature to a set of contributions in the
372 various debug information sections. Each contribution is stored
373 as an offset within its corresponding section and a size.
374
375 Each compilation unit set may contain contributions from the
376 following sections:
377 \begin{alltt}
378     \dotdebuginfodwo{} (required)
379     \dotdebugabbrevdwo{} (required)
380     \dotdebuglinedwo
381     \dotdebuglocdwo
382     \dotdebugstroffsetsdwo
383     \dotdebugmacrodwo
384 \end{alltt}
385
386 \textit{Note that a set is not able to represent \dotdebugmacinfo{}
387 information from \DWARFVersionIV{} or earlier formats.}
388
389 \subsubsection{The Type Unit (TU) Index Section}
390 The \dotdebugtuindex{} section is a hashed lookup table that maps a
391 type signature to a set of offsets into the various debug
392 information sections. Each contribution is stored as an offset
393 within its corresponding section and a size.
394
395 Each type unit set may contain contributions from the following
396 sections:
397 \begin{alltt}
398     \dotdebuginfodwo{} (required) 
399     \dotdebugabbrevdwo{} (required)
400     \dotdebuglinedwo
401     \dotdebugstroffsetsdwo
402 \end{alltt}
403
404 \subsubsection{Format of the CU and TU Index Sections}
405 Both index sections have the same format, and serve to map a
406 64-bit signature to a set of contributions to the debug sections.
407 Each section begins with a header, followed by a hash table of
408 signatures, a parallel table of indexes, a table of offsets, and
409 a table of sizes. The index sections are aligned at 8-byte
410 boundaries in the file.
411
412 \needlines{6}
413 The index section header contains four unsigned 32-bit values
414 (using the byte order of the application binary):
415 \begin{itemize}
416 \item The \addtoindexi{version number}{version number!package index tables}
417  of the format of this index (currently 5)
418 \item L, the number of columns in the table of section offsets
419 \item N, the number of compilation units or type units in the index
420 \item M, the number of slots in the hash table
421 \end{itemize}
422
423 \textit{We assume that N and M will not exceed $2^{32}$.}
424
425 The size of the hash table, M, must be $2^k$ such that:
426 \hspace{0.3cm}$2^k\ \ >\ \ 3*N/2$
427
428 The hash table begins at offset 16 in the section, and consists
429 of an array of M 64-bit slots. Each slot contains a 64-bit
430 signature (using the byte order of the application binary).
431
432 The parallel table begins immediately after the hash table (at
433 offset \mbox{16 + 8 * M} from the beginning of the section), and
434 consists of an array of M 32-bit slots (using the byte order of
435 the application binary), corresponding 1-1 with slots in the hash
436 table. Each entry in the parallel table contains a row index into
437 the tables of offsets and sizes.
438
439 Unused slots in the hash table have 0 in both the hash table
440 entry and the parallel table entry. While 0 is a valid hash
441 value, the row index in a used slot will always be non-zero.
442
443 Given a 64-bit compilation unit signature or a type signature S,
444 an entry in the hash table is located as follows:
445 \begin{enumerate}[1. ]
446 \item Calculate a primary hash $H = S\ \&\ MASK(k)$, where $MASK(k)$ is a
447     mask with the low-order k bits all set to 1.
448
449 \item Calculate a secondary hash $H' = (((S>>32)\ \&\ MASK(k))\ |\ 1)$.
450
451 \item If the hash table entry at index H matches the signature, use
452     that entry. If the hash table entry at index H is unused (all
453     zeroes), terminate the search: the signature is not present
454     in the table.
455
456 \item Let $H = (H + H')\ modulo\ M$. Repeat at Step 3.
457 \end{enumerate}
458
459 Because $M > N$, and H' and M are relatively prime, the search is
460 guaranteed to stop at an unused slot or find the match.
461
462 \needlines{4}
463 The table of offsets begins immediately following the parallel
464 table (at offset \mbox{16 + 12 * M} from the beginning of the section).
465 The table is a two-dimensional array of 32-bit words (using the
466 byte order of the application binary), with L columns and N+1
467 rows, in row-major order. Each row in the array is indexed
468 starting from 0. The first row provides a key to the columns:
469 each column in this row provides an identifier for a debug
470 section, and the offsets in the same column of subsequent rows
471 refer to that section. The section identifiers are shown in
472 Table \referfol{tab:dwarfpackagefilesectionidentifierencodings}.
473
474 \begin{centering}
475 \setlength{\extrarowheight}{0.1cm}
476 \begin{longtable}{l|c|l}
477   \caption{DWARF package file section identifier \mbox{encodings}}
478   \label{tab:dwarfpackagefilesectionidentifierencodings}
479   \addtoindexx{DWARF package files!section identifier encodings} \\
480   \hline \bfseries Section identifier &\bfseries Value &\bfseries Section \\ \hline
481 \endfirsthead
482   \bfseries Section identifier &\bfseries Value &\bfseries Section\\ \hline
483 \endhead
484   \hline \emph{Continued on next page}
485 \endfoot
486   \hline
487 \endlastfoot
488 \DWSECTINFOTARG         & 1 & \dotdebuginfodwo \\
489 \textit(reserved)       & 2 & \\
490 \DWSECTABBREVTARG       & 3 & \dotdebugabbrevdwo \\
491 \DWSECTLINETARG         & 4 & \dotdebuglinedwo \\
492 \DWSECTLOCTARG          & 5 & \dotdebuglocdwo \\
493 \DWSECTSTROFFSETSTARG   & 6 & \dotdebugstroffsetsdwo \\
494 %DWSECTMACINFO          &   & \dotdebugmacinfodwo \\
495 \DWSECTMACROTARG        & 7 & \dotdebugmacrodwo \\
496 \end{longtable}
497 \end{centering}
498
499 The offsets provided by the CU and TU index sections are the base
500 offsets for the contributions made by each CU or TU to the
501 corresponding section in the package file. Each CU and TU header
502 contains an \texttt{abbrev\_offset} field, used to find the abbreviations
503 table for that CU or TU within the contribution to the
504 \dotdebugabbrevdwo{} section for that CU or TU, and should be
505 interpreted as relative to the base offset given in the index
506 section. Likewise, offsets into \dotdebuglinedwo{} from
507 \DWATstmtlist{} attributes should be interpreted as relative to
508 the base offset for \dotdebuglinedwo{}, and offsets into other debug
509 sections obtained from DWARF attributes should also be
510 interpreted as relative to the corresponding base offset.
511
512 The table of sizes begins immediately following the table of
513 offsets, and provides the sizes of the contributions made by each
514 CU or TU to the corresponding section in the package file. Like
515 the table of offsets, it is a two-dimensional array of 32-bit
516 words, with L columns and N rows, in row-major order. Each row in
517 the array is indexed starting from 1 (row 0 of the table of
518 offsets also serves as the key for the table of sizes).
519
520 \subsection{DWARF Supplementary Object Files}
521 \label{data:dwarfsupplemetaryobjectfiles}
522 In order to minimize the size of debugging information, it is possible
523 to move duplicate debug information entries, strings and macro entries from
524 several executables or shared objects into a separate 
525 \addtoindexi{\textit{supplementary object file}}{supplementary object file} by some
526 post-linking utility; the moved entries and strings can be then referenced
527 from the debugging information of each of those executables or shared objects.
528
529 A DWARF supplementary object file is itself an object file, using the same object
530 file format, byte order, and size as the corresponding application executables
531 or shared libraries. It consists only of a file header, section table, and
532 a number of DWARF debug information sections.  Both the supplementary object file
533 and all the executables or shared objects that reference entries or strings in that
534 file must contain a \dotdebugsup{} section that establishes the relationship.
535
536 The \dotdebugsup section contains:
537 \begin{enumerate}[1. ]
538 \item \texttt{version} (uhalf) \\
539 \addttindexx{version}
540 A 2-byte unsigned integer representing the version of the DWARF
541 information for the compilation unit (see Appendix G). The
542 value in this field is \versiondotdebugsup.
543
544 \item \texttt{is\_supplementary} (ubyte) \\
545 \addttindexx{is\_supplementary}
546 A 1-byte unsigned integer, which contains the value 1 if it is
547 in the \addtoindex{supplementary object file} that other executables or 
548 shared objects refer to, or 0 if it is an executable or shared object 
549 referring to a supplemental object file file.
550
551 \needlines{4}
552 \item \texttt{sup\_filename} (null terminated filename string) \\
553 \addttindexx{sup\_filename}
554 If \addttindex{is\_supplementary} is 0, this contains either an absolute 
555 filename for the supplementary object file, or a filename relative to 
556 the object file containing the \dotdebugsup{} section.  
557 If \addttindex{is\_supplementary} is 1, then \addttindex{sup\_filename}
558 is not needed and must be an empty string (a single nul byte).
559
560 \needlines{4}
561 \item \texttt{sup\_checksum\_len} (unsigned LEB128) \\
562 \addttindexx{sup\_checksum\_len}
563 Length of the following \addttindex{sup\_checksum} field; 
564 his value can be 0 if no checksum is provided.
565
566
567 \item \texttt{sup\_checksum} (array of ubyte) \\
568 \addttindexx{sup\_checksum}
569 Some checksum or cryptographic hash function of the \dotdebuginfo{}, 
570 \dotdebugstr{} and \dotdebugmacro{} sections of the 
571 \addtoindex{supplementary object file}, or some unique identifier
572 which the implementation can choose to verify that the supplementary 
573 section object file matches what the debug information in the executables 
574 or shared objects expects.
575 \end{enumerate}
576
577 Debug information entries that refer to an executable's or shared
578 object's addresses must \emph{not} be moved to supplementary files (the
579 addesses will likely not be the same). Similarly,
580 entries referenced from within locationexpressions or using loclistptr
581 form attributes must not be moved.
582
583 Executable or shared object compilation units can use
584 \DWTAGimportedunit{} with \DWFORMrefsup{} form \DWATimport{} attribute
585 to import entries from the supplementary object file, other \DWFORMrefsup{}
586 attributes to refer to them and \DWFORMstrpsup{} form attributes to
587 refer to strings that are used by debug information of multiple
588 executables or shared objects.  Within the \addtoindex{supplementary object file}'s
589 debugging sections, form \DWFORMrefsup{} or \DWFORMstrpsup{} should
590 not be used, and all reference forms referring to some other sections
591 refer to the local sections in the supplementary object file.
592
593 In macro information, \DWMACROdefineindirectsup{} or
594 \DWMACROundefindirectsup{} opcodes can refer to strings in the 
595 \dotdebugstr section of the supplementary file, or \DWMACROtransparentincludesup{} 
596 can refer to \dotdebugmacro section entries.  Within the 
597 \dotdebugmacro{} section of a \addtoindex{supplementary object file}, 
598 \DWMACROdefineindirect{} and \DWMACROundefindirect{}
599 opcodes refer to the local \dotdebugstr{} section, not the one in
600 the executable or shared object."
601
602
603 \needlines{6}
604 \section{32-Bit and 64-Bit DWARF Formats}
605 \label{datarep:32bitand64bitdwarfformats}
606 \hypertarget{datarep:xxbitdwffmt}{}
607 \addtoindexx{32-bit DWARF format}
608 \addtoindexx{64-bit DWARF format}
609 There are two closely related file formats. In the 32\dash bit DWARF
610 format, all values that represent lengths of DWARF sections
611 and offsets relative to the beginning of DWARF sections are
612 represented using 32\dash bits. In the 64\dash bit DWARF format, all
613 values that represent lengths of DWARF sections and offsets
614 relative to the beginning of DWARF sections are represented
615 using 64\dash bits. A special convention applies to the initial
616 length field of certain DWARF sections, as well as the CIE and
617 FDE structures, so that the 32\dash bit and 64\dash bit DWARF formats
618 can coexist and be distinguished within a single linked object.
619
620 The differences between the 32\dash\   and 64\dash bit 
621 DWARF formats are
622 detailed in the following:
623 \begin{enumerate}[1. ]
624
625 \item  In the 32\dash bit DWARF format, an 
626 \addtoindex{initial length} field (see 
627 \addtoindexx{initial length!encoding}
628 Section \ref{datarep:initiallengthvalues} on page \pageref{datarep:initiallengthvalues})
629 is an unsigned 32\dash bit integer (which
630 must be less than \xfffffffzero); in the 64\dash bit DWARF format,
631 an \addtoindex{initial length} field is 96 bits in size,
632 and has two parts:
633 \begin{itemize}
634 \item The first 32\dash bits have the value \xffffffff.
635
636 \item  The following 64\dash bits contain the actual length
637 represented as an unsigned 64\dash bit integer.
638 \end{itemize}
639
640 \textit{This representation allows a DWARF consumer to dynamically
641 detect that a DWARF section contribution is using the 64\dash bit
642 format and to adapt its processing accordingly.}
643
644 \item Section offset and section length
645 \hypertarget{datarep:sectionoffsetlength}{} 
646 \addtoindexx{section length!use in headers}
647 fields that occur
648 \addtoindexx{section offset!use in headers}
649 in the headers of DWARF sections (other than initial length
650 \addtoindexx{initial length}
651 fields) are listed following. In the 32\dash bit DWARF format these
652 are 32\dash bit unsigned integer values; in the 64\dash bit DWARF format,
653 they 
654 \addtoindexx{section length!in .debug\_aranges header}
655 are 
656 \addtoindexx{section length!in .debug\_pubnames header}
657 64\dash bit 
658 \addtoindexx{section length!in .debug\_pubtypes header}
659 unsigned integer values.
660
661 \begin{center}
662 \begin{tabular}{lll}
663 Section &Name & Role  \\ \hline
664 \dotdebugaranges{} & \addttindex{debug\_info\_offset} & offset in \dotdebuginfo{} \\
665 \dotdebugframe{}/CIE & \addttindex{CIE\_id} & CIE distinguished value \\
666 \dotdebugframe{}/FDE & \addttindex{CIE\_pointer} & offset in \dotdebugframe{} \\
667 \dotdebuginfo{} & \addttindex{debug\_abbrev\_offset} & offset in \dotdebugabbrev{} \\
668 \dotdebugline{} & \addttindex{header\_length} & length of header itself \\
669 \dotdebugpubnames{} & \addttindex{debug\_info\_offset} & offset in \dotdebuginfo{} \\
670                 & \addttindex{debug\_info\_length} & length of \dotdebuginfo{} \\
671                 &                   & contribution \\
672 \dotdebugpubtypes{} & \addttindex{debug\_info\_offset} & offset in \dotdebuginfo{} \\
673                 & \addttindex{debug\_info\_length} & length of \dotdebuginfo{} \\
674                 &                   & contribution \\
675 \end{tabular}
676 \end{center}
677
678 The \texttt{CIE\_id} field in a CIE structure must be 64 bits because
679 it overlays the \texttt{CIE\_pointer} in a FDE structure; this implicit
680 union must be accessed to distinguish whether a CIE or FDE is
681 present, consequently, these two fields must exactly overlay
682 each other (both offset and size).
683
684 \item Within the body of the \dotdebuginfo{}
685 section, certain forms of attribute value depend on the choice
686 of DWARF format as follows. For the 32\dash bit DWARF format,
687 the value is a 32\dash bit unsigned integer; for the 64\dash bit DWARF
688 format, the value is a 64\dash bit unsigned integer.
689 \begin{center}
690 \begin{tabular}{lp{6cm}}
691 Form             & Role  \\ \hline
692 \DWFORMlinestrp  & offset in \dotdebuglinestr \\
693 \DWFORMrefaddr   & offset in \dotdebuginfo{} \\
694 \DWFORMrefsup    & offset in \dotdebuginfo{} section of a \mbox{supplementary} object file \\
695                    \addtoindexx{supplementary object file}
696 \DWFORMsecoffset & offset in a section other than \\
697                  & \dotdebuginfo{} or \dotdebugstr{} \\
698 \DWFORMstrp      & offset in \dotdebugstr{} \\
699 \DWFORMstrpsup   & offset in \dotdebugstr{} section of a \mbox{supplementary} object file \\
700 \DWOPcallref     & offset in \dotdebuginfo{} \\
701 \end{tabular}
702 \end{center}
703
704 \needlines{5}
705 \item Within the body of the \dotdebugline{} section, certain forms of content
706 description depend on the choice of DWARF format as follows: for the
707 32-bit DWARF format, the value is a 32-bit unsigned integer; for the
708 64-bit DWARF format, the value is a 64-bit unsigned integer.
709 \begin{center}
710 \begin{tabular}{lp{6cm}}
711 Form             & Role  \\ \hline
712 \DWFORMlinestrp  & offset in \dotdebuglinestr
713 \end{tabular}
714 \end{center}
715
716 \item Within the body of the \dotdebugpubnames{} and
717 \dotdebugpubtypes{} 
718 sections, the representation of the first field
719 of each tuple (which represents an offset in the 
720 \dotdebuginfo{}
721 section) depends on the DWARF format as follows: in the
722 32\dash bit DWARF format, this field is a 32\dash bit unsigned integer;
723 in the 64\dash bit DWARF format, it is a 64\dash bit unsigned integer.
724
725 \needlines{4}
726 \item In the body of the \dotdebugstroffsets{} and \dotdebugstroffsetsdwo{}
727 sections, the size of entries in the body depend on the DWARF
728 format as follows: in the 32-bit DWARF format, entries are 32-bit
729 unsigned integer values; in the 64-bit DWARF format, they are
730 64-bit unsigned integers.
731
732 \item In the body of the \dotdebugaddr{}, \dotdebugloc{} and \dotdebugranges{}
733 sections, the contents of the address size fields depends on the
734 DWARF format as follows: in the 32-bit DWARF format, these fields
735 contain 4; in the 64-bit DWARF format these fields contain 8.
736 \end{enumerate}
737
738
739 The 32\dash bit and 64\dash bit DWARF format conventions must \emph{not} be
740 intermixed within a single compilation unit.
741
742 \textit{Attribute values and section header fields that represent
743 addresses in the target program are not affected by these
744 rules.}
745
746 A DWARF consumer that supports the 64\dash bit DWARF format must
747 support executables in which some compilation units use the
748 32\dash bit format and others use the 64\dash bit format provided that
749 the combination links correctly (that is, provided that there
750 are no link\dash time errors due to truncation or overflow). (An
751 implementation is not required to guarantee detection and
752 reporting of all such errors.)
753
754 \textit{It is expected that DWARF producing compilers will \emph{not} use
755 the 64\dash bit format \emph{by default}. In most cases, the division of
756 even very large applications into a number of executable and
757 shared objects will suffice to assure that the DWARF sections
758 within each individual linked object are less than 4 GBytes
759 in size. However, for those cases where needed, the 64\dash bit
760 format allows the unusual case to be handled as well. Even
761 in this case, it is expected that only application supplied
762 objects will need to be compiled using the 64\dash bit format;
763 separate 32\dash bit format versions of system supplied shared
764 executable libraries can still be used.}
765
766
767
768 \section{Format of Debugging Information}
769 \label{datarep:formatofdebugginginformation}
770
771 For each compilation unit compiled with a DWARF producer,
772 a contribution is made to the \dotdebuginfo{} section of
773 the object file. Each such contribution consists of a
774 compilation unit header 
775 (see Section \refersec{datarep:compilationunitheader}) 
776 followed by a
777 single \DWTAGcompileunit{} or 
778 \DWTAGpartialunit{} debugging
779 information entry, together with its children.
780
781 For each type defined in a compilation unit, a separate
782 contribution may also be made to the 
783 \dotdebuginfo{} 
784 section of the object file. Each
785 such contribution consists of a 
786 \addtoindex{type unit} header 
787 (see Section \refersec{datarep:typeunitheader}) 
788 followed by a \DWTAGtypeunit{} entry, together with
789 its children.
790
791 Each debugging information entry begins with a code that
792 represents an entry in a separate 
793 \addtoindex{abbreviations table}. This
794 code is followed directly by a series of attribute values.
795
796 The appropriate entry in the 
797 \addtoindex{abbreviations table} guides the
798 interpretation of the information contained directly in the
799 \dotdebuginfo{} section.
800
801 \needlines{4}
802 Multiple debugging information entries may share the same
803 abbreviation table entry. Each compilation unit is associated
804 with a particular abbreviation table, but multiple compilation
805 units may share the same table.
806
807 \subsection{Unit Headers}
808 \label{datarep:unitheaders}
809 Unit headers contain a field, \addttindex{unit\_type}, whose value indicates the kind of
810 compilation unit that follows. The encodings for the unit type 
811 enumeration are shown in Table \refersec{tab:unitheaderunitkindencodings}.
812
813 \needlines{6}
814 \begin{centering}
815 \setlength{\extrarowheight}{0.1cm}
816 \begin{longtable}{l|c}
817   \caption{Unit header unit type encodings}
818   \label{tab:unitheaderunitkindencodings}
819   \addtoindexx{unit header unit type encodings} \\
820   \hline \bfseries Unit header unit type encodings&\bfseries Value \\ \hline
821 \endfirsthead
822   \bfseries Unit header unit type encodings&\bfseries Value \\ \hline
823 \endhead
824   \hline \emph{Continued on next page}
825 \endfoot
826   \hline \ddag\ \textit{New in DWARF Version 5}
827 \endlastfoot
828 \DWUTcompileTARG~\ddag    &0x01 \\ 
829 \DWUTtypeTARG~\ddag       &0x02 \\ 
830 \DWUTpartialTARG~\ddag    &0x03 \\ \hline
831 \end{longtable}
832 \end{centering}
833
834 \needlines{5}
835 \subsubsection{Compilation Unit Header}
836 \label{datarep:compilationunitheader}
837 \begin{enumerate}[1. ]
838
839 \item \texttt{unit\_length} (\livelink{datarep:initiallengthvalues}{initial length}) \\
840 \addttindexx{unit\_length}
841 A 4\dash byte or 12\dash byte 
842 \addtoindexx{initial length}
843 unsigned integer representing the length
844 of the \dotdebuginfo{}
845 contribution for that compilation unit,
846 not including the length field itself. In the \thirtytwobitdwarfformat,
847  this is a 4\dash byte unsigned integer (which must be less
848 than \xfffffffzero); in the \sixtyfourbitdwarfformat, this consists
849 of the 4\dash byte value \wffffffff followed by an 8\dash byte unsigned
850 integer that gives the actual length 
851 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
852
853 \item  \texttt{version} (\addtoindex{uhalf}) \\
854 \addttindexx{version}
855 A 2\dash byte unsigned integer representing the version of the
856 DWARF information for the compilation unit \addtoindexx{version number!compilation unit} 
857 (see Appendix \refersec{app:dwarfsectionversionnumbersinformative}). 
858 The value in this field is \versiondotdebuginfo.
859
860 \needlines{4}
861 \item \texttt{unit\_type} (\addtoindex{ubyte}) \\
862 \addttindexx{unit\_type}
863 A 1-byte unsigned integer identifying this unit as a compilation unit.
864 The value of this field is 
865 \DWUTcompile{} for a {normal compilation} unit or
866 \DWUTpartial{} for a {partial compilation} unit
867 (see Section \refersec{chap:normalandpartialcompilationunitentries}).
868
869 \textit{This field is new in \DWARFVersionV.}
870
871 \needlines{4}
872 \item \addttindex{debug\_abbrev\_offset} (\livelink{datarep:sectionoffsetlength}{section offset}) \\
873 \addttindexx{debug\_abbrev\_offset}
874
875 \addtoindexx{section offset!in .debug\_info header}
876 4\dash byte or 8\dash byte unsigned offset into the 
877 \dotdebugabbrev{}
878 section. This offset associates the compilation unit with a
879 particular set of debugging information entry abbreviations. In
880 the \thirtytwobitdwarfformat, this is a 4\dash byte unsigned length;
881 in the \sixtyfourbitdwarfformat, this is an 8\dash byte unsigned length
882 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
883
884 \item \texttt{address\_size} (\addtoindex{ubyte}) \\
885 \addttindexx{address\_size}
886 A 1\dash byte unsigned integer representing the size in bytes of
887 an address on the target architecture. If the system uses
888 \addtoindexx{address space!segmented}
889 segmented addressing, this value represents the size of the
890 offset portion of an address.
891
892 \end{enumerate}
893
894 \subsubsection{Type Unit Header}
895 \label{datarep:typeunitheader}
896
897 The header for the series of debugging information entries
898 contributing to the description of a type that has been
899 placed in its own \addtoindex{type unit}, within the 
900 \dotdebuginfo{} section,
901 consists of the following information:
902 \begin{enumerate}[1. ]
903
904 \item \texttt{unit\_length} (\livelink{datarep:initiallengthvalues}{initial length}) \\
905 \addttindexx{unit\_length}
906 A 4\dash byte or 12\dash byte unsigned integer 
907 \addtoindexx{initial length}
908 representing the length
909 of the \dotdebuginfo{} contribution for that type unit,
910 not including the length field itself. In the \thirtytwobitdwarfformat, 
911 this is a 4\dash byte unsigned integer (which must be
912 less than \xfffffffzero); in the \sixtyfourbitdwarfformat, this
913 consists of the 4\dash byte value \wffffffff followed by an 
914 8\dash byte unsigned integer that gives the actual length
915 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
916
917 \needlines{4}
918 \item  \texttt{version} (\addtoindex{uhalf}) \\
919 \addttindexx{version}
920 A 2\dash byte unsigned integer representing the version of the
921 DWARF information for the 
922 type unit\addtoindexx{version number!type unit} 
923 (see Appendix \refersec{app:dwarfsectionversionnumbersinformative}). 
924 The value in this field is \versiondotdebuginfo.
925
926 \item \texttt{unit\_type} (\addtoindex{ubyte}) \\
927 \addttindexx{unit\_type}
928 A 1-byte unsigned integer identifying this unit as a type unit.
929 The value of this field is \DWUTtype{} for a type unit
930 (see Section \refersec{chap:separatetypeunitentries}).
931
932 \textit{This field is new in \DWARFVersionV.}
933
934 \needlines{4}
935 \item \addttindex{debug\_abbrev\_offset} (\livelink{datarep:sectionoffsetlength}{section offset}) \\
936 \addttindexx{debug\_abbrev\_offset}
937
938 \addtoindexx{section offset!in .debug\_info header}
939 4\dash byte or 8\dash byte unsigned offset into the 
940 \dotdebugabbrev{}
941 section. This offset associates the type unit with a
942 particular set of debugging information entry abbreviations. In
943 the \thirtytwobitdwarfformat, this is a 4\dash byte unsigned length;
944 in the \sixtyfourbitdwarfformat, this is an 8\dash byte unsigned length
945 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
946
947 \needlines{4}
948 \item \texttt{address\_size} (addtoindex{ubyte}) \\
949 \addttindexx{address\_size}
950 A 1\dash byte unsigned integer representing the size 
951 \addtoindexx{size of an address}
952 in bytes of
953 an address on the target architecture. If the system uses
954 \addtoindexx{address space!segmented}
955 segmented addressing, this value represents the size of the
956 offset portion of an address.
957
958 \item \texttt{type\_signature} (8\dash byte unsigned integer) \\
959 \addttindexx{type\_signature}
960 \addtoindexx{type signature}
961 A 64\dash bit unique signature (see Section 
962 \refersec{datarep:typesignaturecomputation})
963 of the type described in this type
964 unit.  
965
966 \textit{An attribute that refers (using 
967 \DWFORMrefsigeight{}) to
968 the primary type contained in this 
969 \addtoindex{type unit} uses this value.}
970
971 \item \texttt{type\_offset} (\livelink{datarep:sectionoffsetlength}{section offset}) \\
972 \addttindexx{type\_offset}
973 A 4\dash byte or 8\dash byte unsigned offset 
974 \addtoindexx{section offset!in .debug\_info header}
975 relative to the beginning
976 of the \addtoindex{type unit} header.
977 This offset refers to the debugging
978 information entry that describes the type. Because the type
979 may be nested inside a namespace or other structures, and may
980 contain references to other types that have not been placed in
981 separate type units, it is not necessarily either the first or
982 the only entry in the type unit. In the \thirtytwobitdwarfformat,
983 this is a 4\dash byte unsigned length; in the \sixtyfourbitdwarfformat,
984 this is an 8\dash byte unsigned length
985 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
986
987 \end{enumerate}
988
989 \subsection{Debugging Information Entry}
990 \label{datarep:debugginginformationentry}
991
992 Each debugging information entry begins with an 
993 unsigned LEB128\addtoindexx{LEB128!unsigned}
994 number containing the abbreviation code for the entry. This
995 code represents an entry within the abbreviations table
996 associated with the compilation unit containing this entry. The
997 abbreviation code is followed by a series of attribute values.
998
999 On some architectures, there are alignment constraints on
1000 section boundaries. To make it easier to pad debugging
1001 information sections to satisfy such constraints, the
1002 abbreviation code 0 is reserved. Debugging information entries
1003 consisting of only the abbreviation code 0 are considered
1004 null entries.
1005
1006 \subsection{Abbreviations Tables}
1007 \label{datarep:abbreviationstables}
1008
1009 The abbreviations tables for all compilation units
1010 are contained in a separate object file section called
1011 \dotdebugabbrev{}.
1012 As mentioned before, multiple compilation
1013 units may share the same abbreviations table.
1014
1015 The abbreviations table for a single compilation unit consists
1016 of a series of abbreviation declarations. Each declaration
1017 specifies the tag and attributes for a particular form of
1018 debugging information entry. Each declaration begins with
1019 an unsigned LEB128\addtoindexx{LEB128!unsigned}
1020 number representing the abbreviation
1021 code itself. It is this code that appears at the beginning
1022 of a debugging information entry in the 
1023 \dotdebuginfo{}
1024 section. As described above, the abbreviation
1025 code 0 is reserved for null debugging information entries. The
1026 abbreviation code is followed by another unsigned LEB128\addtoindexx{LEB128!unsigned}
1027 number that encodes the entry\textquoteright s tag. The encodings for the
1028 tag names are given in 
1029 Table \refersec{tab:tagencodings}.
1030
1031 \begin{centering}
1032 \setlength{\extrarowheight}{0.1cm}
1033 \begin{longtable}{l|c}
1034   \hline
1035   \caption{Tag encodings} \label{tab:tagencodings} \\
1036   \hline \bfseries Tag name&\bfseries Value\\ \hline
1037 \endfirsthead
1038   \bfseries Tag name&\bfseries Value \\ \hline
1039 \endhead
1040   \hline \emph{Continued on next page}
1041 \endfoot
1042   \hline \ddag\ \textit{New in DWARF Version 5}
1043 \endlastfoot
1044 \DWTAGarraytype{} &0x01 \\
1045 \DWTAGclasstype&0x02 \\
1046 \DWTAGentrypoint&0x03 \\
1047 \DWTAGenumerationtype&0x04 \\
1048 \DWTAGformalparameter&0x05 \\
1049 \DWTAGimporteddeclaration&0x08 \\
1050 \DWTAGlabel&0x0a \\
1051 \DWTAGlexicalblock&0x0b \\
1052 \DWTAGmember&0x0d \\
1053 \DWTAGpointertype&0x0f \\
1054 \DWTAGreferencetype&0x10 \\
1055 \DWTAGcompileunit&0x11 \\
1056 \DWTAGstringtype&0x12 \\
1057 \DWTAGstructuretype&0x13 \\
1058 \DWTAGsubroutinetype&0x15 \\
1059 \DWTAGtypedef&0x16 \\
1060 \DWTAGuniontype&0x17 \\
1061 \DWTAGunspecifiedparameters&0x18  \\
1062 \DWTAGvariant&0x19  \\
1063 \DWTAGcommonblock&0x1a  \\
1064 \DWTAGcommoninclusion&0x1b  \\
1065 \DWTAGinheritance&0x1c  \\
1066 \DWTAGinlinedsubroutine&0x1d  \\
1067 \DWTAGmodule&0x1e  \\
1068 \DWTAGptrtomembertype&0x1f  \\
1069 \DWTAGsettype&0x20  \\
1070 \DWTAGsubrangetype&0x21  \\
1071 \DWTAGwithstmt&0x22  \\
1072 \DWTAGaccessdeclaration&0x23  \\
1073 \DWTAGbasetype&0x24  \\
1074 \DWTAGcatchblock&0x25  \\
1075 \DWTAGconsttype&0x26  \\
1076 \DWTAGconstant&0x27  \\
1077 \DWTAGenumerator&0x28  \\
1078 \DWTAGfiletype&0x29  \\
1079 \DWTAGfriend&0x2a  \\
1080 \DWTAGnamelist&0x2b    \\
1081 \DWTAGnamelistitem&0x2c    \\
1082 \DWTAGpackedtype&0x2d    \\
1083 \DWTAGsubprogram&0x2e    \\
1084 \DWTAGtemplatetypeparameter&0x2f    \\
1085 \DWTAGtemplatevalueparameter&0x30    \\
1086 \DWTAGthrowntype&0x31    \\
1087 \DWTAGtryblock&0x32    \\
1088 \DWTAGvariantpart&0x33    \\
1089 \DWTAGvariable&0x34    \\
1090 \DWTAGvolatiletype&0x35    \\
1091 \DWTAGdwarfprocedure&0x36     \\
1092 \DWTAGrestricttype&0x37      \\
1093 \DWTAGinterfacetype&0x38      \\
1094 \DWTAGnamespace&0x39      \\
1095 \DWTAGimportedmodule&0x3a      \\
1096 \DWTAGunspecifiedtype&0x3b      \\
1097 \DWTAGpartialunit&0x3c      \\
1098 \DWTAGimportedunit&0x3d      \\
1099 \DWTAGcondition&\xiiif      \\
1100 \DWTAGsharedtype&0x40      \\
1101 \DWTAGtypeunit & 0x41      \\
1102 \DWTAGrvaluereferencetype & 0x42      \\
1103 \DWTAGtemplatealias & 0x43      \\
1104 \DWTAGcoarraytype~\ddag & 0x44 \\
1105 \DWTAGgenericsubrange~\ddag & 0x45 \\
1106 \DWTAGdynamictype~\ddag & 0x46 \\
1107 \DWTAGatomictype~\ddag & 0x47 \\
1108 \DWTAGcallsite~\ddag & 0x48 \\
1109 \DWTAGcallsiteparameter~\ddag & 0x49 \\
1110 \DWTAGlouser&0x4080      \\
1111 \DWTAGhiuser&\xffff      \\
1112 \end{longtable}
1113 \end{centering}
1114
1115 Following the tag encoding is a 1\dash byte value that determines
1116 whether a debugging information entry using this abbreviation
1117 has child entries or not. If the value is 
1118 \DWCHILDRENyesTARG,
1119 the next physically succeeding entry of any debugging
1120 information entry using this abbreviation is the first
1121 child of that entry. If the 1\dash byte value following the
1122 abbreviation\textquoteright s tag encoding is 
1123 \DWCHILDRENnoTARG, the next
1124 physically succeeding entry of any debugging information entry
1125 using this abbreviation is a sibling of that entry. (Either
1126 the first child or sibling entries may be null entries). The
1127 encodings for the child determination byte are given in 
1128 Table \refersec{tab:childdeterminationencodings}
1129 (As mentioned in 
1130 Section \refersec{chap:relationshipofdebugginginformationentries}, 
1131 each chain of sibling entries is terminated by a null entry.)
1132
1133 \needlines{6}
1134 \begin{centering}
1135 \setlength{\extrarowheight}{0.1cm}
1136 \begin{longtable}{l|c}
1137   \caption{Child determination encodings}
1138   \label{tab:childdeterminationencodings}
1139   \addtoindexx{Child determination encodings} \\
1140   \hline \bfseries Children determination name&\bfseries Value \\ \hline
1141 \endfirsthead
1142   \bfseries Children determination name&\bfseries Value \\ \hline
1143 \endhead
1144   \hline \emph{Continued on next page}
1145 \endfoot
1146   \hline
1147 \endlastfoot
1148 \DWCHILDRENno&0x00 \\ 
1149 \DWCHILDRENyes&0x01 \\ \hline
1150 \end{longtable}
1151 \end{centering}
1152
1153 \needlines{4}
1154 Finally, the child encoding is followed by a series of
1155 attribute specifications. Each attribute specification
1156 consists of two parts. The first part is an 
1157 unsigned LEB128\addtoindexx{LEB128!unsigned}
1158 number representing the attribute\textquoteright s name. 
1159 The second part is an 
1160 unsigned LEB128\addtoindexx{LEB128!unsigned} 
1161 number representing the attribute\textquoteright s form. 
1162 The series of attribute specifications ends with an
1163 entry containing 0 for the name and 0 for the form.
1164
1165 The attribute form 
1166 \DWFORMindirectTARG{} is a special case. For
1167 attributes with this form, the attribute value itself in the
1168 \dotdebuginfo{}
1169 section begins with an unsigned
1170 LEB128 number that represents its form. This allows producers
1171 to choose forms for particular attributes 
1172 \addtoindexx{abbreviations table!dynamic forms in}
1173 dynamically,
1174 without having to add a new entry to the abbreviations table.
1175
1176 The abbreviations for a given compilation unit end with an
1177 entry consisting of a 0 byte for the abbreviation code.
1178
1179 \textit{See 
1180 Appendix \refersec{app:compilationunitsandabbreviationstableexample} 
1181 for a depiction of the organization of the
1182 debugging information.}
1183
1184
1185 \subsection{Attribute Encodings}
1186 \label{datarep:attributeencodings}
1187
1188 The encodings for the attribute names are given in 
1189 Table \refersec{tab:attributeencodings}.
1190
1191 The attribute form governs how the value of the attribute is
1192 encoded. There are nine classes of form, listed below. Each
1193 class is a set of forms which have related representations
1194 and which are given a common interpretation according to the
1195 attribute in which the form is used.
1196
1197 Form \DWFORMsecoffsetTARG{} 
1198 is a member of more 
1199 \addtoindexx{rangelistptr class}
1200 than 
1201 \addtoindexx{macptr class}
1202 one 
1203 \addtoindexx{loclistptr class}
1204 class,
1205 \addtoindexx{lineptr class}
1206 namely 
1207 \CLASSaddrptr, 
1208 \CLASSlineptr, 
1209 \CLASSloclistptr, 
1210 \CLASSmacptr,  
1211 \CLASSrangelistptr{} or
1212 \CLASSstroffsetsptr; 
1213 the list of classes allowed by the applicable attribute in 
1214 Table \refersec{tab:attributeencodings}
1215 determines the class of the form.
1216
1217
1218 \needlines{4}
1219 Each possible form belongs to one or more of the following classes:
1220
1221 \begin{itemize}
1222 \item \livelinki{chap:classaddress}{address}{address class} \\
1223 \livetarg{datarep:classaddress}{}
1224 Represented as either:
1225 \begin{itemize}
1226 \item An object of appropriate size to hold an
1227 address on the target machine 
1228 (\DWFORMaddrTARG). 
1229 The size is encoded in the compilation unit header 
1230 (see Section \refersec{datarep:compilationunitheader}).
1231 This address is relocatable in a relocatable object file and
1232 is relocated in an executable file or shared object.
1233
1234 \item An indirect index into a table of addresses (as 
1235 described in the previous bullet) in the
1236 \dotdebugaddr{} section (\DWFORMaddrxTARG). 
1237 The representation of a \DWFORMaddrxNAME{} value is an unsigned
1238 \addtoindex{LEB128} value, which is interpreted as a zero-based 
1239 index into an array of addresses in the \dotdebugaddr{} section.
1240 The index is relative to the value of the \DWATaddrbase{} attribute 
1241 of the associated compilation unit.
1242 \end{itemize}
1243
1244 \needlines{5}
1245 \item \livelink{chap:classaddrptr}{addrptr} \\
1246 \livetarg{datarep:classaddrptr}{}
1247 This is an offset into the \dotdebugaddr{} section (\DWFORMsecoffset). It
1248 consists of an offset from the beginning of the \dotdebugaddr{} section to the
1249 beginning of the list of machine addresses information for the
1250 referencing entity. It is relocatable in
1251 a relocatable object file, and relocated in an executable or
1252 shared object. In the \thirtytwobitdwarfformat, this offset
1253 is a 4\dash byte unsigned value; in the 64\dash bit DWARF
1254 format, it is an 8\dash byte unsigned value (see Section
1255 \refersec{datarep:32bitand64bitdwarfformats}).
1256
1257 \textit{This class is new in \DWARFVersionV.}
1258
1259 \needlines{4}
1260 \item \livelink{chap:classblock}{block} \\
1261 \livetarg{datarep:classblock}{}
1262 Blocks come in four forms:
1263
1264 \begin{myindentpara}{1cm}
1265 A 1\dash byte length followed by 0 to 255 contiguous information
1266 bytes (\DWFORMblockoneTARG).
1267 \end{myindentpara}
1268
1269 \begin{myindentpara}{1cm}
1270 A 2\dash byte length followed by 0 to 65,535 contiguous information
1271 bytes (\DWFORMblocktwoTARG).
1272 \end{myindentpara}
1273
1274 \begin{myindentpara}{1cm}
1275 A 4\dash byte length followed by 0 to 4,294,967,295 contiguous
1276 information bytes (\DWFORMblockfourTARG).
1277 \end{myindentpara}
1278
1279 \begin{myindentpara}{1cm}
1280 An unsigned LEB128\addtoindexx{LEB128!unsigned}
1281 length followed by the number of bytes
1282 specified by the length (\DWFORMblockTARG).
1283 \end{myindentpara}
1284
1285 In all forms, the length is the number of information bytes
1286 that follow. The information bytes may contain any mixture
1287 of relocated (or relocatable) addresses, references to other
1288 debugging information entries or data bytes.
1289
1290 \item \livelinki{chap:classconstant}{constant}{constant class} \\
1291 \livetarg{datarep:classconstant}{}
1292 There are seven forms of constants. There are fixed length
1293 constant data forms for one-, two-, four-, eight- and sixteen-byte values
1294 (respectively, 
1295 \DWFORMdataoneTARG, 
1296 \DWFORMdatatwoTARG, 
1297 \DWFORMdatafourTARG,
1298 \DWFORMdataeightTARG{} and
1299 \DWFORMdatasixteenTARG). 
1300 There are also variable length constant
1301 data forms encoded using LEB128 numbers (see below). Both
1302 signed (\DWFORMsdataTARG) and unsigned 
1303 (\DWFORMudataTARG) variable
1304 length constants are available
1305
1306 \needlines{4}
1307 The data in \DWFORMdataone, 
1308 \DWFORMdatatwo, 
1309 \DWFORMdatafour{}, 
1310 \DWFORMdataeight{} and
1311 \DWFORMdatasixteen{} 
1312 can be anything. Depending on context, it may
1313 be a signed integer, an unsigned integer, a floating\dash point
1314 constant, or anything else. A consumer must use context to
1315 know how to interpret the bits, which if they are target
1316 machine data (such as an integer or floating point constant)
1317 will be in target machine byte\dash order.
1318
1319 \textit{If one of the \DWFORMdataTARG\textless n\textgreater 
1320 forms is used to represent a
1321 signed or unsigned integer, it can be hard for a consumer
1322 to discover the context necessary to determine which
1323 interpretation is intended. Producers are therefore strongly
1324 encouraged to use \DWFORMsdata{} or 
1325 \DWFORMudata{} for signed and
1326 unsigned integers respectively, rather than 
1327 \DWFORMdata\textless n\textgreater.}
1328
1329 \needlines{4}
1330 \item \livelinki{chap:classexprloc}{exprloc}{exprloc class} \\
1331 \livetarg{datarep:classexprloc}{}
1332 This is an unsigned LEB128\addtoindexx{LEB128!unsigned} length followed by the
1333 number of information bytes specified by the length
1334 (\DWFORMexprlocTARG). 
1335 The information bytes contain a DWARF expression 
1336 (see Section \refersec{chap:dwarfexpressions}) 
1337 or location description 
1338 (see Section \refersec{chap:locationdescriptions}).
1339
1340 \item \livelinki{chap:classflag}{flag}{flag class} \\
1341 \livetarg{datarep:classflag}{}
1342 A flag \addtoindexx{flag class}
1343 is represented explicitly as a single byte of data
1344 (\DWFORMflagTARG) or 
1345 implicitly (\DWFORMflagpresentTARG). 
1346 In the
1347 first case, if the \nolink{flag} has value zero, it indicates the
1348 absence of the attribute; if the \nolink{flag} has a non\dash zero value,
1349 it indicates the presence of the attribute. In the second
1350 case, the attribute is implicitly indicated as present, and
1351 no value is encoded in the debugging information entry itself.
1352
1353 \item \livelinki{chap:classlineptr}{lineptr}{lineptr class} \\
1354 \livetarg{datarep:classlineptr}{}
1355 This is an offset into 
1356 \addtoindexx{section offset!in class lineptr value}
1357 the 
1358 \dotdebugline{} or \dotdebuglinedwo{} section
1359 (\DWFORMsecoffset).
1360 It consists of an offset from the beginning of the 
1361 \dotdebugline{}
1362 section to the first byte of
1363 the data making up the line number list for the compilation
1364 unit. 
1365 It is relocatable in a relocatable object file, and
1366 relocated in an executable or shared object. In the 
1367 \thirtytwobitdwarfformat, this offset is a 4\dash byte unsigned value;
1368 in the \sixtyfourbitdwarfformat, it is an 8\dash byte unsigned value
1369 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
1370
1371
1372 \item \livelinki{chap:classloclistptr}{loclistptr}{loclistptr class} \\
1373 \livetarg{datarep:classloclistptr}{}
1374 This is an offset into the 
1375 \dotdebugloc{}
1376 section
1377 (\DWFORMsecoffset). 
1378 It consists of an offset from the
1379 \addtoindexx{section offset!in class loclistptr value}
1380 beginning of the 
1381 \dotdebugloc{}
1382 section to the first byte of
1383 the data making up the 
1384 \addtoindex{location list} for the compilation unit. 
1385 It is relocatable in a relocatable object file, and
1386 relocated in an executable or shared object. In the 
1387 \thirtytwobitdwarfformat, this offset is a 4\dash byte unsigned value;
1388 in the \sixtyfourbitdwarfformat, it is an 8\dash byte unsigned value
1389 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
1390
1391
1392 \item \livelinki{chap:classmacptr}{macptr}{macptr class} \\
1393 \livetarg{datarep:classmacptr}{}
1394 This is an 
1395 \addtoindexx{section offset!in class macptr value}
1396 offset into the 
1397 \dotdebugmacro{} or \dotdebugmacrodwo{} section
1398 (\DWFORMsecoffset). 
1399 It consists of an offset from the beginning of the 
1400 \dotdebugmacro{} or \dotdebugmacrodwo{} 
1401 section to the the header making up the 
1402 macro information list for the compilation unit. 
1403 It is relocatable in a relocatable object file, and
1404 relocated in an executable or shared object. In the 
1405 \thirtytwobitdwarfformat, this offset is a 4\dash byte unsigned value;
1406 in the \sixtyfourbitdwarfformat, it is an 8\dash byte unsigned value
1407 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
1408
1409 \needlines{4}
1410 \item \livelinki{chap:classrangelistptr}{rangelistptr}{rangelistptr class} \\
1411 \livetarg{datarep:classrangelistptr}{}
1412 This is an 
1413 \addtoindexx{section offset!in class rangelistptr value}
1414 offset into the \dotdebugranges{} section
1415 (\DWFORMsecoffset). 
1416 It consists of an
1417 offset from the beginning of the 
1418 \dotdebugranges{} section
1419 to the beginning of the non\dash contiguous address ranges
1420 information for the referencing entity.  
1421 It is relocatable in
1422 a relocatable object file, and relocated in an executable or
1423 shared object. In the \thirtytwobitdwarfformat, this offset
1424 is a 4\dash byte unsigned value; in the 64\dash bit DWARF
1425 format, it is an 8\dash byte unsigned value (see Section
1426 \refersec{datarep:32bitand64bitdwarfformats}).
1427 \end{itemize}
1428
1429 \textit{Because classes
1430 \CLASSaddrptr, 
1431 \CLASSlineptr, 
1432 \CLASSloclistptr, 
1433 \CLASSmacptr, 
1434 \CLASSrangelistptr{} and
1435 \CLASSstroffsetsptr{}
1436 share a common representation, it is not possible for an
1437 attribute to allow more than one of these classes}
1438
1439
1440 \begin{itemize}
1441 \item \livelinki{chap:classreference}{reference}{reference class} \\
1442 \livetarg{datarep:classreference}{}
1443 There are four types of reference.
1444
1445 The 
1446 \addtoindexx{reference class}
1447 first type of reference can identify any debugging
1448 information entry within the containing unit. 
1449 This type of
1450 reference is an 
1451 \addtoindexx{section offset!in class reference value}
1452 offset from the first byte of the compilation
1453 header for the compilation unit containing the reference. There
1454 are five forms for this type of reference. There are fixed
1455 length forms for one, two, four and eight byte offsets
1456 (respectively,
1457 \DWFORMrefnMARK 
1458 \DWFORMrefoneTARG, 
1459 \DWFORMreftwoTARG, 
1460 \DWFORMreffourTARG,
1461 and \DWFORMrefeightTARG). 
1462 There is also an unsigned variable
1463 length offset encoded form that uses 
1464 unsigned LEB128\addtoindexx{LEB128!unsigned} numbers
1465 (\DWFORMrefudataTARG). 
1466 Because this type of reference is within
1467 the containing compilation unit no relocation of the value
1468 is required.
1469
1470 The second type of reference can identify any debugging
1471 information entry within a 
1472 \dotdebuginfo{} section; in particular,
1473 it may refer to an entry in a different compilation unit
1474 from the unit containing the reference, and may refer to an
1475 entry in a different shared object.  This type of reference
1476 (\DWFORMrefaddrTARG) 
1477 is an offset from the beginning of the
1478 \dotdebuginfo{} 
1479 section of the target executable or shared object, or, for
1480 references within a \addtoindex{supplementary object file}, 
1481 an offset from the beginning of the local \dotdebuginfo{} section;
1482 it is relocatable in a relocatable object file and frequently
1483 relocated in an executable file or shared object. For
1484 references from one shared object or static executable file
1485 to another, the relocation and identification of the target
1486 object must be performed by the consumer. In the 
1487 \thirtytwobitdwarfformat, this offset is a 4\dash byte unsigned value; 
1488 in the \sixtyfourbitdwarfformat, it is an 8\dash byte
1489 unsigned value 
1490 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
1491
1492 \textit{A debugging information entry that may be referenced by
1493 another compilation unit using 
1494 \DWFORMrefaddr{} must have a global symbolic name.}
1495
1496 \textit{For a reference from one executable or shared object to
1497 another, the reference is resolved by the debugger to identify
1498 the shared object or executable and the offset into that
1499 object\textquoteright s \dotdebuginfo{}
1500 section in the same fashion as the run
1501 time loader, either when the debug information is first read,
1502 or when the reference is used.}
1503
1504 The third type of reference can identify any debugging
1505 information type entry that has been placed in its own
1506 \addtoindex{type unit}. This type of 
1507 reference (\DWFORMrefsigeightTARG) is the
1508 \addtoindexx{type signature}
1509 64\dash bit type signature 
1510 (see Section \refersec{datarep:typesignaturecomputation}) 
1511 that was computed for the type. 
1512
1513 The fourth type of reference is a reference from within the 
1514 \dotdebuginfo{} section of the executable or shared object to
1515 a debugging information entry in the \dotdebuginfo{} section of 
1516 a \addtoindex{supplementary object file}.
1517 This type of reference (\DWFORMrefsupTARG) is an offset from the 
1518 beginning of the \dotdebuginfo{} section in the supplementary 
1519 object file.
1520
1521 \textit{The use of compilation unit relative references will reduce the
1522 number of link\dash time relocations and so speed up linking. The
1523 use of the second, third and fourth type of reference allows for the
1524 sharing of information, such as types, across compilation
1525 units, while the fourth type further allows for sharing of information 
1526 across compilation units from different executables or shared objects.}
1527
1528 \textit{A reference to any kind of compilation unit identifies the
1529 debugging information entry for that unit, not the preceding
1530 header.}
1531
1532 \needlines{4}
1533 \item \livelinki{chap:classstring}{string}{string class} \\
1534 \livetarg{datarep:classstring}{}
1535 A string is a sequence of contiguous non\dash null bytes followed by
1536 one null byte. 
1537 \addtoindexx{string class}
1538 A string may be represented: 
1539 \begin{itemize}
1540 \setlength{\itemsep}{0em}
1541 \item immediately in the debugging information entry itself 
1542 (\DWFORMstringTARG), 
1543
1544 \item as an 
1545 \addtoindexx{section offset!in class string value}
1546 offset into a string table contained in
1547 the \dotdebugstr{} section of the object file (\DWFORMstrpTARG), 
1548 the \dotdebuglinestr{} section of the object file (\DWFORMlinestrpTARG),
1549 or as an offset into a string table contained in the
1550 \dotdebugstr{} section of a \addtoindex{supplementary object file} 
1551 (\DWFORMstrpsupTARG).  \DWFORMstrpNAME{} offsets from the \dotdebuginfo{}  
1552 section of a \addtoindex{supplementary object file}
1553 refer to the local \dotdebugstr{} section of that same file.
1554 In the \thirtytwobitdwarfformat, the representation of a 
1555 \DWFORMstrpNAME{}
1556 value is a 4\dash byte unsigned offset; in the \sixtyfourbitdwarfformat,
1557 it is an 8\dash byte unsigned offset 
1558 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
1559
1560 \item as an indirect offset into the string table using an 
1561 index into a table of offsets contained in the 
1562 \dotdebugstroffsets{} section of the object file (\DWFORMstrxTARG).
1563 The representation of a \DWFORMstrxNAME{} value is an unsigned 
1564 \addtoindex{LEB128} value, which is interpreted as a zero-based 
1565 index into an array of offsets in the \dotdebugstroffsets{} section. 
1566 The offset entries in the \dotdebugstroffsets{} section have the 
1567 same representation as \DWFORMstrp{} values.
1568 \end{itemize}
1569 Any combination of these three forms may be used within a single compilation.
1570
1571 If the \DWATuseUTFeight{}
1572 \addtoindexx{use UTF8 attribute}\addtoindexx{UTF-8} attribute is specified for the
1573 compilation, partial, skeleton or type unit entry, string values are encoded using the
1574 UTF\dash 8 (\addtoindex{Unicode} Transformation Format\dash 8) from the Universal
1575 Character Set standard (ISO/IEC 10646\dash 1:1993).
1576 \addtoindexx{ISO 10646 character set standard}
1577 Otherwise, the string representation is unspecified.
1578
1579 \textit{The \addtoindex{Unicode} Standard Version 3 is fully compatible with
1580 ISO/IEC 10646\dash 1:1993. 
1581 \addtoindexx{ISO 10646 character set standard}
1582 It contains all the same characters
1583 and encoding points as ISO/IEC 10646, as well as additional
1584 information about the characters and their use.}
1585
1586 \textit{Earlier versions of DWARF did not specify the representation
1587 of strings; for compatibility, this version also does
1588 not. However, the UTF\dash 8 representation is strongly recommended.}
1589
1590 \needlines{4}
1591 \item \livelinki{chap:classstroffsetsptr}{stroffsetsptr}{stroffsetsptr class} \\
1592 \livetarg{datarep:classstroffsetsptr}{}
1593 This is an offset into the \dotdebugstroffsets{} section 
1594 (\DWFORMsecoffset). It consists of an offset from the beginning of the 
1595 \dotdebugstroffsets{} section to the
1596 beginning of the string offsets information for the
1597 referencing entity. It is relocatable in
1598 a relocatable object file, and relocated in an executable or
1599 shared object. In the \thirtytwobitdwarfformat, this offset
1600 is a 4\dash byte unsigned value; in the 64\dash bit DWARF
1601 format, it is an 8\dash byte unsigned value (see Section
1602 \refersec{datarep:32bitand64bitdwarfformats}).
1603
1604 \textit{This class is new in \DWARFVersionV.}
1605
1606 \end{itemize}
1607
1608 In no case does an attribute use one of the classes 
1609 \CLASSaddrptr,
1610 \CLASSlineptr,
1611 \CLASSloclistptr, 
1612 \CLASSmacptr, 
1613 \CLASSrangelistptr{} or 
1614 \CLASSstroffsetsptr{}
1615 to point into either the
1616 \dotdebuginfo{} or \dotdebugstr{} section.
1617
1618 The form encodings are listed in 
1619 Table \refersec{tab:attributeformencodings}.
1620
1621
1622 \begin{centering}
1623 \setlength{\extrarowheight}{0.1cm}
1624 \begin{longtable}{l|c|l}
1625   \caption{Attribute encodings} 
1626   \label{tab:attributeencodings} 
1627   \addtoindexx{attribute encodings} \\
1628   \hline \bfseries Attribute name&\bfseries Value &\bfseries Classes \\ \hline
1629 \endfirsthead
1630   \bfseries Attribute name&\bfseries Value &\bfseries Classes\\ \hline
1631 \endhead
1632   \hline \emph{Continued on next page}
1633 \endfoot
1634   \hline \ddag\ \textit{New in DWARF Version 5}
1635 \endlastfoot
1636 \DWATsibling&0x01&\livelink{chap:classreference}{reference} 
1637             \addtoindexx{sibling attribute} \\
1638 \DWATlocation&0x02&\livelink{chap:classexprloc}{exprloc}, 
1639         \livelink{chap:classloclistptr}{loclistptr}
1640             \addtoindexx{location attribute}   \\
1641 \DWATname&0x03&\livelink{chap:classstring}{string} 
1642             \addtoindexx{name attribute} \\
1643 \DWATordering&0x09&\livelink{chap:classconstant}{constant} 
1644             \addtoindexx{ordering attribute}  \\
1645 \DWATbytesize&0x0b&\livelink{chap:classconstant}{constant}, 
1646         \livelink{chap:classexprloc}{exprloc}, 
1647         \livelink{chap:classreference}{reference}
1648             \addtoindexx{byte size attribute} \\
1649 \DWATbitoffset&0x0c&\livelink{chap:classconstant}{constant}, 
1650         \livelink{chap:classexprloc}{exprloc}, 
1651         \livelink{chap:classreference}{reference}
1652             \addtoindexx{bit offset attribute (Version 3)}  \\
1653 \DWATbitsize&0x0d&\livelink{chap:classconstant}{constant}, 
1654         \livelink{chap:classexprloc}{exprloc}, 
1655         \livelink{chap:classreference}{reference}   
1656             \addtoindexx{bit size attribute} \\
1657 \DWATstmtlist&0x10&\livelink{chap:classlineptr}{lineptr} 
1658             \addtoindexx{statement list attribute} \\
1659 \DWATlowpc&0x11&\livelink{chap:classaddress}{address} 
1660             \addtoindexx{low PC attribute}  \\
1661 \DWAThighpc&0x12&\livelink{chap:classaddress}{address}, 
1662         \livelink{chap:classconstant}{constant}
1663             \addtoindexx{high PC attribute}  \\
1664 \DWATlanguage&0x13&\livelink{chap:classconstant}{constant} 
1665             \addtoindexx{language attribute}  \\
1666 \DWATdiscr&0x15&\livelink{chap:classreference}{reference} 
1667             \addtoindexx{discriminant attribute}  \\
1668 \DWATdiscrvalue&0x16&\livelink{chap:classconstant}{constant} 
1669             \addtoindexx{discriminant value attribute}  \\
1670 \DWATvisibility&0x17&\livelink{chap:classconstant}{constant} 
1671             \addtoindexx{visibility attribute} \\
1672 \DWATimport&0x18&\livelink{chap:classreference}{reference} 
1673             \addtoindexx{import attribute}  \\
1674 \DWATstringlength&0x19&\livelink{chap:classexprloc}{exprloc}, 
1675         \livelink{chap:classloclistptr}{loclistptr}
1676             \addtoindexx{string length attribute}  \\
1677 \DWATcommonreference&0x1a&\livelink{chap:classreference}{reference} 
1678             \addtoindexx{common reference attribute}  \\
1679 \DWATcompdir&0x1b&\livelink{chap:classstring}{string} 
1680             \addtoindexx{compilation directory attribute}  \\
1681 \DWATconstvalue&0x1c&\livelink{chap:classblock}{block}, 
1682         \livelink{chap:classconstant}{constant}, 
1683         \livelink{chap:classstring}{string}
1684             \addtoindexx{constant value attribute} \\
1685 \DWATcontainingtype&0x1d&\livelink{chap:classreference}{reference} 
1686             \addtoindexx{containing type attribute} \\
1687 \DWATdefaultvalue&0x1e&\livelink{chap:classconstant}{constant}, 
1688         \livelink{chap:classreference}{reference}, 
1689         \livelink{chap:classflag}{flag}
1690             \addtoindexx{default value attribute} \\
1691 \DWATinline&0x20&\livelink{chap:classconstant}{constant} 
1692             \addtoindexx{inline attribute}  \\
1693 \DWATisoptional&0x21&\livelink{chap:classflag}{flag} 
1694             \addtoindexx{is optional attribute} \\
1695 \DWATlowerbound&0x22&\livelink{chap:classconstant}{constant}, 
1696         \livelink{chap:classexprloc}{exprloc}, 
1697         \livelink{chap:classreference}{reference}
1698             \addtoindexx{lower bound attribute}  \\
1699 \DWATproducer&0x25&\livelink{chap:classstring}{string}
1700             \addtoindexx{producer attribute}  \\
1701 \DWATprototyped&0x27&\livelink{chap:classflag}{flag}
1702             \addtoindexx{prototyped attribute}  \\
1703 \DWATreturnaddr&0x2a&\livelink{chap:classexprloc}{exprloc},
1704         \livelink{chap:classloclistptr}{loclistptr}
1705             \addtoindexx{return address attribute}  \\
1706 \DWATstartscope&0x2c&\livelink{chap:classconstant}{constant}, 
1707         \livelink{chap:classrangelistptr}{rangelistptr}
1708             \addtoindexx{start scope attribute}  \\
1709 \DWATbitstride&0x2e&\livelink{chap:classconstant}{constant},
1710         \livelink{chap:classexprloc}{exprloc}, 
1711         \livelink{chap:classreference}{reference}
1712             \addtoindexx{bit stride attribute}  \\
1713 \DWATupperbound&0x2f&\livelink{chap:classconstant}{constant},
1714         \livelink{chap:classexprloc}{exprloc}, 
1715         \livelink{chap:classreference}{reference}
1716             \addtoindexx{upper bound attribute}  \\
1717 \DWATabstractorigin&0x31&\livelink{chap:classreference}{reference} 
1718             \addtoindexx{abstract origin attribute}  \\
1719 \DWATaccessibility&0x32&\livelink{chap:classconstant}{constant} 
1720             \addtoindexx{accessibility attribute}  \\
1721 \DWATaddressclass&0x33&\livelink{chap:classconstant}{constant} 
1722             \addtoindexx{address class attribute}  \\
1723 \DWATartificial&0x34&\livelink{chap:classflag}{flag} 
1724             \addtoindexx{artificial attribute}  \\
1725 \DWATbasetypes&0x35&\livelink{chap:classreference}{reference} 
1726             \addtoindexx{base types attribute}  \\
1727 \DWATcallingconvention&0x36&\livelink{chap:classconstant}{constant} 
1728         \addtoindexx{calling convention attribute} \\
1729 \DWATcount&0x37&\livelink{chap:classconstant}{constant}, 
1730         \livelink{chap:classexprloc}{exprloc}, 
1731         \livelink{chap:classreference}{reference} 
1732             \addtoindexx{count attribute}  \\
1733 \DWATdatamemberlocation&0x38&\livelink{chap:classconstant}{constant}, 
1734         \livelink{chap:classexprloc}{exprloc}, 
1735         \livelink{chap:classloclistptr}{loclistptr} 
1736             \addtoindexx{data member attribute}  \\
1737 \DWATdeclcolumn&0x39&\livelink{chap:classconstant}{constant} 
1738             \addtoindexx{declaration column attribute}  \\
1739 \DWATdeclfile&0x3a&\livelink{chap:classconstant}{constant} 
1740             \addtoindexx{declaration file attribute}  \\
1741 \DWATdeclline&0x3b&\livelink{chap:classconstant}{constant} 
1742             \addtoindexx{declaration line attribute}  \\
1743 \DWATdeclaration&0x3c&\livelink{chap:classflag}{flag} 
1744             \addtoindexx{declaration attribute}  \\
1745 \DWATdiscrlist&0x3d&\livelink{chap:classblock}{block} 
1746             \addtoindexx{discriminant list attribute}  \\
1747 \DWATencoding&0x3e&\livelink{chap:classconstant}{constant} 
1748             \addtoindexx{encoding attribute}  \\
1749 \DWATexternal&\xiiif&\livelink{chap:classflag}{flag} 
1750             \addtoindexx{external attribute}  \\
1751 \DWATframebase&0x40&\livelink{chap:classexprloc}{exprloc}, 
1752         \livelink{chap:classloclistptr}{loclistptr} 
1753             \addtoindexx{frame base attribute}  \\
1754 \DWATfriend&0x41&\livelink{chap:classreference}{reference} 
1755             \addtoindexx{friend attribute}  \\
1756 \DWATidentifiercase&0x42&\livelink{chap:classconstant}{constant} 
1757             \addtoindexx{identifier case attribute}  \\
1758 \DWATmacroinfo\footnote{\raggedright Not used in \DWARFVersionV. 
1759                         Reserved for compatibility and coexistence
1760                         with prior DWARF versions.}
1761             &0x43&\livelink{chap:classmacptr}{macptr} 
1762             \addtoindexx{macro information attribute (legacy)!encoding}  \\
1763 \DWATnamelistitem&0x44&\livelink{chap:classreference}{reference} 
1764             \addtoindexx{name list item attribute}  \\
1765 \DWATpriority&0x45&\livelink{chap:classreference}{reference} 
1766             \addtoindexx{priority attribute}  \\
1767 \DWATsegment&0x46&\livelink{chap:classexprloc}{exprloc}, 
1768         \livelink{chap:classloclistptr}{loclistptr} 
1769             \addtoindexx{segment attribute}  \\
1770 \DWATspecification&0x47&\livelink{chap:classreference}{reference} 
1771         \addtoindexx{specification attribute}  \\
1772 \DWATstaticlink&0x48&\livelink{chap:classexprloc}{exprloc}, 
1773         \livelink{chap:classloclistptr}{loclistptr} 
1774             \addtoindexx{static link attribute}  \\
1775 \DWATtype&0x49&\livelink{chap:classreference}{reference} 
1776             \addtoindexx{type attribute}  \\
1777 \DWATuselocation&0x4a&\livelink{chap:classexprloc}{exprloc}, 
1778         \livelink{chap:classloclistptr}{loclistptr} 
1779             \addtoindexx{location list attribute}  \\
1780 \DWATvariableparameter&0x4b&\livelink{chap:classflag}{flag} 
1781             \addtoindexx{variable parameter attribute}  \\
1782 \DWATvirtuality&0x4c&\livelink{chap:classconstant}{constant} 
1783             \addtoindexx{virtuality attribute}  \\
1784 \DWATvtableelemlocation&0x4d&\livelink{chap:classexprloc}{exprloc}, 
1785         \livelink{chap:classloclistptr}{loclistptr} 
1786             \addtoindexx{vtable element location attribute}  \\
1787 \DWATallocated&0x4e&\livelink{chap:classconstant}{constant}, 
1788         \livelink{chap:classexprloc}{exprloc}, 
1789         \livelink{chap:classreference}{reference} 
1790             \addtoindexx{allocated attribute}  \\
1791 \DWATassociated&0x4f&\livelink{chap:classconstant}{constant}, 
1792         \livelink{chap:classexprloc}{exprloc}, 
1793         \livelink{chap:classreference}{reference} 
1794             \addtoindexx{associated attribute}  \\
1795 \DWATdatalocation&0x50&\livelink{chap:classexprloc}{exprloc} 
1796         \addtoindexx{data location attribute}  \\
1797 \DWATbytestride&0x51&\livelink{chap:classconstant}{constant}, 
1798         \livelink{chap:classexprloc}{exprloc}, 
1799         \livelink{chap:classreference}{reference} 
1800             \addtoindexx{byte stride attribute}  \\
1801 \DWATentrypc&0x52&\livelink{chap:classaddress}{address}, 
1802         \livelink{chap:classconstant}{constant} 
1803             \addtoindexx{entry pc attribute}  \\
1804 \DWATuseUTFeight&0x53&\livelink{chap:classflag}{flag} 
1805             \addtoindexx{use UTF8 attribute}\addtoindexx{UTF-8}  \\
1806 \DWATextension&0x54&\livelink{chap:classreference}{reference} 
1807             \addtoindexx{extension attribute}  \\
1808 \DWATranges&0x55&\livelink{chap:classrangelistptr}{rangelistptr} 
1809             \addtoindexx{ranges attribute}  \\
1810 \DWATtrampoline&0x56&\livelink{chap:classaddress}{address}, 
1811         \livelink{chap:classflag}{flag}, 
1812         \livelink{chap:classreference}{reference}, 
1813         \livelink{chap:classstring}{string} 
1814             \addtoindexx{trampoline attribute}  \\
1815 \DWATcallcolumn&0x57&\livelink{chap:classconstant}{constant} 
1816             \addtoindexx{call column attribute}  \\
1817 \DWATcallfile&0x58&\livelink{chap:classconstant}{constant} 
1818             \addtoindexx{call file attribute}  \\
1819 \DWATcallline&0x59&\livelink{chap:classconstant}{constant} 
1820             \addtoindexx{call line attribute}  \\
1821 \DWATdescription&0x5a&\livelink{chap:classstring}{string} 
1822             \addtoindexx{description attribute}  \\
1823 \DWATbinaryscale&0x5b&\livelink{chap:classconstant}{constant} 
1824             \addtoindexx{binary scale attribute}  \\
1825 \DWATdecimalscale&0x5c&\livelink{chap:classconstant}{constant} 
1826             \addtoindexx{decimal scale attribute}  \\
1827 \DWATsmall{} &0x5d&\livelink{chap:classreference}{reference} 
1828             \addtoindexx{small attribute}  \\
1829 \DWATdecimalsign&0x5e&\livelink{chap:classconstant}{constant} 
1830             \addtoindexx{decimal scale attribute}  \\
1831 \DWATdigitcount&0x5f&\livelink{chap:classconstant}{constant} 
1832             \addtoindexx{digit count attribute}  \\
1833 \DWATpicturestring&0x60&\livelink{chap:classstring}{string} 
1834             \addtoindexx{picture string attribute}  \\
1835 \DWATmutable&0x61&\livelink{chap:classflag}{flag} 
1836             \addtoindexx{mutable attribute}  \\
1837 \DWATthreadsscaled&0x62&\livelink{chap:classflag}{flag} 
1838             \addtoindexx{thread scaled attribute}  \\
1839 \DWATexplicit&0x63&\livelink{chap:classflag}{flag} 
1840             \addtoindexx{explicit attribute}  \\
1841 \DWATobjectpointer&0x64&\livelink{chap:classreference}{reference} 
1842             \addtoindexx{object pointer attribute}  \\
1843 \DWATendianity&0x65&\livelink{chap:classconstant}{constant} 
1844             \addtoindexx{endianity attribute}  \\
1845 \DWATelemental&0x66&\livelink{chap:classflag}{flag} 
1846             \addtoindexx{elemental attribute}  \\
1847 \DWATpure&0x67&\livelink{chap:classflag}{flag} 
1848             \addtoindexx{pure attribute}  \\
1849 \DWATrecursive&0x68&\livelink{chap:classflag}{flag} 
1850             \addtoindexx{recursive attribute}  \\
1851 \DWATsignature{} &0x69&\livelink{chap:classreference}{reference} 
1852             \addtoindexx{signature attribute}  \\ 
1853 \DWATmainsubprogram{} &0x6a&\livelink{chap:classflag}{flag} 
1854             \addtoindexx{main subprogram attribute}  \\
1855 \DWATdatabitoffset{} &0x6b&\livelink{chap:classconstant}{constant} 
1856             \addtoindexx{data bit offset attribute}  \\
1857 \DWATconstexpr{} &0x6c&\livelink{chap:classflag}{flag} 
1858             \addtoindexx{constant expression attribute}  \\
1859 \DWATenumclass{} &0x6d&\livelink{chap:classflag}{flag} 
1860             \addtoindexx{enumeration class attribute}  \\
1861 \DWATlinkagename{} &0x6e&\livelink{chap:classstring}{string} 
1862             \addtoindexx{linkage name attribute}  \\
1863 \DWATstringlengthbitsize{}~\ddag&0x6f&
1864                 \livelink{chap:classconstant}{constant}
1865             \addtoindexx{string length attribute!size of length}  \\
1866 \DWATstringlengthbytesize{}~\ddag&0x70&
1867                 \livelink{chap:classconstant}{constant}
1868             \addtoindexx{string length attribute!size of length}  \\
1869 \DWATrank~\ddag&0x71&
1870         \livelink{chap:classconstant}{constant},
1871         \livelink{chap:classexprloc}{exprloc}
1872             \addtoindexx{rank attribute}  \\
1873 \DWATstroffsetsbase~\ddag&0x72&
1874                 \livelinki{chap:classstring}{stroffsetsptr}{stroffsetsptr class}
1875             \addtoindexx{string offsets base!encoding}  \\
1876 \DWATaddrbase~\ddag &0x73&
1877                 \livelinki{chap:DWATaddrbase}{addrptr}{addrptr class}
1878             \addtoindexx{address table base!encoding} \\
1879 \DWATrangesbase~\ddag&0x74&
1880                 \livelinki{chap:DWATrangesbase}{rangelistptr}{rangelistptr class}
1881             \addtoindexx{ranges base!encoding} \\
1882 \DWATdwoid~\ddag &0x75&
1883                 \livelink{chap:DWATdwoid}{constant}
1884             \addtoindexx{split DWARF object id!encoding} \\
1885 \DWATdwoname~\ddag &0x76&
1886                 \livelink{chap:DWATdwoname}{string}
1887             \addtoindexx{split DWARF object file name!encoding} \\
1888 \DWATreference~\ddag &0x77&
1889         \livelink{chap:DWATreference}{flag} \\
1890 \DWATrvaluereference~\ddag &0x78&
1891         \livelink{chap:DWATrvaluereference}{flag} \\
1892 \DWATmacros~\ddag &0x79&\livelink{chap:classmacptr}{macptr} 
1893         \addtoindexx{macro information attribute}  \\
1894 \DWATcallallcalls~\ddag &0x7a&\CLASSflag
1895         \addtoindexx{all calls summary attribute} \\
1896 \DWATcallallsourcecalls~\ddag &0x7b &\CLASSflag
1897         \addtoindexx{all source calls summary attribute} \\
1898 \DWATcallalltailcalls~\ddag &0x7c&\CLASSflag
1899         \addtoindexx{all tail calls summary attribute} \\
1900 \DWATcallreturnpc~\ddag &0x7d &\CLASSaddress
1901         \addtoindexx{call return pc attribute} \\
1902 \DWATcallvalue~\ddag &0x7e &\CLASSexprloc
1903         \addtoindexx{call value attribute} \\
1904 \DWATcallorigin~\ddag &0x7f &\CLASSexprloc
1905         \addtoindexx{call origin attribute} \\
1906 \DWATcallparameter~\ddag &0x80 &\CLASSreference
1907         \addtoindexx{call parameter attribute} \\
1908 \DWATcallpc~\ddag &0x81 &\CLASSaddress
1909         \addtoindexx{call pc attribute} \\
1910 \DWATcalltailcall~\ddag &0x82 &\CLASSflag
1911         \addtoindexx{call tail call attribute} \\
1912 \DWATcalltarget~\ddag &0x83 &\CLASSexprloc
1913         \addtoindexx{call target attribute} \\
1914 \DWATcalltargetclobbered~\ddag &0x84 &\CLASSexprloc
1915         \addtoindexx{call target clobbered attribute} \\
1916 \DWATcalldatalocation~\ddag &0x85 &\CLASSexprloc
1917         \addtoindexx{call data location attribute} \\
1918 \DWATcalldatavalue~\ddag &0x86 &\CLASSexprloc
1919         \addtoindexx{call data value attribute} \\
1920 \DWATnoreturn~\ddag &0x87 &\CLASSflag 
1921         \addtoindexx{noreturn attribute} \\
1922 \DWATalignment~\ddag &0x88 &\CLASSconstant 
1923         \addtoindexx{alignment attribute} \\
1924 \DWATexportsymbols~\ddag &0x89 &\CLASSflag
1925         \addtoindexx{export symbols attribute} \\
1926 \DWATlouser&0x2000 & --- \addtoindexx{low user attribute encoding}  \\
1927 \DWAThiuser&\xiiifff& --- \addtoindexx{high user attribute encoding}  \\
1928
1929 \end{longtable} 
1930 \end{centering}
1931
1932 \needlines{8}
1933 \begin{centering}
1934 \setlength{\extrarowheight}{0.1cm}
1935 \begin{longtable}{l|c|l}
1936   \caption{Attribute form encodings} \label{tab:attributeformencodings} \\
1937   \hline \bfseries Form name&\bfseries Value &\bfseries Classes \\ \hline
1938 \endfirsthead
1939   \bfseries Form name&\bfseries Value &\bfseries Classes\\ \hline
1940 \endhead
1941   \hline \emph{Continued on next page}
1942 \endfoot
1943   \hline \ddag\ \textit{New in DWARF Version 5}
1944 \endlastfoot
1945
1946 \DWFORMaddr &0x01&\livelink{chap:classaddress}{address}  \\
1947 \textit{Reserved} &0x02& \\
1948 \DWFORMblocktwo &0x03&\livelink{chap:classblock}{block} \\
1949 \DWFORMblockfour &0x04&\livelink{chap:classblock}{block}  \\
1950 \DWFORMdatatwo &0x05&\livelink{chap:classconstant}{constant} \\
1951 \DWFORMdatafour &0x06&\livelink{chap:classconstant}{constant} \\
1952 \DWFORMdataeight &0x07&\livelink{chap:classconstant}{constant} \\
1953 \DWFORMstring&0x08&\livelink{chap:classstring}{string} \\
1954 \DWFORMblock&0x09&\livelink{chap:classblock}{block} \\
1955 \DWFORMblockone &0x0a&\livelink{chap:classblock}{block} \\
1956 \DWFORMdataone &0x0b&\livelink{chap:classconstant}{constant} \\
1957 \DWFORMflag&0x0c&\livelink{chap:classflag}{flag} \\
1958 \DWFORMsdata&0x0d&\livelink{chap:classconstant}{constant}    \\
1959 \DWFORMstrp&0x0e&\livelink{chap:classstring}{string}         \\
1960 \DWFORMudata&0x0f&\livelink{chap:classconstant}{constant}         \\
1961 \DWFORMrefaddr&0x10&\livelink{chap:classreference}{reference}         \\
1962 \DWFORMrefone&0x11&\livelink{chap:classreference}{reference}          \\
1963 \DWFORMreftwo&0x12&\livelink{chap:classreference}{reference}         \\
1964 \DWFORMreffour&0x13&\livelink{chap:classreference}{reference}         \\
1965 \DWFORMrefeight&0x14&\livelink{chap:classreference}{reference} \\
1966 \DWFORMrefudata&0x15&\livelink{chap:classreference}{reference}  \\
1967 \DWFORMindirect&0x16&(see Section \refersec{datarep:abbreviationstables}) \\
1968 \DWFORMsecoffset{} &0x17& \CLASSaddrptr, \CLASSlineptr, \CLASSloclistptr, \\
1969                    &    & \CLASSmacptr, \CLASSrangelistptr, \CLASSstroffsetsptr \\
1970 \DWFORMexprloc{} &0x18&\livelink{chap:classexprloc}{exprloc} \\
1971 \DWFORMflagpresent{} &0x19&\livelink{chap:classflag}{flag} \\
1972 \DWFORMstrx{} \ddag &0x1a&\livelink{chap:classstring}{string} \\
1973 \DWFORMaddrx{} \ddag &0x1b&\livelink{chap:classaddress}{address} \\
1974 \DWFORMrefsup{}~\ddag &0x1c &\livelink{chap:classreference}{reference} \\
1975 \DWFORMstrpsup{}~\ddag &0x1d &\livelink{chap:classstring}{string} \\
1976 \DWFORMdatasixteen~\ddag &0x1e &\CLASSconstant \\
1977 \DWFORMrefsigeight &0x20 &\livelink{chap:classreference}{reference} \\
1978
1979 \end{longtable}
1980 \end{centering}
1981
1982
1983 \needlines{6}
1984 \section{Variable Length Data}
1985 \label{datarep:variablelengthdata}
1986 \addtoindexx{variable length data|see {LEB128}}
1987 Integers may be 
1988 \addtoindexx{Little Endian Base 128|see{LEB128}}
1989 encoded using \doublequote{Little Endian Base 128}
1990 \addtoindexx{little-endian encoding|see{endian attribute}}
1991 (LEB128) numbers. 
1992 \addtoindexx{LEB128}
1993 LEB128 is a scheme for encoding integers
1994 densely that exploits the assumption that most integers are
1995 small in magnitude.
1996
1997 \textit{This encoding is equally suitable whether the target machine
1998 architecture represents data in big\dash\ endian or little\dash endian
1999 order. It is \doublequote{little\dash endian} only in the sense that it
2000 avoids using space to represent the \doublequote{big} end of an
2001 unsigned integer, when the big end is all zeroes or sign
2002 extension bits.}
2003
2004 Unsigned LEB128\addtoindexx{LEB128!unsigned} (\addtoindex{ULEB128}) 
2005 numbers are encoded as follows:
2006 \addtoindexx{LEB128!unsigned, encoding as}
2007 start at the low order end of an unsigned integer and chop
2008 it into 7\dash bit chunks. Place each chunk into the low order 7
2009 bits of a byte. Typically, several of the high order bytes
2010 will be zero; discard them. Emit the remaining bytes in a
2011 stream, starting with the low order byte; set the high order
2012 bit on each byte except the last emitted byte. The high bit
2013 of zero on the last byte indicates to the decoder that it
2014 has encountered the last byte.
2015
2016 The integer zero is a special case, consisting of a single
2017 zero byte.
2018
2019 Table \refersec{tab:examplesofunsignedleb128encodings}
2020 gives some examples of unsigned LEB128\addtoindexx{LEB128!unsigned}
2021 numbers. The
2022 0x80 in each case is the high order bit of the byte, indicating
2023 that an additional byte follows.
2024
2025
2026 The encoding for signed, two\textquoteright s complement LEB128 
2027 (\addtoindex{SLEB128}) \addtoindexx{LEB128!signed, encoding as}
2028 numbers is similar, except that the criterion for discarding
2029 high order bytes is not whether they are zero, but whether
2030 they consist entirely of sign extension bits. Consider the
2031 32\dash bit integer -2. The three high level bytes of the number
2032 are sign extension, thus LEB128 would represent it as a single
2033 byte containing the low order 7 bits, with the high order
2034 bit cleared to indicate the end of the byte stream. Note
2035 that there is nothing within the LEB128 representation that
2036 indicates whether an encoded number is signed or unsigned. The
2037 decoder must know what type of number to expect. 
2038 Table \refersec{tab:examplesofunsignedleb128encodings}
2039 gives some examples of unsigned LEB128\addtoindexx{LEB128!unsigned}
2040 numbers and Table \refersec{tab:examplesofsignedleb128encodings}
2041 gives some examples of signed LEB128\addtoindexx{LEB128!signed} 
2042 numbers.
2043
2044 \textit{Appendix \refersec{app:variablelengthdataencodingdecodinginformative} 
2045 \addtoindexx{LEB128!examples}
2046 gives algorithms for encoding and decoding these forms.}
2047
2048 \needlines{8}
2049 \begin{centering}
2050 \setlength{\extrarowheight}{0.1cm}
2051 \begin{longtable}{c|c|c}
2052   \caption{Examples of unsigned LEB128 encodings}
2053   \label{tab:examplesofunsignedleb128encodings} 
2054   \addtoindexx{LEB128 encoding!examples}\addtoindexx{LEB128!unsigned} \\
2055   \hline \bfseries Number&\bfseries First byte &\bfseries Second byte \\ \hline
2056 \endfirsthead
2057   \bfseries Number&\bfseries First Byte &\bfseries Second byte\\ \hline
2058 \endhead
2059   \hline \emph{Continued on next page}
2060 \endfoot
2061   \hline
2062 \endlastfoot
2063 2&2& --- \\
2064 127&127& ---\\
2065 128& 0 + 0x80 & 1 \\
2066 129& 1 + 0x80 & 1 \\
2067 %130& 2 + 0x80 & 1 \\
2068 12857& 57 + 0x80 & 100 \\
2069 \end{longtable}
2070 \end{centering}
2071
2072
2073
2074 \begin{centering}
2075 \setlength{\extrarowheight}{0.1cm}
2076 \begin{longtable}{c|c|c}
2077   \caption{Examples of signed LEB128 encodings} 
2078   \label{tab:examplesofsignedleb128encodings} 
2079   \addtoindexx{LEB128!signed} \\
2080   \hline \bfseries Number&\bfseries First byte &\bfseries Second byte \\ \hline
2081 \endfirsthead
2082   \bfseries Number&\bfseries First Byte &\bfseries Second byte\\ \hline
2083 \endhead
2084   \hline \emph{Continued on next page}
2085 \endfoot
2086   \hline
2087 \endlastfoot
2088 2&2& --- \\
2089 -2&0x7e& ---\\
2090 127& 127 + 0x80 & 0 \\
2091 -127& 1 + 0x80 & 0x7f \\
2092 128& 0 + 0x80 & 1 \\
2093 -128& 0 + 0x80 & 0x7f \\
2094 129& 1 + 0x80 & 1 \\
2095 -129& 0x7f + 0x80 & 0x7e \\
2096
2097 \end{longtable}
2098 \end{centering}
2099
2100
2101
2102 \section{DWARF Expressions and Location Descriptions}
2103 \label{datarep:dwarfexpressionsandlocationdescriptions}
2104 \subsection{DWARF Expressions}
2105 \label{datarep:dwarfexpressions}
2106
2107
2108 \addtoindexx{DWARF expression!operator encoding}
2109 DWARF expression is stored in a \nolink{block} of contiguous
2110 bytes. The bytes form a sequence of operations. Each operation
2111 is a 1\dash byte code that identifies that operation, followed by
2112 zero or more bytes of additional data. The encodings for the
2113 operations are described in 
2114 Table \refersec{tab:dwarfoperationencodings}. 
2115
2116 \begin{centering}
2117 \setlength{\extrarowheight}{0.1cm}
2118 \begin{longtable}{l|c|c|l}
2119   \caption{DWARF operation encodings} \label{tab:dwarfoperationencodings} \\
2120   \hline & &\bfseries No. of  &\\ 
2121   \bfseries Operation&\bfseries Code &\bfseries Operands &\bfseries Notes\\ \hline
2122 \endfirsthead
2123    & &\bfseries No. of &\\ 
2124   \bfseries Operation&\bfseries Code &\bfseries  Operands &\bfseries Notes\\ \hline
2125 \endhead
2126   \hline \emph{Continued on next page}
2127 \endfoot
2128   \hline \ddag\ \textit{New in DWARF Version 5}
2129 \endlastfoot
2130
2131 \DWOPaddr&0x03&1 & constant address  \\ 
2132 & & &(size is target specific) \\
2133
2134 \DWOPderef&0x06&0 & \\
2135
2136 \DWOPconstoneu&0x08&1&1\dash byte constant  \\
2137 \DWOPconstones&0x09&1&1\dash byte constant   \\
2138 \DWOPconsttwou&0x0a&1&2\dash byte constant   \\
2139 \DWOPconsttwos&0x0b&1&2\dash byte constant   \\
2140 \DWOPconstfouru&0x0c&1&4\dash byte constant    \\
2141 \DWOPconstfours&0x0d&1&4\dash byte constant   \\
2142 \DWOPconsteightu&0x0e&1&8\dash byte constant   \\
2143 \DWOPconsteights&0x0f&1&8\dash byte constant   \\
2144 \DWOPconstu&0x10&1&ULEB128 constant   \\
2145 \DWOPconsts&0x11&1&SLEB128 constant   \\
2146 \DWOPdup&0x12&0 &   \\
2147 \DWOPdrop&0x13&0  &   \\
2148 \DWOPover&0x14&0 &   \\
2149 \DWOPpick&0x15&1&1\dash byte stack index   \\
2150 \DWOPswap&0x16&0 &   \\
2151 \DWOProt&0x17&0 &   \\
2152 \DWOPxderef&0x18&0 &   \\
2153 \DWOPabs&0x19&0 &   \\
2154 \DWOPand&0x1a&0 &   \\
2155 \DWOPdiv&0x1b&0 &   \\
2156 \DWOPminus&0x1c&0 & \\
2157 \DWOPmod&0x1d&0 & \\
2158 \DWOPmul&0x1e&0 & \\
2159 \DWOPneg&0x1f&0 & \\
2160 \DWOPnot&0x20&0 & \\
2161 \DWOPor&0x21&0 & \\
2162 \DWOPplus&0x22&0 & \\
2163 \DWOPplusuconst&0x23&1&ULEB128 addend \\
2164 \DWOPshl&0x24&0 & \\
2165 \DWOPshr&0x25&0 & \\
2166 \DWOPshra&0x26&0 & \\
2167 \DWOPxor&0x27&0 & \\
2168
2169 \DWOPbra&0x28&1 & signed 2\dash byte constant \\
2170 \DWOPeq&0x29&0 & \\
2171 \DWOPge&0x2a&0 & \\
2172 \DWOPgt&0x2b&0 & \\
2173 \DWOPle&0x2c&0 & \\
2174 \DWOPlt&0x2d&0  & \\
2175 \DWOPne&0x2e&0 & \\
2176 \DWOPskip&0x2f&1&signed 2\dash byte constant \\ \hline
2177
2178 \DWOPlitzero & 0x30 & 0 & \\
2179 \DWOPlitone  & 0x31 & 0& literals 0 .. 31 = \\
2180 \ldots & & &\hspace{0.3cm}(\DWOPlitzero{} + literal) \\
2181 \DWOPlitthirtyone & 0x4f & 0 & \\ \hline
2182
2183 \DWOPregzero & 0x50 & 0 & \\*
2184 \DWOPregone  & 0x51 & 0&reg 0 .. 31 = \\*
2185 \ldots & & &\hspace{0.3cm}(\DWOPregzero{} + regnum) \\*
2186 \DWOPregthirtyone & 0x6f & 0 & \\ \hline
2187
2188 \DWOPbregzero & 0x70 &1 & SLEB128 offset \\*
2189 \DWOPbregone  & 0x71 & 1 &base register 0 .. 31 = \\*
2190 ... & &              &\hspace{0.3cm}(\DWOPbregzero{} + regnum) \\*
2191 \DWOPbregthirtyone & 0x8f & 1 & \\ \hline
2192
2193 \DWOPregx{} & 0x90 &1&ULEB128 register \\
2194 \DWOPfbreg{} & 0x91&1&SLEB128 offset \\
2195 \DWOPbregx{} & 0x92&2 &ULEB128 register, \\*
2196                   & & &SLEB128 offset \\
2197 \DWOPpiece{} & 0x93 &1& ULEB128 size of piece \\
2198 \DWOPderefsize{} & 0x94 &1& 1-byte size of data retrieved \\
2199 \DWOPxderefsize{} & 0x95&1&1-byte size of data retrieved \\
2200 \DWOPnop{} & 0x96 &0& \\
2201
2202 \DWOPpushobjectaddress&0x97&0 &  \\
2203 \DWOPcalltwo&0x98&1& 2\dash byte offset of DIE \\
2204 \DWOPcallfour&0x99&1& 4\dash byte offset of DIE \\
2205 \DWOPcallref&0x9a&1& 4\dash\  or 8\dash byte offset of DIE \\
2206 \DWOPformtlsaddress&0x9b &0& \\
2207 \DWOPcallframecfa{} &0x9c &0& \\
2208 \DWOPbitpiece&0x9d &2&ULEB128 size, \\*
2209                    &&&ULEB128 offset\\
2210 \DWOPimplicitvalue{} &0x9e &2&ULEB128 size, \\*
2211                    &&&\nolink{block} of that size\\
2212 \DWOPstackvalue{} &0x9f &0& \\
2213 \DWOPimplicitpointer{}~\ddag &0xa0& 2 &4- or 8-byte offset of DIE, \\*
2214                               &&&SLEB128 constant offset \\
2215 \DWOPaddrx~\ddag&0xa1&1&ULEB128 indirect address \\
2216 \DWOPconstx~\ddag&0xa2&1&ULEB128 indirect constant   \\
2217 \DWOPentryvalue~\ddag&0xa3&2&ULEB128 size, \\*
2218                    &&&\nolink{block} of that size\\
2219 \DWOPconsttype~\ddag    & 0xa4 & 3 & ULEB128 type entry offset,\\*
2220                                & & & 1-byte size, \\*
2221                                & & & constant value \\
2222 \DWOPregvaltype~\ddag   & 0xa5 & 2 & ULEB128 register number, \\*
2223                                  &&& ULEB128 constant offset \\
2224 \DWOPdereftype~\ddag    & 0xa6 & 2 & 1-byte size, \\*
2225                                  &&& ULEB128 type entry offset \\
2226 \DWOPxdereftype~\ddag   & 0xa7 & 2 & 1-byte size, \\*
2227                                  &&& ULEB128 type entry offset \\
2228 \DWOPconvert~\ddag      & 0xa8 & 1 & ULEB128 type entry offset \\
2229 \DWOPreinterpret~\ddag  & 0xa9 & 1 & ULEB128 type entry offset \\
2230 \DWOPlouser{} &0xe0 && \\
2231 \DWOPhiuser{} &\xff && \\
2232
2233 \end{longtable}
2234 \end{centering}
2235
2236
2237 \subsection{Location Descriptions}
2238 \label{datarep:locationdescriptions}
2239
2240 A location description is used to compute the 
2241 location of a variable or other entity.
2242
2243 \subsection{Location Lists}
2244 \label{datarep:locationlists}
2245
2246 Each entry in a \addtoindex{location list} is either a location list entry,
2247 a base address selection entry, or an 
2248 \addtoindexx{end of list entry!in location list}
2249 end of list entry.
2250
2251 \needlines{6}
2252 \subsubsection{Location List Entries in Non-Split Objects}
2253 A \addtoindex{location list} entry consists of two address offsets followed
2254 by an unsigned 2\dash byte length, followed by a block of contiguous bytes
2255 that contains a DWARF location description. The length
2256 specifies the number of bytes in that block. The two offsets
2257 are the same size as an address on the target machine.
2258
2259 \needlines{5}
2260 A base address selection entry and an 
2261 \addtoindexx{end of list entry!in location list}
2262 end of list entry each
2263 consist of two (constant or relocated) address offsets. The two
2264 offsets are the same size as an address on the target machine.
2265
2266 For a \addtoindex{location list} to be specified, the base address of
2267 \addtoindexx{base address selection entry!in location list}
2268 the corresponding compilation unit must be defined 
2269 (see Section \refersec{chap:normalandpartialcompilationunitentries}).
2270
2271 \subsubsection{Location List Entries in Split Objects}
2272 \label{datarep:locationlistentriesinsplitobjects}
2273 An alternate form for location list entries is used in split objects. 
2274 Each entry begins with an unsigned 1-byte code that indicates the kind of entry
2275 that follows. The encodings for these constants are given in
2276 Table \refersec{tab:locationlistentryencodingvalues}.
2277
2278 \begin{centering}
2279 \setlength{\extrarowheight}{0.1cm}
2280 \begin{longtable}{l|c}
2281   \caption{Location list entry encoding values} \label{tab:locationlistentryencodingvalues} \\
2282   \hline \bfseries Location list entry encoding name&\bfseries Value \\ \hline
2283 \endfirsthead
2284   \bfseries Location list entry encoding name&\bfseries Value\\ \hline
2285 \endhead
2286   \hline \emph{Continued on next page}
2287 \endfoot
2288   \hline
2289 \endlastfoot
2290 \DWLLEendoflistentry & 0x0 \\
2291 \DWLLEbaseaddressselectionentry & 0x01 \\
2292 \DWLLEstartendentry & 0x02 \\
2293 \DWLLEstartlengthentry & 0x03 \\
2294 \DWLLEoffsetpairentry & 0x04 \\
2295 \end{longtable}
2296 \end{centering}
2297
2298 \section{Base Type Attribute Encodings}
2299 \label{datarep:basetypeattributeencodings}
2300
2301 The encodings of the 
2302 \hypertarget{chap:DWATencodingencodingofbasetype}{}
2303 constants used in 
2304 \addtoindexx{encoding attribute}
2305 the 
2306 \DWATencoding{}
2307 attribute are given in 
2308 Table \refersec{tab:basetypeencodingvalues}
2309
2310 \begin{centering}
2311 \setlength{\extrarowheight}{0.1cm}
2312 \begin{longtable}{l|c}
2313   \caption{Base type encoding values} \label{tab:basetypeencodingvalues} \\
2314   \hline \bfseries Base type encoding name&\bfseries Value \\ \hline
2315 \endfirsthead
2316   \bfseries Base type encoding name&\bfseries Value\\ \hline
2317 \endhead
2318   \hline \emph{Continued on next page}
2319 \endfoot
2320   \hline
2321   \ddag \ \textit{New in \DWARFVersionV}
2322 \endlastfoot
2323 \DWATEaddress&0x01 \\
2324 \DWATEboolean&0x02 \\
2325 \DWATEcomplexfloat&0x03 \\
2326 \DWATEfloat&0x04 \\
2327 \DWATEsigned&0x05 \\
2328 \DWATEsignedchar&0x06 \\
2329 \DWATEunsigned&0x07 \\
2330 \DWATEunsignedchar&0x08 \\
2331 \DWATEimaginaryfloat&0x09 \\
2332 \DWATEpackeddecimal&0x0a \\
2333 \DWATEnumericstring&0x0b \\
2334 \DWATEedited&0x0c \\
2335 \DWATEsignedfixed&0x0d \\
2336 \DWATEunsignedfixed&0x0e \\
2337 \DWATEdecimalfloat & 0x0f \\
2338 \DWATEUTF{} & 0x10 \\
2339 \DWATEUCS~\ddag   & 0x11 \\
2340 \DWATEASCII~\ddag & 0x12 \\
2341 \DWATElouser{} & 0x80 \\
2342 \DWATEhiuser{} & \xff \\
2343 \end{longtable}
2344 \end{centering}
2345
2346 \needlines{4}
2347 The encodings of the constants used in the 
2348 \DWATdecimalsign{} attribute 
2349 are given in 
2350 Table \refersec{tab:decimalsignencodings}.
2351
2352 \begin{centering}
2353 \setlength{\extrarowheight}{0.1cm}
2354 \begin{longtable}{l|c}
2355   \caption{Decimal sign encodings} \label{tab:decimalsignencodings} \\
2356   \hline \bfseries Decimal sign code name&\bfseries Value \\ \hline
2357 \endfirsthead
2358   \bfseries Decimal sign code name&\bfseries Value\\ \hline
2359 \endhead
2360   \hline \emph{Continued on next page}
2361 \endfoot
2362   \hline
2363 \endlastfoot
2364
2365 \DWDSunsigned{} & 0x01  \\
2366 \DWDSleadingoverpunch{} & 0x02  \\
2367 \DWDStrailingoverpunch{} & 0x03  \\
2368 \DWDSleadingseparate{} & 0x04  \\
2369 \DWDStrailingseparate{} & 0x05  \\
2370
2371 \end{longtable}
2372 \end{centering}
2373
2374 \needlines{9}
2375 The encodings of the constants used in the 
2376 \DWATendianity{} attribute are given in 
2377 Table \refersec{tab:endianityencodings}.
2378
2379 \begin{centering}
2380 \setlength{\extrarowheight}{0.1cm}
2381 \begin{longtable}{l|c}
2382   \caption{Endianity encodings} \label{tab:endianityencodings}\\
2383   \hline \bfseries Endian code name&\bfseries Value \\ \hline
2384 \endfirsthead
2385   \bfseries Endian code name&\bfseries Value\\ \hline
2386 \endhead
2387   \hline \emph{Continued on next page}
2388 \endfoot
2389   \hline
2390 \endlastfoot
2391
2392 \DWENDdefault{}  & 0x00 \\
2393 \DWENDbig{} & 0x01 \\
2394 \DWENDlittle{} & 0x02 \\
2395 \DWENDlouser{} & 0x40 \\
2396 \DWENDhiuser{} & \xff \\
2397
2398 \end{longtable}
2399 \end{centering}
2400
2401 \section{Accessibility Codes}
2402 \label{datarep:accessibilitycodes}
2403 The encodings of the constants used in the 
2404 \DWATaccessibility{}
2405 attribute 
2406 \addtoindexx{accessibility attribute}
2407 are given in 
2408 Table \refersec{tab:accessibilityencodings}.
2409
2410 \begin{centering}
2411 \setlength{\extrarowheight}{0.1cm}
2412 \begin{longtable}{l|c}
2413   \caption{Accessibility encodings} \label{tab:accessibilityencodings}\\
2414   \hline \bfseries Accessibility code name&\bfseries Value \\ \hline
2415 \endfirsthead
2416   \bfseries Accessibility code name&\bfseries Value\\ \hline
2417 \endhead
2418   \hline \emph{Continued on next page}
2419 \endfoot
2420   \hline
2421 \endlastfoot
2422
2423 \DWACCESSpublic&0x01  \\
2424 \DWACCESSprotected&0x02 \\
2425 \DWACCESSprivate&0x03 \\
2426
2427 \end{longtable}
2428 \end{centering}
2429
2430
2431 \section{Visibility Codes}
2432 \label{datarep:visibilitycodes}
2433 The encodings of the constants used in the 
2434 \DWATvisibility{} attribute are given in 
2435 Table \refersec{tab:visibilityencodings}. 
2436
2437 \begin{centering}
2438 \setlength{\extrarowheight}{0.1cm}
2439 \begin{longtable}{l|c}
2440   \caption{Visibility encodings} \label{tab:visibilityencodings}\\
2441   \hline \bfseries Visibility code name&\bfseries Value \\ \hline
2442 \endfirsthead
2443   \bfseries Visibility code name&\bfseries Value\\ \hline
2444 \endhead
2445   \hline \emph{Continued on next page}
2446 \endfoot
2447   \hline
2448 \endlastfoot
2449
2450 \DWVISlocal&0x01 \\
2451 \DWVISexported&0x02 \\
2452 \DWVISqualified&0x03 \\
2453
2454 \end{longtable}
2455 \end{centering}
2456
2457 \section{Virtuality Codes}
2458 \label{datarep:vitualitycodes}
2459
2460 The encodings of the constants used in the 
2461 \DWATvirtuality{} attribute are given in 
2462 Table \refersec{tab:virtualityencodings}.
2463
2464 \begin{centering}
2465 \setlength{\extrarowheight}{0.1cm}
2466 \begin{longtable}{l|c}
2467   \caption{Virtuality encodings} \label{tab:virtualityencodings}\\
2468   \hline \bfseries Virtuality code name&\bfseries Value \\ \hline
2469 \endfirsthead
2470   \bfseries Virtuality code name&\bfseries Value\\ \hline
2471 \endhead
2472   \hline \emph{Continued on next page}
2473 \endfoot
2474   \hline
2475 \endlastfoot
2476
2477 \DWVIRTUALITYnone&0x00 \\
2478 \DWVIRTUALITYvirtual&0x01 \\
2479 \DWVIRTUALITYpurevirtual&0x02 \\
2480
2481
2482
2483 \end{longtable}
2484 \end{centering}
2485
2486 The value 
2487 \DWVIRTUALITYnone{} is equivalent to the absence of the 
2488 \DWATvirtuality{}
2489 attribute.
2490
2491 \section{Source Languages}
2492 \label{datarep:sourcelanguages}
2493
2494 The encodings of the constants used 
2495 \addtoindexx{language attribute, encoding}
2496 in 
2497 \addtoindexx{language name encoding}
2498 the 
2499 \DWATlanguage{}
2500 attribute are given in 
2501 Table \refersec{tab:languageencodings}.
2502 Names marked with
2503 % If we don't force a following space it looks odd
2504 \dag \  
2505 and their associated values are reserved, but the
2506 languages they represent are not well supported. 
2507 Table \refersec{tab:languageencodings}
2508 also shows the 
2509 \addtoindexx{lower bound attribute!default}
2510 default lower bound, if any, assumed for
2511 an omitted \DWATlowerbound{} attribute in the context of a
2512 \DWTAGsubrangetype{} debugging information entry for each
2513 defined language.
2514
2515 \begin{centering}
2516 \setlength{\extrarowheight}{0.1cm}
2517 \begin{longtable}{l|c|c}
2518   \caption{Language encodings} \label{tab:languageencodings}\\
2519   \hline \bfseries Language name&\bfseries Value &\bfseries Default Lower Bound \\ \hline
2520 \endfirsthead
2521   \bfseries Language name&\bfseries Value &\bfseries Default Lower Bound\\ \hline
2522 \endhead
2523   \hline \emph{Continued on next page}
2524 \endfoot
2525   \hline
2526   \dag \ \textit{See text} \\ \ddag \ \textit{New in \DWARFVersionV}
2527 \endlastfoot
2528 \addtoindexx{ISO-defined language names}
2529
2530 \DWLANGCeightynine &0x0001 &0 \addtoindexx{C:1989 (ISO)}      \\
2531 \DWLANGC{} &0x0002 &0  \addtoindexx{C!non-standard} \\
2532 \DWLANGAdaeightythree{} \dag &0x0003 &1  \addtoindexx{Ada:1983 (ISO)}     \\
2533 \DWLANGCplusplus{} &0x0004 &0 \addtoindexx{C++:1998 (ISO)}      \\
2534 \DWLANGCobolseventyfour{} \dag &0x0005 &1 \addtoindexx{COBOL:1974 (ISO)}      \\
2535 \DWLANGCoboleightyfive{} \dag &0x0006 &1 \addtoindexx{COBOL:1985 (ISO)}      \\
2536 \DWLANGFortranseventyseven &0x0007 &1 \addtoindexx{FORTRAN:1977 (ISO)}      \\
2537 \DWLANGFortranninety &0x0008 &1 \addtoindexx{Fortran:1990 (ISO)}      \\
2538 \DWLANGPascaleightythree &0x0009 &1 \addtoindexx{Pascal:1983 (ISO)}      \\
2539 \DWLANGModulatwo &0x000a &1 \addtoindexx{Modula-2:1996 (ISO)}      \\
2540 \DWLANGJava &0x000b &0 \addtoindexx{Java}      \\
2541 \DWLANGCninetynine &0x000c &0 \addtoindexx{C:1999 (ISO)}      \\
2542 \DWLANGAdaninetyfive{} \dag &0x000d &1 \addtoindexx{Ada:1995 (ISO)}      \\
2543 \DWLANGFortranninetyfive &0x000e &1 \addtoindexx{Fortran:1995 (ISO)}      \\
2544 \DWLANGPLI{} \dag &0x000f &1 \addtoindexx{PL/I:1976 (ANSI)}\\
2545 \DWLANGObjC{} &0x0010 &0 \addtoindexx{Objective C}\\
2546 \DWLANGObjCplusplus{} &0x0011 &0 \addtoindexx{Objective C++}\\
2547 \DWLANGUPC{} &0x0012 &0 \addtoindexx{UPC}\\
2548 \DWLANGD{} &0x0013 &0 \addtoindexx{D language}\\
2549 \DWLANGPython{} \dag &0x0014 &0 \addtoindexx{Python}\\
2550 \DWLANGOpenCL{} \dag \ddag &0x0015 &0 \addtoindexx{OpenCL}\\
2551 \DWLANGGo{} \dag \ddag &0x0016 &0 \addtoindexx{Go}\\
2552 \DWLANGModulathree{} \dag \ddag &0x0017 &1 \addtoindexx{Modula-3}\\
2553 \DWLANGHaskell{} \dag \ddag &0x0018 &0 \addtoindexx{Haskell}\\
2554 \DWLANGCpluspluszerothree{} \ddag &0x0019 &0 \addtoindexx{C++:2003 (ISO)}\\
2555 \DWLANGCpluspluseleven{} \ddag &0x001a &0 \addtoindexx{C++:2011 (ISO)}\\
2556 \DWLANGOCaml{} \ddag &0x001b &0 \addtoindexx{OCaml}\\
2557 \DWLANGRust{} \ddag &0x001c &0 \addtoindexx{Rust}\\
2558 \DWLANGCeleven{} \ddag &0x001d &0 \addtoindexx{C:2011 (ISO)}\\
2559 \DWLANGSwift{} \ddag &0x001e &0 \addtoindexx{Swift} \\
2560 \DWLANGJulia{} \ddag &0x001f &1 \addtoindexx{Julia} \\
2561 \DWLANGDylan{} \ddag &0x0020 &0 \addtoindexx{Dylan} \\
2562 \DWLANGCplusplusfourteen{}~\ddag &0x0021 &0 \addtoindexx{C++:2014 (ISO)}     \\
2563 \DWLANGFortranzerothree{}~\ddag  &0x0022 &1 \addtoindexx{Fortran:2004 (ISO)} \\
2564 \DWLANGFortranzeroeight{}~\ddag  &0x0023 &1 \addtoindexx{Fortran:2010 (ISO)} \\
2565 \DWLANGlouser{} &0x8000 & \\
2566 \DWLANGhiuser{} &\xffff & \\
2567
2568 \end{longtable}
2569 \end{centering}
2570
2571 \section{Address Class Encodings}
2572 \label{datarep:addressclassencodings}
2573
2574 The value of the common 
2575 \addtoindex{address class} encoding 
2576 \DWADDRnone{} is 0.
2577
2578 \needlines{7}
2579 \section{Identifier Case}
2580 \label{datarep:identifiercase}
2581
2582 The encodings of the constants used in the 
2583 \DWATidentifiercase{} attribute are given in 
2584 Table \refersec{tab:identifiercaseencodings}.
2585
2586 \begin{centering}
2587 \setlength{\extrarowheight}{0.1cm}
2588 \begin{longtable}{l|c}
2589   \caption{Identifier case encodings} \label{tab:identifiercaseencodings}\\
2590   \hline \bfseries Identifier case name&\bfseries Value \\ \hline
2591 \endfirsthead
2592   \bfseries Identifier case name&\bfseries Value\\ \hline
2593 \endhead
2594   \hline \emph{Continued on next page}
2595 \endfoot
2596   \hline
2597 \endlastfoot
2598 \DWIDcasesensitive&0x00     \\
2599 \DWIDupcase&0x01     \\
2600 \DWIDdowncase&0x02     \\
2601 \DWIDcaseinsensitive&0x03     \\
2602 \end{longtable}
2603 \end{centering}
2604
2605 \section{Calling Convention Encodings}
2606 \label{datarep:callingconventionencodings}
2607 The encodings of the constants used in the 
2608 \DWATcallingconvention{} attribute are given in
2609 Table \refersec{tab:callingconventionencodings}.
2610
2611 \begin{centering}
2612 \setlength{\extrarowheight}{0.1cm}
2613 \begin{longtable}{l|c}
2614   \caption{Calling convention encodings} \label{tab:callingconventionencodings}\\
2615   \hline \bfseries Calling convention name&\bfseries Value \\ \hline
2616 \endfirsthead
2617   \bfseries Calling convention name&\bfseries Value\\ \hline
2618 \endhead
2619   \hline \emph{Continued on next page}
2620 \endfoot
2621   \hline
2622 \endlastfoot
2623
2624 \DWCCnormal&0x01     \\
2625 \DWCCprogram&0x02     \\
2626 \DWCCnocall&0x03     \\
2627 \DWCClouser&0x40     \\
2628 \DWCChiuser&\xff     \\
2629
2630 \end{longtable}
2631 \end{centering}
2632
2633 \needlines{12}
2634 \section{Inline Codes}
2635 \label{datarep:inlinecodes}
2636
2637 The encodings of the constants used in 
2638 \addtoindexx{inline attribute}
2639 the 
2640 \DWATinline{} attribute are given in 
2641 Table \refersec{tab:inlineencodings}.
2642
2643 \needlines{8}
2644 \begin{centering}
2645 \setlength{\extrarowheight}{0.1cm}
2646 \begin{longtable}{l|c}
2647   \caption{Inline encodings} \label{tab:inlineencodings}\\
2648   \hline \bfseries Inline code name&\bfseries Value \\ \hline
2649 \endfirsthead
2650   \bfseries Inline Code name&\bfseries Value\\ \hline
2651 \endhead
2652   \hline \emph{Continued on next page}
2653 \endfoot
2654   \hline
2655 \endlastfoot
2656
2657 \DWINLnotinlined&0x00      \\
2658 \DWINLinlined&0x01      \\
2659 \DWINLdeclarednotinlined&0x02      \\
2660 \DWINLdeclaredinlined&0x03      \\
2661
2662 \end{longtable}
2663 \end{centering}
2664
2665 % this clearpage is ugly, but the following table came
2666 % out oddly without it.
2667
2668 \section{Array Ordering}
2669 \label{datarep:arrayordering}
2670
2671 The encodings of the constants used in the 
2672 \DWATordering{} attribute are given in 
2673 Table \refersec{tab:orderingencodings}.
2674
2675 \needlines{8}
2676 \begin{centering}
2677 \setlength{\extrarowheight}{0.1cm}
2678 \begin{longtable}{l|c}
2679   \caption{Ordering encodings} \label{tab:orderingencodings}\\
2680   \hline \bfseries Ordering name&\bfseries Value \\ \hline
2681 \endfirsthead
2682   \bfseries Ordering name&\bfseries Value\\ \hline
2683 \endhead
2684   \hline \emph{Continued on next page}
2685 \endfoot
2686   \hline
2687 \endlastfoot
2688
2689 \DWORDrowmajor&0x00  \\
2690 \DWORDcolmajor&0x01  \\
2691
2692 \end{longtable}
2693 \end{centering}
2694
2695
2696 \section{Discriminant Lists}
2697 \label{datarep:discriminantlists}
2698
2699 The descriptors used in 
2700 \addtoindexx{discriminant list attribute}
2701 the 
2702 \DWATdiscrlist{} attribute are 
2703 encoded as 1\dash byte constants. The
2704 defined values are given in 
2705 Table \refersec{tab:discriminantdescriptorencodings}.
2706
2707 % Odd that the 'Name' field capitalized here, it is not caps elsewhere.
2708 \begin{centering}
2709 \setlength{\extrarowheight}{0.1cm}
2710 \begin{longtable}{l|c}
2711   \caption{Discriminant descriptor encodings} \label{tab:discriminantdescriptorencodings}\\
2712   \hline \bfseries Descriptor name&\bfseries Value \\ \hline
2713 \endfirsthead
2714   \bfseries Descriptor name&\bfseries Value\\ \hline
2715 \endhead
2716   \hline \emph{Continued on next page}
2717 \endfoot
2718   \hline
2719 \endlastfoot
2720
2721 \DWDSClabel&0x00 \\
2722 \DWDSCrange&0x01 \\
2723
2724 \end{longtable}
2725 \end{centering}
2726
2727 \needlines{6}
2728 \section{Name Lookup Tables}
2729 \label{datarep:namelookuptables}
2730
2731 Each set of entries in the table of global names contained
2732 in the \dotdebugpubnames{} and 
2733 \dotdebugpubtypes{} sections begins
2734 with a header consisting of:
2735 \begin{enumerate}[1. ]
2736
2737 \item \texttt{unit\_length} (\livelink{datarep:initiallengthvalues}{initial length}) \\
2738 \addttindexx{unit\_length}
2739 A 4\dash byte or 12\dash byte unsigned integer 
2740 \addtoindexx{initial length}
2741 representing the length
2742 of the \dotdebuginfo{}
2743 contribution for that compilation unit,
2744 not including the length field itself. In the 
2745 \thirtytwobitdwarfformat, this is a 4\dash byte unsigned integer (which must be less
2746 than \xfffffffzero); in the \sixtyfourbitdwarfformat, this consists
2747 of the 4\dash byte value \wffffffff followed by an 8\dash byte unsigned
2748 integer that gives the actual length
2749 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
2750
2751 \item  version (\addtoindex{uhalf}) \\
2752 A 2\dash byte unsigned integer representing the version of the
2753 DWARF information for the name lookup table
2754 \addtoindexx{version number!name lookup table}
2755 (see Appendix \refersec{app:dwarfsectionversionnumbersinformative}).
2756 The value in this field is 2.
2757
2758 \needlines{4}
2759 \item \addttindex{debug\_info\_offset} (section offset) \\
2760
2761 \addtoindexx{section offset!in name lookup table set of entries}
2762 4\dash byte or 8\dash byte 
2763 offset into the 
2764 \dotdebuginfo{} or \dotdebuginfodwo{}
2765 section of the compilation unit header.
2766 In the \thirtytwobitdwarfformat, this is a 4\dash byte unsigned offset;
2767 in the \sixtyfourbitdwarfformat, this is an 8\dash byte unsigned offsets
2768 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
2769
2770 \item  \addttindex{debug\_info\_length} (\livelink{datarep:sectionoffsetlength}{section length}) \\
2771 \addtoindexx{section length!in .debug\_pubnames header}
2772
2773 \addtoindexx{section length!in .debug\_pubtypes header}
2774 4\dash byte or 8\dash byte length containing the size in bytes of the
2775 contents of the \dotdebuginfo{}
2776 section generated to represent
2777 this compilation unit. In the \thirtytwobitdwarfformat, this is
2778 a 4\dash byte unsigned length; in the \sixtyfourbitdwarfformat, this
2779 is an 8-byte unsigned length 
2780 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
2781
2782
2783 \end{enumerate}
2784
2785 This header is followed by a series of tuples. Each tuple
2786 consists of a 4\dash byte or 8\dash byte offset followed by a string
2787 of non\dash null bytes terminated by one null byte. 
2788 In the 32\dash bit
2789 DWARF format, this is a 4\dash byte offset; in the 64\dash bit DWARF
2790 format, it is an 8\dash byte offset. 
2791 Each set is terminated by an
2792 offset containing the value 0.
2793
2794
2795 \needlines{10}
2796 \section{Address Range Table}
2797 \label{datarep:addrssrangetable}
2798
2799 Each set of entries in the table of address ranges contained
2800 in the \dotdebugaranges{}
2801 section begins with a header containing:
2802 \begin{enumerate}[1. ]
2803 % FIXME The unit length text is not fully consistent across
2804 % these tables.
2805
2806 \item \texttt{unit\_length} (\livelink{datarep:initiallengthvalues}{initial length}) \\
2807 \addttindexx{unit\_length}
2808 A 4-byte or 12-byte length containing the length of the
2809 \addtoindexx{initial length}
2810 set of entries for this compilation unit, not including the
2811 length field itself. In the \thirtytwobitdwarfformat, this is a
2812 4-byte unsigned integer (which must be less than \xfffffffzero);
2813 in the \sixtyfourbitdwarfformat, this consists of the 4-byte value
2814 \wffffffff followed by an 8-byte unsigned integer that gives
2815 the actual length 
2816 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
2817
2818 \item version (\addtoindex{uhalf}) \\
2819 A 2\dash byte version identifier representing the version of the
2820 DWARF information for the address range table
2821 (see Appendix \refersec{app:dwarfsectionversionnumbersinformative}).
2822 This value in this field \addtoindexx{version number!address range table} is 2. 
2823  
2824
2825 \item debug\_info\_offset (\livelink{datarep:sectionoffsetlength}{section offset}) \\
2826
2827 \addtoindexx{section offset!in .debug\_aranges header}
2828 4\dash byte or 8\dash byte offset into the 
2829 \dotdebuginfo{} section of
2830 the compilation unit header. In the \thirtytwobitdwarfformat,
2831 this is a 4\dash byte unsigned offset; in the \sixtyfourbitdwarfformat,
2832 this is an 8\dash byte unsigned offset 
2833 (see Section \refersec{datarep:32bitand64bitdwarfformats}).
2834
2835 \item \texttt{address\_size} (\addtoindex{ubyte}) \\
2836 A 1\dash byte unsigned integer containing the size in bytes of an
2837 \addttindexx{address\_size}
2838 address 
2839 \addtoindexx{size of an address}
2840 (or the offset portion of an address for segmented
2841 \addtoindexx{address space!segmented}
2842 addressing) on the target system.
2843
2844 \item \texttt{segment\_size} (\addtoindex{ubyte}) \\
2845
2846 \addttindexx{segment\_size}
2847 1\dash byte unsigned integer containing the size in bytes of a
2848 segment selector on the target system.
2849
2850 \end{enumerate}
2851
2852 This header is followed by a series of tuples. Each tuple
2853 consists of a segment, an address and a length. 
2854 The segment
2855 size is given by the \addttindex{segment\_size} field of the header; the
2856 address and length size are each given by the \addttindex{address\_size}
2857 field of the header. 
2858 The first tuple following the header in
2859 each set begins at an offset that is a multiple of the size
2860 of a single tuple (that is, the size of a segment selector
2861 plus twice the \addtoindex{size of an address}). 
2862 The header is padded, if
2863 necessary, to that boundary. Each set of tuples is terminated
2864 by a 0 for the segment, a 0 for the address and 0 for the
2865 length. If the \addttindex{segment\_size} field in the header is zero,
2866 the segment selectors are omitted from all tuples, including
2867 the terminating tuple.
2868
2869
2870 \section{Line Number Information}
2871 \label{datarep:linenumberinformation}
2872
2873 The \addtoindexi{version number}{version number!line number information}
2874 in the line number program header is \versiondotdebugline{}
2875 (see Appendix \refersec{app:dwarfsectionversionnumbersinformative}). 
2876
2877 The boolean values \doublequote{true} and \doublequote{false} 
2878 used by the line number information program are encoded
2879 as a single byte containing the value 0 
2880 for \doublequote{false,} and a non-zero value for \doublequote{true.}
2881
2882 The encodings for the standard opcodes are given in 
2883 \addtoindexx{line number opcodes!standard opcode encoding}
2884 Table \refersec{tab:linenumberstandardopcodeencodings}.
2885
2886 % Odd that the 'Name' field capitalized here, it is not caps elsewhere.
2887 \begin{centering}
2888 \setlength{\extrarowheight}{0.1cm}
2889 \begin{longtable}{l|c}
2890   \caption{Line number standard opcode encodings} \label{tab:linenumberstandardopcodeencodings}\\
2891   \hline \bfseries Opcode name&\bfseries Value \\ \hline
2892 \endfirsthead
2893   \bfseries Opcode name&\bfseries Value\\ \hline
2894 \endhead
2895   \hline \emph{Continued on next page}
2896 \endfoot
2897   \hline
2898 \endlastfoot
2899
2900 \DWLNScopy&0x01 \\
2901 \DWLNSadvancepc&0x02 \\
2902 \DWLNSadvanceline&0x03 \\
2903 \DWLNSsetfile&0x04 \\
2904 \DWLNSsetcolumn&0x05 \\
2905 \DWLNSnegatestmt&0x06 \\
2906 \DWLNSsetbasicblock&0x07 \\
2907 \DWLNSconstaddpc&0x08 \\
2908 \DWLNSfixedadvancepc&0x09 \\
2909 \DWLNSsetprologueend&0x0a \\*
2910 \DWLNSsetepiloguebegin&0x0b \\*
2911 \DWLNSsetisa&0x0c \\*
2912
2913 \end{longtable}
2914 \end{centering}
2915
2916
2917 \needspace{6cm}
2918 The encodings for the extended opcodes are given in 
2919 \addtoindexx{line number opcodes!extended opcode encoding}
2920 Table \refersec{tab:linenumberextendedopcodeencodings}.
2921
2922 \needlines{20}
2923 \begin{centering}
2924 \setlength{\extrarowheight}{0.1cm}
2925 \begin{longtable}{l|c}
2926   \caption{Line number extended opcode encodings} \label{tab:linenumberextendedopcodeencodings}\\
2927   \hline \bfseries Opcode name&\bfseries Value \\ \hline
2928 \endfirsthead
2929   \bfseries Opcode name&\bfseries Value\\ \hline
2930 \endhead
2931   \hline \emph{Continued on next page}
2932 \endfoot
2933   \hline %\ddag~\textit{New in DWARF Version 5}
2934 \endlastfoot
2935
2936 \DWLNEendsequence       &0x01 \\
2937 \DWLNEsetaddress        &0x02 \\
2938 \textit{Reserved}       &0x03\footnote{Code 0x03 is reserved to allow backward compatible support of the 
2939                                        \texttt{DW\_LNE\_define\_file} operation which was defined prior to \DWARFVersionV.} \\
2940 \DWLNEsetdiscriminator  &0x04 \\
2941 \DWLNElouser            &0x80 \\
2942 \DWLNEhiuser            &\xff \\
2943
2944 \end{longtable}
2945 \end{centering}
2946
2947 \needspace{6cm}
2948 The encodings for the line number header entry formats are given in 
2949 \addtoindexx{line number opcodes!file entry format encoding}
2950 Table \refersec{tab:linenumberheaderentryformatencodings}.
2951
2952 \begin{centering}
2953 \setlength{\extrarowheight}{0.1cm}
2954 \begin{longtable}{l|c}
2955   \caption{Line number header entry format \mbox{encodings}} \label{tab:linenumberheaderentryformatencodings}\\
2956   \hline \bfseries Line number header entry format name&\bfseries Value \\ \hline
2957 \endfirsthead
2958   \bfseries Line number header entry format name&\bfseries Value\\ \hline
2959 \endhead
2960   \hline \emph{Continued on next page}
2961 \endfoot
2962   \hline \ddag~\textit{New in DWARF Version 5}
2963 \endlastfoot
2964 \DWLNCTpath~\ddag           & 0x1 \\
2965 \DWLNCTdirectoryindex~\ddag & 0x2 \\
2966 \DWLNCTtimestamp~\ddag      & 0x3 \\
2967 \DWLNCTsize~\ddag           & 0x4 \\
2968 \DWLNCTMDfive~\ddag         & 0x5 \\
2969 \DWLNCTlouser~\ddag         & 0x2000 \\
2970 \DWLNCThiuser~\ddag         & \xiiifff \\
2971 \end{longtable}
2972 \end{centering}
2973
2974 \section{Macro Information}
2975 \label{datarep:macroinformation}
2976 The \addtoindexi{version number}{version number!macro information}
2977 in the macro information header is \versiondotdebugmacro{}
2978 (see Appendix \refersec{app:dwarfsectionversionnumbersinformative}). 
2979
2980 The source line numbers and source file indices encoded in the
2981 macro information section are represented as 
2982 unsigned LEB128\addtoindexx{LEB128!unsigned} numbers.
2983
2984 \needlines{4}
2985 The macro information entry type is encoded as a single unsigned byte. 
2986 The encodings 
2987 \addtoindexx{macro information entry types!encoding}
2988 are given in 
2989 Table \refersec{tab:macroinfoentrytypeencodings}.
2990
2991 \needlines{10}
2992 \begin{centering}
2993 \setlength{\extrarowheight}{0.1cm}
2994 \begin{longtable}{l|c}
2995   \caption{Macro information entry type encodings} \label{tab:macroinfoentrytypeencodings}\\
2996   \hline \bfseries Macro information entry type name&\bfseries Value \\ \hline
2997 \endfirsthead
2998   \bfseries Macro information entry type name&\bfseries Value\\ \hline
2999 \endhead
3000   \hline \emph{Continued on next page}
3001 \endfoot
3002   \hline \ddag~\textit{New in DWARF Version 5}
3003 \endlastfoot
3004
3005 \DWMACROdefine~\ddag              &0x01 \\
3006 \DWMACROundef~\ddag               &0x02 \\
3007 \DWMACROstartfile~\ddag           &0x03 \\
3008 \DWMACROendfile~\ddag             &0x04 \\
3009 \DWMACROdefineindirect~\ddag      &0x05 \\
3010 \DWMACROundefindirect~\ddag       &0x06 \\
3011 \DWMACROtransparentinclude~\ddag  &0x07 \\
3012 \DWMACROdefineindirectsup~\ddag   &0x08 \\
3013 \DWMACROundefindirectsup~\ddag    &0x09 \\
3014 \DWMACROtransparentincludesup~\ddag&0x0a \\
3015 \DWMACROdefineindirectx~\ddag     &0x0b \\
3016 \DWMACROundefindirectx~\ddag      &0x0c \\
3017 \DWMACROlouser~\ddag              &0xe0 \\
3018 \DWMACROhiuser~\ddag              &\xff \\
3019
3020 \end{longtable}
3021 \end{centering}
3022
3023 \needlines{7}
3024 \section{Call Frame Information}
3025 \label{datarep:callframeinformation}
3026
3027 In the \thirtytwobitdwarfformat, the value of the CIE id in the
3028 CIE header is \xffffffff; in the \sixtyfourbitdwarfformat, the
3029 value is \xffffffffffffffff.
3030
3031 The value of the CIE \addtoindexi{version number}{version number!call frame information}
3032 is 4 (see Appendix \refersec{app:dwarfsectionversionnumbersinformative}). 
3033
3034 Call frame instructions are encoded in one or more bytes. The
3035 primary opcode is encoded in the high order two bits of
3036 the first byte (that is, opcode = byte $\gg$ 6). An operand
3037 or extended opcode may be encoded in the low order 6
3038 bits. Additional operands are encoded in subsequent bytes.
3039 The instructions and their encodings are presented in
3040 Table \refersec{tab:callframeinstructionencodings}.
3041
3042 \begin{centering}
3043 \setlength{\extrarowheight}{0.1cm}
3044 \begin{longtable}{l|c|c|l|l}
3045   \caption{Call frame instruction encodings} \label{tab:callframeinstructionencodings} \\
3046   \hline &\bfseries High 2 &\bfseries Low 6 &  & \\
3047   \bfseries Instruction&\bfseries Bits &\bfseries Bits &\bfseries Operand 1 &\bfseries Operand 2\\ \hline
3048 \endfirsthead
3049    & \bfseries High 2 &\bfseries Low 6 &  &\\
3050   \bfseries Instruction&\bfseries Bits &\bfseries Bits &\bfseries Operand 1 &\bfseries Operand 2\\ \hline
3051 \endhead
3052   \hline \emph{Continued on next page}
3053 \endfoot
3054   \hline
3055 \endlastfoot
3056
3057 \DWCFAadvanceloc&0x1&delta & \\
3058 \DWCFAoffset&0x2&register&ULEB128 offset \\
3059 \DWCFArestore&0x3&register & & \\
3060 \DWCFAnop&0&0 & & \\
3061 \DWCFAsetloc&0&0x01&address & \\
3062 \DWCFAadvancelocone&0&0x02&1\dash byte delta & \\
3063 \DWCFAadvanceloctwo&0&0x03&2\dash byte delta & \\
3064 \DWCFAadvancelocfour&0&0x04&4\dash byte delta & \\
3065 \DWCFAoffsetextended&0&0x05&ULEB128 register&ULEB128 offset \\
3066 \DWCFArestoreextended&0&0x06&ULEB128 register & \\
3067 \DWCFAundefined&0&0x07&ULEB128 register & \\
3068 \DWCFAsamevalue&0&0x08 &ULEB128 register & \\
3069 \DWCFAregister&0&0x09&ULEB128 register &ULEB128 offset \\
3070 \DWCFArememberstate&0&0x0a & & \\
3071 \DWCFArestorestate&0&0x0b & & \\
3072 \DWCFAdefcfa&0&0x0c &ULEB128 register&ULEB128 offset \\
3073 \DWCFAdefcfaregister&0&0x0d&ULEB128 register & \\
3074 \DWCFAdefcfaoffset&0&0x0e &ULEB128 offset & \\
3075 \DWCFAdefcfaexpression&0&0x0f &BLOCK  \\
3076 \DWCFAexpression&0&0x10&ULEB128 register & BLOCK \\
3077
3078 \DWCFAoffsetextendedsf&0&0x11&ULEB128 register&SLEB128 offset \\
3079 \DWCFAdefcfasf&0&0x12&ULEB128 register&SLEB128 offset \\
3080 \DWCFAdefcfaoffsetsf&0&0x13&SLEB128 offset & \\
3081 \DWCFAvaloffset&0&0x14&ULEB128&ULEB128 \\
3082 \DWCFAvaloffsetsf&0&0x15&ULEB128&SLEB128 \\
3083 \DWCFAvalexpression&0&0x16&ULEB128&BLOCK  \\
3084 \DWCFAlouser&0&0x1c   & & \\
3085 \DWCFAhiuser&0&\xiiif & & \\
3086 \end{longtable}
3087 \end{centering}
3088
3089 \section{Non-contiguous Address Ranges}
3090 \label{datarep:noncontiguousaddressranges}
3091
3092 Each entry in a \addtoindex{range list}
3093 (see Section \refersec{chap:noncontiguousaddressranges})
3094 is either a
3095 \addtoindexx{base address selection entry!in range list}
3096 range list entry, 
3097 \addtoindexx{range list}
3098 a base address selection entry, or an end
3099 of list entry.
3100
3101 A \addtoindex{range list} entry consists of two relative addresses. The
3102 addresses are the same size as addresses on the target machine.
3103
3104 \needlines{4}
3105 A base address selection entry and an 
3106 \addtoindexx{end of list entry!in range list}
3107 end of list entry each
3108 \addtoindexx{base address selection entry!in range list}
3109 consist of two (constant or relocated) addresses. The two
3110 addresses are the same size as addresses on the target machine.
3111
3112 For a \addtoindex{range list} to be specified, the base address of the
3113 \addtoindexx{base address selection entry!in range list}
3114 corresponding compilation unit must be defined 
3115 (see Section \refersec{chap:normalandpartialcompilationunitentries}).
3116
3117 \needlines{6}
3118 \section{String Offsets Table}
3119 \label{chap:stringoffsetstable}
3120 Each set of entries in the string offsets table contained in the
3121 \dotdebugstroffsets{} or \dotdebugstroffsetsdwo{}
3122 section begins with a header containing:
3123 \begin{enumerate}[1. ]
3124 \item \texttt{unit\_length} (\livelink{datarep:initiallengthvalues}{initial length}) \\
3125 \addttindexx{unit\_length}
3126 A 4-byte or 12-byte length containing the length of
3127 the set of entries for this compilation unit, not
3128 including the length field itself. In the 32-bit
3129 DWARF format, this is a 4-byte unsigned integer
3130 (which must be less than \xfffffffzero); in the 64-bit
3131 DWARF format, this consists of the 4-byte value
3132 \wffffffff followed by an 8-byte unsigned integer
3133 that gives the actual length (see 
3134 Section \refersec{datarep:32bitand64bitdwarfformats}).
3135
3136 %\needlines{4}
3137 \item  \texttt{version} (\addtoindex{uhalf}) \\
3138 A 2-byte version identifier containing the value
3139 \versiondotdebugstroffsets{} 
3140 (see Appendix \refersec{app:dwarfsectionversionnumbersinformative}).
3141
3142 \item \texttt{padding} (\addtoindex{uhalf}) \\
3143 \end{enumerate}
3144
3145 This header is followed by a series of string table offsets
3146 that have the same representation as \DWFORMstrp.
3147 For the 32-bit DWARF format, each offset is 4 bytes long; for
3148 the 64-bit DWARF format, each offset is 8 bytes long.
3149
3150 The \DWATstroffsetsbase{} attribute points to the first
3151 entry following the header. The entries are indexed
3152 sequentially from this base entry, starting from 0.
3153
3154 \section{Address Table}
3155 \label{chap:addresstable}
3156 Each set of entries in the address table contained in the
3157 \dotdebugaddr{} section begins with a header containing:
3158 \begin{enumerate}[1. ]
3159 \item \texttt{unit\_length} (\livelink{datarep:initiallengthvalues}{initial length}) \\
3160 \addttindexx{unit\_length}
3161 A 4-byte or 12-byte length containing the length of
3162 the set of entries for this compilation unit, not
3163 including the length field itself. In the 32-bit
3164 DWARF format, this is a 4-byte unsigned integer
3165 (which must be less than \xfffffffzero); in the 64-bit
3166 DWARF format, this consists of the 4-byte value
3167 \wffffffff followed by an 8-byte unsigned integer
3168 that gives the actual length (see 
3169 Section \refersec{datarep:32bitand64bitdwarfformats}).
3170
3171 \needlines{4}
3172 \item  \texttt{version} (\addtoindex{uhalf}) \\
3173 A 2-byte version identifier containing the value
3174 \versiondotdebugaddr{} 
3175 (see Appendix \refersec{app:dwarfsectionversionnumbersinformative}).
3176
3177 \needlines{4}
3178 \item   \texttt{address\_size} (\addtoindex{ubyte}) \\
3179 A 1-byte unsigned integer containing the size in
3180 bytes of an address (or the offset portion of an
3181 address for segmented addressing) on the target
3182 system.
3183
3184 \needlines{4}
3185 \item   \texttt{segment\_size} (\addtoindex{ubyte}) \\
3186 A 1-byte unsigned integer containing the size in
3187 bytes of a segment selector on the target system.
3188 \end{enumerate}
3189
3190 This header is followed by a series of segment/address pairs.
3191 The segment size is given by the \addttindex{segment\_size} field of the
3192 header, and the address size is given by the \addttindex{address\_size}
3193 field of the header. If the \addttindex{segment\_size} field in the header
3194 is zero, the entries consist only of an addresses.
3195
3196 The \DWATaddrbase{} attribute points to the first entry
3197 following the header. The entries are indexed sequentially
3198 from this base entry, starting from 0.
3199
3200 \section{Range List Table}
3201 \label{app:rangelisttable}
3202 Each set of entries in the range list table contained in the
3203 \dotdebugranges{} section begins with a header containing:
3204 \begin{enumerate}[1. ]
3205 \item \texttt{unit\_length} (\livelink{datarep:initiallengthvalues}{initial length}) \\
3206 \addttindexx{unit\_length}
3207 A 4-byte or 12-byte length containing the length of
3208 the set of entries for this compilation unit, not
3209 including the length field itself. In the 32-bit
3210 DWARF format, this is a 4-byte unsigned integer
3211 (which must be less than \xfffffffzero); in the 64-bit
3212 DWARF format, this consists of the 4-byte value
3213 \wffffffff followed by an 8-byte unsigned integer
3214 that gives the actual length (see 
3215 Section \refersec{datarep:32bitand64bitdwarfformats}).
3216
3217 \needlines{4}
3218 \item  \texttt{version} (\addtoindex{uhalf}) \\
3219 A 2-byte version identifier containing the value
3220 \versiondotdebugranges{} 
3221 (see Appendix \refersec{app:dwarfsectionversionnumbersinformative}).
3222
3223 \needlines{4}
3224 \item   \texttt{address\_size} (\addtoindex{ubyte}) \\
3225 A 1-byte unsigned integer containing the size in
3226 bytes of an address (or the offset portion of an
3227 address for segmented addressing) on the target
3228 system.
3229
3230 \needlines{4}
3231 \item   \texttt{segment\_size} (\addtoindex{ubyte}) \\
3232 A 1-byte unsigned integer containing the size in
3233 bytes of a segment selector on the target system.
3234 \end{enumerate}
3235
3236 This header is followed by a series of range list entries as
3237 described in Section \refersec{chap:noncontiguousaddressranges}.
3238 The segment size is given by the
3239 \addttindex{segment\_size} field of the header, and the address size is
3240 given by the \addttindex{address\_size} field of the header. If the
3241 \addttindex{segment\_size} field in the header is zero, the segment
3242 selector is omitted from the range list entries.
3243
3244 The \DWATrangesbase{} attribute points to the first entry
3245 following the header. The entries are referenced by a byte
3246 offset relative to this base address.
3247
3248
3249 \section{Location List Table}
3250 \label{datarep:locationlisttable}
3251 Each set of entries in the location list table contained in the
3252 \dotdebugloc{} or \dotdebuglocdwo{} sections begins with a header containing:
3253 \begin{enumerate}[1. ]
3254 \item \texttt{unit\_length} (\livelink{datarep:initiallengthvalues}{initial length}) \\
3255 \addttindexx{unit\_length}
3256 A 4-byte or 12-byte length containing the length of
3257 the set of entries for this compilation unit, not
3258 including the length field itself. In the 32-bit
3259 DWARF format, this is a 4-byte unsigned integer
3260 (which must be less than \xfffffffzero); in the 64-bit
3261 DWARF format, this consists of the 4-byte value
3262 \wffffffff followed by an 8-byte unsigned integer
3263 that gives the actual length (see 
3264 Section \refersec{datarep:32bitand64bitdwarfformats}).
3265
3266 \needlines{4}
3267 \item  \texttt{version} (\addtoindex{uhalf}) \\
3268 A 2-byte version identifier containing the value
3269 \versiondotdebugloc{} 
3270 (see Appendix \refersec{app:dwarfsectionversionnumbersinformative}).
3271
3272 \needlines{5}
3273 \item   \texttt{address\_size} (\addtoindex{ubyte}) \\
3274 A 1-byte unsigned integer containing the size in
3275 bytes of an address (or the offset portion of an
3276 address for segmented addressing) on the target
3277 system.
3278
3279 \needlines{4}
3280 \item   \texttt{segment\_size} (\addtoindex{ubyte}) \\
3281 A 1-byte unsigned integer containing the size in
3282 bytes of a segment selector on the target system.
3283 \end{enumerate}
3284
3285 This header is followed by a series of location list entries as
3286 described in Section \refersec{chap:locationlists}.
3287 The segment size is given by the
3288 \addttindex{segment\_size} field of the header, and the address size is
3289 given by the \texttt{address\_size} field of the header. If the
3290 \addttindex{segment\_size} field in the header is zero, the segment
3291 selector is omitted from the range list entries.
3292
3293 The entries are referenced by a byte offset relative to the first
3294 location list following this header.
3295
3296 \needlines{6}
3297 \section{Dependencies and Constraints}
3298 \label{datarep:dependenciesandconstraints}
3299 The debugging information in this format is intended to
3300 exist 
3301 \addtoindexx{DWARF section names!list of}
3302 in the
3303 \dotdebugabbrev{},
3304 \dotdebugaddr{}, 
3305 \dotdebugaranges{}, 
3306 \dotdebugframe{},
3307 \dotdebuginfo{}, 
3308 \dotdebugline{}, 
3309 \dotdebuglinestr{},
3310 \dotdebugloc{}, 
3311 \dotdebugmacro{},
3312 \dotdebugpubnames{}, 
3313 \dotdebugpubtypes{}, 
3314 \dotdebugranges{}, 
3315 \dotdebugstr{},
3316 and
3317 \dotdebugstroffsets{}
3318 sections of an object file, or equivalent
3319 separate file or database. The information is not 
3320 word\dash aligned. Consequently:
3321
3322 \begin{itemize}
3323 \item For the \thirtytwobitdwarfformat{} and a target architecture with
3324 32\dash bit addresses, an assembler or compiler must provide a way
3325 to produce 2\dash byte and 4\dash byte quantities without alignment
3326 restrictions, and the linker must be able to relocate a
3327 4\dash byte address or 
3328 \addtoindexx{section offset!alignment of}
3329 section offset that occurs at an arbitrary
3330 alignment.
3331
3332 \item For the \thirtytwobitdwarfformat{} and a target architecture with
3333 64\dash bit addresses, an assembler or compiler must provide a
3334 way to produce 2\dash byte, 4\dash byte and 8\dash byte quantities without
3335 alignment restrictions, and the linker must be able to relocate
3336 an 8\dash byte address or 4\dash byte 
3337 \addtoindexx{section offset!alignment of}
3338 section offset that occurs at an
3339 arbitrary alignment.
3340
3341 \item For the \sixtyfourbitdwarfformat{} and a target architecture with
3342 32\dash bit addresses, an assembler or compiler must provide a
3343 way to produce 2\dash byte, 4\dash byte and 8\dash byte quantities without
3344 alignment restrictions, and the linker must be able to relocate
3345 a 4\dash byte address or 8\dash byte 
3346 \addtoindexx{section offset!alignment of}
3347 section offset that occurs at an
3348 arbitrary alignment.
3349
3350 \textit{It is expected that this will be required only for very large
3351 32\dash bit programs or by those architectures which support
3352 a mix of 32\dash bit and 64\dash bit code and data within the same
3353 executable object.}
3354
3355 \item For the \sixtyfourbitdwarfformat{} and a target architecture with
3356 64\dash bit addresses, an assembler or compiler must provide a
3357 way to produce 2\dash byte, 4\dash byte and 8\dash byte quantities without
3358 alignment restrictions, and the linker must be able to
3359 relocate an 8\dash byte address or 
3360 \addtoindexx{section offset!alignment of}
3361 section offset that occurs at
3362 an arbitrary alignment.
3363 \end{itemize}
3364
3365 \needlines{8}
3366 \section{Integer Representation Names}
3367 \label{datarep:integerrepresentationnames}
3368 The sizes of the integers used in the lookup by name, lookup
3369 by address, line number and call frame information sections
3370 are given in
3371 Table \ref{tab:integerrepresentationnames}.
3372
3373 \needlines{12}
3374 \begin{centering}
3375 \setlength{\extrarowheight}{0.1cm}
3376 \begin{longtable}{c|l}
3377   \caption{Integer representation names} \label{tab:integerrepresentationnames}\\
3378   \hline \bfseries Representation name&\bfseries Representation \\ \hline
3379 \endfirsthead
3380   \bfseries Representation name&\bfseries Representation\\ \hline
3381 \endhead
3382   \hline \emph{Continued on next page}
3383 \endfoot
3384   \hline
3385 \endlastfoot
3386
3387 \addtoindex{sbyte}&  signed, 1\dash byte integer \\
3388 \addtoindex{ubyte}&unsigned, 1\dash byte integer \\
3389 \addtoindex{uhalf}&unsigned, 2\dash byte integer \\
3390 \addtoindex{uword}&unsigned, 4\dash byte integer \\
3391
3392 \end{longtable}
3393 \end{centering}
3394
3395 \needlines{6}
3396 \section{Type Signature Computation}
3397 \label{datarep:typesignaturecomputation}
3398
3399 A type signature is computed only by the DWARF producer;
3400 \addtoindexx{type signature!computation}
3401 it is used by a DWARF consumer to resolve type references to
3402 the type definitions that are contained in 
3403 \addtoindexx{type unit}
3404 type units.
3405
3406 \needlines{4}
3407 The type signature for a type T0 is formed from the 
3408 \MDfive{}\footnote{\livetarg{def:MDfive}{MD5} Message Digest Algorithm, 
3409 R.L. Rivest, RFC 1321, April 1992}
3410 hash of a flattened description of the type. The flattened
3411 description of the type is a byte sequence derived from the
3412 DWARF encoding of the type as follows:
3413 \begin{enumerate}[1. ]
3414
3415 \item Start with an empty sequence S and a list V of visited
3416 types, where V is initialized to a list containing the type
3417 T0 as its single element. Elements in V are indexed from 1,
3418 so that V[1] is T0.
3419
3420 \item If the debugging information entry represents a type that
3421 is nested inside another type or a namespace, append to S
3422 the type\textquoteright s context as follows: For each surrounding type
3423 or namespace, beginning with the outermost such construct,
3424 append the letter 'C', the DWARF tag of the construct, and
3425 the name (taken from 
3426 \addtoindexx{name attribute}
3427 the \DWATname{} attribute) of the type
3428 \addtoindexx{name attribute}
3429 or namespace (including its trailing null byte).
3430
3431 \item  Append to S the letter 'D', followed by the DWARF tag of
3432 the debugging information entry.
3433
3434 \item For each of the attributes in
3435 Table \refersec{tab:attributesusedintypesignaturecomputation}
3436 that are present in
3437 the debugging information entry, in the order listed,
3438 append to S a marker letter (see below), the DWARF attribute
3439 code, and the attribute value.
3440
3441 \begin{table}[ht]
3442 \caption{Attributes used in type signature computation}
3443 \label{tab:attributesusedintypesignaturecomputation}
3444 \simplerule[\textwidth]
3445 \begin{center}
3446 \autocols[0pt]{c}{2}{l}{
3447 \DWATname,
3448 \DWATaccessibility,
3449 \DWATaddressclass,
3450 \DWATalignment,
3451 \DWATallocated,
3452 \DWATartificial,
3453 \DWATassociated,
3454 \DWATbinaryscale,
3455 \DWATbitoffset,
3456 \DWATbitsize,
3457 \DWATbitstride,
3458 \DWATbytesize,
3459 \DWATbytestride,
3460 \DWATconstexpr,
3461 \DWATconstvalue,
3462 \DWATcontainingtype,
3463 \DWATcount,
3464 \DWATdatabitoffset,
3465 \DWATdatalocation,
3466 \DWATdatamemberlocation,
3467 \DWATdecimalscale,
3468 \DWATdecimalsign,
3469 \DWATdefaultvalue,
3470 \DWATdigitcount,
3471 \DWATdiscr,
3472 \DWATdiscrlist,
3473 \DWATdiscrvalue,
3474 \DWATencoding,
3475 \DWATenumclass,
3476 \DWATendianity,
3477 \DWATexplicit,
3478 \DWATisoptional,
3479 \DWATlocation,
3480 \DWATlowerbound,
3481 \DWATmutable,
3482 \DWATordering,
3483 \DWATpicturestring,
3484 \DWATprototyped,
3485 \DWATrank,
3486 \DWATreference,
3487 \DWATrvaluereference,
3488 \DWATsmall,
3489 \DWATsegment,
3490 \DWATstringlength,
3491 \DWATstringlengthbitsize,
3492 \DWATstringlengthbytesize,
3493 \DWATthreadsscaled,
3494 \DWATupperbound,
3495 \DWATuselocation,
3496 \DWATuseUTFeight,
3497 \DWATvariableparameter,
3498 \DWATvirtuality,
3499 \DWATvisibility,
3500 \DWATvtableelemlocation
3501 }
3502 \end{center}
3503 \simplerule[\textwidth]
3504 \end{table}
3505
3506 Note that except for the initial 
3507 \DWATname{} attribute,
3508 \addtoindexx{name attribute}
3509 attributes are appended in order according to the alphabetical
3510 spelling of their identifier.
3511
3512 If an implementation defines any vendor-specific attributes,
3513 any such attributes that are essential to the definition of
3514 the type should also be included at the end of the above list,
3515 in their own alphabetical suborder.
3516
3517 An attribute that refers to another type entry T is processed
3518 as follows: (a) If T is in the list V at some V[x], use the
3519 letter 'R' as the marker and use the unsigned LEB128\addtoindexx{LEB128!unsigned}
3520 encoding of x as the attribute value; otherwise, (b) use the letter 'T'
3521 as the marker, process the type T recursively by performing
3522 Steps 2 through 7, and use the result as the attribute value.
3523
3524 Other attribute values use the letter 'A' as the marker, and
3525 the value consists of the form code (encoded as an unsigned
3526 LEB128 value) followed by the encoding of the value according
3527 to the form code. To ensure reproducibility of the signature,
3528 the set of forms used in the signature computation is limited
3529 to the following: 
3530 \DWFORMsdata, 
3531 \DWFORMflag, 
3532 \DWFORMstring,
3533 \DWFORMexprloc,
3534 and \DWFORMblock.
3535
3536 \needlines{4}
3537 \item If the tag in Step 3 is one of \DWTAGpointertype,
3538 \DWTAGreferencetype, 
3539 \DWTAGrvaluereferencetype,
3540 \DWTAGptrtomembertype, 
3541 or \DWTAGfriend, and the referenced
3542 type (via the \DWATtype{} or 
3543 \DWATfriend{} attribute) has a
3544 \DWATname{} attribute, append to S the letter 'N', the DWARF
3545 attribute code (\DWATtype{} or 
3546 \DWATfriend), the context of
3547 the type (according to the method in Step 2), the letter 'E',
3548 and the name of the type. For \DWTAGfriend, if the referenced
3549 entry is a \DWTAGsubprogram, the context is omitted and the
3550 name to be used is the ABI-specific name of the subprogram
3551 (for example, the mangled linker name).
3552
3553
3554 \item If the tag in Step 3 is not one of \DWTAGpointertype,
3555 \DWTAGreferencetype, 
3556 \DWTAGrvaluereferencetype,
3557 \DWTAGptrtomembertype, or 
3558 \DWTAGfriend, but has
3559 a \DWATtype{} attribute, or if the referenced type (via
3560 the \DWATtype{} or 
3561 \DWATfriend{} attribute) does not have a
3562 \DWATname{} attribute, the attribute is processed according to
3563 the method in Step 4 for an attribute that refers to another
3564 type entry.
3565
3566
3567 \item Visit each child C of the debugging information
3568 entry as follows: If C is a nested type entry or a member
3569 function entry, and has 
3570 a \DWATname{} attribute, append to
3571 \addtoindexx{name attribute}
3572 S the letter 'S', the tag of C, and its name; otherwise,
3573 process C recursively by performing Steps 3 through 7,
3574 appending the result to S. Following the last child (or if
3575 there are no children), append a zero byte.
3576 \end{enumerate}
3577
3578
3579
3580 For the purposes of this algorithm, if a debugging information
3581 entry S has a 
3582 \DWATspecification{} 
3583 attribute that refers to
3584 another entry D (which has a 
3585 \DWATdeclaration{} 
3586 attribute),
3587 then S inherits the attributes and children of D, and S is
3588 processed as if those attributes and children were present in
3589 the entry S. Exception: if a particular attribute is found in
3590 both S and D, the attribute in S is used and the corresponding
3591 one in D is ignored.
3592
3593 \needlines{4}
3594 DWARF tag and attribute codes are appended to the sequence
3595 as unsigned LEB128\addtoindexx{LEB128!unsigned} values, 
3596 using the values defined earlier in this chapter.
3597
3598 \textit{A grammar describing this computation may be found in
3599 Appendix \refersec{app:typesignaturecomputationgrammar}.
3600 }
3601
3602 \textit{An attribute that refers to another type entry should
3603 be recursively processed or replaced with the name of the
3604 referent (in Step 4, 5 or 6). If neither treatment applies to
3605 an attribute that references another type entry, the entry
3606 that contains that attribute should not be considered for a
3607 separate \addtoindex{type unit}.}
3608
3609 \textit{If a debugging information entry contains an attribute from
3610 the list above that would require an unsupported form, that
3611 entry should not be considered for a separate 
3612 \addtoindex{type unit}.}
3613