diff options
author | Kevin Petit <kevin.petit@arm.com> | 2024-02-08 11:04:26 +0000 |
---|---|---|
committer | Kevin Petit <kevin.petit@arm.com> | 2024-02-15 10:14:44 +0000 |
commit | d2ca22c2af5e5a9c6c7279d0578c2b1f9620d5df (patch) | |
tree | 1d133487abd401f4d0b058cfee7edbb9cbc55898 | |
parent | 43dafec5003e425c8f4c576e21e7d0706e8fb5a3 (diff) | |
download | specification-d2ca22c2af5e5a9c6c7279d0578c2b1f9620d5df.tar.gz |
pseudocode: move defintions of apply_clip_{s,u} after the functions they call
They need apply_{max,min}_{s,u}.
Signed-off-by: Kevin Petit <kevin.petit@arm.com>
Change-Id: I67cdfcd0eb9d7a25223b2ebb86219a21bbf9f2f6
-rw-r--r-- | pseudocode/library/arithmetic_helpers.tosac | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/pseudocode/library/arithmetic_helpers.tosac b/pseudocode/library/arithmetic_helpers.tosac index a50ab43..d2a4c46 100644 --- a/pseudocode/library/arithmetic_helpers.tosac +++ b/pseudocode/library/arithmetic_helpers.tosac @@ -35,25 +35,6 @@ in_t apply_intdiv_s<in_t>(in_t a, in_t b) { // return input value rounded up to nearest integer in_t apply_ceil<in_t>(in_t input); -in_t apply_clip_s<in_t>(in_t value, in_t min_val, in_t max_val) { - if (is_floating_point<in_t>()) { - REQUIRE(min_val <= max_val); - } - else { - REQUIRE(sign_extend<int64_t>(min_val) <= sign_extend<int64_t>(max_val)); - } - value = apply_max_s<in_t>(value, min_val); - value = apply_min_s<in_t>(value, max_val); - return value; -} - -in_t apply_clip_u<in_t>(in_t value, in_t min_val, in_t max_val) { - REQUIRE(zero_extend<int64_t>(min_val) <= zero_extend<int64_t>(max_val)); - value = apply_max_u<in_t>(value, min_val); - value = apply_min_u<in_t>(value, max_val); - return value; -} - // return e to the power input in_t apply_exp<in_t>(in_t input); @@ -108,6 +89,25 @@ in_t apply_min_u<in_t>(in_t a, in_t b) { if (zero_extend<int64_t>(a) < zero_extend<int64_t>(b)) return a; else return b; } +in_t apply_clip_s<in_t>(in_t value, in_t min_val, in_t max_val) { + if (is_floating_point<in_t>()) { + REQUIRE(min_val <= max_val); + } + else { + REQUIRE(sign_extend<int64_t>(min_val) <= sign_extend<int64_t>(max_val)); + } + value = apply_max_s<in_t>(value, min_val); + value = apply_min_s<in_t>(value, max_val); + return value; +} + +in_t apply_clip_u<in_t>(in_t value, in_t min_val, in_t max_val) { + REQUIRE(zero_extend<int64_t>(min_val) <= zero_extend<int64_t>(max_val)); + value = apply_max_u<in_t>(value, min_val); + value = apply_min_u<in_t>(value, max_val); + return value; +} + in_t apply_mul_s<in_t>(in_t a, in_t b) { if (is_floating_point<in_t>()) return a * b; int64_t c = sign_extend<int64_t>(a) * sign_extend<int64_t>(b); |