[Libre-soc-bugs] [Bug 1093] Fix "GPR-or-zero" in binutils and openpower-isa

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Sat Jun 3 16:17:24 BST 2023


--- Comment #7 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Dmitry Selyutin from comment #3)
> This error doesn't stops this task, it's just that this task helped to find
> this problem.

ok i have it.

* there is no specifying "None" in the 4 Indexed areas
* therefore the value "0" is being detected/treated as "valid"
* but it contains corrupted data

        elif insn_name == 'rlwinm':
            # weird one, RA is a dest but not in bits 6:10
            res['0'] = 'd:RA;d:CR0'  # RA: Rdest1_EXTRA3
            res['1'] = 's:RS'  # RS: Rsrc1_EXTRA3

that's valid.

* *only* position Idx0 is valid
* *only* position Idx1 is valid

positions Idx2 and Idx3 are *not* valid and i think what is happening
is that "because not zero equals active":

line 1227

                if spec != 0:
                    vector = bool(spec[0])

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

More information about the libre-soc-bugs mailing list