Fix typo and add error test

Author: cassiebeckley

docs/SPIR-V.rst

@@ -4020,9 +4020,9 @@ Multiprefix   ``WaveMultiPrefixBitXor()``  ``OpGroupNonUniformLogicalXor``     `
 ============= ============================ =================================== ==============================
 
 ``QuadAny`` and ``QuadAll`` will use the ``OpGroupNonUniformQuadAnyKHR`` and
-``OpGroupNonUniformQuadAllKHR`` if the ``SPV_KHR_quad_control`` extension is
-enabled. If it is not, they will fall back to constructing the value using
-multiple calls to ``OpGroupNonUniformQuadBroadcast``.
+``OpGroupNonUniformQuadAllKHR`` instructions if the ``SPV_KHR_quad_control``
+extension is enabled. If it is not, they will fall back to constructing the
+value using multiple calls to ``OpGroupNonUniformQuadBroadcast``.
 
 The Implicit ``vk`` Namespace
 =============================

tools/clang/test/CodeGenSPIRV/sm6.quad-any-all.hlsl

@@ -1,5 +1,6 @@
 // RUN: %dxc -T cs_6_0 -E main -fspv-target-env=vulkan1.1 -fcgl  %s -spirv | FileCheck %s --check-prefixes=CHECK,QUAD
 // RUN: %dxc -T cs_6_0 -E main -fspv-target-env=vulkan1.1 -fspv-extension=SPV_KHR_16bit_storage -fcgl  %s -spirv | FileCheck %s --check-prefixes=CHECK,NOQUAD
+// RUN: not %dxc -T cs_6_0 -E main -fspv-target-env=vulkan1.0 -fcgl  %s -spirv 2>&1 | FileCheck %s --check-prefixes=ERROR
 
 // CHECK: ; Version: 1.3
 
@@ -21,6 +22,8 @@ void main(uint3 id: SV_DispatchThreadID) {
 // NOQUAD-NEXT:  [[or1:%[0-9]+]] = OpLogicalOr %bool [[or0]] [[inv1]]
 // NOQUAD-NEXT: [[inv2:%[0-9]+]] = OpGroupNonUniformQuadSwap %bool %uint_3 [[val1]] %uint_2
 // NOQUAD-NEXT:  [[or2:%[0-9]+]] = OpLogicalOr %bool [[or1]] [[inv2]]
+
+// ERROR: 27:24: error: Vulkan 1.1 is required for Wave Operation but not permitted to use
     values[outIdx].x = QuadAny(outIdx % 4 == 0) ? 1.0 : 2.0;
 
 // CHECK:        [[val2:%[0-9]+]] = OpIEqual %bool {{%[0-9]+}}
@@ -32,5 +35,7 @@ void main(uint3 id: SV_DispatchThreadID) {
 // NOQUAD-NEXT:  [[or1:%[0-9]+]] = OpLogicalAnd %bool [[or0]] [[inv1]]
 // NOQUAD-NEXT: [[inv2:%[0-9]+]] = OpGroupNonUniformQuadSwap %bool %uint_3 [[val2]] %uint_2
 // NOQUAD-NEXT:  [[or2:%[0-9]+]] = OpLogicalAnd %bool [[or1]] [[inv2]]
+
+// ERROR: 40:24: error: Vulkan 1.1 is required for Wave Operation but not permitted to use
     values[outIdx].y = QuadAll(outIdx % 2 == 0) ? 3.0 : 4.0;
 }