Initial capability implementation and unit tests

* Register capabilility and checks
* Add validate storage class capabilities checks and tests
* Instruction pass refactor
  - More generic form of capability checking by checking operands
    instead of instructions
* Execution Model capabilities checks
* Decorate BuiltIn capability checks
* Addressing Model capability checks
* Memory Model capability checks
* Execution Mode capability checks
* Dim capability checks
* SamplerAddressingMode capability checks

CMakeLists.txt

@@ -234,6 +234,7 @@ if (NOT ${SPIRV_SKIP_EXECUTABLES})
       ${CMAKE_CURRENT_SOURCE_DIR}/test/TextWordGet.cpp
       ${CMAKE_CURRENT_SOURCE_DIR}/test/UnitSPIRV.cpp
       ${CMAKE_CURRENT_SOURCE_DIR}/test/ValidateFixtures.cpp
+      ${CMAKE_CURRENT_SOURCE_DIR}/test/Validate.Capability.cpp
       ${CMAKE_CURRENT_SOURCE_DIR}/test/Validate.Layout.cpp
       ${CMAKE_CURRENT_SOURCE_DIR}/test/Validate.SSA.cpp
       ${CMAKE_CURRENT_SOURCE_DIR}/test/ValidateID.cpp

include/libspirv/libspirv.h

@@ -76,6 +76,7 @@ typedef enum spv_result_t {
   SPV_ERROR_INVALID_ID = -10,
   SPV_ERROR_INVALID_CFG = -11,
   SPV_ERROR_INVALID_LAYOUT = -12,
+  SPV_ERROR_INVALID_CAPABILITY = -13,
   SPV_FORCE_32_BIT_ENUM(spv_result_t)
 } spv_result_t;
 

source/validate.h

@@ -261,6 +261,12 @@ class ValidationState_t {
   std::vector<uint32_t>& entry_points() { return entry_points_; }
   const std::vector<uint32_t>& entry_points() const { return entry_points_; }
 
+  // Registers the capability and its dependent capabilities
+  void registerCapability(SpvCapability cap);
+
+  // Returns true if the capabillity is enabled in the module
+  bool hasCapability(SpvCapability cap);
+
  private:
   spv_diagnostic* diagnostic_;
   // Tracks the number of instructions evaluated by the validator
@@ -279,13 +285,14 @@ class ValidationState_t {
 
   Functions module_functions_;
 
-  std::vector<SpvCapability> module_capabilities_;
+  std::vector<bool> module_capabilities_;
 
   // Definitions and uses of all the IDs in the module.
   UseDefTracker usedefs_;
 
   // IDs that are entry points, ie, arguments to OpEntryPoint.
   std::vector<uint32_t> entry_points_;
+
 };
 
 }  // namespace libspirv