[rv64ua/lrsc] Initialize memory read out. (#135)
authorChristopher Celio <celio@eecs.berkeley.edu>
Tue, 1 May 2018 00:03:50 +0000 (17:03 -0700)
committerAndrew Waterman <aswaterman@gmail.com>
Tue, 1 May 2018 00:03:50 +0000 (17:03 -0700)
* [rv64ua/lrsc] Initialize memory read out.

Even though the load contents are discarded, this un-initialized memory value
can lead to a divergence for co-simulation between two different RISC-V designs.

* [rv64ua/lrsc] Use .skip instead of .align.


No differences found