Capability def parsing & codegen + disjoint sets (#3451)

* Capability def parsing & codegen + disjoint sets

This change adds a capability definition file, and a code generator
to produce C++ code that defines the capability enums and necessary
data structures around the capabilities.

Extends the existing CapabilitySet class to support expressing
disjoint sets of capabilities. This sets up for the next change
that will enhance our type checking with reasoning of capability
requirements.

* Fix cmake.

* Fix warning.

* Fix.

* Fix isBetterForTarget to prefer less specialized option.

* Fix.

* Fix premake.

* Fix intrinsic.

* Fix vs sln file.

---------

Co-authored-by: Yong He <yhe@nvidia.com>

6 files changed, 46 insertions, 4 deletions

diff --git a/build/visual-studio/compiler-core/compiler-core.vcxproj b/build/visual-studio/compiler-core/compiler-core.vcxproj
index e2202aaca..22a19abb9 100644
--- a/build/visual-studio/compiler-core/compiler-core.vcxproj
+++ b/build/visual-studio/compiler-core/compiler-core.vcxproj
@@ -306,6 +306,7 @@
     <ClInclude Include="..\..\..\source\compiler-core\slang-name-convention-util.h" />

     <ClInclude Include="..\..\..\source\compiler-core\slang-name.h" />

     <ClInclude Include="..\..\..\source\compiler-core\slang-nvrtc-compiler.h" />

+    <ClInclude Include="..\..\..\source\compiler-core\slang-perfect-hash-codegen.h" />

     <ClInclude Include="..\..\..\source\compiler-core\slang-perfect-hash.h" />

     <ClInclude Include="..\..\..\source\compiler-core\slang-slice-allocator.h" />

     <ClInclude Include="..\..\..\source\compiler-core\slang-source-embed-util.h" />

@@ -354,6 +355,7 @@
     <ClCompile Include="..\..\..\source\compiler-core\slang-name-convention-util.cpp" />

     <ClCompile Include="..\..\..\source\compiler-core\slang-name.cpp" />

     <ClCompile Include="..\..\..\source\compiler-core\slang-nvrtc-compiler.cpp" />

+    <ClCompile Include="..\..\..\source\compiler-core\slang-perfect-hash-codegen.cpp" />

     <ClCompile Include="..\..\..\source\compiler-core\slang-perfect-hash.cpp" />

     <ClCompile Include="..\..\..\source\compiler-core\slang-slice-allocator.cpp" />

     <ClCompile Include="..\..\..\source\compiler-core\slang-source-embed-util.cpp" />

diff --git a/build/visual-studio/compiler-core/compiler-core.vcxproj.filters b/build/visual-studio/compiler-core/compiler-core.vcxproj.filters
index 2d4e3663d..eb1d52dfb 100644
--- a/build/visual-studio/compiler-core/compiler-core.vcxproj.filters
+++ b/build/visual-studio/compiler-core/compiler-core.vcxproj.filters
@@ -132,6 +132,9 @@
     <ClInclude Include="..\..\..\source\compiler-core\slang-nvrtc-compiler.h">

       <Filter>Header Files</Filter>

     </ClInclude>

+    <ClInclude Include="..\..\..\source\compiler-core\slang-perfect-hash-codegen.h">

+      <Filter>Header Files</Filter>

+    </ClInclude>

     <ClInclude Include="..\..\..\source\compiler-core\slang-perfect-hash.h">

       <Filter>Header Files</Filter>

     </ClInclude>

@@ -272,6 +275,9 @@
     <ClCompile Include="..\..\..\source\compiler-core\slang-nvrtc-compiler.cpp">

       <Filter>Source Files</Filter>

     </ClCompile>

+    <ClCompile Include="..\..\..\source\compiler-core\slang-perfect-hash-codegen.cpp">

+      <Filter>Source Files</Filter>

+    </ClCompile>

     <ClCompile Include="..\..\..\source\compiler-core\slang-perfect-hash.cpp">

       <Filter>Source Files</Filter>

     </ClCompile>

diff --git a/build/visual-studio/run-generators/run-generators.vcxproj b/build/visual-studio/run-generators/run-generators.vcxproj
index 8a143c391..dbd3a3947 100644
--- a/build/visual-studio/run-generators/run-generators.vcxproj
+++ b/build/visual-studio/run-generators/run-generators.vcxproj
@@ -319,6 +319,23 @@
       <AdditionalInputs Condition="'$(Configuration)|$(Platform)'=='Release|x64'">../../../bin/windows-x64/release/slang-cpp-extractor.exe;../../../source/slang/slang-ast-support-types.h;../../../source/slang/slang-ast-base.h;../../../source/slang/slang-ast-decl.h;../../../source/slang/slang-ast-expr.h;../../../source/slang/slang-ast-modifier.h;../../../source/slang/slang-ast-stmt.h;../../../source/slang/slang-ast-type.h;../../../source/slang/slang-ast-val.h</AdditionalInputs>

       <AdditionalInputs Condition="'$(Configuration)|$(Platform)'=='Release aarch64|ARM64'">../../../bin/windows-aarch64/release/slang-cpp-extractor.exe;../../../source/slang/slang-ast-support-types.h;../../../source/slang/slang-ast-base.h;../../../source/slang/slang-ast-decl.h;../../../source/slang/slang-ast-expr.h;../../../source/slang/slang-ast-modifier.h;../../../source/slang/slang-ast-stmt.h;../../../source/slang/slang-ast-type.h;../../../source/slang/slang-ast-val.h</AdditionalInputs>

     </CustomBuild>

+    <CustomBuild Include="..\..\..\source\slang\slang-capabilities.capdef">

+      <FileType>Document</FileType>

+      <Command Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">"../../../bin/windows-x86/debug/slang-capability-generator" "%(FullPath)"</Command>

+      <Command Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">"../../../bin/windows-x64/debug/slang-capability-generator" "%(FullPath)"</Command>

+      <Command Condition="'$(Configuration)|$(Platform)'=='Debug aarch64|ARM64'">"../../../bin/windows-aarch64/debug/slang-capability-generator" "%(FullPath)"</Command>

+      <Command Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">"../../../bin/windows-x86/release/slang-capability-generator" "%(FullPath)"</Command>

+      <Command Condition="'$(Configuration)|$(Platform)'=='Release|x64'">"../../../bin/windows-x64/release/slang-capability-generator" "%(FullPath)"</Command>

+      <Command Condition="'$(Configuration)|$(Platform)'=='Release aarch64|ARM64'">"../../../bin/windows-aarch64/release/slang-capability-generator" "%(FullPath)"</Command>

+      <Outputs>../../../source/slang/slang-generated-capability-defs.h</Outputs>

+      <Message>slang-capability-generator %(Identity)</Message>

+      <AdditionalInputs Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">../../../source/slang/slang-capabilities.capdef;../../../bin/windows-x86/debug/slang-capability-generator.exe</AdditionalInputs>

+      <AdditionalInputs Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">../../../source/slang/slang-capabilities.capdef;../../../bin/windows-x64/debug/slang-capability-generator.exe</AdditionalInputs>

+      <AdditionalInputs Condition="'$(Configuration)|$(Platform)'=='Debug aarch64|ARM64'">../../../source/slang/slang-capabilities.capdef;../../../bin/windows-aarch64/debug/slang-capability-generator.exe</AdditionalInputs>

+      <AdditionalInputs Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">../../../source/slang/slang-capabilities.capdef;../../../bin/windows-x86/release/slang-capability-generator.exe</AdditionalInputs>

+      <AdditionalInputs Condition="'$(Configuration)|$(Platform)'=='Release|x64'">../../../source/slang/slang-capabilities.capdef;../../../bin/windows-x64/release/slang-capability-generator.exe</AdditionalInputs>

+      <AdditionalInputs Condition="'$(Configuration)|$(Platform)'=='Release aarch64|ARM64'">../../../source/slang/slang-capabilities.capdef;../../../bin/windows-aarch64/release/slang-capability-generator.exe</AdditionalInputs>

+    </CustomBuild>

   </ItemGroup>

   <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />

   <ImportGroup Label="ExtensionTargets">

diff --git a/build/visual-studio/run-generators/run-generators.vcxproj.filters b/build/visual-studio/run-generators/run-generators.vcxproj.filters
index 12c02fd18..c3c8330a8 100644
--- a/build/visual-studio/run-generators/run-generators.vcxproj.filters
+++ b/build/visual-studio/run-generators/run-generators.vcxproj.filters
@@ -7,6 +7,12 @@
     <Filter Include="Source Files">

       <UniqueIdentifier>{E9C7FDCE-D52A-8D73-7EB0-C5296AF258F6}</UniqueIdentifier>

     </Filter>

+    <Filter Include="source">

+      <UniqueIdentifier>{76FF3A1C-62A1-65F2-4B5C-7946379DEC42}</UniqueIdentifier>

+    </Filter>

+    <Filter Include="source\slang">

+      <UniqueIdentifier>{9A9B9613-86FE-25B8-2F84-5E6E1BC6F13A}</UniqueIdentifier>

+    </Filter>

   </ItemGroup>

   <ItemGroup>

     <ClInclude Include="..\..\..\prelude\slang-cpp-scalar-intrinsics.h">

@@ -58,5 +64,8 @@
     <CustomBuild Include="..\..\..\source\slang\slang-ast-reflect.h">

       <Filter>Header Files</Filter>

     </CustomBuild>

+    <CustomBuild Include="..\..\..\source\slang\slang-capabilities.capdef">

+      <Filter>source\slang</Filter>

+    </CustomBuild>

   </ItemGroup>

 </Project>
\ No newline at end of file
diff --git a/build/visual-studio/slang/slang.vcxproj b/build/visual-studio/slang/slang.vcxproj
index 30fe5d1bb..123bc734d 100644
--- a/build/visual-studio/slang/slang.vcxproj
+++ b/build/visual-studio/slang/slang.vcxproj
@@ -325,7 +325,6 @@ IF EXIST ..\..\..\external\slang-glslang\bin\windows-aarch64\release\slang-glsla
     <ClInclude Include="..\..\..\source\slang\slang-ast-synthesis.h" />

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

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

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

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

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

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

@@ -347,6 +346,8 @@ IF EXIST ..\..\..\external\slang-glslang\bin\windows-aarch64\release\slang-glsla
     <ClInclude Include="..\..\..\source\slang\slang-emit-spirv-ops-debug-info-ext.h" />

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

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

+    <ClInclude Include="..\..\..\source\slang\slang-generated-capability-defs-impl.h" />

+    <ClInclude Include="..\..\..\source\slang\slang-generated-capability-defs.h" />

     <ClInclude Include="..\..\..\source\slang\slang-glsl-extension-tracker.h" />

     <ClInclude Include="..\..\..\source\slang\slang-hlsl-to-vulkan-layout-options.h" />

     <ClInclude Include="..\..\..\source\slang\slang-image-format-defs.h" />

@@ -698,6 +699,7 @@ IF EXIST ..\..\..\external\slang-glslang\bin\windows-aarch64\release\slang-glsla
     <ClCompile Include="..\..\..\source\slang\slang-language-server-semantic-tokens.cpp" />

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

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

+    <ClCompile Include="..\..\..\source\slang\slang-lookup-capability-defs.cpp" />

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

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

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

diff --git a/build/visual-studio/slang/slang.vcxproj.filters b/build/visual-studio/slang/slang.vcxproj.filters
index 320886c18..9f91b13f1 100644
--- a/build/visual-studio/slang/slang.vcxproj.filters
+++ b/build/visual-studio/slang/slang.vcxproj.filters
@@ -63,9 +63,6 @@
     <ClInclude Include="..\..\..\source\slang\slang-ast-val.h">

       <Filter>Header Files</Filter>

     </ClInclude>

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

-      <Filter>Header Files</Filter>

-    </ClInclude>

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

       <Filter>Header Files</Filter>

     </ClInclude>

@@ -129,6 +126,12 @@
     <ClInclude Include="..\..\..\source\slang\slang-emit-torch.h">

       <Filter>Header Files</Filter>

     </ClInclude>

+    <ClInclude Include="..\..\..\source\slang\slang-generated-capability-defs-impl.h">

+      <Filter>Header Files</Filter>

+    </ClInclude>

+    <ClInclude Include="..\..\..\source\slang\slang-generated-capability-defs.h">

+      <Filter>Header Files</Filter>

+    </ClInclude>

     <ClInclude Include="..\..\..\source\slang\slang-glsl-extension-tracker.h">

       <Filter>Header Files</Filter>

     </ClInclude>

@@ -1178,6 +1181,9 @@
     <ClCompile Include="..\..\..\source\slang\slang-legalize-types.cpp">

       <Filter>Source Files</Filter>

     </ClCompile>

+    <ClCompile Include="..\..\..\source\slang\slang-lookup-capability-defs.cpp">

+      <Filter>Source Files</Filter>

+    </ClCompile>

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

       <Filter>Source Files</Filter>

     </ClCompile>