From e9d7a91e0174e8991284b2d1055790528e696948 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jean-Fran=C3=A7ois=20Nguyen?= Date: Thu, 19 May 2022 16:20:44 +0200 Subject: [PATCH] utils: add helper to mask addresses according to MSR.SF. --- power_fv/utils.py | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 power_fv/utils.py diff --git a/power_fv/utils.py b/power_fv/utils.py new file mode 100644 index 0000000..b023013 --- /dev/null +++ b/power_fv/utils.py @@ -0,0 +1,13 @@ +from amaranth import * +from amaranth.utils import bits_for + + +__all__ = ["iea_mask"] + + +def iea_mask(addr, msr_sf): + "Instruction effective address mask. In 32-bit mode (MSR.SF = 0), the upper 32 bits are cleared." + addr, msr_sf = Value.cast(addr), Value.cast(msr_sf) + assert len(msr_sf) == 1 + mask = Cat(Repl(1, 32), Repl(msr_sf, 32)) + return addr & mask