spec source for new extensions (#711)

* extension specifications for

cl_khr_extended_async_copies
cl_khr_async_copy_fence
cl_khr_expect_assume
cl_khr_command_buffer (provisional)

* update syntax highlighting for new extensions

* Make a sub-section a sub-sub-section

* Apply suggestions from code review

Co-authored-by: Alastair Murray <alastair.murray@codeplay.com>

* Update xml/cl.xml with command buffer extension version

Co-authored-by: Alastair Murray <alastair.murray@codeplay.com>

* remove INFO from the command buffer query enums

* Apply suggestions from code review

Co-authored-by: Alastair Murray <alastair.murray@codeplay.com>

* use the refcount footnote

Co-authored-by: Alastair Murray <alastair.murray@codeplay.com>

* Split double use of `cl_command_buffer_properties_khr`

1. Change type of `cl_command_buffer_properties_khr` to `cl_properties`
2. Add a new `cl_command_buffer_flags_khr` type.
3. Rename `CL_COMMAND_BUFFER_PROPERTIES_KHR` to `CL_COMMAND_BUFFER_FLAGS_KHR`.
  3a. Change the expected type of this to `cl_command_buffer_flags_khr`.
4. Change type of `cl_ndrange_kernel_command_properties_khr` to `cl_properties`

Co-authored-by: Alastair Murray <alastair.murray@codeplay.com>

Author: bashbaug

OpenCL_Ext.txt

@@ -100,6 +100,9 @@ include::ext/cl_khr_semaphore.asciidoc[]
 include::ext/cl_khr_external_semaphore.asciidoc[]
 include::ext/cl_khr_external_memory.asciidoc[]
 
+include::ext/cl_khr_command_buffer.asciidoc[]
+include::ext/cl_khr_expect_assume.asciidoc[]
+
 // NOTE: To keep meaningful section numbers, new
 // extension documents should be added above here!
 

config/rouge/lib/rouge/lexers/opencl.rb

@@ -68,6 +68,7 @@ class OpenCL < Cpp
         cl_kernel
         cl_event
         cl_sampler
+        cl_semaphore_khr
         cl_bool
         cl_bitfield
         cl_properties
@@ -140,6 +141,20 @@ class OpenCL < Cpp
         cl_command_queue_capabilities_intel
         cl_device_feature_capabilities_intel
         cl_device_integer_dot_product_capabilities_khr
+        cl_semaphore_properties_khr
+        cl_semaphore_info_khr
+        cl_semaphore_type_khr
+        cl_semaphore_payload_khr
+        cl_external_semaphore_handle_type_khr
+        cl_external_memory_handle_type_khr
+        cl_device_command_buffer_capabilities_khr
+        cl_command_buffer_khr
+        cl_sync_point_khr
+        cl_command_buffer_info_khr
+        cl_command_buffer_state_khr
+        cl_command_buffer_properties_khr
+        cl_ndrange_kernel_command_properties_khr
+        cl_mutable_command_khr
         cl_dx9_surface_info_khr
         cl_motion_estimation_desc_intel
         cl_mem_ext_host_ptr

config/rouge/lib/rouge/lexers/opencl_c.rb

@@ -68,6 +68,9 @@ class OpenCL_C < Cpp
         as_short2
         as_short8
         as_uint
+        async_work_group_copy_fence
+        async_work_group_copy_2D2D
+        async_work_group_copy_3D3D
         atomic_compare_exchange_strong
         atomic_compare_exchange_strong_explicit
         atomic_compare_exchange_weak

env/extensions.asciidoc

@@ -339,6 +339,14 @@ declare the following SPIR-V capabilities:
 * *DotProductInput4x8BitKHR* if `CL_DEVICE_INTEGER_DOT_PRODUCT_INPUT_4x8BIT_KHR` is supported
 * *DotProductInput4x8BitPackedKHR*
 
+==== `cl_khr_expect_assume`
+
+If the OpenCL environment supports the extension `cl_khr_expect_assume`, then the environment must accept modules that declare use of the extension `SPV_KHR_expect_assume` via *OpExtension*.
+
+If the OpenCL environment supports the extension `cl_khr_expect_assume` and use of the SPIR-V extension `SPV_KHR_expect_assume` is declared in the module via *OpExtension*, then the environment must accept modules that declare the following SPIR-V capabilities:
+
+* *ExpectAssumeKHR*
+
 === Embedded Profile Extensions
 
 ==== `cles_khr_int64`

ext/cl_khr_async_work_group_copy_fence.asciidoc

@@ -3,9 +3,9 @@
 // http://creativecommons.org/licenses/by/4.0/
 
 [[cl_khr_async_work_group_copy_fence]]
-== Async Work Group Copy Fence (Provisional)
+== Async Work Group Copy Fence
 
-This section describes the *cl_khr_async_work_group_copy_fence* provisional extension.
+This section describes the *cl_khr_async_work_group_copy_fence* extension.
 The extension adds a new built-in function to OpenCL C to establish a memory synchronization ordering of asynchronous copies.
 
 === General information
@@ -16,6 +16,7 @@ The extension adds a new built-in function to OpenCL C to establish a memory syn
 |====
 | *Date*     | *Version* | *Description*
 | 2020-04-21 | 0.9.0     | First assigned version (provisional).
+| 2021-11-10 | 1.0.0     | First non-provisional version.
 |====
 
 [[cl_khr_async_work_group_copy_fence-additions-to-chapter-6-of-the-opencl-specification]]
@@ -54,5 +55,3 @@ work-group executing the kernel with the same argument values;
 otherwise the results are undefined. This rule applies to ND-ranges
 implemented with uniform and non-uniform work-groups.
 |=======================================================================
-
-NOTE: This is a preview of an OpenCL provisional extension specification that has been Ratified under the Khronos Intellectual Property Framework. It is being made publicly available prior to being uploaded to the Khronos registry to enable review and feedback from the community. If you have feedback please create an issue on https://github.com/KhronosGroup/OpenCL-Docs/