aboutsummaryrefslogtreecommitdiff
path: root/chapters
diff options
context:
space:
mode:
authorDominic Symes <dominic.symes@arm.com>2024-05-17 12:03:28 +0100
committerDominic Symes <dominic.symes@arm.com>2024-05-22 12:40:14 +0000
commitd24fa5c9b83d8ed22ae93f3f55f038b8c0b5c29b (patch)
tree7ae269561a09d680a10f6183d1702db0483d22c7 /chapters
parenta6c80c41cac4717bf7f4f298f3d8e498f8c9e2f4 (diff)
downloadspecification-d24fa5c9b83d8ed22ae93f3f55f038b8c0b5c29b.tar.gz
Main conformance: clarify zero sign for max, min
For maximum and minimum operations either sign of zero is permitted. Change-Id: If5ed01259a8c550f44599b2414f324a4a802e662 Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Diffstat (limited to 'chapters')
-rw-r--r--chapters/introduction.adoc6
1 files changed, 5 insertions, 1 deletions
diff --git a/chapters/introduction.adoc b/chapters/introduction.adoc
index 28f15a0..296f847 100644
--- a/chapters/introduction.adoc
+++ b/chapters/introduction.adoc
@@ -265,9 +265,13 @@ The following criteria apply to all operations:
|===
| Operation | Accuracy bound
-| <<ARGMAX>>, <<MAX_POOL2D>>, <<CLAMP>>, <<MAXIMUM>>, <<MINIMUM>>, <<ABS>>, <<NEGATE>>, <<SELECT>>, <<REDUCE_MAX>>, <<REDUCE_MIN>>, <<CONST>>, <<IDENTITY>>
+| <<ARGMAX>>, <<ABS>>, <<NEGATE>>, <<SELECT>> <<CONST>>, <<IDENTITY>>
| Non NaN results must be exact.
+| <<MAX_POOL2D>>, <<CLAMP>>, <<MAXIMUM>>, <<MINIMUM>>, <<REDUCE_MAX>>, <<REDUCE_MIN>>
+| If a result is zero, then the result must be either +0.0 or -0.0 but either sign is permitted. +
+Other non NaN results must be exact.
+
| <<EQUAL>>, <<GREATER>>, <<GREATER_EQUAL>>
| The result must be exact with: +
(1) The sign of the zero is ignored +