| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
Some tests intentionally produce undefined values (e.g. divide by zero) and this might be required for them to work.
|
|
little-endian and this change allows it to work when writing using store word (as done by FreeBSD driver) or sb (as done by cheri helloworld program).
|
|
|
|
bytes. This makes loading binaries much quicker but doesn't seem to make a big difference to execution speed.
|
|
|
|
load simboot + kernel.
|
|
neater access to registers of single bit.
|
|
dependency on ocaml uint library by using it.
|
|
bit_int_of_int. Likely very little performance benefit but slightly more readable.
|
|
potential speedup.
|
|
|
|
between them using a command line switch.
|
|
|
|
Necessary to pass test_cp2_tagmem test. TODO make this configurable.
|
|
|
|
register reads.
|
|
|
|
test_raw_cache_write_to_use test
|
|
embedding test setup.
|
|
|
|
|
|
it is only ever used for translating the PC.
|
|
|
|
embedding.
|
|
|
|
|
|
alignment
|
|
|
|
|
|
|
|
|
|
shallow/deep ast conversion type class instances anymore, add herdtools ast / shallow ast conversion functions, add mips ImplementationDefinedStopFetching instruction
|
|
|
|
same time with the types both have in common factored out into separate file, rename one mips shallow embedding _extras file as required by this
|
|
sail->ppcmem (no need to worry about reverse direction).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
instruction exception behaviour but sequential model does (for test suite).
|
|
|
|
|
|
|
