CIRCT
20.0.0git
|
Options for HGLDD emission. More...
#include <DebugInfo.h>
Public Attributes | |
StringRef | sourceFilePrefix = "" |
A prefix prepended to all source file locations. More... | |
StringRef | outputFilePrefix = "" |
A prefix prepended to all output file locations. More... | |
StringRef | outputDirectory = "" |
The directory in which to place HGLDD output files. More... | |
bool | onlyExistingFileLocs = false |
Only consider location information for files that actually exist on disk. More... | |
Options for HGLDD emission.
Definition at line 29 of file DebugInfo.h.
bool circt::debug::EmitHGLDDOptions::onlyExistingFileLocs = false |
Only consider location information for files that actually exist on disk.
This can help strip out placeholder names such as <stdin>
or <unknown>
, and force the HGLDD file to only refer to files that actually exist.
Definition at line 44 of file DebugInfo.h.
Referenced by circt::debug::registerHGLDDTranslation().
StringRef circt::debug::EmitHGLDDOptions::outputDirectory = "" |
The directory in which to place HGLDD output files.
Definition at line 39 of file DebugInfo.h.
Referenced by circt::debug::registerHGLDDTranslation().
StringRef circt::debug::EmitHGLDDOptions::outputFilePrefix = "" |
A prefix prepended to all output file locations.
This is useful if the tool ingesting the HGLDD file expects generated output files to be reported relative to a different directory.
Definition at line 37 of file DebugInfo.h.
Referenced by circt::debug::registerHGLDDTranslation().
StringRef circt::debug::EmitHGLDDOptions::sourceFilePrefix = "" |
A prefix prepended to all source file locations.
This is useful if the tool ingesting the HGLDD file is run from a different directory and requires help finding the source files.
Definition at line 33 of file DebugInfo.h.
Referenced by circt::debug::registerHGLDDTranslation().