From e6e03b7782a7277a1e45d267038743af1fe76f8c Mon Sep 17 00:00:00 2001 From: Cameron DaCamara Date: Thu, 24 Oct 2024 09:03:08 -0700 Subject: [PATCH] add MSVC-specific traits for persisting debug records into the IFC (#155) --- ltx/traits.tex | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/ltx/traits.tex b/ltx/traits.tex index e106135..18b5477 100644 --- a/ltx/traits.tex +++ b/ltx/traits.tex @@ -320,3 +320,19 @@ \subsubsection{MSVC hash algorithm} The has value is stored in the entire $32$ slots of the \field{bytes} array. \end{itemize} + +\subsection{Debug Record Stream} +\label{sec:ifc-msvc-debug-record-stream-trait} + +The MSVC toolset emits a debug record stream into the IFC in order to support lightweight debug record emission once +a decl from this IFC is materialized as part of the reading process. The debug stream itself is a MSVC-specific format. + +\partition{.msvc.trait.debug-records} + + +\subsection{Debug Record on Declarations} +\label{sec:ifc-msvc-debug-record-trait} + +The MSVC compiler associates a specific \type{DeclIndex} with an individual debug record recorded in \secref{sec:ifc-msvc-debug-record-stream-trait}. + +\partition{.msvc.trait.debug-record}