aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2017-03-13Test mstatus.TW, mstatus.TVM, and mstatus.TSR featuresAndrew Waterman2-6/+110
2017-03-09Don't link ISA tests against libcAndrew Waterman1-1/+1
2017-03-09Permit flexible dirty-bit behaviorAndrew Waterman2-18/+28
2017-03-09Check mbadaddr in ma_addr testAndrew Waterman2-5/+9
2017-02-17Add HiFive1 target.Tim Newsome3-1/+63
2017-02-01Use NaN macrosAndrew Waterman4-8/+8
2017-02-01Test FMIN/FMAX NaN behaviorAndrew Waterman3-0/+15
See https://github.com/riscv/riscv-isa-sim/issues/76
2017-01-31Test qNaN and sNaN inputs to FP comparisonsAndrew Waterman3-18/+44
2017-01-20Use correct macro to guard floating-point initializationAndrew Waterman1-1/+1
2017-01-20Fix build with glibcAndrew Waterman2-1/+3
2017-01-04Specify Spike ISA explicitlyAndrew Waterman2-3/+3
2017-01-04Remove Hwacha macrosAndrew Waterman2-645/+0
2017-01-04Mask off large constants for RV32Andrew Waterman1-23/+25
2017-01-04"make clean" shouldn't fail if "make" wasn't first runAndrew Waterman1-3/+3
2017-01-02Increase delay in UserInterrupt.Tim Newsome1-1/+1
This makes the test pass reliably (10/10) against the Arty board. Previously it failed intermittently.
2016-12-27Use compressed code if the target supports it.Tim Newsome6-61/+109
The main change was to read misa before running any other test. If misa indicates C is supported, then use compressed code. This required changing some tests, mostly to ensure correct alignment. The single step test also needs to know the correct addresses to step through in compressed code. Only print at most 1000 lines from each log file.
2016-12-27Clean up .pyc files.Tim Newsome1-1/+1
2016-12-13Fix WriteCsrs test.Tim Newsome1-2/+2
At some point the program changed to use a different register and this test was never updated. If $x1 pointed somewhere bad, that would result in an exception.
2016-12-12Pass newly updated -march, -mabi options to gccAndrew Waterman2-17/+17
2016-12-12Merge pull request #38 from richardxia/disable_tcl_and_telnet_serversTim Newsome1-2/+12
Disable tcl and telnet servers when running OpenOCD
2016-12-12Disable tcl and telnet servers when running OpenOCD because the port numbers ↵Richard Xia1-2/+12
might conflict with other processes.
2016-12-09Add test of compare-sections command.Tim Newsome1-0/+10
2016-12-07Use XLEN macro for these sources as well.Tim Newsome3-4/+4
All tests pass on spike32 and spike64 again.
2016-12-07Use our own XLEN macro.Tim Newsome2-1/+2
Relying on something that the compiler automatically sets is apparently not reliable.
2016-12-07We *do* need the FPU to compile 64-bit code.Tim Newsome1-0/+1
2016-12-07Put env back where it was.Tim Newsome1-8/+5
Fixes #37.
2016-12-07Don't compile with FPU support for now.Tim Newsome1-1/+5
It's not Just Working, and none of the tests so far actually care.
2016-12-07Nicely display compile failures.Tim Newsome1-8/+20
2016-12-07Don't eat compile errors.Tim Newsome2-17/+11
2016-12-07Fix race when finding the port OpenOCD is using.Tim Newsome1-6/+11
2016-12-06avoid non-standard predefined macrosAndrew Waterman16-36/+33
2016-11-21Remove cache miss test from all but one AMO testAndrew Waterman17-161/+2
This doesn't reduce coverage for cache-based RV64 systems, but will improve test runtime and work around the need for smaller test footprint for scratchpad-based RV32 systems. I would argue that these microarchitectural tests should be in the domain of torture, and that the last one should be removed, too.
2016-11-14Attempt to work around hard-float linking problemAndrew Waterman1-1/+1
2016-11-11Merge pull request #35 from richardxia/have-openocd-pick-gdb-server-portTim Newsome1-3/+27
Tell OpenOCD to pick an unused port for gdb server
2016-11-10Decrease sleep time to 0.1s.Richard Xia1-2/+2
2016-11-04Tell OpenOCD to pick an unused port, and use lsof to figure out which one it ↵Richard Xia1-3/+27
picked.
2016-11-01Make sure FP stores don't write memory if mstatus.FS=0.Andrew Waterman1-8/+22
2016-10-31Add basic floating point register test.Tim Newsome3-3/+31
2016-10-21Improve reg test a little.Tim Newsome1-6/+14
2016-10-20Test OpenOCD step and resume.Tim Newsome2-6/+56
2016-10-19Fix conflict: JTAG VPI changes vs openocd refactorTim Newsome1-7/+4
2016-10-19Actually test something in regs test.Tim Newsome1-2/+4
2016-10-19Merge pull request #34 from richardxia/use-port-randomizationTim Newsome3-4/+18
Use port randomization for VCS and OpenOCD
2016-10-18Pull port number from VCS output and pass to OpenOCD.Richard Xia3-2/+10
2016-10-18Add framework to test OpenOCD directly.Tim Newsome4-298/+405
This took a lot of refactoring to make it look reasonable. There isn't actually any functional OpenOCD test yet. But a dummy test runs a command (and fails).
2016-10-18Randomize gdb port.Richard Xia1-2/+8
2016-10-14Wait for OpenOCD to start fully before connecting.Tim Newsome1-0/+15
Requires OpenOCD change 4eba841bfee4b6c347423ac28851ab7ee7e75532
2016-10-13Add MemTestWriteInvalid.Tim Newsome1-1/+13
2016-10-09Align FP data sectionsAndrew Waterman1-12/+8
2016-10-03Add test for memory read from invalid address.Tim Newsome2-0/+12