[Libre-soc-bugs] [Bug 1247] New: fminmax/fminmax.: pseudocode clarification needed

[bugzilla-daemon at libre-soc.org]

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

            Bug ID: 1247
           Summary: fminmax/fminmax.: pseudocode clarification needed
           Product: Libre-SOC's first SoC
           Version: unspecified
          Hardware: PC
                OS: Windows
            Status: CONFIRMED
          Severity: enhancement
          Priority: ---
         Component: Source Code
          Assignee: lkcl at lkcl.net
          Reporter: ghostmansd at gmail.com
                CC: libre-soc-bugs at lists.libre-soc.org
   NLnet milestone: ---

openpower/isa/fptrans.mdwn contains the following line:

    if (FPSCR.VE = 0) | ¬any_snan then (FRT) <- result

Meanwhile OPF 3.1B 1.3.2 contains the following statements:

    (x) means the contents of register x, where x is the
    name of an instruction field. For example, (RA)
    means the contents of register RA, and (FRA)
    means the contents of register FRA, where RA and
    FRA are instruction fields. Names such as LR and
    CTR denote registers, not fields, so parentheses
    are not used with them. Parentheses are also
    omitted when register x is the register into which
    the result of an operation is placed.

Due to the (FRT) notation used, the FRT register gets marked as belonging to
read_regs subset. It must be clarified whether this was an intentional decision
or just a typo.

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