From 18d1aa32c1648d3bab2c8fb394b1da61b6edc057 Mon Sep 17 00:00:00 2001 From: Luke Wagner Date: Mon, 14 Sep 2015 10:48:17 -0500 Subject: Mention debug symbol section --- TextFormat.md | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'TextFormat.md') diff --git a/TextFormat.md b/TextFormat.md index 6619f6f..316b065 100644 --- a/TextFormat.md +++ b/TextFormat.md @@ -33,3 +33,12 @@ binary format are considered invalid text. Floating-point numbers are therefore represented as hexadecimal floating-point as specified by the C99 standard, which IEEE-754-2008 section 5.12.3 also specifies. The textual format may be improved to also support more human-readable representations, but never at the cost of accurate representation. + +## Debug symbol integration + +The binary format inherently strips names from functions, locals, globals, etc, +reducing each of these to dense indices. Without help, the text format must +therefore synthesize new names. However, as part of the [tooling](Tooling.md) +story, a lightweight, optional "debug symbol" global section may be defined +which associates names with each indexed entity and, when present, these names +will be used in the text format projected from a binary WebAssembly module. -- cgit v1.2.3