make truediv available to pseudocode
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 12 May 2023 06:44:51 +0000 (23:44 -0700)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 2 Jun 2023 18:51:18 +0000 (19:51 +0100)
technically `/` in pseudocode is supposed to be real number division,
with `รท` being division with result truncated to integer, however
luke decided to just use `/` for integer division in pseudocode,
so we need a way to work around that.

src/openpower/decoder/helpers.py

index a6d902dfe32c092a268002aaa0dd81b27fcf4f56..982f139607d23b1a239203c98ef4babd0e454815 100644 (file)
@@ -5,7 +5,7 @@ from openpower.decoder.selectable_int import (SelectableInt, onebit,
                                               selectconcat, FieldSelectableInt)
 from openpower.decoder.selectable_int import EFFECTIVELY_UNLIMITED as EU
 from nmutil.divmod import trunc_divs, trunc_rems
-from operator import floordiv, mod
+from operator import floordiv, mod, truediv  # truediv used by bfp_* functions
 from openpower.decoder.selectable_int import selectltu as ltu
 from openpower.decoder.selectable_int import selectgtu as gtu
 from openpower.decoder.selectable_int import check_extsign