jon 2c6ad40f93 Check the already decoded destination to decide to populate the register write data field in RVFI.

2020-04-02 17:10:52 +01:00

..

lib

Both enable tracing of floating-point register writes in RVFI-DII, and then properly not use them (since we're not expected to).

2020-04-02 16:28:18 +01:00

RV64G_OOO

Check the already decoded destination to decide to populate the register write data field in RVFI.

2020-04-02 17:10:52 +01:00