SPIR-V image operations (#3163)

* Add __truncate and __sampledType for spirv_asm

Allows some texture tests to start passing

* add __isVector

Currently unused

* Add 1-vector legalization pass (WIP)

* Add capabilities for image types

* neaten instruction dumping

* add 1-vector test

* Add a couple of cases to vec1 legalization

* Remove texture tests from expected failures

* comment

* regenerate vs projects

* Remove redundant define form synchapi emulation

* refactoring image methods

* All sample functions refactored

* Remove incorrect glsl intrinsics

Partially addresses https://github.com/shader-slang/slang/issues/3174

* __subscript image ops via writing funcs

* Extract texture struct writing from core.meta.slang

* Abstract out cuda intrinsic

* Remvoe erroneous call to opDecorateIndex

* spirv asm IR utils

* Correct position of loads for SPIR-V asm inst operands

* Raise constructors to global scope during spir-v legalization

* Correct snippet output

* Implement most texture sampling ops for SPIR-V

* Legalize 1-vectors for glsl too

* Make SPIR-V inst operands non-hoistable

* Better 1-vector legalization

* Put textures in ptrs for spirv

* insert missing break

* Add vec1 legalization test

* Add some missing pieces to slang-ir-insts

* Greatly neaten vec1 legalization

* a

* Neaten vec1 legalization

* Add image read and write intrinsics for spir-v

* Squash warnings

* regenerate vs projects

* Drop redundant guards

* Drop 5 tests from expected failure list

* Inst numbering changes to cross compile tests

* vec1 legalization tests only on vk

* Correct location of asm op emit

* Inline constant in spirv-asm

* Correct signedness for lane in wave intrinsics

* Extract element from float1 for cuda

* squash warnings

* Neaten spirv-emit

* dedupe more capabilities

* warnings

* neaten assert

* comments

* comments

2 files changed, 16 insertions, 0 deletions

diff --git a/build/visual-studio/slang/slang.vcxproj b/build/visual-studio/slang/slang.vcxproj
index a7359e001..f5d28d800 100644
--- a/build/visual-studio/slang/slang.vcxproj
+++ b/build/visual-studio/slang/slang.vcxproj
@@ -404,6 +404,7 @@ IF EXIST ..\..\..\external\slang-glslang\bin\windows-aarch64\release\slang-glsla
     <ClInclude Include="..\..\..\source\slang\slang-ir-legalize-mesh-outputs.h" />

     <ClInclude Include="..\..\..\source\slang\slang-ir-legalize-uniform-buffer-load.h" />

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

+    <ClInclude Include="..\..\..\source\slang\slang-ir-legalize-vector-types.h" />

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

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

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

@@ -505,6 +506,7 @@ IF EXIST ..\..\..\external\slang-glslang\bin\windows-aarch64\release\slang-glsla
     <ClInclude Include="..\..\..\source\slang\slang-serialize-value-type-info.h" />

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

     <ClInclude Include="..\..\..\source\slang\slang-spirv-val.h" />

+    <ClInclude Include="..\..\..\source\slang\slang-stdlib-textures.h" />

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

     <ClInclude Include="..\..\..\source\slang\slang-type-layout.h" />

     <ClInclude Include="..\..\..\source\slang\slang-type-system-shared.h" />

@@ -616,6 +618,7 @@ IF EXIST ..\..\..\external\slang-glslang\bin\windows-aarch64\release\slang-glsla
     <ClCompile Include="..\..\..\source\slang\slang-ir-legalize-types.cpp" />

     <ClCompile Include="..\..\..\source\slang\slang-ir-legalize-uniform-buffer-load.cpp" />

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

+    <ClCompile Include="..\..\..\source\slang\slang-ir-legalize-vector-types.cpp" />

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

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

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

@@ -715,6 +718,7 @@ IF EXIST ..\..\..\external\slang-glslang\bin\windows-aarch64\release\slang-glsla
     <ClCompile Include="..\..\..\source\slang\slang-spirv-core-grammar-embed.cpp" />

     <ClCompile Include="..\..\..\source\slang\slang-spirv-val.cpp" />

     <ClCompile Include="..\..\..\source\slang\slang-stdlib-api.cpp" />

+    <ClCompile Include="..\..\..\source\slang\slang-stdlib-textures.cpp" />

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

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

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

diff --git a/build/visual-studio/slang/slang.vcxproj.filters b/build/visual-studio/slang/slang.vcxproj.filters
index 3e89626be..193358c37 100644
--- a/build/visual-studio/slang/slang.vcxproj.filters
+++ b/build/visual-studio/slang/slang.vcxproj.filters
@@ -300,6 +300,9 @@
     <ClInclude Include="..\..\..\source\slang\slang-ir-legalize-varying-params.h">

       <Filter>Header Files</Filter>

     </ClInclude>

+    <ClInclude Include="..\..\..\source\slang\slang-ir-legalize-vector-types.h">

+      <Filter>Header Files</Filter>

+    </ClInclude>

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

       <Filter>Header Files</Filter>

     </ClInclude>

@@ -603,6 +606,9 @@
     <ClInclude Include="..\..\..\source\slang\slang-spirv-val.h">

       <Filter>Header Files</Filter>

     </ClInclude>

+    <ClInclude Include="..\..\..\source\slang\slang-stdlib-textures.h">

+      <Filter>Header Files</Filter>

+    </ClInclude>

     <ClInclude Include="..\..\..\source\slang\slang-syntax.h">

       <Filter>Header Files</Filter>

     </ClInclude>

@@ -932,6 +938,9 @@
     <ClCompile Include="..\..\..\source\slang\slang-ir-legalize-varying-params.cpp">

       <Filter>Source Files</Filter>

     </ClCompile>

+    <ClCompile Include="..\..\..\source\slang\slang-ir-legalize-vector-types.cpp">

+      <Filter>Source Files</Filter>

+    </ClCompile>

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

       <Filter>Source Files</Filter>

     </ClCompile>

@@ -1229,6 +1238,9 @@
     <ClCompile Include="..\..\..\source\slang\slang-stdlib-api.cpp">

       <Filter>Source Files</Filter>

     </ClCompile>

+    <ClCompile Include="..\..\..\source\slang\slang-stdlib-textures.cpp">

+      <Filter>Source Files</Filter>

+    </ClCompile>

     <ClCompile Include="..\..\..\source\slang\slang-stdlib.cpp">

       <Filter>Source Files</Filter>

     </ClCompile>