[Libre-soc-bugs] [Bug 1088] change ISACaller and correct bug introduced in parser.py where it bypasses FPSCR as a local parameter and a return result

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Wed May 24 04:21:18 BST 2023


https://bugs.libre-soc.org/show_bug.cgi?id=1088

Jacob Lifshay <programmerjake at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|CONFIRMED                   |IN_PROGRESS

--- Comment #3 from Jacob Lifshay <programmerjake at gmail.com> ---
(In reply to Jacob Lifshay from comment #2)
> (In reply to Luke Kenneth Casson Leighton from bug #1087 comment #7)
> > to "effect" a "no change", the variable that requires "not to be changed"
> > must:
> > 
> > 1) be passed in as an INPUT parameter
> 
> ok, we need this for RT for fcvtfg and FRT in most fp pseudocode, unless
> fcvt* is changed to always write RT as I proposed in #1087, though we still
> need it for FRT in most pseudocode.

I added a way to add that without needing to use special pseudocode syntax
since the ISA WG doesn't need to see all our simulator special case helper
annotations -- it uses a html comment:

https://git.libre-soc.org/?p=openpower-isa.git;a=commitdiff;h=870f7f23273d1d0d49af9ed09d82c42f2347ef07

commit 870f7f23273d1d0d49af9ed09d82c42f2347ef07
Author: Jacob Lifshay <programmerjake at gmail.com>
Date:   Tue May 23 19:24:34 2023 -0700

    add support for adding extra uninit_regs from html comment

    I chose an html comment since it's not part of the proposed pseudocode

    like so:
    * blah RT,RA
    Pseudo-code:

    <!-- EXTRA_UNINIT_REGS: RT -->
        if rand() then
            RT <- 42 + (RA)

-- 
You are receiving this mail because:
You are on the CC list for the bug.


More information about the libre-soc-bugs mailing list