OpenCL C: Update ULP requirements for half-precision divide and recip…

…rocal (#1293) * OpenCL C: Update ULP requirements for half-precision divide and reciprocal Update ULP requirements for these builtins to 1.0 as per discussion on #1278 * Restrict update to divide for now * Update SPIR-V environment spec to set fp-16 divide ULP to 1.0 * relax reciprocal ULP requirement also --------- Co-authored-by: Ben Ashbaugh <[email protected]>
KhronosGroup · Jan 21, 2025 · 19801fa · 19801fa
1 parent 532b6ea
commit 19801fa
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/OpenCL_C.txt b/OpenCL_C.txt
@@ -16288,8 +16288,8 @@ is the infinitely precise result.
 | *_x_ + _y_*   | Correctly rounded             | Correctly rounded
 | *_x_ - _y_*   | Correctly rounded             | Correctly rounded
 | *_x_ * _y_*   | Correctly rounded             | Correctly rounded
-| *1.0 / _x_*   | Correctly rounded             | \<= 1 ulp
-| *_x_ / _y_*   | Correctly rounded             | \<= 1 ulp
+| *1.0 / _x_*   | \<= 1 ulp                     | \<= 1 ulp
+| *_x_ / _y_*   | \<= 1 ulp                     | \<= 1 ulp
 | | |
 | *acos*        | \<= 2 ulp                     | \<= 3 ulp
 | *acosh*       | \<= 2 ulp                     | \<= 3 ulp

diff --git a/env/numerical_compliance.asciidoc b/env/numerical_compliance.asciidoc
@@ -196,7 +196,7 @@ given as ULP values for the full profile.
 | *OpFDiv*
 | Correctly rounded
 | \<= 2.5 ulp
-| Correctly rounded
+| \<= 1.0 ulp
 
 | *OpExtInst* *acos*
 | \<= 4 ulp