From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 19 May 2023 06:39:29 +0000 (-0700)
Subject: add WIP bfp_* function
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=01dd1e10d983b5f303d75cb6348bbca4942f6c24;p=openpower-isa.git

add WIP bfp_* function
---

diff --git a/openpower/isafunctions/bfp.mdwn b/openpower/isafunctions/bfp.mdwn
index f753805c..098ae94e 100644
--- a/openpower/isafunctions/bfp.mdwn
+++ b/openpower/isafunctions/bfp.mdwn
@@ -745,3 +745,23 @@ section 7.6.2.2
         # floating-point value, 2^-1022, represented in the binary
         # floating-point working format.
         return bfp_CONVERT_FROM_BFP64(0x0010_0000_0000_0000)
+
+    def bfp_ROUND_CEIL(p, x):
+        # x is a binary floating-point value that is represented in the binary
+        # floating-point working format and has unbounded exponent range and
+        # significand precision. x must be rounded as presented, without
+        # prenormalization.
+        #
+        # p is an integer value specifying the precision (i.e., number of bits)
+        # the significand is rounded to.
+
+        TODO()  # TODO: finish
+        # Return the smallest floating-point number having unbounded exponent
+        # range and a significand with a width of p bits that is greater or
+        # equal in value to x.
+
+        if bfp_COMPARE_GT(bfp_ABSOLUTE(result), bfp_ABSOLUTE(x)) then
+            inc_flag <- 1
+        else inc_flag <- 0  # TODO: does the spec specify this?
+        if bfp_COMPARE_EQ(result, x) then xx_flag <- 1
+        else xx_flag <- 0  # TODO: does the spec specify this?