diff options
author | Dominic Symes <dominic.symes@arm.com> | 2023-01-20 16:09:31 +0000 |
---|---|---|
committer | Eric Kunze <eric.kunze@arm.com> | 2023-02-01 16:40:50 +0000 |
commit | c386a052b8e1cd109ab4888c87cd3073a74edaa2 (patch) | |
tree | 914078caadda0244f81e306c3ca625fc55f0f0ff /chapters/pseudocode.adoc | |
parent | 5bb1f025503f0f626f187fdd5696864dc0ca1f2c (diff) | |
download | specification-c386a052b8e1cd109ab4888c87cd3073a74edaa2.tar.gz |
Main inference conformance draft
This patch contains a draft of the
Main Inference profile floating-point
conformance requirements.
Change-Id: Ib1201fff7f4015668b2de6dccf4cd85b419c3f76
Signed-off-by: Dominic Symes <dominic.symes@arm.com>
Diffstat (limited to 'chapters/pseudocode.adoc')
-rw-r--r-- | chapters/pseudocode.adoc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/chapters/pseudocode.adoc b/chapters/pseudocode.adoc index f4fd885..db699d1 100644 --- a/chapters/pseudocode.adoc +++ b/chapters/pseudocode.adoc @@ -252,10 +252,11 @@ See <<Number formats>> for details on the floating-point formats. ---- int round_to_nearest_int(float_t f) Converts the floating-point value to f, with rounding to the nearest integer value. + For the required precision see the section: Main inference precision requirements. float_t round_to_nearest_float(in_t f) Converts the input value into floating-point, rounding to the nearest representable value. - The behavior for ties is implementation dependent. + For the required precision see the section: Main inference precision requirements. out_t sign_extend(in_t input) Only valid for two's complement integer values where out_t has more bits than in_t. |