[Libre-soc-bugs] [Bug 509] New: divwe. causing assertion failure in handle_comparison

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Sat Oct 3 02:12:38 BST 2020


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

            Bug ID: 509
           Summary: divwe. causing assertion failure in handle_comparison
           Product: Libre-SOC's first SoC
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: CONFIRMED
          Severity: normal
          Priority: ---
         Component: Source Code
          Assignee: lkcl at lkcl.net
          Reporter: programmerjake at gmail.com
                CC: libre-soc-bugs at lists.libre-soc.org, lkcl at lkcl.net,
                    programmerjake at gmail.com
   NLnet milestone: ---

I'm trying to clean up the div unit's test cases so they all pass. I modified
the spec pseudocode for divwe, attempting to cause it to match
power-instruction-analyzer.

https://git.libre-soc.org/?p=libreriscv.git;a=commitdiff;h=29c78ebd8ac03fd811a41ea772fe20813bdb1927

https://git.libre-soc.org/?p=soc.git;a=blobdiff;f=src/soc/fu/div/test/test_pipe_caller.py;h=188196e7e8f8a7613db1825de036990011b60442;hp=9c4ba3feeceb834cfb87869d0c7d764660e74b64;hb=dedb4073749bda0f85dfbcc43d45a5d1a66260ad;hpb=83f350a38d10a3b40a3f81ce15fbad1757440741

In the process of fixing the pseudocode, I encountered an assertion failure
which I'm pretty sure is not caused by my changes:
FAIL: test_sim_only (__main__.TestPipe) [case_divwe__regression]
----------------------------------------------------------------------
Traceback (most recent call last):
  File "/home/jacob/projects/libreriscv/soc/src/soc/fu/div/test/helper.py",
line 211, in process
    yield from self.execute(alu, instruction, pdecode2,
  File "/home/jacob/projects/libreriscv/soc/src/soc/fu/div/test/helper.py",
line 139, in execute
    yield from isa_sim.call(opname)
  File "/home/jacob/projects/libreriscv/soc/src/soc/decoder/isa/caller.py",
line 756, in call
    self.handle_comparison(results)
  File "/home/jacob/projects/libreriscv/soc/src/soc/decoder/isa/caller.py",
line 507, in handle_comparison
    assert isinstance(out, SelectableInt), \
AssertionError: out zero not a SelectableInt (1, SelectableInt(value=0x0,
bits=64))

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


More information about the libre-soc-bugs mailing list