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>

1 files changed, 12 insertions, 11 deletions

diff --git a/source/slang/slang-doc-markdown-writer.cpp b/source/slang/slang-doc-markdown-writer.cpp
index de7695d18..77b239437 100644
--- a/source/slang/slang-doc-markdown-writer.cpp
+++ b/source/slang/slang-doc-markdown-writer.cpp
@@ -432,20 +432,21 @@ static DocMarkdownWriter::Requirement _getRequirementFromTargetToken(const Token
         return Requirement{CodeGenTarget::SPIRV, UnownedStringSlice("")};
     }
 
-    const CapabilityAtom targetCap = findCapabilityAtom(targetName);
+    const CapabilityAtom targetCap = (CapabilityAtom)findCapabilityName(targetName);
 
     if (targetCap == CapabilityAtom::Invalid)
     {
         return Requirement{ CodeGenTarget::None, String() };
     }
+    SLANG_ASSERT(targetCap < CapabilityAtom::Count);
 
     static const CapabilityAtom rootAtoms[] =
     {
-        CapabilityAtom::GLSL,
-        CapabilityAtom::HLSL,
-        CapabilityAtom::CUDA,
-        CapabilityAtom::CPP,
-        CapabilityAtom::C,
+        CapabilityAtom::glsl,
+        CapabilityAtom::hlsl,
+        CapabilityAtom::cuda,
+        CapabilityAtom::cpp,
+        CapabilityAtom::c,
     };
 
     for (auto rootAtom : rootAtoms)
@@ -458,23 +459,23 @@ static DocMarkdownWriter::Requirement _getRequirementFromTargetToken(const Token
         }
     }
 
-    if (isCapabilityDerivedFrom(targetCap, CapabilityAtom::GLSL))
+    if (isCapabilityDerivedFrom(targetCap, CapabilityAtom::glsl))
     {
         return Requirement{CodeGenTarget::GLSL, targetName};
     }
-    else if (isCapabilityDerivedFrom(targetCap, CapabilityAtom::HLSL))
+    else if (isCapabilityDerivedFrom(targetCap, CapabilityAtom::hlsl))
     {
         return Requirement{ CodeGenTarget::HLSL, targetName };
     }
-    else if (isCapabilityDerivedFrom(targetCap, CapabilityAtom::CUDA))
+    else if (isCapabilityDerivedFrom(targetCap, CapabilityAtom::cuda))
     {
         return Requirement{ CodeGenTarget::CUDASource, targetName };
     }
-    else if (isCapabilityDerivedFrom(targetCap, CapabilityAtom::CPP))
+    else if (isCapabilityDerivedFrom(targetCap, CapabilityAtom::cpp))
     {
         return Requirement{ CodeGenTarget::CPPSource, targetName };
     }
-    else if (isCapabilityDerivedFrom(targetCap, CapabilityAtom::C))
+    else if (isCapabilityDerivedFrom(targetCap, CapabilityAtom::c))
     {
         return Requirement{ CodeGenTarget::CSource, targetName };
     }