aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKevin Petit <kevin.petit@arm.com>2024-02-08 11:04:26 +0000
committerKevin Petit <kevin.petit@arm.com>2024-02-15 10:14:44 +0000
commitd2ca22c2af5e5a9c6c7279d0578c2b1f9620d5df (patch)
tree1d133487abd401f4d0b058cfee7edbb9cbc55898
parent43dafec5003e425c8f4c576e21e7d0706e8fb5a3 (diff)
downloadspecification-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.tosac38
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);