SPV subgroups: Semantic check that SPIR-V 1.3 is targeted.

glslang/Include/intermediate.h

@@ -471,6 +471,7 @@ enum TOperator {
     EOpAllInvocations,
     EOpAllInvocationsEqual,
 
+    EOpSubgroupGuardStart,
     EOpSubgroupBarrier,
     EOpSubgroupMemoryBarrier,
     EOpSubgroupMemoryBarrierBuffer,
@@ -526,6 +527,7 @@ enum TOperator {
     EOpSubgroupQuadSwapHorizontal,
     EOpSubgroupQuadSwapVertical,
     EOpSubgroupQuadSwapDiagonal,
+    EOpSubgroupGuardStop,
 
 #ifdef AMD_EXTENSIONS
     EOpMinInvocations,

glslang/MachineIndependent/ParseHelper.cpp

@@ -1631,6 +1631,12 @@ void TParseContext::builtInOpCheck(const TSourceLoc& loc, const TFunction& fnCan
     default:
         break;
     }
+
+    if (callNode.getOp() > EOpSubgroupGuardStart && callNode.getOp() < EOpSubgroupGuardStop) {
+        // these require SPIR-V 1.3
+        if (spvVersion.spv > 0 && spvVersion.spv < 0x00010300)
+            error(loc, "requires SPIR-V 1.3", "subgroup op", "");
+    }
 }
 
 extern bool PureOperatorBuiltins;

gtests/Spv.FromFile.cpp

@@ -336,6 +336,7 @@ INSTANTIATE_TEST_CASE_P(
         "spv.storageBuffer.vert",
         "spv.precise.tese",
         "spv.precise.tesc",
+        "spv.vulkan100.subgroupArithmetic.comp",
         "spv.xfb.vert",
         "spv.xfb2.vert",
         "spv.xfb3.vert",