From e3e0132743ada1569cefe18bfbf54178330204c4 Mon Sep 17 00:00:00 2001 From: jsmall-nvidia Date: Thu, 5 May 2022 09:09:25 -0400 Subject: Preliminary Liveness tracking (#2218) * #include an absolute path didn't work - because paths were taken to always be relative. * WIP tracking liveness. * Skeleton around adding liveness instructions. * Calling into liveness tracking logic. Adds live start to var insts. * Liveness macros have initial output. * Looking at different initialization scenarios. * Some discussion around liveness. * WIP for working out liveness end. * WIP Updated liveness using use lists. * Is now adding liveness information * Some small fixes. * WIP around liveness. * Seems to output liveness correctly for current scenario. * Tidy up liveness code. * Update comment arounds liveness to current status. * Small fixes to liveness test. * Add support for call in liveness analysis. * Improve liveness example with array access. * Small updates to comments. * Disable liveness test because inconsistencies with output on CI system. * Fix some issues brought up in PR. * Rename liveness instructions. --- source/slang/slang-options.cpp | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'source/slang/slang-options.cpp') diff --git a/source/slang/slang-options.cpp b/source/slang/slang-options.cpp index c31006058..6705f836b 100644 --- a/source/slang/slang-options.cpp +++ b/source/slang/slang-options.cpp @@ -652,6 +652,7 @@ struct OptionsParser " -save-stdlib : Save the StdLib modules to an archive file.\n" " -save-stdlib-bin-source : Same as -save-stdlib but output\n" " the data as a C array.\n" + " -track-liveness: Enable liveness tracking. Places SLANG_LIVE_START, and SLANG_LIVE_END in output source to indicate value liveness.\n" "\n" "Deprecated options (allowed but ignored; may be removed in future):\n" "\n" @@ -1000,6 +1001,10 @@ struct OptionsParser { requestImpl->disableDynamicDispatch = true; } + else if (argValue == "-track-liveness") + { + requestImpl->setTrackLiveness(true); + } else if (argValue == "-verbose-paths") { requestImpl->getSink()->setFlag(DiagnosticSink::Flag::VerbosePath); -- cgit v1.2.3