Link in encoding.h instead of providing a path to it

debug: Update OpenOCD configs.

Copy debug/programs to the build dir, so debug-check runs

Merge pull request #48 from riscv/tests

Get the test running on Spike again

Disable another PRIV mention, for now

Disable the tests that touch PRIV, it's not implemented yet

Have the openocd invocation match the spike invocation

Disable some failing tests for now

Don't rely on Spike's default ISA

Don't use the RTOS, and do "reset halt"

This is the most reliable way to run the tests for now.

Let Spike have the default amount of RAM

Without this programs won't run.

Don't build openocd here, it's in riscv-tools now

debug: fix the make target for debug-check

debug: Use consistent 'sim_cmd' argument.

Merge remote-tracking branch 'origin/priv-1.10' into HEAD

Check UXL in sstatus

Test that superpage PTEs trap when PPN LSBs are set

Regularize control flow in dirty-bit test

Set ELF entry point correctly

Set FS before reading F registers

Add abort() for benefit of benchmark code

bump OpenOCD version

debug: Don't halt out of reset. It's unrealistic. Use a program which loops (actually it just gets an exception anyway).

debug: Use RTOS OpenOCD for Spike for now.

debug: Checkpoint restoring Spike functionality

Merge remote-tracking branch 'origin/newprogram' into debug-0.13

Merge remote-tracking branch 'origin/priv-1.10' into HEAD

Fix illegal-instruction test when S-mode is not implemented

debug: checkpoint trying to get 64 bit programs to compile as well.

debug: checkpoint of trying to get simulation tests working

debug: working with newprogram branch

Improve fp ldst/move tests; remove redundant fsgnj tests

Retrofit rv64mi-p-illegal to test vectored interrupts

Remove defunct IPI tests

Make ma_addr test work for systems with misaligned ld/st

Expand dirty-bit test to test MPRV and SUM

New PMP encoding

Prohibit relaxing the initial gp generation

I've added an additional linker relaxation that relaxes two instruction
pc-relative sequences to one instruction gp relative sequences when
possible.  This sequence now optimizes the initial gp generation to

  mv gp, gp

which is obviously bogus.  The fix is to disable relaxations when
setting up gp, preventing the linker from relaxing away this setup code.

Change the global pointer symbol to __global_pointer$

This changed a while ago in binutils.

Separate page faults from physical memory access exceptions

Fix FPU initialization code

Like tests, pass the benchmarks if XLEN disagrees

bump env

Add PMP test

Clean up benchmarks build

Clean up bmarks build

Remove smips/host-debugging cruft

Allow supervisor access to user pages in dirty-bit test

Avoid x3 (gp), which is now TESTNUM

Test mstatus.TW, mstatus.TVM, and mstatus.TSR features

Don't link ISA tests against libc

Permit flexible dirty-bit behavior

Check mbadaddr in ma_addr test

Resurrect spike debug support

Print an error message when the OpenOCD config file can't be read

Add assert to save me from myself.

spike passes the download test, but needs a 15 minute timeout. That's
too ridiculous to put in here, but 60s is reasonable.

Keep the DownloadTest source if the test fails.

Make pylint happy.

Talk to spike using OpenOCD instead of directly.

Add HiFive1 target.

Use NaN macros

Test FMIN/FMAX NaN behavior

See https://github.com/riscv/riscv-isa-sim/issues/76

Test qNaN and sNaN inputs to FP comparisons

Use correct macro to guard floating-point initialization

Fix build with glibc

Specify Spike ISA explicitly

Remove Hwacha macros

Mask off large constants for RV32

"make clean" shouldn't fail if "make" wasn't first run

Increase delay in UserInterrupt.

This makes the test pass reliably (10/10) against the Arty board.
Previously it failed intermittently.

Use compressed code if the target supports it.

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.

Clean up .pyc files.

Fix WriteCsrs test.

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.

Pass newly updated -march, -mabi options to gcc

Merge pull request #38 from richardxia/disable_tcl_and_telnet_servers

Disable tcl and telnet servers when running OpenOCD

Disable tcl and telnet servers when running OpenOCD because the port numbers might conflict with other processes.

Add test of compare-sections command.

Use XLEN macro for these sources as well.

All tests pass on spike32 and spike64 again.

Use our own XLEN macro.

Relying on something that the compiler automatically sets is apparently
not reliable.

We *do* need the FPU to compile 64-bit code.

Put env back where it was.

Fixes #37.

Don't compile with FPU support for now.

It's not Just Working, and none of the tests so far actually care.

Nicely display compile failures.

Don't eat compile errors.

Fix race when finding the port OpenOCD is using.

avoid non-standard predefined macros

Remove cache miss test from all but one AMO test

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.

Attempt to work around hard-float linking problem

Merge pull request #35 from richardxia/have-openocd-pick-gdb-server-port

Tell OpenOCD to pick an unused port for gdb server

Decrease sleep time to 0.1s.

Tell OpenOCD to pick an unused port, and use lsof to figure out which one it picked.

Make sure FP stores don't write memory if mstatus.FS=0.

Add basic floating point register test.

Improve reg test a little.

Test OpenOCD step and resume.

Fix conflict: JTAG VPI changes vs openocd refactor

Actually test something in regs test.

Merge pull request #34 from richardxia/use-port-randomization

Use port randomization for VCS and OpenOCD

Pull port number from VCS output and pass to OpenOCD.

Add framework to test OpenOCD directly.

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).