Output SPIR-V lifetimes (#2221)

* #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.

* First pass support for GLSL SPIR-V liveness support.

* Add the SPIRVOpDecoration.

* Fix signature for OpLivenessStop.

* Simplified by having a Kind type.

* Fix some issues brought up in PR.

* Rename liveness instructions.

* Merge with var-lifetime.
Small improvements.

* Improvements to the documentation/naming in GLSL liveness pass.
Add comment around possible improvements to the liveness pass.

2 files changed, 8 insertions, 0 deletions

diff --git a/build/visual-studio/slang/slang.vcxproj b/build/visual-studio/slang/slang.vcxproj
index 162419d0c..52c2db316 100644
--- a/build/visual-studio/slang/slang.vcxproj
+++ b/build/visual-studio/slang/slang.vcxproj
@@ -357,6 +357,7 @@ IF EXIST ..\..\..\external\slang-binaries\bin\windows-aarch64\slang-glslang.dll\
     <ClInclude Include="..\..\..\source\slang\slang-ir-extract-value-from-type.h" />

     <ClInclude Include="..\..\..\source\slang\slang-ir-generics-lowering-context.h" />

     <ClInclude Include="..\..\..\source\slang\slang-ir-glsl-legalize.h" />

+    <ClInclude Include="..\..\..\source\slang\slang-ir-glsl-liveness.h" />

     <ClInclude Include="..\..\..\source\slang\slang-ir-hoist-local-types.h" />

     <ClInclude Include="..\..\..\source\slang\slang-ir-inline.h" />

     <ClInclude Include="..\..\..\source\slang\slang-ir-inst-defs.h" />

@@ -496,6 +497,7 @@ IF EXIST ..\..\..\external\slang-binaries\bin\windows-aarch64\slang-glslang.dll\
     <ClCompile Include="..\..\..\source\slang\slang-ir-extract-value-from-type.cpp" />

     <ClCompile Include="..\..\..\source\slang\slang-ir-generics-lowering-context.cpp" />

     <ClCompile Include="..\..\..\source\slang\slang-ir-glsl-legalize.cpp" />

+    <ClCompile Include="..\..\..\source\slang\slang-ir-glsl-liveness.cpp" />

     <ClCompile Include="..\..\..\source\slang\slang-ir-hoist-local-types.cpp" />

     <ClCompile Include="..\..\..\source\slang\slang-ir-inline.cpp" />

     <ClCompile Include="..\..\..\source\slang\slang-ir-layout.cpp" />

diff --git a/build/visual-studio/slang/slang.vcxproj.filters b/build/visual-studio/slang/slang.vcxproj.filters
index e6f7e21e9..1337c0e55 100644
--- a/build/visual-studio/slang/slang.vcxproj.filters
+++ b/build/visual-studio/slang/slang.vcxproj.filters
@@ -168,6 +168,9 @@
     <ClInclude Include="..\..\..\source\slang\slang-ir-glsl-legalize.h">

       <Filter>Header Files</Filter>

     </ClInclude>

+    <ClInclude Include="..\..\..\source\slang\slang-ir-glsl-liveness.h">

+      <Filter>Header Files</Filter>

+    </ClInclude>

     <ClInclude Include="..\..\..\source\slang\slang-ir-hoist-local-types.h">

       <Filter>Header Files</Filter>

     </ClInclude>

@@ -581,6 +584,9 @@
     <ClCompile Include="..\..\..\source\slang\slang-ir-glsl-legalize.cpp">

       <Filter>Source Files</Filter>

     </ClCompile>

+    <ClCompile Include="..\..\..\source\slang\slang-ir-glsl-liveness.cpp">

+      <Filter>Source Files</Filter>

+    </ClCompile>

     <ClCompile Include="..\..\..\source\slang\slang-ir-hoist-local-types.cpp">

       <Filter>Source Files</Filter>

     </ClCompile>