| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
data and invent rmemt and wmvt effects for them. Extend the interpreter context to include lists of tagged memory read and write functions. The memory model must round down the address to the nearest capability aligned address when reading/writing tags. Remove TAGw which is no longer needed as a result.
|
|
Tagged memory seems to be currently missing in the Lem shallow embedding of
(CHERI-)MIPS.
|
|
|
|
|
|
|
|
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).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
