[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


            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



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
  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,

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

More information about the libre-soc-bugs mailing list