diff options
| author | Kevin Petit <kevin.petit@arm.com> | 2024-01-23 19:09:29 +0000 |
|---|---|---|
| committer | Kevin Petit <kevin.petit@arm.com> | 2024-01-23 19:09:29 +0000 |
| commit | f9fcb61e143bde28fd14bcbbdb97120f5afdbfb7 (patch) | |
| tree | d2579608bdd59ceaf72d27642361da7e0282e626 /pseudocode/operators/RESCALE.tosac | |
| parent | e340233191a34285856f5bcb313df397982c95ef (diff) | |
| download | specification-f9fcb61e143bde28fd14bcbbdb97120f5afdbfb7.tar.gz | |
pseudocode: use true/false consistently for boolean values
- Some operators were using True and False.
- Document the use of true and false in the definition of
the boolean number format.
Signed-off-by: Kevin Petit <kevin.petit@arm.com>
Change-Id: Ic4c16c8527d46ca01d22e3c70c5371821a726df8
Diffstat (limited to 'pseudocode/operators/RESCALE.tosac')
| -rw-r--r-- | pseudocode/operators/RESCALE.tosac | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pseudocode/operators/RESCALE.tosac b/pseudocode/operators/RESCALE.tosac index 86a939b..c29bddd 100644 --- a/pseudocode/operators/RESCALE.tosac +++ b/pseudocode/operators/RESCALE.tosac @@ -12,11 +12,11 @@ for_each(index in shape) { // int8/uint8 can have zero point within their valid range // No other types can have zero point != 0 ERROR_IF(in_t != i8_t && - (in_t != i16_t || input_unsigned == False) && input_zp != 0); + (in_t != i16_t || input_unsigned == false) && input_zp != 0); ERROR_IF(out_t != i8_t && - (out_t != i16_t || output_unsigned == False) && output_zp != 0); - ERROR_IF(in_t == i16_t && input_unsigned == True && input_zp != 0 && input_zp != 32768); - ERROR_IF(out_t == i16_t && output_unsigned == True && output_zp != 0 && output_zp != 32768); + (out_t != i16_t || output_unsigned == false) && output_zp != 0); + ERROR_IF(in_t == i16_t && input_unsigned == true && input_zp != 0 && input_zp != 32768); + ERROR_IF(out_t == i16_t && output_unsigned == true && output_zp != 0 && output_zp != 32768); ERROR_IF(scale32 && in_t == i48_t); ERROR_IF(!scale32 && double_round); ERROR_IF(in_t == i16_t && out_t == i32_t && input_unsigned); |