Support derivative functions in compute & capabilities adjustments (#4014)

* Support derivative functions in compute & capabilities adjustments

fixes #4000

PR implements derivative functions in compute shaders properly so we have the functionality for SPIR-V & GLSL. Tests reflect fragment and compute paths.

PR also adjusts capabilities to correct wrong SPRI-V target capabilities for when using textures.

Remarks:
1. __requireComputeDerivative(); is a intrinsic_op and not modifier since inlining will destroy the modifier.
2. Derivative mode is tied to an entry point decoration `[DerivativeGroupQuad]`/`[DerivativeGroupLinear]` or GLSL syntax ``derivative_group_linearNV`. Default is to set the mode to `[DerivativeGroupQuad]`

* remove -emit-spirv-directly

* fixes

1. fix minor issue fwidth change where I returned the wrong type
2. fix issue where glslang{glsl->spirv} is wrong, so we don't run that test and just run the glsl test & direct spir-v test for intrinsic-texture.slang

* adjust as per review and refine code

1. add test to ensure multi-diverging-in-logic entry points work -- 2 functions which may cause computeDerivatives + 1 that uses, 1 that does not.
2. naming
3. use entry point ref graph for c-like-targets
4. reordered some code to util's and removed `static linline` since that was just for ease of coding on my end (should not have been pushed).

* Grammer

* split up source file + issolate GLSL emit path change.

---------

Co-authored-by: Yong He <yonghe@outlook.com>

2 files changed, 8 insertions, 0 deletions

diff --git a/build/visual-studio/slang/slang.vcxproj b/build/visual-studio/slang/slang.vcxproj
index acf6df922..1926f88cd 100644
--- a/build/visual-studio/slang/slang.vcxproj
+++ b/build/visual-studio/slang/slang.vcxproj
@@ -373,6 +373,7 @@ IF EXIST ..\..\..\external\slang-glslang\bin\windows-aarch64\release\slang-glsla
     <ClInclude Include="..\..\..\source\slang\slang-ir-bind-existentials.h" />

     <ClInclude Include="..\..\..\source\slang\slang-ir-bit-field-accessors.h" />

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

+    <ClInclude Include="..\..\..\source\slang\slang-ir-call-graph.h" />

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

     <ClInclude Include="..\..\..\source\slang\slang-ir-check-recursive-type.h" />

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

@@ -604,6 +605,7 @@ IF EXIST ..\..\..\external\slang-glslang\bin\windows-aarch64\release\slang-glsla
     <ClCompile Include="..\..\..\source\slang\slang-ir-bind-existentials.cpp" />

     <ClCompile Include="..\..\..\source\slang\slang-ir-bit-field-accessors.cpp" />

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

+    <ClCompile Include="..\..\..\source\slang\slang-ir-call-graph.cpp" />

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

     <ClCompile Include="..\..\..\source\slang\slang-ir-check-recursive-type.cpp" />

     <ClCompile Include="..\..\..\source\slang\slang-ir-check-unsupported-inst.cpp" />

diff --git a/build/visual-studio/slang/slang.vcxproj.filters b/build/visual-studio/slang/slang.vcxproj.filters
index 4b60068b3..64e3af88e 100644
--- a/build/visual-studio/slang/slang.vcxproj.filters
+++ b/build/visual-studio/slang/slang.vcxproj.filters
@@ -207,6 +207,9 @@
     <ClInclude Include="..\..\..\source\slang\slang-ir-byte-address-legalize.h">

       <Filter>Header Files</Filter>

     </ClInclude>

+    <ClInclude Include="..\..\..\source\slang\slang-ir-call-graph.h">

+      <Filter>Header Files</Filter>

+    </ClInclude>

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

       <Filter>Header Files</Filter>

     </ClInclude>

@@ -896,6 +899,9 @@
     <ClCompile Include="..\..\..\source\slang\slang-ir-byte-address-legalize.cpp">

       <Filter>Source Files</Filter>

     </ClCompile>

+    <ClCompile Include="..\..\..\source\slang\slang-ir-call-graph.cpp">

+      <Filter>Source Files</Filter>

+    </ClCompile>

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

       <Filter>Source Files</Filter>

     </ClCompile>