github-mirrors/cve2
1
0
Fork 0
mirror of https://github.com/openhwgroup/cve2.git synced 2025-04-23 13:37:20 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Tracer: Reference Verilator bug for miscompilation

Browse source 
This miscompilation is now reported and fixed, mention it in the code to
refer back to it when we can revert back to the old code (which will
take a couple months until we can require a newer Verilator version).

Fixes #372
This commit is contained in:
Philipp Wagner 2019-10-05 18:34:00 +01:00 • committed by Philipp Wagner
parent d8e4852f76
commit ee1098f9af
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
rtl/ibex_tracer.sv
View file

@ -583,7 +583,10 @@ module ibex_tracer (
string mnemonic;
/*
TODO: Gives wrong results in Verilator for unknown reasons. Debug what's going on.
Gives wrong results in Verilator < 4.020.
See https://github.com/lowRISC/ibex/issues/372 and
https://www.veripool.org/issues/1536-Verilator-Misoptimization-in-if-and-case-with-default-statement-inside-a-function
unique case (rvfi_insn[14:12])
3'b000: mnemonic = "lb";
3'b001: mnemonic = "lh";