[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)
commit67500e2f200619bcd8ca3a8e5d396ea3021a7e27
tree40ed7936c5953c5ebc82c62526828d769dd535fb
parent35a6b67f48782994d7a62cf46e0aef9190d5d7d9
[rv64ua/lrsc] Initialize memory read out. (#135)

* [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.
isa/rv64ua/lrsc.S