Merge pull request #321 from dgkoch/dgkoch_asc5

Add SPIR-V mapping for ARB_shader_clock
diff --git a/extensions/ARB/ARB_shader_clock.txt b/extensions/ARB/ARB_shader_clock.txt
index 7f7b085..c6bca47 100644
--- a/extensions/ARB/ARB_shader_clock.txt
+++ b/extensions/ARB/ARB_shader_clock.txt
@@ -15,6 +15,7 @@
     Timothy Lottes, AMD
     Graham Sellers, AMD
     Daniel Rakos, AMD
+    Daniel Koch, NVIDIA
 
 Notice
 
@@ -38,8 +39,8 @@
 
 Version
 
-    Last Modified Date: 06/17/2015
-    Revision: 4
+    Last Modified Date: 10/29/2019
+    Revision: 5
 
 Number
 
@@ -58,6 +59,16 @@
     counter which may be used to derive local timing information within
     a single shader invocation.
 
+    Mapping to SPIR-V
+    -----------------
+
+    For informational purposes (non-specification), the following is an
+    expected way for an implementation to map GLSL constructs to SPIR-V
+    constructs:
+
+        clock2x32ARB -> OpReadClockKHR with a Scope of Subgroup, Result type of uvec2
+        clockARB -> OpReadClockKHR with a Scope of Subgroup, Result type of uitn64_t
+
 New Procedures and Functions
 
     None.
@@ -134,3 +145,4 @@
       2  04/20/2015  tlottes   Now uint64, noted code motion barrier.
       3  04/22/2015  gsellers  Add clock2x32ARB. Add interaction with gpu_shader_64.
       4  06/17/2015  gsellers  General tidyment. Add issue 2.
+      5  10/28/2019  dgkoch    Add mapping to SPIR-V section.