| Age | Commit message (Collapse) | Author |
|---|
|
want indexing of pfn to be reset to 23..0). Kathy to investigate why this was not caught by type checker.
|
|
|
|
halt instructions decode statements are a special case of mtc0 so clauses must appear first.
|
|
checker
|
|
|
|
in comments. No functional change.
|
|
|
|
|
|
|
|
|
|
Interp: trying to add some debugging to isolate bug
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
mips/cheri model.
|
|
|
|
|
|
|
|
to non-existent mips.sail in top level README.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
-- this could be varied but useful for compatibility with BERI test suite.
|
|
|
|
|
|
|
|
|
|
|
|
dump registers on terminating simulator anyway but we don't want tests to crash before the end."
|
|
|
|
|
|
during instruction fetch as this is apparently broken, writing to fields also a bit dodgy. Finally only raise exception if exl and erl are not set.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
difference as without TLB we cannot run any non-kernel mode code anyway.
|
|
CP2Usable check if for cap. regsets.
|
|
|
|
|
|
|
